A comparison of the Moore and Miranda existence tests
We compare two computational tests for the existence of a zero of a nonlinear system. One of the tests is based on a theorem by Moore, the other relies on Miranda's theorem. It turns out that the Miranda test is always at least as powerful as the Moore test. We also indicate some conditions under which both tests are equivalent.
nonlinear systems moore's theorem miranda's existence theorem computational verification interval analysis