Intelligent Computer Mathematics 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings - Geuvers, Herman. editor; England, Matthew. editor; Hasan, Osman. editor; Rabe, Florian. editor; Teschke, Olaf. editor (Springer International Publishing, 2017)