Tools on Rewriting
-
REDUCE is an interactive system for general algebraic computations of interest to mathematicians, scientists and engineers.
C. Hearn and the REDUCE developers 2009-2025. All Rights Reserved. ... Microsoft Internet Explorer does not display this web site correctly; please use a current web browser....
-
QEPCAD is an implementation of quantifier elimination by partial cylindrical algebraic decomposition due originally to Hoon Hong, and subsequently added on to by many others. It is an interactive command-line program written in C, and based on the SACLIB library of computer algebra functions. Presented here is QEPCAD B version 1, the B designating a substantial departure from the original QEPCAD and distinguishing it from any development of the original that may proceed in a different direction.
The current version of QEPCADB is Version B 1.69, 16 March 2012....