scientific article; zbMATH DE number 589124
From MaRDI portal
Publication:4295433
zbMATH Open0822.68118MaRDI QIDQ4295433FDOQ4295433
Authors: D. Lazard 
Publication date: 14 June 1994
Title of this publication is not available (Why is that?)
Recommendations
- scientific article; zbMATH DE number 1157654
- Improved projection for cylindrical algebraic decomposition
- An improved projection operation for cylindrical algebraic decomposition of three-dimensional space
- scientific article; zbMATH DE number 1574481
- Constructing fewer open cells by GCD computation in CAD projection
Cited In (28)
- Constructing fewer open cells by GCD computation in CAD projection
- Validity proof of Lazard's method for CAD construction
- Title not available (Why is that?)
- Lazard-style CAD and Equational Constraints
- Enhancements to Lazard's method for cylindrical algebraic decomposition
- Levelwise construction of a single cylindrical algebraic cell
- Cylindrical algebraic decomposition with equational constraints
- Cylindrical algebraic decomposition using local projections
- Deciding the consistency of non-linear real arithmetic constraints with a conflict driven search using cylindrical algebraic coverings
- Improving the use of equational constraints in cylindrical algebraic decomposition
- Proving inequalities and solving global optimization problems via simplified CAD projection
- Fully incremental cylindrical algebraic decomposition
- Improved projection for cylindrical algebraic decomposition
- Efficient projection orders for CAD
- An improved projection operation for cylindrical algebraic decomposition of three-dimensional space
- Title not available (Why is that?)
- Curtains in CAD: Why Are They a Problem and How Do We Fix Them?
- Title not available (Why is that?)
- Truth table invariant cylindrical algebraic decomposition
- Title not available (Why is that?)
- Projection and Quantifier Elimination Using Non-uniform Cylindrical Algebraic Decomposition
- On using Lazard's projection in CAD construction
- Abstractions for hybrid systems
- Local search for solving satisfiability of polynomial formulas
- Quantifier elimination for trigonometric polynomials by cylindrical trigonometric decomposition
- Cylindrical algebraic decomposition using local projections
- Cooperating techniques for solving nonlinear real arithmetic in the \texttt{cvc5} SMT solver (system description)
- Variable ordering selection for cylindrical algebraic decomposition with artificial neural networks
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4295433)
