Intelligent Computer Mathematics 11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, Proceedings - Rabe, Florian; Rabe, Florian; Farmer, William M.; Farmer, William M.; Passmore, Grant O.; Passmore, Grant O.; Youssef, Abdou; Youssef, Abdou (Springer International Publishing : Imprint: Springer, 2018)