Prooftopia: A database for mathematical tools

Autores/as

  • Karina Figueroa Universidad Michoacana de San Nicolás de Hidalgo
  • Cuauhtémoc Rivera Universidad Michoacana de San Nicolás de Hidalgo
  • Luis Valero Universidad Michoacana de San Nicolás de Hidalgo

DOI:

https://doi.org/10.47756/aihc.y1i1.9

Palabras clave:

Mathematical education, visualization, usability, online education

Resumen

In this paper, we outline the current implementation of a database of mathematical theorems and their corresponding proofs which can be done via the web. We also provide a brief description of the current work for its complete redesign.

Descargas

Los datos de descargas todavía no están disponibles.

Descargas

Publicado

2016-09-21

Cómo citar

[1]
Figueroa, K. et al. 2016. Prooftopia: A database for mathematical tools. Avances en Interacción Humano-Computadora. 1, 1 (sep. 2016), 33–34. DOI:https://doi.org/10.47756/aihc.y1i1.9.

Número

Sección

Trabajo en Progreso

Artículos similares

1 2 3 > >> 

También puede {advancedSearchLink} para este artículo.