Fining and verifying all solutions of a system of nonlinear equations

摘要

Interval arithmetic is an arithmetic that operates on intervals rather than point values. It can be used to find and verify all solutions of a system of nonlinear equations over a specified region. An algorithm that locates the solutions and verifies their uniqueness is discussed. A number of examples are solved using a new, user friendly interval arithmetic software package.