** Next:** Implementation
** Up:** Moore theorem
** Previous:** Moore theorem
** Contents**

Let a system of equations in unknowns
each being at least . Let be a range vector for
, a point inside and an
arbitrary nonsingular real matrix. Let define as:

and let be the norm of the matrix
.
If

then there is a unique solution [16] of in .
This unique solution can be found using Krawczyk solving method (see
section 2.10).

Jean-Pierre Merlet
2012-12-20