Paul Libbrecht
Deliverable, Vol. D26, 2006.
Carsten Ullrich; Eric Andres; Philipp Kärger; Erica Melis; Marianne Moormann
Report (Deliverable), LeActiveMath Consortium, LeActiveMath, Vol. D24, 2006.
Deliverable, Vol. D15, 2006.
Claus Zinn
In: M. Ikeda; K. Ashley (Hrsg.). Proceedings of Intelligent Tutoring Systems, 8th. International Conference, ITS-2006. International Conference on …
Philipp Kärger; Carsten Ullrich; Erica Melis
In: Kinshuk; Rob Kopers; Piet Kommers; Paul Kirschner; Demetrios G. Sampson; Wim Didderen (Hrsg.). Proceedings of the The 6th IEEE International …
Philipp Kärger
Mastersthesis, Universität des Saarlandes, 3/2006.
Erica Melis; Ruimen Shen; Jörg Siekmann; Carsten Ullrich; Fan Yang; Peng Han
In: Journal of Computer Science and Technology, 2006.
Paul Libbrecht; Christian Gross
In: Jon Borwein; William Farmer (Hrsg.). Proceedings of Mathematical Knowledge Management 2006. International Conference on Mathematical Knowledge …
S. Manzoor; Paul Libbrecht; Carsten Ullrich; Erica Melis
In: Michael Kohlhase (Hrsg.). Mathematical Knowledge Management: 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised …
Andreas Meier; Erica Melis
In: Michael Kohlhase (Hrsg.). Proceedings of the Fourth International Conference on Mathematical Knowledge Management (MKM2005). International …
