Quantifier Elimination for Real Algebra -- the Quadratic Case and Beyond

• 27 January 1997
• journal article
• research article
• Published by Springer Nature in Applicable Algebra in Engineering, Communication and Computing
• Vol. 8  (2) , 85-101
• https://doi.org/10.1007/s002000050055

Abstract

Keywords

• KEYWORDS: FAST QUANTIFIER ELIMINATION AND DECISION METHODS
• FIRST-ORDER THEORY OF REALS
• AUTOMATIC THEOREM PROVING
• CONSTRAINT SOLVING.