Simon
Weitzhofer
Publications by the researcher in collaboration with Simon Weitzhofer (1)
2012
-
Implementing theorem proving in GeoGebra by exact check o a statement in a bounded number of test cases
Libro de Resúmenes del XIII Encuentro de Álgebra Computacional y Aplicaciones: EACA 2012