De wiskundeboom
The Math Tree: ontgrendel de structuur van de wiskunde.
Uitgelaten
6 Stemmen
Beschrijving
Maak de verbindingen in de wiskundige boom beta!Zie wiskunde als nooit tevoren: volledig geformaliseerd, visueel en navigeerbaar.De wiskundige boom is een volledig geformaliseerde grafische database van wiskunde waarbij elke stelling, definitie en vergelijking een knooppunt is en hun relaties randen zijn.