Abstract:

We studied the numerical method and verification for singular points of overdetermined nonlinear equations. And we proposed an algorithm on the basis of the bordered system and interval theory. It outputs an approximate solution and its error bound so as to make an exact solution exist within this computed bounds.

Key words: overdetermined nonlinear system, verified error bound, singular solution