Beweis
- Über 2.400 Übungen mit fast 200.000 Aufgaben
- Interaktive Eingaben, Lösungswege und Tipps
- Automatische Auswertungen und Korrektur
- Erkennung von Wissenslücken
Neue Sätze werden in der Mathematik auf der Grundlage bereits bekannter Sätze, vorhandener Axiome und logischen Schlussregeln hergeleitet. Eine solche Herleitung nennt man Beweis.