解非线性方程组的区间松弛法

之下,得到了方程组(1.1)在X~(0)中有唯一解以及算法点收敛的重要结果。(1.3)就是著名的Moore存在性检验。[2]讨论了Krawczyk-Moore算法的一个变形程序,而且在条件