The DEWCAD project

DOI10.1145/3511528.3511538MaRDI QIDQ5102008zbMATH OpenOpenAlexFDO

Authors Matthew England, AmirHosein Sadeghimanesh, Ali Kemal Uncu, Russell Bradford, James H. Davenport

Publication date 6 September 2022

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

Full work available at URL https://arxiv.org/abs/2106.08740

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30)

Recommendations

• The Potential and Challenges of CAD with Equational Constraints for SC-Square
• Cylindrical algebraic sub-decompositions
• Cylindrical algebraic decomposition in the RegularChains library
• Improved projection for cylindrical algebraic decomposition

Cited in

(2)

• Digital collections of examples in mathematical sciences
• Quantifier elimination for normal cone computations

This page was built for publication: The DEWCAD project

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