Informatics Report Series



Related Pages

Report (by Number) Index
Report (by Date) Index
Author Index
Institute Index

Title:Using Animation in Diagrammatic Theorem Proving
Authors: Daniel Winterstein ; Alan Bundy ; Corin Gurr ; Mateja Jamnik
Date: 2002
Publication Title:Diagrams 2002
Diagrams have many uses in mathematics, one of the most ambitious of which is as a form of proof. The domain we consider is real analysis, where quantification issues are subtle but crucial. Com- puters offer new possibilities in diagrammatic reasoning, one of which is animation. Here we develop animated rules as a solution to problems of quantification. We show a simple application of this to constraint di- agrams, and also how it can deal with the more complex questions of quantification and generalisation in diagrams that use more specific rep- resentations. This allows us to tackle difficult theorems that previously could only be proved algebraically.
Links To Paper
1st Link
Bibtex format
author = { Daniel Winterstein and Alan Bundy and Corin Gurr and Mateja Jamnik },
title = {Using Animation in Diagrammatic Theorem Proving},
year = 2002,
url = {},

Home : Publications : Report 

Please mail <> with any changes or corrections.
Unless explicitly stated otherwise, all material is copyright The University of Edinburgh