Research Seminar Theorema

326.037 - Automatic Reasoning in Natural Style I - Winter Semester 2008

326.098 - Automatic Reasoning in Natural Style II - Sommer Semester 2009

This is the seminar of the research group Theorema and is open to all students who are interested in learning about this research group and about this system, in particular the students who are considering the possibility of realizing their Bachelor thesis, their Master thesis, or their PhD thesis in the frame of the Theorema group.

Overview papers about the Theorema system:

• ISSAC 1997,
• Calculemus 2000,
• JAL 2006,

Theorema home page: www.theorema.org