Real quantifier elimination by cylindrical algebraic decomposition, and improvements by machine learning.

Matthew England

Browse the full ISSAC paper archive.