亚当 1802年文献引用(2016–2024) 软件作者： Diederik P.Kingma、Jimmy Ba 相关软件： TensorFlow；PyTorch；ImageNet… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
阿尔帕克 889份文件引用(1995–2024) 软件作者： 勒霍克；索伦森；杨 相关软件： eigs；JDQZ；JDQR… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
PVS公司 617文件引用(1993–2023) 软件作者： Sam Owre、Natarajan Shankar、John Rushby 相关软件： Coq；Isabelle/HOL；HOL… 主要字段： 数理逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
特里利诺斯 引用于425份文件(2003–2024) 软件作者： Trilinos贡献者 相关软件： PETSc；交易.ii；ML… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；可变形固体力学（74-XX）…
TPTP公司 419份文件引用(1994–2023) 软件作者： Geoff Sutcliffe；克里斯蒂安·萨特纳 相关软件： 吸血鬼；E定理证明器；SPASS… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；几何（51-XX）…
XFEM公司 407篇文献引用(2002–2024) 软件作者： 博尔达斯，《Stéphane作者简介》；阮富荣；西里尔州杜南；阿莫尔·吉杜姆；阮当，洪 相关软件： Matlab；Gmsh；ABAQUS… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；可变形固体力学（74-XX）…
高超声速 320篇文献引用(1996–2024) 软件作者： 汤姆·亨廷格（Tom Henzinger）、裴勇浩（Pei-Hin-Ho）和霍华德·旺托伊（Howard Wong-Toi）。 相关软件： Uppaal；PHAVer；Kronos… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
Mfree二维 337份文件引用(2002–2024) 软件作者： G.R.Liu、Z.H.Tu 相关软件： Matlab；XFEM；ABAQUS… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；可变形固体力学（74-XX）…
克洛诺斯 246篇文献引用(1997–2022) 软件作者： Conrado Daws、Alfredo Olivero、Stavros Tripakis、Sergio Yovine 相关软件： Uppaal；高科技；旋转… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
SVM灯 214篇文献引用(2000–2023) 软件作者： 托尔斯滕·约阿希姆斯 相关软件： LIBSVM；UCI-ml；SVMTorch… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
NTRU公司 214篇文献引用(1998–2023) 软件作者： 杰弗里·霍夫斯坦；吉尔·皮弗；约瑟夫·西尔弗曼（Joseph H.Silverman）。 相关软件： NTRU签名；BKZ；NTL… 主要字段： 数论（11-XX）；交换代数（13-XX）；计算机科学（68-XX）…
CASL公司 174篇文献引用(1999–2023) 软件作者： 蒂尔·莫萨科夫斯基 相关软件： OBJ咖啡馆；赫茨；莫德… 主要字段： 数理逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）…
控制系统工具箱 166篇文献引用(1995–2024) 软件作者： MathWorks公司；格雷斯，A。；Laub，A.J。；Little，J.N。；汤普森，C.M。 相关软件： Matlab；LMI工具箱；鲁棒控制工具箱… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；常微分方程（34-XX）；变分法与最优控制；优化（49-XX）…
洛佩克。米 171篇文献引用（2001年至2024年） 软件作者： Andrew V.Knyazev。 相关软件： JDQZ；JDQR；ARPACK… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
伊萨尔 156篇文献引用(2000–2024) 软件作者： 马卡里乌斯·温泽尔 相关软件： 伊莎贝尔；Isabelle/HOL；Coq… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；组合数学（05-XX）…
皇家麻省理工学院 153篇文献引用(2007–2023) 软件作者： Phuong Huynh；Ngoc-Cuong Nguyen；A.T.Patera和G.Rozza 相关软件： 红色套件；RBmatlab；DUNE… 主要字段： 偏微分方程（35-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
NIST统计测试套件 135份文件引用(2004–2024) 软件作者： NIST；劳伦斯·巴沙姆（Lawrence Bassham）、安德鲁·鲁金（Andrew Rukhin）、胡安·索托（Juan Soto）、詹姆斯·内奇瓦塔尔（James Nechvatal）、迈尔斯·史密斯（Miles Smid）、伊莱恩·巴克（Elaine Barker）、斯特凡·利（Stefan Leigh）、马克·莱文森（ 相关软件： 迪哈德；测试U01；MersenneTwister… 主要字段： 动力系统与遍历理论（37-XX）；统计学（62-XX）；数值分析（65-XX）…
iPiano公司 142篇文献引用(2014–2024) 软件作者： Ochs，Peter；陈云锦；托马斯·布罗克斯（Thomas Brox）；托马斯·波克 相关软件： iPiasco；UNLocBoX；L-BFGS… 主要字段： 算子理论（47-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
埃尔朗 112份文件引用(1993–2023) 软件作者： erlang.org网站 相关软件： 哈斯克尔；JCobox；快速检查… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）…
SLICOT公司 91份文件引用(1999–2023) 软件作者： 彼得·本纳（Peter Benner）；沃尔克·梅尔曼；西玛，瓦西里；范·赫菲尔（Sabine Van Huffel）；安德拉斯·瓦尔加 相关软件： LAPACK；Matlab；mctoolbox… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）；计算机科学（68-XX）…
Healpix公司 80篇文献引用(2007–2023) 软件作者： K.M.Górski；E.Hivon；A.J.Banday；B.D.Wandelt；F.K.Hansen；M.Reinecke；M.Bartelmann先生 相关软件： 健康；蟒蛇；CAMB… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
直接 67篇文献引用(2006–2024) 软件作者： 芬克尔，D.E；何健；Alex Verstak；Layne T.Watson。；马萨·索松基纳 相关软件： 地方政府官员；MCS；SymDIRECT… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
短笛 66份文件引用(2011–2024) 软件作者： Shibutai，K.、Isobe，T.、Hiwatari，H.、Mitsuda，A.、Akishita，T.和Shirai，T。 相关软件： 出席；王子；西蒙… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
利比亚中央银行 60篇文献引用（2009年-2023年） 软件作者： 查查特，B 相关软件： 安提戈内；BARON公司；MAiNGO… 主要字段： 常微分方程（34-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
BOINC公司 23篇文献引用(2006–2023) 软件作者： D.P.安德森 相关软件： XtremWeb；Globus工具包；和弦… 主要字段： 概率论与随机过程（60-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
SAMRAI公司 51份文件中引用(2002–2023) 软件作者： 理查德·霍农（Richard D.Hornung）。；斯科特·科恩。 相关软件： PETSc；炒作；帕拉梅什… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；可变形固体力学（74-XX）…
信号 51份文件中引用(1987–2020) 软件作者： 诺瓦克，大卫；Jean-Pierre Talpin；蒂埃里·戈蒂埃；保罗·勒格尔尼克 相关软件： 卢斯特；酯类；托勒密… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）…
动态数学 32篇文献引用(2001–2018) 软件作者： DFKI&萨尔大学 相关软件： OMDoc；枫树；Isabelle/HOL… 主要字段： 总体主题；藏品（00-XX）；线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）…
OSQP公司 49篇文献引用(2018–2024) 软件作者： Bartolomeo Stellato、Goran Banjac、Paul Goulart、Alberto Bempoad、Stephen Boyd 相关软件： 古罗比；莫塞克；qpOASES… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
亚马逊EC2 29篇文献引用(2010–2022) 软件作者： 亚马逊 相关软件： 开放星云；桉树；Azure… 主要字段： 组合数学（05-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…
跳房子 在48份文件中引用(1971–2024) 软件作者： A.R.古雷。 相关软件： 罗德斯；DLMF；COMSOL… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；流体力学（76-XX）…
nuXmv（数字） 45篇文献引用(2015–2023) 软件作者： 罗伯特·卡瓦达、亚历山德罗·西马蒂、米歇尔·多里加蒂、阿尔贝托·格里乔、亚历桑德罗·马里奥蒂、安德烈亚·米凯利、塞尔吉奥·莫弗、马可·罗维里、斯特凡诺·托内塔 相关软件： z3；NuSMV；旋转… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
Uppaal2k公司 38篇文献引用(2000–2017) 软件作者： Kim G.Larsen、Wang Yi、Paul Pettersson、Alexandre David、Brian Nielsen、Arne Skou、John Håkansson、Jacob Illum Rasmussen、Pavel Krcál、Ulrik Larsen、Marius Mikucionis、Leonid Mokrushin 相关软件： Uppaal；克罗诺斯；高科技… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
CalcCheck（计算检查） 41篇文献引用(1993–2021) 软件作者： 沃尔夫拉姆·卡尔 相关软件： Z；Coq；哈斯克尔… 主要字段： 数理逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；计算机科学（68-XX）…
SQEMA公司 40篇文献引用(2005–2021) 软件作者： 威廉·康雷迪（Willem Conradie）；瓦伦丁·戈兰科 相关软件： Isabelle/HOL；认识逻辑；存档正式证据… 主要字段： 数理逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；计算机科学（68-XX）…
FLAC公司 39篇文献引用(1989–2022) 软件作者： 伊塔斯卡 相关软件： FLAC3D；FIDAP；ABAQUS/显式… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；可变形固体力学（74-XX）…
OPTI公司 40篇文献引用(2015–2023) 软件作者： 柯里，J.，威尔逊D.I。 相关软件： Ipopt；NOMAD公司；Bonmin… 主要字段： 数值分析（65-XX）；运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
非洲渔业协会 37篇文献引用（2009年-2023年） 软件作者： 彼得罗·巴罗尼；费德里科·塞鲁蒂（Federico Cerutti）；马西米利亚诺·贾科明；吉奥瓦尼·吉达 相关软件： 吡格列酮；ConArg2；奥斯卡… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
RRK_rr（R） 37篇文献引用（2019年至2024年） 软件作者： 戴维·凯奇森。 相关软件： github；罗德斯；朱莉娅… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；偏微分方程（35-XX）；积分变换，运算微积分（44-XX）…
茂物 27篇文献引用(2003–2014) 软件作者： 马修·德怀尔（Matthew B.Dwyer）。；约翰·哈特克利夫；马修·胡西尔（Matthew Hoosier）；马修·罗比 相关软件： 自旋蛋白；班德拉；veriSoft… 主要字段： 数理逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
Java CoG工具包 12份文件引用(2001–2010) 软件作者： 冯·拉舍夫斯基（von Laszewski），格雷戈（Gregor）；加沃尔，贾雷克；彼得·莱恩（Peter Lane）；雷恩、内尔；迈克·拉塞尔 相关软件： Globus工具包；飞马座；Condor-G… 主要字段： 计算机科学（68-XX）；地球物理学（86-XX）；生物学和其他自然科学（92-XX）
LSTRS公司 35篇文献引用(2005–2022) 软件作者： M.Rojas、S.A.Santos和D.C.Sorensen 相关软件： GQTPAR；HSL-VF05；ARPACK… 主要字段： 算子理论（47-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
月收入 33篇文献引用(2004–2021) 软件作者： 约瑟夫·乌尔班 相关软件： 米扎尔；MML；HOL灯… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；数学教育（97-XX）
云模拟 22篇文献引用(2012–2023) 软件作者： 罗德里戈·N·卡莱罗斯、拉吉夫·兰扬、塞萨尔·A·F·德·罗斯、拉杰库马尔·布亚 相关软件： iFogSim；网格模拟；pMapper… 主要字段： 概率论与随机过程（60-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
LIEPDE公司 32篇文献引用(1993–2019) 软件作者： 托马斯·沃尔夫 相关软件： 裂纹；ApplySym；SYMMGRP… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；动力系统和遍历理论（37-XX）…
Phylon网络 27篇文献引用(2010–2024) 软件作者： 加布里埃尔·卡多纳（Gabriel Cardona）、弗朗西斯科·罗塞洛（Francesc Rosselló）、加布里埃尔·瓦连特（Gabriel-Valiente） 相关软件： github；PADRE；生物钟… 主要字段： 组合数学（05-XX）；阶、格、有序代数结构（06-XX）；计算机科学（68-XX）…
波塞冬 32篇文献引用(2020–2023) 软件作者： 格拉西，L。；Kales，D。；Khovratovich，D。；罗伊，A。；Rechberger，C。；肖夫内格，M。 相关软件： MiMC；github；万岁… 主要字段： 组合数学（05-XX）；代数几何（14-XX）；计算机科学（68-XX）…
DSDP5型 30篇文献引用(2004–2023) 软件作者： 史蒂文·本森（Steven J.Benson）；银鱼叶 相关软件： SDPT3；塞杜米；SDPA… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
普罗米拉 30篇文献引用(1997–2022) 软件作者： Natarajan，V。；杰拉德·J·霍尔兹曼。 相关软件： 自旋蛋白；jSpin；ProB… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）…
贝塔 22篇文献引用(1985–2016) 软件作者： Bent Bruun Kristensen、Ole Lehrmann Madsen、Birger Möller-Pedersen、Kristen Nygaard 相关软件： 埃菲尔；Simula 67；闲聊… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；可变形固体力学（74-XX）…
CC-Pi公司 28篇文献引用(2007–2022) 软件作者： 玛丽亚·格拉齐亚·巴斯米（Maria Grazia Buscemi），乌戈·蒙塔纳里（Ugo Montanari） 相关软件： 奶牛；Isabelle/HOL；名义上的伊莎贝尔… 主要字段： 数理逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）…
D-ADMM公司 30篇文献引用(2013–2023) 软件作者： Mota，Joáo F.C。；Joáo M.F.Xavier。；阿吉亚尔，佩德罗·M·Q。；马库斯·普舍尔 相关软件： AIDE；UCI-ml；传奇… 主要字段： 算子理论（47-XX）；统计学（62-XX）；计算机科学（68-XX）…
大表 17篇文献引用（2010年-2023年） 软件作者： Chang，Fay；杰弗里·迪恩；桑杰·盖马瓦特；谢伟信（Xieh，Wilson C.）。；黛博拉·瓦拉赫（Deborah A.Wallach）。；Mike Burrows；图沙·钱德拉；安德鲁·菲克斯；罗伯特·E·格鲁伯 相关软件： MapReduce；发电机；卡桑德拉… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
X标记 8份文件引用(2003–2015) 软件作者： 阿尔布雷赫特·施密特（Albrecht Schmidt）；Waas，Florian；马丁·克尔斯滕（Martin Kersten）；迈克尔·J·凯里。；爱奥那州马诺莱斯库；拉尔夫·巴斯 相关软件： XPath；XQuery；被子… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）
夸克 26篇文献引用（2010年-2023年） 软件作者： J.-P.Aumasson、L.Henzen、W.Meier、M.Naya-Plasencia 相关软件： 出席；卡坦；谷物… 主要字段： 组合数学（05-XX）；数论（11-XX）；计算机科学（68-XX）…
Java操作系统 26篇文献引用(2005–2023) 软件作者： 冯晨；格里戈·罗什 相关软件： LOLA；github；方面J… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）…
电子LOTOS 23篇文献引用(1998–2016) 软件作者： 罗伯特·克拉克；安娜·莫雷拉 相关软件： CADP；自旋蛋白；LOTOS… 主要字段： 数理逻辑与基础（03-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…
PENSDP公司 25篇文献引用(2006–2022) 软件作者： 米查尔·科奇瓦拉；迈克尔·斯汀格尔 相关软件： 彭农；SDPLR；优化软件基准… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；可变形固体力学（74-XX）…
Specware（特殊软件） 25篇文献引用(1998–2019) 软件作者： Srinivas，Y.，Jullig，R。；瓦尔迪格，R。 相关软件： PVS；Nuprl；CASL… 主要字段： 数理逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）…
TAU公司 13份文件引用(2007–2021) 软件作者： S.申德；A.D.马洛尼 相关软件： HPCTOOLKIT；PETSc；Scalasca… 主要字段： 积分变换，运算微积分（44-XX）；数值分析（65-XX）；计算机科学（68-XX）…
IRKC公司 23篇文献引用(2006–2023) 软件作者： Shampine，L.F.公司。；Sommeijer，B.P.公司。；J.G.韦尔。 相关软件： RKC；罗德斯；投票… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
洛拉 23篇文献引用（2009年-2023年） 软件作者： D’Angelo，B。；等。 相关软件： 蒙保利；Java-MOP；LUSTRE… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；系统论；控制（93-XX）
承认 22篇文献引用(1999–2020) 软件作者： 托马斯·科尔曼。；阿伦·维尔马 相关软件： ADIFR；ADMAT；Matlab… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
查斯基 22篇文献引用(2014–2023) 软件作者： 穆哈，N。；Mennink，B。；Van Herrewege，A。；渡边捷昭。；Preneel，B。；Verbauwhede，I。；焦耳，A。；A.优素福。 相关软件： SPECK；西蒙；Salsa20… 主要字段： 组合数学（05-XX）；数论（11-XX）；计算机科学（68-XX）…
CrunchFlow公司 22篇文献引用（2015年至2022年） 软件作者： 卡尔·斯蒂费尔 相关软件： 水文地球化学；PHREEQC；PhreeqcRM… 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）；流体力学（76-XX）…
SONET公司 22篇文献引用(1996–2013) 软件作者： —— 相关软件： SNDlib；TSPLIB；蜘蛛… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
XtremWeb 10篇文献引用(2001–2017) 软件作者： —— 相关软件： BOINC公司；夏洛特；标枪++… 主要字段： 数理逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
达类 20篇文献引用(2001–2023) 软件作者： De Paepe，Willem E。；Lenstra，Jan Karel；吉里·斯加尔（Jiri Sgall）；Sitters，Ren'e A。；利恩·斯托吉 相关软件： irace；j金属；CP网络 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
马卡尔 18篇文献引用(1985–2023) 软件作者： Fishbone，L.G.公司。；Giesen，G。；戈尔茨坦，G。；Hymmen，H.A。；股票，K.J。；沃斯·H。；王尔德，D。；Zoelcher，R。；巴尔泽，C。；H.阿比洛克。 相关软件： 梅赛格三世；EFOM 12C；Pypsa… 主要字段： 概率论与随机过程（60-XX）；运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
税收 15篇文献引用(2001–2017) 软件作者： 克洛斯，艾蒂安；米歇尔·波伊泽（Michel Poize）；雅克·普劳（Jacques Pulou）；约瑟夫·西法基斯（Joseph Sifakis）；帕特里克·文特 相关软件： Uppaal；克罗诺斯；艾菲尔… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；系统论；控制（93-XX）
咯咯笑 5份文件引用(2005–2011) 软件作者： Chervenak，A.，Deelman，E.，Foster，I.，Guy，L.，Hoschek，W.，Iamni tchi，A.，Kesselman，C.，Kunst，P.，Ripeanu，M.，Schwartzkopf，B.，Stockinger，H.，Stocking，K.，Tierney，B。 相关软件： 飞马座；尼姆罗德/G；OptorSim… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
伊普森 20篇文献引用(1991–2010) 软件作者： 安迪·舒尔 相关软件： mctoolbox；LAPACK；PostgreSQL… 主要字段： 历史与传记（01-XX）；线性代数和多线性代数；矩阵理论（15-XX）；算子理论（47-XX）…
KASUMI公司 20篇文献引用(2002–2016) 软件作者： 佐藤、明石；住友县森冈 相关软件： 山茶花；惠而浦；SageMath… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
MetaMorph变形 18篇文献引用(1999–2010) 软件作者： 马图拉纳，F。；沈伟（Shen，W.）。；D.H.诺里。 相关软件： Aglet；湿润+；发明人… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
SCADE公司 14篇文献引用(2001–2019) 软件作者： 杰拉德·贝里；Esterel科技 相关软件： Simulink；卢斯特；埃斯特雷尔… 主要字段： 计算机科学（68-XX）；系统论；控制（93-XX）
BCI2000型 12份文件引用(2016–2022) 软件作者： Schalk G、McFarland D J、Hinterberger T、Birbaumer N、Wolpow J R 相关软件： PhysioToolkit；EEGLAB；OpenViBE… 主要字段： 常微分方程（34-XX）；统计学（62-XX）；计算机科学（68-XX）…
CF-GGA公司 19份文件引用(2001–2023) 软件作者： Evelyn C.Brown。；罗伯特·T·苏米克拉斯特。 相关软件： 基因组学；野牛；CPLEX… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；生物学和其他自然科学（92-XX）
贾达米卢 17篇文献引用(2007–2023) 软件作者： Yvan Notay的Matthias Bollhöfer 相关软件： ARPACK；PRIMME公司；JDQZ… 主要字段： 概率论与随机过程（60-XX）；数值分析（65-XX）；光学、电磁理论（78-XX）…
打开星云 6篇文献引用（2010年至2021年） 软件作者： OpenNebula项目（OpenNebula.org） 相关软件： 亚马逊EC2；桉树；太阳网格引擎… 主要字段： 总体主题；藏品（00-XX）；数值分析（65-XX）；计算机科学（68-XX）
可控硅 10篇文献引用(2000–2018) 软件作者： 伊曼·布尔吉巴；贝莱德·莫阿 相关软件： 自旋蛋白；NuSMV；PVS… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
SNAP（快照） 10篇文献引用(2002–2013) 软件作者： 卡尔·查伊科夫斯基（Karl Czajkowski）；伊恩·福斯特（Ian Foster）；卡尔·凯塞尔曼；沃尔克·桑德；史蒂文·图克 相关软件： Globus工具包；开放科学网格；Condor-G… 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）；生物学和其他自然科学（92-XX）…
AVL公司 17篇文献引用(2001–2021) 软件作者： AVL公司 相关软件： InterFOAM；FlowLab；OpenFOAM… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；可变形固体力学（74-XX）…
图形ML 14篇文献引用(2002–2021) 软件作者： 布兰德斯（Ulrik Brandes）；马库斯·艾格尔斯佩格（Markus Eiglsperger）；伊凡·赫尔曼；Michael Himsolt；马歇尔·M·斯科特 相关软件： CGAL；GXL；汤姆… 主要字段： 总体主题；藏品（00-XX）；组合数学（05-XX）；统计学（62-XX）…
刘易斯 18篇文献引用(2003–2023) 软件作者： 科林·比德维尔；W.B.赖特 相关软件： FENSAP-ICE；Spalart-Allmaras；SU2… 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）；流体力学（76-XX）…
TempoGAN公司 17篇文献引用（2019年至2024年） 软件作者： You Xie、Erik Franz、Mengyu Chu、Nils Thuerey 相关软件： 亚当；像素x像素；CycleGAN… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
XL统计 13份文件引用(2006–2021) 软件作者： Addinsoft公司 相关软件： SmartPLS；R；PLS-图形… 主要字段： 统计学（62-XX）；数值分析（65-XX）；运筹学，数学编程（90-XX）
阿尔卑斯山 17篇文献引用(2004–2022) 软件作者： Ralphs，T.K。；Ládanyi，L。；Saltzman，医学博士。 相关软件： BiCePS；CHiPPS；BLIS… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；统计力学，物质结构（82-XX）…
ASTRAL公司 16篇文献引用(1992–2006) 软件作者： 贾科莫·博纳诺；科恩·波里西尼，阿尔贝托；威廉·福纳西亚里 相关软件： 克罗诺斯；Uppaal；高科技… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；系统论；控制（93-XX）
荷鲁斯 14篇文献引用（1995年至2019年） 软件作者： Robbert Van Renesse、Takako M.Hickey、Kenneth P.Birman 相关软件： Nuprl；PVS；Verdi… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
二巴磷 15篇文献引用（2008年至2021年） 软件作者： 亨宁·梅耶亨克；博克哈德·莫尼恩（Burkhard Monien）；托马斯·索尔瓦尔德 相关软件： 气泡-FOS/C；卡夫帕；梅蒂斯… 主要字段： 组合数学（05-XX）；数值分析（65-XX）；计算机科学（68-XX）…
铁人舰队 16篇文献引用(2017–2023) 软件作者： Hawblitzel，C。；豪厄尔，J。；卡普里索斯，M。；Lorch，J.R。；巴诺，B。；罗伯茨，M.L。；塞蒂，S.T.V。；齐尔，B 相关软件： z3；达夫尼；常春藤… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
轨道库 16篇文献引用（2008年至2021年） 软件作者： 安德烈·普拉泽 相关软件： z3；凯伊迈拉；QEPCAD… 主要字段： 数理逻辑与基础（03-XX）；交换代数（13-XX）；代数几何（14-XX）…
灵丹妙药 16篇文献引用(1982–2005) 软件作者： Ramakrishnan，K.G。；密特拉·D·。 相关软件： FIDIL；GENTRAN公司；阿尔巴 主要字段： 概率论与随机过程（60-XX）；数值分析（65-XX）；计算机科学（68-XX）…
RAISE（升起） 15篇文献引用(1993–2021) 软件作者： 克里斯·乔治 相关软件： 壁画；Z；PVS… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
红矿工 13份文件引用(2010–2022) 软件作者： Marc Solé；乔塞普·卡莫纳 相关软件： 混合ILPMiner；VipTool；基因… 主要字段： 计算机科学（68-XX）；运筹学，数学编程（90-XX）
令人惊叹的 12份文件引用(2007–2021) 软件作者： 文森特·科尼策；托马斯·桑德霍姆 相关软件： R-MAX；天秤座；Pluribus… 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
高迪 在11份文件中引用(2001–2010) 软件作者： Barrand，G.公司。；贝尔亚耶夫，I。；宾科，P。；Cattaneo，M。；Chytracek，R。；科尔蒂，G。；M.弗兰克。；格雷西亚，G。；J.哈维。；van Herwijnen，E。；Maley，P。；马托，P。；Probst，S。；F.兰贾德。 相关软件： 根；RapidSim；Scikit… 主要字段： 总体主题；藏品（00-XX）；微分几何（53-XX）；粒子力学与系统（70-XX）…
GPU顶部 15篇文献引用(2011–2024) 软件作者： 施密特，斯蒂芬；沃尔克·舒尔茨 相关软件： 顶部.m；前88米；PETSc… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；可变形固体力学（74-XX）…