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)