scientific article; zbMATH DE number 3881880

MaRDI QIDQ3216141zbMATH OpenFDO

Authors Dennis S. Arnon, Scott F. Smith

Publication date 1983

zbMATH Keywords

Collins decision algorithmKahan ellipse problemreal closed fields

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Quantifier elimination, model completeness, and related topics (03C10) Fields related with sums of squares (formally real fields, Pythagorean fields, etc.) (12D15) Model theory of fields (12L12) Symbolic computation and algebraic computation (68W30)

Recommendations

• Résolution du problème de l'ellipse et du cercle par l'algorithme de Hörmander
• On the computational complexity and geometry of the first-order theory of the reals. II: The general decision problem. Preliminaries for quantifier elimination
• scientific article; zbMATH DE number 3926284
• 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
• Recent advances in real geometric reasoning

Cited in

(4)

• 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
• scientific article; zbMATH DE number 510772 (Why is no real title available?)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3216141)