scientific article
From MaRDI portal
Publication:4011324
zbMath0741.03004MaRDI QIDQ4011324
Publication date: 27 September 1992
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
computational complexityquantifier eliminationefficient algorithmsdecision methodsfirst order theory of the reals
Analysis of algorithms and problem complexity (68Q25) Decidability and field theory (12L05) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Decidability of theories and sets of sentences (03B25) Quantifier elimination, model completeness, and related topics (03C10)
Related Items
Pegasus: sound continuous invariant generation, An algorithm for sums of squares of real polynomials
