×
作者ID: 特里·劳伦特最近由“Théry,Laurent”撰写的zbMATH文章
发布日期: Laurent Théry;洛朗·塞利;塞里·L·。
已编制索引的文档: 28出版物自1993年起
2作为编辑的贡献
合著者: 40位合著者具有23联合出版物
609合著作者

按年份列出的出版物

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位作者

按年份列出的引文