艾琳·卡森;约格·列森;兹登·斯特拉科什 通过示例了解CG和GMRES。 (英语) Zbl 07842029号 线性代数应用。 692, 241-291 (2024).MSC公司:65英尺10英寸 65F08个 65层35 PDF格式BibTeX公司 XML格式引用 \textit{E.Carson}等人,《线性代数应用》。692、241--291(2024;Zbl 07842029) 全文: 内政部 arXiv公司
张凤霞;魏穆生;李莹;赵建丽 部分旋转四元数LU分解的前舍入误差分析。 (英语) Zbl 07829538号 数字。算法 96,第1号,267-288(2024).MSC公司:2015财年65 15B33型 PDF格式BibTeX公司 XML格式引用 \textit{F.Zhang}等人,数字。算法96,No.1,267--288(2024;Zbl 07829538) 全文: 内政部
亚历山大·马利舍夫;米卢德·萨德坎 关于线性时滞系统的稳定半径。 (英语) Zbl 07807775号 比特币 64,第1号,第5号论文,24页(2024年).MSC公司:34K06号 34千20 41A21号机组 65英尺15英寸 65克50 PDF格式BibTeX公司 XML格式引用 \textit{A.Malyshev}和\textit{M.Sadkane},BIT 64,第1号,论文编号5,24页(2024;Zbl 07807775) 全文: 内政部
帕特里克·艾默斯泰;阿尔弗雷多·布塔里;尼古拉斯·海厄姆。;L’Excellent,让-伊夫;西奥·玛丽;巴斯蒂安·维埃布勒 基于五精度GMRES的迭代求精。 (英语) Zbl 07805911号 SIAM J.矩阵分析。申请。 45,第1号,529-552(2024).MSC公司:65克50 65平方英尺 65F08个 65层50 65层10 PDF格式BibTeX公司 XML格式引用 \textit{P.Amestoy}等人,SIAM J.矩阵分析。申请。45,第1号,529--552(2024;Zbl 07805911) 全文: 内政部
斯特夫·格雷亚特;法比安·杰泽奎尔;西奥·玛丽;罗梅奥·莫利纳 自适应精度稀疏矩阵向量积及其在Krylov解算器中的应用。 (英语) 兹比尔1534.65070 SIAM J.科学。计算。 46,编号1,C30-C56(2024). 审核人:史蒂文·达梅林(安娜堡) MSC公司:65克50 65平方英尺 65F08个 65层50 65层10 PDF格式BibTeX公司 XML格式引用 \textit{S.Graillat}等人,SIAM J.Sci。计算。46,1号,C30--C56(2024;Zbl 1534.65070) 全文: 内政部
尼古拉斯·海姆。 算法在极端规模和低精度下的数值稳定性。 (英语) Zbl 07822586号 Beliaev,Dmitry(编辑)等人,《2022年国际数学家大会》,ICM 2022,芬兰赫尔辛基,虚拟,2022年7月6日至14日。第7卷。第15-20节。柏林:欧洲数学学会(EMS)。5098-5117 (2023).MSC公司:65克50 65平方英尺 PDF格式BibTeX公司 XML格式引用 \textit{N.J.Higham},in:2022年国际数学家大会,ICM 2022,芬兰赫尔辛基,虚拟,2022年7月6日至14日。第7卷。第15-20节。柏林:欧洲数学学会(EMS)。5098——5117(2023年;Zbl 07822586) 全文: 内政部 OA许可证
艾哈迈德纳萨布,莫拉德 作为对称正定广义特征值求解器预处理的对称双对角约简。 (英语) Zbl 07814803号 数学杂志。模型。 11,第2号,301-322(2023).MSC公司:2015财年65 15A21号机组 15A22号机组 PDF格式BibTeX公司 XML格式引用 \textit{M.Ahmadnasab},J.数学。模型。11,第2号,301--322(2023;Zbl 07814803) 全文: 内政部
齐格弗里德·M·臀部。 快速准确地计算向量的欧氏范数。 (英语) Zbl 07749857号 日本工业应用杂志。数学。 40,第3期,1391-1419(2023).MSC公司:65G99型 65克50 PDF格式BibTeX公司 XML格式引用 \textit{S.M.Rump},日本J.Ind.Appl。数学。40,第3号,1391--1419(2023;Zbl 07749857) 全文: 内政部 OA许可证
El Arar、El-Mehdi;德凡·索希尔;巴勃罗·德·奥利维拉·卡斯特罗;埃里克,佩蒂 随机舍入方差和概率界:一种新方法。 (英语) Zbl 1523.65044号 SIAM J.科学。计算。 45,编号5,C255-C275(2023).MSC公司:65克50 65平方英尺 PDF格式BibTeX公司 XML格式引用 \textit{E.-M.El Arar}等人,SIAM J.Sci。计算。45,5号,C255--C275(2023;Zbl 1523.65044) 全文: 内政部 arXiv公司
凯尔加德·米克尔森(Kjelgaard Mikkelsen),卡尔·克里斯蒂安(Carl Christian);洛佩斯·维莱拉斯,洛林;García-Risueño,巴勃罗 牛顿必须有多精确? (英语) Zbl 1533.65074号 Wyrzykowski,Roman(编辑)等人,《并行处理与应用数学》。第14届国际会议,PPAM 2022,波兰格但斯克,2022年9月11-14日。修订了选定的论文。第一部分查姆:施普林格。莱克特。注释计算。科学。13826, 3-15 (2023).MSC公司:65H10型 2005年5月 PDF格式BibTeX公司 XML格式引用 \textit{C.C.Kjelgard Mikkelsen}等人,Lect。注释计算。科学。13826年3月15日(2023年;Zbl 1533.65074) 全文: 内政部 arXiv公司
迈克尔·康诺利(Michael P.Connolly)。;尼古拉斯·海姆。 Householder QR分解的概率舍入误差分析。 (英语) Zbl 1520.65019号 SIAM J.矩阵分析。申请。 44,第3期,1146-1163(2023年).MSC公司:65平方英尺 65克50 PDF格式BibTeX公司 XML格式引用 \textit{M.P.Connolly}和\textit{N.J.Higham},SIAM J.矩阵分析。申请。44,编号3,1146--1163(2023;Zbl 1520.65019) 全文: 内政部
帕特里克·艾默斯泰;奥利维埃·博伊托;阿尔弗雷多·布塔里;马蒂厄·格雷斯特;法比安·杰泽奎尔;很好,Jean-Yves;西奥·玛丽 混合精度低秩近似及其在块低秩LU分解中的应用。 (英语) 兹比尔1525.65038 IMA J.数字。分析。 43,第4期,2198-2227(2023).MSC公司:65层55 2015财年65 PDF格式BibTeX公司 XML格式引用 \textit{P.Amestoy}等人,IMA J.Numer。分析。43,编号4,2198--2227(2023;Zbl 1525.65038) 全文: 内政部 哈尔
M.克罗齐。;医学博士贾尔斯。 低精度热方程数值解中的舍入和随机舍入效应。 (英语) Zbl 07726036号 IMA J.数字。分析。 43,第3期,1358-1390(2023).MSC公司:65-XX岁 PDF格式BibTeX公司 XML格式引用 \textit{M.Croci}和\textit{M.B.Giles},IMA J.Numer。分析。43,编号3,1358--1390(2023;Zbl 07726036) 全文: 内政部 arXiv公司
马克·梅扎罗巴 使用生成序列对线性递归进行舍入误差分析。 (英语) Zbl 1512.65082号 ETNA,电子。事务处理。数字。分析。 58, 196-227 (2023).MSC公司:65克50 65季度30 65升70 2015年5月 PDF格式BibTeX公司 XML格式引用 \textit{M.Mezzarobba},ETNA,电子。事务处理。数字。分析。58196-227(2023年;Zbl 1512.65082) 全文: 内政部 arXiv公司 链接
邵美月 使用非标准内积的Householder正交化。 (英语) Zbl 1515.65090号 SIAM J.矩阵分析。申请。 44,第2期,481-502(2023年).MSC公司:65层25 PDF格式BibTeX公司 XML格式引用 \textit{M.Shao},SIAM J.矩阵分析。申请。44,编号2,481--502(2023;Zbl 1515.65090) 全文: 内政部 arXiv公司
马西米利亚诺·法西;尼古拉斯·海姆。;弗洛伦特·洛佩兹;西奥·玛丽;曼塔斯·米凯蒂斯 多字算术中的矩阵乘法:误差分析及其在GPU张量核中的应用。 (英语) Zbl 1511.65040号 SIAM J.科学。计算。 45,第1号,C1-C19(2023).MSC公司:65克50 6504年 65日元10 2007年7月68日 PDF格式BibTeX公司 XML格式引用 \textit{M.Fasi}等人,SIAM J.Sci。计算。45,1号,C1--C19(2023;Zbl 1511.65040) 全文: 内政部
贾忠孝;李海波 有限精度大型GSVD计算的联合双对角化方法。 (英语) Zbl 1516.65029号 SIAM J.矩阵分析。申请。 44,编号1,382-407(2023).MSC公司:2015财年65 65层20 65层25 15甲18 65层50 65克50 PDF格式BibTeX公司 XML格式引用 \textit{Z.Jia}和\textit{H.Li},SIAM J.矩阵分析。申请。44,编号1,382--407(2023;Zbl 1516.65029) 全文: 内政部 arXiv公司
亚历山大·韦伯;伊利赛·马科维奇克(Elisei Macoveiciuc);冈瑟·雷西格 ABS:一种用于空间效率符号合成的正式正确的软件工具。 (英语) 兹伯利07807727 第25届ACM混合系统国际会议论文集:计算与控制,HSCC 2022,CPS-IoT周,意大利米兰,虚拟,2022年5月4-6日。纽约州纽约市:计算机协会(ACM)。第19号论文,第10页(2022年)。MSC公司:65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{A.Weber}等人,in:《第25届ACM混合系统国际会议论文集:计算与控制》,HSCC 2022,CPS-IoT周,意大利米兰,虚拟,2022年5月4-6日。纽约州纽约市:计算机协会(ACM)。第19号论文,第10页(2022;Zbl 07807727) 全文: 内政部
马尔科·兰格 实现准确快速的求和。 (英语) Zbl 07668772号 ACM事务处理。数学。柔和。 48,第3条,第28条,第39页(2022年).MSC公司:65-XX岁 PDF格式BibTeX公司 XML格式引用 \textit{M.Lange},ACM翻译。数学。柔和。48,第3号,第28条,第39页(2022;Zbl 07668772) 全文: 内政部
托马斯·卡梅隆。;斯特夫·格雷亚特 关于精确计算所有多项式根的补偿Ehrlich-Abersh方法。 (英语) Zbl 1487.65052号 ETNA,电子。事务处理。数字。分析。 55, 401-423 (2022).MSC公司:65小时04 65年20月 65-04 PDF格式BibTeX公司 XML格式引用 \textit{T.R.Cameron}和\textit{S.Graillat},ETNA,Electron。事务处理。数字。分析。55、401-423(2022;Zbl 1487.65052) 全文: 内政部
尼古拉斯·海姆。;西奥·玛丽 利用LU因子分解求解块低秩线性系统在数值上是稳定的。 (英语) Zbl 1511.65024号 IMA J.数字。分析。 42,编号2,951-980(2022).MSC公司:65平方英尺 65层55 PDF格式BibTeX公司 XML格式引用 \textit{N.J.Higham}和\textit{T.Mary},IMA J.Numer。分析。42,编号2,951--980(2022;Zbl 1511.65024) 全文: 内政部 哈尔
艾琳·卡森;汤姆·盖尔吉利茨;山崎一郎 混合精度步长Lanczos和共轭梯度算法。 (英语) Zbl 07511606号 数字。线性代数应用。 29,第3期,e242524页(2022年). 审核人:米罗斯拉夫·罗兹洛兹尼克 MSC公司:65层10 2015财年65 65克50 65日元10 PDF格式BibTeX公司 XML格式引用 \textit{E.Carson}等人,数字。线性代数应用。29,第3期,e242524页(2022;Zbl 07511606) 全文: 内政部 arXiv公司
安德烈·皮耶罗·德·卡马戈 Neville插值算法和Lebesgue函数计算金字塔算法的前后稳定性分析。 (英语) Zbl 1487.65015号 数字。算法 89,第4期,1521-1531(2022).MSC公司:65D05型 65日第15天 65克50 PDF格式BibTeX公司 XML格式引用 \textit{A.P.de Camargo},数字。算法89,No.4,1521--1531(2022;Zbl 1487.65015) 全文: 内政部
凯利,C.T。 混合精度的牛顿方法。 (英语) Zbl 1484.65108号 SIAM版本。 64,第1号,191-211(2022).MSC公司:65H10型 45G10型 65克50 PDF格式BibTeX公司 XML格式引用 \textit{C.T.Kelley},SIAM第64版,第1号,191--211(2022年;Zbl 1484.65108) 全文: 内政部
泰勒·陈 随机变量的非症状矩界舍入为非均匀间隔集。 (英语) Zbl 07851334号 斯达 10,第1号,论文编号e395,第11页(2021).MSC公司:62至XX PDF格式BibTeX公司 XML格式引用 \textit{T.Chen},Stat 10,No.1,论文编号e395,11 p.(2021;Zbl 07851334) 全文: 内政部 arXiv公司
皮埃尔·布兰查德;德斯蒙德·海姆。;尼古拉斯·海姆。 精确计算对数和exp和softmax函数。 (英语) Zbl 1509.65019号 IMA J.数字。分析。 41,第4期,2311-2330(2021).MSC公司:65D20个 PDF格式BibTeX公司 XML格式引用 \textit{P.Blanchard}等人,IMA J.Numer。分析。41,第4号,2311--2330(2021;Zbl 1509.65019) 全文: 内政部 arXiv公司 OA许可证
林福明;周勇(Zhou,Yong) 基于舍入误差市场微观结构噪声的高频数据的杠杆效应分析。 (中文)。英文摘要) Zbl 1488.62184号 数学学报。申请。罪。 44,第1期,16-30(2021年).MSC公司:62P05号 91B84号 PDF格式BibTeX公司 XML格式引用 \textit{F.Lin}和\textit{Y.Zhou,《数学学报》。申请。罪。44,编号1,16--30(2021;Zbl 1488.62184)
拉斯穆斯·塔姆斯托夫;约瑟夫·本扎肯;斯蒂芬·麦考密克。 离散误差精确混合精度多重网格求解器。 (英语) Zbl 07418114号 SIAM J.科学。计算。 43,编号5,S420-S447(2021).MSC公司:65层10 65克50 65M55型 PDF格式BibTeX公司 XML格式引用 \textit{R.Tamstorf}等人,SIAM J.Sci。计算。43,第5号,S420-S447(2021;Zbl 07418114) 全文: 内政部
斯蒂芬·麦考密克。;约瑟夫·本扎肯;拉斯穆斯·塔姆斯托夫 混合精度多重网格求解器的代数误差分析。 (英语) 兹布尔07418113 SIAM J.科学。计算。 43,编号5,S392-S419(2021).MSC公司:65层10 65克50 65M55型 PDF格式BibTeX公司 XML格式引用 \textit{S.F.McCormick}等人,SIAM J.Sci。计算。43,编号5,S392--S419(2021;Zbl 07418113) 全文: 内政部
克里斯托夫·诺伊曼;奥利弗·斯坦因 利用内平行割生成混合整数凸优化问题的可行点。 (英语) Zbl 1479.90142号 SIAM J.Optim公司。 31,第3号,2396-2428(2021).MSC公司:90立方厘米 90立方厘米 90立方厘米 90立方 PDF格式BibTeX公司 XML格式引用 \textit{C.Neumann}和\textit{O.Stein},SIAM J.Optim。31,第3号,2396--2428(2021;Zbl 1479.90142) 全文: 内政部
拉斯穆斯·塔姆斯托夫;约瑟夫·本扎肯;斯蒂芬·麦考密克。 离散化误差精确混合精度多重网格解算器。 (英语) 兹伯利07378149 SIAM J.科学。计算。 43,编号3,S420-S447(2021).MSC公司:65层10 65克50 65M55型 PDF格式BibTeX公司 XML格式引用 \textit{R.Tamstorf}等人,SIAM J.Sci。计算。43,第3号,S420--S447(2021;Zbl 07378149) 全文: 内政部 arXiv公司
斯蒂芬·麦考密克。;约瑟夫·本扎肯;拉斯穆斯·塔姆斯托夫 混合精度多重网格求解器的代数误差分析。 (英语) Zbl 07378148号 SIAM J.科学。计算。 43,编号3,S392-S419(2021).MSC公司:65层10 65克50 65M55型 PDF格式BibTeX公司 XML格式引用 \textit{S.F.McCormick}等人,SIAM J.Sci。计算。43,编号3,S392--S419(2021;Zbl 07378148) 全文: 内政部 arXiv公司
杨·米娜(Yang,L.Minah);福克斯,艾莉森;杰弗里·桑德斯 混合精度块Householder QR算法的舍入误差分析。 (英语) Zbl 1512.65066号 SIAM J.科学。计算。 43,编号3,A1723-A1753(2021).MSC公司:2015财年65 65层25 65克50 PDF格式BibTeX公司 XML格式引用 \textit{L.M.Yang}等人,SIAM J.Sci。计算。43,第3号,A1723--A1753(2021;Zbl 1512.65066) 全文: 内政部 arXiv公司
张晓文;克里斯托弗·佩奇(Christopher C.Paige)。;大卫·佩洛金 结构失去正交性。 (英语) Zbl 1467.65029号 线性代数应用。 623, 149-167 (2021).MSC公司:2015财年65 65平方英尺 65克50 15甲18 PDF格式BibTeX公司 XML格式引用 \textit{X.-W.Chang}等人,《线性代数应用》。623149-167(2021年;Zbl 1467.65029) 全文: 内政部
迈克尔·康诺利(Michael P.Connolly)。;尼古拉斯·海厄姆。;玛丽,西奥 随机舍入及其概率向后误差分析。 (英语) Zbl 1462.65050号 SIAM J.科学。计算。 43,编号1,A566-A585(2021).MSC公司:65克50 PDF格式BibTeX公司 XML格式引用 \textit{M.P.Connolly}等人,SIAM J.Sci。计算。43,1号,A566--A585(2021;Zbl 1462.65050) 全文: 内政部
齐格弗里德·M·臀部。 补遗:“关于有限精度收敛到错误极限的递归和一些新示例”。 (英语) Zbl 1456.65031号 ETNA,电子。事务处理。数字。分析。 52, 571-575 (2020).MSC公司:65克50 11层37 PDF格式BibTeX公司 XML格式引用 \textit{S.M.臀部},ETNA,电子。事务处理。数字。分析。52,571-575(2020年;兹比尔1456.65031) 全文: 内政部 链接
尼古拉·布里斯巴雷;米奥拉乔尔德什;Jean-Michel穆勒;阿纳马利亚州纳内什;乔里斯·皮科特 Cooley-Tukey快速傅里叶变换中一些操作的误差分析。 (英语) Zbl 1484.65348号 ACM事务处理。数学。柔和。 46,第2号,第11条,第27页(2020年).MSC公司:65吨50 65克50 PDF格式BibTeX公司 XML格式引用 \textit{N.Brisebarre}等人,《美国医学杂志》。数学。柔和。46,第2号,第11条,第27页(2020年;Zbl 1484.65348) 全文: 内政部 哈尔
尼古拉斯·海姆。;西奥·玛丽 具有随机数据的基本线性代数核的更精确的概率向后误差分析。 (英语) Zbl 1452.65090号 SIAM J.科学。计算。 42,5号,A3427-A3446(2020).MSC公司:65克50 65平方英尺 PDF格式BibTeX公司 XML格式引用 \textit{N.J.Higham}和\textit{T.Mary},SIAM J.Sci。计算。42,5号,A3427--A3446(2020;Zbl 1452.65090) 全文: 内政部
齐格弗里德·M·臀部。 关于有限精度收敛到错误极限的递归和一些新的例子。 (英语) 兹比尔1448.65041 ETNA,电子。事务处理。数字。分析。 52, 358-369 (2020); 增编同上,52,571-575(2020年)。MSC公司:65克50 11层37 65G30型 PDF格式BibTeX公司 XML格式引用 \textit{S.M.Rump},ETNA,电子。事务处理。数字。分析。52358-369(2020年;兹比尔1448.65041) 全文: 内政部 链接
安德烈·皮耶罗·德·卡马戈 差分格式的舍入误差分析:牛顿差分法;内维尔算法;理查森外推;隆伯格求积;等。 (英语) Zbl 1462.65051号 数字。算法 85,第2期,591-606(2020年).MSC公司:65克50 PDF格式BibTeX公司 XML格式引用 \textit{A.P.de Camargo},数字。算法85,No.2,591--606(2020;Zbl 1462.65051) 全文: 内政部
丹尼斯·卡西诺 多少位小数?根据测量精度舍入描述性统计和推断性统计。 (英语) Zbl 1448.91244号 数学杂志。精神病。 97,文章ID 102362,第7页(2020年).MSC公司:91E45型 第62页,共15页 PDF格式BibTeX公司 XML格式引用 \textit{D.Cousineau},J.Math(数学)。精神病。97,文章ID 102362,7 p.(2020;Zbl 1448.91244) 全文: 内政部
皮埃尔·布兰查德;尼古拉斯·海姆。;弗洛伦特·洛佩兹;西奥·玛丽;斯里卡拉Pranesh 混合精度块融合乘加:误差分析及其在GPU张量核中的应用。 (英语) Zbl 1452.65425号 SIAM J.科学。计算。 42,第3号,C124-C141(2020).MSC公司:65日元10 65平方英尺 65F08个 65克50 PDF格式BibTeX公司 XML格式引用 \textit{P.Blanchard}等人,SIAM J.Sci。计算。42,第3号,C124--C141(2020;Zbl 1452.65425) 全文: 内政部
克里斯托夫·诺伊曼;奥利弗·斯坦因;内森·苏德曼·梅克斯 可行四舍五入的目标值的界限。 (英语) Zbl 1440.90032号 越南J.数学。 48,第2期,299-313(2020年).MSC公司:90立方厘米 90立方厘米 90立方厘米 90立方 PDF格式BibTeX公司 XML格式引用 \textit{C.Neumann}等人,越南数学杂志。48,第2号,299--313(2020;Zbl 1440.90032) 全文: 内政部 OA许可证
皮埃尔·布兰查德;尼古拉斯·海姆。;西奥·玛丽 一类快速准确的求和算法。 (英语) 兹比尔1471.65035 SIAM J.科学。计算。 42,编号3,A1541-A5557(2020).MSC公司:65克50 65平方英尺 PDF格式BibTeX公司 XML格式引用 \textit{P.Blanchard}等人,SIAM J.Sci。计算。42,3号,A1541--A1557(2020;Zbl 1471.65035) 全文: 内政部
克劳德·皮埃尔·珍妮罗德 \(\mathtt{(x+y)*(x-y)}\)的相对精度。 (英语) Zbl 1480.65114号 J.计算。申请。数学。 369,文章ID 112613,13 p.(2020).MSC公司:65克50 PDF格式BibTeX公司 XML格式引用 \textit{C.-P.珍妮罗德},J.计算机。申请。数学。369,文章ID 112613,13 p.(2020;Zbl 1480.65114) 全文: 内政部 哈尔
张晓文;康、彭;大卫·佩洛金 计算最小二乘估计量的误差界。 (英语) Zbl 1428.62315号 线性代数应用。 586, 28-42 (2020).MSC公司:62J05型 65层20 65层35 PDF格式BibTeX公司 XML格式引用 \textit{X.-W.Chang}等人,《线性代数应用》。586,28-42(2020年;兹比尔1428.62315) 全文: 内政部
奥利弗·谢里丹·梅特文;迈克尔·贾尔斯 使用低精度近似随机变量的舍入误差。 arXiv:2012.09739年 预印本,arXiv:2012.09739[math.NA](2020)。MSC公司:65克50 65立方厘米 41A10号 65二氧化碳 65年20月 60华氏35 65B10型 65升70 34立方米 97N20号 65立方米 BibTeX公司 引用 \textit{O.Sheridan-Methven}和\textit{M.Giles},“使用低精度近似随机变量的舍入误差”,预打印,arXiv:2012.09739[math.NA](2020) 全文: arXiv公司 OA许可证
Baan和Hayo;索维克·巴塔查里亚;斯科特·弗鲁勒;奥斯卡·加西亚-莫钦;蒂亚斯·拉霍温;罗纳德·里特曼;Saarinen,Markku-Juhani O。;卢多·托尔胡岑;张振飞 第五轮:紧凑快速的量子后公钥加密。 (英语) Zbl 1475.94102号 丁金泰(编)等,后量子密码。第十届国际会议,PQCrypto 2019,中国重庆,2019年5月8日至10日。修订了选定的论文。查姆:斯普林格。莱克特。注释计算。科学。11505, 83-102 (2019).MSC公司:94A60型 81页94 94B25型 PDF格式BibTeX公司 XML格式引用 \textit{H.Baan}等人,Lect。注释计算。科学。11505,83-102(2019;Zbl 1475.94102) 全文: 内政部
克里斯托弗·佩奇(Christopher C.Paige)。 特征值问题和方程解的Lanczos过程的准确性。 (英语) Zbl 1427.65044号 SIAM J.矩阵分析。申请。 40,第4期,1371-1398(2019).MSC公司:65层10 2015财年65 65平方英尺 65层50 65克50 15甲18 15B57号 PDF格式BibTeX公司 XML格式引用 \textit{C.C.Paige},SIAM J.矩阵分析。申请。40,编号4,1371-1398(2019;兹bl 1427.65044) 全文: 内政部
藤原浩 在MATLAB中设计和实现用于可靠数值计算的多精度算法环境。 (英语) Zbl 07138577号 日本工业应用杂志。数学。 36,第3期,1089-1100(2019).MSC公司:65克50 97N20号 97N80型 PDF格式BibTeX公司 XML格式引用 \textit{H.Fujiwara},日本J.Ind.Appl。数学。36,第3号,1089--1100(2019;Zbl 07138577) 全文: 内政部
尼古拉斯·海姆。;斯里卡拉·普拉内什 模拟低精度浮点运算。 (英语) Zbl 07124603号 SIAM J.科学。计算。 41,第5号,C585-C602(2019).MSC公司:6504年 PDF格式BibTeX公司 XML格式引用 \textit{N.J.Higham}和\textit{S.Pranesh},SIAM J.Sci。计算。41,编号5,C585-C602(2019;兹bl 07124603) 全文: 内政部
尼古拉斯·海姆。;西奥·玛丽 概率舍入误差分析的一种新方法。 (英语) Zbl 07123205号 SIAM J.科学。计算。 41,第5号,A2815-A2835(2019).MSC公司:65克50 65平方英尺 PDF格式BibTeX公司 XML格式引用 \textit{N.J.Higham}和\textit{T.Mary},SIAM J.Sci。计算。41,第5号,A2815--A2835(2019;Zbl 07123205) 全文: 内政部
安塔尔·贾雷 基于FFT的复数乘法的误差估计。 (英语) Zbl 1449.65101号 安理大学。布达普。罗兰多·Eötvös,Sect。计算。 49, 259-277 (2019).MSC公司:65克50 65T50型 PDF格式BibTeX公司 XML格式引用 \textit{A.Járai},安理工大学。布达普。罗兰多·Eötvös,Sect。计算。49、259--277(2019年;Zbl 1449.65101) 全文: 链接
罗恩·霍尔兹曼;尼赞·图尔 区间并集的同时线性差异。 (英语) Zbl 07058287号 组合数学 39,第1号,85-90(2019).MSC公司:05C65号 11公里38 PDF格式BibTeX公司 XML格式引用 \textit{R.Holzman}和\textit{N.Tur},Combinatorica 39,No.1,85-90(2019;Zbl 07058287) 全文: 内政部
格拉拉特,斯特夫 一种计算有理函数的精确算法。 (英语) Zbl 1427.65065号 申请。数学。计算。 337, 494-503 (2018).MSC公司:65G99型 15-04 6504年 65-04 PDF格式BibTeX公司 XML格式引用 \textit{S.Graillat},应用程序。数学。计算。337494-503(2018;Zbl 1427.65065) 全文: 内政部 哈尔
斯特夫·格雷亚特;法比安·杰泽奎尔;罗曼·皮科特 用随机算法对补偿算法进行数值验证。 (英语) Zbl 1427.65063号 申请。数学。计算。 329, 339-363 (2018).MSC公司:65克50 6504年 PDF格式BibTeX公司 XML格式引用 \textit{S.Grailat}等人,应用。数学。计算。329、339--363(2018年;Zbl 1427.65063) 全文: 内政部 哈尔
墨西哥佩克索托。;埃里维尔顿·G·内波穆塞诺。;萨米尔·马丁斯。;马西奥·J·拉塞尔达。 使用舍入模式和递归最小二乘算法计算最大正Lyapunov指数。 (英语) Zbl 1398.65341号 混沌孤子分形 11236-43(2018).MSC公司:65页20 6504年 PDF格式BibTeX公司 XML格式引用 \textit{M.L.C.Peixoto}等人,混沌孤子分形112,36-43(2018;Zbl 1398.65341) 全文: 内政部 链接
Cools,齐格弗里德;叶特金,埃姆鲁拉·法提赫;艾曼纽尔·阿古洛;吕克·吉拉德;维姆·范鲁斯 分析局部舍入误差传播对流水线共轭梯度法最大可达精度的影响。 (英语) Zbl 1392.65048号 SIAM J.矩阵分析。申请。 39,第1号,426-450(2018).MSC公司:65层10 65层50 65克50 2005年5月 65年20月 PDF格式BibTeX公司 XML格式引用 \textit{S.Cools}等人,SIAM J.矩阵分析。申请。39,第1号,426--450(2018;Zbl 1392.65048) 全文: 内政部 arXiv公司
艾琳·卡森;尼古拉斯·海姆。 通过三种精度的迭代求精加速线性系统的求解。 (英语) Zbl 1453.65067号 SIAM J.科学。计算。 40,编号2,A817-A847(2018).MSC公司:65层10 65平方英尺 65层35 65克50 PDF格式BibTeX公司 XML格式引用 \textit{E.Carson}和\textit{N.J.Higham},SIAM J.Sci。计算。40,第2号,A817--A847(2018;Zbl 1453.65067) 全文: 内政部
克劳德·皮埃尔·珍妮罗德;齐格弗里德·M·臀部。 关于浮点运算的相对误差:最佳界限和应用。 (英语) Zbl 1380.65082号 数学。计算。 87,编号310,803-819(2018).MSC公司:65克50 PDF格式BibTeX公司 XML格式引用 \textit{C.-P.珍妮罗德}和\textit{S.M.朗普},数学。计算。87、编号310、803--819(2018;Zbl 1380.65082) 全文: 内政部 哈尔
杜培兵;罗伯特·巴里奥;姜浩;程丽芝 精确商微分算法:误差分析、改进和应用。 (英语) 兹比尔1411.65057 申请。数学。计算。 309, 245-271 (2017).MSC公司:2015财年65 PDF格式BibTeX公司 XML格式引用 \textit{P.Du}等人,应用。数学。计算。309245-271(2017;Zbl 1411.65057) 全文: 内政部 arXiv公司
陈兆国;吴嘉豪 基准预测和误差建模。 (英语) Zbl 1397.97044号 J.预测。 36,第4期,382-394(2017).MSC公司:97N20号 62M10个 PDF格式BibTeX公司 XML格式引用 \textit{Z.-G.Chen}和\textit{K.H.Wu},J.Forecast。36,第4号,382--394(2017;Zbl 1397.97044) 全文: 内政部
安东尼·奥斯汀。;徐、宽 位移等距点三角插值第二重心公式的数值稳定性。 (英语) Zbl 1433.65363号 IMA J.数字。分析。 37,第3期,1355-1374(2017).MSC公司:65T40型 41A05型 42甲15 PDF格式BibTeX公司 XML格式引用 \textit{A.P.Austin}和\textit{K.Xu},IMA J.Numer。分析。37,第3号,1355--1374(2017;Zbl 1433.65363) 全文: 内政部 链接
西尔维·博尔多;斯特夫·格雷亚特;Jean-Michel穆勒 关于2Sum和Fast2Sum算法的鲁棒性。 (英语) 兹比尔1484.65003 ACM事务处理。数学。柔和。 44,第1号,第4条,第14页(2017).MSC公司:65B10型 PDF格式BibTeX公司 XML格式引用 \textit{S.Boldo}等人,ACM Trans。数学。柔和。44,第1号,第4条,第14页(2017年;Zbl 1484.65003) 全文: 内政部 链接
皮埃尔·福廷;穆拉德·古伊塞姆;斯特夫·格雷亚特 GPU加速生成正确舍入的初等函数。 (英语) Zbl 1391.65133号 ACM事务处理。数学。柔和。 第43号第3条第22条第26页(2017年).MSC公司:65克50 6504年 65日元10 PDF格式BibTeX公司 XML格式引用 \textit{P.Fortin}等人,ACM Trans。数学。柔和。43,第3号,第22条,第26页(2017;Zbl 1391.65133) 全文: 内政部 arXiv公司
詹南·曾 线性回归以最小化数值微分的总误差。 (英语) Zbl 1383.65016号 东亚J.应用。数学。 7,第4号,810-826(2017).MSC公司:65D25个 65克50 PDF格式BibTeX公司 XML格式引用 \textit{J.Tzeng},《东亚应用杂志》。数学。7,第4号,810--826(2017;Zbl 1383.65016) 全文: 内政部
艾琳·卡森;尼古拉斯·海姆。 对迭代求精及其在病态稀疏线性系统精确解中的应用进行了新的分析。 (英语) Zbl 1379.65019号 SIAM J.科学。计算。 39,第6号,A2834-A2856(2017).MSC公司:65层10 65层35 65克50 65F08个 PDF格式BibTeX公司 XML格式引用 \textit{E.Carson}和\textit{N.J.Higham},SIAM J.Sci。计算。39,第6号,A2834--A2856(2017;Zbl 1379.65019) 全文: 内政部
N.G.乌沙科夫。;乌沙科夫,V.G。 舍入数据的统计分析:恢复因舍入而丢失的信息。 (英语) Zbl 1368.62060号 J.韩国统计学会。 46,第3期,426-437(2017).MSC公司:2012年12月62日 62层30 PDF格式BibTeX公司 XML格式引用 \textit{N.G.Ushakov}和\textit{V.G.Ushagov},J.Korean Stat.Soc.46,No.3,426--437(2017;Zbl 1368.62060) 全文: 内政部
Aihara、Kensuke 短递归Krylov子空间方法的分组更新策略变量。 (英语) Zbl 1368.65046号 数字。算法 75,第2期,397-412(2017).MSC公司:65英尺10英寸 PDF格式BibTeX公司 XML格式引用 \textit{K.Aihara},数字。算法75,No.2,397--412(2017;Zbl 1368.65046) 全文: 内政部
沃尔特·马斯卡伦哈斯(Walter F.Mascarenhas)。;安德烈·皮耶罗·德·卡马戈 节点舍入误差对重心插值的影响。 (英语) Zbl 1357.65017号 数字。数学。 135,第1号,113-141(2017). 审核人:安东尼奥·洛佩斯·卡莫纳(格拉纳达) MSC公司:65D05型 65克50 PDF格式BibTeX公司 XML格式引用 \textit{W.F.Mascarenhas}和\textit{A.P.de Camargo},数字。数学。135、1号、113--141(2017;Zbl 1357.65017) 全文: 内政部 arXiv公司
克劳德·皮埃尔·珍妮罗德;彼得·科纳鲁普;尼古拉斯·路维特;Jean-Michel穆勒 使用FMA进行复杂浮点乘法的错误界限。 (英语) Zbl 1355.65063号 数学。计算。 86,编号304,881-898(2017).MSC公司:65克50 PDF格式BibTeX公司 XML格式引用 \textit{C.-P.Jeannerod}等人,数学。计算。86、编号304、881--898(2017;Zbl 1355.65063) 全文: 内政部 哈尔
霍普金斯,大卫 如果我四舍五入,我的数字加起来正确吗? (英语) Zbl 1384.60035号 数学。加兹。 100号549、396-409(2016).MSC公司:60二氧化碳 65克50 PDF格式BibTeX公司 XML格式引用 \textit{D.霍普金斯},数学。加兹。100号549、396--409(2016;Zbl 1384.60035) 全文: 内政部 链接
皮埃尔·鲁克斯 舍入误差界的形式证明。应用于自动肯定性检查。 (英语) Zbl 1409.68263号 J.汽车。推理 57,第2期,135-156(2016).MSC公司:68吨15 65克50 PDF格式BibTeX公司 XML格式引用 \textit{P.Roux},J.Autom。推理57,No.2,135--156(2016;Zbl 1409.68263) 全文: 内政部
克劳德·皮埃尔·珍妮罗德 Cornea-Harrison-Tang方法的基相关误差分析。 (英语) Zbl 1367.65228号 ACM事务处理。数学。柔和。 42,第3号,第19条,20页(2016年).MSC公司:6504年 65克50 65日元10 PDF格式BibTeX公司 XML格式引用 \textit{C.-P.珍妮罗德},ACM Trans。数学。柔和。42,第3号,第19条,20页(2016;Zbl 1367.65228) 全文: 内政部 哈尔
于慧;杨振浩;冯继明;曲少成 椭圆偏微分方程的三角形有限元数值解。 (中文)。英文摘要) Zbl 1363.65203号 J.美分。中国标准。大学,自然科学。 50,第4期,489-495(2016).MSC公司:65N30型 35J25型 65牛顿50 65D18天 65奈拉 65克50 PDF格式BibTeX公司 XML格式引用 \textit{H.Yu}等人,J.Cent。中国标准。国立科学大学。50,第4号,489--495(2016;Zbl 1363.65203)
Jeannerod,克劳德·皮埃尔;尼古拉斯·路维特;Jean-Michel穆勒;安托万·普莱特 复杂浮点反演的精确误差界。 (英语) Zbl 1357.65028号 数字。算法 73,3号,735-760(2016). 审核人:T.C.Mohan(钦奈) MSC公司:65D20个 65埃05 65克50 PDF格式BibTeX公司 XML格式引用 \textit{C.-P.Jeannerod}等人,数字。算法73,No.3,735--760(2016;Zbl 1357.65028) 全文: 内政部 链接
博内曼,福克马 数值线性代数。MATLAB和Julia的简要介绍。(数字线性代数。Eine konzise Einführung mit MATLAB和Julia。) (德语) Zbl 1362.65030号 Springer Studium Mathematik——学士威斯巴登:施普林格演讲(ISBN 978-3-658-12883-8/pbk;978-3-558-12884-5/电子书)。x、 145页。(2016). 审核人:迈克尔·荣格(德累斯顿) MSC公司:65传真 65-01 65日元 PDF格式BibTeX公司 XML格式引用 \textit{F.Bornemann},数字线性代数。Eine konzise Einführung通过MATLAB和Julia学习。威斯巴登:施普林格演讲(2016;Zbl 1362.65030) 全文: 内政部
奥利弗·斯坦因 混合整数非线性优化问题的误差界。 (英语) Zbl 1377.90061号 最佳方案。莱特。 10,第6期,1153-1168(2016).MSC公司:90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{O.Stein},Optim(Optim)。莱特。10,编号6,1153-1168(2016;兹bl 1377.90061) 全文: 内政部
Zhitnikov,V.P。;新墨西哥州Sherykhalina。;穆克西莫娃(R.R.Muksimova)。 用有限差分法求解简单数学物理方程时误差积累的特殊性。 (俄语、英语) Zbl 1349.65363号 同胞。Zh公司。维奇尔。材料。 19,第2期,139-152(2016); 数字翻译。分析应用程序。9,第2期,107-117(2016)。MSC公司:6500万06 35K05美元 35升05 65岁15岁 PDF格式BibTeX公司 XML格式引用 \textit{V.P.Zhitnikov}等人,Sib。Zh公司。维奇尔。材料19,编号2,139--152(2016;Zbl 1349.65363);数字翻译。分析应用程序。9,第2号,107--117(2016) 全文: 内政部
穹顶,费伦茨;阿诺德·诺伊梅尔 二次约束的线性和抛物线松弛。 (英语) Zbl 1351.90131号 J.全球。最佳方案。 65,第3期,457-486(2016).MSC公司:90C26型 90C20个 65楼30 65克20 PDF格式BibTeX公司 XML格式引用 \textit{F.Domes}和\textit{A.Neumaier},J.Glob。最佳方案。65,第3号,457--486(2016;Zbl 1351.90131) 全文: 内政部
克劳德·皮埃尔·珍妮罗德 利用浮点运算中的结构。 (英语) Zbl 1460.65050号 Kotsireas,Ilias S.(编辑)等人,《计算机和信息科学的数学方面》。2015年11月11日至13日在德国柏林举行的2015年MACIS第六届国际会议。修订了选定的论文。查姆:斯普林格。莱克特。注释计算。科学。9582, 25-34 (2016).MSC公司:65克50 6504年 PDF格式BibTeX公司 XML格式引用 \textit{C.-P.珍妮罗德},莱克特。注释计算。科学。9582,25-34(2016;Zbl 1460.65050) 全文: 内政部 哈尔
齐格弗里德·M·臀部。;马可·兰格 关于单位舍入的定义。 (英语) Zbl 1342.65123号 比特币 56,第1号,309-317(2016). 审核人:君士坦丁·波帕(Constanţa) MSC公司:65克50 PDF格式BibTeX公司 XML格式引用 \textit{S.M.Rump}和\textit{M.Lange},BIT 56,No.1,309--317(2016;Zbl 1342.65123) 全文: 内政部
罗马人Iakymchuk;大卫·迪福;Sylvain Collange先生;斯特夫·格雷亚特 可重复且准确的矩阵乘法。 (英语) Zbl 1354.65082号 Nehmeier,Marco(编辑)等人,《科学计算、计算机算术和验证数字》。2014年9月21日至26日,在德国瓦茨堡举行的2014年SCAN第16届国际研讨会。修订了选定的论文。查姆:施普林格(ISBN 978-3-319-31768-7/pbk;978-3-3169-31769-4/电子书)。计算机科学讲义9553126-137(2016)。MSC公司:65楼30 2005年5月 65年20月 PDF格式BibTeX公司 XML格式引用 \textit{R.Iakymchuk}等人,Lect。注释计算。科学。9553、126--137(2016年;Zbl 1354.65082) 全文: 内政部 哈尔 OA许可证
奥利弗·斯坦因 混合整数线性优化问题的误差界。 (英语) Zbl 1345.90061号 数学。程序。 156,编号1-2(A),101-123(2016). 审核人:Efstratios Rappos(奥邦) MSC公司:90立方厘米 90立方厘米 90立方厘米 90C05(二氧化碳) PDF格式BibTeX公司 XML格式引用 \textit{O.Stein},数学。程序。156,编号1--2(A),101-123(2016;Zbl 1345.90061) 全文: 内政部
阿莫斯·奥蒙迪 数学函数的计算机硬件评估。 (英语) Zbl 1338.65042号 伦敦:帝国理工学院出版社(ISBN 978-1-78326-860-3/hbk;978-1-7826-862-7/电子书)。十七、414页。(2016). 审核人:Gudula Rünger(Chemnitz) MSC公司:65日第15天 2007年7月68日 68-01 68周25 65小时04 6504年 65-01 PDF格式BibTeX公司 XML格式引用 \textit{A.Omondi},数学函数的计算机硬件评估。伦敦:帝国理工学院出版社(2016;Zbl 1338.65042) 全文: 内政部
Jean-Michel穆勒 关于使用Corna、Harrison和Tang方法计算(ab+cd)的误差。 (英语) Zbl 1367.65240号 ACM事务处理。数学。柔和。 41,第2号,第7条,第8页(2015年).MSC公司:6504年 65克50 65日元10 PDF格式BibTeX公司 XML格式引用 \textit{J.-M.Muller},ACM翻译。数学。柔和。41,第2号,第7条,第8页(2015;Zbl 1367.65240) 全文: 内政部
格雷拉特,S。;Jézéquel,F。;R·皮科特。 用随机算法对补偿求和算法进行数值验证。 (英语) 兹比尔1352.65666 Bogomolov,Sergie(ed.)等人,根据2014年7月17日至18日和2015年4月13日在奥地利维也纳举行的第七届和第八届数字软件验证国际研讨会上的演讲选择的论文。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》317,55-69(2015)。MSC公司:6504年 65克50 PDF格式BibTeX公司 XML格式引用 \textit{S.Graillat}等人,《电子》。注释Theor。计算。科学。317、55-69(2015年;Zbl 1352.65666) 全文: 内政部
斯特夫·格雷亚特;克里斯托夫·劳特;唐平德(Tang,Ping Tak Peter);名古屋山中;小西,神道 (n)-向量的忠实四舍五入(l_2)-范数的有效计算。 (英语) Zbl 1347.65090号 ACM事务处理。数学。柔和。 第41条第4款第24条第20页(2015年).MSC公司:65克50 PDF格式BibTeX公司 XML格式引用 \textit{S.Grailat}等人,ACM Trans。数学。柔和。41,第4号,第24条,20页(2015;Zbl 1347.65090) 全文: 内政部
斯特夫·格雷亚特;文森特·列夫雷;Jean-Michel穆勒 关于浮点算法中通过迭代乘法计算整数幂时的最大相对误差。 (英语) Zbl 1330.65068号 数字。算法 70,第3期,653-667(2015). 审核人:Sarangam Majumdar(汉堡) MSC公司:65克50 PDF格式BibTeX公司 XML格式引用 \textit{S.Graillat}等人,数字。算法70,No.3,653--667(2015;Zbl 1330.65068) 全文: 内政部 arXiv公司 链接
亚历山大·杜克;弗洛里安电车公司;Serge,杂耍 LWE和LWR的更好算法。 (英语) Zbl 1365.94424号 Oswald,Elisabeth(编辑)等人,《密码学进展——2015年欧洲密码》。第34届密码技术理论与应用国际年会,保加利亚索非亚,2015年4月26日至30日。诉讼程序。第一部分柏林:施普林格出版社(ISBN 978-3-662-46799-2/pbk;978-3-562-46800-5/电子书)。计算机科学课堂讲稿9056173-202(2015)。MSC公司:94A60型 PDF格式BibTeX公司 XML格式引用 \textit{A.Duc}等人,Lect。注释计算。科学。9056、173--202(2015;Zbl 1365.94424) 全文: 内政部
白、钟梓;米罗斯拉夫·罗兹洛日克 关于求解线性系统的矩阵分裂迭代方法的数值行为。 (英语) Zbl 1317.65089号 SIAM J.数字。分析。 53,第4期,1716-1737(2015).MSC公司:65层10 65层35 65G30型 65克50 PDF格式BibTeX公司 XML格式引用 \textit{Z.-Z.Bai}和\textit{M.Rozloíník},SIAM J.Numer。分析。53,第4号,1716---1737(2015;Zbl 1317.65089) 全文: 内政部 链接
罗兹洛日尼克,M。;Okulicka-Dłużewska,F。;A.Smoktunowicz。 对称不定矩阵的类Cholesky因式分解和双线性形式的正交化。 (英语) Zbl 1317.65105号 SIAM J.矩阵分析。申请。 36,第2期,727-751(2015).MSC公司:65层25 65平方英尺 65层35 65克50 PDF格式BibTeX公司 XML格式引用 \textit{M.Rozloíník}等人,SIAM J.矩阵分析。申请。36,第2号,727--751(2015;Zbl 1317.65105) 全文: 内政部 链接
卢,辛;徐淑芳 二次特征值问题简单特征值偏导数的舍入误差。 (英语) Zbl 1307.65070号 J.计算。申请。数学。 282, 268-277 (2015).MSC公司:65H17年 PDF格式BibTeX公司 XML格式引用 \textit{X.Lu}和\textit{S.Xu},J.Compute。申请。数学。282、268--277(2015;Zbl 1307.65070) 全文: 内政部
约翰·古斯塔夫森。 错误结束:Unum计算。 (英语) Zbl 1320.65072号 查普曼和霍尔/CRC计算科学系列佛罗里达州博卡拉顿:CRC出版社(ISBN 978-1-4822-3986-7/pbk;978-1-482 2-3987-4/电子书)。xx,第416页。(2015). 审核人:T.C.Mohan(钦奈) MSC公司:65G99型 65-02 PDF格式BibTeX公司 XML格式引用 \textit{J.L.Gustafson},错误结束:Unum计算。佛罗里达州博卡拉顿:CRC出版社(2015;Zbl 1320.65072)
宫岛、新亚 鞍点线性系统近似解的一个尖锐误差界。 (英语) Zbl 1302.65080号 J.计算。申请。数学。 277, 36-46 (2015).MSC公司:65层10 65克50 PDF格式BibTeX公司 XML格式引用 \textit{S.Miyajima},J.计算。申请。数学。277、36-46(2015;Zbl 1302.65080) 全文: 内政部
皮埃尔·鲁克斯 对基本算术运算进行无害的双重取整。 (英语) Zbl 1451.65061号 J.福尔马利兹。原因。 7,第1期,131-142(2014).MSC公司:65克50 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{P.Roux},J.Formaliz。原因。7,第1号,131--142(2014;Zbl 1451.65061) 全文: 内政部 哈尔
王华民 针对错误保护连续碰撞检测。 (英语) Zbl 1396.65068号 ACM事务处理。图表。 33,第4号,第122条,第10页(2014年).MSC公司:65D18天 65克50 PDF格式BibTeX公司 XML格式引用 \textit{H.Wang},ACM翻译。图表。33,第4号,第122条,第10页(2014;Zbl 1396.65068) 全文: 内政部
西尔维·博尔多;弗朗索瓦·克莱门特;Jean-Christophe Filliátre;米凯拉·梅耶罗;纪尧姆·梅尔金德;皮埃尔·韦斯 可信计算:从偏微分方程到实际程序的机械化证明。 (英语) Zbl 1369.35051号 计算。数学。申请。 68,第3期,325-352(2014).MSC公司:35问题35 6500万06 60年第68季度 65G20个 68吨15 65个M12 PDF格式BibTeX公司 XML格式引用 \textit{S.Boldo}等人,计算。数学。申请。68,第3号,325--352(2014;Zbl 1369.35051) 全文: 内政部 arXiv公司
刘雪峰;冈山,通崎;小西,神道 奇异拉普拉斯算子的高精度特征值界。 (英语) Zbl 1336.65186号 冯汝勇(编辑)等,《计算机数学》。2009年12月14日至17日在日本福冈举行的第九届亚洲研讨会,2012年10月26日至28日在中国北京举行的2012年亚洲研讨会。发表论文并邀请演讲。柏林:施普林格出版社(ISBN 978-3-662-43798-8/hbk;978-3-762-43799-5/电子书)。311-323 (2014).MSC公司:65N25型 第35页 65N30型 65G40型 65克50 PDF格式BibTeX公司 XML格式引用 \textit{X.Liu}等人,《计算机数学》。2009年12月14日至17日在日本福冈举行的第九届亚洲研讨会,2012年10月26日至28日在中国北京举行的2012年亚洲研讨会。提交论文并邀请演讲。柏林:斯普林格。311--323(2014;Zbl 1336.65186) 全文: 内政部
Munehiro长田;川崎,Masashi;吉泽中村 由离散Lotka-Volterra系统导出的双对角奇异值的精确相似变换。 (英语) Zbl 1314.65086号 卡尔科洛 51,第2号,305-317(2014). 审核人:阿德玛·布列特尔(鲁汶) MSC公司:65克10 65层20 65克50 92D25型 93C55美元 PDF格式BibTeX公司 XML格式引用 \textit{M.Nagata}等人,Calcolo 51,No.2,305-317(2014;Zbl 1314.65086) 全文: 内政部