Jonathan M. Borwein William M. Farmer Mathematical Knowledge Management, 5th International Conference, MKM 2006, Wokingham, UK, August 11-12, 2006, Proceedings MKM Lecture Notes in Computer Science 4108 Springer 2006 3-540-37104-4 db/conf/mkm/mkm2006.html