Solving polynomial systems over semialgebraic sets represented by cylindrical algebraic formulas

DOI10.1145/2442829.2442877zbMath1308.68191OpenAlexW2035781448MaRDI QIDQ5244554

Adam Wojciech Strzeboński

Publication date: 27 March 2015

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

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

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Semialgebraic sets and related spaces (14P10) Computational aspects in algebraic geometry (14Q99)

Related Items

Computing with Tarski formulas and semi-algebraic sets in a web browser, Cylindrical algebraic sub-decompositions, Cylindrical algebraic decomposition using local projections, $$\mathsf {SC}^\mathsf{2} $$ : Satisfiability Checking Meets Symbolic Computation, Applying Machine Learning to the Problem of Choosing a Heuristic to Select the Variable Ordering for Cylindrical Algebraic Decomposition, Constructing a single cell in cylindrical algebraic decomposition

Uses Software

• QEPCAD