Edinburgh Research Explorer

Dr. Doodle: A diagrammatic theorem prover

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Related Edinburgh Organisations

Open Access permissions

Open

Documents

http://link.springer.com/chapter/10.1007%2F978-3-540-25984-8_24
Original languageEnglish
Title of host publicationAutomated Reasoning
Subtitle of host publicationSecond International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004. Proceedings
EditorsDavid Basin, Michaël Rusinowitch
PublisherSpringer Berlin Heidelberg
Pages331-335
Number of pages5
ISBN (Electronic)978-3-540-25984-8
ISBN (Print)978-3-540-22345-0
DOIs
StatePublished - 2004

Publication series

NameLecture Notes in Computer Science
PublisherSpringer Berlin Heidelberg
Volume3097
ISSN (Print)0302-9743

Abstract

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.

Download statistics

No data available

ID: 15514834