Implementing theorem proving in GeoGebra by exact check o a statement in a bounded number of test cases

• Autores: Zoltán Kovács, Tomás Jesús Recio Muñiz , 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. 123-126
• Idioma: español
• Texto completo no disponible (Saber más ...)
• Dialnet Métricas: 1 Cita