摘要
利用区间算法理论,讨论了一类矩阵算子方程解的可信验证.提出了一种算法,该算法输出算子方程的一个近似解及其相应的误差界,使得在近似解的误差范围内必定存在一个精确解.
Based on the interval theory,the verification for a solution of matrix operator equation is studied. We propose the algorithm which outputs an approximate solution and its error bound with the property that an exact solution exists within computed bounds.
出处
《北华大学学报（自然科学版）》
CAS
2015年第4期431-434,共4页
Journal of Beihua University（Natural Science）
基金
吉林省教育厅科学技术研究项目(2014213
2015131
2015156)
