scientific article
From MaRDI portal
Publication:3958439
zbMath0495.03016MaRDI QIDQ3958439
Publication date: 1982
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
cylindrical algebraic decomposition methodquantifier elimination algorithms for the elementary theory of real closed fields
Symbolic computation and algebraic computation (68W30) Model-theoretic algebra (03C60) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Decidability of theories and sets of sentences (03B25) Cylindric and polyadic algebras; relation algebras (03G15) Quantifier elimination, model completeness, and related topics (03C10)
Related Items
Computer algebra: Past and future ⋮ On mechanical quantifier elimination for elementary algebra and geometry ⋮ The complexity of linear problems in fields ⋮ A bibliography of quantifier elimination for real closed fields ⋮ Résolution du problème de l'ellipse et du cercle par l'algorithme de Hörmander ⋮ Indexed types ⋮ Geometric reasoning with logic and algebra ⋮ Some aspects of complexity in real algebraic geometry
