## Hello!My research interests lie in the Formalisation of Mathematics in Theorem Provers. For an introduction to this field see my research page in Innsbruck. I focus on the following topics:- Locales: Isabelle's module system
- Formalisation of mathematics in logic
- Interfaces for reasoning components
## Downloads- Corpus of parametric linear equation systems.
- The theory of polynomials has become part of the standard distribution of Isabelle/HOL.
- Working with the repository version of Isabelle (only useful for developers).
- Slides and exercises for the Isabelle Tutorial at IJCAR 2004.
- Isabelle Tutorial at the Workshop on Formal Theorem Proving, Belgrade, Serbia.
## Events- AICA 2016: Industrial Applications of Computer Algebra, 21 June, Logroño, Spain.
- FOMUS: Workshop on the Foundation of Mathematics, 18 – 23 July, Bielefeld, Germany
(slides and exercises).
## TeachingLinks about my lectures and projects for students are available on a separate page (in German). |
## My address at work:Dr. Clemens BallarinInstitut für Informatik Technische Universität München Boltzmannstr. 3 85748 Garching, Germany Telephone: +49-89-289-17326 ## E-mail:ballarin at in tum de |

Copyright © 2001–2016 by Clemens Ballarin Last updated 19 July 2016