Implementing theorem proving in GeoGebra by using a Singular webservice

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

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

ISBN: 978-84-8138-770-4

Year of publication: 2012

Pages: 67-69

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

Type: Conference paper

DIALNET GOOGLE SCHOLAR
Data source: Dialnet