Implementing theorem proving in GeoGebra by using a Singular webservice
- Botana Ferreiro, Francisco
- Kovács, Zoltán
- Weitzhofer, Simon
- Sendra Pons, Juan Rafael (ed. lit.)
- Villarino Cabellos, Carlos (ed. lit.)
Verlag: Editorial Universidad de Alcalá ; Universidad de Alcalá
ISBN: 978-84-8138-770-4
Datum der Publikation: 2012
Seiten: 67-69
Kongress: Encuentro de Algebra Computacional y Aplicaciones (13. 2012. Alcalá de Henares)
Art: Konferenz-Beitrag