SYMCOMP 2025 7th International Conference on Numerical and Symbolic Computation Developments and Applications