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