Mit der „Erkenntnisfördernde Datenbank zur Beispielerfassung und -entwicklung“ kannst du Definitionen nachschlagen und mathematische Objekte mit bestimmten Eigenschaften finden. Hat ErDBeere ein entsprechendes Objekt gefunden, stellt sie Erklärungen (Texte oder Videos) bereit, damit du nachvollziehen kannst, warum ein Objekt eine bestimmte Eigenschaft besitzt. Falls es das gesuchte Objekt nicht geben kann, erkennt ErDBeere dies und liefert dir einen computergenerierten Beweise dafür. Manchmal hat ErDBeere auch überhaupt keine Ahnung und steht dann auch dazu.
Letzte Aktualisierung: April 2020
MaMpf-Blog 