Recent Advances in Real Geometric Reasoning
From MaRDI portal
Publication:3452275
DOI10.1007/978-3-319-21362-0_3zbMath1434.68701arXiv1504.06484OpenAlexW2107737920WikidataQ59590569 ScholiaQ59590569MaRDI QIDQ3452275
Matthew England, James H. Davenport
Publication date: 11 November 2015
Published in: Automated Deduction in Geometry (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1504.06484
Symbolic computation and algebraic computation (68W30) Mechanization of proofs and logical operations (03B35) Cylindric and polyadic algebras; relation algebras (03G15)
Related Items (1)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- An effective implementation of symbolic-numeric cylindrical algebraic decomposition for quantifier elimination
- Cylindrical algebraic sub-decompositions
- Thom's lemma, the coding of real algebraic numbers and the computation of the topology of semi-algebraic sets
- Testing elementary function identities using CAD
- Solving systems of polynomial inequalities in subexponential time
- Real quantifier elimination is doubly exponential
- The complexity of deciding consistency of systems of polynomials in exponent inequalities
- Complexity of deciding Tarski algebra
- Computing triangular systems and regular systems
- On the theories of triangular sets
- Cylindrical algebraic decomposition using validated numerics
- An Incremental Algorithm for Computing Cylindrical Algebraic Decompositions
- Optimising Problem Formulation for Cylindrical Algebraic Decomposition
- Choosing a Variable Ordering for Truth-Table Invariant Cylindrical Algebraic Decomposition by Incremental Triangular Decomposition
- Using the Regular Chains Library to Build Cylindrical Algebraic Decompositions by Projecting and Lifting
- Truth Table Invariant Cylindrical Algebraic Decomposition by Regular Chains
- Formal proofs in real algebraic geometry: from ordered fields to quantifier elimination
- Computing cylindrical algebraic decomposition via triangular decomposition
- Solving Non-linear Arithmetic
- MetiTarski: Past and Future
- Cylindrical algebraic decompositions for boolean combinations
- Constructing a single open cell in a cylindrical algebraic decomposition
- On Equimultiple Subvarieties of Algebroid Hypersurfaces
- Efficient projection orders for CAD
- QEPCAD B
- Deciding polynomial-exponential problems
- Problem Formulation for Truth-Table Invariant Cylindrical Algebraic Decomposition by Incremental Triangular Decomposition
- Applying Machine Learning to the Problem of Choosing a Heuristic to Select the Variable Ordering for Cylindrical Algebraic Decomposition
- Studies in Equisingularity II. Equisingularity in Codimension 1 (and Characteristic Zero)
- Quantifier elimination by cylindrical algebraic decomposition based on regular chains
- Algorithms in real algebraic geometry
- Truth table invariant cylindrical algebraic decomposition
This page was built for publication: Recent Advances in Real Geometric Reasoning
