Mathematical knowledge management : 4th international conference, MKM 2005, Bremen, Germany, July 15-17, 2005 : revised selected papers - Kohlhase, Michael, 1964- (Lecture notes in computer science, 2006)