On using bi-equational constraints in CAD construction

DOI10.1145/1073884.1073897zbMATH Open1360.68925OpenAlexW2003425586MaRDI QIDQ5262745FDOQ5262745

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)

Cited In (10)

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

   Recommendations

• Title not available (Why is that?) 👍 👎
• 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 👍 👎

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)