L'arbre mathématique
L'arbre mathématique: débloquez la structure des mathématiques.
En vedette
6 Votes
Description
Faites les connexions dans l'arbre mathématique bêta!Voir les mathématiques comme jamais auparavant: entièrement formalisée, visuelle et navigable.L'arbre mathématique est une base de données de graphiques entièrement formalisée des mathématiques où chaque théorème, définition et équation est un nœud et leurs relations sont des bords.