scientific article
From MaRDI portal
Publication:3216141
zbMath0553.68031MaRDI QIDQ3216141
Scott F. Smith, Dennis S. Arnon
Publication date: 1983
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Symbolic computation and algebraic computation (68W30) Fields related with sums of squares (formally real fields, Pythagorean fields, etc.) (12D15) Mechanization of proofs and logical operations (03B35) Model theory of fields (12L12) Quantifier elimination, model completeness, and related topics (03C10)
Related Items
On mechanical quantifier elimination for elementary algebra and geometry ⋮ Quantifier elimination: Optimal solution for two classical examples ⋮ Résolution du problème de l'ellipse et du cercle par l'algorithme de Hörmander
