The geometry of cylindrical algebraic decomposition

DOI10.1145/3717582.3717586MaRDI QIDQ7025065zbMATH OpenFDO

Authors Rizeng Chen

Publication date 20 February 2025

Published in ACM Communications in Computer Algebra (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Quantifier elimination, model completeness, and related topics (03C10) Semialgebraic sets and related spaces (14P10) Symbolic computation and algebraic computation (68W30)

Cites work

• Algorithms in real algebraic geometry
• scientific article; zbMATH DE number 3497890 (Why is no real title available?)
• scientific article; zbMATH DE number 589124 (Why is no real title available?)
• scientific article; zbMATH DE number 1157658 (Why is no real title available?)
• scientific article; zbMATH DE number 3068536 (Why is no real title available?)
• Improved projection for cylindrical algebraic decomposition
• QEPCAD B
• Real quantifier elimination by computation of comprehensive Gröbner systems
• Solving non-linear arithmetic
• Éléments de géométrie algébrique. IV: Étude locale des schémas et des morphismes de schémas. (Séconde partie)

This page was built for publication: The geometry of cylindrical algebraic decomposition

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7025065)