गणित का पेड़

मैथ ट्री बीटा में कनेक्शन बनाएं!गणित देखें जैसे पहले कभी नहीं: पूरी तरह से औपचारिक, दृश्य और नौगम्य।गणित का पेड़ गणित का एक पूरी तरह से औपचारिक ग्राफ डेटाबेस है जहां प्रत्येक प्रमेय, परिभाषा और समीकरण एक नोड है और उनके संबंध किनारे हैं।