开放理论 swMATH ID: 32625 软件作者： J·赫德。 描述： OpenTheory项目的目标是允许在高阶逻辑的不同定理证明程序实现之间共享规范和证明，包括HOL-Light、HOL4和ProofPower。希望高阶逻辑定理证明社区采用OpenTheory包作为通用格式，以构建形式化数学和验证软件的标准库。 主页： http://www.gilith.com/opentheory/ 相关软件： HOL灯;HOL公司;伊莎贝尔;伊莎贝尔/HOL;Coq公司;低成本融资;拉瓦;吉塔瓦;蛋糕ML;Flyspeck飞点;质量管理团队;MMT公司;电源保护;HOLyHammer公司;HOL零;米扎尔;月收入;TPTP公司;毫升;举起 引用于： 19文件 全部的 前5名38位作者引用 6 塞萨里·卡利西克 4 Thibault Gauthier 4 拉马纳·库马尔 三 罗布·阿尔坦。 三 玛格努斯·奥·米林。 2 奥斯卡·亚伯拉罕森 2 迈克尔·诺里什 2 弗洛里安·拉贝 1 马里奥·卡内罗。 1 扎卡里亚·奇哈尼 1 贾里德·戴维斯 1 加布里埃尔·埃布纳 1 维克多·戈麦斯。 1 古德蒙德·格罗夫 1 斯特凡·赫兹尔 1 何松林 1 赫德，乔 1 费边·伊姆勒 1 赫鲁特维克卡纳巴尔 1 迈克尔·科尔哈斯 1 林宇辉 1 克里斯蒂娜·马塔奇 1 戴尔·艾伦·米勒 1 穆勒，丹尼斯 1 多米尼克·P·穆利根。 1 托比亚斯·尼普科 1 斯科特·欧文斯 1 乔纳斯·Rädle 1 吉赛尔·赖斯 1 费边·雷诺 1 马丁·里纳 1 西蒙·罗科普夫 1 Tan，Yong Kiam先生 1 约瑟夫·乌尔班 1 王庆祥 1 马卡里乌斯·温泽尔 1 西蒙·沃尔夫斯泰纳 1 塞巴斯蒂安·齐沃塔 4篇连载文章中引用 7 自动推理杂志 2 形式化推理杂志 1 符号计算杂志 1 程序设计中的逻辑和代数方法杂志 在2个字段中引用 19 计算机科学（68至XX） 7 数学逻辑和基础（03-XX） 按年份列出的引文