Intelligent Computer Mathematics 18th Symposium, Calculemus 2011 and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011, Proceedings / - Davenport, James Harold (Springer, 2011)