Simplification of Cylindrical Algebraic Formulas

DOI10.1007/978-3-319-24021-3_9zbMath1439.14170OpenAlexW2198515109MaRDI QIDQ3454537

Marc Moreno Maza, Changbo Chen

Publication date: 25 November 2015

Published in: Computer Algebra in Scientific Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-24021-3_9

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Topology of real algebraic varieties (14P25) Quantifier elimination, model completeness, and related topics (03C10)

This page was built for publication: Simplification of Cylindrical Algebraic Formulas