FRANCISCO RAMON
BOTANA FERREIRO
CATEDRATICO/A DE UNIVERSIDAD TC
Simon
Weitzhofer
Publications dans lesquelles il/elle collabore avec Simon Weitzhofer (1)
2012
-
Implementing theorem proving in GeoGebra by using a Singular webservice
Libro de Resúmenes del XIII Encuentro de Álgebra Computacional y Aplicaciones: EACA 2012