摘要
安德烈·阿多布斯（AndréAdobes）。 2016年。代码所有者：SDNL112。 检索自 https://www.code-aster.org/V2/doc/v14/en/man_v/v5/v5.02.112.pdf。 谷歌学者 
西尔维·博尔多（Sylvie Boldo）、弗朗索瓦·克莱门特（François Clément）、吉安·克里斯托普·菲尔利特（Jean-Christophe Filliátre）、米凯拉·梅耶罗（Micaela Mayero）、纪尧姆·梅尔金德（Guillaume Melquiond。 2013.波动方程数值分辨率：C程序的综合机械化证明。 J.汽车。 原因。 50,4（2013年4月），423--456。 内政部： https://doi.org/10.1007/s10817-012-9255-4 谷歌学者 数字图书馆 
Sylvie Boldo、Jean-Christophe Filliátre和Guillaume Melquiond。 2009.结合Coq和Gappa认证浮点程序。 智能计算机数学国际会议论文集。 施普林格，59-74。 谷歌学者 数字图书馆 西尔维·博尔多（Sylvie Boldo）和纪尧姆·梅尔金德（Guillaume Melquiond）。 2011.Flocq：Coq中用于证明浮点算法的统一库。 第20届IEEE计算机算术研讨会（ARITH’11）论文集。 IEEE，243-252。 谷歌学者 数字图书馆 劳伦斯·D·布朗、T·托尼·蔡和阿尼尔班·达斯·古普塔。 2001.二项式比例的区间估计。 统计科学。 (2001), 101--117. 谷歌学者 尤汉·查泰林、巴勃罗·德·奥利维拉·卡斯特罗、埃里克·佩蒂特、大卫·迪福、乔丹·比德和马克·托伦特。 2018.VeriTracer：用于浮点算术分析的上下文丰富的跟踪器。 第25届IEEE计算机算术研讨会（ARITH’18）会议记录（待发布）。 谷歌学者 交叉引用 
Yohan Chatelain、Eric Petit、Pablo de Oliveira Castro、Ghislain Lartigue和David Defour。 2019.自动探索迭代方法中的简化浮点表示。 第25届并行处理国际会议（EURO-PAR’19）会议记录（计算机科学讲稿）。 斯普林格。 谷歌学者 数字图书馆 弗朗索瓦斯·查特林。 1988年。关于CESTAC方法的一般可靠性。 C.R.学院。 科学。 巴黎1（1988），851-854。 谷歌学者 Jean-Marie Chesneaux和Jean Vignes。 1988.关于CESTAC方法的稳健性。 C.R.学院。 科学。 巴黎1（1988），855--860。 谷歌学者 Jean-Marie Chesneaux和Jean Vignes。 1993年，高斯算法随机性。 科学学院。 Série 2、Mécanique、Physique，Chimie、Sciences de l'universe、Science de la Terre塞利·2（1993）、梅卡尼克、奇米、科普、地球科学316、2（1993年）、171-176。 谷歌学者 代码_主。 2018年，研究和研究结构和热力学分析。 检索自 http://www.code-aster.org/。 谷歌学者 弗洛伦特·德迪内钦（Florent De Dinechin）、克里斯托夫·奎林·劳特（Christoph Quirin Lauter）和纪尧姆·梅尔金德（Guillaume Melquiond）。 2006.使用Gappa辅助验证基本功能。 美国计算机学会应用计算研讨会论文集。 美国医学会，1318-1322年。 谷歌学者 数字图书馆 大卫·迪福（David Defour）、巴勃罗·德·奥利维拉·卡斯特罗（Pablo de Oliveira Castro）、马泰·伊斯托安（Matei Istoan）和埃里克·佩蒂特（Eric Petit）。 2020年。针对代码分析和优化的自定义精度数学库探索。 第27届IEEE计算机算术研讨会（ARITH’20）会议记录。 谷歌学者 交叉引用 克里斯托夫·丹尼斯（Christophe Denis）、巴勃罗·德·奥利维拉·卡斯特罗（Pablo de Oliveira Castro）和埃里克·佩蒂特（Eric Petit）。 2016.Verificarlo：通过蒙特卡罗算法检查浮点精度。 第23届IEEE计算机算术研讨会（ARITH’16）论文集。 55--62. 内政部： https://doi.org/10.1109/ARITH.2016.31 谷歌学者 交叉引用 Olivier Dessombz、Fabrice Thouverez、J.-P.Laãné和Louis Jézéquel。 2001.使用有限元方法中的区间计算对机械系统进行分析。 J.声音振动。 239, 5 (2001), 949--968. 谷歌学者 交叉引用 欧罗普雷克萨斯。 2018.项目网页。 检索自 网址：http://www-epx.cea.fr/。 谷歌学者 Ernst Eypasch、Rolf Lefering、C.K.Kum和Hans Troidl。 1995.尚未发生不良事件的概率：统计提示。 BMJ 3117005（1995），619-620。 内政部： https://doi.org/10.1136/bmj.311.7005.619 arXiv: http://www.bmj.com/content/311/7005/619。 谷歌学者 交叉引用 弗朗索瓦·费沃特和布鲁诺·拉图利埃。 2016年，VERROU:CESTAC评估，无需重新编译。 《科学计算、计算机算术和验证数字国际研讨会论文集》（SCAN'16）。 瑞典乌普萨拉。 谷歌学者 弗朗索瓦·费沃特和布鲁诺·拉图利埃。 2017.研究工业计算代码的数字质量：关于code_aster的案例研究。 数字软件验证国际研讨会论文集。 施普林格，61-80。 内政部： https://doi.org/10.1007/978-3-319-63501-9_5 谷歌学者 交叉引用 Michael Frechtling和Philip H.W.Leong。 MCALIB：使用蒙特卡罗编程测量舍入误差的灵敏度。 ACM事务处理。 程序。 语言系统。 37, 2 (2015), 5. 谷歌学者 数字图书馆 哈利尔·戈尔巴尔（Khalil Ghorbal）、埃里克·古堡（Eric Goubault）和西尔维·普特（Sylvie Putt）。 2009.分区抽象域Taylor1+。 计算机辅助验证国际会议记录（CAV’09）。 内政部： https://doi.org/10.1007/978-3-642-02658-4_47 谷歌学者 数字图书馆 Eric Goubault和Sylvie Putot。 2006.数值算法的静态分析。 国际静态分析研讨会论文集。 施普林格，18-34岁。 谷歌学者 数字图书馆 埃尔登·汉森。 1965.矩阵计算中的区间算法，第一部分《社会工业杂志》。 申请。 数学。， 序列号。 B： 数字。 分析。 2, 2 (1965), 308--320. 谷歌学者 交叉引用 蒂莫西·希基（Timothy Hickey）、群聚（Qun Ju）和马尔滕·范·埃姆登（Maarten H.Van Emden）。 2001.区间算法：从原理到实现。 美国医学会期刊48，5（2001），1038--1068。 谷歌学者 数字图书馆 尼古拉斯·J·海姆。 2002.数值算法的准确性和稳定性。 宾夕法尼亚州费城SIAM。 谷歌学者 法比安·杰泽奎尔（Fabienne Jézéquel）和珍妮·马里·切斯纳（Jean-Marie Chesneaux）。 2008年。CADNA：用于估计舍入误差传播的库。 计算。 物理学。 Commun公司。 178, 12 (2008), 933--955. 内政部： https://doi.org/10.1016/j.cpc.2008.02.003 谷歌学者 交叉引用 威廉·卡恩（William Kahan）。 1966.数值线性代数。 在《加拿大数学公报》上。 剑桥大学出版社，英国剑桥，756--801。 谷歌学者 威廉·卡恩（William Kahan）。 1996年：数值计算概率误差分析的不可能性。 在伦敦大学学院统计座谈会的会议记录中，埃文斯霍尔版。 20 谷歌学者 Jean-Luc Lamotte、Jean-Marie Chesneaux和Fabienne Jézéquel。 2010.CADNA_C：用于C或C++程序的CADNA版本。 计算。 物理学。 Commun公司。 181，11（2010年），1925年至1926年。 谷歌学者 交叉引用 李文斌.2013。 混合高性能计算系统仿真中的数值精度分析。 博士论文。 斯图加特大学。 检索自 http://d-nb.info/1035203235。 谷歌学者 马蒂厄·马特尔。 2005年。数值程序验证语义概述。 在验证、模型检查和抽象解释国际研讨会会议记录中。 谷歌学者 数字图书馆 拉蒙·摩尔。 1979.区间分析的方法和应用。 第2卷。 宾夕法尼亚州费城SIAM。 谷歌学者 数字图书馆 Ramon E.Moore、R.Baker Kearfott和Michael J.Cloud。 2009年，区间分析导论。 第110卷。 宾夕法尼亚州费城SIAM。 谷歌学者 数字图书馆 尼古拉斯·奈瑟科特和朱利安·苏厄德。 2007.Valgrind：重量级动态二进制指令插入框架。 《ACM SIGPLAN编程语言设计与实现会议论文集》（PLDI’07）。 谷歌学者 数字图书馆 小田武史（Takeshi Ogita）、齐格弗里德·M·朗普（Siegfried M.Rump）和小西信义（Shin’ichi Oishi）。 2005.精确的和与点积。 SIAM J.科学。 计算。 26 (2005), 1955--1988. 谷歌学者 数字图书馆 Nathalie Revol和Fabrice Rouiller。 2005.任意精度区间算法和MPFI库的动机。 可靠的计算。 11, 4 (2005), 275--290. 谷歌学者 交叉引用 齐格弗里德·M·朗普。 1999.INTLAB-国际实验室。 可靠性计算发展。 施普林格，77-104。 谷歌学者 齐格弗里德·M·朗普。 2010.验证方法：使用浮点运算得出严格的结果。 《数值学报》19（2010），287--449。 谷歌学者 交叉引用 吉尔伯特·萨波尔塔。 2011.概率，分析数据和统计（3 emeédition）。 Technip版本。 谷歌学者 道格拉斯·斯托特·帕克。 1997年。蒙特卡洛算法：利用浮点算法中的随机性。 技术报告CSD-970002。 加州大学洛杉矶分校计算机科学系。 谷歌学者 Verificarlo公司。 2018.项目库。 检索自 https://github.com/verificarlo/verificallo。 谷歌学者 韦鲁。 2018.项目库。 检索自 https://github.com/edf-hpc/verrou。 谷歌学者 让·维格斯（Jean Vignes）。 2004。用于验证数值软件结果的离散随机算法。 数字。 阿尔戈。 37，1-4（2004），377-390。 谷歌学者 交叉引用 让·维格斯和米歇尔·拉波特。 1974年。计算误差分析。 IFP会议记录。 IFP，第610--614页。 谷歌学者 安德烈亚斯·泽勒。 2009.为什么项目失败（第二版）。 波士顿摩根考夫曼。 谷歌学者
