编辑配置文件（在新选项卡中打开） 西尔维·博尔多 合著者距离 作者ID： 波尔多·西尔维 发布日期： 西尔维·博尔多 已编制索引的文档： 31出版物自2004年以来，包括1本书和2个附加arXiv预打印 1名编辑贡献 合著者： 28位合著者具有27联合出版物 568联合作者 全部的 前5名合著者 5 单作者的 12 纪尧姆·梅尔金德 7 弗朗索瓦·克莱门特 6 米凯拉·梅耶罗 5 Jean-Michel穆勒 4 Jean-Christophe Filliátre 3 凯瑟琳·勒雷 3 文森特·马丁 3 皮埃尔·韦斯 2 马克·达马斯 2 弗洛里安·费索尔 2 戴安·加洛瓦·旺 2 侯达·穆钦 1 亚历山德罗·阿巴特 1 亚历山大·查普托 1 库克，帕斯卡 1 斯特夫·格雷亚特 1 希莱尔·蒂鲍特·希莱尔 1 克劳德·皮埃尔·珍妮罗德 1 米奥拉乔尔德什 1 雅克·亨利·乔尔丹 1 克里斯托夫·奎林·劳特 1 路易斯·勒克莱尔 1 泽维尔·勒罗伊 1 李仁沧 1 克劳德·马奇 1 瓦伦蒂娜·波佩斯库 1 齐格弗里德·迈克尔（Siegfried Michael），臀部 1 保罗·齐默尔曼 全部的 前5名系列 6 电气电子工程师学会计算机期刊 3 自动推理杂志 2 数值算法 2 计算机科学中的数学 1 计算机与数学及其应用 1 ACM数学软件汇刊 1 比特币 1 MSCS公司。计算机科学中的数学结构 1 数字学报 1 计算机科学课堂讲稿 全部的 前5名领域 23 数值分析（65-XX） 22 计算机科学（68至XX） 4 实函数（26年X月X日） 4 偏微分方程（35-XX） 2 系统论；控制（93至XX） 1 总体主题；集合（00-XX） 1 数学逻辑和基础（03-XX） 1 场论和多项式（12-XX） 1 测量和集成（28-XX） 1 信息与通信理论、电路（94-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 23出版物有被引用170中的次97文件 引用人▼ 年份▼ Coquelicot：一个用户友好的Coq真实分析库。 Zbl 1322.68176号 西尔维·博尔多;凯瑟琳·勒雷;纪尧姆·梅尔金德 24 2015 波动方程数值解：C程序的综合机械化证明。 Zbl 1267.68208号 西尔维·博尔多;弗朗索瓦·克莱门特;Jean-Christophe Filliátre;米凯拉·梅耶罗;纪尧姆·梅尔金德;皮埃尔·韦斯 21 2013 真实分析的形式化：对校对助理和图书馆的调查。 Zbl 1364.68327号 西尔维·博尔多;凯瑟琳·勒雷;纪尧姆·梅尔金德 21 2016 结合Coq和Gappa来验证浮点程序。 Zbl 1247.68232号 西尔维·博尔多;Jean-Christophe Filliátre;纪尧姆·梅尔金德 10 2009 计算机算术和形式证明。使用Coq系统验证浮点算法。 Zbl 1385.68001号 西尔维·博尔多;纪尧姆·梅尔金德 10 2017 可信计算：从偏微分方程到实际程序的机械化证明。 Zbl 1369.35051号 西尔维·博尔多;弗朗索瓦·克莱门特;Jean-Christophe Filliátre;米凯拉·梅耶罗;纪尧姆·梅尔金德;皮埃尔·韦斯 10 2014 波动方程解方案的形式证明：方法误差。 Zbl 1291.68329号 西尔维·博尔多;弗朗索瓦·克莱门特;Jean-Christophe Filliátre;米凯拉·梅耶罗;纪尧姆·梅尔金德;皮埃尔·韦斯 9 2010 改进Coq中的实际分析：一种用户友好的积分和导数方法。 Zbl 1383.68070号 西尔维·博尔多;凯瑟琳·勒雷;纪尧姆·梅尔金德 8 2012 完全浮点证明的缺陷：Veltkamp/Dekker算法的形式证明示例。 Zbl 1222.65156号 西尔维·博尔多 7 2006 浮子和绳索：正式数值程序验证的案例研究。 Zbl 1248.65045号 西尔维·博尔多 7 2009 计算前导项和后继项，四舍五入到最接近的值。 兹比尔1196.65089 齐格弗里德·M·臀部。;保罗·齐默尔曼;西尔维·博尔多;纪尧姆·梅尔金德 7 2009 FMA和正确舍入和的仿真：使用舍入到奇数的证明算法。 Zbl 1388.65200号 西尔维·博尔多;纪尧姆·梅尔金德 7 2008 数字程序的形式验证：从C注释程序到机械证明。 Zbl 1264.68054号 西尔维·博尔多;克劳德·马奇 5 2011 已验证浮点计算的编译。 Zbl 1331.68047号 西尔维·博尔多;雅克·亨利·乔尔丹;泽维尔·勒罗伊;纪尧姆·梅尔金德 5 2015 Kahan的正确判别计算算法最后得到了形式化证明。 Zbl 1367.65206号 西尔维·博尔多 4 2009 浮点展开重整化算法的形式化验证。 Zbl 1483.68479号 西尔维·博尔多;米奥拉乔尔德斯;Jean-Michel穆勒;瓦伦蒂娜·波佩斯库 3 2017 关于2Sum和Fast2Sum算法的鲁棒性。 Zbl 1484.65003号 西尔维·博尔多;斯特夫·格雷亚特;Jean-Michel穆勒 2 2017 FMA的精确和近似误差。 Zbl 1367.65072号 西尔维·博尔多;Jean-Michel穆勒 2 2011 非负函数勒贝格积分的Coq形式化。 Zbl 07538894号 西尔维·博尔多;弗朗索瓦·克莱门特;弗洛里安·费索尔;文森特·马丁;米凯拉·梅耶罗 2 2022 使用从最近到最近的点对偶数算法模拟从最近到零的“增强”浮点运算。 Zbl 07497357号 西尔维·博尔多;克里斯托弗·劳特;Jean-Michel穆勒 2 2021 浮点加法的最佳逆投影。 Zbl 07171729号 戴安·加洛瓦·旺;西尔维·博尔多;库克，帕斯卡 2 2020 一种简单的测试，用于验证Horner多项式规则的准确性。 Zbl 1077.65020号 西尔维·博尔多;马克·达马斯 1 2004 显式Runge-Kutta方法的舍入误差和异常行为分析。 Zbl 1495.65114号 西尔维·博尔多;弗洛里安·费索尔;亚历山大·查普托 1 2020 非负函数勒贝格积分的Coq形式化。 Zbl 07538894号 西尔维·博尔多;弗朗索瓦·克莱门特;弗洛里安·费索尔;文森特·马丁;米凯拉·梅耶罗 2 2022 使用从最近到最近的点对偶数算法模拟从最近到零的“增强”浮点运算。 Zbl 07497357号 西尔维·博尔多;克里斯托夫·劳特;Jean-Michel穆勒 2 2021 浮点加法的最佳逆投影。 Zbl 07171729号 戴安·加洛瓦·旺;西尔维·博尔多;库克，帕斯卡 2 2020 显式Runge-Kutta方法的舍入误差和异常行为分析。 Zbl 1495.65114号 西尔维·博尔多;弗洛里安·费索尔;亚历山大·查普托 1 2020 计算机算术和形式证明。使用Coq系统验证浮点算法。 Zbl 1385.68001号 西尔维·博尔多;纪尧姆·梅尔金德 10 2017 浮点展开重整化算法的形式化验证。 Zbl 1483.68479号 西尔维·博尔多;米奥拉乔尔德斯;Jean-Michel穆勒;瓦伦蒂娜·波佩斯库 3 2017 关于2Sum和Fast2Sum算法的鲁棒性。 Zbl 1484.65003号 西尔维·博尔多;斯特夫·格雷亚特;Jean-Michel穆勒 2 2017 真实分析的形式化：对校对助理和图书馆的调查。 Zbl 1364.68327号 西尔维·博尔多;凯瑟琳·勒雷;纪尧姆·梅尔金德 21 2016 Coquelicot：一个用户友好的Coq真实分析库。 Zbl 1322.68176号 西尔维·博尔多;凯瑟琳·勒雷;纪尧姆·梅尔金德 24 2015 已验证浮点计算的编译。 Zbl 1331.68047号 西尔维·博尔多;雅克·亨利·乔尔丹;泽维尔·勒罗伊;纪尧姆·梅尔金德 5 2015 可信计算：从偏微分方程到实际程序的机械化证明。 Zbl 1369.35051号 西尔维·博尔多;弗朗索瓦·克莱门特;Jean-Christophe Filliátre;米凯拉·梅耶罗;纪尧姆·梅尔金德;皮埃尔·韦斯 10 2014 波动方程数值解：C程序的综合机械化证明。 Zbl 1267.68208号 西尔维·博尔多;弗朗索瓦·克莱门特;Jean-Christophe Filliátre;米凯拉·梅耶罗;纪尧姆·梅尔金德;皮埃尔·韦斯 21 2013 改进Coq中的实际分析：一种用户友好的积分和导数方法。 Zbl 1383.68070号 西尔维·博尔多;凯瑟琳·勒雷;纪尧姆·梅尔金德 8 2012 数字程序的形式验证：从C注释程序到机械证明。 Zbl 1264.68054号 西尔维·博尔多;克劳德·马奇 5 2011 FMA的精确和近似误差。 Zbl 1367.65072号 西尔维·博尔多;Jean-Michel穆勒 2 2011 波动方程解方案的形式证明：方法误差。 Zbl 1291.68329号 西尔维·博尔多;弗朗索瓦·克莱门特;Jean-Christophe Filliátre;米凯拉·梅耶罗;纪尧姆·梅尔金德;皮埃尔·韦斯 9 2010 结合Coq和Gappa来验证浮点程序。 Zbl 1247.68232号 西尔维·博尔多;Jean-Christophe Filliátre;纪尧姆·梅尔金德 10 2009 浮子和绳索：正式数值程序验证的案例研究。 Zbl 1248.65045号 西尔维·博尔多 7 2009 计算前导项和后继项，四舍五入到最接近的值。 Zbl 1196.65089号 齐格弗里德·M·臀部。;保罗·齐默尔曼;西尔维·博尔多;纪尧姆·梅尔金德 7 2009 Kahan的正确判别计算算法最后得到了形式化证明。 Zbl 1367.65206号 西尔维·博尔多 4 2009 FMA和正确舍入和的仿真：使用舍入到奇数的证明算法。 Zbl 1388.65200号 西尔维·博尔多;纪尧姆·梅尔金德 7 2008 完全浮点证明的缺陷：Veltkamp/Dekker算法的形式证明示例。 兹比尔1222.65156 西尔维·博尔多 7 2006 一种简单的测试，用于验证Horner多项式规则的准确性。 Zbl 1077.65020号 西尔维·博尔多;马克·达马斯 1 2004 所有引用出版物 前5名被引用出版物 全部的 前5名187位作者引用 11 西尔维·博尔多 11 纪尧姆·梅尔金德 5 Jean-Michel穆勒 4 弗朗索瓦·克莱门特 4 西里尔·科恩 4 阿西亚·马布比 4 米凯拉·梅耶罗 4 鲍尔森、劳伦斯·查尔斯 4 齐格弗里德·迈克尔（Siegfried Michael），臀部 3 雷纳尔德·阿弗尔德 3 罗兰·科希托 3 Jean-Christophe Filliátre 3 克劳德·皮埃尔·珍妮罗德 3 埃里克·马丁·多雷尔 3 马里亚诺·莫斯卡托。 3 塞萨尔·穆尼奥斯。 3 Damien Rouhling公司 3 鲁克斯，皮埃尔 3 Laurent Théry 3 Thies，霍尔格 2 亚明·艾特阿默尔 2 弗朗索瓦·博博特 2 米歇尔·博雷尔 2 亚当·奇利帕拉 2 彼得·柯林斯。 2 伊娃·达鲁洛娃 2 纪尧姆·杜邦 2 亚伦·M·达特（Aaron M.Dutle）。 2 诺博鲁恩多 2 弗洛里安·费索尔 2 托马斯·格雷戈里 2 关、勇 2 费比安·伊姆勒 2 米查尔·科内奇 2 凯瑟琳·勒雷 2 李文达 2 李永东 2 尼古拉斯·路维特 2 克劳德·马奇 2 文森特·马丁 2 斯特凡·米奇 2 大田武史 2 小西，神道 2 Katsuhisa小崎 2 马克·潘特尔 2 安德烈·普拉泽 2 劳伦斯·里多 2 坂口和彦 2 石志平 2 托马斯·西布特·皮诺特 2 尼拉杰·库马尔·辛格 2 佛罗里达州斯坦伯格 2 劳拉·蒂托洛 2 王国辉 2 皮埃尔·韦斯 2 张敬之 1 卡明·阿巴特 1 罗莎·阿巴斯 1 沃尔夫冈·阿伦特 1 何塞·伊格纳西奥·阿利亚加 1 马克·安德隆 1 安德鲁·W·阿佩尔。 1 阿兰赛，Jesús 1 罗伯特·阿姆斯特朗。 1 罗克萨娜·阿萨耶什 1 杰里米·阿维加德 1 阿布拉莫·巴格纳拉 1 罗伯特·巴格纳拉 1 玛丽亚·巴雷达 1 索菲·伯纳德 1 纪尧姆·贝托伦 1 伊夫·贝托特 1 贾法尔·比亚扎尔 1 大卫·宾德尔。 1 法比奥·比塞利 1 罗伯托·布兰科 1 博查洛夫，A.N。 1 布兰登·伯勒 1 安东尼·博尔吉 1 Franz Brauße 1 布雷哈德，弗洛伦特 1 弗洛里安·班格尔 1 坎通纳，多梅尼科 1 尤恩·查特兰 1 陈奎夫 1 米歇尔·齐亚里 1 玛丽亚·克里斯塔基斯 1 瑟·特凡·乔巴赫 1 库克，帕斯卡 1 玛丽·安德烈·达·科尔·雅各布 1 巴勃罗·德·奥利维拉·卡斯特罗 1 大卫·迪福 1 埃利夫·丹尼斯 1 Jose Divasón 1 简·杜拉茨 1 阿德里安·杜里埃 1 阿巴斯·埃达拉特 1 尼古拉·埃夫斯蒂格涅夫（Nikolai M.Evstigneev）。 1 阿明·法朱迪安 1 傅耀顺 …还有87位作者 全部的 前5名29连载 18 自动推理杂志 5 形式化数学 4 计算与应用数学杂志 3 比特币 3 计算机科学中的数学 2 计算数学 2 MSCS公司。计算机科学中的数学结构 2 形式化推理杂志 1 计算机与数学及其应用 1 德国财政部（DMV） 1 富兰克林学院学报 1 ACM数学软件汇刊 1 理论计算机科学 1 信息与计算 1 计算的形式方面 1 日本工业与应用数学杂志 1 数值算法 1 实验数学 1 ETNA公司。数值分析电子交易 1 蒙特卡罗方法及其应用 1 数学与人工智能年鉴 1 约束条件 1 数字学报 1 应用与应用数学 1 计算机科学中的逻辑方法 1 国际生物医学工程数值方法杂志 1 计算与图形统计杂志 1 程序设计中的逻辑和代数方法杂志 1 伦敦皇家学会会刊。A.数学、物理和工程科学 全部的 前5名在25个字段中引用 73 计算机科学（68至XX） 40 数值分析（65-XX） 16 数学逻辑和基础（03-XX） 8 实函数（26年X月X日） 5 系统论；控制（93至XX） 3 常微分方程（34-XX） 3 偏微分方程（35-XX） 2 数论（11-XX） 2 拓扑群、李群（22日至XX日） 2 动力系统和遍历理论（37至XX） 2 统计学（62-XX） 1 历史和传记（01-XX） 1 组合数学（05-XX） 1 代数几何（14-XX） 1 线性代数和多线性代数；矩阵理论（15-XX） 1 群论与推广（20-XX） 1 测量和集成（28-XX） 1 复变量的函数（30年XX月） 1 变分法与最优控制；最优化（49至XX） 1 一般拓扑结构（54至XX） 1 概率论与随机过程（60-XX） 1 流体力学（76-XX） 1 经典热力学，传热（80-XX） 1 量子理论（81-XX） 1 信息与通信理论、电路（94-XX） 按年份列出的引文