Find link

language:

jump to random article

Find link is a tool written by Edward Betts.

searching for Existential theory of the reals 3 found (24 total)

alternate case: existential theory of the reals

James Renegar (1,079 words) [view diff] exact match in snippet view article find links to article

(April 1988). "A faster PSPACE algorithm for deciding the existential theory of the reals" (PDF). Technical Report No. 792. School of Operations Research
Real closed field (2,720 words) [view diff] exact match in snippet view article find links to article
geometry of semi-algebraic sets. The decision problem for the existential theory of the reals". Journal of Symbolic Computation. 13 (3): 255–299. doi:10
Graph flattenability (4,040 words) [view diff] case mismatch in snippet view article find links to article
Saugata; Pollack, Richard; Marie-Francoise, Roy (2003). "Existential Theory of the Reals". Algorithms in Real Algebraic Geometry. Algorithms and Computation