El árbol de matemáticas
El árbol de matemáticas: desbloquear la estructura de las matemáticas.
Featured
6 Votos
Descripción
¡Haga las conexiones en el árbol de matemáticas beta!Vea las matemáticas como nunca antes: completamente formalizados, visuales y navegables.El árbol de matemáticas es una base de datos de gráficos totalmente formalizada de matemáticas donde cada teorema, definición y ecuación es un nodo y sus relaciones son bordes.