Dr.Doodle: A diagrammatic theorem prover. 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.
Keywords for this software
References in zbMATH (referenced in 7 articles )
Showing results 1 to 7 of 7.
- Raggi, Daniel; Stockdill, Aaron; Jamnik, Mateja; Garcia Garcia, Grecia; Sutherland, Holly E. A.; Cheng, Peter C.-H.: Inspection and selection of representations (2019)
- Urbas, Matej; Jamnik, Mateja: Heterogeneous proofs: spider diagrams meet higher-order provers (2011)
- Arkoudas, Konstantine; Bringsjord, Selmer: Vivid: a framework for heterogeneous problem solving (2009)
- Howse, John; Stapleton, Gem: Visual mathematics: Diagrammatic formalization and proof (2008)
- Narboux, Julien: A graphical user interface for formal proofs in geometry (2007)
- Stapleton, Gem; Masthoff, Judith; Flower, Jean; Fish, Andrew; Southern, Jane: Automated theorem proving in Euler diagram systems (2007)
- Winterstein, Daniel; Bundy, Alan; Gurr, Corin: Dr.Doodle: A diagrammatic theorem prover (2004)