塔伊贝·哈奇里;马哈茂德·莫赫塞尼·莫加达姆;阿齐姆·里瓦兹 区间连续代数Riccati方程的统一稳定解集及其外部估计的数值计算得到了验证。 （英语） Zbl 1424.65051号 土耳其语。数学杂志。 42，第3期，1130-1155（2018）.MSC公司：65英尺30英寸 15A24号 65G30型 PDF格式BibTeX公司 XML格式引用 \textit{T.Haqiri}等人，土耳其数学杂志。42，第3号，1130--1155（2018；Zbl 1424.65051） 全文： 内政部
塔伊贝·哈奇里;费德里科·波洛尼 连续时间代数Riccati方程稳定解的验证方法。 （英语） 兹比尔1353.65034 J.计算。申请。数学。 313, 515-535 (2017).MSC公司：65英尺30英寸 15A24号 65层10 65G20个 65G30型 PDF格式BibTeX公司 XML格式引用 \textit{T.Haqiri}和\textit{F.Poloni}，J.Compute。申请。数学。313515--535（2017；Zbl 1353.65034） 全文： 内政部 arXiv公司
安德烈亚斯·弗洛默;贝纳姆·哈希米;托马斯·萨布利克 计算矩阵的逆平方根和符号函数的封闭。 （英语） 兹比尔1293.65071 线性代数应用。 456, 199-213 (2014).MSC公司：65英尺30英寸 15A24号 65G30型 65G20个 PDF格式BibTeX公司 XML格式引用 \textit｛A.Frommer｝等人，《线性代数应用》。456199-213（2014；Zbl 1293.65071） 全文： 内政部
安德烈亚斯·弗洛默;贝纳姆·哈希米 使用李亚普诺夫矩阵方程验证了稳定性分析。 （英语） Zbl 1288.65058号 ETNA，电子。事务处理。数字。分析。 40, 187-203 (2013).MSC公司：65英尺30英寸 15A24号 65G30型 PDF格式BibTeX公司 XML格式引用 \textit{A.Frommer}和\textit{B.Hashemi}，ETNA，Electron。事务处理。数字。分析。40、187--203（2013；Zbl 1288.65058） 全文： EMIS公司
安德烈亚斯·弗洛默;贝纳姆·哈希米 验证了Sylvester矩阵方程解的误差界。 （英语） Zbl 1236.65045号 线性代数应用。 436，第2期，405-420（2012）. 审核人：君士坦丁·波帕（Constanţa） MSC公司：65英尺30英寸 15A24号 65平方英尺 65G20个 65G30型 PDF格式BibTeX公司 XML格式引用 \textit{A.Frommer}和\textit{B.Hashemi}，线性代数应用。436，第2号，405--420（2012；Zbl 1236.65045） 全文： 内政部
沃里克·塔克 验证的数字。严格计算的简短介绍。 （英语） Zbl 1231.65077号 新泽西州普林斯顿：普林斯顿大学出版社（ISBN 978-0-691-14781-9/hbk；978-1-400-83897-4/电子书）。xii，138页。(2011). 审核人：Günter Mayer（罗斯托克） MSC公司：65G20个 65G30型 65G40型 65-02年 第26页第25页 PDF格式BibTeX公司 XML格式引用 \textit{W.Tucker}，验证数字。严格计算的简短介绍。新泽西州普林斯顿：普林斯顿大学出版社（2011；Zbl 1231.65077）
安德烈亚斯·弗洛默;哈希米，贝南 验证了矩阵平方根的计算。 （英语） Zbl 1194.65069号 SIAM J.矩阵分析。申请。 31（2009），第3期，1279-1302（2010）.MSC公司：65层60 15A24号 65G20个 65G30型 PDF格式BibTeX公司 XML格式引用 \textit{A.Frommer}和\textit{B.Hashemi}，SIAM J.矩阵分析。申请。31，第3号，1279--1302（2010；Zbl 1194.65069） 全文： 内政部
中山由介;铁雄西市;小西，神道;马丁·克劳斯 一类双管电路方程五种解的数值存在性证明。 （英语） Zbl 1191.94155号 日本J.Ind.Appl。数学。 26，编号2-3，327-336（2009）.MSC公司：94C05（二氧化碳） PDF格式BibTeX公司 XML格式引用 \textit{Y.Nakaya}等人，日本J.Ind.Appl。数学。26，编号2--3，327--336（2009；Zbl 1191.94155） 全文： 内政部 欧几里得
斯蒂芬妮娅·科尔萨洛;玛丽诺，玛丽娜 区间线性系统：最新技术。 （英语） Zbl 1115.65032号 计算。斯达。 21，第2期，365-383（2006）. 审核人：R.E.Maiboroda（基辅） MSC公司：65平方英尺 65层10 65G30型 PDF格式BibTeX公司 XML格式引用 \textit｛S.Corsalo｝和\textit｛M.Marino｝，计算机。Stat.21，No.2，365-383（2006；Zbl 1115.65032） 全文： 内政部
中山由介;小西，神道 使用具有保证精度的线性规划来寻找非线性方程组的所有解。 （英语） Zbl 0974.65048号 加州大学洛杉矶分校 4，第2期，171-177（1998）.MSC公司：65H10型 65G30型 82D60型 90C08型 PDF格式BibTeX公司 XML格式引用 \textit{Y.Nakaya}和\textit{S.Oishi}，J.UCS 4，第2期，171--177（1998；Zbl 0974.65048） 全文： 链接
西姆西克，L。;林茨，P。 基于边界的区间牛顿法。 （英语） Zbl 0829.65070号 间隔计算。 1993年，第4期，89-99（1993）.MSC公司：65H10型 65G30型 PDF格式BibTeX公司 XML格式引用 \textit{L.Simcik}和\textit{P.Linz}，间隔计算。1993年，第4号，第89--99号（1993年；Zbl 0829.65070）
阿诺德·诺伊梅尔 方程组的区间方法。 （英语） Zbl 0715.65030号 数学及其应用百科全书, 37. 剑桥等：剑桥大学出版社。xvi，255页£35.00；$59.50 (1990). 审核人：H.Ratschek公司 MSC公司：65G30型 65-02年 65平方英尺 65层10 65H10型 PDF格式BibTeX公司 XML格式引用 \textit{A.Neumaier}，方程组的区间方法。剑桥等：剑桥大学出版社（1990；Zbl 0715.65030） 全文： 内政部