Implementing theorem proving in GeoGebra by using a Singular webservice

• Autores: Francisco Botana Ferreiro, Zoltán Kovács, Simon Weitzhofer
• Localización: Libro de Resúmenes del XIII Encuentro de Álgebra Computacional y Aplicaciones: EACA 2012 / Juan Rafael Sendra Pons (ed. lit.), Carlos Villarino Cabellos (ed. lit.), 2012, ISBN 978-84-8138-770-4, págs. 67-69
• Idioma: español
• Texto completo no disponible (Saber más ...)