Dr.Doodle: A diagrammatic theorem prover

Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)

Volumn 3097, Issue , 2004, Pages 331-335

  Winterstein, Daniel ^a   Bundy, Alan ^a   Gurr, Corin ^a  

^a UNIVERSITY OF EDINBURGH   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTING; ALGEBRA; MATHEMATICAL MODELS; PROJECT MANAGEMENT; THEOREM PROVING; WORLD WIDE WEB; AUTOMATION; COMPUTATION THEORY;

DIAGRAMMATIC REASONING; DR.DOODLE SYSTEM; METRIC-SPACE ANALYSIS; THEOREM PROVER; ALGEBRAIC APPROACHES; ALGEBRAIC FORMALISMS; DIAGRAMMATIC REPRESENTATIONS; EDUCATIONAL TOOLS; INTERACTIVE THEOREM PROVER; NUMBER OF PEOPLES;

COMPUTER SYSTEMS; THEOREM PROVING;

EID: 9444245358     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-25984-8_24     Document Type: Conference Paper

References (9)

1. J.Barwise & J.Etchemendy "Heterogeneous Logic" in Diagrammatic Reasoning: Cognitive and Computational Perspectives, AAAI Press/MIT Press, 1995.
2. J.Flower & G.Stapleton "Automated Theorem Proving with Spider Diagrams" in Computing: the Australasian Theory Symposium (CATS), 2004.
3. M.Jamnik "Mathematical Reasoning with Diagrams" CSLI Press, 2001.
4. U.Kortenkamp & J.Richter-Gebert "The Next Version of Cinderella" in First International Congress Of Mathematical Software, World Scientific, 2002.
5. E.Maxwell "Fallacies in Mathematics" Cambridge University Press, 1959.
6. J.Oberlander, R. Cox & K.Stenning "Proof styles in multimodal reasoning" in Logic, Language and Computation, CSLI Press, 1996.
7. A.Shimojima "Operational Constraints in Diagrammatic Reasoning" in Logical Reasoning with Diagrams, OUP, 1996.
8. D.Winterstein, A.Bundy, C.Gurr & M.Jamnik "Using Animation in Diagrammatic Theorem Proving" in Diagrams 2002, Springer-Verlag, 2002.
9. D.Winterstein, A.Bundy, C.Gurr & M.Jamnik "An Experimental Comparison of Diagrammatic and Algebraic Logics" in Diagrams 2004, Springer-Verlag, 2004.