Prooftopia: A database for mathematical tools

Authors

  • 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

Keywords:

Mathematical education, visualization, usability, online education

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.

Downloads

Download data is not yet available.
This is the cover of the Journal Avances en Interacción Humano-Computadora. On the cover, you will find a machine-like human brain

Downloads

Published

2016-09-21

How to Cite

[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.

Issue

Vol. 1 No. 1 (2016): MexIHC 2016

Section

Work in Progress

License

Copyright (c) 2016 Karina Figueroa M., Cuauhtémoc Rivera L., Luis Valero E.

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.

 

Similar Articles

1 2 3 > >> 

You may also start an advanced similarity search for this article.