TY - GEN
T1 - Dr. Doodle: A diagrammatic theorem prover
AU - Winterstein, Daniel
AU - Bundy, Alan
AU - Gurr, Corin
PY - 2004
Y1 - 2004
N2 - This paper presents the Dr.Doodle system, an interactive theorem prover that uses diagrammatic representations. The assumption underlying this project is that, for some domains (principally geometry), diagrammatic reasoning is easier to understand than conventional algebraic approaches – at least for a significant number of people. The Dr.Doodle system was developed for the domain of metric-space analysis (a geometric domain, but traditionally taught using a dry algebraic formalism). Pilot experiments were conducted to evaluate its potential as the basis of an educational tool, with encouraging results.
AB - This paper presents the Dr.Doodle system, an interactive theorem prover that uses diagrammatic representations. The assumption underlying this project is that, for some domains (principally geometry), diagrammatic reasoning is easier to understand than conventional algebraic approaches – at least for a significant number of people. The Dr.Doodle system was developed for the domain of metric-space analysis (a geometric domain, but traditionally taught using a dry algebraic formalism). Pilot experiments were conducted to evaluate its potential as the basis of an educational tool, with encouraging results.
U2 - 10.1007/978-3-540-25984-8_24
DO - 10.1007/978-3-540-25984-8_24
M3 - Conference contribution
SN - 978-3-540-22345-0
T3 - Lecture Notes in Computer Science
SP - 331
EP - 335
BT - Automated Reasoning
A2 - Basin, David
A2 - Rusinowitch, Michaël
PB - Springer Berlin Heidelberg
ER -