Lazard's CAD exploiting equality constraints

DOI10.1145/3377006.3377020MaRDI QIDQ5060838zbMATH OpenOpenAlexFDO

Authors Scott McCallum, James H. Davenport, G. K. Sankaran

Publication date 11 January 2023

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

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

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30)

Recommendations

• On propagation of equational constraints in CAD-based quantifier elimination
• On using Lazard's projection in CAD construction
• Improved projection for cylindrical algebraic decomposition
• Validity proof of Lazard's method for CAD construction
• An improvement of the projection operator in cylindrical algebraic decomposition

Cited in

(4)

• Validity proof of Lazard's method for CAD construction
• The Potential and Challenges of CAD with Equational Constraints for SC-Square
• On using bi-equational constraints in CAD construction
• Lazard-style CAD and Equational Constraints

This page was built for publication: Lazard's CAD exploiting equality constraints

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