Mathematical knowledge management : 5th international conference, MKM 2006, Wokingham, UK, August 11-12, 2006 : proceedings - Borwein, Jonathan M. (Springer, 2006)