Publikation
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.