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