开普勒98 swMATH ID: 23625 软件作者: 托马斯·黑尔斯(Thomas C.Hales)。;塞缪尔·弗格森。 描述: 1998年开普勒猜想的证明。开普勒猜想断言,在欧几里得3空间中,所有的同余球的密度都不比市场上常见的用于堆叠橙子的金字塔形包装密度大。该存储库包含萨姆·弗格森(Sam Ferguson)和汤姆·黑尔斯(Tom Hales)1998年证明开普勒猜想的计算机代码和其他文档。此代码不定期维护,但已作为历史记录保存在github。 主页: https://github.com/flyspeck/kepler98 源代码: https://github.com/flyspeck/kepler98 相关软件: Flyspeck飞点;HOL灯;伊莎贝尔/HOL;Coq公司;伊莎贝尔;HOL公司;米扎尔;seL4级;毫升;存档正式证据;大锤;伊萨尔;自动化;E定理证明器;VAMPIRE公司;github;RODES公司;低成本融资;驯服图;SageMath公司 引用于: 226文件 标准条款 3出版物描述软件,包括3出版物以zbMATH为单位 年份 开普勒猜想。Hales-Ferguson证明。包括一期《离散与计算几何》的特刊。 Zbl 1234.52002号杰弗里·拉加里亚斯。(编辑) 2011 开普勒猜想的公式。 Zbl 1186.52014年托马斯·黑尔斯(Thomas C.Hales)。;塞缪尔·弗格森。 2006 开普勒猜想的证明。 Zbl 1096.52010年托马斯·黑尔斯(Thomas C.Hales)。 2005 全部的 前5名385位作者引用 19 托马斯·卡利斯特·黑尔斯 9 塞萨里·卡利西克 7 劳伦斯·查尔斯·保尔森 6 约瑟夫·厄本 5 托马斯·费尼克 5 尤夫卡尔卢斯 4 科罗利·贝兹德克 4 维克托·马格伦 4 托比亚斯·尼普科 4 史蒂文·奥布阿 4 弗洛里安·拉贝 4 JenóSzirmai 三 杰苏斯·阿兰塞 三 杰里米·阿维加德 三 劳伦特·贝特曼 三 Jose Divasón 三 道格拉斯·哈丁(Douglas P.Hardin)。 三 迈克尔·科尔哈斯 三 Angeliki Koutsoukou-Argyraki 三 Jean-Philippe Lessard 三 肖恩·麦克劳林 三 Pąk,卡罗尔 三 尤里·斯托扬(Yuri Stoyan,Grygorovych) 三 弗洛里安·泰尔 三 弗兰克·瓦勒滕 2 马克·亚当斯 2 大卫·阿斯皮纳尔 2 贝尼亚明·波哥什埃尔 2 博罗达乔夫,塞尔吉五世。 2 大卫·P·伯恩。 2 Johann S.Brauchart。 2 乍得·布朗·爱德华 2 Chen,Elizabeth R。 2 科恩,亨利·李 2 马修·科尔布鲁克。 2 蒂莫西·奥尔登·戴维斯 2 戴维·德·拉特 2 艾瑟,维特 2 迈克尔·Färber 2 马库斯·法胡贝尔 2 塞缪尔·弗格森。 2 Lisa C.弗拉特利。 2 雅克·弗莱里奥。 2 安布罗斯·格雷克斯纳(Ambros M.Gleixner)。 2 彼得·格拉布纳(Peter J.Grabner)。 2 詹姆斯·哈兰德(James A.Harland)。 2 托马斯·哈特曼。 2 约翰·Hölzl 2 侯托马斯·伊昭 2 迈克尔·科伯 2 沃登·库斯纳 2 李文达 2 克里斯托弗·路易斯科。 2 埃里克·莫雷诺-康蒂诺 2 米尔恰·彼得雷奇 2 爱德华·巴里·萨夫 2 阿基尔·舒尔曼 2 阿列克谢·索洛维耶夫 2 杰夫·萨特克利夫 2 Laurent Théry 2 萨尔瓦多托尔夸托 2 范登伯格、扬·布韦 2 弗里克·威迪杰克 2 赵宇飞 2 宗传明 2 罗兰·祖姆凯勒 1 埃米尔·休伯特·莱昂纳多斯·阿尔茨 1 尼玛阿夫哈米·杰迪 1 杰西·阿拉玛 1 安德烈亚斯·阿尔布雷希特。 1 泽维尔·阿拉米吉恩 1 Alt,赫尔穆特 1 Daniela A.阿马托。 1 保罗·阿莫雷 1 安德烈亚诺夫,阿列克谢 1 罗布·D·阿尔森。 1 弗拉迪斯拉夫·费多罗维奇(Vladyslav Fedorovych Babenko) 1 格拉泽戈兹·班塞雷克 1 班科维奇,米兰 1 英一班奈 1 Etsuko Bannai 1 埃托雷·巴比里 1 亨德里克·彼得·巴伦德雷格特 1 吉尔·巴特 1 格特鲁德·鲍尔 1 大卫·A·贝克尔。 1 尼古拉斯·贝达里德 1 克里斯托夫·埃瓦尔德·本兹穆勒 1 纪尧姆·贝托伦 1 伊夫·贝托特 1 贾斯敏·克里斯蒂安·布兰切特 1 安德烈五世(Andriy V.Bondarenko)。 1 路易斯·约阿金(Luis Joaquín Boya) 1 桑多尔·波佐基 1 Franz Brauße 1 马克西姆·布列登 1 佛罗伦萨布莱哈德 1 凯文·巴钦 1 多林·布库尔 1 卡塔兹纳,巴兹涅斯卡 …还有285位作者 全部的 前5名109连载 23 离散和计算几何 18 自动推理杂志 6 数学进展 5 数学物理中的通信 4 统计物理杂志 4 理论计算机科学 4 实验数学 三 数学信使 三 计算的形式方面 三 统计力学杂志:理论与实验 2 人工智能 2 理性力学和分析档案 2 德国数学实验室(DMV) 2 美国数学学会会刊 2 欧洲组合数学杂志 2 复杂性杂志 2 SIAM应用数学杂志 2 美国数学学会公报。新系列 2 数学编程。A系列B系列 2 数学与人工智能年鉴 2 运筹学国际交易 2 高能物理杂志 2 形式化推理杂志 1 离散数学 1 数学分析杂志 1 数学分析与应用杂志 1 剑桥哲学学会数学进展杂志 1 物理报告 1 洛基山数学杂志 1 俄罗斯数学调查 1 计算数学 1 Beiträge zur代数与几何 1 ACM数学软件汇刊 1 应用数学与计算 1 应用数学与优化 1 数学档案馆 1 比特币 1 杜克数学杂志 1 国际工程数值方法杂志 1 组合理论杂志。系列A 1 计算与应用数学杂志 1 几何杂志 1 数学经济学杂志 1 纯粹与应用代数杂志 1 数学期刊 1 Quaestions数学 1 SIAM计算机杂志 1 SIAM数值分析杂志 1 合成 1 匈牙利数学学报 1 纯逻辑与应用逻辑年鉴 1 计算机辅助几何设计 1 物理D 1 符号计算杂志 1 构造性近似 1 信息与计算 1 事实大学。数学与信息学系列 1 计算力学 1 美国数学学会杂志 1 SIAM矩阵分析与应用杂志 1 AI通信 1 计算数学与建模 1 运筹学年鉴 1 应用概率年鉴 1 计算几何 1 微分几何及其应用 1 全球优化杂志 1 设计、代码和密码 1 数学要素 1 欧洲运筹学杂志 1 SIAM审查 1 美国数学学会通告 1 中国科学简报 1 非线性科学杂志 1 SIAM科学计算杂志 1 波尔多Nombres de Théorie de Bordeaux杂志 1 函数编程杂志 1 信息计算杂志 1 几何和拓扑 1 数据挖掘与知识发现 1 伦敦皇家学会哲学学报。系列A.数学、物理和工程科学 1 数学年鉴。第二系列 1 埃尔肯尼斯 1 数学逻辑杂志 1 数学年鉴Silesianae 1 逻辑与逻辑哲学 1 萨达纳 1 代数、数论与应用杂志 1 计算生物学和化学 1 地中海数学杂志 1 Oberwolfach报告 1 离散优化 1 计算机科学中的数学 1 泛逻辑 1 优化信函 1 物理学报A:数学与理论 1 计算机科学中的逻辑方法 1 拓扑与分析杂志 1 圣保罗数学科学杂志 1 对称 …还有9部连续剧 全部的 前5名43个领域被引用 89 计算机科学(68至XX) 81 凸和离散几何(52至XX) 29 运筹学、数学规划(90-XX) 26 数学逻辑和基础(03-XX) 25 数论(11-XX) 22 数值分析(65-XX) 18 组合数学(05-XX) 18 统计力学,物质结构(82-XX) 11 总体主题;集合(00-XX) 8 概率论与随机过程(60-XX) 7 可变形固体力学(74-XX) 6 代数几何(14-XX) 6 偏微分方程(35-XX) 5 历史和传记(01-XX) 5 变异微积分和最优控制;最优化(49至XX) 5 几何图形(51至XX) 5 统计学(62-XX) 5 量子理论(81-XX) 4 线性代数和多线性代数;矩阵理论(15-XX) 4 动力系统和遍历理论(37至XX) 4 近似和展开(41至XX) 4 微分几何(53至XX) 4 流体力学(76-XX) 三 欧氏空间的调和分析(42至XX) 三 代数拓扑(55-XX) 三 信息与通信理论、电路(94-XX) 2 交换代数(13-XX) 2 群论与推广(20-XX) 2 测量和集成(28-XX) 2 算子理论(47-XX) 2 流形和细胞复合体(57至XX) 2 粒子和系统力学(70-XX) 2 相对论和引力理论(83至XX) 2 博弈论、经济学、金融和其他社会和行为科学(91-XX) 2 生物学和其他自然科学(92-XX) 2 数学教育(97-XX) 1 阶、格、有序代数结构(06-XX) 1 非结合环和代数(17-XX) 1 范畴理论;同调代数(18-XX) 1 复变量的函数(30年XX月) 1 特殊功能(33至XX) 1 常微分方程(34-XX) 1 功能分析(46倍X倍) 按年份列出的引文