A DECISION METHOD FOR ELEMENTARY ALGEBRA AND GEOMETRY

By G. Sacks. 2003

235 citations recorded by the source corpus.

Subfields: Civil and Structural Engineering, Computational Mechanics

View Paper: https://www.semanticscholar.org/paper/caff16b273fe12256cbc6e9570b2b5c628496421

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Civil and Structural Engineering

1. Henny B. Sipma
2. Sriram Sankaranarayanan
3. Manjul Bhargava

In Computational Mechanics

1. Henny B. Sipma
2. Sriram Sankaranarayanan
3. Manjul Bhargava

Citations in the corpus

• The density of discriminants of quartic rings and fields (2005, background): “Furthermore, since Fv is a polynomial image of a semi-algebraic set F , the theorem of Tarski and Seidenberg on quantifier elimination ([25], [24]) implies that Fv is a semi-algebraic multiset in VR; here by a semi-algebraic multiset R we mean a multiset whose underlying subsets Rk of elements in R ”
• Linear Invariant Generation Using Non-linear Constraint Solving (2003, background): “The original breakthrough in quantifier elimination was due to Tarski [18].”
• Non-linear loop invariant generation using Gröbner bases (2004, background): “Tarski [25], established the decidability of quantifier eli mination over the theory of reals with multiplication.”