西蒙·波特基斯·兹瓦特；佩卢佩西，印蒂；卡门·马丁内斯·巴博萨；范·埃尔特伦，阿扬；史蒂夫·麦克米兰 引力动力学多尺度模拟的非侵入层次耦合策略。 （英语） Zbl 1454.85005号 Commun公司。非线性科学。数字。模拟。 85，文章ID 105240，23 p.（2020）.MSC公司：85甲15 85-10 2015年1月70日 85-08 65页第10页 PDF格式BibTeX公司 XML格式引用 \textit{S.Portegies Zwart}等人，Commun。非线性科学。数字。模拟。85，文章ID 105240，23 p.（2020；Zbl 1454.85005） 全文： 内政部 arXiv公司
杰西卡·格伦斯基；本·萨西、穆罕默德·阿明；斯蒂芬·贝克尔；桑卡拉纳拉亚南，斯里拉姆 模板多面体和双线性优化。 （英语） Zbl 1426.65079号 形式方法系统。设计。 54，第1号，27-63（2019）.MSC公司：65千5 90C25型 90摄氏51度 PDF格式BibTeX公司 XML格式引用 \textit{J.Gronski}等人，《形式方法系统》。设计。54，编号1，27-63（2019；Zbl 1426.65079） 全文： 内政部
罗，罗；陈，程；张志华；李武军；张、童 在在线学习中应用强大的频繁指导。 （英语） Zbl 1484.68341号 J.马赫。学习。物件。 20，第45号论文，41页（2019年）.MSC公司：68周27 65层55 65千5 68T05型 68T20型 90C25型 90 C59 PDF格式BibTeX公司 XML格式引用 \textit{L.Luo}等人，J.Mach。学习。第20号决议，第45号论文，41页（2019年；Zbl 1484.68341） 全文： arXiv公司 链接
图沙尔·沙尔马；代表，托马斯 声音比特精确数值域。 （英语） Zbl 1484.68053号 Bouajjani，Ahmed（编辑）等人，《验证、模型检查和抽象解释》。2017年1月15日至17日在法国巴黎举行的2017年VMCAI第18届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10145, 500-520 (2017).MSC公司：68号30 6504年 PDF格式BibTeX公司 XML格式引用 \textit{T.Sharma}和\textit{T.Reps}，莱克特。注释计算。科学。10145500-520（2017；Zbl 1484.68053） 全文： 内政部
John，Ajith K。；查克拉波蒂，苏普拉特克 从线性模块约束中消除量词的分层算法。 （英语） Zbl 1368.68332号 形式方法系统。设计。 49，第3期，272-323（2016）.MSC公司：68瓦30 65层99 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{A.K.John}和\textit{S.Chakraborty}，《形式方法系统》。设计。49，第3272-323号（2016年；兹bl 1368.68332） 全文： 内政部
米纳加沙米；自由，江户；杰夫·菲利普斯（Jeff M.Phillips）。；伍德拉夫（David P.Woodruff）。 频繁的指导：简单而确定的矩阵草图。 （英语） Zbl 1348.65075号 SIAM J.计算。 第5号第45页，1762-1792页（2016年）.MSC公司：65楼30 65层20 PDF格式BibTeX公司 XML格式引用 \textit{M.Ghashami}等人，SIAM J.Compute。45，第5号，1762--1792（2016；Zbl 1348.65075） 全文： 内政部 arXiv公司
阿希姆·韦奇松；约瑟夫·斯科特。；哈里·A·J·沃森。；保罗·巴顿。 McCormick松弛的反向传播。 （英语） Zbl 1322.49048号 J.全球。最佳方案。 63，第1期，1-36页（2015年）.MSC公司：49平方米 49立方米 90C26型 65千5 PDF格式BibTeX公司 XML格式引用 \textit{A.Wechsung}等人，J.Glob。最佳方案。63，第1号，1-36（2015；Zbl 1322.49048） 全文： 内政部 链接
玛丽亚诺·莫斯卡托（Mariano M.Moscato）。；塞萨尔·穆尼奥斯。；安德鲁·史密斯。 仿射算法及其在实数证明中的应用。 （英语） Zbl 1465.65042号 Urban，Christian（ed.）等人，《交互式定理证明》。第六届国际会议，2015年ITP，中国南京，2015年8月24日至27日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9236, 294-309 (2015).MSC公司：65G30型 65G20个 68V20型 PDF格式BibTeX公司 XML格式引用 \textit{M.M.Moscato}等人，Lect。注释计算。科学。9236，294--309（2015；Zbl 1465.65042） 全文： 内政部
王冰；邓波；邢飞；王东霞；姚一平 分区事件图：形式化基于LP的并行离散事件模拟建模。 （英语） Zbl 1310.93027号 数学。计算。模型。动态。系统。 21，第2期，153-179（2015）.MSC公司：93A30型 93元65角 00A72号 00A71号 93B17号机组 2005年5月 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit｛B.Wang｝等人，《数学》。计算。模型。动态。系统。21，第2号，153--179（2015；Zbl 1310.93027） 全文： 内政部
弗洛里安·鲁道夫；约瑟夫·温布布；卡尔·鲁普；齐格弗里德·塞尔伯赫尔 有限元应用的ViennaMesh网格框架。 （英语） Zbl 1321.65203号 J.计算。申请。数学。 270, 166-177 (2014).MSC公司：65日元 65N30型 65牛顿50 PDF格式BibTeX公司 XML格式引用 \textit｛F.Rudolf｝等人，J.Comput。申请。数学。270、166--177（2014；Zbl 1321.65203） 全文： 内政部
杰拉尼·纳尔逊；Nguyen、Huy L。；伍德拉夫（David P.Woodruff）。 关于稀疏恢复和范数估计的确定性草图和流。 （英语） Zbl 1284.65018号 线性代数应用。 441152-167（2014）.MSC公司：65立方厘米60 62G05型 15A60型 15A63型 65年20月 PDF格式BibTeX公司 XML格式引用 \textit{J.Nelson}等人，线性代数应用。441152--167（2014年；Zbl 1284.65018） 全文： 内政部
克劳德·皮埃尔·珍妮罗德；佩内特，克莱门特；阿恩·斯托约翰恩 揭示高斯消去和CUP矩阵分解的秩profile。 （英语） Zbl 1329.65065号 J.塞姆。计算。 56, 46-68 (2013).MSC公司：65平方英尺 15A23型 PDF格式BibTeX公司 XML格式引用 \textit{C.-P.Jeannerod}等人，J.Symb。计算。56、46-68（2013年；Zbl 1329.65065） 全文： 内政部 arXiv公司 哈尔
陈伟美；黄贤奎；蔡宗希 多维样本的最大值查找算法：两阶段方法。 （英语） Zbl 1243.65032号 计算。地理。 45，编号1-2，33-53（2012）.MSC公司：65D18天 65千5 PDF格式BibTeX公司 XML格式引用 \textit{W.-M.Chen}等人，计算。地理。45、编号1--2、33-53（2012；Zbl 1243.65032） 全文： 内政部
罗伯特·巴格纳拉；帕特里夏·M·希尔。；埃纳州扎法内拉 凸多面体和其他数值抽象的精确连接检测。 （英语） Zbl 1187.65018号 计算。地理。 43，第5期，453-473（2010）.MSC公司：65D18天 52B55号 PDF格式BibTeX公司 XML格式引用 \textit{R.Bagnara}等人，计算。地理。43，第5号，453--473（2010；Zbl 1187.65018） 全文： 内政部
亚历山大·塞雷布雷尼克；丹尼·德·施雷耶 浮点计算的终止。 （英语） Zbl 1102.65054号 J.汽车。推理 34，第2期，141-177（2005）.MSC公司：65克50 PDF格式BibTeX公司 XML格式引用 \textit{A.Serebrenik}和\textit{D.De Schreye}，J.Autom。推理34，No.2，141--177（2005；Zbl 1102.65054） 全文： 内政部
托马斯·劳贝尔；古杜拉·吕格尔 科学计算的基于程序的局部性度量。 （英语） Zbl 1067.68554号 发现的国际期刊。计算。科学。 15，第3期，535-554（2004）.MSC公司：68N99型 2005年5月 65日元 PDF格式BibTeX公司 XML格式引用 \textit{T.Rauber}和\textit{G.Rünger}，国际期刊发现。计算。科学。15，第3号，535--554（2004；Zbl 1067.68554） 全文： 内政部
乔治·普尔；尼尔，拉里 Rook的旋转战略。 （英语） Zbl 0964.65027号 J.计算。申请。数学。 123，编号1-2，353-369（2000）. 审核人：R.P.Tewarson（石溪） MSC公司：65平方英尺 65层35 PDF格式BibTeX公司 XML格式引用 \textit{G.Poole}和\textit{L.Neal}，J.Compute。申请。数学。123，编号1--2，353--369（2000；Zbl 0964.65027） 全文： 内政部
丹尼尔·库克。 一种高级语言的非正式介绍，用于区间数学。 （英语） Zbl 0831.65054号 Reliab公司。计算。 第1期，第65-75页（1995年）. 审核人：G.Mayer（罗斯托克） MSC公司：65G30型 PDF格式BibTeX公司 XML格式引用 \textit{D.E.Cooke}，Reliab。计算。1，编号1，65--75（1995；Zbl 0831.65054） 全文： 内政部
帕尔瓦兹·贝齐亚罗夫（Parvaz K.Berzigyarov）。；尤里·博格拉耶夫（Yuri P.Boglaev）。 并行线性方程组求解器在消除策略下的逻辑推导。 （英语） Zbl 1049.68949号 并行算法应用。 4，编号1-2，21-40（1994）.MSC公司：68瓦30 2005年5月 PDF格式BibTeX公司 XML格式引用 \textit{P.K.Berzigyarov}和\textit{Y.P.Boglaev}，并行算法应用。4，编号1-2，21-40（1994；兹bl 1049.68949） 全文： 内政部
黄，蔡黄；克里斯蒂安·伦戈尔 代数路径问题脉动解的增量力学发展。 （英语） Zbl 0689.68004号 学报信息。 27，第2号，97-124（1989）.MSC公司：68-04 68问题80 65平方英尺 PDF格式BibTeX公司 XML格式引用 \textit{C.-H.Huang}和\textit{C.Lengauer}，《学报》第27期，第2期，97-124（1989；Zbl 0689.68004） 全文： 内政部
范德沃斯特（van de Vorst），约翰内斯·G·G·。 执行LU分解的并行程序的形式化开发。 （英语） 兹伯利0633.65007 学报信息。 26，编号1-2，1-17（1988）.MSC公司：65平方英尺 15-04 15A23型 2005年5月 PDF格式BibTeX公司 XML格式引用 \textit{J.G.G.van de Vorst}，《学报》第26期，第1--2、1--17号（1988年；Zbl 0633.65007） 全文： 内政部