Directorios

Enlace: http://metamath.org/

Descripción: En esta página se puede encontrar el Metamath Proof Explorer, con más de 5.000 pruebas de lógica y teoría matemática; el Hilbert Space Explorer, unos 700 ejemplos de Matemática Cuántica; el Quantum Logic Explorer, donde se hace un análisis de la Lógica Cuántica; el Metamath Solitaire, una aplicación Java; imágenes GIF de símbolos matemáticos y una página web denominada Metamath Music.

Palabras clave: PROOF EXPLORER,LÓGICA Y TEORÍA MATEMÁTICA,RECURSOS MATEMÁTICOS