Biltzar ekarpenak (2) Ikertzaileren baten partaidetza izan duten argitalpenak

2012

  1. A demo on using the GröbnerCover algorithm for dynamic geometry tasks

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

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

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