Recent Developments in Real Quantifier Elimination and Cylindrical Algebraic Decomposition (Extended Abstract of Invited Talk).

Matthew England

Browse the full CASC paper archive.