PROTOTYPES
- Omega/CORE
- The NEW proof assistance system based on CORE
- Plato
- Mediator between Text-Editors and Proof Assistants
- Scunak
- Encoding formal mathematics in dependently typed set theory
- MathServe
- Integrating reasoning systems as web services
News
- iMath - 1st Experiment 06.02.2008
- The first explorative study in math eduction is completed.
Welcome to the
Omega Group
of Arbeitsgruppe Siekmann
The OMEGA group of Prof. Jörg Siekmann is affiliated with the Saarland University, Saarbrücken and the German Research Center for Artificial Intelligence (DFKI).
Our research interests concentrate on the development of tools for mathematical theorem proving and maths education. A central aspect of our work is to employ artificial intelligence techniques to the field of interactive/automated theorem proving and maths education.
We cooperate with Jörg Siekmann's other subgroups working on Multi-Agent Systems, Formal Methods and most recently eLearning.
We are furthermore affiliated with the Collaborative Research Center "Resource-adaptive Cognitive Processes" (SFB 378) and coordinate the EU Calculemus Network.