On using bi-equational constraints in CAD construction

DOI10.1145/1073884.1073897MaRDI QIDQ5262745zbMATHOpenAlexFDO

Authors Christopher W. Brown, Scott McCallum

Publication date 16 July 2015

Published in Proceedings of the 2005 international symposium on Symbolic and algebraic computation (Search for Journal in Brave)

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

zbMATH Keywords

polynomial systemsCAD

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30)

Recommendations

• scientific article; zbMATH DE number 2084364
• The Potential and Challenges of CAD with Equational Constraints for SC-Square
• Lazard-style CAD and Equational Constraints
• Body-and-cad geometric constraint systems
• A new constructive approach to constraint-based geometric design
• Lazard's CAD exploiting equality constraints

Cited in

(13)

• Cylindrical algebraic decomposition with equational constraints
• On delineability of varieties in CAD-based quantifier elimination with two equational constraints
• CAD and topology of semi-algebraic sets
• Special algorithm for stability analysis of multistable biological regulatory systems
• The complexity of cylindrical algebraic decomposition with respect to polynomial degree
• Testing elementary function identities using CAD
• Truth table invariant cylindrical algebraic decomposition
• Combining logical and algebraic techniques for natural style proving in elementary analysis
• Validity proof of Lazard's method for CAD construction
• On propagation of equational constraints in CAD-based quantifier elimination
• The Potential and Challenges of CAD with Equational Constraints for SC-Square
• Properness defects of projection and minimal discriminant variety
• Cylindrical algebraic sub-decompositions

This page was built for publication: On using bi-equational constraints in CAD construction

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