TY - JOUR AU - Figueroa M., Karina AU - Rivera L., Cuauhtémoc AU - Valero E., Luis PY - 2016 TI - Prooftopia: A database for mathematical tools JF - Avances en Interacción Humano-Computadora; No 1 (1): MexIHC 2016 DO - 10.47756/aihc.y1i1.9 KW - N2 - 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. UR - http://aihc.amexihc.org/index.php/aihc/article/view?path=