Fachbereich
Matemática aplicada I
Kongressbeiträge (2) Publikationen, an denen Forscher/innen teilgenommen haben
2012
-
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
-
Implementing theorem proving in GeoGebra by using a Singular webservice
Libro de Resúmenes del XIII Encuentro de Álgebra Computacional y Aplicaciones: EACA 2012