Deakstadieđáhus: Intelligent computer mathematics : 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011 ; proceedings / James H. Davenport [and others] (eds.).