SYMCOMP 2019 – 4th International Conference on Numerical and Symbolic Computation: Developments and Applications