Simple CAD construction and its applications

DOI10.1006/jsco.2000.0394zbMath0976.65023MaRDI QIDQ5938543

Christopher W. Brown

Publication date: 22 July 2001

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

Full work available at URL: https://semanticscholar.org/paper/bb7c5ad02587fc0bad9d5f5709502855d309f1ee

zbMATH Keywords

performance; algorithms; quantifier elimination; cylindrical algebraic decomposition

Mathematics Subject Classification ID

68W30: Symbolic computation and algebraic computation

65D18: Numerical aspects of computer graphics, image analysis, and computational geometry

Related Items

Computing integrals over polynomially defined regions and their boundaries in 2 and 3 dimensions, Fast simplifications for Tarski formulas based on monomial inequalities, Constraint Markov chains, Solving parametric piecewise polynomial systems, Real zeros of the zero-dimensional parametric piecewise algebraic variety, Special algorithm for stability analysis of multistable biological regulatory systems, Algorithmic methods for investigating equilibria in epidemic modeling, Real quantifier elimination for the synthesis of optimal numerical algorithms (case study: square root computation), A Simple Quantifier-Free Formula of Positive Semidefinite Cyclic Ternary Quartic Forms, A DECISION PROCEDURE FOR PROBABILITY CALCULUS WITH APPLICATIONS

Uses Software

• QEPCAD
• REDLOG

Cites Work

• Quantifier elimination for real algebra -- the quadratic case and beyond
• Partial cylindrical algebraic decomposition for quantifier elimination
• Simplification of quantifier-free formulae over ordered fields
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item