Implementing theorem proving in GeoGebra by using a Singular webservice

  1. Botana Ferreiro, Francisco
  2. Kovács, Zoltán
  3. Weitzhofer, Simon
Llibre:
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.)

Editorial: Editorial Universidad de Alcalá ; Universidad de Alcalá

ISBN: 978-84-8138-770-4

Any de publicació: 2012

Pàgines: 67-69

Congrés: Encuentro de Algebra Computacional y Aplicaciones (13. 2012. Alcalá de Henares)

Tipus: Aportació congrés

DIALNET GOOGLE SCHOLAR
Fuente de los datos: Dialnet