[Back]


Talks and Poster Presentations (without Proceedings-Entry):
M. Jaroschek:
"Quantifier Elimination Over The Reals";
Talk: Tutorial on SMT and Polynomial Arithmetic, Chalmers University, Gothenburg, Sweden (invited); 2016-05-26 - 2016-05-27.

Created from the Publication Database of the Vienna University of Technology.