First Page | Document Content | |
---|---|---|
Date: 2015-10-05 02:59:04Mathematical 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 ListSource URL: www.avacs.orgDownload Document from Source WebsiteFile Size: 1,90 MBShare Document on Facebook |