Existential theory of the reals

#	Item
1	PDF Document Add to Reading List Source URL: ovid.cs.depaul.edu Language: English - Date: 2010-08-20 13:53:08 Applied mathematics Crossing number NP Existential theory of the reals Intersection graph EXPTIME P versus NP problem Graph isomorphism problem Theoretical computer science Computational complexity theory Complexity classes
2	PDF Document Add to Reading List Source URL: math.stanford.edu Language: English - Date: 2006-01-20 17:21:14 Model theory Real algebraic geometry Guggenheim Fellows Proof theory Metalogic Alfred Tarski Presburger arithmetic Existential theory of the reals Quantifier elimination Logic Mathematical logic Mathematics