Solution formula construction for truth invariant cad's

QEPCAD B: a program for computing with semi-algebraic sets using CADs

ACM SIGSAM Bulletin

An effective implementation of a symbolic-numeric cylindrical algebraic decomposition for quantifier elimination

Proceedings of the 2009 conference on Symbolic numeric computation

Solving non-linear arithmetic

IJCAR'12 Proceedings of the 6th international joint conference on Automated Reasoning

Solving polynomial systems over semialgebraic sets represented by cylindrical algebraic formulas

Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation

An effective implementation of symbolic-numeric cylindrical algebraic decomposition for quantifier elimination

Theoretical Computer Science

Constructing a single open cell in a cylindrical algebraic decomposition

Proceedings of the 38th international symposium on International symposium on symbolic and algebraic computation