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

DOI10.1016/S0747-7171(88)80010-5zbMath0648.68054MaRDI QIDQ1105370

Scott McCallum

Publication date: 1988

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

zbMATH Keywords

cylindrical algebraic decomposition

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Projective techniques in algebraic geometry (14N05) Software, source code, etc. for problems pertaining to algebraic geometry (14-04) Software, source code, etc. for problems pertaining to field theory (12-04)

Related Items

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On Equimultiple Subvarieties of Algebroid Hypersurfaces
• Cylindrical Algebraic Decomposition I: The Basic Algorithm
• Studies in Equisingularity II. Equisingularity in Codimension 1 (and Characteristic Zero)
• On Euclid's Algorithm and the Theory of Subresultants