scientific article; zbMATH DE number 589124
From MaRDI portal
Publication:4295433
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
(33)- An improved projection operation for cylindrical algebraic decomposition of three-dimensional space
- Quantifier elimination for trigonometric polynomials by cylindrical trigonometric decomposition
- Validity proof of Lazard's method for CAD construction
- Deciding the consistency of non-linear real arithmetic constraints with a conflict driven search using cylindrical algebraic coverings
- Cooperating techniques for solving nonlinear real arithmetic in the \texttt{cvc5} SMT solver (system description)
- Enhancements to Lazard's method for cylindrical algebraic decomposition
- Fully incremental cylindrical algebraic decomposition
- Cylindrical algebraic decomposition with equational constraints
- Abstractions for hybrid systems
- scientific article; zbMATH DE number 1574481 (Why is no real title available?)
- Improving the use of equational constraints in cylindrical algebraic decomposition
- Constructing fewer open cells by GCD computation in CAD projection
- scientific article; zbMATH DE number 1157654 (Why is no real title available?)
- Efficient projection orders for CAD
- scientific article; zbMATH DE number 2151199 (Why is no real title available?)
- scientific article; zbMATH DE number 2151206 (Why is no real title available?)
- On using Lazard's projection in CAD construction
- Proving inequalities and solving global optimization problems via simplified CAD projection
- Curtains in CAD: Why Are They a Problem and How Do We Fix Them?
- Variable ordering selection for cylindrical algebraic decomposition with artificial neural networks
- Projection and Quantifier Elimination Using Non-uniform Cylindrical Algebraic Decomposition
- Improved projection for cylindrical algebraic decomposition
- Truth table invariant cylindrical algebraic decomposition
- Cylindrical algebraic decomposition using local projections
- Lazard-style CAD and Equational Constraints
- Levelwise construction of a single cylindrical algebraic cell
- Cylindrical algebraic decomposition using local projections
- Local search for solving satisfiability of polynomial formulas
- More is less: adding polynomials for faster explanations in NLSAT
- Quantifier elimination for normal cone computations
- The geometry of cylindrical algebraic decomposition
- A geometric approach to cylindrical algebraic decomposition
- Breaking the data barrier in learning symbolic computation: a case study on variable ordering suggestion for cylindrical algebraic decomposition
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)
