Find link

language:

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,931 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 (3,772 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