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)…
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)
日本国债交易所 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)
深度数学 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)
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)…
JProver公司 14篇文献引用(2001–2020) 软件作者: Schmitt,S.、Lorigo,L.、Kreitz,C.、Nogin,A 相关软件: 伊朗CoP;精益CoP;Coq… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(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)
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)
嵌入模式 7份文件引用(2017年至2022年) 软件作者: Gleißner,托比亚斯;亚历山大·斯廷;克里斯托夫·本穆勒 相关软件: Isabelle/HOL;Nitpick公司;E定理证明器… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)