Publications

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.

Paul Libbrecht

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 Intelligent Tutoring Systems (ITS), Pages 349-359, Lecture Notes in Computer Science, Vol. LNCS 4053, Springer-Verlag, 6/2006.

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 Conference on Advanced Learning Technologies. IEEE International Conference on Advanced Learning Technologies (ICALT), Pages 845-846, IEEE Computer Society, 7/2006.

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 Management (MKM), LNAI, No. 4108, Springer Verlag, 8/2006.

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 Selected Papers. International Conference on Mathematical Knowledge Management (MKM), Heidelberg, Pages 33-48, LNCS, Vol. 3863, Springer, 2006.

Andreas Meier; Erica Melis

In: Michael Kohlhase (Hrsg.). Proceedings of the Fourth International Conference on Mathematical Knowledge Management (MKM2005). International Conference on Mathematical Knowledge Management (MKM), Bremen, Pages 143-158, LNAI, Vol. 3863, Springer Verlag, Berlin, Germany, 2006.