Intelligent Computer Mathematics International Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings - Watt, Stephen M.; Davenport, James H.; Sexton, Alan P.; Sojka, Petr; Urban, Josef (Springer International Publishing : Imprint: Springer, 2014)