Matlab公司 13834年文献引用(1982–2025) 软件作者： MathWorks公司 相关软件： Simulink；LMI工具箱；枫树… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
R（右） 9679文件引用（1978年至2024年） 软件作者： 哈德利·威克姆；先生，罗伯特；罗斯·伊哈卡（Ross Ihaka）；约翰·钱伯斯（John M.Chambers）。；William N.Venables。；布莱恩·里普利。 相关软件： CRAN；ggplot2；SAS… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
数学软件 6560份文件中引用(1986–2024) 软件作者： 沃尔夫勒姆研究公司 相关软件： 枫树；Matlab；R、 … 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
枫树 5368份文件引用(1983–2024) 软件作者： 滑铁卢枫树公司。 相关软件： Mathematica；Matlab；岩浆… 主要字段： 数论（11-XX）；常微分方程（34-XX）；偏微分方程（35-XX）…
组织环境信息系统 引用于5349份文件(1973–2025) 软件作者： 尼尔·J·A·斯隆。；OEIS基金会。 相关软件： SageMath；数学；间隙… 主要字段： 组合数学（05-XX）；数论（11-XX）；线性代数和多线性代数；矩阵理论（15-XX）…
github 5216份文件引用(2010–2024) 软件作者： github 相关软件： R；亚当；Matlab… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
岩浆 引用于4007份文件(1994–2024) 软件作者： W.Bosma、A.Steel、G.Matthews、D.Fisher、J.Cannon、S.Contini、B.Smith 相关软件： 间隙；SageMath；PARI/GP… 主要字段： 组合数学（05-XX）；数论（11-XX）；代数几何（14-XX）…
UCI-毫升 3034文件引用(1995–2024) 软件作者： David Aha、Patrick Murphy、Christopher Merz、Eamonn Keogh、Cathy Blake、Seth Hettich、David Newman 相关软件： C4.5；LIBSVM；R、 … 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
间隙 3676份文件引用(1990–2024) 软件作者： GAP集团 相关软件： 岩浆；SageMath；ATLAS集团陈述… 主要字段： 组合数学（05-XX）；代数几何（14-XX）；结合环与代数（16-XX）…
Python语言 1432年文献引用(1991–2025) 软件作者： 吉多·范罗苏姆 相关软件： SciPy；数字Py；Matplotlib… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
SageMath公司 2596份文件引用(2002–2024) 软件作者： 贤明的开发商；威廉·斯坦因；大卫·乔伊纳（David Joyner）；David Kohel；约翰·克雷莫纳；伯里钦·埃罗卡尔 相关软件： 岩浆；间隙；GitHub… 主要字段： 组合数学（05-XX）；数论（11-XX）；代数几何（14-XX）…
麦考莱2 2263份文件引用（1988年至2024年） 软件作者： 丹尼尔·格雷森（Daniel R.Grayson）。；迈克尔·E·斯蒂尔曼。；戴维·艾森巴德（David Eisenbud）；http://www.math.uiuc.edu/Macaulay2/贡献者/ 相关软件： 单一；可可；SageMath… 主要字段： 组合数学（05-XX）；交换代数（13-XX）；代数几何（14-XX）…
Coq公司 1974年文献引用(1993–2024) 软件作者： 克利斯朵夫·德林格；Jean-François Dufourd 相关软件： Isabelle/HOL；伊莎贝尔；HOL… 主要字段： 一般性和全局性主题；藏品（00-XX）；数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）…
亚当 1799年文献引用(2016–2024) 软件作者： Diederik P.Kingma、Jimmy Ba 相关软件： TensorFlow；PyTorch；ImageNet… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
单一 1650年文献引用(1991–2024) 软件作者： Wolfram Decker；格特·马丁·格雷尔（Gert-Martin Greuel）；格哈德·普菲斯特；汉斯·舍尼曼 相关软件： 麦考利2；可可；SageMath… 主要字段： 交换代数（13-XX）；代数几何（14-XX）；几个复变量和分析空间（32-XX）…
PRMLT公司 1373年文件引用(2006–2024) 软件作者： C.主教 相关软件： UCI-ml；ElemStatLearn；亚当… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
伊莎贝尔/HOL 1076份文件引用(1996–2024) 软件作者： 沃尔夫冈·纳拉斯切夫斯基；托比亚斯·尼普科 相关软件： 伊莎贝尔；Coq；HOL… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；数论（11-XX）…
科学Py 822份文件引用(2005–2024) 软件作者： Jones，E.、Oliphant，T.、Peterson，P.等人。 相关软件： Python；数字Py；Matplotlib… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
TensorFlow公司 855份文件引用(2016–2024) 软件作者： 谷歌大脑团队；M.Abadi、A.Agarwal、P.Barham、E.Brevdo、Z.Chen、C.Citro、G.S.Corrado、A.Davis、J.Dean、M.Devin等人 相关软件： 亚当；PyTorch；Keras… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
Scikit公司 733文件引用(2011–2024) 软件作者： 费比安·佩德雷戈萨；加尔·瓦罗佐；亚历山大·格兰福特；文森特·米歇尔；贝特朗·蒂里昂；奥利维尔·格里塞尔（Olivier Grisel）；马修·布隆德尔；彼得·普雷滕霍弗（Peter Prettenhofer）；罗恩·韦斯；文森特·杜伯格（Vincent Dubourg）；Jake Vanderplas；亚历山大·帕索斯；大卫·库纳波（David Cournapeau）；布鲁彻，马蒂厄；马蒂厄·佩罗（Matthieu Perrot）；爱杜华·公爵夫人 相关软件： Python；SciPy；TensorFlow… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
哈斯克尔 839份文件引用(1989–2023) 软件作者： – 相关软件： Coq；毫升；GHC… 主要字段： 一般性和全局性主题；藏品（00-XX）；数学逻辑与基础（03-XX）；组合数学（05-XX）…
PyTorch公司 689份文件引用(2018–2024) 软件作者： A.Paszke、S.Gross、F.Massa、A.Lerer、J.Bradbury、G.Chanan、T.Killeen、Z.Lin、N.Gimelshein、L.Antiga、A.Desmaison、A.Kopf、E.Yang、Z.DeVito、M.Raison、A.Tejani、S.Chilamkurthy、B.Steiner、L.Fang、J.Bai、S.Chintala 相关软件： 亚当；TensorFlow；Python… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
数学溢出 827份文件引用(2010–2024) 软件作者： Stack Exchange公司 相关软件： 组织环境信息系统；SageMath；GitHub… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；数论（11-XX）…
朱莉娅 653份文件引用(2014–2024) 软件作者： Bezanson J、Karpinski S、Shah VB、Edelman A 相关软件： GitHub；JuMP；微分方程.jl… 主要字段： 偏微分方程（35-XX）；统计学（62-XX）；数值分析（65-XX）…
z3（零3） 761份文件引用(2001–2024) 软件作者： 微软研究院；莱昂纳多·德·莫拉；尼古拉·比约纳 相关软件： CVC4；SMT-LIB；Yices… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
数字Py 441份文件引用(2000–2024) 软件作者： 奥列芬特，T.E。 相关软件： Python；SciPy；Matplotlib… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
伊莎贝尔 742份文件引用(1990–2024) 软件作者： 拉里·保尔森（Larry Paulson）、托比亚斯·尼普科（Tobias Nipkow）、马卡里乌斯·温泽尔（Makarius Wenzel） 相关软件： Isabelle/HOL；HOL；Coq… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；数论（11-XX）…
自旋蛋白 619文件引用(1990–2023) 软件作者： 贝尔实验室 相关软件： NuSMV；Uppaal；班德拉… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
减少 738份文件引用(1970–2023) 软件作者： Anthony C.Hearn；格哈德·雷纳（Gerhard Rayna）；Rainer Schöpf；托马斯·斯特姆 相关软件： 枫树；Mathematica；马西玛… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
PARI/GP公司 744份文件中引用(1992–2024) 软件作者： 亨利·科恩；卡里姆·贝拉巴斯（Karim Belabas）；PARI组 相关软件： 岩浆；SageMath；间隙… 主要字段： 数论（11-XX）；场论与多项式（12-XX）；代数几何（14-XX）…
莫德 646份文件引用(1984–2023) 软件作者： Clavel，M。；杜兰，F。；艾克，S。；林肯，P。；新墨西哥州马丁·奥列特。；莫德团队 相关软件： OBJ咖啡馆；目标3；ELAN… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）…
可可 680份文件引用（1989年至2024年） 软件作者： CoCoa-Team；洛伦佐·罗比亚诺 相关软件： 麦考利2号；单一；CoCoALib… 主要字段： 组合数学（05-XX）；交换代数（13-XX）；代数几何（14-XX）…
鹦鹉螺 691份文件引用（1988年至2024年） 软件作者： 布伦丹·麦凯；阿道夫·皮佩诺 相关软件： 踪迹；间隙；OEIS… 主要字段： 组合数学（05-XX）；群论与推广（20-XX）；计算机科学（68-XX）…
阿尔戈60 657份文件引用(1959–2024) 软件作者： Naur，P。；巴克斯，J.W。；等。 相关软件： ALGOL 68；欧拉；损益表… 主要字段： 数学逻辑与基础（03-XX）；统计学（62-XX）；数值分析（65-XX）…
PVS公司 617文件引用(1993–2023) 软件作者： Sam Owre、Natarajan Shankar、John Rushby 相关软件： Coq；Isabelle/HOL；HOL… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
HOL公司 592份文件引用(1985–2023) 软件作者： 迈克尔·J·C·戈登。 相关软件： 伊莎贝尔；Isabelle/HOL；ML… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；数论（11-XX）…
艾格托尔 596份文件引用(1996–2024) 软件作者： 托马斯·赖特；Nick Trefethen；马克·恩布雷 相关软件： ARPACK；Seigtool公司；Matlab… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；偏微分方程（35-XX）；算子理论（47-XX）…
毫升 516份文件引用（1978年至2024年） 软件作者： 罗伯特·哈珀；罗宾·米尔纳（Robin Milner）；托夫特、麦兹；爱丁堡大学 相关软件： HOL；Coq；伊莎贝尔… 主要字段： 历史与传记（01-XX）；数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）…
米扎尔 535份文件引用(1983–2024) 软件作者： Grzegorz Bancerek；茨瓦夫·拜林斯基；亚当·格拉博夫斯基（Adam Grabowski）；阿图尔·科尼洛维奇；罗伯特·米列夫斯基（Robert Milewski）；亚当·诺莫维奇（Adam Naumowicz）；Andrzej Trybulec；约瑟夫·乌尔班 相关软件： Coq；Isabelle/HOL；HOL灯… 主要字段： 一般性和全局性主题；藏品（00-XX）；数学逻辑与基础（03-XX）；数论（11-XX）…
棱镜 498份文件引用(2001–2023) 软件作者： 玛尔塔·奎亚特科夫斯卡；格钦·诺曼；大卫·帕克 相关软件： MRMC；风暴；Uppaal… 主要字段： 数学逻辑与基础（03-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…
马特普洛特利布 309份文件引用(2007–2024) 软件作者： John Hunter、Darren Dale、Eric Firing、Michael Droettboom和matplotlib开发团队 相关软件： 数字Py；Python；科学… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
自动化 461份文件引用(1970–2023) 软件作者： N.G.de Bruijn；弗里克·维迪jk；卡马雷迪内（Kamaredine，Fairouz）；Twan Laan；罗伯·奈德佩尔特 相关软件： Coq；Nuprl；ML… 主要字段： 一般性和全局性主题；藏品（00-XX）；历史与传记（01-XX）；数理逻辑与基础（03-XX）…
UMDES公司 442份文件引用(1996–2023) 软件作者： 克里斯托斯·卡桑德拉斯（Christos G.Cassandras）；斯特凡·拉福琼 相关软件： 苏普里米察；libFAUDES；TCT… 主要字段： 概率论与随机过程（60-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
TPTP公司 419份文件引用(1994–2023) 软件作者： Geoff Sutcliffe；克里斯蒂安·萨特纳 相关软件： VAMPIRE公司；E定理证明器；SPASS… 主要字段： 一般性和全局性主题；藏品（00-XX）；数学逻辑与基础（03-XX）；几何（51-XX）…
Nuprl公司 418份文件引用(1986–2023) 软件作者： R.L.Constable、S.F.Allen、H.M.Bromley、W.R.Cleaveland、J.F.Cremer、R.W.Harper、D.J.Howe、T.B.Knoblock、N.P.Mendler、P.Panangaden、J.T.Sasaki、S.F Smith 相关软件： Coq；HOL；自动… 主要字段： 一般性和全局性主题；藏品（00-XX）；数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）…
多晶的 400篇文献引用(2000–2024) 软件作者： Ewgenij Gawrilow、Michael Joswig和polymake团队 相关软件： 麦考利2号；Gfan；正常（amp；N）… 主要字段： 组合数学（05-XX）；代数几何（14-XX）；凸和离散几何（52-XX）…
类鸟群 344份文件引用(1989–2024) 软件作者： 克雷格雷诺兹 相关软件： NetLogo；GitHub；UCI-ml… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；计算机科学（68-XX）…
Turbo帕斯卡 165篇文献引用(1985–2017) 软件作者： 博兰德；菲利普·卡恩 相关软件： dBase；减少；COBOL… 主要字段： 一般性和全局性主题；藏品（00-XX）；统计学（62-XX）；数值分析（65-XX）…
电子数据 360篇文献引用(1992–2024) 软件作者： J.E.克雷莫纳 相关软件： 岩浆；SageMath；PARI/GP… 主要字段： 数论（11-XX）；代数几何（14-XX）；特殊功能（33-XX）…
Wasserstein甘 292份文件中引用(2018–2024) 软件作者： 马丁·阿乔夫斯基（Martin Arjovsky）；索米斯·钦塔拉；莱昂·博图 相关软件： 亚当；像素x像素；CycleGAN… 主要字段： 变分法与最优控制；优化（49-XX）；统计学（62-XX）；数值分析（65-XX）…
凯拉斯 265篇文献引用(2017–2024) 软件作者： F.胆汁 相关软件： TensorFlow；亚当；GitHub… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
CIFAR公司 294份文件引用(2012–2024) 软件作者： Alex Krizhevsky、Vinod Nair、Geoffrey Hinton 相关软件： ImageNet；亚当；AlexNet… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
VAMPIRE公司 308份文件引用(1985–2023) 软件作者： 亚历山大·里亚扎诺夫；安德烈·沃伦科夫 相关软件： TPTP；E定理证明器；SPASS… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；几何（51-XX）…
ACL2型 287份文件引用(1998–2023) 软件作者： 马特·考夫曼（Matt Kaufmann）、斯特罗特·摩尔（Strother Moore） 相关软件： Coq；Isabelle/HOL；PVS… 主要字段： 一般性和全局性主题；藏品（00-XX）；数学逻辑与基础（03-XX）；代数拓扑（55-XX）…
Z轴 237篇文献引用(1958–2023) 软件作者： 吉姆·伍德科克；戴维斯，吉姆 相关软件： 马戏团；电源保护；罗丹… 主要字段： 一般性和全局性主题；藏品（00-XX）；数学逻辑与基础（03-XX）；数论（11-XX）…
艾菲尔 234篇文献引用(1989–2023) 软件作者： 贝特朗·梅耶 相关软件： JML；Smalltalk；规范#… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
阿尔戈68 280篇文献引用(1969–2019) 软件作者： van Wijngaarden，A.作者简介；梅勒鲁，B.J。；Peck，J.E.L。；科斯特，C.H.A。；辛佐夫，M。；Lindsey，C.H。；Meertens，L.G.L.T。；R.G.菲斯克。 相关软件： ALGOL 60；Simula 67；Ada95… 主要字段： 数学逻辑与基础（03-XX）；常微分方程（34-XX）；数值分析（65-XX）…
阿达格拉德 285份文件引用（2011年至2024年） 软件作者： 约翰·杜奇（John Duchi）；哈赞，埃拉德；歌手，约拉姆 相关软件： 亚当；RMSprop；阿达德尔塔… 主要字段： 变分法与最优控制；优化（49-XX）；统计学（62-XX）；数值分析（65-XX）…
单词2vec 264篇文献引用(2015–2024) 软件作者： 托马斯·米科洛夫等人。 相关软件： 全球；node2vec；DeepWalk… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
存档正式证据 269篇文献引用(1963–2024) 软件作者： Jasmin Christian布兰切特；马克西米利安·哈斯贝克；丹尼尔·马提库克（Daniel Matichuk）；托比亚斯·尼普科 相关软件： Isabelle/HOL；伊莎贝尔；Coq… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；数论（11-XX）…
DYNAMO公司 260篇文献引用(1968–2023) 软件作者： Jay Wright Forrester、Phyllis Fox、Alexander L.Pugh III、Grace Duren 相关软件： 斯特拉；文西姆；AnyLogic… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
雪佛兰 266份文件引用(1994–2024) 软件作者： Geck，Meinolf；希斯，格哈德；吕贝克，弗兰克；Gunter Malle；格茨·普菲弗 相关软件： 间隙；岩浆；SageMath… 主要字段： 组合数学（05-XX）；代数几何（14-XX）；结合环与代数（16-XX）…
张紧器2传感器 248篇文献引用(2019–2024) 软件作者： Ashish Vaswani等人。 相关软件： 亚当；伯特；ImageNet… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
梅斯4 250篇文献引用(1995–2024) 软件作者： 威廉·麦库恩 相关软件： 证明人9；水獭；TPTP… 主要字段： 数学逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；通用代数系统（08-XX）…
NTL公司 242份文件中引用(1998–2023) 软件作者： 维克托·舒普 相关软件： gmp；岩浆；GitHub… 主要字段： 数论（11-XX）；代数几何（14-XX）；数值分析（65-XX）…
踪迹 244篇文献引用(2014–2024) 软件作者： 阿道夫·皮佩诺 相关软件： 鹦鹉螺；SageMath；间隙… 主要字段： 组合数学（05-XX）；群论与推广（20-XX）；凸和离散几何（52-XX）…
NetworkX公司 197篇文献引用(2008–2024) 软件作者： Aric Hagberg、Dan Schult、Pieter Swart 相关软件： Python；SciPy；数字标识… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
开普勒98 237篇文献引用(2000–2024) 软件作者： 托马斯·C·哈尔斯。；塞缪尔·弗格森。 相关软件： Flyspeck；Isabelle/HOL；Coq… 主要字段： 数学逻辑与基础（03-XX）；数论（11-XX）；凸和离散几何（52-XX）…
阿格达 233份文件引用(1999–2024) 软件作者： 乌尔夫·诺雷尔 相关软件： Coq；哈斯克尔；Isabelle/HOL… 主要字段： 一般性和全局性主题；藏品（00-XX）；数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）…
ATLAS集团代表 引用于230份文件(1997–2024) 软件作者： 雅培·R、布雷·J、林顿·S、尼克森·S、诺顿·S，帕克·R、苏莱曼·I、特里普·J、沃尔什·P、威尔逊·R。 相关软件： 间隙；岩浆；CTblLib… 主要字段： 组合数学（05-XX）；结合环与代数（16-XX）；群论与推广（20-XX）…
E定理证明器 229篇文献引用(2001–2023) 软件作者： 斯蒂芬·舒尔茨 相关软件： VAMPIRE公司；TPTP；SPASS… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；群论与推广（20-XX）…
校准仪9 223篇文献引用(2006–2024) 软件作者： 威廉·麦库恩 相关软件： 梅斯4；水獭；E定理证明器… 主要字段： 数学逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；通用代数系统（08-XX）…
SPASS公司 204篇文献引用(1996–2023) 软件作者： C Weidenbach、U Brahm、T Hillenbrand 相关软件： VAMPIRE公司；TPTP；E定理证明器… 主要字段： 数学逻辑与基础（03-XX）；群论与推广（20-XX）；计算机科学（68-XX）…
佩斯卡 198篇文献引用(2001–2023) 软件作者： 阿内·兰塔 相关软件： MiniML；Coq；伊莎贝尔… 主要字段： 历史与传记（01-XX）；数学逻辑与基础（03-XX）；几何（51-XX）…
Modula公司 193份文件引用(1977–2018) 软件作者： Wirth N.公司。 相关软件： Ada95；奥伯伦；Smalltalk… 主要字段： 一般性和全局性主题；藏品（00-XX）；数学逻辑与基础（03-XX）；数值分析（65-XX）…
CVC4型 185篇文献引用(2013–2023) 软件作者： Barrett，C.、Conway，C.L.、Deters，M.、Hadarean，L.、Jovanović，D.、King，T.、Reynolds，A.、Tinelli，C。 相关软件： z3；SMT-LIB；数学SAT5… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；数值分析（65-XX）…
联合 183份文件引用(1988–2021) 软件作者： K.Mani Chandy；贾亚德夫·米斯拉 相关软件： NQTHM；PVS；HOL… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
LiE公司 180篇文献引用(1993–2024) 软件作者： A.M.Cohen、B.Lisser、M.A.A.van Leeuwen 相关软件： 数学；岩浆；麦考利2… 主要字段： 代数几何（14-XX）；非结合环与代数（17-XX）；群论与推广（20-XX）…
Twelf公司 177份文件引用(1998–2023) 软件作者： Twelf项目；弗兰克·普芬宁（Frank Pfenning）；卡斯滕·舒尔曼 相关软件： Coq；Isabelle/HOL；Abella… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；代数拓扑（55-XX）…
CASL公司 174篇文献引用（1999年-2023年） 软件作者： 蒂尔·莫萨科夫斯基 相关软件： OBJ咖啡馆；赫茨；莫德… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）…
OBJ咖啡馆 167篇文献引用(1997–2023) 软件作者： 森喜朗（Akira Mori）；高基町五指 相关软件： 莫德；目标3；卡斯尔… 主要字段： 数学逻辑与基础（03-XX）；一般代数系统（08-XX）；代数几何（14-XX）…
AXIOM公司 173篇文献引用(1992–2022) 软件作者： Tim Daly等人。；http://wiki.axiom-developer.org/axiom-website/community.html 相关软件： 枫树；Mathematica；减少… 主要字段： 数论（11-XX）；场论与多项式（12-XX）；交换代数（13-XX）…
酯类 137篇文献引用(1985–2023) 软件作者： 杰拉德·贝瑞 相关软件： 光泽；信号；Uppaal… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）…
CUDD公司 158份文件引用(1997–2023) 软件作者： 法比奥·萨蒙齐 相关软件： NuSMV；自旋蛋白；棱镜… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
液化石油气 164篇文献引用(1972–2024) 软件作者： 罗宾·米尔纳 相关软件： 辅酶q；毫升；HOL… 主要字段： 数学逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；范畴理论；同调代数（18-XX）…
大锤 165篇文献引用(2010–2023) 软件作者： Nik苏尔塔纳；Jasmin Christian布兰切特；劳伦斯·C·鲍尔森。 相关软件： Isabelle/HOL；伊莎贝尔；Coq… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；线性代数和多线性代数；矩阵理论（15-XX）…
4钛2 154份文件引用(2004–2024) 软件作者： R Hemmecke、Möppe、P Malkin、M Walter 相关软件： 麦考利2号；Normaliz；奇异… 主要字段： 组合数学（05-XX）；交换代数（13-XX）；代数几何（14-XX）…
伊萨尔 156篇文献引用(2000–2024) 软件作者： 马卡里乌斯·温泽尔 相关软件： 伊莎贝尔；Isabelle/HOL；Coq… 主要字段： 一般性和全局性主题；藏品（00-XX）；数学逻辑与基础（03-XX）；组合数学（05-XX）…
米兰达 155份文件引用(1985–2023) 软件作者： D.A.特纳。 相关软件： 哈斯克尔；毫升；清洁… 主要字段： 数学逻辑与基础（03-XX）；一般代数系统（08-XX）；范畴理论；同调代数（18-XX）…
LOTOS公司 135份文件引用(1988–2023) 软件作者： Bolognesi，T.、Brinksma，E。 相关软件： CADP；自旋蛋白；Uppaal… 主要字段： 一般性和全局性主题；藏品（00-XX）；数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）…
单兵携带防空系统 129篇文献引用(1991–2023) 软件作者： Benno Fuchssteiner；瓦尔德马尔·维温卡；克劳斯·哥特希尔；安德烈亚斯·坎佩尔；奥利弗·克鲁格（Oliver Kluge）；卡斯滕·莫里斯；Naundorf，Holger；Oevel，Gudrun；托尔斯滕·舒尔茨 相关软件： 枫树；Mathematica；MuPAD-组合… 主要字段： 组合数学（05-XX）；数论（11-XX）；交换代数（13-XX）…
OBJ3型 140篇文献引用(1989–2023) 软件作者： J.Goguen、T.Winkler、J.Meseguer、K.Futatsigi和J.Jouannaud；（基尼里） 相关软件： 莫德；OBJ咖啡馆；卡斯尔… 主要字段： 数学逻辑与基础（03-XX）；一般代数系统（08-XX）；范畴理论；同调代数（18-XX）…
手套 113篇文献引用(2015–2024) 软件作者： Jeffrey Pennington、Richard Socher、Christopher D.Manning 相关软件： 单词2vec；伯特；Tensor2传感器… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
模拟67 131篇文献引用(1963–2021) 软件作者： O.J.达尔。；奈加德，K。 相关软件： 埃菲尔；ALGOL 68；Smalltalk… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；数值分析（65-XX）…
Flyspeck飞点 133篇文献引用(2004–2024) 软件作者： 托马斯·黑尔斯（Thomas C.Hales）。；坦克墨水，雕刻；塞萨里·卡利西克；约瑟夫·乌尔班（Josef Urban）；赫尔曼·格乌弗斯 相关软件： HOL灯；Isabelle/HOL；Coq… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；凸和离散几何（52-XX）…
JStatCom公司 104篇文献引用(2007–2024) 软件作者： 马库斯·克拉齐格 相关软件： KEEL；UCI-ml；C4.5… 主要字段： 组合数学（05-XX）；统计学（62-XX）；数值分析（65-XX）…
LISP公司 114篇文献引用（1960年-2023年） 软件作者： 约翰·麦卡锡 相关软件： ACL2；NQTHM；哈斯克尔… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
卢斯特 104篇文献引用(1992–2023) 软件作者： 卡斯皮，P。；Pilaud，D。；Halbwachs，N。；普拉斯，J.A。 相关软件： 酯类；信号；Simulink… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）…
x行动 121篇文献引用(2008–2024) 软件作者： 何塞·马丁·加西亚 相关软件： xTras；xPerm；xPert… 主要字段： 微分几何（53-XX）；粒子和系统力学（70-XX）；量子理论（81-XX）…
Risa/Asir公司 122篇文献引用(1992–2024) 软件作者： 北野正彦、横山和弘、竹岛拓夫、下山竹石、安井广志、，Takayuki Kando、Tomokatsu Saito、Yuji Kondoh、Hirokazu Murao、Thomas Sturm、Katsuyoshi Ohara、Nobuki Takayama（致力于基础设计、内核源代码和核心库）。关于库的提交者和最近的贡献者，请参见http://www.math.kobe-u.ac.jp/OpenXM/people.html富士通实验室或asir.org或神户大学。 相关软件： 单一；麦考利2号；堪萨斯州… 主要字段： 交换代数（13-XX）；代数几何（14-XX）；几个复变量和分析空间（32-XX）…