HOL公司 592份文件引用(1985–2023) 软件作者: 迈克尔·J·C·戈登。 相关软件: 伊莎贝尔;Isabelle/HOL;ML… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);数论(11-XX)…
HOL灯 319份文件引用(1998–2024) 软件作者: 约翰·哈里森 相关软件: Coq;Isabelle/HOL;HOL… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);数论(11-XX)…
ETPS公司 162篇文献引用(1986–2022) 软件作者: Peter Andrews、Matthew Bishop、Chad E.Brown、Sunil Issar、Dan Nesmith、Frank Pfenning、Xi Hongwei 相关软件: TPS;Isabelle/HOL;HOL… 主要字段: 总体主题;藏品(00-XX);历史与传记(01-XX);数理逻辑与基础(03-XX)…
低成本融资 163篇文献引用(1972–2023) 软件作者: 罗宾·米尔纳 相关软件: 毫升;Coq;HOL… 主要字段: 数学逻辑与基础(03-XX);阶、格、有序代数结构(06-XX);范畴理论;同调代数(18-XX)…
大锤 163篇文献引用(2010–2023) 软件作者: Nik苏尔塔纳;Jasmin Christian布兰切特;劳伦斯·C·鲍尔森。 相关软件: Isabelle/HOL;伊莎贝尔;Coq… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);线性代数和多线性代数;矩阵理论(15-XX)…
Nitpick公司 78篇文献引用(1999–2023) 软件作者: Jasmin Christian布兰切特;托比亚斯·尼普科 相关软件: Isabelle/HOL;大锤;伊莎贝尔… 主要字段: 历史与传记(01-XX);数学逻辑与基础(03-XX);组合数学(05-XX)…
测试程序集 78篇文献引用(1990–2022) 软件作者: Andrews,Peter B。;乍得·E·布朗。 相关软件: TPTP;ETPS;HOL… 主要字段: 总体主题;藏品(00-XX);历史与传记(01-XX);数理逻辑与基础(03-XX)…
Coq/SS反射 74份文件引用(2008–2021) 软件作者: Microsoft Research-Inria联合中心 相关软件: Coq;Isabelle/HOL;Mizar… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);群论与推广(20-XX)…
萨塔拉克 67篇文献引用(2010–2023) 软件作者: 乍得·E·布朗;安德烈亚斯·提克(Andreas Teucke);杰夫·萨克利夫(Geoff Sutcliffe);弗兰克·泰伊;格特·斯莫尔卡;朱利安·巴克斯;克里斯·本兹米勒 相关软件: TPTP;Isabelle/HOL;LEO-II… 主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)
Ciao公司 56篇文献引用(1999–2022) 软件作者: Bueno,F.,Cabeza,D.,Carro,M.,Hermenegildo,M.、López-García,P.、Puebla,G。 相关软件: CiaoPP公司;SICStus公司;汞… 主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)
电源保护 52篇文献引用(2001–2020) 软件作者: 罗杰·琼斯;R.D.阿尔森。;戴夫·金;Lemma 1有限公司 相关软件: 马戏团;Z;HOL… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);实函数(26-XX)…
IMPS公司 52篇文献引用(1990–2021) 软件作者: Farmer,William M。;约书亚·D·古特曼。;塞耶,F.哈维尔 相关软件: 伊莎贝尔;Nuprl公司;Coq… 主要字段: 总体主题;藏品(00-XX);历史与传记(01-XX);数理逻辑与基础(03-XX)…
李奥伊 52篇文献引用(2008–2021) 软件作者: Benzmüller,C.,Paulson,L.,Theiss,F.,Fietzke,A 相关软件: 沙达拉;TPTP;Isabelle/HOL… 主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)
高阶逻辑 引用于47份文件(1993–2021) 软件作者: 陈卫东;迈克尔·基弗;大卫·S·沃伦 相关软件: Hiord;swrl;XSB… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
GHC公司 36篇文献引用(1986–2014) 软件作者: Kazunori上田 相关软件: PARLOG;基马;哈斯克尔… 主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)…
举起 42篇文献引用(2013年-2023年) 软件作者: 布莱恩·哈夫曼(Brian Huffman),Ondřej Kunčar 相关软件: 转让;Isabelle/HOL;存档正式证据… 主要字段: 数学逻辑与基础(03-XX);线性代数和多线性代数;矩阵理论(15-XX);常微分方程(34-XX)…
换乘 42篇文献引用(2013年-2023年) 软件作者: 布莱恩·哈夫曼(Brian Huffman),Ondřej Kunčar 相关软件: 举起;Isabelle/HOL;存档正式证据… 主要字段: 数学逻辑与基础(03-XX);线性代数和多线性代数;矩阵理论(15-XX);常微分方程(34-XX)…
Ynot公司 34份文件引用(2008–2019) 软件作者: 阿列克桑达尔·纳内夫斯基;格雷格·莫里塞特(Greg Morrisett);Avraham Shinnar;保罗·戈韦罗;拉尔斯·比克达尔 相关软件: Coq;Isabelle/HOL;哈斯克尔… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX)…
IsaPlanner公司 引用于33份文件(2000–2022) 软件作者: 卢卡斯·狄克逊;莫阿·约翰逊 相关软件: 伊莎贝尔;Coq;Isabelle/HOL… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)
欧米茄 32篇文献引用(1997–2016) 软件作者: 曼弗雷德·科伯;理论漫游者博物馆;西克曼,J。;Benzmüller,C。;菲德勒,A。;Meier,A。;Pollet,M。 相关软件: Coq;陷阱;OTTER… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)
CCSL公司 24篇文献引用(2001–2015) 软件作者: Jan Rothe、Bart Jacobs和Hendrik Tews 相关软件: PVS;CoCasl;CASL… 主要字段: 数学逻辑与基础(03-XX);阶、格、有序代数结构(06-XX);一般代数系统(08-XX)…
毒蛇 25篇文献引用(2016–2023) 软件作者: Peter Müller、Malte Schwerhoff、Alexander J.Summers 相关软件: VeriFast;达夫尼;z3… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);数值分析(65-XX)…
Lambda-Clam公司 24篇文献引用(1997–2012) 软件作者: J.Richardson、A.Smaill、I.Green 相关软件: IsaPlanner;Nuprl公司;Isabelle/HOL… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…
贝德维尔 21篇文献引用(2007–2022) 软件作者: David Baelde、Andrew Gacek、Dale Miller、Gopalan Nadathur、Alwen Tiu 相关软件: Twelf公司;阿贝拉;名义上的伊莎贝尔… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)
HOL-OCL公司 13份文件引用(2002–2016) 软件作者: 阿希姆·D·布鲁克。;沃尔夫,伯克哈特 相关软件: ATL;凯伊;ETPS… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
狮子座III 21篇文献引用(2015–2023) 软件作者: 亚历山大·斯蒂恩(Alexander Steen);马克斯·维斯涅夫斯基(Max Wisniewski);克里斯托夫·本兹穆勒 相关软件: 沙达拉;TPTP;Isabelle/HOL… 主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)
捕食者 15篇文献引用(2012–2021) 软件作者: 卡米尔·杜德卡;彼得·米勒;彼得·佩林格(Petr Peringer);汤姆·沃纳 相关软件: 注册会计师检查;CBMC;幻灯片… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
泰尤斯 18篇文献引用(2001–2022) 软件作者: Nadathur,G.,Mitchell,D.J。 相关软件: Twelf公司;阿贝拉;Isabelle/HOL… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
HasCasl公司 17篇文献引用(2002–2015) 软件作者: Lutz Schr“oder;Till Mossakowski 相关软件: CASL;哈斯克尔;赫茨… 主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)
THF0 在14份文件中引用(2008–2019) 软件作者: 克里斯托夫·本兹穆勒;弗洛里安·拉贝(Florian Rabe);杰夫·萨特克利夫 相关软件: TPTP;E定理证明器;Isabelle/HOL… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
雅典娜 10篇文献引用(2004–2017) 软件作者: 康斯坦丁·阿库达斯 相关软件: 雅典娜;HE-E1GODF;卡斯特罗… 主要字段: 数学逻辑与基础(03-XX);统计学(62-XX);数值分析(65-XX)…
冲锋! 10篇文献引用(2012–2021) 软件作者: 杰斯珀·本特森;Jonas Braband Jensen;拉尔斯·比克达尔 相关软件: Coq;工具链;VeriFast… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
HOList公司 10篇文献引用(2020–2023) 软件作者: 克什蒂吉·班萨尔、莎拉·卢斯、马库斯·拉贝、克里斯蒂安·塞格迪、斯图尔特·威尔科克斯 相关软件: 谜;E定理证明器;FEMaLeCoP… 主要字段: 群论与推广(20-XX);数值分析(65-XX);计算机科学(68-XX)
隐秘HOL 引用于9份文件(2017–2022) 软件作者: Basin,D.,Lochbihler,A.,Sefidgar,S.R。 相关软件: Isabelle/HOL;存档正式证据;HOL… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…
HOL-Omega餐厅 引用于9份文件(2009–2019) 软件作者: 彼得·霍米埃(Peter V.Homeier)。 相关软件: HOL;伊莎贝尔;Coq… 主要字段: 范畴理论;同调代数(18-XX);计算机科学(68-XX)
RALL公司 引用于9份文件(1997–2014) 软件作者: 大卫·冯·奥海姆,托马斯·格里茨纳 相关软件: 拉尔夫;Isabelle/HOL;ARA… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
合金* 7份文件引用(2017–2023) 软件作者: Milicevic,A.,Near,J.P.,Kang,E.,Jackson,D。 相关软件: z3;波尔多;GitHub… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);组合数学(05-XX)…
Goedel上帝 7份文件引用(2015–2020) 软件作者: Christoph Benzmüller;Bruno Woltzenlogel古 相关软件: Isabelle/HOL;Coq;Nitpick… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
LeoPARD公司 8份文件引用(2015–2021) 软件作者: 马克斯·维斯涅夫斯基(Max Wisniewski);亚历山大·斯蒂恩(Alexander Steen);克里斯托夫·本兹穆勒 相关软件: TPTP;Leo-III;沙达拉… 主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)
RGITL公司 8份文件引用(2014–2022) 软件作者: 格哈德·谢尔霍恩(Gerhard Schellhorn);托凡、博格丹;吉登•恩斯特(Ernst,Gidon);Pf“ahler,Jörg;Reif,Wolfgang 相关软件: 自旋蛋白;基夫;Dafny… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
VeriML公司 8份文件引用(2010–2016) 软件作者: 安东尼斯·斯坦普利斯;邵,钟 相关软件: Coq;甲基丙烯酸甲酯;seL4… 主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX)
VST-弗洛伊德 8份文件引用(2018–2023) 软件作者: 曹勤祥;Lennart Beringer;塞缪尔·格鲁特(Samuel Gruetter);约西亚·多兹;安德鲁·W·阿佩尔。 相关软件: Coq;工具链;锈蚀… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
嵌入模式 7份文件引用(2017–2022) 软件作者: Gleißner,托拜厄斯;亚历山大·斯蒂恩(Alexander Steen);克里斯托夫·本兹穆勒 相关软件: Isabelle/HOL;尼特皮克;E定理证明器… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
HOT(热) 7份文件引用(1998–2022) 软件作者: 卡斯滕·康拉德 相关软件: TPS;TPTP;数字(amp;N)… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)
自动变速器2 6篇文献引用(2016年至2019年) 软件作者: 詹伯华 相关软件: Isabelle/HOL;伊莎贝尔;Mizar… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);代数拓扑(55-XX)…
TP工具 6篇文献引用(2014–2017) 软件作者: 萨博尔斯·纳吉;佐尔坦·彼得斯;彼得·巴拉尼 相关软件: Qhull;YALMIP;SDPT3… 主要字段: 常微分方程(34-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…
Crowfoot公司 5份文件引用(2011–2015) 软件作者: 纳撒尼尔·查尔顿;本·霍斯福尔(Ben Horsfall);罗伊斯,伯恩哈德 相关软件: 小脚;VeriFast;jStar… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
单足蹦跳 5份文件引用(2010–2019) 软件作者: Manuel Serrano、Erick Gallesio、Florian Loitsch 相关软件: 链接;用户/网络;哈斯克尔… 主要字段: 计算机科学(68-XX)
伊曼德拉 5份文件引用(2020–2022) 软件作者: 格兰特·奥尼·帕斯莫尔(Grant Olney Passmore)、西蒙·克鲁恩斯(Simon Cruanes)、丹尼斯·伊格纳托维奇(Denis Ignatovich)、戴夫·艾特肯(Dave Aitken)、马特·布雷(Matt Bray 相关软件: VAMPIRE公司;SMT-LIB;芝诺… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
LogiKEy公司 5份文件引用(2020–2022) 软件作者: Christoph Benzmüller、Xavier Parent、Leendert van der Torre 相关软件: Isabelle/HOL;尼特皮克;存档正式证据… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
西格玛KEE 4份文件引用(2009年至2020年) 软件作者: 亚当·皮斯(Adam Pease);斯蒂芬·舒尔茨 相关软件: E定理证明器;VAMPIRE公司;SRASS… 主要字段: 计算机科学(68-XX)
TravMC2(移动MC2) 5份文件引用(2016–2020) 软件作者: Robin P.Neatherway,C.-H.Luke Ong 相关软件: ByMC;github;MoCHi… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
UTP2型 5份文件引用(2010–2019) 软件作者: 安德鲁·布特菲尔德 相关软件: 硫苷;Isabelle/HOL;Isabelle/UTP… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
AgsyHOL公司 4份文件引用(2013–2015) 软件作者: F.林布拉德。 相关软件: TPTP;尼特皮克;Isabelle/HOL… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
FML至HOL 4份文件引用(2013–2021) 软件作者: 克里斯托夫·本兹穆勒;托马斯·拉斯 相关软件: TPTP;Isabelle/HOL;Nitpick… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
Hiord公司 4份文件引用(2004–2018) 软件作者: 丹尼尔·卡贝萨(Daniel Cabeza);曼努埃尔·赫梅内吉尔多(Manuel Hermenegildo);詹姆斯·利普顿 相关软件: HiLog;CoALP;CiaoPP… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
努恰库 4份文件引用(2016–2022) 软件作者: 安德鲁·雷诺兹(Andrew Reynolds);Jasmin Christian布兰切特;西蒙·克鲁恩斯(Simon Cruanes);塞萨尔·蒂内利 相关软件: CVC4;z3;Nitpick… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
苏氨酸 4份文件引用(2010年至2017年) 软件作者: 安德鲁·布特菲尔德 相关软件: UTP2;Isabelle/HOL;PVS… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
CAVA公司 2份文件引用(2018年至2019年) 软件作者: 朱利安·布伦纳;彼得·兰米奇(Peter Lammich);等。 相关软件: 石笼SCC;CAVA LTL模型检查器;存档正式证据… 主要字段: 计算机科学(68-XX)
数据娱乐 2份文件引用(2016–2022) 软件作者: 迈克尔·阿恩特泽尼乌斯(Michael Arntzenius);尼拉坎坦·R·克里希纳斯瓦米。 相关软件: 汞;哈斯克尔;夏普… 主要字段: 计算机科学(68-XX)
瓜多尔 1份文件引用(2016) 软件作者: 大卫·哈丁;康拉德·斯林德(Konrad Slind);迈克尔·惠伦(Michael Whalen);团结Pham 相关软件: OpenSMT;MoCHi公司;RADA… 主要字段: 计算机科学(68-XX)
拟Borel空间 2份文件引用(2017–2022) 软件作者: Michikazu Hirata、Yasuhiko Minamide、Tetsuya Sato 相关软件: 教会;HOL;精益… 主要字段: 范畴理论;同调代数(18-XX);概率论与随机过程(60-XX);计算机科学(68-XX)
KEIM公司 1份文件引用(2005) 软件作者: Huang,X.、Kerber,M.、Kohlhase,M.,Melis,E.、Nesmith,D.、Richts,J.、Siekmann,J。 相关软件: 欧米茄;狮子座;MKRP公司 主要字段: 计算机科学(68-XX)
次一致性 1份文件引用(2018) 软件作者: 安德斯·施利奇克鲁尔;约根·维拉德森 相关软件: github;格栅;FOL_Harrison… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)