Intelligent Computer Mathematics 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011. Proceedings - Davenport, James H.; Farmer, William M.; Urban, Josef; Rabe, Florian (Springer Berlin Heidelberg : Imprint: Springer, 2011)