Title: Symbolic and numerical techniques for the solution of large systems of nonlinear algebraic equations