Conferences on Intelligent Computer Mathematics - Birmingham 2008
CICM '08

Doctoral Programme

Birmingham, UK, 29-31 July 2008

Steven Kieffer: Automatic Diagram Generation for Mathematics e-Learning

Students of mathematics will greatly benefit from a system that takes a mathematical assertion as input, and automatically generates a diagram representing the meaning of that assertion. This will be especially useful as a tool in a proof browser, where users can select any assertion occurring in a proof, and obtain an automatic illustration. This will help to make complex subjects such as algebraic number theory, or homological algebra, more comprehensible. I discuss initial work, and future plans, toward such a system.