Numerical solving of symbolic systems of non-linear equations
