通过线性互补问题(LCP)的一个等价系统--Pang函数的区间斜率的构造,得到了LCP问题的Krawczyk区间算子的迭代算法,证明了该算法是可......

本文提出了一种新的方法解线性互补问题．首先我们用n-维长方体表示一类线性互补问题解的范围，然后利用Krawczyk区间算子，找到了它的唯......

阐述了一类椭圆型方程边值问题的解法,利用变分不等方程将其化为线性互补问题作为算法基础,并构造了改进的Krawczyk区间算子的迭代......

讨论了一般的直交非线性互补问题（VNCP）：f（x）≥0，g（x）≥0，f^T（x）g（x）=0．构造了一种改进的Krawczyk区间算子，给出了求解VNCP问题的区间算法．该算法可......

在本文中,我们使用了Krawczyk-like区间算子和Gauss-Seidel区间算子方法解非线性互补问题.这是Krawczyk区间算子的又一次应用.......

传统的数学证明是用纸和笔来完成的,而随着计算机技术的发展,一些问题的数学证明已经可以利用计算机来完成.可信验证正是利用计算......