- Das Dokument ist auf Wunsch des Urhebers/der Urheberin online nicht zugänglich
Free convex semi-algebraic geometry
the limits of quantifier elimination, projection properties, and operator systemsInnsbruck, July 2018 Die Klärung des Unendlichkeitsbegriffes und dessen Einbettung in die Mathematik der Neuzeit
historisch-didaktische Analyse ausgewählter Meilensteine und Überlegungen zur Umsetzung im SchulunterrichtInnsbruck, 19.April 2017Learning proof search in proof assistants
Innsbruck, 31 July 2018