A bibliography of quantifier elimination for real closed fields
From MaRDI portal
A list of papers on quantifier elimination for real closed fields are referred with comments on their destination (e.g. tutorial, research etc.). It seems to be complete, but unfortunately short summaries and comparisons of different algorithms fail, what yields difficulties for the novice in this area. Also it is regretable that the supporting algorithms such as polynomial factoring and solving systems of algebraic equations tightly connected with the subject under discussion are absent.
Recommendations
Cites work
- A :20piano movers' '
- A cluster-based cylindrical algebraic decomposition algorithm
- A continuous, constructive solution to Hilbert's \(17^{th}\) problem
- A Decision Procedure for the First Order Theory of Real Addition with Order
- 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
- 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?)
- 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 complexity of elementary algebra and geometry
- The complexity of linear problems in fields
- The complexity of logical theories
- The computational complexity of logical theories
- THE TOPOLOGY OF REAL PROJECTIVE ALGEBRAIC VARIETIES
- Thom's lemma, the coding of real algebraic numbers and the computation of the topology of semi-algebraic sets
Cited in
(6)- 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 1684364 (Why is no real title available?)
- scientific article; zbMATH DE number 3918343 (Why is no real title available?)
- An Intuitionistic Axiomatisation of Real Closed Fields
- Quantifier elimination in the elementary theory of real closed fields: remarkable history, actual present.
- Quantifier elimination on real closed fields and differential equations
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)
