Der Mathematikbaum
Der Mathematikbaum: Entsperren Sie die Struktur der Mathematik.
Vorgestellt
6 Stimmen
Beschreibung
Machen Sie die Verbindungen in der Mathematikbaum -Beta!Siehe Mathematik wie nie zuvor: Volles formalisiert, visuell und schiffbar.Der Mathematikbaum ist eine vollständig formalisierte Graphendatenbank für Mathematik, in der jeder Satz, jede Definition und jeder Gleichung ein Knoten ist und ihre Beziehungen Kanten sind.