科学Py 引用于822份文件(2005–2024) 软件作者： Jones，E.、Oliphant，T.、Peterson，P.等人。 相关软件： 蟒蛇；数字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）…
z3（零3） 761份文件引用(2001–2024) 软件作者： 微软研究院；莱昂纳多·德·莫拉；尼古拉·比约纳 相关软件： CVC4；SMT-LIB；Yices… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
张量工具箱 220篇文献引用(2007–2024) 软件作者： 布雷特·巴德（Brett W.Bader）。；塔马拉·科尔达。 相关软件： 算法862；Matlab；Tensorlab… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；统计学（62-XX）；数值分析（65-XX）…
有限元分析 213篇文献引用(1993–2024) 软件作者： 泰勒；加州大学伯克利分校 相关软件： PETSc；ABAQUS；FEAPpv… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
伊塞斯 168篇文献引用(1992–2023) 软件作者： B.杜特雷；L.de Moura村 相关软件： z3；SMT-LIB；CVC4… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
Why3号机组 144篇文献引用(2004–2023) 软件作者： 弗朗索瓦·博博特；Jean-Christophe Filliátre；克劳德·马奇；纪尧姆·梅尔金德；安德烈·帕斯科维奇 相关软件： Coq；卡拉卡拉；z3… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；数值分析（65-XX）…
前88.m 138篇文献引用(2011–2024) 软件作者： 埃里克·安德烈森；安德斯·克劳森；Schevenels，Mattias；博扬·S·拉扎罗夫。；奥勒·西格蒙德 相关软件： 顶部.m；Matlab；GitHub… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
西雅娜 75篇文献引用(2012–2023) 软件作者： J.Bergstra、O.Breuleux、F.Bastien、P.Lamblin、R.Pascanu、G.Desjardins、J.Turian、D.Warde-Farley、Y.Bengio。 相关软件： TensorFlow；亚当；PyTorch… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
R2 WinBUGS软件 75篇文献引用(2006–2022) 软件作者： 安德鲁·盖尔曼；西比尔·斯图尔茨；格雷戈·戈贾尼（Gregor Gorjanc）；朱妮·科尔曼（Jouni Kerman）；乌韦·利格斯 相关软件： R；WinBUGS；CODA… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
算法862 87份文件引用(2006–2023) 软件作者： 布雷特·巴德（Brett W.Bader）；塔马拉·科尔达 相关软件： 张量工具箱；Matlab；Tensorlab… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；统计学（62-XX）；数值分析（65-XX）…
巴拉法克 85篇文献引用(1976–2023) 软件作者： R.A.哈什曼。；M.E.伦迪。 相关软件： Matlab；多线性发动机；R、 … 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；统计学（62-XX）；数值分析（65-XX）…
数学SAT5 80篇文献引用(2013–2023) 软件作者： 亚历山德罗·西马蒂；阿尔贝托·格里乔；沙夫斯马，巴斯蒂安·乔斯特；罗伯托·塞巴斯蒂亚尼 相关软件： z3；CVC4；Yices… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
FOCI公司 66份文件中引用(2004–2023) 软件作者： 兰吉特·贾拉（Ranjit Jhala）、肯尼思·麦克米兰（Kenneth L.McMillan） 相关软件： 公主；z3；CSIsat… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；有序，格，有序代数结构（06-XX）…
COSA公司 52篇文献引用(2003–2023) 软件作者： Jerome H.Friedman。；杰奎琳·穆尔曼。 相关软件： UCI-ml；R；斯巴克尔… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
正交数组 49篇文献引用(2010–2024) 软件作者： Eendebak，P.T.，Schoen，E.D。 相关软件： 国防部基地；R；OApackage… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
CVC公司 45篇文献引用(2002–2021) 软件作者： 阿伦·斯塔姆（Aaron Stump）；克拉克·W·巴雷特。；大卫·L·迪尔。 相关软件： CVC-Lite；简化；箔条… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
路易斯安那州 24篇文献引用(2002–2023) 软件作者： 罗伯托·伊鲁萨利姆希；Waldemar Celes；路易斯·恩里克·德菲格雷多 相关软件： 蟒蛇；R；鲁比… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
科科斯 37篇文献引用(2016–2024) 软件作者： C.R.Trott、M.Hoemmen、S.D.Hammond、H.C.Edwards、桑迪亚 相关软件： 特里利诺斯；github；CUDA… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
阿菲 24篇文献引用（2004年至2021年） 软件作者： 拉斐尔·艾里扎里；Laurent Gautier、Leslie Cope；本·博尔斯塔德 相关软件： 生物导体；R；gcrma… 主要字段： 总体主题；藏品（00-XX）；统计学（62-XX）；计算机科学（68-XX）…
选臂器 38篇文献引用(2010–2022) 软件作者： Robert Brummayer；阿明·比尔 相关软件： z3；SMT-LIB；CVC4… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
NINJA公司 30篇文献引用(2000–2019) 软件作者： 何塞·莫雷拉（JoséE.Moreira）。；塞缪尔·米奇夫（Samuel P.Midkiff）。；马尼什省古普塔；吴鹏；乔治·阿尔马西（George Almasi）；阿蒂加斯，佩德罗 相关软件： TNT；爪哇格兰德；忍者… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；量子理论（81-XX）…
短信 38篇文献引用(1997–2023) 软件作者： 乔·科勒克 相关软件： 数学；AceFEM；AceGen… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；变形固体力学（74-XX）…
F2PY（上一财年） 引用于27份文件(2000–2022) 软件作者： 佩鲁·彼得森 相关软件： 蟒蛇；SciPy；数字标识… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
闪电战++ 在25份文件中引用(2000–2021) 软件作者： Todd L.Veldhuizen。 相关软件： 闪电战++库；促进；拉帕克… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；变形固体力学（74-XX）…
多线性引擎 33篇文献引用(2002–2022) 软件作者： 彭蒂·帕特罗 相关软件： 张量工具箱；Matlab；PARAFAC… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；统计学（62-XX）；数值分析（65-XX）…
电子束阵列 31份文件引用(2003–2013) 软件作者： Michael A.Newton，Christina Kendziorski 相关软件： R；生物导体；SAM… 主要字段： 总体主题；藏品（00-XX）；概率论与随机过程（60-XX）；统计学（62-XX）…
加洛普 引用于29份文件(2010–2023) 软件作者： 迪特马尔·希尔登布兰德；乔阿希姆·皮特；安德烈亚斯·科赫 相关软件： 盖根；CLUCalc；GMac… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；几何（51-XX）；数值分析（65-XX）…
帕斯卡-SC 引用于27份文件(1984–2016) 软件作者： 鲍伦德（Gerd Bohlender）；乌尔里希，基督徒；沃尔夫·冯·古登堡（Wolff von Gudenberg，Jürgen）；路易·B·拉尔。 相关软件： 杰克；枫树；DiffSharp… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
vsn（vsn） 22篇文献引用(2003–2019) 软件作者： 沃尔夫冈·胡贝尔（Wolfgang Huber）、安贾·冯·海德布雷克（Anja von Heydebreck）、丹尼斯·科斯特卡（Dennis Kostka）、大卫·克莱尔（David Kreil）、汉斯·尤里希·克莱恩（Hans-Ulrich Klein）、罗伯特·绅士（Robert Gentleman 相关软件： R；生物导体；形状… 主要字段： 组合数学（05-XX）；统计学（62-XX）；数值分析（65-XX）…
Mcmt公司 引用于27份文件(2010–2023) 软件作者： Ghilardi S、Ranise S 相关软件： 小卧室；SMT-LIB；z3… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
阵列 6篇文献引用(2020–2023) 软件作者： S霍耶 相关软件： 蟒蛇；数字Py；Matplotlib… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；概率论与随机过程（60-XX）…
摩洛哥迪拉姆 26篇文献引用(2002–2021) 软件作者： 肖恩·福思（Shaun A.Forth）；罗伯特·凯茨彻 相关软件： Matlab；ADOL-C；ADMAT… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
QCA设计师 22篇文献引用(2010–2022) 软件作者： Walus，K.、Dysart，T.J.、Jullien，G.A.、Budiman，R.A。 相关软件： QCAPro；NIST统计测试套件 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；量子理论（81-XX）…
SACLIB公司 23篇文献引用（1993年至2009年） 软件作者： David G.Richardson：沃纳·克兰迪克 相关软件： QEPCAD；枫树；FOXBOX… 主要字段： 数学逻辑与基础（03-XX）；代数几何（14-XX）；数值分析（65-XX）…
TNT公司 22篇文献引用(1998–2019) 软件作者： 罗尔丹·波佐 相关软件： LAPACK；睡衣；Matlab… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
UCLID公司 24篇文献引用(2002–2020) 软件作者： Randal E.Bryant；Shuvendu K.Lahiri；桑吉特·塞希亚 相关软件： 糠；PVS；MiniSat… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；数论（11-XX）…
CAVA LTL模型检查器 23篇文献引用(2015–2021) 软件作者： 哈维尔·埃斯帕尔扎（Javier Esparza）、彼得·兰米奇（Peter Lammich）、雷内·诺伊曼（ReneéNeumann）、托比亚斯·尼普科（Tobias Nipkow）、亚历山大·辛普夫；Jan-Georg Smaus公司 相关软件： Isabelle/HOL；存档正式证据；伊莎贝尔… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；概率论与随机过程（60-XX）…
咖啡 20篇文献引用(2016–2021) 软件作者： Fabio Luporini、Ana Lucia Varbanescu、Florian Rathgeber、Gheorghe-Teodor Bercea、J.Ramanujam、David A.Ham、Paul H.J.Kelly 相关软件： Firedrake；PETSc；TSFC… 主要字段： 偏微分方程（35-XX）；全局分析，流形分析（58-XX）；数值分析（65-XX）…
CrunchFlow公司 22篇文献引用(2015–2022) 软件作者： 卡尔·斯蒂费尔 相关软件： 水文地球化学；PHREEQC；PhreeqcRM… 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）；流体力学（76-XX）…
AWK公司 21篇文献引用(1979–2019) 软件作者： Alfred V.Aho、Brian W.Kernighan、Peter J.Weinberger 相关软件： PERL；数学；YACC… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
帕索尔 19份文件引用(2005–2017) 软件作者： 亚库斯·舍夫，亚历山大；采吉斯，雷蒙达斯；劳凯蒂，印加；特罗菲莫夫，维亚切斯拉夫 相关软件： PETSc；BALaser；Diffpack… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；流体力学（76-XX）…
B-序言 18篇文献引用(2001–2022) 软件作者： Afany软件 相关软件： XSB；YAP-Prolog；SICStus… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
内部控制系统 19份文件引用(2001–2016) 软件作者： Jean-Christophe Filliátre；Owre，Sam；哈拉尔德街；Natarajan Shankar 相关软件： CVC-Lite；CVC；箔条… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；场论与多项式（12-XX）…
STXXL型 17篇文献引用(2006–2023) 软件作者： 罗曼·德门提耶夫；卢茨·凯特纳；彼得·桑德斯 相关软件： TPIE；MCSTL；LEDA… 主要字段： 组合数学（05-XX）；数值分析（65-XX）；计算机科学（68-XX）…
方格网 18篇文献引用(2007–2018) 软件作者： Burckhardt，S.，Alur，R.，Martin，M.K。 相关软件： veriSoft；自旋蛋白；UMM… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
项目参考 18篇文献引用(2009–2023) 软件作者： 马克·巴布林（Marc Baboulin）；阿尔弗雷多·布塔里；Jack Dongarra；雅库布·库扎克；朱莉·兰古；朱利安·兰古；彼得·卢斯科（Piotr Luszczek）；斯坦尼米尔·托莫夫 相关软件： mctoolbox；LAPACK；CUDA… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；流体力学（76-XX）…
十字架 18篇文献引用(2012–2024) 软件作者： 张安如 相关软件： 导缆器流量；罚款；glmnet… 主要字段： 组合数学（05-XX）；线性代数和多线性代数；矩阵理论（15-XX）；统计学（62-XX）…
FunArray（趣味阵列） 18篇文献引用(2011–2021) 软件作者： 帕特里克·库索特（Patrick Cousot）；拉迪亚·库索特；弗朗西斯科·洛戈佐 相关软件： ASTREE；z3；助推器… 主要字段： 阶、格、有序代数结构（06-XX）；计算机科学（68-XX）
KeOps公司 17篇文献引用(2019–2023) 软件作者： 查利尔，B.，费迪，J.，格劳内斯，J。 相关软件： PyTorch公司；L-BFGS；Wasserstein GAN… 主要字段： 偏微分方程（35-XX）；变分法与最优控制；优化（49-XX）；统计学（62-XX）…
高性能混凝土 9份文件引用(1999–2021) 软件作者： Saini，Subhash；Robert Ciotti；Brian T.N.Gunney。；Thomas E.Spelce。；爱丽丝·科尼格斯（Alice Koniges）；Dossa，Don；Adamidis、Panagiotis；罗尔夫·拉本塞夫纳（Rolf Rabenseifner）；Sunil R.Tiyyagura。；马蒂亚斯·穆勒 相关软件： LINPACK；NAS平行基准；流… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）
RSOME公司 17篇文献引用(2020–2023) 软件作者： 陈志；熊鹏 相关软件： 罗马；ROC++；GitHub… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
星形 15篇文献引用(2015–2023) 软件作者： Alexander Dobin、Carrie A.Davis、Felix Schlesinger、Jorg Drenkow、Chris Zaleski、Sonali Jha、Philippe Batut、Mark Chaisson、Thomas R.Gingeras 相关软件： R；顶帽；edgeR… 主要字段： 组合数学（05-XX）；常微分方程（34-XX）；统计学（62-XX）…
CUDA.jl公司 11份文件引用(2020–2024) 软件作者： 贝萨德，蒂姆；克利斯朵夫·福克特；比约恩·德萨特 相关软件： CUDAnative.jl；朱莉娅；GitHub… 主要字段： 偏微分方程（35-XX）；概率论与随机过程（60-XX）；数值分析（65-XX）…
蚱蜢 14篇文献引用(2015–2023) 软件作者： R.Piskac、T.Wies和D.Zufferey 相关软件： 达夫尼；VeriFast；毒蛇… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
ARMCI公司 9份文件引用(2000–2010) 软件作者： J.Nieplocha、V.Tipparaju、M.Krishnan、D.Panda 相关软件： CoArray；NAS并行基准；MPI… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；量子理论（81-XX）…
BoogiePL公司 11份文件引用(2005–2020) 软件作者： DeLine，R.，Leino，K.R.M。 相关软件： z3；规范#；布吉… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
优化数学卫星 14篇文献引用(2016–2023) 软件作者： 塞巴斯蒂亚尼，R.，特伦丁，P。 相关软件： vZ；z3；SMT-LIB… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
胶合板 13份文件引用(2013–2020) 软件作者： 哈德利·威克姆 相关软件： R；ggplot2；重塑… 主要字段： 总体主题；藏品（00-XX）；统计学（62-XX）；数值分析（65-XX）…
SMTCoq公司 14篇文献引用(2017–2022) 软件作者： Ekici，B.等人。 相关软件： Coq；Isabelle/HOL；CVC4… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；几何（51-XX）…
零英尺/平方英尺 14篇文献引用(2005–2024) 软件作者： 彼得·林德斯特罗姆 相关软件： github；mctoolbox；COMA… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
DoE.base公司 8份文件引用(2014–2023) 软件作者： Ulrike Groemping、Boyko Amarov、Hongquan Xu 相关软件： R；DoE.wrapper；FrF2… 主要字段： 总体主题；藏品（00-XX）；统计学（62-XX）；计算机科学（68-XX）
SMV公司 13份文件引用(1986–2018) 软件作者： Ed Clarke；K.L.McMillan；E.A.艾默生；J.R.伯奇 相关软件： 高科技；PHAVer；旋转… 主要字段： 常微分方程（34-XX）；变分法与最优控制；优化（49-XX）；计算机科学（68-XX）…
张量工具箱.jl 13份文件引用(2017–2023) 软件作者： 丹尼尔·克雷斯纳（Daniel Kressner）；拉纳佩里沙市 相关软件： 张量工具箱；兰德国家实验室；Chebfun… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；近似和展开（41-XX）；统计学（62-XX）…
versat公司 13份文件引用(2012–2022) 软件作者： Oe，Duckki；阿伦·斯塔姆（Aaron Stump）；科里·奥利弗；凯文·克兰西 相关软件： Isabelle/HOL；Coq；箔条… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
PMAD公司 12份文件引用(2007–2022) 软件作者： L.F.沙姆平 相关软件： Matlab；MATLAB实验；mftoolx… 主要字段： 常微分方程（34-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
ADVIS公司 5份文件引用(1988–1999) 软件作者： 摩尔多瓦，D.I。 相关软件： SDEF；PipLib；托勒密… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
Affycomp III公司 引用于7份文件(2006–2017) 软件作者： 科普，L.M。；爱尔兰共和国。；贾菲，H.A。；吴，Z。；速度，T.P。 相关软件： gcrma；BGX；R、 … 主要字段： 统计学（62-XX）；生物学和其他自然科学（92-XX）
beadarray公司 引用于3份文件(2006–2012) 软件作者： 马克·邓宁（Mark J.Dunning）。；娜塔莉·索恩（Natalie P.Thorne）。；伊莎贝尔·卡米利尔；迈克尔·L·史密斯。；西蒙·塔瓦尔埃 相关软件： R；生物导体；lumi… 主要字段： 统计学（62-XX）；数值分析（65-XX）；生物学和其他自然科学（92-XX）
洛林 11份文件引用(2007–2023) 软件作者： Eric Gourgoulhon、Philippe Grandclément、Jean-Alain Marck、Jéróme Novak、Keisuke Taniguchi 相关软件： 仙人掌；GYOTO；KADATH… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；量子理论（81-XX）…
MD分析 引用于3份文件(2018–2023) 软件作者： Gowers，R.J。；林奇，M。；巴诺，J。；Reddy，T.J.E。；梅洛，M.N。；塞勒，S.L。 相关软件： 蟒蛇；数字Py；Gromacs… 主要字段： 流体力学（76-XX）；生物学和其他自然科学（92-XX）
MPM3DMP公司 11份文件引用(2008–2023) 软件作者： 黄，P。；张，X。；马，S。；Wang，香港。 相关软件： MPM3D；FEAPpv公司 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）；流体力学（76-XX）
通过 9份文件引用(2015–2024) 软件作者： Li，G.，Ghosh，I。 相关软件： S3；Z3-str；z3… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
分裂 11份文件引用(2018–2023) 软件作者： S.Smith、N.Ravindran、N.D.Sidiropoulos、G.Karypis 相关软件： 张量工具箱；DFacTo；算法862… 主要字段： 组合数学（05-XX）；线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）…
助推器 9份文件引用(2014–2024) 软件作者： 弗朗西斯科·阿尔贝蒂；西尔维奥·吉拉尔迪；莎里吉娜，娜塔莎 相关软件： z3；Mcmt公司；SMT-LIB… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
gcl公司 10篇文献引用(2010–2023) 软件作者： 贾尼契奇，普雷德拉格 相关软件： GCLC；GEX；GeoGebra… 主要字段： 数学逻辑与基础（03-XX）；几何（51-XX）；计算机科学（68-XX）…
全局阵列 引用于7份文件(2008–2021) 软件作者： Jarek Nieplocha、Bruce Palmer、Vinod Tipparaju、Manojkumar Krishnan、Harold Trease、Edo Apra 相关软件： PETSc；炒作；英特尔TBB… 主要字段： 计算机科学（68-XX）；流体力学（76-XX）；量子理论（81-XX）…
Onto-Tools（在线工具） 5份文件引用(2006–2012) 软件作者： Draghici S、Khatri P、Bhavsar P、Shah A、Krawetz SA、Tainsky MA 相关软件： 政府统计局；GOTM；GO工具箱… 主要字段： 总体主题；藏品（00-XX）；统计学（62-XX）；生物学和其他自然科学（92-XX）
游猎 8份文件引用(2014–2020) 软件作者： Alberti，F.、Bruttomesso，R.、Ghilardi，S.、Ranise，S.和Sharygina，N。 相关软件： Mcmt公司；z3；助推器… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
Jinja线程 9份文件引用(2009–2020) 软件作者： A.洛赫比勒。 相关软件： Isabelle/HOL；存档正式证据；伊莎贝尔… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；凸和离散几何（52-XX）…
寡 引用于7份文件(2007–2016) 软件作者： Benilton Carvalho、Rafael Irizarry、Ben Bolstad、Vincent Carey、Wolfgang Huber、Harris Jaffee、Jim MacDonald、Matt Settles 相关软件： BRLMM；血浆；R、 … 主要字段： 统计学（62-XX）；生物学和其他自然科学（92-XX）
打开卷网格 8份文件引用(2015–2022) 软件作者： 亚琛RWTH；M.Kremer、D.Bommes和L.Kobbelt 相关软件： CGAL；TetGen；CGoGN… 主要字段： 偏微分方程（35-XX）；凸和离散几何（52-XX）；数值分析（65-XX）…
分段器3IsBack 5份文件引用(2017–2021) 软件作者： Alice Cleynen、Michel Koskas、Emilie Lebarbier、Guillem Rigaill、Stephane Robin 相关软件： 转折点；wbs；R、 … 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）
SPLIB公司 9份文件引用(2003–2017) 软件作者： 布拉姆利，R。；X·王。 相关软件： FEATFLOW；SOPLIB2006；基于GPU的ACS… 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）；流体力学（76-XX）…
OP2（操作2） 8份文件引用(2016–2023) 软件作者： G.R.Mudalige、M.B.Giles、I.Reguly、C.Bertoli、P.H.J.Kelly 相关软件： Firedrake；炒作；沃尔纳… 主要字段： 统计学（62-XX）；数值分析（65-XX）；流体力学（76-XX）…
张量流 5份文件引用(2021–2023) 软件作者： Allaire，J.、Eddelbuettel，D.、Golding，N.、Tang，Y。 相关软件： TensorFlow；R；亚当… 主要字段： 统计学（62-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）；生物学和其他自然科学（92-XX）
神奇 8份文件引用(1984–2009) 软件作者： Kipp，M.E。；劳伦斯，R.J。 相关软件： CTH；TOODY II；Hondo… 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）；流体力学（76-XX）…
阵列火力 4份文件引用(2019–2024) 软件作者： Yalamanchili，P，Arshad，U，Mohammed，Z，Garigipati，P，Entschev，P，Kloppenborg，B，James，J和Melonakos，J 相关软件： github；CUDA；CuArrays.jl… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；流体力学（76-XX）…
BEAGLE公司 5份文件引用(2014–2023) 软件作者： 艾尔斯·D.L.、达林·A.、兹维克·D.J.、比利·P.、霍尔德·M.T.、刘易斯·P.O.、胡尔森贝克·J.P.、罗奎斯特·F.、斯沃福德·D.L..、卡明斯·M.P.、兰伯特·A.、苏查德·M.A。 相关软件： 野兽；贝叶斯先生；R、 … 主要字段： 总体主题；藏品（00-XX）；统计学（62-XX）；数值分析（65-XX）…
CA基因 引用于7份文件(2020–2023) 软件作者： Wagner，M.、Kleine，K.、Simos，D.E.、Kuhn，R.、Kacker，R。 相关软件： 行为；AETG；准确指出 主要字段： 组合数学（05-XX）；数值分析（65-XX）；计算机科学（68-XX）…
Circos公司 4份文件引用(2018–2023) 软件作者： Krzywinski M.、Schein J.、Birol I.、Connors J.、Gascoyne R.、Horsman D.、Jones S.J.、Marra M.A。 相关软件： NodeTrix；ChordLink；素食主义者… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
EinSum公司 6篇文献引用(2002–2018) 软件作者： 奥伦德，K。 相关软件： POOMA；MOLPRO公司；SPHINX… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
FP-增长 引用于7份文件(2013–2023) 软件作者： 克里斯蒂安·博尔盖特 相关软件： CMAR；UCI-ml；埃克拉特… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
千兆坦索尔 引用于7份文件(2016–2022) 软件作者： U.Kang、E.Papalexakis、A.Harpale、C.Faloutsos 相关软件： 张量工具箱；DFacTo；分裂… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；统计学（62-XX）；数值分析（65-XX）…
结婚课程 引用于7份文件(2003–2013) 软件作者： Sandrine Dudoit、Jean Yee Hwa Yang 相关软件： 结婚地块；婚姻规范；marrayInput… 主要字段： 总体主题；藏品（00-XX）；统计学（62-XX）；数值分析（65-XX）…