An Overview of QEPCAD B: a Tool for Real Quantifier Elimination and Formula Simplification*

摘要

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.