Implementing theorem proving in GeoGebra by using a Singular webservice

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

Ano de publicación: 2012

Páxinas: 67-69

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

Tipo: Achega congreso

DIALNET GOOGLE SCHOLAR
Fonte de datos: Dialnet