Curtains in CAD: Why Are They a Problem and How Do We Fix Them?

DOI10.1007/978-3-030-52200-1_2zbMath1503.68314OpenAlexW3041930235MaRDI QIDQ5039551

Unnamed Author, James H. Davenport, Gregory Sankaran

Publication date: 13 October 2022

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-52200-1_2

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Computational real algebraic geometry (14Q30)

Related Items (2)

Lazard-style CAD and Equational Constraints ⋮ Levelwise construction of a single cylindrical algebraic cell

Uses Software

• RegularChains
• Theoryguru
• CylindricalAlgebraicDecompose

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• TheoryGuru: a Mathematica package to apply quantifier elimination technology to economics
• Validity proof of Lazard's method for CAD construction
• Cylindrical algebraic decomposition with equational constraints
• Algorithmic methods for investigating equilibria in epidemic modeling
• Cylindrical Algebraic Decomposition in the RegularChains Library
• On propagation of equational constraints in CAD-based quantifier elimination

This page was built for publication: Curtains in CAD: Why Are They a Problem and How Do We Fix Them?