INTLAB相关论文
可信计算是科学工程计算中的重要问题.而可信验证是其中一类基本问题.本文主要讨论非线性系统奇异解的可信验证与半实验点集的消逝......
利用区间分析理论,研究了矩阵方程AXB＋BXA=C对称解的可信验证.提出了一种算法,该算法输出一个近似对称解及其相应的可信误差界,使得......
传统的数学证明是用纸和笔来完成的,而随着计算机技术的发展,一些问题的数学证明已经可以利用计算机来完成.可信验证正是利用计算......
利用区间算法理论，讨论了一类矩阵算子方程解的可信验证。提出了一种算法，该算法输出算子方程的一个近似解及其相应的误差界，使得在近......
