北华大学学报（自然科学版）Issue(4)：431-434,4.DOI:10.11713/j.issn.1009-4822.2015.04.003
一类矩阵算子方程解的可信验证算法
Verified Algorithm for a Solution of Matrix Operator Equation
摘要
Abstract
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.关键词
可信误差界/算子方程/INTLABKey words
verified error bound/operator equation/INTLAB分类
数理科学引用本文复制引用
桑海风,李敏,刘畔畔,李庆春..一类矩阵算子方程解的可信验证算法[J].北华大学学报（自然科学版）,2015,(4):431-434,4.基金项目
吉林省教育厅科学技术研究项目(2014213,2015131,2015156) （2014213,2015131,2015156）
