Prooftopia: A database for mathematical tools

  • Karina Figueroa M. Universidad Michoacana de San Nicolás de Hidalgo
  • Cuauhtémoc Rivera L. Universidad Michoacana de San Nicolás de Hidalgo
  • Luis Valero E. Universidad Michoacana de San Nicolás de Hidalgo
DOI: http://dx.doi.org/10.47756/aihc.y1i1.9

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.

This is the cover of the Journal Avances en Interacción Humano-Computadora. On the cover, you will find a machine-like human brain
Published
Sep 21, 2016
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.], n. 1, p. 33-34, sep. 2016. ISSN 2594-2352. Available at: <http://aihc.amexihc.org/index.php/aihc/article/view/9>. Date accessed: 20 apr. 2024. doi: http://dx.doi.org/10.47756/aihc.y1i1.9.
Citation Formats
Issue
No 1 (1): MexIHC 2016
Section
Work in Progress
Creative Commons License

This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License.

AMexIHC make every effort to ensure the accuracy and rigour of all the information (the "Content") contained in out publications. However,  AMexIHC and our representatives make no representations or warranties whatsoever as to the accuracy, completeness, or suitability for any purpose of the Content. Any opinions and views expressed in this publication are the opinions and views of the authors, and are not the views of or endorsed by AMexIHC. The accuracy of the Content should not be relied upon and should be independently verified with primary sources of information.