Mathematical knowledge management : 4th international conference, MKM 2005, Bremen, Germany, July 15-17, 2005 : revised selected papers - MKM 2005 (2005 : Bremen, Germany); Kohlhase, Michael, 1964- (Berlin : Springer, 2006)
Includes bibliographical references and index.
Keywords: Mathemcatics -- Data processing -- Congresses; Information storage and retrieval systems -- Mathematics -- Congresses; Automatic theorem proving -- Congresses