Intelligent computer mathematics : 11th International Conference, AISC 2012 ; 19th Symposium, Calculemus 2012 ; 5th International Workshop, DML 2012 ; 11th International Conference, MKM 2012 ; Systems. ISBN 9783642313738. Published by Springer in 2012. Publication and catalogue information, links to buy online and reader comments.