Merlin Carl:
Diproche – Entwurf, Umsetzung und Erprobung eines automatischen Systems zur Unterstützung des Beweisenlernens bei StudienanfängerInnen.
Merlin Carl (2020):
Number Theory and Axiomatic Geometry in the Diproche System.
Electronic Proceedings in Theoretical Computer Science 328,
pp. 56–78,
doi:10.4204/eptcs.328.4.
Gary Chartrand (2018):
Mathematical proofs : a transition to advanced mathematics.
Pearson,
New York, NY.
Marcos Cramer:
Proof-checking mathematical texts in controlled natural language.
Juan Pablo Mejía-Ramos, Kristen Lew, Jimmy de la Torre & Keith Weber (2017):
Developing and validating proof comprehension tests in undergraduate mathematics.
Research in Mathematics Education 19(2),
pp. 130–146,
doi:10.1080/14794802.2017.1325776.
K. Monks N. Carter:
Using the Proof-Checking Word Processor Lurch to Teach Proof-Writing.
K. Monks N. Carter:
A Word Processor that Can GradeStudent's Proofs.
In: Workshops and Work in Progress at CICM.
Merlin Carl und Regula Krapf:
Das Diproche-System – ein automatisierter Tutor für den Einstieg ins Beweisen.
B. Schröder:
Die kleinen Welten mathematischer Beweise.
eptcs@eptcs.org