On using bi-equational constraints in CAD construction
From MaRDI portal
(Redirected from Publication:5262745)
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
(15)- Combining logical and algebraic techniques for natural style proving in elementary analysis
- Validity proof of Lazard's method for CAD construction
- Cylindrical algebraic decomposition with equational constraints
- Special algorithm for stability analysis of multistable biological regulatory systems
- The complexity of cylindrical algebraic decomposition with respect to polynomial degree
- On delineability of varieties in CAD-based quantifier elimination with two equational constraints
- On propagation of equational constraints in CAD-based quantifier elimination
- The Potential and Challenges of CAD with Equational Constraints for SC-Square
- Cylindrical algebraic sub-decompositions
- Truth table invariant cylindrical algebraic decomposition
- CAD and topology of semi-algebraic sets
- Iterated resultants and rational functions in real quantifier elimination
- Properness defects of projection and minimal discriminant variety
- A geometric approach to cylindrical algebraic decomposition
- Testing elementary function identities using CAD
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)
