Mathematical knowledge management : 5th international conference, MKM 2006, Wokingham, UK, August 11-12, 2006 : proceedings - MKM 2006 (2006 : Wokingham, England); Borwein, Jonathan M.; Farmer, William Michael (Berlin ; New York : Springer, 2006)
Includes bibliographical references and index.
Keywords: Mathematics -- Data processing -- Congresses; Information storage and retrieval systems -- Mathematics -- Congresses; Automatic theorem proving -- Congresses