Publicacións nas que colabora con 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