A comparison of the existence theorems of Kantorovich and Moore. (English) Zbl 0441.65037
MSC:
65H10 | Numerical computation of solutions to systems of equations |
65G30 | Interval and finite arithmetic |
65H10 | Numerical computation of solutions to systems of equations |
65G30 | Interval and finite arithmetic |