Q E P C A D - Quantifier Elimination by Partial Cylindrical Algebraic Decomposition

What's New About QEPCAD Quantifier Elimination User Documentation Implementation Documentation Examples Install QEPCAD SLFQ

What is the latest?
The current version of QEPCADB is Version B 1.69, 16 March 2012. See LOG of recent important changes.
What is QEPCAD?
QEPCAD is an implementation of quantifier elimination by partial cylindrical algebraic decomposition due orginally 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. More Information ...
What is Quantifier Elimination?
Quantifier elimination algorithms allow us to answer questions about semi-algebraic sets, which are subsets of real n-dimensional space whose boundaries are defined by polynomial equations. More Information ...
How do I use QEPCAD?
QEPCAD is an interactive command-line driven program. At its simplest you enter a formula like "there exists an x such that [ x^2 + b x + c = 0 ]" and QEPCAD returns a formula like "[ b^2 - 4 c >= 0]", which is equivalent to the input when x, b and c are assumed to range over the real numbers. However, QEPCAD's interactive interface allows the user control of how problems are solved and what kinds of answers are given, and making good use of this interface can drastically reduce the time and space required to solve problems and improve the quality of QEPCAD's results. More Information ...
How do I get/install QEPCAD?
We have QEPCAD available for Sun Solaris and Linux. What we provide is the source code for the SACLIB library and QEPCAD. If you have the gcc compiler and a few other standard tools available, you should be able to compile and run QEPCAD without too much trouble ... I hope! More Information ...

ISSAC 2004 Cylindrical Algebraic Decompostion Tutorial, click on "Research" at this page.

Christopher W Brown
Last modified: Thu Apr 15 14:02:46 EDT 2010