Implementing theorem proving in GeoGebra by using a Singular webservice

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

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

ISBN: 978-84-8138-770-4

Argitalpen urtea: 2012

Orrialdeak: 67-69

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

Mota: Biltzar ekarpena

DIALNET GOOGLE SCHOLAR
Datuen iturria: Dialnet