Анотація. Запропоновано метод обчислення усіх коренів системи нелінійних рівнянь у багатовимірному інтервалі. Головна ідея методу полягає у розбитті вихідного інтервалу пошуку коренів на підінтервали, у кожному з яких або відсутні корені, або виконується критерій єдиності кореня, що базується на операторі Кравчика (Krawczyk). Наведено алгоритм, який виконує таке розбиття.

Ключові слова: система нелінійних рівнянь, локалізація коренів, оператор Кравчика.