Quantifier Elimination and Cylindrical Algebraic Decomposition
File Size : 48,48 MBTotal View : 9416 Views
DOWNLOAD
George Collins’ discovery of Cylindrical Algebraic Decomposition (CAD) as a method for Quantifier Elimination (QE) for the elementary theory of real closed fi