毫升 516份文件引用（1978年至2024年） 软件作者： 罗伯特·哈珀；罗宾·米尔纳（Robin Milner）；托夫特、麦兹；爱丁堡大学 相关软件： HOL；Coq；伊莎贝尔… 主要字段： 历史与传记（01-XX）；数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）…
引导库 518份文件引用(1997–2024) 软件作者： 安吉洛·坎蒂；Davison，A.C.Au；D.V.欣克利。 相关软件： 引导；R；ismev… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
LSQR（LSQR） 441份文件引用(1982–2024) 软件作者： 克里斯托弗·佩奇（Christopher C.Paige）。；迈克尔·桑德斯。 相关软件： CRAIG公司；正规化工具；LSMR… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
Z轴 237篇文献引用(1958–2023) 软件作者： 吉姆·伍德科克；吉姆·戴维斯 相关软件： 马戏团；电源保护；罗丹… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；数论（11-XX）…
范胡菲尔 229篇文献引用(1991–2023) 软件作者： 范·赫菲尔（Sabine van Huffel）；乔斯·范德沃勒 相关软件： 正规化工具；mctoolbox；UTV… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；统计学（62-XX）；数值分析（65-XX）…
DeepONet（深度网络） 214篇文献引用(2020–2024) 软件作者： 陆璐、金鹏展、乔治·埃姆·卡尼亚达克斯 相关软件： 亚当；DGM；DeepXDE… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
DiffSharp（差异锐化） 216篇文献引用(2016–2024) 软件作者： Baydin，A.G.，Pearlmutter，B.A。 相关软件： 亚当；TensorFlow；DGM… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
PASCAL挥发性有机化合物 99篇文献引用(2010–2023) 软件作者： Everingham，M.、Eslami，S.M.A.、Van Gool，L.、Williams，C.K.I.、Winn，J.、Zisserman，A 相关软件： SIFT；ImageNet；MS-COCO… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
EBayesThresh公司 154篇文献引用(2004–2024) 软件作者： 伊恩·约翰斯通（Iain M.Johnstone）。；西尔弗曼（Bernhard W.Silverman）。 相关软件： R；EbayesThresh；wavethresh… 主要字段： 欧氏空间（42-XX）的调和分析；概率论与随机过程（60-XX）；统计学（62-XX）…
简化 135份文献中引用(2001–2023) 软件作者： Detlefs，D。；Nelson，G。；J·B·萨克斯 相关软件： z3；ESC/Java；规范#… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；组合数学（05-XX）…
电子稳定控制系统/Java 120篇文献引用(2001–2022) 软件作者： 格雷格·纳尔逊 相关软件： 规格#；简化；JML… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；系统论；控制（93-XX）
毫升 137篇文献引用(2015–2024) 软件作者： R.加拉帕。 相关软件： Matlab；Mittag-Lefler；mftoolx… 主要字段： 实函数（26-XX）；特殊功能（33-XX）；常微分方程（34-XX）…
FPIN编号 125篇文献引用(2019–2024) 软件作者： 庞国飞、陆璐、乔治·埃姆·卡尼亚达基斯 相关软件： DeepXDE；亚当；DGM… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
ASTREE公司 112份文件引用(2002–2023) 软件作者： 帕特里克·库索特（Patrick Cousot）、拉迪亚·库索特、杰罗姆·费雷特（Jeróme Feret）、劳伦特·毛博尔涅（Laurent Mauborgne）、安托万·米内（Antoine Miné）、大卫·莫尼奥（David Monniaux）、泽维尔 相关软件： 停机坪；z3；PPL… 主要字段： 数学逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；数值分析（65-XX）…
达夫尼 105篇文献引用(2010–2024) 软件作者： 鲁斯坦·莱诺 相关软件： z3；Why3；布吉… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）…
hlib公司 103篇文献引用(2005–2023) 软件作者： 斯特芬·博姆（Steffen Börm）；Lars Grasedyck；莱比锡Max-Planck-Institut 相关软件： STRUMPACK；乔治；BEM++… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；偏微分方程（35-XX）；积分方程（45-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）…
针织物 52篇文献引用(2012–2023) 软件作者： 谢一辉等。 相关软件： R；ggplot2；rmarkdown… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
查找 90篇文献引用（1972年-2023年） 软件作者： C.A.R.霍尔 相关软件： 快速分拣；算法347；任天堂中位数… 主要字段： 组合数学（05-XX）；概率论与随机过程（60-XX）；统计学（62-XX）…
程序NLMIXED 68篇文献引用(2001–2024) 软件作者： SAS公司 相关软件： SAS；SAS/STAT；R、 … 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
STL公司 72份文件引用(1997–2021) 软件作者： 大卫·穆瑟（David R.Musser）、亚历山大·斯捷潘诺夫（Alexander Stepanov） 相关软件： 促进；增强C++库；CGAL… 主要字段： 动力系统与遍历理论（37-XX）；数值分析（65-XX）；计算机科学（68-XX）…
投掷 59篇文献引用(2005–2022) 软件作者： 帕特丽斯·戈德弗里德；尼尔斯·克拉伦德；库什克森 相关软件： 可爱的；z3；KLEE… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
ProB公司 55份文件引用(2002–2022) 软件作者： 迈克尔·洛伊舍尔（Michael Leuschel）；麦可巴特勒 相关软件： 罗丹；Z；旋转… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
TAMC公司 72份文件引用(1998–2021) 软件作者： Giering，拉尔夫；托马斯·卡明斯基 相关软件： TAF；ADIFR；ADOL-C… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
马克斯利克 65篇文献引用(1978–2023) 软件作者： 阿恩·亨宁森；奥特·图梅特 相关软件： maxLik；R；CODA… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
TN工具 65篇文献引用(2007–2024) 软件作者： P.科夫 相关软件： mctoolbox；Matlab；LAPACK… 主要字段： 组合数学（05-XX）；线性代数和多线性代数；矩阵理论（15-XX）；特殊功能（33-XX）…
阀杆 60篇文献引用(2013–2023) 软件作者： 米歇拉·卡梅莱蒂 相关软件： R；R-INLA；GMRFLib… 主要字段： 偏微分方程（35-XX）；概率论与随机过程（60-XX）；统计学（62-XX）…
沃罗++ 59篇文献引用(2012–2024) 软件作者： 克里斯·赖克罗夫特（Chris H.Rycroft）。 相关软件： 三角形；PETSc；CGAL… 主要字段： 偏微分方程（35-XX）；概率论与随机过程（60-XX）；数值分析（65-XX）…
业务风险管理系统 39篇文献引用(2019–2024) 软件作者： 保尔·克里斯蒂安·比尔克纳 相关软件： R；斯坦；lme4… 主要字段： 数学逻辑与基础（03-XX）；概率论与随机过程（60-XX）；统计学（62-XX）…
XploRe公司 57篇文献引用（1995年-2014年） 软件作者： 沃尔夫冈·哈德尔 相关软件： R；SAS；JASP… 主要字段： 欧氏空间（42-XX）的调和分析；统计学（62-XX）；数值分析（65-XX）…
吉隆坡机场 43篇文献引用(2010–2023) 软件作者： 克里斯蒂安·卡达尔、丹尼尔·邓巴、道森·恩格尔 相关软件： z3；可爱的；DART… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
ROCR公司 35篇文献引用(2006–2023) 软件作者： 托比亚斯·辛格（Tobias Sing）、奥利弗·桑德（Oliver Sander）、尼科·比伦文克尔（Niko Beerenwinkel）、托马斯·伦高（Thomas Lengauer） 相关软件： R；pROC；ggplot2… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
CiaoPP公司 51篇文献引用(1999–2022) 软件作者： Hermenegildo M.V.、Bueno F.、Puebla G.、Lopez P。 相关软件： Ciao；SICStus公司；汞… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
CADNA 49篇文献引用(1993–2023) 软件作者： Fabienne Jézéquel，Jean-Marie Chesneaux 相关软件： mctoolbox；国际实验室；MPFR… 主要字段： 常微分方程（34-XX）；近似和展开（41-XX）；积分方程（45-XX）…
HSolver公司 48篇文献引用(2005–2023) 软件作者： Stefan Ratschan；佘直坤；托马斯·泽特库利奇 相关软件： RSOLVER公司；基准；高科技… 主要字段： 概率论与随机过程（60-XX）；数值分析（65-XX）；计算机科学（68-XX）…
火花 38篇文献引用(1990–2023) 软件作者： Darren Foulger；史蒂夫·金 相关软件： JML；规格#；ESC/Java… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；数值分析（65-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 相关软件： 佩剑；麦克利埃塞；BKZ… 主要字段： 组合数学（05-XX）；数论（11-XX）；计算机科学（68-XX）…
全球气候变化监测 42篇文献引用(2012–2023) 软件作者： 吉多·马萨罗托；克里斯蒂亚诺·瓦林 相关软件： R；CopulaModel；加权分数… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
metafor公司 26篇文献引用(2012–2023) 软件作者： 沃尔夫冈·维希特鲍尔 相关软件： R；元；状态… 主要字段： 统计学（62-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
GNMT公司 38篇文献引用(2018–2024) 软件作者： 吴永辉、迈克·舒斯特、陈志峰、奎克·V.乐、穆罕默德·诺鲁兹、沃尔夫冈·马切里、马克西姆·克里昆、袁曹、秦高、克劳斯·马切利、杰夫·克林纳、阿普瓦·沙阿、梅尔文·约翰逊、刘晓兵、Ł卡斯凯撒、斯蒂芬·古尔斯、加藤吉事、工藤隆、川秀都、基思·史蒂文斯、乔治·库里安、尼山特·帕蒂尔、王伟、克利夫·杨、杰森·史密斯，杰森·里萨（Jason Riesa）、亚历克斯·鲁德尼克（Alex Rudnick 相关软件： ImageNet；AlexNet；亚当… 主要字段： 近似和展开（41-XX）；统计学（62-XX）；计算机科学（68-XX）…
阿拉伯国家石油公司 34份文件引用(2009–2022) 软件作者： A.A.Margolin、I.Nemenman、K.Basso、C.Wiggins、G.Stolovitzky、R.D.Favera、A.Califano 相关软件： minet；KEGG；同步（N）… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
萨里 38篇文献引用(1994–2023) 软件作者： 玛丽亚·多洛雷斯·埃斯特班·莱弗勒、多明戈·莫拉莱斯·冈萨雷斯、阿古斯汀·佩雷斯-马丁 相关软件： R；rsae；采样… 主要字段： 总体主题；藏品（00-XX）；统计学（62-XX）；数值分析（65-XX）…
皮曼诺普 33篇文献引用(2016–2023) 软件作者： 詹姆斯·汤森；尼古拉斯·科普；塞巴斯蒂安·魏奇瓦尔德 相关软件： 马诺普特；TensorFlow；ROPTLIB… 主要字段： 微分几何（53-XX）；统计学（62-XX）；数值分析（65-XX）…
高密度指数 36篇文献引用(2015–2023) 软件作者： 卢卡斯·梅耶、鲁本·德泽尔、尼古拉·梅绍森、马丁·梅克勒、彼得·布埃尔曼 相关软件： R；cov测试；选择推理… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
沃夫兰 35篇文献引用(1999–2022) 软件作者： 埃里克·韦贝克（Eric Verbeek）；范德阿尔斯特，Wil M.P。 相关软件： PNML；咩咩叫；WSAT… 主要字段： 总体主题；藏品（00-XX）；组合数学（05-XX）；计算机科学（68-XX）…
派克斯 23篇文献引用(2009–2018) 软件作者： 尼古拉·蒂尔曼（Nikolai Tillmann）、乔纳森·德哈勒克斯（Jonathan de Halleux） 相关软件： 投掷；可爱的；z3… 主要字段： 数学逻辑与基础（03-XX）；统计学（62-XX）；数值分析（65-XX）…
PROC GENMOD公司 33篇文献引用(1997–2023) 软件作者： SAS；Deddens，J.、Petersen，M.、Lei，X。 相关软件： SAS；R；SAS/STAT… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
防抱死制动系统 32篇文献引用(2012–2022) 软件作者： Johnsen，E.B.、Hähnle，R.、Schäfer，J.、Schlatte，R.和Steffen，M。 相关软件： JCobox；中美合作所；Erlang… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
GF公司 在30份文件中引用(1999–2021) 软件作者： 阿恩·兰塔 相关软件： Coq；米扎尔；Isar… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
分析 33篇文献引用(1993–2022) 软件作者： Bauer，A.、Clarke，E.M.、Zhao 相关软件： 定理；Nuprl公司；PVS… 主要字段： 数学逻辑与基础（03-XX）；实函数（26-XX）；计算机科学（68-XX）…
盲目乐观 33篇文献引用(1992–2022) 软件作者： 罗杰·洛根；唐娜·斯皮格曼 相关软件： relibpls8；SAS；状态… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
多德 34份文件引用（2003年至2022年） 软件作者： 迪内什·阿查里亚 相关软件： CAViaR；风险度量；引导… 主要字段： 统计学（62-XX）；数值分析（65-XX）；运筹学，数学规划（90-XX）…
日本运通银行 25篇文献引用(2002–2022) 软件作者： 克劳斯·哈弗伦德；格里高·罗什乌 相关软件： Java PathFinder；莫德；班德拉… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
JUnit公司 16篇文献引用(2002–2022) 软件作者： Yoonsik Cheon；Gary T.Leavens。 相关软件： JML；埃菲尔；ESC/Java… 主要字段： 概率论与随机过程（60-XX）；数值分析（65-XX）；计算机科学（68-XX）…
PyCUDA公司 23篇文献引用(2011–2023) 软件作者： NVIDIA公司 相关软件： PyOpenCL；CUDA；Python… 主要字段： 偏微分方程（35-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
厕所 23篇文献引用(2017–2023) 软件作者： Aki Vehtari、Andrew Gelman、Jonah Gabry、Juho Piironen、Ben Goodrich 相关软件： R；斯坦；RStan… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
PyOpenCL公司 24篇文献引用(2012–2023) 软件作者： 安德烈亚斯·克鲁克纳 相关软件： PyCUDA；蟒蛇；OpenCL… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
DCL公司 32篇文献引用(2012–2023) 软件作者： 马丁内斯·米兰达（Martínez Miranda），多洛雷斯·玛丽亚（Dolores María）；尼尔森，Jens Perch；理查德·维拉尔 相关软件： R；链梯；SynthETIC… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；计算机科学（68-XX）…
mcmcse公司 28篇文献引用(2012–2023) 软件作者： 詹姆斯·弗莱格尔；约翰·休斯 相关软件： R；CODA；斯坦… 主要字段： 偏微分方程（35-XX）；概率论与随机过程（60-XX）；统计学（62-XX）…
第二行 31份文件引用(2005–2023) 软件作者： 大卫·鲁德曼 相关软件： Stata公司；Z树；朱莉娅… 主要字段： 统计学（62-XX）；数值分析（65-XX）；统计力学，物质结构（82-XX）…
ADMAT公司 31份文件引用(1999–2020) 软件作者： 卡尤加研究 相关软件： Matlab；ADOL-C；管理员… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
最下层的 27篇文献引用(1997–2022) 软件作者： 华盛顿州克利夫兰。 相关软件： R；mixsmsn；GSM… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
数字 在30份文件中引用(2018–2021) 软件作者： Ch.Tsitouras。；T·E·西蒙斯。 相关软件： NEW9p；乳胶；数学… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
pyParareal公司 在30份文件中引用(2018–2024) 软件作者： 丹尼尔·鲁普雷希特 相关软件： 管理rit；巴拉奥MPI；Parareal… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
HURRY公司 28篇文献引用(1983–2023) 软件作者： 西奥多·费斯勒；威廉·福特（William F.Ford）。；大卫·A·史密斯。 相关软件： DLMF；枫树；算法639… 主要字段： 数论（11-XX）；特殊功能（33-XX）；欧氏空间的调和分析（42-XX）…
Hypertool（超级工具） 17篇文献引用(2007–2019) 软件作者： Wu M.Y.、Gajski D.D。 相关软件： Condor-G；STG；面条… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
新9p 28篇文献引用(2018–2021) 软件作者： Ch.Tsitouras。；T·E·西蒙斯。 相关软件： 数字；乳胶；数学… 主要字段： 常微分方程（34-XX）；算子理论（47-XX）；数值分析（65-XX）…
VAMP网络 28篇文献引用(2019–2023) 软件作者： Andreas Mardt、Luca Pasqual、Hao Wu、Frank Noé 相关软件： AlexNet；ImageNet；火炬差异… 主要字段： 动力系统与遍历理论（37-XX）；算子理论（47-XX）；概率论与随机过程（60-XX）…
锌 28篇文献引用(2005–2022) 软件作者： Kim万豪酒店；尼赫科特，尼古拉斯；雷扎·拉斐；Peter J.Stuckey。；玛丽亚·加西亚·德拉·班达；马克·华莱士 相关软件： 本质；微量锌；Gecode… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；数值分析（65-XX）…
甲酚 25篇文献引用(2006–2022) 软件作者： 约翰森（Einar Broch Johnsen）；Owe、Olaf；Yu，Ingrid Chieh女士 相关软件： 羽量级Java；ABCL；莫德… 主要字段： 计算机科学（68-XX）
马亚 23篇文献引用(2002–2015) 软件作者： Dieter Hutter；谢尔盖·奥特西尔 相关软件： CASL；米扎尔；伊莎贝尔… 主要字段： 数学逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；计算机科学（68-XX）…
自适应L1 TE和预测 24篇文献引用(2016–2023) 软件作者： 桑托斯·B·尤斯特。；J.金塔纳·穆里略。 相关软件： FODE；ma2dfc；分数导热工具箱… 主要字段： 实函数（26-XX）；常微分方程（34-XX）；偏微分方程（35-XX）…
钠5 24篇文献引用(1992–2002) 软件作者： Brezinski，C。；Redivo Zaglia，M。 相关软件： na1；CGS；BiCGstab… 主要字段： 近似和展开（41-XX）；欧氏空间（42-XX）的调和分析；数值分析（65-XX）…
SPAdes系列 24篇文献引用(2015–2023) 软件作者： 安东·班克维奇（Anton Bankevich）、谢尔盖·努克（Sergey Nurk）、德米特里·安蒂波夫（Dmitry Antipov 相关软件： 天鹅绒；仪表；ABySS… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
帽子 20篇文献引用(2001–2012) 软件作者： 奥拉夫·奇蒂尔；科林·伦西曼（Colin Runciman）；马尔科姆·华莱士 相关软件： 罩；弗雷亚；哈斯克尔… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
lmec公司 23篇文献引用(2013–2022) 软件作者： 弗罗林·瓦伊达（Florin Vaida）；林刘（Lin Liu） 相关软件： R；tlmec；mvtnorm… 主要字段： 统计学（62-XX）；数值分析（65-XX）；生物学和其他自然科学（92-XX）
特尔梅克 23篇文献引用(2013–2023) 软件作者： 拉里萨·马托斯。；马科斯·奥·普拉特斯。；陈明慧；维克托·拉科斯（Victor H.Lachos）。 相关软件： R；lmec；MomTrunc… 主要字段： 统计学（62-XX）；数值分析（65-XX）；生物学和其他自然科学（92-XX）
去噪 20篇文献引用(2012–2022) 软件作者： 王晓峰、王斌 相关软件： R；科恩平滑；SAS… 主要字段： 欧氏空间（42-XX）的调和分析；概率论与随机过程（60-XX）；统计学（62-XX）…
PCOMP公司 21篇文献引用(1991–2023) 软件作者： 多布曼，M。；Liepelt，M。；希特科夫斯基，K。 相关软件： PDEFIT；易于安装；ADOL-C… 主要字段： 偏微分方程（35-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
马特佩特 14篇文献引用(1989–2019) 软件作者： 迈克尔·J·比森 相关软件： 哈斯克尔；动态数学；MathXpert… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；数学教育（97-XX）
莫诺姆文 19份文件引用(2010–2023) 软件作者： 罗伯特·B·格拉米奇 相关软件： R；glmnet；玻璃… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；统计学（62-XX）；数值分析（65-XX）…
ODR确认 21篇文献引用(1989–2012) 软件作者： 保罗·博格斯、理查德·伯德、珍妮特·罗杰斯、罗伯特·施纳贝尔 相关软件： symrcm；抱怨；规范化工具… 主要字段： 偏微分方程（35-XX）；统计学（62-XX）；数值分析（65-XX）…
税收 15篇文献引用(2001–2017) 软件作者： 艾蒂安·克劳斯；米歇尔·波伊泽（Michel Poize）；雅克·普劳（Jacques Pulou）；约瑟夫·西法基斯（Joseph Sifakis）；帕特里克·文特 相关软件： Uppaal；克罗诺斯；埃菲尔… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；系统论；控制（93-XX）
CSSV公司 16篇文献引用(2004–2013) 软件作者： 多尔，N.，罗德，M.，萨吉夫，M 相关软件： ASTREE公司；TVLA；CBMC… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）
ASTRO-DF公司 19份文件引用(2018–2023) 软件作者： Sara Shashaani；Fatemeh S.哈希米。；帕苏帕蒂，拉格 相关软件： UOBYQA；R样条曲线；野马… 主要字段： 变分法与最优控制；优化（49-XX）；统计学（62-XX）；数值分析（65-XX）…
法线 17篇文献引用(2009–2022) 软件作者： 安吉洛·米诺（Angelo Mineo）、玛丽安托尼埃塔·鲁杰里（Mariantonietta Ruggieri） 相关软件： R；XGBoost；ig… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
C-AMS公司 18篇文献引用(2015–2023) 软件作者： Ţene、Matei；王一轩；哈吉贝吉，哈迪 相关软件： SGeMS；METIS公司；Matlab… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
QShopt-精确 18篇文献引用(2006–2022) 软件作者： David Applegate、William Cook、Sanjeeb Dash、Daniel Espinoza。 相关软件： QSopt_ex；gmp；SoPlex… 主要字段： 数论（11-XX）；线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）…
SEC-DED标准 17篇文献引用(1976–1998) 软件作者： 卢卡·彭佐（Luca Penzo）；多纳泰拉·西乌托（Donatella Sciuto）；克里斯蒂娜·西尔瓦诺 相关软件： CACTI；MediaBench公司 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
第三章 在11份文件中引用(2001–2020) 软件作者： 黄小秋；安努普·马丹 相关软件： 爆炸；PSI-爆炸；ClustalW… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
芙蕾雅 15篇文献引用(2001–2012) 软件作者： 奥拉夫·奇蒂尔；科林·朗西曼；马尔科姆·华莱士 相关软件： 罩；帽子；哈斯克尔… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
GDB公司 15篇文献引用(1998–2023) 软件作者： R.Stallman；R.佩奇 相关软件： 瓦尔格林德；自旋蛋白；日晷… 主要字段： 总体主题；藏品（00-XX）；数值分析（65-XX）；计算机科学（68-XX）…
有限责任公司 在13份文件中引用(2012–2022) 软件作者： 斯蒂芬·福克（Stephan Falke）；弗洛里安·默兹（Florian Merz）；卡斯滕·辛兹 相关软件： 不明飞行物；CPA检查员；CBMC… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
卡介苗 7份文件引用(2014–2023) 软件作者： 王晓飞、Chandra Erdman、John W.Emerson 相关软件： R；结构变化；变更点… 主要字段： 统计学（62-XX）；地球物理学（86-XX）；生物学和其他自然科学（92-XX）
匕首 15篇文献引用(2008–2021) 软件作者： 巴加夫S.古拉瓦尼。；查克拉波蒂，苏普拉蒂克；阿迪蒂亚·诺里（Aditya V.Nori）。；Rajamani，Sriram K。 相关软件： PPL；停机坪；SLAM… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
赫雷格 15篇文献引用（2003年至2022年） 软件作者： W.H.罗杰斯。 相关软件： Stata公司；Z树；QRM… 主要字段： 统计学（62-XX）；数值分析（65-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…