Design automation requires reliable methods for solving the equations describing the performance of the engineering system. While progress has been made to provide good algorithms for polynomial systems, we propose new techniques for the solution of general nonlinear algebraic systems. Moreover, the interval arithmetic approach we have chosen also guarantees numerical reliability. In this thesi...
