Mathematical Knowledge Management 5th International Conference, MKM 2006, Wokingham, UK, August 11-12, 2006. Proceedings - Borwein, Jonathan M.; Farmer, William M. (Springer Berlin Heidelberg, 2006)