Back to Results
First PageMeta Content
Mathematical logic / Mathematics / Logic / Model theory / Predicate logic / Quantification / Quantifier / First-order logic / Definable set / FO / Grbner basis / Real closed field


(Mostly Real) Quantifier Elimination Thomas Sturm AVACS Autumn School, Oldenburg, Germany, October 1, 2015 http://www.mpi-inf.mpg.de/~sturm/
Add to Reading List

Document Date: 2015-10-05 02:59:04


Open Document

File Size: 1,90 MB

Share Result on Facebook
UPDATE