SysteMaThEx

The SysteMaThEx project is supported by the European Commission's Marie Curie Actions Programme : European Reintegration Grants, Project No. MERG-CT-2004-012718

The project aims at providing major case studies of computer-supported systematic theory exploration, using a model for theory exploration recently proposed by prof. Bruno Buchberger.

Two major case studies were proposed for this project:

• exploration of the theory of tuples and similar theories (strings, sets, bags, trees),
• exploration of the theory of Groebner Bases.

While working on the project, it became clear that we should also carry out another case study, the natural numbers. This theory is a prerequisite of both the case studies proposed for this project.
The case studies are carried out using the Theorema system, see http://www.theorema.org .