Comparison of the Hansen-Sengupta and the Frommer-Lang-Schnurr existence tests

Computing (Vienna/New York)

Volumn 79, Issue 1, 2007, Pages 53-60

  Goldsztejn, A ^a,b  

^a University of California ^*

^b UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

Existence test; Interval analysis; Nonlinear systems of equations

Indexed keywords

EXISTENCE TESTS; INTERVAL ANALYSIS; MIRANDA THEOREM; NONLINEAR SYSTEMS OF EQUATIONS;

COMPUTATIONAL METHODS; NONLINEAR EQUATIONS; PROBLEM SOLVING; THEOREM PROVING;

MATHEMATICAL OPERATORS;

EID: 33847239152     PISSN: 0010485X     EISSN: None     Source Type: Journal    
DOI: 10.1007/s00607-006-0217-8     Document Type: Article

References (11)

1. Alefeld, G., Frommer, A., Heindel, G., Mayer, J.: On the existence theorems of Kantorovich, Miranda and Borsuk. Electronic Trans. Numer. Anal. 17, 102-111 (2004).
2. Alefeld, G., Potra, F. A., Shen, Z.: On the existence theorems of Kantorovich, Moore and Miranda. In: Topics in Numerical Analysis with Special Emphasis on Nonlinear Problems (Alefeld, G., Chen, X., eds.), pp. 21-28. Computing Suppl. 2001.
3. Frommer, A., Lang, B., Schnurr, M.: A comparison of the Moore and Miranda existence tests. Computing 72, 349-354 (2004).
4. Hayes, B.: A lucid interval. American Scientist 91(6), 484-488 (2003).
5. Kearfott, R. B.: Interval computations: Introduction, uses, and resources. Euromath Bull. 2(1), 95-112 (1996).
6. Miranda, C.: Un' osservazione su un teorema di Brouwer. Bolletino Unione Mathematica Italiana 2(3), 5-7 (1940).
7. Moore, R. E., Kioustelidis, J.: A simple test for accuracy of approximate solutions to nonlinear (or linear) systems, SIAM J. Numer. Anal. 17(4), 521-529 (1980).
8. Neumaier, A.: Interval methods for systems of equations. Cambridge: Cambridge University Press 1990.
9. Neumaier, A.: A simple derivation of the Hansen-Bliek-Rohn-Ning-Kearfott enclosure for linear interval equations. Reliab. Comp. 5, 131-136 (1999).
10. Poincaré, H.: Sur certaines solutions particulières du problème des trois corps. Comptes rendus de l'Académie des sciences 97, 251-252 (1883).
11. Schnurr, M.: On the proofs of some statements concerning the theorems of Kantorovich, Moore and Miranda. Reliab. Comp. 11, 77-85 (2005).