A bibliography of quantifier elimination for real closed fields
From MaRDI portal
Recommendations
Cites work
- scientific article; zbMATH DE number 3830122 (Why is no real title available?)
- scientific article; zbMATH DE number 3643255 (Why is no real title available?)
- scientific article; zbMATH DE number 3645237 (Why is no real title available?)
- scientific article; zbMATH DE number 3151263 (Why is no real title available?)
- scientific article; zbMATH DE number 3880114 (Why is no real title available?)
- scientific article; zbMATH DE number 3926285 (Why is no real title available?)
- scientific article; zbMATH DE number 3954881 (Why is no real title available?)
- scientific article; zbMATH DE number 3978403 (Why is no real title available?)
- scientific article; zbMATH DE number 4008374 (Why is no real title available?)
- scientific article; zbMATH DE number 4029737 (Why is no real title available?)
- scientific article; zbMATH DE number 3657931 (Why is no real title available?)
- scientific article; zbMATH DE number 3685488 (Why is no real title available?)
- scientific article; zbMATH DE number 3739299 (Why is no real title available?)
- scientific article; zbMATH DE number 3771547 (Why is no real title available?)
- scientific article; zbMATH DE number 3779296 (Why is no real title available?)
- scientific article; zbMATH DE number 41286 (Why is no real title available?)
- scientific article; zbMATH DE number 3501006 (Why is no real title available?)
- scientific article; zbMATH DE number 3508489 (Why is no real title available?)
- scientific article; zbMATH DE number 3518931 (Why is no real title available?)
- scientific article; zbMATH DE number 3564960 (Why is no real title available?)
- scientific article; zbMATH DE number 3629097 (Why is no real title available?)
- scientific article; zbMATH DE number 3995865 (Why is no real title available?)
- scientific article; zbMATH DE number 3445421 (Why is no real title available?)
- scientific article; zbMATH DE number 3201718 (Why is no real title available?)
- scientific article; zbMATH DE number 3249766 (Why is no real title available?)
- scientific article; zbMATH DE number 3319539 (Why is no real title available?)
- scientific article; zbMATH DE number 3342953 (Why is no real title available?)
- scientific article; zbMATH DE number 3068536 (Why is no real title available?)
- A :20piano movers' '
- A Decision Procedure for the First Order Theory of Real Addition with Order
- A cluster-based cylindrical algebraic decomposition algorithm
- A continuous, constructive solution to Hilbert's \(17^{th}\) problem
- A finiteness theorem for open semi-algebraic sets, with applications to Hilbert’s 17th problem
- A new decision method for elementary algebra
- A note on simplification orderings
- A nullstellensatz for ordered fields
- A refutational approach to geometry theorem proving
- A survey of motion planning and related geometric algorithms
- Algebraic decomposition of regular curves
- An adjacency algorithm for cylindrical algebraic decompositions of three- dimensional space
- An introduction to real algebra
- Basic principles of mechanical theorem proving in elementary geometries
- Complexity of deciding Tarski algebra
- Computer algebra. EUROCAM '82, European Computer Algebra Conference, Marseille, France, 5-7 April 1982
- Counting types of rigid frameworks
- Cylindrical Algebraic Decomposition I: The Basic Algorithm
- Das Problem der dreizehn Kugeln
- Decision Methods for Elementary Algebra
- Decision procedures for real and p‐adic fields
- Definability and fast quantifier elimination in algebraically closed fields
- Elementary structure of real algebraic varieties
- Elimination of quantifiers in algebraic structures
- Geometric reasoning with logic and algebra
- Hilbert's sixteenth problem
- How to give an Exposition of the Cech-Alexander-Spanier type Homology Theory
- Lectures on formally real fields
- On Approximations and Incidence in Cylindrical Algebraic Decompositions
- On mechanical quantifier elimination for elementary algebra and geometry
- On the Piano Movers problem. II: General techniques for computing topological properties of real algebraic manifolds
- On the application of Buchberger's algorithm to automated geometry theorem proving
- On the real spectrum of a ring and its application to semialgebraic geometry
- Ordered fields and real algebraic geometry
- Quantifier elimination: Optimal solution for two classical examples
- Real addition and the polynomial hierarchy
- Real quantifier elimination is doubly exponential
- Skolem's solution to a problem of Frobenius
- Solving systems of polynomial inequalities in subexponential time
- Some aspects of complexity in real algebraic geometry
- THE TOPOLOGY OF REAL PROJECTIVE ALGEBRAIC VARIETIES
- The complexity of elementary algebra and geometry
- The complexity of linear problems in fields
- The complexity of logical theories
- The computational complexity of logical theories
- Thom's lemma, the coding of real algebraic numbers and the computation of the topology of semi-algebraic sets
Cited in
(6)- Quantifier elimination on real closed fields and differential equations
- On the computational complexity and geometry of the first-order theory of the reals. I: Introduction. Preliminaries. The geometry of semi-algebraic sets. The decision problem for the existential theory of the reals
- scientific article; zbMATH DE number 3918343 (Why is no real title available?)
- An Intuitionistic Axiomatisation of Real Closed Fields
- scientific article; zbMATH DE number 1684364 (Why is no real title available?)
- Quantifier elimination in the elementary theory of real closed fields: remarkable history, actual present.
This page was built for publication: A bibliography of quantifier elimination for real closed fields
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1103610)
