Implementing theorem proving in GeoGebra by using a Singular webservice

  1. Botana Ferreiro, Francisco
  2. Kovács, Zoltán
  3. Weitzhofer, Simon
Livre:
Libro de Resúmenes del XIII Encuentro de Álgebra Computacional y Aplicaciones: EACA 2012
  1. Sendra Pons, Juan Rafael (ed. lit.)
  2. Villarino Cabellos, Carlos (ed. lit.)

Éditorial: Editorial Universidad de Alcalá ; Universidad de Alcalá

ISBN: 978-84-8138-770-4

Année de publication: 2012

Pages: 67-69

Congreso: Encuentro de Algebra Computacional y Aplicaciones (13. 2012. Alcalá de Henares)

Type: Communication dans un congrès

DIALNET GOOGLE SCHOLAR
La source de données: Dialnet