A Comparison of the Moore and Miranda Existence Tests

  title={A Comparison of the Moore and Miranda Existence Tests},
  author={Andreas Frommer and Bruno Lang and Marco Schnurr},
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. 

From This Paper

Topics from this paper.
12 Citations
9 References
Similar Papers


Publications referenced by this paper.
Showing 1-9 of 9 references

Miranda’s theorem and the verification of linear complementarity problems

  • G. Alefeld, Z. Shen
  • Technical report, Institut für…
  • 2001
1 Excerpt

On the existence theorems of Kantorovich, Moore and Miranda

  • G. Alefeld, F. Potra, Z. Shen
  • Computing [Suppl
  • 2001
1 Excerpt

Topics in numerical analysis with special emphasis on nonlinear problems

  • G. Alefeld, F. Potra, Z. Shen, X. Chen
  • Computing [ Suppl
  • 2001

Rigorous global search: continuous problems

  • R. B. Kearfott
  • Dordrecht: Kluwer Academic Publishers
  • 1996
1 Excerpt

Introduction to interval computation

  • G. Alefeld, J. Herzberger
  • Academic Press
  • 1983
1 Excerpt

A simple test for accuracy of approximate solutions to nonlinear (or linear) systems

  • R. E. Moore, J. B. Kioustelidis
  • SIAM J. Numer. Anal. 17,
  • 1980
2 Excerpts

A test for existence of solutions to nonlinear systems

  • R. E. Moore
  • SIAM J. Numer. Anal. 14,
  • 1977
1 Excerpt

Un’ osservazione su un teorema

  • C. Miranda
  • 1940
1 Excerpt

Similar Papers

Loading similar papers…