Interoperable interactive geometry for Europe
I forgot my login data

Report a bug

Fan club

Quick Intro Videos
click to start movie
Create A Simple
GeoGebra Resource (25Mb)
click to start movie
Filing a review
click to start movie
Find a Resource

This platform is brought to you by the intergeo project, funded under the eContent Plus programme of the European commission and by partners



DFKI - German Research Center for Artificial Intelligence


Saarbrücken, GER – Germany



Paul Libbrecht



Michael Dietrich



Martin Homik



Marion Leistenschneider (at UMP2)



Henri Lesourd (at UMP2)



The ActiveMath group at the DFKI and University of Saarland is one of the pre-eminent groups working in technology-enhanced mathematics learning. The ActiveMath system provides student modelling, user-adaptivity of content choice and presentation, adaptive learning suggestions, and interactive exercises with back-engines (such as CASs). Its basic knowledge representation is the semantic XML language for mathematics OMDOC / OPENMATH with extensions for metadata based on LOM for pedagogical purposes and with extensions for the exercises. The latter extensions have inspired both the MathQTI (101) and QTI 2 (55) specifications. Using such semantic encoding the ActiveMath learning environment has pioneered an integrated and learner-friendly environment where mathematical objects can be searched for, can be copied-and-pasted, and are rendered to contemporary browsers with the high quality a mathematician expects with interactive value added support.

The DFKI is proud to host the OPENMATH website.

Erica Melis is a principal researcher at the German Research Center for Artificial Intelligence (DFKI) and associate professor at Saarland University, Computer Science Dept. She leads the ActiveMath Group, and is principal researcher of several national and international projects. She coordinates the FP6 EU-project LeActiveMath. Erica Melis received her PhD from Humboldt-University, Berlin and was a research fellow at Carnegie Mellon University, School of Computer Science (Pittsburgh, USA) and at University of Edinburgh, Department of Artificial Intelligence (UK). Her scientific background is mathematics and Artificial Intelligence. She investigated computational analogy/case-based reasoning for theorem proving and pioneered automated knowledge-based proof planning before she has focused research on intelligent tutoring systems. Her current research interests include knowledge representation, adaptive systems, user modelling, support of meta-reasoning, mixed-initiative proof planning, and interdisciplinary work with cognitive psychologists. She is a member of numerous conference committees and regularly presents results at high-quality international scientific conferences.

Paul Libbrecht is researcher at the DFKI. He has lead early development of the ActiveMath learning environment and supports now the authors in their content creation.

After a mathematical education in the Université de Lausanne (Switzerland) and the Université du Québec À Montréal, he is concluding a PhD at the University of Saarland.

Paul Libbrecht is a member of the OPENMATH society and of the Math Working Group at the World Wide Web Consortium and is active in several forums. He has published in numerous conferences in technology enhanced learning as well mathematical knowledge management. He is the organizer of an international workshop on Mathematical User Interfaces. His current research revolves on support for authoring knowledge for adaptivity and semantic mathematical documents, as well as the paradigms to search and transfer semantic mathematical content on the web.