In: A. Asperti; B. Buchberger; J. H. Davenport (Hrsg.). Proceedings of Second International Conference on Mathematical Knowledge Management. International Conference on Mathematical Knowledge Management (MKM-2003), February 16-18, Bertinoro, Italy, Pages 80-92, Lecture Notes in Computer Science (LNCS), Vol. 2594, ISBN 0302-9743 (Print) 1611-3349 (Online), Springer-Verlag, 2003.