编辑配置文件（在新选项卡中打开） 劳伦斯·里多 合著者距离 作者ID： rideau.laurence公司 发布日期： 劳伦斯·里多;里多，L。 已编制索引的文档： 9出版物自2001年起 1名编辑贡献 合著者： 28位合著者具有10联合出版物 450位合作作者 全部的 前5名合著者 0 单作者的 4 Laurent Théry 三 乔治·戈蒂尔 三 阿西亚·马布比 2 伊夫·贝托特 2 弗朗索瓦·加里洛 2 恩里科·塔西 1 安德烈亚·阿斯佩蒂 1 谢尔盖·奥特西尔 1 杰里米·阿维加德 1 雅克·卡梅特 1 西里尔·科恩 1 马克·达马斯 1 大卫·德拉哈耶 1 马克西姆·邓内斯 1 乔纳森·赫拉斯 1 帕特里克·D·F·伊恩。 1 圣埃芬·勒鲁 1 泽维尔·勒罗伊 1 让·米歇尔·穆勒 1 H·纳西里。 1 罗素·奥康纳 1 乌尔德·比哈，西迪 1 爱荷华州帕什卡 1 玛丽亚·波扎 1 雷诺·里奥博 1 伯纳德·保罗·塞尔佩特 1 艾伦·P·塞克斯顿。 1 阿列克谢·索洛维耶夫 系列 2 自动推理杂志 1 ACM数学软件汇刊 1 计算机科学课堂讲稿 全部的 前5名领域 9 计算机科学（68至XX） 三 数值分析（65-XX） 2 数学逻辑和基础（03-XX） 2 群论与推广（20-XX） 1 总体主题；集合（00-XX） 1 数论（11-XX） 1 代数拓扑（55-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 9出版物有被引用147中的次130文件 引用人▼ 年份▼ 奇数阶定理的机器检验证明。 Zbl 1317.68211号 乔治·戈蒂尔;安德烈亚·阿斯佩蒂;杰里米·阿维加德;伊夫·贝托特;西里尔·科恩;弗朗索瓦·加里洛;勒鲁（Le Roux，Stéphane）;阿西亚·马布比;罗素·奥康纳;乌尔德·比哈，西迪;爱荷华州帕斯卡;劳伦斯·里多;阿列克谢·索洛维耶夫;恩里科·塔西;Laurent Théry 67 2013 包装数学结构。 Zbl 1252.68253号 弗朗索瓦·加里洛;乔治·戈蒂尔;阿西亚·马布比;劳伦斯·里多 31 2009 有限群论的模块化形式。 Zbl 1144.68356号 乔治·戈蒂尔;阿西亚·马布比;劳伦斯·里多;恩里科·塔西;Laurent Théry 21 2007 浮点数的通用库及其在精确计算中的应用。 Zbl 1005.68544号 马克·达马斯;劳伦斯·里多;Laurent Théry 18 2001 智能计算机数学。2010年7月5日至10日，第十届国际会议，AISC 2010，第十七届研讨会，Calculemus 2010，第九届国际会议MKM 2010，法国巴黎。诉讼程序。 Zbl 1194.68011号 三 2010 使用Coq在风车上倾斜：并行移动编译算法的形式验证。 Zbl 1140.68491号 劳伦斯·里多;伯纳德·保罗·塞尔佩特;泽维尔·勒罗伊 2 2008 Coq/SSReflect中形式化的关联简单矩阵。 Zbl 1335.68229号 乔纳森·赫拉斯;波扎，玛丽亚;马克西姆·邓内斯;劳伦斯·里多 2 2011 距离小数\（\pi\）：一些计算它们的算法的形式证明和精确计算的保证。 Zbl 1448.68455号 伊夫·贝托特;劳伦斯·里多;Laurent Théry 2 2018 双字算术的形式化，以及对“双字算术基本构造块的严格误差界限”的评论。 兹标07500134 Jean-Michel穆勒;劳伦斯·里多 1 2022 双字算术的形式化，以及对“双字算术基本构造块的严格误差界限”的评论。 Zbl 07500134号 Jean-Michel穆勒;劳伦斯·里多 1 2022 距离小数\（\pi\）：一些计算它们的算法的形式证明和精确计算的保证。 Zbl 1448.68455号 伊夫·贝托特;劳伦斯·里多;Laurent Théry 2 2018 奇数阶定理的机器检验证明。 Zbl 1317.68211号 乔治·戈蒂尔;安德烈亚·阿斯佩蒂;杰里米·阿维加德;伊夫·贝托特;西里尔·科恩;弗朗索瓦·加里洛;勒鲁（Le Roux，Stéphane）;阿西亚·马布比;运营；罗素·康纳;乌尔德·比哈，西迪;爱荷华州帕斯卡;劳伦斯·里多;阿列克谢·索洛维耶夫;恩里科·塔西;Laurent Théry 67 2013 Coq/SSReflect中形式化的关联单纯形矩阵。 Zbl 1335.68229号 乔纳森·赫拉斯;玛丽亚·波扎;马克西姆·邓内斯;劳伦斯·里多 2 2011 智能计算机数学。2010年7月5日至10日，第十届国际会议，AISC 2010，第十七届研讨会，Calculemus 2010，第九届国际会议MKM 2010，法国巴黎。诉讼程序。 Zbl 1194.68011号 三 2010 包装数学结构。 Zbl 1252.68253号 弗朗索瓦·加里洛;乔治·戈蒂尔;阿西亚·马布比;劳伦斯·里多 31 2009 使用Coq在风车上倾斜：并行移动编译算法的形式验证。 Zbl 1140.68491号 劳伦斯·里多;伯纳德·保罗·塞尔佩特;泽维尔·勒罗伊 2 2008 有限群论的模块化形式。 Zbl 1144.68356号 乔治·戈蒂尔;阿西亚·马布比;劳伦斯·里多;恩里科·塔西;Laurent Théry 21 2007 浮点数的通用库及其在精确计算中的应用。 Zbl 1005.68544号 马克·达马斯;劳伦斯·里多;Laurent Théry 18 2001 所有引用出版物 前5名被引用出版物 全部的 前5名228位作者引用 8 纪尧姆·梅尔金德 7 西尔维·博尔多 6 雷纳尔德·阿弗尔德 6 劳伦斯·查尔斯·保尔森 6 弗洛里安·拉贝 5 塞萨里·卡利西克 5 约瑟夫·乌尔班 4 安德烈亚·阿斯佩蒂 4 西里尔·科恩 4 克里斯蒂安·多兹卡尔 4 迈克尔·科尔哈斯 4 阿西亚·马布比 4 格特·斯莫尔卡 三 杰苏斯·阿兰塞 三 杰里米·阿维加德 三 Jean-Christophe Filliátre 三 乔治·戈蒂尔 三 乔纳森·赫拉斯 三 劳伦斯·里多 三 Damien Rouhling公司 三 恩里科·塔西 三 Laurent Théry 2 泽维尔·阿拉米吉恩 2 伊夫·贝托特 2 雅克·卡雷特 2 弗朗索瓦·克莱门特 2 可口、蒂埃里 2 Jose Divasón 2 德里克·德雷尔（Derek R.Dreyer）。 2 斯特凡妮娅·邓布拉娃 2 Farmer，William M。 2 雅克·加里格 2 伊曼纽尔·冈瑟 2 Krzysztof卡普尔金 2 里卡多·戴维·卡茨 2 弗拉基米尔·科门丹斯基 2 Olexandr科诺瓦洛夫 2 克雷伯斯，罗伯特 2 李文达 2 斯蒂芬·林顿（Stephen A.Linton）。 2 克劳德·马奇 2 米凯拉·梅耶罗 2 Jean-Michel穆勒 2 托比亚斯·尼普科 2 迈克尔·诺里什 2 罗素·奥康纳 2 乌尔德·比哈，西迪 2 米盖尔·帕加诺 2 爱荷华州帕什卡 2 威尔默·里奇奥蒂 2 鲁比奥·加西亚、朱利奥·杰苏斯 2 克劳迪奥·萨塞尔多蒂·科恩 2 高福美斋川 2 坂口和彦 2 阿列克谢·索洛夫耶夫 2 溅出物，Bas 2 弗洛里安·斯坦伯格 2 萨那斯托亚诺维奇 2 Pierre-Yves支柱 2 索菲涅·塔哈尔 2 霍尔格·蒂斯 2 皮埃尔·韦斯 2 贝塔·齐利安尼 1 马克·亚当斯 1 罗宾·亚当斯 1 阿伦斯，贝内迪克特 1 贝扎德·阿克巴普尔 1 杰西·阿拉玛 1 马克·安德隆 1 安德鲁·W·阿佩尔。 1 阿拉斯代尔·阿姆斯特朗 1 安德烈亚·博尔赫斯·艾弗拉尔 1 史蒂夫·阿沃迪 1 阿亚德，阿里 1 毛里西奥·阿亚拉·林科恩 1 克莱门斯·巴拉林 1 格拉泽戈兹·班塞雷克 1 布鲁诺·巴拉斯 1 格特鲁德·鲍尔 1 维罗尼克·本扎肯 1 克里斯托夫·贝尔格 1 索菲·伯纳德 1 大卫·宾德尔。 1 拉尔斯·比克达尔 1 阿列舍·比兹亚克 1 贾斯敏·克里斯蒂安·布兰切特 1 安吉拉·博尼法蒂 1 安东尼·博尔吉 1 布莱恩，马丁 1 布林克，卡斯珀 1 托马斯·布朗宁。 1 凯文·巴扎德 1 Czesław拜林斯基 1 陈兴伦 1 普尔泽米斯劳·乔杰基 1 彼得·柯林斯。 1 伊芙琳·孔特让 1 库卡斯·扎伊卡 1 Dang，Tat Dat公司 1 马克·达马斯 …还有128位作者 全部的 前5名34篇连载文章中引用 17 自动推理杂志 10 MSCS公司。计算机科学中的数学结构 5 函数编程杂志 4 计算机科学中的数学 三 理论计算机科学 三 信息与计算 三 系统设计中的形式化方法 三 计算机科学中的逻辑方法 三 形式化推理杂志 2 合成 2 纯逻辑与应用逻辑年鉴 2 实验数学 2 数学与人工智能年鉴 2 伦敦皇家学会哲学汇刊。A.数学、物理和工程科学 1 人工智能 1 计算机与数学及其应用 1 数学信使 1 ACM数学软件汇刊 1 比特币 1 数学经济学杂志 1 符号计算杂志 1 计算的形式方面 1 美国数学学会公报。新系列 1 Indagationes Mathematicae公司。新系列 1 工程、通信和计算中的应用代数 1 高阶与符号计算 1 逻辑程序设计理论与实践 1 代数、数论与应用杂志 1 ACM计算逻辑事务 1 数字学报 1 符号逻辑述评 1 数学论坛，Pi 1 伦敦皇家学会会刊。A.数学、物理和工程科学 1 膜计算杂志 全部的 前5名在24个字段中引用 117 计算机科学（68至XX） 37 数学逻辑和基础（03-XX） 14 数值分析（65-XX） 7 总体主题；集合（00-XX） 6 范畴理论；同调代数（18-XX） 5 代数拓扑（55-XX） 4 数论（11-XX） 4 实际功能（26年X月X日） 三 场论和多项式（12-XX） 三 线性代数和多线性代数；矩阵理论（15-XX） 2 历史与传记（01-XX） 2 交换代数（13-XX） 2 代数几何（14-XX） 2 群论与推广（20-XX） 2 偏微分方程（35-XX） 1 阶、格、有序代数结构（06-XX） 1 结合环与代数（16-XX） 1 特殊功能（33至XX） 1 常微分方程（34-XX） 1 凸和离散几何（52至XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 1 生物学和其他自然科学（92-XX） 1 信息与通信理论、电路（94-XX） 1 数学教育（97-XX） 按年份列出的引文