Skip to main content
PRL Project

The Calculemus Autumn School

by Christoph Kreitz, Sabina Petride, Matthew Fluet

The Calculemus Autumn School in September/October 2002 brought together a number of experts from the research field of Computer Algebra and Deduction Systems to train young researchers, high school teachers, and representatives from industry on the state-of-the-art research and current systems in this field.

We will talk about some of the systems presented at the School in detail and discuss some of the issues that symbolic reasoning systems may have to address in the coming years.


Overview - Christoph Kreitz
Theorem proving and planning - Matthew Fluet
Approaches on integration - Sabina Petrides