利用区间算法及边界矩阵理论,研究非线性方程组重根的可信性验证方法.提出一种可信验证算法,该算法输出一个近似解及其相应的误差界,使得在近似解的误差界范围内必存在一个精确解.
We studied the verifying metho of the interval algorithm and bordered approximate solution and its error bound bounds. ds of the multiple roots of nonlinear system, proposing the verifying al equations gorithm, are output so as to get an exact solution within with the help by which an the computed