Better Answers to Real Questions Thomas Sturm, Joint Work with M. Košta and A. Dolzmann SMT 2014, Vienna, 18 Julyhttp: www.mpi-inf.mpg.de ~sturm - Vienna - Document - PDFSEARCH.IO

First Page	Meta Content
	Better Answers to Real Questions Thomas Sturm, Joint Work with M. Košta and A. Dolzmann SMT 2014, Vienna, 18 Julyhttp://www.mpi-inf.mpg.de/~sturm/ Add to Reading List Document Date: 2014-07-18 15:01:43 Open Document File Size: 112,05 KB Share Result on Facebook

Better Answers to Real Questions Thomas Sturm, Joint Work with M. Košta and A. Dolzmann SMT 2014, Vienna, 18 Julyhttp://www.mpi-inf.mpg.de/~sturm/Add to Reading List