编辑配置文件(在新选项卡中打开) Laurent Théry 合著者距离 作者ID: 特里·劳伦特 发布日期: Laurent Théry;洛朗·塞利;塞里·L·。 更多。。。较少的 已编制索引的文档: 28出版物自1993年起 2作为编辑的贡献 合著者: 40位合著者具有23联合出版物 609合著作者 全部的 前5名合著者 5 单作者的 5 本杰明·格雷戈里 4 伊夫·贝托特 4 劳伦斯·里多 2 米歇尔·阿尔芒 2 西里尔·科恩 2 福斯,劳伦特 2 乔治·戈蒂尔 2 纪尧姆·汉罗 2 吉勒斯·卡恩 2 阿西娅·马赫布比 2 弗洛里安·斯坦伯格 2 恩里科·塔西 2 霍尔格·蒂斯 2 本杰明·沃纳 1 安德烈亚·阿斯佩蒂 1 杰里米·阿维加德 1 布洛特,亚瑟 1 陈然 1 雅恩·科斯科伊 1 马克·达马斯 1 Gilles Dowek 1 德国福雷 1 艾米·费尔蒂(Amy P.Felty)。 1 弗朗索瓦·加里洛 1 安德烈·赫肖维茨 1 香塔尔·凯勒 1 圣埃芬·勒鲁 1 皮埃尔·勒图泽伊 1 珍妮·雅克·利维 1 埃里克·马丁·多雷尔 1 米凯拉·梅耶罗 1 Jean-Michel穆勒 1 罗素·奥康纳 1 乌尔德·比哈,西迪 1 爱荷华州帕什卡 1 克里斯汀·波林 1 洛伊奇,波蒂埃 1 阿列克谢·索洛维耶夫 1 阿诺·斯皮瓦克 1 弗里克·威迪杰克 全部的 前5名系列 4 自动推理杂志 1 符号计算杂志 1 应用Clifford代数的进展 1 计算机科学课堂讲稿 1 计算机科学中的数学 1 计算机科学中的逻辑方法 全部的 前5名领域 30 计算机科学(68至XX) 9 数理逻辑与基础(03-XX) 6 数论(11-XX) 4 数值分析(65-XX) 2 总体主题;集合(00-XX) 2 群论与推广(20-XX) 1 交换代数(13-XX) 1 线性代数和多线性代数;矩阵理论(15-XX) 1 几何图形(51-XX) 按年份列出的出版物 所有引用出版物 排名前五的出版物 zbMATH Open中包含的引文 23出版物有被引用246中的次216文件 引用人▼ 年份▼ 一台机器检验了奇阶定理的证明。 Zbl 1317.68211号 乔治·戈蒂尔;安德烈亚·阿斯佩蒂;杰里米·阿维加德;伊夫·贝托特;西里尔·科恩;弗朗索瓦·加里洛;勒鲁克斯,圣潘;阿西亚·马布比;罗素·奥康纳;乌尔德·比哈,西迪;爱荷华州帕斯卡;劳伦斯·里多;阿列克谢·索洛维耶夫;恩里科·塔西;Laurent Théry 66 2013 怀疑论者结合HOL和Maple的方法。 Zbl 0916.68142号 J·哈里森。;塞里·L·。 26 1998 有限群论的模块化形式。 Zbl 1144.68356号 乔治·戈蒂尔;阿西亚·马布比;劳伦斯·里多;恩里科·塔西;Laurent Théry 21 2007 SAT/SMT解算器通过证据证人与Coq的模块化集成。 Zbl 1350.68223号 迈克尔·阿尔芒;德国福雷;本杰明·格雷戈里;香塔尔·凯勒;Laurent Théry;本杰明·沃纳 21 2011 浮点数的通用库及其在精确计算中的应用。 Zbl 1005.68544号 马克·达马斯;劳伦斯·里多;Laurent Théry 18 2001 用命令式功能扩展Coq及其在SAT验证中的应用。 Zbl 1291.68318号 米歇尔·阿尔芒;本杰明·格雷戈里;阿诺·斯皮瓦克;劳伦特·泰里 15 2010 用二叉树实现几何代数乘积。 Zbl 1311.68147号 福斯,劳伦特;Laurent Théry 9 2014 代数证明证书及其在几何定理自动证明中的应用。 Zbl 1302.68242号 本杰明·格雷戈伊尔;洛伊奇,波蒂埃;Laurent Théry 8 2011 Coq中Grassmann-Cayley代数的形式化及其在射影几何定理证明中的应用。 Zbl 1350.68233号 福斯,劳伦特;Laurent Théry 8 2011 椭圆曲线的素数证明。 Zbl 1144.68367号 Laurent Théry;纪尧姆·汉罗 7 2007 Buchberger算法的机器检查实现。 Zbl 0964.03012号 Laurent Théry 7 2001 模运算的纯函数库及其在证明大素数中的应用。 Zbl 1222.68363号 本杰明·格雷戈里;Laurent Théry 6 2006 关于现实的推理:HOL和Maple的婚姻。 Zbl 0793.68084号 约翰·哈里森;Laurent Théry 6 1993 类型理论中Pocklington证书的计算方法。 Zbl 1185.68621号 本杰明·格雷戈里;劳伦特·泰里;本杰明·沃纳 5 2006 通过指点证明。 Zbl 0942.03504号 伊夫·贝托特;吉勒斯·卡恩;Laurent Théry 4 1994 证明珍珠:克努思的素数算法。 Zbl 1279.68298号 Laurent Théry 三 2003 从校样中提取文本。 Zbl 1063.68647号 雅恩·科斯科伊;吉勒斯·卡恩;劳伦特·泰里 三 1995 高阶逻辑中的定理证明。第12届国际会议,TPHOLs’99。1999年9月14日至17日,法国尼斯。诉讼程序。 Zbl 0929.00038号 三 1999 经过正式验证的证书检查器,用于最严格的计算。 Zbl 1315.68222号 埃里克·马丁·多雷尔;纪尧姆·汉罗;米凯拉·梅耶罗;Laurent Théry 2 2015 距离小数\(\pi\):一些计算它们的算法的形式证明和精确计算的保证。 Zbl 1448.68455号 伊夫·贝托特;劳伦斯·里多;Laurent Théry 2 2018 可计算分析和连续性概念Coq公司. Zbl 07350782号 弗洛里安·斯坦伯格;洛朗·塞利;霍尔格·蒂斯 2 2021 Buchberger算法的认证版本。 Zbl 0924.03025号 Laurent Théry 2 1998 Why3、Coq和Isabelle中Tarjan强连通分量算法的形式化证明。 Zbl 07649962号 陈,冉;西里尔·科恩;珍妮·雅克·莱维;斯蒂芬·默兹;Laurent Théry 2 2019 可计算分析和连续性概念Coq公司. Zbl 07350782号 弗洛里安·斯坦伯格;洛朗·塞利;霍尔格·蒂斯 2 2021 Why3、Coq和Isabelle中Tarjan强连通分量算法的形式化证明。 Zbl 07649962号 陈然;西里尔·科恩;珍妮·雅克·莱维;斯蒂芬·默兹;Laurent Théry 2 2019 距离小数\(\pi\):一些计算它们的算法的形式证明和精确计算的保证。 Zbl 1448.68455号 伊夫·贝托特;劳伦斯·里多;Laurent Théry 2 2018 经过正式验证的证书检查器,用于最严格的计算。 Zbl 1315.68222号 埃里克·马丁·多雷尔;纪尧姆·汉罗;米凯拉·梅耶罗;Laurent Théry 2 2015 用二叉树实现几何代数乘积。 Zbl 1311.68147号 福斯,劳伦特;Laurent Théry 9 2014 奇数阶定理的机器检验证明。 Zbl 1317.68211号 乔治·戈蒂尔;安德烈亚·阿斯佩蒂;杰里米·阿维加德;伊夫·贝尔托;西里尔·科恩;弗朗索瓦·加里洛;勒鲁(Le Roux,Stéphane);阿西亚·马布比;运营;罗素·康纳;乌尔德·比哈,西迪;爱荷华州帕斯卡;劳伦斯·里多;阿列克谢·索洛维耶夫;恩里科·塔西;Laurent Théry 66 2013 SAT/SMT解算器通过证据证人与Coq的模块化集成。 Zbl 1350.68223号 阿尔芒,迈克尔;德国福雷;本杰明·格雷戈里;香塔尔·凯勒;Laurent Théry;本杰明·沃纳 21 2011 代数证明证书及其在几何定理自动证明中的应用。 Zbl 1302.68242号 本杰明·格雷戈里;洛伊奇,波蒂埃;Laurent Théry 8 2011 Coq中Grassmann-Cayley代数的形式化及其在射影几何定理证明中的应用。 Zbl 1350.68233号 福斯,劳伦特;Laurent Théry 8 2011 用命令式功能扩展Coq及其在SAT验证中的应用。 Zbl 1291.68318号 米歇尔·阿尔芒;本杰明·格雷戈里;阿诺·斯皮瓦克;Laurent Théry 15 2010 有限群论的模块化形式。 Zbl 1144.68356号 乔治·戈蒂尔;阿西娅·马赫布比;劳伦斯·里多;恩里科·塔西;Laurent Théry 21 2007 椭圆曲线的素数证明。 Zbl 1144.68367号 Laurent Théry;纪尧姆·汉罗 7 2007 模运算的纯函数库及其在证明大素数中的应用。 Zbl 1222.68363号 本杰明·格雷戈里;Laurent Théry 6 2006 类型理论中Pocklington证书的计算方法。 Zbl 1185.68621号 本杰明·格雷戈伊尔;Laurent Théry;本杰明·沃纳 5 2006 证明珍珠:Knuth的质数算法。 Zbl 1279.68298号 Laurent Théry 三 2003 浮点数的通用库及其在精确计算中的应用。 Zbl 1005.68544号 马克·达马斯;劳伦斯·里多;Laurent Théry 18 2001 Buchberger算法的机器检查实现。 Zbl 0964.03012号 Laurent Théry 7 2001 高阶逻辑中的定理证明。第12届国际会议,TPHOLs’99。1999年9月14日至17日,法国尼斯。诉讼程序。 Zbl 0929.00038号 三 1999 怀疑论者结合HOL和Maple的方法。 Zbl 0916.68142号 J·哈里森。;塞里·L·。 26 1998 Buchberger算法的认证版本。 Zbl 0924.03025号 劳伦特·泰里 2 1998 从校样中提取文本。 Zbl 1063.68647号 雅恩·科斯科伊;吉勒斯·卡恩;Laurent Théry 三 1995 通过指点证明。 兹比尔0942.03504 伊夫·贝托特;吉勒斯·卡恩;Laurent Théry 4 1994 关于现实的推理:HOL和Maple的婚姻。 Zbl 0793.68084号 约翰·哈里森;Laurent Théry 6 1993 所有引用出版物 排名前五的出版物 全部的 前5名被369位作者引用 9 纪尧姆·梅尔金德 7 Laurent Théry 6 安德烈亚·阿斯佩蒂 6 西尔维·博尔多 6 阿西亚·马布比 6 朱利安·纳布克斯 6 劳伦斯·查尔斯·保尔森 6 索菲涅·塔哈尔 5 西里尔·科恩 5 克劳迪奥·萨塞尔多蒂·科恩 5 帕斯卡·施雷克 4 雷纳尔德·阿弗尔德 4 泽维尔·阿拉米吉恩 4 贾斯敏·克里斯蒂安·布兰切特 4 克里斯蒂安·多兹卡尔 4 塞萨里·卡利西克 4 迈克尔·科尔哈斯 4 弗洛里安·拉贝 4 劳伦斯·里多 4 格特·斯莫尔卡 4 恩里科·塔西 三 亚历山德罗·阿曼多 三 杰里米·阿维加德 三 伊夫·贝托特 三 Böhme,萨沙 三 斯特凡·布鲁伊斯 三 可口、蒂埃里 三 Jean-Christophe Filliátre 三 马蒂亚斯·弗勒里 三 福斯,劳伦特 三 乔治·戈蒂尔 三 伊曼纽尔·冈瑟 三 乔纳森·赫拉斯 三 贾尼契奇,普雷德拉格 三 里卡多·戴维·卡茨 三 米凯拉·梅耶罗 三 亚当·纳莫维奇 三 文森特·诺齐克 三 米盖尔·帕加诺 三 威尔默·里奇奥蒂 三 达米恩·鲁灵 三 霍尔格·蒂斯 2 贝扎德·阿克巴普尔 2 杰苏斯·阿兰塞 2 克莱门斯·巴拉林 2 哈尼尔·巴博萨 2 皮埃尔·布特里 2 托马斯·布雷班特 2 加布里埃尔·布劳恩 2 奥尔加·卡普洛蒂 2 陈兴伦 2 弗朗索瓦·克莱门特 2 罗兰·科希托 2 亚历山德罗·科利奥 2 阿杰·马赛尔·科恩 2 库卡斯·扎伊卡 2 Jose Divasón 2 斯特凡妮娅·邓布拉娃 2 艾哈迈德·霍斯尼开斋节 2 Farmer,William M。 2 福斯托·金奇利亚 2 本杰明·格雷戈里 2 托马斯·卡利斯特·黑尔斯 2 奥斯曼·哈桑 2 Krzysztof卡普尔金 2 Khan Afshar,萨纳兹 2 弗拉基米尔·科门丹斯基 2 Olexandr科诺瓦洛夫 2 李丽明 2 李文达 2 斯蒂芬·林顿(Stephen A.Linton)。 2 尼古拉斯·马高 2 维克多·马格伦 2 格雷戈里·马莱查 2 亚历山大·马列茨基 2 克劳德·马奇 2 菲利普·马里奇 2 埃里克·马丁·多雷尔 2 大卫·莫尼奥(David P.Monniaux)。 2 让·米歇尔·穆勒 2 托比亚斯·尼普科 2 诺里斯,迈克尔 2 Oe,Duckki(杜基·欧) 2 乌尔德·比哈,西迪 2 爱荷华州帕什卡 2 Damien Pous 2 阿恩·兰塔 2 安德鲁·雷诺兹 2 皮埃尔·鲁克斯 2 鲁比奥·加西亚、朱利奥·杰苏斯 2 坂口和彦 2 佩德罗·桑切斯·特拉夫 2 塞迪基,昂山素季 2 Natarajan Shankar 2 托马斯·西布特·皮诺特 2 乌迈尔·西迪克 2 阿列克谢·索洛维耶夫 2 索索、马蒂厄 2 溅出物,Bas 2 弗洛里安·斯坦伯格 …还有269位作者 全部的 前5名40篇连载文章被引用 37 自动推理杂志 14 符号计算杂志 9 MSCS公司。计算机科学中的数学结构 7 系统设计中的形式化方法 7 应用Clifford代数的进展 6 计算机科学中的数学 4 数学与人工智能年鉴 三 理论计算机科学 三 纯逻辑与应用逻辑年鉴 三 计算机科学中的逻辑方法 三 形式化推理杂志 2 人工智能 2 合成 2 信息与计算 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 组、复杂性、密码学 1 符号逻辑述评 1 数学论坛,Pi 1 膜计算杂志 全部的 前5名30个领域被引用 196 计算机科学(68至XX) 57 数理逻辑与基础(03-XX) 17 数值分析(65-XX) 11 数论(11-XX) 9 交换代数(13-XX) 9 线性代数和多线性代数;矩阵理论(15-XX) 9 几何图形(51-XX) 7 总体主题;集合(00-XX) 5 范畴理论;同调代数(18-XX) 5 代数拓扑(55-XX) 4 场论和多项式(12-XX) 4 代数几何(14-XX) 4 实函数(26年X月X日) 三 群论与推广(20-XX) 2 特殊功能(33至XX) 2 偏微分方程(35-XX) 2 凸和离散几何(52至XX) 2 运筹学、数学规划(90-XX) 2 博弈论、经济学、金融和其他社会和行为科学(91-XX) 2 信息与通信理论、电路(94-XX) 2 数学教育(97-XX) 1 历史和传记(01-XX) 1 阶、格、有序代数结构(06-XX) 1 结合环与代数(16-XX) 1 复变量的函数(30年XX月) 1 常微分方程(34-XX) 1 功能分析(46倍X倍) 1 光学、电磁理论(78-XX) 1 量子理论(81-XX) 1 系统论;控制(93至XX) 按年份列出的引文