You are about to access our book library "Mathematical Knowledge Management: 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers (Lecture Notes in Computer Science, 3863) full version" .