Statistics
Publications
1
Citations
102
H-Index
1
Active since
2015
Affiliations
University of Belgrade(Current)
Simon Weitzhofer is an author at University of Belgrade specializing in geometry, algebraic geometry, and automatic theorem proving.
Publications per year
2015–2015
1
1
Automated Theorem Proving in GeoGebra: Current Achievements
Francisco Botana, Markus Hohenwarter, Predrag Janičić et al. · Journal of Automated Reasoning · 2015 · 102 citations
1–1 of 1