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

The Krawczyk and the Hansen-Sengupta interval operators are closely related to the interval Newton operator. These interval operators can be used as existence tests to prove existence of solutions for systems of equations. It is well known that the Krawczyk operator existence test is less powerful that the Hansen-Sengupta operator existence test, the latter being less powerful than the interval Newton operator existence test. In 2004, Frommer et al. proposed an existence test based on the Poincar´e-Miranda theorem and proved that it is more powerful than the Krawczyk existence test. In this paper, we complete the classification of these four existence tests showing that, in practice, the Hansen-Sengupta existence test is actually more powerful than the existence test proposed by Frommer et al. AMS Subject Classifications: 65H10, 65G20, 65G40.

• Type: Journal
• Year: 2007
• Where: COMPUTING
• Authors: Alexandre Goldsztejn
• Keywords: COMPUTING 2007, Existence Test, Operator, Operator Existence Test