A comparison of the Moore and Miranda existence tests
The authors discuss two computational methods for the existence of a zero of a nonlinear system, which are based on a fixed-point theorem by Moore and an existence theorem by Miranda, respectively. Some conditions under which both methods are equivalent are indicated, too.
scientific article; zbMATH DE number 2111494