Publications by the researcher in collaboration with Simon Weitzhofer (1)

2012

  1. Implementing theorem proving in GeoGebra by using a Singular webservice

    Libro de Resúmenes del XIII Encuentro de Álgebra Computacional y Aplicaciones: EACA 2012