Validity proof of Lazard's method for CAD construction
From MaRDI portal
Publication:1757004
DOI10.1016/j.jsc.2017.12.002zbMath1419.14084arXiv1607.00264OpenAlexW2470587716MaRDI QIDQ1757004
Scott McCallum, Laurentiu Paunescu, Adam Parusiński
Publication date: 28 December 2018
Published in: Journal of Symbolic Computation (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1607.00264
Symbolic computation and algebraic computation (68W30) Semialgebraic sets and related spaces (14P10) Effectivity, complexity and computational aspects of algebraic geometry (14Q20) Quantifier elimination, model completeness, and related topics (03C10)
Related Items
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, Lazard-style CAD and Equational Constraints, Proving an execution of an algorithm correct?, Explainable AI insights for symbolic computation: a case study on selecting the variable ordering for cylindrical algebraic decomposition, Levelwise construction of a single cylindrical algebraic cell, What does ``without loss of generality mean, and how do we detect it, Deciding the consistency of non-linear real arithmetic constraints with a conflict driven search using cylindrical algebraic coverings, Cylindrical algebraic decomposition with equational constraints, Computing and using minimal polynomials, Cooperating techniques for solving nonlinear real arithmetic in the \texttt{cvc5} SMT solver (system description), New heuristic to choose a cylindrical algebraic decomposition variable ordering motivated by complexity analysis
Uses Software
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 using Lazard's projection in CAD construction
- Arc-wise analytic stratification, Whitney fibering conjecture and Zariski equisingularity
- CAD and topology of semi-algebraic sets
- On the Piano Movers problem. II: General techniques for computing topological properties of real algebraic manifolds
- Iterated discriminants
- An improved projection operation for cylindrical algebraic decomposition of three-dimensional space
- Partial cylindrical algebraic decomposition for quantifier elimination
- Testing stability by quantifier elimination
- Simulation and optimization by quantifier elimination
- The Abhyankar-Jung theorem
- Algorithmic methods for investigating equilibria in epidemic modeling
- On delineability of varieties in CAD-based quantifier elimination with two equational constraints
- On propagation of equational constraints in CAD-based quantifier elimination
- Explicit factors of some iterated resultants and discriminants
- Computer Algebra of Polynomials and Rational Functions
- Cylindrical Algebraic Decomposition I: The Basic Algorithm
- On using bi-equational constraints in CAD construction
- Studies in Equisingularity I Equivalent Singularities of Plane Algebroid Curves
- Studies in Equisingularity II. Equisingularity in Codimension 1 (and Characteristic Zero)
- On the Ramification of Algebraic Functions
- Improved projection for cylindrical algebraic decomposition
- Truth table invariant cylindrical algebraic decomposition
