编辑配置文件（在新选项卡中打开） 肖恩·麦克劳林 合著者距离 作者ID： 麦克劳克林·肖恩 发布日期： 肖恩·麦克劳林;肖恩·麦克劳克林 主页： http://www.cs.cmu.edu/~seanmcl/papers/index.html 外部链接： 数据库许可证 已编制索引的文档： 10出版物自2005年以来 合著者： 41位合著者具有8联合出版物 592合著作者 全部的 前5名合著者 1 单作者的 三 托马斯·卡利斯特·黑尔斯 2 托比亚斯·尼普科 2 史蒂文·奥布阿 2 弗兰克·芬宁 2 罗兰·祖姆凯勒 1 马克·亚当斯 1 背，约翰 1 克拉克·W·巴雷特。 1 格特鲁德·鲍尔 1 尤利西斯·贝鲁埃科 1 布雷，泰勒 1 丹尼尔·布里姆 1 拜伦·库克 1 Dang，Tat Dat公司 1 安德鲁·加塞克 1 葛叶婷 1 吉姆·格兰迪 1 何昂·利特尔·何昂·利特尔·何昂·利特尔·何昂·利特尔·何昂·利特尔·何昂·利特尔·何昂·利特尔·何昂·利特尔·何昂·利特尔·何昂·利特尔·何昂 1 兰吉特·贾拉 1 塞萨里·卡利西克 1 萨瓦·A·克里斯蒂。 1 卡斯珀·瑟·勒科夫 1 维克托·马格伦 1 汤姆·梅尔姆 1 马达夫·梅农 1 阮广忠 1 阮大唐 1 丹尼尔·皮布尔斯 1 约瑟夫·普莱索 1 乌贾瓦尔省普加利亚 1 内哈·隆塔 1 科尔·施莱辛格 1 亚当·斯科迪 1 阿列克谢·索洛维耶夫 1 TạThịHoái An 1 安维斯·铃木 1 南庄Tran 1 特里厄·蒂迪普 1 约瑟夫·乌尔班 1 卡斯滕·瓦明 1 迪帕·维斯瓦纳坦 系列 1 离散和计算几何 1 美国数学学会杂志 1 数学论坛，Pi 领域 8 计算机科学（68至XX） 4 数学逻辑和基础（03-XX） 三 凸和离散几何（52至XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 10出版物有被引用132中的次123文件 引用人▼ 年份▼ 开普勒猜想的形式证明。 Zbl 1379.52018年 托马斯·黑尔斯;马克·亚当斯;格特鲁德·鲍尔;Dang，Tat Dat公司;约翰·哈里森;黄乐忠;塞萨里·卡利西克;维克托·马格伦;肖恩·麦克劳林;阮大唐;阮广忠;托比亚斯·尼普科;史蒂文·奥布阿;约瑟夫·普莱索;杰森，鲁特;阿列克谢·索洛维耶夫;Ta，Thi Hoai An先生;南庄Tran;特里厄·蒂迪普;约瑟夫·乌尔班;武、基;罗兰·祖姆凯勒 53 2017 开普勒猜想证明的修正。 Zbl 1195.52004号 托马斯·黑尔斯（Thomas C.Hales）。;约翰·哈里森;肖恩·麦克劳林;托比亚斯·尼普科;史蒂文·奥布阿;罗兰·祖姆凯勒 18 2010 实数运算的证明性决策过程。 Zbl 1135.03329号 肖恩·麦克劳林;约翰·哈里森 16 2005 合作定理证明器：结合HOL-Light和CVC-Lite的案例研究。 Zbl 1272.68362号 肖恩·麦克劳克林;克拉克·巴雷特;葛叶婷 14 2006 十二面体猜想。 Zbl 1207.52017年 托马斯·黑尔斯（Thomas C.Hales）。;肖恩·麦克劳林 10 2010 Imogen：专注于直觉主义命题逻辑的极化逆方法。 Zbl 1182.68212号 肖恩·麦克劳林;弗兰克·芬宁 8 2008 《HOL Light》中伊莎贝尔/HOL的解读。 Zbl 1222.68370号 肖恩·麦克劳林 6 2006 用极化逆方法证明直觉定理。 Zbl 1250.03019号 肖恩·麦克劳林;弗兰克，普芬宁 4 2009 访问控制策略的分层抽象。 Zbl 1478.68029号 约翰·拜克斯;尤利西斯·贝鲁埃科;布雷，泰勒;丹尼尔·布里姆;拜伦·库克;安德鲁·加塞克;兰吉特·贾拉;卡斯珀·勒科夫;肖恩·麦克劳林;马达夫·梅农;丹尼尔·皮布尔斯;乌贾瓦尔省普加利亚;内哈·隆塔;科尔·施莱辛格;亚当·斯科迪;安维斯·铃木;卡斯滕·瓦明;迪帕·维斯瓦纳坦 2 2020 一阶解算器API的工具构建要求。 Zbl 1272.68358号 吉姆·格兰迪;汤姆·梅尔姆;萨瓦·克里斯蒂奇;肖恩·麦克劳林 1 2006 访问控制策略的分层抽象。 Zbl 1478.68029号 约翰·拜克斯;尤利西斯·贝鲁埃科;布雷，泰勒;丹尼尔·布里姆;拜伦·库克;安德鲁·加塞克;兰吉特·贾拉;卡斯珀·勒科夫;肖恩·麦克劳林;马达夫·梅农;皮布尔斯，丹尼尔;乌贾瓦尔省普加利亚;内哈·隆塔;科尔·施莱辛格;亚当·斯科迪;安维斯·铃木;卡斯滕·瓦明;迪帕·维斯瓦纳坦 2 2020 开普勒猜想的形式证明。 Zbl 1379.52018年 托马斯·黑尔斯;马克·亚当斯;格特鲁德·鲍尔;Dang，Tat Dat公司;约翰·哈里森;黄乐忠;塞萨里·卡利西克;维克托·马格伦;肖恩·麦克劳林;阮大唐;阮广忠;托比亚斯·尼普科;史蒂文·奥布阿;约瑟夫·普莱索;杰森·鲁特;阿列克谢·索洛维耶夫;Ta，Thi Hoai An先生;南庄Tran;提厄，提迪普;约瑟夫·乌尔班;武、基;罗兰·祖姆凯勒 53 2017 开普勒猜想证明的修正。 Zbl 1195.52004号 托马斯·黑尔斯（Thomas C.Hales）。;约翰·哈里森;肖恩·麦克劳林;托比亚斯·尼普科;史蒂文·奥布阿;罗兰·祖姆凯勒 18 2010 十二面体猜想。 兹比尔1207.52017 托马斯·哈尔斯。;肖恩·麦克劳林 10 2010 用极化逆方法证明直觉定理。 Zbl 1250.03019号 肖恩·麦克劳林;弗兰克·芬宁 4 2009 Imogen：专注于直觉主义命题逻辑的极化逆方法。 Zbl 1182.68212号 肖恩·麦克劳林;弗兰克·芬宁 8 2008 合作定理证明器：结合HOL-Light和CVC-Lite的案例研究。 Zbl 1272.68362号 肖恩·麦克劳克林;克拉克·巴雷特;葛叶婷 14 2006 《HOL Light》中伊莎贝尔/HOL的解读。 Zbl 1222.68370号 肖恩·麦克劳林 6 2006 一阶解算器API的工具构建要求。 Zbl 1272.68358号 吉姆·格兰迪;汤姆·梅尔姆;萨瓦·克里斯蒂奇;肖恩·麦克劳林 1 2006 实数运算的证明性决策过程。 Zbl 1135.03329号 肖恩·麦克劳林;约翰·哈里森 16 2005 所有引用出版物 前5名被引用出版物 全部的 前5名236位作者引用 13 劳伦斯·查尔斯·保尔森 6 塞萨里·卡利西克 6 托比亚斯·尼普科 4 杰瑞米·阿维加德 4 科恩，亨利·李 4 肖恩·麦克劳林 4 弗洛里安·拉贝 三 贝扎德·阿克巴普尔 三 贾斯敏·克里斯蒂安·布兰切特 三 Böhme，萨沙 三 托马斯·卡利斯特·黑尔斯 三 迈克尔·科尔哈斯 三 Angeliki Koutsoukou-Argyraki 三 维克托·马格伦 三 索尼娅·马林 三 史蒂文·奥布阿 三 Pąk，卡罗尔 三 约瑟夫·乌尔班 2 阿兰赛，Jesús 2 Barbosa，哈尼尔 2 科罗利·贝兹德克 2 伯恩，大卫·P。 2 考斯托夫·乔杜里 2 Jose Divasón 2 杰雷米·杜布特 2 马蒂亚斯·弗勒里 2 本杰明·格雷戈里 2 伊曼纽尔·冈瑟 2 托马斯·哈特曼。 2 维克多·昆卡 2 桑吉·桑吉 2 罗伯特·刘易斯。 2 李文达 2 戴尔·艾伦·米勒 2 塞萨尔·穆尼奥斯。 2 安东尼·约瑟夫·纳卡维奇 2 米盖尔·帕加诺 2 鲁齐卡皮斯卡 2 安德烈·普拉泽 2 佩德罗·桑切斯·特拉夫 2 Tjark韦伯 2 Akihisa山田 2 罗兰·祖姆凯勒 1 马克·亚当斯 1 尼玛阿夫哈米·杰迪 1 Alt，赫尔穆特 1 Daniela A.阿马托。 1 哈桑·阿姆贾德 1 Kurt M.Anstreicher。 1 米歇尔·阿尔芒 1 大卫·巴尔德 1 格拉泽戈兹·班塞雷克 1 班科维奇，米兰 1 克拉克·W·巴雷特。 1 达米安·巴索蒂 1 吉尔·巴特 1 格特鲁德·鲍尔 1 纪尧姆·贝托伦 1 弗雷德里克·贝松 1 贝尼亚明·波哥什埃尔 1 西尔维·博尔多 1 Böröczky，Karoly jun。 1 布洛克-南内斯塔德，陶斯 1 乍得·布朗·爱德华 1 凯文·巴钦 1 多林·布库尔 1 卡塔兹纳，巴兹涅斯卡 1 纪尧姆·伯勒 1 凯文·巴扎德 1 Czesław拜林斯基 1 雅克·卡雷特 1 克劳迪娅·考利 1 阿明·查伊布 1 史蒂文·查普利克 1 Cheong、Otfried 1 格雷戈里·切林。 1 克兰西，凯文 1 马修·科尔布鲁克。 1 Johan M.Commelin。 1 凯瑟琳·科德威尔 1 约瑟夫·科内利 1 皮埃尔·埃曼纽·科尼勒奥 1 时装，A。 1 里卡多·克里斯托弗里 1 Jean-Christophe Cuillière 1 Sander R.Dahmen。 1 Dang，Tat Dat公司 1 阿特姆·瓦西尔·埃维奇·达维多夫 1 戴维·德·拉特 1 马丁·德沙奈斯 1 伊凡·德雷村 1 亚伦·M·达特（Aaron M.Dutle）。 1 罗伊·戴克霍夫 1 米尔纳季阿蒙加 1 利昂·埃夫勒 1 艾瑟，维特 1 迈克尔·Färber 1 Farmer，William M。 1 德国福雷 1 托马斯·费尼克 …还有136位作者 全部的 前5名44篇连载文章中引用 19 自动推理杂志 6 美国数学学会公报。新系列 三 纯粹逻辑与应用逻辑年鉴 三 实验数学 2 人工智能 2 数学物理中的通信 2 离散和计算几何 2 计算的形式方面 2 计算机科学中的数学结构 2 高能物理杂志 2 计算机科学中的逻辑方法 1 德国数学实验室（DMV） 1 计算数学 1 数学信使 1 ACM数学软件汇刊 1 应用数学与优化 1 《Reine und Angewandte Mathematik》杂志 1 太平洋数学杂志 1 编程和计算机软件 1 合成 1 欧洲组合数学杂志 1 匈牙利数学学报 1 计算机辅助几何设计 1 符号计算杂志 1 计算力学 1 美国数学学会杂志 1 人工智能通信 1 计算数学与建模 1 计算几何 1 弹性力学杂志 1 数学与人工智能年鉴 1 欧洲数学学会杂志（JEMS） 1 数学逻辑杂志 1 JP代数、数论和应用杂志 1 ACM计算逻辑事务 1 应用逻辑杂志 1 Steklov数学研究所学报 1 计算机科学中的数学 1 圣保罗数学科学杂志 1 形式化推理杂志 1 数学论坛，Pi 1 程序设计中的逻辑和代数方法杂志 1 Modelirovanie i Analiz信息系统 1 伦敦皇家学会会刊。A.数学、物理和工程科学 全部的 前5名35个领域被引用 88 计算机科学（68至XX） 35 数学逻辑和基础（03-XX） 20 凸和离散几何（52至XX） 6 运筹学、数学规划（90-XX） 5 总体主题；集合（00-XX） 5 数论（11-XX） 5 数值分析（65-XX） 4 历史和传记（01-XX） 4 组合数学（05-XX） 三 线性代数和多线性代数；矩阵理论（15-XX） 2 交换代数（13-XX） 2 代数几何（14-XX） 2 群论与推广（20-XX） 2 实函数（26年X月X日） 2 变分法与最优控制；最优化（49至XX） 2 可变形固体力学（74-XX） 2 量子理论（81-XX） 2 统计力学，物质结构（82-XX） 2 数学教育（97-XX） 1 非结合环与代数（17-XX） 1 范畴理论；同调代数（18-XX） 1 复变量的函数（30年XX月） 1 偏微分方程（35-XX） 1 欧氏空间的调和分析（42至XX） 1 功能分析（46倍X倍） 1 算子理论（47-XX） 1 几何图形（51至XX） 1 代数拓扑（55-XX） 1 概率论与随机过程（60-XX） 1 粒子和系统力学（70-XX） 1 相对论和引力理论（83至XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 1 生物学和其他自然科学（92-XX） 1 系统论；控制（93至XX） 1 信息与通信理论、电路（94-XX） 按年份列出的引文