乔丹 swMATH ID: 23624 软件作者： 托马斯·黑尔斯 描述： 乔丹曲线定理的正式证明（60000行HOL Light证明脚本，作为HOL Lights系统中的库分发），2005年。 主页： https://github.com/jrh13/hol-light/tree/master/约旦 源代码： https://github.com/jrh13/hol-light/tree/master/约旦 依赖项： HOL灯 相关软件： 开普勒98；HOL灯；枫树；Flyspeck飞点；米扎尔；Coq公司；毫升；自动化；HOL公司；伊索尔德；大锤；存档正式证据；驯服图；伊莎贝尔/HOL；Nitpick公司；FFTW公司；螺旋形的；参数Int；PfaffInt公司；完整函数 引用于： 66文件 全部的 前5名129位作者引用 三 埃里克·卡尔托芬。 2 哈萨内·阿巴斯 2 安德鲁·阿诺德 2 穆雷·A·巴卡图。 2 阿林·博斯坦 2 陈少石 2 Faugère、Jean-Charles 2 吉斯布雷希特（Mark W.Giesbrecht）。 2 托马斯·卡利斯特·黑尔斯 2 曼纽尔·考尔斯 2 苏西·马达赫。 2 劳伦斯·查尔斯·保尔森 2 丹尼尔·罗什（Daniel S.Roche）。 2 法布里斯·鲁利耶 2 埃里克·斯科特 1 阿奈、平子 1 Noriko H.Arai。 1 卡洛斯·埃雷切。 1 杰里米·阿维加德 1 马库斯·巴泽尔 1 亚西内·布齐迪 1 Reinhold汉堡 1 泽维尔·卡鲁索 1 陈昌波 1 蒂埃里·康博特 1 罗伯特·马尔科姆·科尔利斯 1 戴丽云 1 卢卡·德·费奥 1 Diatta，Daouda Niang女士 1 沃尔克·迪克特 1 爪哇州多利斯卡尼 1 Jean-François Dufourd 1 Jean-Guillaume杜马 1 米尔纳季阿蒙加 1 埃米利斯，Ioannis Z。 1 梅德利纳·埃拉什库 1 冯汝勇 1 奥斯卡·加西亚-莫钦 1 皮埃里克·高德利 1 帕斯卡·乔治 1 多明戈·戈梅斯·佩雷斯 1 何塞·戈梅斯·托雷西拉斯 1 乔治·格拉塞格 1 布鲁诺·格蕾特 1 格罗斯，伊丽莎白 1 詹姆·古铁雷斯 1 马纳布哈吉瓦拉 1 韩景军 1 乔纳森·霍恩斯坦。 1 伊恩·海伍德 1 阿尔伯特·海因勒 1 Hoon Hong 1 黄磊 1 路易丝·霍特 1 伊瓦内、希德诺 1 大卫·J·杰弗里。 1 戈拉夫·金达尔 1 弗雷德里克·约翰逊 1 托马斯·卡勒 1 乔纳森·考施 1 柯文芳 1 休伯特·基什勒 1 克里斯托夫·库彻恩 1 Angeliki Koutsoukou-Argyraki 1 罗伯特·克朗 1 Ken’ichi库加 1 拉班，乔治 1 西尔万·拉扎德 1 法国勒加尔 1 罗曼·勒布雷顿 1 维克托·列万多夫斯基 1 安东·莱金 1 李洪波 1 李子明 1 艾伦·C·军·利德尔。 1 刘，岳 1 弗朗西斯科·哈维尔 1 松崎隆彦 1 Douglas M.麦肯纳。 1 肖恩·麦克劳林 1 孟玲川 1 曼弗雷德·米米奈尔 1 伊万·莫雷尔 1 马克·莫雷诺·马扎 1 纪尧姆·莫罗兹 1 伯纳德·穆兰 1 Katsusuke Nabeshima 1 加布里埃尔·纳瓦罗 1 托比亚斯·尼普科 1 史蒂文·奥布阿 1 佩内特，克莱门特 1 Günter F.Pilz。 1 波杰，马克 1 雷诺，盖纳埃尔 1 罗纳德·里特曼 1 Jose Israel罗德里格斯 1 玛丽·弗朗索瓦斯·罗伊 1 穆罕默德·萨弗里·埃尔丁 1 迈克尔·萨格拉洛夫 1 圣地亚哥，J.A.F。 …还有29位作者 全部的 前5名9连载 2 自动推理杂志 1 美国数学月刊 1 几何杂志 1 合成 1 离散和计算几何 1 实验数学 1 边界元工程分析 1 伦敦皇家学会会刊。A.数学、物理和工程科学 1 枚举组合数学及其应用 全部的 前5名在25个字段中引用 58 计算机科学（68至XX） 17 数值分析（65-XX） 12 交换代数（13-XX） 10 数理逻辑与基础（03-XX） 10 场论与多项式（12-XX） 7 数论（11-XX） 6 线性代数和多线性代数；矩阵理论（15-XX） 5 代数几何（14-XX） 5 常微分方程（34-XX） 5 近似和展开（41至XX） 4 结合环与代数（16-XX） 4 信息与通信理论、电路（94-XX） 三 组合数学（05-XX） 三 特殊功能（33至XX） 2 偏微分方程（35-XX） 2 动力系统和遍历理论（37至XX） 2 凸和离散几何（52至XX） 2 歧管和细胞复合体（57-XX） 2 统计学（62-XX） 1 总体主题；集合（00-XX） 1 历史和传记（01-XX） 1 群论与推广（20-XX） 1 一般拓扑结构（54至XX） 1 粒子和系统力学（70-XX） 1 博弈论、经济学、金融学以及其他社会和行为科学（91-XX） 按年份列出的引文