Combining Pencil/Paper Proofs and Formal Proofs, A Challenge for Artificial Intelligence and Mathematics Education

• Autores: Julien Narboux, Viviane Durand-Guerrier
• Localización: Mathematics education in the age of Artificial Intelligence: How Artificial Intelligence can serve mathematical human learning / coord. por Philippe R. Richard, María Pilar Vélez Melón, Steven Van Vaerenbergh, 2022, ISBN 978-3-030-86908-3, págs. 167-192
• Idioma: español
• Texto completo no disponible (Saber más ...)