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)