An Overview of QEPCAD B: a Tool for Real Quantifier Elimination and Formula Simplification
Christopher W. Brown · 2005
This paper describes the basic functionality of Qepcad b, a system for computing with semi-algebraic sets via Cylindrical Algebraic Decomposition (CAD). Qepcad b is an interactive command-line based program, written in C, and built on top of the Saclib library. It extends and improves the Qepcad system. The article focuses on using Qepcad b to solve problems, describing the basic facilities offered by the system and providing examples of applications of these facilities. The program is freely available at www.cs.usna.edu/~qepcad.