×

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

PVS公司

617文件引用(1993–2023)
软件作者: Sam Owre、Natarajan Shankar、John Rushby
相关软件: Coq;Isabelle/HOL;HOL…
主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)…

毫升

516份文件引用(1978–2024)
软件作者: 罗伯特·哈珀;罗宾·米尔纳(Robin Milner);托夫特、麦兹;爱丁堡大学
相关软件: HOL;Coq;伊莎贝尔…
主要字段: 历史与传记(01-XX);数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX)…

TPTP公司

418份文件引用(1994–2023)
软件作者: Geoff Sutcliffe;克里斯蒂安·萨特纳
相关软件: VAMPIRE公司;E定理证明器;SPASS…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);几何(51-XX)…

ACL2型

287份文件引用(1998–2023)
软件作者: 马特·考夫曼(Matt Kaufmann)、斯特罗特·摩尔(Strother Moore)
相关软件: Coq;Isabelle/HOL;PVS…
主要字段: (03B35-XX);(68Q60-XX);(68T15-XX)

SMT-LIB公司

218篇文献引用(2004–2024)
软件作者: 克拉克·巴雷特;莱昂纳多·德·莫拉;西尔维奥·兰伊斯;阿伦·斯塔姆(Aaron Stump);塞萨尔·蒂内利
相关软件: z3;CVC4;Yices…
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);计算机科学(68-XX)…

ETPS公司

162篇文献引用(1986–2022)
软件作者: 彼得·安德鲁斯(Peter Andrews)、马修·毕晓普(Matthew Bishop)、查德·布朗(Chad E.Brown)、苏尼尔·伊萨尔(Sunil Issar)、丹·内史密斯(Dan Nesmith)、弗兰克·普芬宁(Frank Pfenning
相关软件: TPS;Isabelle/HOL;HOL…
主要字段: 总体主题;藏品(00-XX);历史与传记(01-XX);数学逻辑与基础(03-XX)…

低成本融资

163篇文献引用(1972–2023)
软件作者: 罗宾·米尔纳
相关软件: 毫升;Coq;HOL…
主要字段: 数学逻辑与基础(03-XX);阶、格、有序代数结构(06-XX);范畴理论;同调代数(18-XX)…

NQTHM公司

149篇文献中引用(1979–2022)
软件作者: 罗伯特·博伊尔(Robert S.Boyer)。;J.Strother摩尔
相关软件: HOL;ACL2;PVS…
主要字段: (68T15-XX);(03B35-XX);(68-02-XX)…

伊萨尔

154份文件引用(2000–2023)
软件作者: 马卡里乌斯·温泽尔
相关软件: 伊莎贝尔;Isabelle/HOL;Coq…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);组合数学(05-XX)…

OBJ3型

140篇文献引用(1989–2023)
软件作者: J.Goguen、T.Winkler、J.Meseguer、K.Futatsigi和J.Jouannaud;(基尼里)
相关软件: 莫德;OBJ咖啡馆;CASL…
主要字段: 数学逻辑与基础(03-XX);一般代数系统(08-XX);范畴理论;同调代数(18-XX)…

精益

89份文件引用(2015年至2024年)
软件作者: 微软;莱昂纳多·德·莫拉;孔顺浩;杰里米·阿维加德;弗洛里斯·范·道恩(Floris van Doorn);雅各布·冯·劳默
相关软件: Coq;Isabelle/HOL;Agda…
主要字段: 数学逻辑与基础(03-XX);数论(11-XX);范畴理论;同调代数(18-XX)…

名义伊莎贝尔

82份文件引用(2005–2023)
软件作者: 城市,基督教;塞萨里·卡利西克
相关软件: Isabelle/HOL;流行标志;Coq…
主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)…

第三方程序

78篇文献引用(1990–2022)
软件作者: Andrews,Peter B。;乍得·E·布朗。
相关软件: TPTP;ETPS;HOL…
主要字段: 总体主题;藏品(00-XX);历史与传记(01-XX);数学逻辑与基础(03-XX)…

伊莎贝尔/采埃孚

70篇文献引用(1993–2023)
软件作者: 劳伦斯·保尔森
相关软件: 伊莎贝尔;Coq;Isabelle/HOL…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);代数拓扑(55-XX)…

Satallax公司

67篇文献引用(2010–2023)
软件作者: 乍得·E·布朗;安德烈亚斯·提克(Andreas Teucke);杰夫·萨克利夫(Geoff Sutcliffe);弗兰克·泰伊;格特·斯莫尔卡;朱利安·巴克斯;克里斯·本兹米勒
相关软件: TPTP;Isabelle/HOL;LEO-II…
主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)

阿贝拉

57篇文献引用(2008–2023)
软件作者: 安德鲁·加塞克
相关软件: Twelf;白鲸;Coq…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…

凯伊迈拉

55份文件引用(2008–2023)
软件作者: 安德烈·普拉泽;贾·戴维德·奎塞尔
相关软件: SpaceEx;凯伊梅拉X;高科技…
主要字段: 数学逻辑与基础(03-XX);线性代数和多线性代数;矩阵理论(15-XX);常微分方程(34-XX)…

马拉雷亚

56篇文献引用(2007–2023)
软件作者: 约瑟夫·乌尔班
相关软件: E定理证明器;VAMPIRE公司;米扎尔…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);数值分析(65-XX)…

MPTP 0.2

55份文件引用(2006–2021)
软件作者: 约瑟夫·乌尔班
相关软件: 米扎尔;VAMPIRE公司;E定理证明器…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

核桃

56篇文献引用(2017–2024)
软件作者: 哈穆恩·穆萨维
相关软件: OEIS;山核桃;GitHub…
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);数论(11-XX)…

IMPS公司

52篇文献引用(1990–2021)
软件作者: Farmer,William M。;约书亚·D·古特曼。;塞耶,F.哈维尔
相关软件: 伊莎贝尔;Nuprl;Coq…
主要字段: 总体主题;藏品(00-XX);历史与传记(01-XX);数学逻辑与基础(03-XX)…

Daikon公司

41篇文献引用(2005–2022)
软件作者: 迈克尔·D·恩斯特。;Jeff H.Perkins。;菲利普·郭(Philip J.Guo)。;斯蒂芬·麦卡曼特;卡洛斯·帕切科;马修·桑茨(Matthew S.Tschantz)。;肖,陈
相关软件: JML;胡迪尼;z3…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)…

常春藤

45篇文献引用(2000–2023)
软件作者: 威廉·麦库恩;奥尔加·舒姆斯基
相关软件: 常春藤;z3;TPTP…
主要字段: 数学逻辑与基础(03-XX);群论与推广(20-XX);计算机科学(68-XX)

精益TAP

44篇文献引用(1994年至2022年)
软件作者: 贝恩哈德·贝克特;约阿希姆·波塞加
相关软件: SETHEO公司;TPTP;萨奇莫…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…

Z/EVES公司

35篇文献引用(1998–2021)
软件作者: 社区Z工具项目
相关软件: Z;电源保护;马戏团…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);代数几何(14-XX)…

41篇文献引用(1989–2021)
软件作者: Bundy,A.,van Harmelen,F.,Horn,C。
相关软件: 牡蛎;Nuprl;HOL…
主要字段: 总体主题;藏品(00-XX);历史与传记(01-XX);数学逻辑与基础(03-XX)…

平方米

40篇文献引用(2005–2021)
软件作者: 威廉·康雷迪(Willem Conradie);瓦伦丁·戈兰科
相关软件: Isabelle/HOL;认识逻辑;存档正式证据…
主要字段: 数学逻辑与基础(03-XX);阶、格、有序代数结构(06-XX);计算机科学(68-XX)…

GEX公司

34份文件引用(1996年-2023年)
软件作者: Gao,X.-S.等。
相关软件: GeoGebra;日本国债交易所;GCLC…
主要字段: 数学逻辑与基础(03-XX);几何(51-XX);数值分析(65-XX)…

OMRS公司

39篇文献引用(1995–2009)
软件作者: 亚历山德罗·阿曼多;Michael Kohlhase;西尔维奥·兰伊斯
相关软件: 分析;定理;PVS…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);数论(11-XX)…

牡蛎

34份文件引用(1989–2021)
软件作者: 霍恩,克里斯蒂安;阿兰·斯梅尔
相关软件: 蛤;Nuprl;HOL…
主要字段: 总体主题;藏品(00-XX);历史与传记(01-XX);数学逻辑与基础(03-XX)…

甘道夫

35篇文献引用(1996–2018)
软件作者: 塔内尔·塔米特
相关软件: TPTP;Isabelle/HOL;Coq…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

jStar公司

32篇文献引用(2008–2022)
软件作者: DiStefano,D.,Parkinson,M。
相关软件: 小脚;VeriFast;Why3…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

地理1.1

31份文件引用(1996–2021)
软件作者: 王东明
相关软件: GeoGebra;GEX;地理信息…
主要字段: 场论与多项式(12-XX);几何(51-XX);数值分析(65-XX)…

伊朗CoP

32篇文献引用(2005–2022)
软件作者: 延斯·奥滕
相关软件: 精益CoP;TPTP;VAMPIRE…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)

HOLyHammer公司

31份文件引用(2014–2022)
软件作者: 塞萨里·卡利西克;约瑟夫·乌尔班
相关软件: HOL灯;VAMPIRE公司;E定理证明器…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);光学、电磁理论(78-XX)

公主

在30份文件中引用(2010–2023)
软件作者: Angelo Brillout、Daniel Kroening、Philipp Rümmer、Thomas Wahl
相关软件: FOCI;z3;Eldarica…
主要字段:

人力资源

27篇文献引用(2002–2022)
软件作者: 西蒙·科尔顿
相关软件: 涂鸦;水獭;梅斯4…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);组合数学(05-XX)…

ILTP公司

29篇文献引用(2005–2021)
软件作者: 托马斯·拉思;延斯·奥顿
相关软件: TPTP;伊朗CoP;Imogen…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

MaLeCoP公司

在30份文件中引用(2011–2023)
软件作者: Josef Urban、JiříVyskočil、PetrŠtěpánek
相关软件: E定理证明器;马拉雷亚;米扎尔…
主要字段: 数学逻辑与基础(03-XX);几何(51-XX);计算机科学(68-XX)

符号数据

在28份文件中引用(2004–2020)
软件作者: 汉斯·格特·格拉贝
相关软件: 单一;SDeval;SageMath…
主要字段: 交换代数(13-XX);代数几何(14-XX);结合环与代数(16-XX)…

GeoThms公司

26篇文献引用(2006–2023)
软件作者: 佩德罗·夸雷斯马;Predrag Janičić公司
相关软件: GCL校准仪;GCLC;GeoGebra…
主要字段: (68U35-XX)

伊尔迪斯

26篇文献引用(2011–2023)
软件作者:
相关软件: 伊德里斯;Coq;Agda…
主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);代数拓扑(55-XX)…

MPTP公司

26篇文献引用(2003年至2021年)
软件作者: 约瑟夫·乌尔班
相关软件: 米扎尔;E定理证明器;MaLARea…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

E-Darvin公司

23篇文献引用(2006–2023)
软件作者: 彼得·鲍姆加特纳(Peter Baumgartner);比约恩·佩尔泽;蒂内利、塞萨尔;亚历山大·富克斯(Alexander Fuchs);汉斯·德尼维尔
相关软件: 达尔文;梅斯4;TPTP…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)

HipSpec(髋关节规范)

23篇文献引用(2013年-2023年)
软件作者: 科恩·克莱森;穆阿·约翰逊(Moa Johansson);丹·罗斯恩;尼古拉斯·斯莫尔博内
相关软件: IsaCoSy公司;VAMPIRE公司;CVC4…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

迪杜克蒂

20篇文献引用(2012–2023)
软件作者: 马修·博埃斯弗鲁格(Mathieu Boespflug)、罗南·塞拉德(Ronan Saillard)、弗朗索瓦·瑟雷(François Thiré)、加斯帕德·弗雷(Gaspard Férey)
相关软件: Coq;泽农;HOL灯…
主要字段: 总体主题;藏品(00-XX);历史与传记(01-XX);数学逻辑与基础(03-XX)…

狮子座III

21篇文献引用(2015年-2023年)
软件作者: 亚历山大·斯廷;马克斯·维斯涅夫斯基(Max Wisniewski);克里斯托夫·本穆勒
相关软件: 沙达拉;TPTP;Isabelle/HOL…
主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)

马特佩特

14篇文献引用(1989–2019)
软件作者: 迈克尔·比森
相关软件: 哈斯克尔;动态数学;MathXpert…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);数学教育(97-XX)

NiVER公司

21篇文献引用(2005–2023)
软件作者: Sathiamoorthy Subbarayan;Dhiraj K.普拉丹。
相关软件: MiniSat;查夫;TPTP…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)

太阳能

19份文件引用(1993–2022)
软件作者: Nabeshima Hidetomo、岩沼浩二、井上胜美、Oliver Ray
相关软件: E定理证明器;SPASS;SCIFF…
主要字段: (68T15-XX);(68T27-XX)

TABLEAUX公司

20篇文献引用(1991–2022)
软件作者: 洛朗·卡塔赫
相关软件: 佩斯卡;莫因;LoTREC…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

开放理论

19份文件引用(2012–2023)
软件作者: J·赫德。
相关软件: HOL灯;HOL;伊莎贝尔…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

日本国债交易所

18篇文献引用(2007–2023)
软件作者: Ye,Zheng;周尚卿;高小山
相关软件: GEX;GeoGebra;地理信息…
主要字段: 数学逻辑与基础(03-XX);交换代数(13-XX);几何(51-XX)…

ModLeanTAP模式

19份文件引用(1998年至2019年)
软件作者: 贝恩哈德·贝克特;拉杰夫·戈尔
相关软件: 精益TAP;Coq;MSPASS…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

IsaCoSy公司

18篇文献引用(2010–2023)
软件作者: 穆阿·约翰逊(Moa Johansson);卢卡斯·狄克逊;阿兰·邦迪
相关软件: HipSpec;IsaPlanner;时髦…
主要字段: (68T15-XX)

MizarMode(米扎尔模式)

18篇文献引用(2006–2019)
软件作者: 约瑟夫·乌尔班
相关软件: 米扎尔;MML;MoMM…
主要字段: (68T15-XX)

气象

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

深度数学

15篇文献引用(2017–2021)
软件作者: Alex A.Alemi、Francois Chollet、Niklas Een、Geoffrey Irving、Christian Szegedy、Josef Urban
相关软件: 米扎尔;E定理证明器;谜…
主要字段: 数学逻辑与基础(03-XX);代数几何(14-XX);计算机科学(68-XX)

Mtac公司

16篇文献引用(2013–2021)
软件作者: Ziliani,贝塔;德里克·德雷尔(Derek Dreyer);Krishnaswami,Neelakantan R。;亚历山大·纳涅夫斯基;维克托·瓦菲亚迪斯
相关软件: Coq;阿格达;Idris…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

轨道库

16篇文献引用(2008年至2021年)
软件作者: 安德烈·普拉泽
相关软件: z3;凯伊迈拉;QEPCAD…
主要字段:

BliStrTune

14篇文献引用(2017年-2023年)
软件作者: Josef Urban的Jan Jakubuv
相关软件: E定理证明器;VAMPIRE公司;BliStr…
主要字段: 数学逻辑与基础(03-XX);几何(51-XX);计算机科学(68-XX)

MMP/几何仪

15篇文献引用(2004–2023)
软件作者: 高小山;林强(Lin,Qiang)
相关软件: GEX;GCLC;GeoGebra…
主要字段: 数学逻辑与基础(03-XX);几何(51-XX);数值分析(65-XX)…

ArgoCLP公司

14篇文献引用(2011–2023)
软件作者: 萨那斯托亚诺维奇;巴甫洛维奇,韦斯纳;贾尼契奇,普雷德拉格
相关软件: Coq;GCLC;TPTP…
主要字段: 数学逻辑与基础(03-XX);几何(51-XX);计算机科学(68-XX)…

科根(Cogent)

11份文件引用(2005–2018)
软件作者: 库克,拜伦;Daniel Kroening;娜塔莎·莎莉吉娜
相关软件: 卫星抗体;简化;旋转…
主要字段: 数学逻辑与基础(03-XX);偏微分方程(35-XX);数值分析(65-XX)…

DPPD公司

14篇文献引用(1998–2015)
软件作者: Leuschel,M。
相关软件: 幼儿保育和教育;汞;登录…
主要字段:

JProver公司

14篇文献引用(2001–2020)
软件作者: Schmitt,S.、Lorigo,L.、Kreitz,C.、Nogin,A
相关软件: 伊朗CoP;精益CoP;Coq…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)

闪光

12份文件引用(2002–2013)
软件作者: 马尔滕·德莫尔;马克·范·埃克伦;莱纳斯·普拉斯梅耶
相关软件: 清洁;哈斯克尔;Coq…
主要字段: 计算机科学(68-XX)

TGTP公司

14篇文献引用(2011–2021)
软件作者: 佩德罗·夸雷斯马
相关软件: 地质学;Intergeo;GeoGebra…
主要字段: 总体主题;藏品(00-XX);几何(51-XX);计算机科学(68-XX)…

芝诺牌手表

14篇文献引用(2012–2022)
软件作者: William Sonnex;索菲亚·德罗索波卢;苏珊·艾森巴赫
相关软件: HipSpec;SMT-LIB;CVC4…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

EQP公司

13份文件引用(1997–2022)
软件作者: 威廉·麦库恩
相关软件: 水獭;Waldmeister;SPASS…
主要字段: 历史与传记(01-XX);数学逻辑与基础(03-XX);有序,格,有序代数结构(06-XX)…

ACL2

12份文件引用(2007–2021)
软件作者: 彼得·迪林杰(Peter C.Dillinger)。;Manolios、Panagiotis;达隆·弗隆;J Strother摩尔
相关软件: ACL2;芝诺;NQTHM…
主要字段: 计算机科学(68-XX);数学教育(97-XX)

米兹3

12份文件引用(2012–2020)
软件作者: 弗里克·威迪杰克
相关软件: Coq;米扎尔;Isar…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);光学、电磁理论(78-XX)…

Myhill Nerode公司

12份文件引用(2011–2020)
软件作者: 吴春汉;张兴元;城市,基督教
相关软件: Coq;存档正式证据;常规集…
主要字段: 数学逻辑与基础(03-XX);阶、格、有序代数结构(06-XX);计算机科学(68-XX)

PRocH公司

12份文件引用(2013–2018)
软件作者: Cezary Kaliszyk;约瑟夫·乌尔班
相关软件: HOL灯;苍蝇斑点;E定理证明器…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)

质量管理长期计划

12份文件引用(2012–2022)
软件作者: Raths,托马斯;延斯·奥滕
相关软件: TPTP;MleanCoP;MSPASS…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

霍尔茨

5份文件引用(2005–2011)
软件作者: David Basin;库鲁马、平野武;Kazuo Takaragi;沃尔夫,伯克哈特
相关软件: Z;HOL;Isabelle/HOL…
主要字段: 计算机科学(68-XX)

6月2日

11份文件引用(1996–2004)
软件作者: 艾伦·海登;格雷格·纳尔逊
相关软件: 天蓝色;MMP/Geometer;枸杞…
主要字段: 几何(51-XX);数值分析(65-XX);计算机科学(68-XX)…

穆斯卡迪特

10篇文献引用(1989–2021)
软件作者: 多米尼克·帕斯特
相关软件: 水獭;自动化;伊莎贝尔/采埃孚…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)

萨帕托

11份文件引用(2004–2018)
软件作者: Ball,T.、Cook,B.、Lahiri,S.K.、Zhang,L。
相关软件: CVC-Lite;查夫;E定理证明器…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

雅典娜

10篇文献引用(2004–2017)
软件作者: 康斯坦丁·阿库达斯
相关软件: 雅典娜;HE-E1GODF;卡斯特罗…
主要字段: 数学逻辑与基础(03-XX);统计学(62-XX);数值分析(65-XX)…

gcl公司

10篇文献引用(2010–2023)
软件作者: 贾尼契奇,普雷德拉格
相关软件: GCLC;GEX;GeoGebra…
主要字段: 数学逻辑与基础(03-XX);几何(51-XX);计算机科学(68-XX)…

HOL-TestGen公司

6篇文献引用(2007–2018)
软件作者: 阿希姆·D·布鲁克、卢卡斯·布吕格、阿卜杜拉赫曼·费利亚奇、尚塔尔·凯勒、马蒂亚斯·P·克里格、德尔芬·朗格特、雅库布·内穆奇、费雷里克·通、伯克哈特·沃尔夫
相关软件: Isabelle/HOL;ETPS;科拉特…
主要字段: 计算机科学(68-XX)

HOList公司

10篇文献引用(2020–2023)
软件作者: 克什蒂吉·班萨尔、莎拉·卢斯、马库斯·拉贝、克里斯蒂安·塞格迪、斯图尔特·威尔科克斯
相关软件: 谜;E定理证明器;GitHub…
主要字段: 群论与推广(20-XX);数值分析(65-XX);计算机科学(68-XX)

数学方案

9份文件引用(2011–2021)
软件作者: 雅克·卡雷特;Farmer,William M。;罗素·奥康纳
相关软件: Coq;阿格达;HOL灯…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…

ML4PG系列

10篇文献引用(2013–2021)
软件作者: 乔纳森·赫拉斯;叶卡捷琳娜·科门丹茨卡亚
相关软件: Coq;SEPIA;Flyspeck…
主要字段: 数学逻辑与基础(03-XX);几何(51-XX);计算机科学(68-XX)

爱马仕

8份文件引用(2005–2009)
软件作者: Bozga,L.、Lakhnech,Y.、Perin,M。
相关软件: AVISPA;卡斯珀;Timbuk…
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

欧米茄-ANTS

9份文件引用(2001–2008)
软件作者: 克里斯托夫·本兹穆勒;沃尔克·索尔格
相关软件: 欧米茄;LOUI;陷阱…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)

帕塞农

6篇文献引用(1989年至2004年)
软件作者: Bose,Soumitra;埃德蒙·克拉克(Edmund M.Clarke)。;Long,David E。;斯皮罗·米查洛夫
相关软件: 气象;SETHEO公司;巴黎…
主要字段: 计算机科学(68-XX)

RALL公司

9份文件引用(1997–2014)
软件作者: 大卫·冯·奥海姆、托马斯·格里茨纳
相关软件: 拉尔夫;Isabelle/HOL;ARA…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

SEPIA公司

9份文件引用(2015年-2023年)
软件作者: Gransden,T.、Walkinshaw,N.、Raman,R。
相关软件: E定理证明器;Coq;MaLeCoP…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

摊销复杂性

8份文件引用(2015–2021)
软件作者: 托比亚斯·尼普科
相关软件: Isabelle/HOL;存档正式证据;HOL…
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);计算机科学(68-XX)…

CITP公司

8份文件引用(2013年-2023年)
软件作者: 戈因纳,丹尼尔;张敏;千叶,Yuki;有本,安仁
相关软件: 莫德;OBJ咖啡馆;保监会…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

电子几何教科书

7份文件引用(2010–2020)
软件作者: 陈晓宇
相关软件: Intergeo;GCLC;GeoGebra…
主要字段: 几何(51-XX);计算机科学(68-XX);数学教育(97-XX)

电动汽车

6篇文献引用(2001–2021)
软件作者: 拉尔斯-奥克·弗雷德隆德;迪利安·古罗夫;托马斯·诺尔;Mads大坝;托马斯艺术;根纳迪·楚格诺夫
相关软件: 埃尔朗;伊莎贝尔;Coq…
主要字段: 计算机科学(68-XX)

猜猜看

8份文件引用(2006–2023)
软件作者: 马丁·鲁比
相关软件: gfun;OEIS;速率…
主要字段: 组合数学(05-XX);数论(11-XX);特殊功能(33-XX)…

RGITL公司

8份文件引用(2014–2022)
软件作者: 格哈德·谢尔霍恩(Gerhard Schellhorn);托凡、博格丹;吉登•恩斯特(Ernst,Gidon);Pf“ahler,Jörg;Reif,Wolfgang
相关软件: 自旋蛋白;KIV;Dafny…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

扎普

6篇文献引用(2005–2008)
软件作者: 托马斯·鲍尔、舒文杜·拉希里和穆苏瓦蒂夫人
相关软件: 电子稳定控制系统/Java;规范#;简单…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)

组成

5份文件引用(2005–2010)
软件作者: Danicic,S。;福克斯,C。;哈曼,M。;Hierons,R。
相关软件: ASTREE公司;CSSV;TVLA…
主要字段: 计算机科学(68-XX)

Ctrl键

7份文件引用(2014–2021)
软件作者: 科普、辛西娅;西田,直木
相关软件: KITTeL公司;z3;莫德…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

嵌入模式

7份文件引用(2017年至2022年)
软件作者: Gleißner,托比亚斯;亚历山大·斯廷;克里斯托夫·本穆勒
相关软件: Isabelle/HOL;Nitpick公司;E定理证明器…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

筛选结果依据…

全部的 前5名

相关软件