Combined Symbolic And Numerical Methods For Solving Equational Systems