Prooftopia: A database for mathematical tools

Main Article Content

Karina Figueroa M. Cuauhtémoc Rivera L. Luis Valero E.

Abstract

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.

Article Details

How to Cite
FIGUEROA M., Karina; RIVERA L., Cuauhtémoc; VALERO E., Luis. Prooftopia: A database for mathematical tools. Avances en Interacción Humano-Computadora, [S.l.], v. 1, n. 1, p. 33-34, sep. 2016. Available at: <http://aihc.amexihc.org/index.php/aihc/article/view/9>. Date accessed: 21 apr. 2018.
Section
Work in Progress