Intelligent Computer Mathematics 16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Held as Part of CICM 2009, Grand Bend, Canada, July 6-12, 2009. Proceedings - Carette, Jacques; Dixon, Lucas; Coen, Claudio Sacerdoti; Watt, Stephen M. (Springer Berlin Heidelberg : Imprint: Springer, 2009)