Book of Abstracts (+ Pen Proceedings), SYMCOMP2017: 3rd ECCOMAS Thematic Conference on Numerical and Symbolic Computation: Developments and Applications