Garnelo, IreneLiebendörfer, Michael2025-11-172025-11-172025http://hdl.handle.net/2003/4420710.17877/DE290R-25975Interaktive Theorembeweiser bieten vielversprechende Unterstützung beim Erwerb von Beweisfähigkeiten im Übergang von der Schule zur Hochschule. Bevor sie jedoch effektiv als Lernwerkzeuge genutzt werden können, müssen Studierende lernen mit ihnen umzugehen. In unserem Beitrag stellen wir ein Designprinzip für Lernumgebungen, die Theorembeweiser integrieren, vor, das aus Theorie in der Informatikdidaktik und empirischen Befunden hergeleitet wird und präsentieren eine Anwendung davon.deGesellschaft für Didaktik der MathematikBeiträge zum Mathematikunterricht; 58Argumentieren und BeweisenÜbergang Schule HochschuleHochschuleLernumgebungenUmgang mit Medien und WerkzeugenDigitalisierung510ConferencePaper