Mathematical knowledge management : 5th international conference, MKM 2006, Wokingham, UK, August 11-12, 2006 : proceedings - Borwein, Jonathan M.; Farmer, William Michael (Lecture notes in computer science, 2006)