Proceedings of the 10th ASIC and 9th MKM international conference, and 17th Calculemus conference on Intelligent computer mathematics - Autexier, Serge (Springer Berlin Heidelberg, 2010)