An improved projection operation for cylindrical algebraic decomposition of three-dimensional space

68W30: Symbolic computation and algebraic computation

14N05: Projective techniques in algebraic geometry

14-04: Software, source code, etc. for problems pertaining to algebraic geometry

12-04: Software, source code, etc. for problems pertaining to field theory

Related Items

Improved projection for cylindrical algebraic decomposition, Two-view ``cylindrical decomposition of binary images, Truth table invariant cylindrical algebraic decomposition, Cylindrical algebraic decomposition using local projections, Multivariate discriminant and iterated resultant, Quantifier elimination for a class of exponential polynomial formulas, On using Lazard's projection in CAD construction, Proving inequalities and solving global optimization problems via simplified CAD projection, An adjacency algorithm for cylindrical algebraic decompositions of three- dimensional space, Quantifier elimination for trigonometric polynomials by cylindrical trigonometric decomposition, Local box adjacency algorithms for cylindrical algebraic decompositions, A survey of some methods for real quantifier elimination, decision, and satisfiability and their applications, Open weak CAD and its applications, Validity proof of Lazard's method for CAD construction, Solving systems of strict polynomial inequalities, Choosing better variable orderings for cylindrical algebraic decomposition via exploiting chordal structure, Special algorithm for stability analysis of multistable biological regulatory systems, Cylindrical algebraic decomposition using validated numerics, Abstractions for hybrid systems, Real quantifier elimination for the synthesis of optimal numerical algorithms (case study: square root computation), An Incremental Algorithm for Computing Cylindrical Algebraic Decompositions, A Simple Quantifier-Free Formula of Positive Semidefinite Cyclic Ternary Quartic Forms, A Generalised Branch-and-Bound Approach and Its Application in SAT Modulo Nonlinear Integer Arithmetic

Cites Work