Prooftopia: A database for mathematical tools

• Figueroa, Karina ^[1] ; Rivera, Cuauhtémoc ^[1] ; Valero, Luis ^[1]
  1. [1] Universidad Michoacana de San Nicolás de Hidalgo

     Universidad Michoacana de San Nicolás de Hidalgo

     México

     
• Localización: Avances en Interacción Humano-Computadora, ISSN-e 2594-2352, Vol. 1, Nº. 1, 2016 (Ejemplar dedicado a: MexIHC 2016), págs. 33-34
• Idioma: inglés
• Enlaces
  • Texto completo
• Resumen

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