Matlab公司 13834年文献引用(1982–2025) 软件作者： MathWorks公司 相关软件： Simulink；LMI工具箱；枫树… 主要字段： 常微分方程（34-XX）；偏微分方程（35-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；Mathematica；间隙… 主要字段： 组合数学（05-XX）；数论（11-XX）；线性代数和多线性代数；矩阵理论（15-XX）…
github 5222份文件引用(2010–2024) 软件作者： github 相关软件： R；亚当；Matlab… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
DLMF公司 3806文件引用(2000–2024) 软件作者： 丹尼尔·洛泽尔（Daniel W.Lozier）。 相关软件： Mathematica；Matlab；OEIS… 主要字段： 特殊功能（33-XX）；偏微分方程（35-XX）；概率论与随机过程（60-XX）…
间隙 3676份文件引用(1990–2024) 软件作者： GAP集团 相关软件： 岩浆；SageMath；ATLAS集团代表… 主要字段： 组合数学（05-XX）；代数几何（14-XX）；结合环与代数（16-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）…
单一 引用于1650份文件(1991–2024) 软件作者： Wolfram Decker；格特·马丁·格雷尔（Gert-Martin Greuel）；格哈德·普菲斯特；汉斯·舍尼曼 相关软件： 麦考利2号；可可；SageMath… 主要字段： 交换代数（13-XX）；代数几何（14-XX）；几个复变量和分析空间（32-XX）…
mctoolbox软件 1630年文献引用(1995–2024) 软件作者： 尼克·海姆 相关软件： LAPACK；Matlab；mftoolx… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）；计算机科学（68-XX）…
塞杜米 1380年文献引用(1999–2024) 软件作者： 斯图尔姆·J·F 相关软件： YALMIP；SDPT3；GloptiPoly… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
YALMIP公司 1259年文献引用(2004–2024) 软件作者： 约翰·洛夫伯格 相关软件： 塞杜米；SDPT3；Mosek… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
4.5条 836份文件引用(1991–2024) 软件作者： J.昆兰。；规则任务 相关软件： UCI-ml；R；威卡… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
伊莎贝尔/HOL 1076份文件引用(1996–2024) 软件作者： 沃尔夫冈·纳拉斯切夫斯基（Wolfgang Naraschewski）；托比亚斯·尼普科 相关软件： 伊莎贝尔；Coq；HOL… 主要字段： 数理逻辑与基础（03-XX）；组合数学（05-XX）；数论（11-XX）…
数学溢出 827份文件引用(2010–2024) 软件作者： Stack Exchange公司 相关软件： 组织环境信息系统；SageMath；GitHub… 主要字段： 数理逻辑与基础（03-XX）；组合数学（05-XX）；数论（11-XX）…
SDPT3型 768份文件引用（1986年至2024年） 软件作者： Toh，K.C。；托德，M.J。；TüTüncü，R.H。 相关软件： 塞杜米；YALMIP；CVX… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
减少 738份文件引用(1970–2023) 软件作者： Anthony C.Hearn；格哈德·雷纳（Gerhard Rayna）；Rainer Schöpf；托马斯·斯特姆 相关软件： 枫树；Mathematica；马西玛… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
莫德 646份文件引用(1984–2023) 软件作者： Clavel，M。；杜兰，F。；埃克，S。；林肯，P。；新墨西哥州马丁·奥列特。；莫德团队 相关软件： OBJ咖啡馆；OBJ3；ELAN… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）…
CoCoA公司 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）…
超小卫星 引用于587份文件(2003–2023) 软件作者： Niklas Eén、Niklas Sörensson 相关软件： 糠；伯克敏；z3… 主要字段： 数理逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
糠 559份文件引用(2001–2023) 软件作者： Moskewicz，M.、Madigan，C.、Zhao，Y.、Zhang，L.和Malik，S 相关软件： MiniSat；伯克敏；SATO… 主要字段： 数理逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-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）；有序，格，有序代数结构（06-XX）…
棱镜 498份文件引用(2001–2023) 软件作者： 玛尔塔·奎亚特科夫斯卡；诺曼，格钦；大卫·帕克 相关软件： MRMC；风暴；Uppaal… 主要字段： 数理逻辑与基础（03-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…
自动化 引用于461份文件(1970–2023) 软件作者： N.G.de Bruijn；弗里克·维迪jk；卡马雷迪内（Kamaredine，Fairouz）；Twan Laan；Rob Nederpelt公司 相关软件： Coq；Nuprl；ML… 主要字段： 总体主题；藏品（00-XX）；历史与传记（01-XX）；数学逻辑与基础（03-XX）…
XPath（XPath） 205篇文献引用(2002–2023) 软件作者： w3.org网站 相关软件： XQuery；X标记；Oracle… 主要字段： 数理逻辑与基础（03-XX）；组合数学（05-XX）；有序，格，有序代数结构（06-XX）…
GloptiPoly公司 360篇文献引用(2003–2024) 软件作者： 迪迪埃·亨利安（Didier Henrion）；让-伯纳德·拉塞尔；约翰·勒夫伯格 相关软件： 塞杜米；YALMIP；Sostools… 主要字段： 代数几何（14-XX）；线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）…
水獭 326篇文献引用(1988–2023) 软件作者： 比尔·麦库恩；阿莫尔·蒙塔诺（Amor Montano）、何塞·阿尔弗雷多（Jose Alfredo）；米兰达·佩雷亚（Miranda Perea）、法维奥·埃泽奎尔（Favio Ezequiel） 相关软件： TPTP；吸血鬼；SPASS… 主要字段： 数理逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；群论与推广（20-XX）…
Sostools公司 325篇文献引用(2002–2024) 软件作者： 史蒂芬·般若（Stephen Prajna）；安东尼斯·帕帕克里斯托杜鲁（Antonis Papachristodoulou）；彼得·塞勒（Peter Seiler）；巴勃罗·帕里洛。 相关软件： 塞杜米；YALMIP；GloptiPoly… 主要字段： 常微分方程（34-XX）；数值分析（65-XX）；计算机科学（68-XX）…
并入PT_90 310份文件引用(1996–2023) 软件作者： R.Baker Kearfott先生 相关软件： 国际实验室；C-XSC；个人资料/偏见… 主要字段： 常微分方程（34-XX）；数值分析（65-XX）；计算机科学（68-XX）…
算法97 296份文件引用(1971–2024) 软件作者： 罗伯特·弗洛伊德 相关软件： CPLEX；OR-库；禁忌搜索… 主要字段： 组合数学（05-XX）；统计学（62-XX）；数值分析（65-XX）…
Visual Basic 168篇文献中引用(1993–2023) 软件作者： 微软 相关软件： VBA；擅长；访问… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
Z轴 237篇文献引用(1958–2023) 软件作者： 吉姆·伍德科克；吉姆·戴维斯 相关软件： 马戏团；电源保护；罗丹… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；数论（11-XX）…
数据日志 282份文件引用(1978–2022) 软件作者： Ceri，S.、Gottlob，G.、Tanca，L 相关软件： 亚萨特；格林戈；Clingo… 主要字段： 数理逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
阿达95 引用于277份文件(1979–2023) 软件作者： 让·伊克比亚 相关软件： 调制；埃菲尔；闲聊… 主要字段： 偏微分方程（35-XX）；动力系统与遍历理论（37-XX）；数值分析（65-XX）…
QEPCAD公司 295篇文献引用(1991–2024) 软件作者： Hoon Hong；克里斯托弗·布朗（Christopher W.Brown）。 相关软件： REDLOG；枫树；发现者… 主要字段： 数理逻辑与基础（03-XX）；代数几何（14-XX）；数值分析（65-XX）…
MapReduce 214篇文献引用(2008–2024) 软件作者： 潘杰；弗莱德里克·马古莱斯；亚恩·勒比安尼克 相关软件： Hadoop；火花；Apache Spark… 主要字段： 组合数学（05-XX）；概率论与随机过程（60-XX）；统计学（62-XX）…
C解析 257篇文献引用(2006–2023) 软件作者： 蒂莫西·戴维斯（Timothy A.Davis）。 相关软件： 稀疏矩阵；Matlab；symrcm… 主要字段： 统计学（62-XX）；数值分析（65-XX）；可变形固体力学（74-XX）…
梅斯4 250篇文献引用(1995–2024) 软件作者： 威廉·麦库恩 相关软件： 证明人9；水獭；TPTP… 主要字段： 数理逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；一般代数系统（08-XX）…
隔离 237篇文献引用(1999–2024) 软件作者： Fabrice的Rouillier；保罗·齐默尔曼 相关软件： 克罗内克；FGb；枫树… 主要字段： 场论与多项式（12-XX）；交换代数（13-XX）；代数几何（14-XX）…
阿格达 233份文件引用(1999–2024) 软件作者： 乌尔夫·诺雷尔 相关软件： Coq；哈斯克尔；Isabelle/HOL… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）…
校准仪9 223篇文献引用(2006–2024) 软件作者： 威廉·麦库恩 相关软件： Mace4；水獭；E定理证明… 主要字段： 数理逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；一般代数系统（08-XX）…
SPASS公司 204篇文献引用(1996–2023) 软件作者： C Weidenbach、U Brahm、T Hillenbrand 相关软件： 吸血鬼；TPTP；E定理证明… 主要字段： 数理逻辑与基础（03-XX）；群论与推广（20-XX）；计算机科学（68-XX）…
阿特拉斯 187份文件引用(1992–2023) 软件作者： R.克林特·惠利 相关软件： LAPACK；BLAS；PHiPAC… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）；计算机科学（68-XX）…
SDPA公司 189份文件引用(1997–2023) 软件作者： 藤泽、胜木；小岛、Masakazu；Kazuhide Nakata 相关软件： 塞杜米；SDPT3；CSDP… 主要字段： 组合数学（05-XX）；数值分析（65-XX）；计算机科学（68-XX）…
CASL公司 174篇文献引用(1999–2023) 软件作者： 蒂尔·莫萨科夫斯基 相关软件： OBJ咖啡馆；赫茨；莫德… 主要字段： 数理逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）…
Yices公司 168篇文献中引用(1992–2023) 软件作者： B.杜特雷；L.de Moura村 相关软件： z3；SMT-LIB；CVC4… 主要字段： 数理逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
OBJ咖啡馆 167篇文献引用(1997–2023) 软件作者： 森喜朗（Akira Mori）；高基町五指 相关软件： 莫德；OBJ3；CASL… 主要字段： 数理逻辑与基础（03-XX）；通用代数系统（08-XX）；代数几何（14-XX）…
AXIOM公司 173篇文献引用(1992–2022) 软件作者： Tim Daly等人。；http://wiki.axiom-developer.org/公理网站/community.html 相关软件： 枫树；Mathematica；减少… 主要字段： 数论（11-XX）；场论与多项式（12-XX）；交换代数（13-XX）…
CUDD公司 158份文件引用(1997–2023) 软件作者： 法比奥·萨蒙齐 相关软件： NuSMV；自旋蛋白；棱镜… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-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）…
大锤 165篇文献引用（2010年-2023年） 软件作者： Nik苏尔塔纳；布兰切特，贾斯敏·克里斯蒂安；劳伦斯·C·鲍尔森。 相关软件： Isabelle/HOL；伊莎贝尔；Coq… 主要字段： 数理逻辑与基础（03-XX）；组合数学（05-XX）；线性代数和多线性代数；矩阵理论（15-XX）…
米兰达 155篇文献中引用(1985–2023) 软件作者： D.A.特纳。 相关软件： 哈斯克尔；毫升；清洁… 主要字段： 数理逻辑与基础（03-XX）；通用代数系统（08-XX）；范畴理论；同调代数（18-XX）…
第3264册示例 159份文件引用(2015–2024) 软件作者： 查利·克里斯曼；戴维·艾森巴德（David Eisenbud）；乔·哈里斯 相关软件： 麦考利2号；github；同伦连续… 主要字段： 交换代数（13-XX）；代数几何（14-XX）；动力系统和遍历理论（37-XX）…
优化软件基准 154份文件引用(1999–2023) 软件作者： 汉斯·米特尔曼 相关软件： 塞杜米；MIPLIB公司；SCIP… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；可变形固体力学（74-XX）…
工程计算 138篇文献引用(1991–2022) 软件作者： 参数技术公司 相关软件： Mathematica；枫树；Matlab… 主要字段： 总体主题；藏品（00-XX）；统计学（62-XX）；数值分析（65-XX）…
Hadoop公司 101篇文献引用（2010年-2023年） 软件作者： Apache软件基金会 相关软件： MapReduce；火花；R、 … 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
OBJ3型 140篇文献引用(1989–2023) 软件作者： J.Goguen、T.Winkler、J.Meseguer、K.Futatsigi和J.Jouannaud；（基尼里） 相关软件： 莫德；OBJ咖啡馆；CASL… 主要字段： 数理逻辑与基础（03-XX）；通用代数系统（08-XX）；范畴理论；同调代数（18-XX）…
J工具 142篇文献引用(2008–2024) 软件作者： 克劳德·本扎肯；纳迪娅·布劳纳 相关软件： 组织环境信息系统；MiniSat；GitHub… 主要字段： 阶、格、有序代数结构（06-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
模拟67 131篇文献引用(1963–2021) 软件作者： O.J.达尔。；奈加德，K。 相关软件： 埃菲尔；ALGOL 68；闲聊… 主要字段： 数理逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；数值分析（65-XX）…
SumTools公司 120篇文献引用(1995–2023) 软件作者： 沃尔夫拉姆·科普夫 相关软件： 枫树；DLMF；反击… 主要字段： 组合数学（05-XX）；数论（11-XX）；特殊功能（33-XX）…
ELAN公司 106篇文献引用(1996–2020) 软件作者： 彼得·博罗万斯基（Peter Borovansky）、埃里克·德普拉涅（Eric Deplagne）、克劳德·基什内尔（Claude Kirchner）、海伦娜·基什内尔·基什内尔皮埃尔雷·伊蒂安·莫劳（Pierre-Etienne Moreau）、克里斯托夫·林盖森（Christophe 相关软件： 莫德；OBJ咖啡馆；OBJ3… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）…
重新查看 106篇文献引用(1991–2023) 软件作者： 鲁道夫·伯哈默（Rudolf Berghammer）；施密特，冈瑟；温特，迈克尔 相关软件： Isabelle/HOL；证明人9；Rath… 主要字段： 数理逻辑与基础（03-XX）；组合数学（05-XX）；有序，格，有序代数结构（06-XX）…
复数 99篇文献引用(2003–2024) 软件作者： 列万多夫斯基，维克多；汉斯·舍内曼；Motsak、Olexander；格特·马丁·格雷尔 相关软件： 单一；麦考利2号；OreModules… 主要字段： 交换代数（13-XX）；代数几何（14-XX）；结合环与代数（16-XX）…
ILOG时间表 88篇文献引用(1996–2023) 软件作者： C·勒帕佩 相关软件： CPLEX；炸薯条；JOBSHOP… 主要字段： 通用代数系统（08-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）…
版次 87份文件引用(1984–2023) 软件作者： 皮埃尔·莱斯坎 相关软件： RRL；AProVE；蒂罗尔… 主要字段： 数理逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；一般代数系统（08-XX）…
主持人 60篇文献引用(2017–2024) 软件作者： 丹尼尔·福尔曼·马基、大卫·霍格、达斯汀·朗、乔纳森·古德曼 相关软件： 蟒蛇；SciPy；Matplotlib… 主要字段： 偏微分方程（35-XX）；统计学（62-XX）；数值分析（65-XX）…
模糊逻辑工具箱 66份文件引用(1998–2022) 软件作者： 网织物；北卡罗来纳州格利。；Jang，J.S。 相关软件： Matlab；ANFIS；Simulink… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
Nitpick公司 79份文件引用(1999–2023) 软件作者： 布兰切特，贾斯敏·克里斯蒂安；托比亚斯·尼普科 相关软件： Isabelle/HOL；大锤；伊莎贝尔… 主要字段： 历史与传记（01-XX）；数理逻辑与基础（03-XX）；组合数学（05-XX）…
伊莎贝尔/采埃孚 70篇文献引用(1993–2023) 软件作者： 劳伦斯·保尔森 相关软件： 伊莎贝尔；Coq；Isabelle/HOL… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；代数拓扑（55-XX）…
备用POP 69篇文献引用(2008–2023) 软件作者： Hayato Waki；Sunyoung Kim；小岛正明；村松正男（Masakazu Muramatsu）；杉本博司 相关软件： 塞杜米；GloptiPoly；SDPT3… 主要字段： 代数几何（14-XX）；数值分析（65-XX）；计算机科学（68-XX）…
RRL公司 59篇文献引用(1985–2023) 软件作者： D.卡普尔；H.张 相关软件： 版次：；水獭；NQTHM… 主要字段： 数理逻辑与基础（03-XX）；通用代数系统（08-XX）；非结合环与代数（17-XX）…
嘉年华 60篇文献引用（2009年-2023年） 软件作者： 斯米尔诺夫公司。；斯米尔诺夫，V.A。；M.Tentyukov。 相关软件： 火灾；LiteRed；12月第二天… 主要字段： 代数几何（14-XX）；特殊功能（33-XX）；数值分析（65-XX）…
NCAlgebra大学 58篇文献引用(1994–2023) 软件作者： JW Helton、R Miller、M Stankus 相关软件： Mathematica；NCSO大便；SeDuMi… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；结合环与代数（16-XX）；算子理论（47-XX）…
优化软件的决策树 56篇文献引用(1999–2022) 软件作者： 米特尔曼，H.D。；彼得·斯佩卢奇 相关软件： 优化软件基准；MIPLIB公司；CPLEX… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
迷你们 引用于54份文件(2005–2023) 软件作者： Jefferson，C.、Kotthoff，L.、Moore，N.、Nightingale，P.、Petrie，K.E.、Rendl，A。 相关软件： 间隙；微量锌；OEIS… 主要字段： 组合数学（05-XX）；结合环与代数（16-XX）；群论与推广（20-XX）…
小脚 55份文件引用(2004–2023) 软件作者： J.伯丁、C.加尔卡尼奥、P.W.奥赫恩。 相关软件： VeriFast；jStar；HIP… 主要字段： 数理逻辑与基础（03-XX）；通用代数系统（08-XX）；计算机科学（68-XX）
回路 55份文件引用(2006–2023) 软件作者： Petr Vojtechovsky，Gabor Nagy 相关软件： 间隙；Mace4；校准仪9… 主要字段： 组合数学（05-XX）；通用代数系统（08-XX）；群论与推广（20-XX）…
伪环箍 53篇文献引用(2005–2024) 软件作者： 乔治·乔治斯库（George Georgescu）、劳伦蒂·卢斯特安（Laurentiu Leustean）、维奥雷尔·普雷奥塔萨（Viorel Preoteasa） 相关软件： —— 主要字段： 数理逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；一般代数系统（08-XX）…
香车叶草 50篇文献引用(1999–2022) 软件作者： 托马斯·希伦布兰德；伯恩德·洛什内尔 相关软件： 吸血鬼；TPTP；E定理证明… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；有序，格，有序代数结构（06-XX）…
Freshml公司 在48份文件中引用(2003–2021) 软件作者： M.R.Shinwell、A.M.Pitts、M.Gabbay。 相关软件： Coq；名义上的伊莎贝尔；Twelf… 主要字段： 数理逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；一般代数系统（08-XX）…
咖喱 42篇文献引用(1998–2022) 软件作者： M.Hanus、H.Kuchen、J.J.Moreno-Navarro 相关软件： 哈斯克尔；PAKCS；KiCS2… 主要字段： 数理逻辑与基础（03-XX）；通用代数系统（08-XX）；计算机科学（68-XX）…
廷巴克 49篇文献引用(2001–2023) 软件作者： 托马斯·杰奈特；Yohan Boichut；贝诺·博伊尔；Valérie Viet Triem Tong。。 相关软件： 莫德；AVISPA；ELAN… 主要字段： 数理逻辑与基础（03-XX）；通用代数系统（08-XX）；计算机科学（68-XX）…
佛罗多克 在48份文件中引用(2018–2023) 软件作者： Erdem Alkim、Joppe W.Bos、Léo Ducas、Karen Easterbrook、Brian LaMacchia、Patrick Longa、Ilya Mironov、Michael Naehrig、Valeria Nikolaenko、Chris Peikert、Ananth Raghunathan、Douglas Stebila 相关软件： github；佩剑；McEliece… 主要字段： 组合数学（05-XX）；数论（11-XX）；计算机科学（68-XX）…
普雷格尔 41篇文献引用（2010年-2023年） 软件作者： Malewicz，G.、Austern，M.H.、Bik，A.J.、Dehnert，J.C.、Horn，I.、Leiser，N.、Czajkowski，G。 相关软件： 图形实验室；MapReduce；Hadoop… 主要字段： 组合数学（05-XX）；数值分析（65-XX）；计算机科学（68-XX）…
CoFI公司 40篇文献引用(1997–2017) 软件作者： 彼得·莫塞斯（Peter D.Mosses）。 相关软件： CASL；ATERM；玛雅… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；一般代数系统（08-XX）…
C-CoRN公司 41篇文献引用(2004–2023) 软件作者： 亨克·巴伦德雷格特、文斯·巴兰尼、路易斯·克鲁兹·菲利佩、赫尔曼·基弗斯、马吕斯·吉埃罗、里克·范·吉尼肯、迪米特里·亨德里克斯、塞巴斯蒂安·欣德勒、塞萨里·卡利西克、B.W.M.柯克尔斯、皮埃尔·勒图泽伊、艾里斯·勒布、莱昂内尔·马马内姆·米拉德·尼基、罗素·奥康纳、兰迪·波拉克、尼克莱·施梅里夫、巴斯佩特斯、丹·辛克、弗里克·威迪杰克、扬·茨瓦恩堡 相关软件： Coq；米扎尔；Isabelle/HOL… 主要字段： 数理逻辑与基础（03-XX）；实函数（26-XX）；数值分析（65-XX）…
操纵 39篇文献引用(2011–2023) 软件作者： 格拉尼亚，马蒂亚斯；莱安德罗·文德拉明 相关软件： 间隙；github；节点信息… 主要字段： 结合环与代数（16-XX）；非结合环与代数（17-XX）；群论与推广（20-XX）…
半群 37篇文献引用(2011–2023) 软件作者： J.D.米切尔。 相关软件： 间隙；组织环境信息系统；Smallsemi… 主要字段： 组合数学（05-XX）；结合环与代数（16-XX）；范畴理论；同调代数（18-XX）…
MBC手册 36篇文献引用（2019年-2023年） 软件作者： 查尔斯·布韦伦（Charles Bouveyron）；吉尔斯·塞勒克斯（Gilles Celeux）；T.Brendan Murphy；阿德里安·拉弗瑞 相关软件： R；麦克卢斯特；fda（R）… 主要字段： 通用代数系统（08-XX）；概率论与随机过程（60-XX）；统计学（62-XX）…
IBM草稿行 34份文件引用(1974–2021) 软件作者： 理查德·詹克斯（Richard Jenks）；国际商用机器公司 相关软件： 枫树；伊斯兰教；AXIOM… 主要字段： 数论（11-XX）；场论与多项式（12-XX）；交换代数（13-XX）…
MCK公司 34份文件引用(2004–2023) 软件作者： 罗恩·范德梅登；彼得·甘米（Peter Gammie）；Kai Baukus；杰里米·李；程洛；黄晓伟 相关软件： MCMAS；VerICS；NuSMV… 主要字段： 数理逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）…
大学数学 34份文件引用(2016–2023) 软件作者： 沃沃德斯基，V.，莫特伯格，A.，阿伦斯，B.，莱利，C.，潘尼拉，T.，马特，R。 相关软件： github；Coq；立方… 主要字段： 数理逻辑与基础（03-XX）；代数几何（14-XX）；范畴理论；同调代数（18-XX）…
LASS公司 29篇文献引用(1997–2021) 软件作者： 斯蒂利安·斯托夫 相关软件： 长备忘录；wmtsa；Matlab… 主要字段： 历史与传记（01-XX）；欧氏空间（42-XX）的调和分析；概率论与随机过程（60-XX）…
人力资源 27篇文献引用(2002–2022) 软件作者： 西蒙·科尔顿 相关软件： 涂鸦；水獭；梅斯4… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；组合数学（05-XX）…