Mathematical Knowledge Management : 5th International Conference, MKM 2006, Wokingham, UK, August 11-12, 2006, Proceedings - Jonathan M. Borwein, William M. Farmer ((Lecture Notes in Computer Science))