FIGUEROA M., Karina; 						RIVERA L., Cuauhtémoc; 						VALERO E., Luis.
Prooftopia: A database for mathematical tools.
<strong>Avances en Interacción Humano-Computadora</strong>, [S.l.], n. 1, p. 33-34, sep. 2016.
ISSN 2594-2352.
Available at: &lt;<a href="http://aihc.amexihc.org/index.php/aihc/article/view/9" target="_new">http://aihc.amexihc.org/index.php/aihc/article/view/9</a>&gt;. Date accessed: 20 apr. 2024.
doi: <a href="http://dx.doi.org/10.47756/aihc.y1i1.9">http://dx.doi.org/10.47756/aihc.y1i1.9</a>.