REDLOG: Extend REDUCE to a computer logic system
Date: 2020-10-07 18:10:00

Up | Next | Prev | PrevTail | Tail

### 16.56 REDLOG: Extend REDUCE to a computer logic system

The name REDLOG stand for REDuce LOGic system. Redlog implements symbolic algorithms on ﬁrst-order formulas with respect to user-chosen ﬁrst-order languages and theories. The available domains include real numbers, integers, complex numbers, p-adic numbers, quantiﬁed propositional calculus, term algebras.

Documentation for this package can be found online.

Authors: Andreas Dolzmann and Thomas Sturm

Up | Next | Prev | PrevTail | Front