Welcome to ActiveMath-EU
ActiveMath-EU is a project to disseminate the results of LeActiveMath EU project.
In these pages you find information about the system, about content for it, about activities about it.
Contact information
Prof. Jörg Siekmann
FB Informatik, Im Stadtwald, 66041 Saarbrücken