Интервальный анализ

и его приложения

23:03    Четверг    28 Март 2024

Интервальные методы для доказательного решения уравнений и систем уравнений

J.W. Demmel, F. Krükeberg
An interval algorithm for solving systems of linear equations to prespecified accuracy // Computing. – 1985. – Vol. 34. – P. 117-129.

A. Frommer, F. Hoxha, B. Lang
Proving the existence of zeros using the topological degree and interval arithmetic // Journal of Computational and Applied Mathematics. – 2007. – Vol. 199. – P. 397-402.

E. Kaucher, S.M. Rump
E-methods for fixed point equations f(x) = x // Computing. – 1982. – Vol. 28. – P. 31-42.

L.V. Kolev
An improved interval linearization for solving nonlinear problems // Numerical Algorithms. – 2004. – Vol. 37. – P. 213-224.

R. Krawczyk
A class of interval Newton-operators // Computing. – 1986. – Vol. 37. – P. 179-183.

R.E. Moore
Bounding sets in function spaces with applications to nonlinear operator equations // SIAM Review. – 1978. – Vol. 20, No. 3. – P. 492-512.

S.P. Shary
Krawczyk operator revised // Proceedings of International Conference on Computational Mathematics ICCM-2004. Workshops / Eds.: Yu.I. Shokin, A.M. Fedotov, S.P. Kovalyov, Yu.I. Molorodov, A.L. Semenov, S.P. Shary. – Novosibirsk: ICM&MG Publisher, 2004. – P. 307-313.