×

找到81个软件包(结果1-81)

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)

回路

24篇文献引用(2001–2012)
软件作者: 约阿希姆·范登伯格;巴特·雅各布斯
相关软件: JML;PVS;卡拉卡拉…
主要字段: 数学逻辑与基础(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)

开放理论

19份文件引用(2012–2023)
软件作者: J·赫德。
相关软件: HOL灯;HOL;伊莎贝尔…
主要字段: 数学逻辑与基础(03-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)

气象

12份文件引用(1990–2004)
软件作者: 黄芪;D.W.洛夫兰
相关软件: SETHEO公司;水獭;帕塞农…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

THF0

在14份文件中引用(2008–2019)
软件作者: 克里斯托夫·本兹穆勒;弗洛里安·拉贝(Florian Rabe);杰夫·萨特克利夫
相关软件: TPTP;E定理证明器;Isabelle/HOL…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

拉链位置

11份文件引用(2017–2022)
软件作者: 西蒙·克鲁恩斯
相关软件: E定理证明器;TPTP;沙达拉…
主要字段: 数学逻辑与基础(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)…

CFML公司

7份文件引用(2010–2015)
软件作者: 亚瑟·查古埃罗
相关软件: Coq;毫升;HOL…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-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)

HOL2P公司

4份文件引用(2007–2018)
软件作者: 诺伯特·沃尔克
相关软件: HOL灯;HOL;Coq…
主要字段: 计算机科学(68-XX)

全息照相术

4份文件引用(2017–2023)
软件作者: 丹尼尔·威伦
相关软件: FEMaLeCoP;E定理证明器;游戏Pad…
主要字段: 计算机科学(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)

辛提卡的世界

2份文件引用(2020年)
软件作者: 弗朗索瓦·施瓦岑特鲁伯
相关软件: CUDD;MCMAS公司
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

睫毛

2份文件引用(2022)
软件作者: Brown,Chad E。;塞萨里·卡利西克
相关软件: 大锤;TPTP;VAMPIRE…
主要字段: 计算机科学(68-XX)

单态单体

3份文件引用(2017–2022)
软件作者: 安德烈亚斯·洛赫比勒
相关软件: 举起;转让;Isabelle/HOL…
主要字段: 数学逻辑与基础(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)

霍尔88

2份文件引用(1999–2001)
软件作者: 理论博物馆
相关软件: HOL;PVS公司
主要字段: 计算机科学(68-XX)

HolPy公司

2份文件引用(2021–2024)
软件作者: 徐润清;李黎明;詹伯华
相关软件: 杆;CBench;GRKLib…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

帕夫!

2份文件引用(2004–2011)
软件作者: 西尔万男爵
相关软件: 基夫;Why3;PVS…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

拟Borel空间

2份文件引用(2017–2022)
软件作者: Michikazu Hirata、Yasuhiko Minamide、Tetsuya Sato
相关软件: 教会;HOL;精益…
主要字段: 范畴理论;同调代数(18-XX);概率论与随机过程(60-XX);计算机科学(68-XX)

希戈拉

2份文件引用(2019–2020)
软件作者: 阿米利安,穆罕默德·马赫迪;赛义德·雪莉·吉达里
相关软件: RockIt;炼金术;DIMACS…
主要字段: 计算机科学(68-XX)

ZFC_输入_ HOL

2份文件引用(2022)
软件作者: L.C.保尔森。
相关软件: 存档正式证据;Isabelle/HOL;伊莎贝尔…
主要字段: 计算机科学(68-XX)

KEIM公司

1份文件引用(2005)
软件作者: Huang,X.、Kerber,M.、Kohlhase,M.,Melis,E.、Nesmith,D.、Richts,J.、Siekmann,J。
相关软件: 欧米茄;狮子座;MKRP公司
主要字段: 计算机科学(68-XX)

Nuprl-Light公司

1份文件引用(1997年)
软件作者: 杰森·希基。
相关软件: 剑桥LCF;Nuprl公司;伊莎贝尔
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

次一致性

1份文件引用(2018)
软件作者: 安德斯·施利奇克鲁尔;约根·维拉德森
相关软件: github;格栅;FOL_Harrison…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

沃森

1份文件引用(2001)
软件作者: Randall Holmes,M。;吉姆·阿尔维斯-福斯
相关软件: 水獭;IMPS;LCF…
主要字段: 计算机科学(68-XX)

筛选结果依据…

全部的 前5名

相关软件