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

DOI10.1145/3373207.3403981OpenAlexW3046029616MaRDI QIDQ5145948

Matthew England

Publication date: 22 January 2021

Published in: Proceedings of the 45th International Symposium on Symbolic and Algebraic Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/3373207.3403981

zbMATH Keywords

quantifier eliminationcylindrical algebraic decompositionsoftware optimisation by machine learning

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30)

This page was built for publication: Real quantifier elimination by cylindrical algebraic decomposition, and improvements by machine learning