蟒蛇 1432份文献中引用(1991–2025) 软件作者： 吉多·范罗苏姆 相关软件： SciPy；数字Py；Matplotlib… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
LMI工具箱 1494年文献引用（1995年至2024年） 软件作者： 数学作品；Gahinet，P。；内米洛夫斯基，A。；劳布，A.J。；M.奇拉利。 相关软件： Matlab；控制系统工具箱；YALMIP… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；常微分方程（34-XX）；运筹学，数学规划（90-XX）…
朱莉娅 653份文件引用(2014–2024) 软件作者： Bezanson J、Karpinski S、Shah VB、Edelman A 相关软件： github；JuMP；微分方程.jl… 主要字段： 偏微分方程（35-XX）；统计学（62-XX）；数值分析（65-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）…
HOL灯 320篇文献引用(1998–2024) 软件作者： 约翰·哈里森 相关软件： Coq；Isabelle/HOL；霍尔… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；数论（11-XX）…
PHC包 250篇文献引用(1999–2024) 软件作者： 简·维舍尔 相关软件： 贝尔蒂尼；麦考利2号；HOM4PS… 主要字段： 交换代数（13-XX）；代数几何（14-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）…
科学实验室 173篇文献引用(1999–2023) 软件作者： Scilab企业；里卡多·法布里 相关软件： Matlab；倍频程；R、 … 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
神经网络工具箱 131篇文献引用(1995–2021) 软件作者： H.B.Demuth、M.Beale、M.T.Hagan。 相关软件： Matlab；UCI-ml；优化工具箱… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；变形固体力学（74-XX）…
重新记录 171篇文献引用(1997–2024) 软件作者： 安德烈亚斯·多尔兹曼（Andreas Dolzmann）；托马斯·斯图尔姆；沃尔克·魏斯芬宁 相关软件： QEPCAD；z3；枫树… 主要字段： 数学逻辑与基础（03-XX）；交换代数（13-XX）；计算机科学（68-XX）…
CESAR公司 160篇文献引用(1982–2023) 软件作者： Queille，J.P。；J.西法基斯。 相关软件： 自旋蛋白；SLAM；Uppaal… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
控制系统工具箱 引用于166份文件（1995年至2024年） 软件作者： MathWorks公司；格雷斯，A。；Laub，A.J。；Little，J.N。；汤普森，C.M。 相关软件： Matlab；LMI工具箱；鲁棒控制工具箱… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；常微分方程（34-XX）；变分法与最优控制；优化（49-XX）…
酯类 137篇文献引用(1985–2023) 软件作者： 杰拉德·贝瑞 相关软件： 卢斯特；信号；Uppaal… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）…
低成本融资 164篇文献引用(1972–2024) 软件作者： 罗宾·米尔纳 相关软件： Coq；毫升；霍尔… 主要字段： 数学逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；范畴理论；同调代数（18-XX）…
鲁棒控制工具箱 160篇文献引用(1989–2024) 软件作者： 数学作品；Balas G、Chiang R、Packard A、Safonov M 相关软件： Matlab；控制系统工具箱；Mu分析与合成工具箱… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）；粒子和系统力学（70-XX）…
米兰达 155份文件引用(1985–2023) 软件作者： D.A.特纳。 相关软件： 哈斯克尔；毫升；清洁… 主要字段： 数学逻辑与基础（03-XX）；一般代数系统（08-XX）；范畴理论；同调代数（18-XX）…
OBJ3型 140篇文献引用(1989–2023) 软件作者： J.Goguen、T.Winkler、J.Meseguer、K.Futatsigi和J.Jouannaud；（基尼里） 相关软件： 莫德；OBJ咖啡馆；CASL… 主要字段： 数学逻辑与基础（03-XX）；一般代数系统（08-XX）；范畴理论；同调代数（18-XX）…
阿迪纳 132份文件引用(1976–2021) 软件作者： ADINA研发公司；K.J.巴斯 相关软件： ANSYS；ABAQUS；FEAP… 主要字段： 总体主题；藏品（00-XX）；数值分析（65-XX）；变形固体力学（74-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号；Kan… 主要字段： 交换代数（13-XX）；代数几何（14-XX）；几个复变量和分析空间（32-XX）…
乐高 116篇文献引用(1991–2023) 软件作者： 罗，Z.，波拉克，R。 相关软件： Coq；Nuprl公司；自动… 主要字段： 历史与传记（01-XX）；数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）…
列表-统计 88篇文献引用(1977–2019) 软件作者： 卢克·蒂尔尼 相关软件： R；远景；XGobi… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
阿巴克斯 117篇文献引用(1996–2022) 软件作者： 精灵，马提亚斯；卡斯滕·古特温格；迈克尔·Jünger；乔瓦尼·里纳尔迪 相关软件： CPLEX；MINTO公司；SYMPHONY… 主要字段： 组合数学（05-XX）；数值分析（65-XX）；计算机科学（68-XX）…
SICStus公司 94份文件引用(1992–2024) 软件作者： Mats Carlsson，每米尔德纳 相关软件： SWI-预测；Ciao；XSB… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；统计学（62-XX）…
量子点 109篇文献引用(1991–2023) 软件作者： 斯蒂芬·博伊德（Stephen P.Boyd）。；克雷格·H·巴拉特。 相关软件： LMI工具箱；塞杜米；Matlab… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
ELAN公司 106篇文献引用(1996–2020) 软件作者： Peter Borovansky、Eric Deplagne、Claude Kirchner、Helene Kirchner、Pierre Etienne Moreau、Christophe Ringeisesen、Marian Vittek 相关软件： 莫德；OBJ咖啡馆；OBJ3… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）…
GiNaC公司 引用于92篇文献(2002–2024) 软件作者： 欧洲专利局（EPO）；C.W.Bauer、A.Frink、R.Kreckel 相关软件： 表格；雷杜泽；火灾… 主要字段： 复变量的函数（30-XX）；几何（51-XX）；数值分析（65-XX）…
seL4级 92份文件引用(2009–2023) 软件作者： Klein，G.、Elphinstone，K.、Heiser，G.，Andronick，J.、Cock，D.、Derrin，P.、Elkaduwe，D.、Engelhardt，K.，Kolanski，R.、Norrish，M.、Sewell，T.、Tuch，H.、Winwood，S。 相关软件： Isabelle/HOL；Coq；伊莎贝尔… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；线性代数和多线性代数；矩阵理论（15-XX）…
锡林克斯 24篇文献引用(1994–2023) 软件作者： Xilinx公司。 相关软件： Handel-C；Matlab；Simulink… 主要字段： 场论与多项式（12-XX）；计算机科学（68-XX）；量子理论（81-XX）…
摩卡 85篇文献引用(1999–2023) 软件作者： Alur，R.，Henzinger，T.A.，Mang，F.Y.C.，Qadeer，S.，Rajamani，S.K.，Tasiran，S。 相关软件： MCMAS；自旋蛋白；棱镜… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
星期六4j 86篇文献引用(2007–2023) 软件作者： 勒贝雷；帕兰 相关软件： QMaxSAT；MiniSat；查夫… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
渠流 88篇文献引用(2008–2023) 软件作者： J.F.吉布森 相关软件： Matlab；FFTW；piDMD… 主要字段： 偏微分方程（35-XX）；动力系统与遍历理论（37-XX）；数值分析（65-XX）…
cvc3型 80篇文献引用(2006–2023) 软件作者： 克拉克·巴雷特（Clark Barrett）、塞萨尔·蒂内利（Cesare Tinelli 相关软件： z3；SMT-LIB；Yices… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
G工具箱 68篇文献引用(1999–2021) 软件作者： C.Houck、J.Joines、M.Kay、A.Chipperfield、P.Flemming、H.Pohlheim、C.Fonseca 相关软件： Matlab；基因组学；遗传算法与直接搜索工具箱… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；变形固体力学（74-XX）…
科莱姆 65篇文献引用(2000–2023) 软件作者： 德尼古拉，R。；法拉利，G.L。；普格利泽，R。 相关软件： 琳达；克拉瓦；SCEL… 主要字段： 数学逻辑与基础（03-XX）；一般拓扑（54-XX）；计算机科学（68-XX）…
AETG公司 67篇文献引用(1998–2023) 软件作者： 科恩，D.M。；Dallal，S.R。；弗雷德曼，M.L。；巴顿，G.C。 相关软件： CAgen；行为；禁忌搜索… 主要字段： 组合数学（05-XX）；线性代数和多线性代数；矩阵理论（15-XX）；统计学（62-XX）…
凯伊 55份文件引用(2000–2023) 软件作者： http://www.key-project.org/people.html 相关软件： JML；ESC/Java；卡拉卡拉… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；数值分析（65-XX）…
COMPleib公司 63份文件引用(2005–2024) 软件作者： F.Leibfritz；W.利宾斯基 相关软件： 共犯；YALMIP；彭农… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
根 34份文件引用(2001–2023) 软件作者： 勒内·布伦；天线制造商 相关软件： PYTHIA8；GEANT4；Python… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；量子理论（81-XX）…
BOINC公司 23篇文献引用(2006–2023) 软件作者： D.P.安德森 相关软件： XtremWeb；Globus工具包；和弦… 主要字段： 概率论与随机过程（60-XX）；计算机科学（68-XX）；运筹学，数学规划（90-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）
摄像机校准 引用于22份文件(2002–2022) 软件作者： 布盖J-Y 相关软件： 校准；SIFT；Matlab… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；流体力学（76-XX）…
马拉雷亚 56篇文献引用(2007–2023) 软件作者： 约瑟夫·乌尔班 相关软件： E定理证明器；吸血鬼；Mizar… 主要字段： 数学逻辑与基础（03-XX）；数论（11-XX）；数值分析（65-XX）…
KORBX公司 56篇文献引用(1990–2018) 软件作者： 美国电话电报公司；William J.Carolan、James E.Hill、Jeffery L.Kennington、Sandra Niemi和Stephen J.Wichmann 相关软件： 综合项目管理；MINOS；DEVEX… 主要字段： 组合数学（05-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
信号 51篇文献引用(1987–2020) 软件作者： 大卫·诺瓦克；Jean-Pierre Talpin；蒂埃里·戈蒂埃；保罗·勒格尔尼克 相关软件： 卢斯特；酯类；托勒密… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
剪切实验室 52篇文献引用(2010–2023) 软件作者： 吉塔·库蒂尼奥克；莫特萨·沙赫拉姆；庄晓生 相关软件： 小波和多尺度库；NSCT工具箱；Matlab… 主要字段： 欧氏空间（42-XX）的调和分析；数值分析（65-XX）；计算机科学（68-XX）…
区域设置 53篇文献引用(1999–2024) 软件作者： 克莱门斯·巴拉林 相关软件： Isabelle/HOL；伊莎贝尔；存档正式证据… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；代数几何（14-XX）…
YAP-序言 在48份文件中引用(1999–2022) 软件作者： 维托尔·桑托斯·科斯塔（Vítor Santos Costa）、路易斯·达马斯（Luís Damas）、罗杰里奥·里斯（Rogério Reis）、鲁本·阿泽夫多（Rüben Azevedo） 相关软件： XSB；ProbLog；SWI-预测… 主要字段： 总体主题；藏品（00-XX）；统计学（62-XX）；计算机科学（68-XX）…
CDuce公司 在48份文件中引用（2003年至2020年） 软件作者： 本扎肯，维罗尼克；朱塞佩·卡斯塔尼亚；阿兰·弗里希 相关软件： XDouce；XQuery；XPath… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
网格模拟 26篇文献引用(2002–2020) 软件作者： 拉吉库马尔·布亚；Manzur Murshed公司 相关软件： OptorSim；尼姆罗德/G；SIMGRID… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
仿真软件 在48份文件中引用(2004–2024) 软件作者： 国家仪器公司 相关软件： Matlab；分数阶混沌系统；美国有线电视新闻网… 主要字段： 常微分方程（34-XX）；动力系统与遍历理论（37-XX）；变形固体力学（74-XX）…
状态流 43篇文献引用(1989–2023) 软件作者： MathWorks公司。 相关软件： Simulink；Matlab；托勒密… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
TALx86 44篇文献引用(1998–2022) 软件作者： 格雷格·莫里塞特、卡尔·克莱里、尼尔·格鲁、丹·格罗斯曼、理查德·萨缪尔、弗雷德里克·史密斯、大卫·沃克、斯蒂芬妮·威里奇、史蒂夫·兹丹塞维奇 相关软件： Coq；毫升；哈斯克尔… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
罗姆人 在48份文件中引用(2008–2024) 软件作者： 海德沃格尔，D.B。；阿兰戈，H。；Budgell，W.P。；科努埃尔，B.D。；Curchitser，E。；迪·洛伦佐（Di Lorenzo），E。；茴香，K。；Geyer，W.R。；赫尔曼·A·J。；Lanerolle，L。；莱文，J。；McWilliams，J.C。；Miller，A.J。；摩尔，A.M。；鲍威尔，T.M。；Shchepetkin，A.F。；舍伍德，C.R。；Signell，R.P。；华纳，J.C。；J.威尔金。 相关软件： MPAS海洋；L-BFGS；GitHub… 主要字段： 偏微分方程（35-XX）；统计学（62-XX）；数值分析（65-XX）…
IF-2.0型 38篇文献引用(2002–2022) 软件作者： 马吕斯·博兹加；苏珊娜·格拉芙；劳伦特·穆尼尔 相关软件： Uppaal；克罗诺斯；旋转… 主要字段： 总体主题；藏品（00-XX）；动力系统与遍历理论（37-XX）；计算机科学（68-XX）…
XMP公司 46篇文献引用(1982–2002) 软件作者： 罗伊·马斯滕 相关软件： AIMMS；AMPL；MINOS… 主要字段： 凸和离散几何（52-XX）；数值分析（65-XX）；计算机科学（68-XX）…
GHC公司 39篇文献引用(1986–2023) 软件作者： Kazunori上田 相关软件： PARLOG；SICStus公司；Kima… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）…
ManySAT公司 40篇文献引用(2005–2023) 软件作者： 尤塞夫·哈马迪；赛义德·贾布尔；拉赫达尔·赛斯 相关软件： MiniSat；弯曲；查夫… 主要字段： 计算机科学（68-XX）；统计力学，物质结构（82-XX）；运筹学，数学规划（90-XX）…
MuJoCo公司 38篇文献引用(2016–2024) 软件作者： E.Todorov、T.Erez、Y.Tassa 相关软件： OpenAI健身房；亚当；GitHub… 主要字段： 计算机科学（68-XX）；粒子和系统力学（70-XX）；运筹学，数学规划（90-XX）…
马塞马吉克斯 42篇文献引用(2006–2021) 软件作者： 乔里斯·范德霍温、格雷戈伊尔·勒塞夫、伯纳德·穆兰 相关软件： gmp；枫树；FLINT… 主要字段： 数论（11-XX）；场论与多项式（12-XX）；代数几何（14-XX）…
R度量 40篇文献引用(2008–2023) 软件作者： Rmetrics协会 相关软件： R；fGarch；基础… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
船长 39篇文献引用(2006–2023) 软件作者： 师彼得·扬 相关软件： Matlab；传染病；系统标识工具箱… 主要字段： 统计学（62-XX）；数值分析（65-XX）；粒子和系统力学（70-XX）…
系统C 29篇文献引用(2002–2017) 软件作者： 布莱克，大卫·C。；杰克·多诺万。 相关软件： 皮纳帕；LusSy；酯类… 主要字段： 代数几何（14-XX）；计算机科学（68-XX）；光学、电磁理论（78-XX）…
KSSOLV公司 40篇文献引用(2009–2023) 软件作者： 朝阳；胡安·梅扎（Juan C.Meza）；Byounghak Lee；王林旺 相关软件： lobpcg.m；马诺普特；BLOPEX… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；量子理论（81-XX）…
共犯 37篇文献引用(2006–2023) 软件作者： 莱布弗里茨F 相关软件： 康普莱布；HIFOO；彭巴迪… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
百万流量 38篇文献引用(2000–2023) 软件作者： R·鲁德尼克。 相关软件： TAU；FLOWer公司；Spalart-Allmaras… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
MR和LTV合成工具 37篇文献引用(1999–2023) 软件作者： 卡罗尔·皮里；盖尔·杜勒鲁（Geir E.Dullerud）。 相关软件： YALMIP；塞杜米；LMI工具箱… 主要字段： 常微分方程（34-XX）；动力系统与遍历理论（37-XX）；运筹学，数学规划（90-XX）…
短信 38篇文献引用(1997–2023) 软件作者： 乔·科勒克 相关软件： Mathematica；AceFEM；AceGen… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；变形固体力学（74-XX）…
莫塞尔 37篇文献引用(2003–2021) 软件作者： Fair Isaac公司；Colombani Y.、Heipcke S。 相关软件： XPRESS；AMPL；游戏… 主要字段： 总体主题；藏品（00-XX）；阶、格、有序代数结构（06-XX）；数值分析（65-XX）…
沃夫兰 35篇文献引用(1999–2022) 软件作者： 埃里克，韦贝克；Wil M.P.范德阿尔斯特。 相关软件： PNML；咩咩叫；WSAT… 主要字段： 总体主题；藏品（00-XX）；组合数学（05-XX）；计算机科学（68-XX）…
防抱死制动系统 33篇文献引用(2012–2022) 软件作者： Johnsen，E.B.、Hähnle，R.、Schäfer，J.、Schlatte，R.和Steffen，M。 相关软件： JCobox；中美合作所；Erlang… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
Java CoG工具包 12份文件引用(2001–2010) 软件作者： 冯·拉舍夫斯基（von Laszewski），格雷戈（Gregor）；加沃尔，贾雷克；彼得·莱恩（Peter Lane）；雷恩、内尔；迈克·拉塞尔 相关软件： Globus工具包；飞马座；Condor-G… 主要字段： 计算机科学（68-XX）；地球物理学（86-XX）；生物学和其他自然科学（92-XX）
jStar公司 32篇文献引用(2008–2022) 软件作者： DiStefano，D.，Parkinson，M。 相关软件： 小脚；VeriFast公司；Coq… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
OSIRIS公司 34份文件引用(2002–2022) 软件作者： 丰塞卡共和国。；路易斯安那州席尔瓦。；Tsung，F.S.公司。；Decyk，V.K。；卢·W。；Ren，C。；莫里，W.B。；邓，S。；Lee，S。；Katsoulesa，T。；J.C.亚当。 相关软件： 快速采集；VORPAL公司；PSC… 主要字段： 数值分析（65-XX）；流体力学（76-XX）；光学、电磁理论（78-XX）…
奥特 34份文件引用(2007–2021) 软件作者： 彼得·休厄尔（Peter Sewell）；纳德利，弗朗西斯科·扎帕；斯科特·欧文斯；吉尔斯·佩斯金（Gilles Peskine）；托马斯·里奇；萨卡，苏斯米特；斯特尼萨，洛克 相关软件： Coq；Isabelle/HOL；名义上的伊莎贝尔… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）
CCSTM公司 34份文件引用(2010) 软件作者： N.G.Bronson，H.Cha。，K.Olukotun公司 相关软件： – 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
迪纳摩 19份文件引用(2011–2023) 软件作者： 迪坎迪亚，G。；哈斯托伦，D。；Jampani，M。；Kakulapati，G。；拉克希曼，A。；Pilchin，A。；Sivasubramanian，S。；Vosshall，P。；沃格尔，W。 相关软件： 卡桑德拉；和弦；Bigtable… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；计算机科学（68-XX）…
熊猫 32篇文献引用（1983年-2010年） 软件作者： 戴维·布什内尔 相关软件： BOSOR5；VICONOPT公司；CONMIN… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
时差 32篇文献引用(2007–2023) 软件作者： Smolarkiewicz，Piotr K。；罗伯特·沙曼（Robert Sharman）；杰弗里·韦尔（Jeffrey Weil）；史蒂文·佩里（Steven G.Perry）。；大卫·海斯特（David Heist）；乔治·鲍克 相关软件： MPDATA；NICAM；HE-E1GODF… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；流体力学（76-XX）…
千平方米 16篇文献引用(1996–2019) 软件作者： 蒂姆·菲宁（Tim Finin）、理查德·弗里茨森（Richard Fritzson）、唐纳德·普·麦凯（Donald P McKay）、罗宾·麦康蒂尔（Robin McEntire） 相关软件： 神童；Globus工具包；Qu-Prolog… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
奥德赛 32篇文献引用(1996–2016) 软件作者： 罗斯坦，N.，达尔马斯，S.，加利戈，A 相关软件： ADIFR；TAMC；ADOL-C… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
明尼苏达州 29篇文献引用(2011–2023) 软件作者： Choi，Sou Cheng T。；迈克尔·桑德斯。 相关软件： 最小值；稀疏矩阵；LSQR… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
通用KADS 26篇文献引用(1994–2014) 软件作者： 范德维尔德·布鲁克 相关软件： NeuroGaz；github；投票Sim… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
洛拉 26篇文献引用(2000–2021) 软件作者： 卡斯滕·施密特（Karsten Schmidt）；K·沃尔夫。 相关软件： 玛丽亚；Uppaal；BPEL2PN… 主要字段： 历史与传记（01-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
大表 17篇文献引用(2010–2023) 软件作者： 张菲；杰弗里·迪恩；桑杰·盖马瓦特；谢伟信（Xieh，Wilson C.）。；黛博拉·瓦拉赫（Deborah A.Wallach）。；Mike Burrows；图沙·钱德拉；安德鲁·菲克斯；罗伯特·E·格鲁伯 相关软件： MapReduce；发电机；卡桑德拉… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
卡桑德拉 引用于22份文件(2012–2023) 软件作者： Lakshman，A.，Malik，P。 相关软件： 发电机；Bigtable；MongoDB… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
作记号 24篇文献引用(2002–2022) 软件作者： 白GC，伯纳姆KP 相关软件： 程序标记；R；R标记… 主要字段： 偏微分方程（35-XX）；概率论与随机过程（60-XX）；统计学（62-XX）…
PESSOA公司 26篇文献引用(2011–2022) 软件作者： 普里塔姆·罗伊；保罗·塔布阿达；鲁帕克·马朱姆达尔 相关软件： SCOTS；科西马；TuLiP… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
Cadence SMV公司 引用于22份文件(2000–2018) 软件作者： 麦克米兰K·L。 相关软件： NuSMV；自旋蛋白；SPOT… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；系统论；对照（93-XX）
手指 26篇文献引用(1986–2021) 软件作者： Wang，Paul S。 相关软件： Mathematica；减少；马西玛… 主要字段： 常微分方程（34-XX）；数值分析（65-XX）；计算机科学（68-XX）…
MuPAD组合 24篇文献引用(2004–2019) 软件作者： 弗朗索瓦·德斯库恩斯 相关软件： MuPAD；组织环境信息系统；SageMath… 主要字段： 组合数学（05-XX）；结合环与代数（16-XX）；非结合环与代数（17-XX）…
繁荣 23篇文献引用(2000–2009) 软件作者： 路易斯·丹尼斯（Louise A.Dennis）。；格雷厄姆·柯林斯；迈克尔·诺里什（Michael Norrish）；理查德·博尔顿（Richard Boulton）；斯林德，康拉德；格雷厄姆·罗宾逊（Graham Robinson）；迈克·戈登；汤姆·梅尔姆 相关软件： PVS；OMRS；甘道夫… 主要字段： 总体主题；藏品（00-XX）；历史与传记（01-XX）；数学逻辑与基础（03-XX）…
罗塞塔 21篇文献引用(1998–2021) 软件作者： Øhrn，Aleksander；Komorowski，Jan；安德烈·斯科伦（Andrzej Skowron）；彼得·西纳克 相关软件： UCI-ml；LERS；RSES… 主要字段： 数学逻辑与基础（03-XX）；统计学（62-XX）；计算机科学（68-XX）…
SACLIB公司 23篇文献引用(1993–2009) 软件作者： David G.Richardson：沃纳·克兰迪克 相关软件： QEPCAD；枫树；FOXBOX… 主要字段： 数学逻辑与基础（03-XX）；代数几何（14-XX）；数值分析（65-XX）…
Specware（特殊软件） 25篇文献引用(1998–2019) 软件作者： Srinivas，Y.，Jullig，R。；瓦尔迪格，R。 相关软件： PVS；Nuprl公司；CASL… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）…
DEPAC公司 24篇文献引用(1983–2000) 软件作者： Shampine，L.F.公司。；瓦茨，H.A。 相关软件： 德维尔克；传真；RKF45… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；变分法与最优控制；优化（49-XX）…
PSBLAS公司 23篇文献引用(2000–2021) 软件作者： 达安布拉，帕斯卡；迪塞拉菲诺，丹妮拉；萨尔瓦多菲利波内 相关软件： MLD2P4；2LEV-D2P4；特里利诺斯… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
分享者 引用于22份文件(2011–2023) 软件作者： D.Bogdanov、S.Laur、J.Willemson 相关软件： VIFF；ABY；美味… 主要字段： 计算机科学（68-XX）；粒子和系统力学（70-XX）；信息与通信理论，电路（94-XX）