莫德 646份文件引用(1984–2023) 软件作者： Clavel，M。；杜兰，F。；艾克，S。；林肯，P。；新墨西哥州马丁·奥列特。；莫德团队 相关软件： OBJ咖啡馆；OBJ3；ELAN… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）…
DUNE公司 204篇文献引用(2006–2024) 软件作者： P.Bastian、M.Blatt、A.Dedner、C.Engwer、R.Klöfkorn、R.Kornhuber、M.Ohlberger、O.Sander 相关软件： PDELab；交易.ii；DuMuX… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
JuMP公司 194份文件引用(2017–2024) 软件作者： I.Dunning、J.Huchette、M.Lubin 相关软件： 朱莉娅；古罗比；GitHub… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；运筹学，数学规划（90-XX）…
SETHEO公司 118篇文献引用(1990–2022) 软件作者： Letz，R。；舒曼，J。；拜耳，S。；比贝尔，W。 相关软件： TPTP；水獭；SPASS… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-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）…
达科塔 83份文件引用(2002–2024) 软件作者： 桑迪亚 相关软件： Python；UQLab；QUESO… 主要字段： 统计学（62-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
PLAPACK系列 60篇文献引用(1998–2019) 软件作者： P.Alpatov、G.Baker、C.Edwards、J.Gunnels、G.Morrow、J.Overfelt、R.van de Geijn和Y.J.Wu， 相关软件： ScaLAPACK；LAPACK；BLAS… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
GT发动机 54篇文献引用(2006–2024) 软件作者： D.埃贝里 相关软件： VOF工具；卡拉肯；布伦特… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；变形固体力学（74-XX）…
推力 49篇文献引用(2010–2022) 软件作者： NVIDIA公司；Hoberock J，Bell N。 相关软件： CUDA；尖点；OpenCL… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；粒子力学与系统（70-XX）…
CVXGEN公司 48篇文献引用(2010–2023) 软件作者： J.马丁利；S.博伊德 相关软件： qpOASES；ECOS；fast_mpc… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
冥王星 48篇文献引用(2007–2022) 软件作者： 米农，A。；博多，G。；马萨利亚，S。；Matsakos，T。；O.Tesilenu。；赞尼，C。；法拉利，A。 相关软件： 雅典娜；闪光；HLLE… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；流体力学（76-XX）…
圆形切口 47篇文献引用(1990–2023) 软件作者： 塞缪尔·伯尔；蒙特罗，雷纳托特区。；张茵 相关软件： SDPLR；向外旋转；Biq Mac… 主要字段： 组合数学（05-XX）；数值分析（65-XX）；计算机科学（68-XX）…
血浆 43篇文献引用（2010年至2021年） 软件作者： E.Agullo、J.Dongarra、B.Hadri等人。 相关软件： MAGMA；LAPACK；ScaLAPACK… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；统计学（62-XX）；数值分析（65-XX）…
OpenACC（开放ACC） 28篇文献引用(2014–2023) 软件作者： 桑德拉·维恩克；保罗·斯普林格；克里斯蒂安·特博文（Christian Terboven）；迪特尔·安·梅 相关软件： CUDA；OpenCL；CUBLAS… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；流体力学（76-XX）…
火焰 39篇文献引用(1997–2022) 软件作者： 保罗·比伦特斯；恩里克·S·金塔纳·奥尔蒂。；范德盖恩（Robert A van de Geijn） 相关软件： LAPACK；BLAS；ATLAS… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
Blitz++库 32篇文献引用(2000–2021) 软件作者： 托德·维尔德胡岑 相关软件： 闪电战++；促进；BLAS… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
尼莫 33篇文献引用(2017–2024) 软件作者： 克劳斯·菲克、威廉·哈特、汤米·霍夫曼、弗雷德里克·约翰逊 相关软件： 赫克；朱莉娅；间隙… 主要字段： 数论（11-XX）；代数几何（14-XX）；结合环与代数（16-XX）…
克莱尔 32篇文献引用(1998–2019) 软件作者： 伊夫·卡索；弗朗索瓦·沙维尔（François-Xavier），约塞特（Josset）；弗朗索瓦·拉伯特 相关软件： 奥兹；乔科；SALSA… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
CMARS公司 32篇文献引用(2011–2022) 软件作者： 格哈德·威廉·韦伯；伊恩西·巴特马；科尔萨尔，吉尔瑟；巴基斯坦Taylan；叶利卡亚·奥兹科特，法塔玛 相关软件： ElemStatLearn公司；汽车；ARESLab… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
见鬼去吧 在30份文件中引用(2017–2024) 软件作者： 克劳斯·菲克、威廉·哈特、汤米·霍夫曼、弗雷德里克·约翰逊 相关软件： 尼莫；朱莉娅；SageMath… 主要字段： 数论（11-XX）；代数几何（14-XX）；数值分析（65-XX）…
项目Q 17篇文献引用(2019–2024) 软件作者： Damian S.Steiger、Thomas Häner、Matthias Troyer 相关软件： qHiPSTER；液体；Python… 主要字段： 偏微分方程（35-XX）；计算机科学（68-XX）；量子理论（81-XX）…
B-序言 18篇文献引用（2001年至2022年） 软件作者： Afany软件 相关软件： XSB；YAP-Prolog；SIC斯图斯… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
GPGPU（通用图形处理器） 14篇文献引用(2006–2018) 软件作者： Luebke，D.，Harris，M.，Govindaraju，N.，Lefohn，A.，Houston，M。 相关软件： CUDA；OpenACC；OpenCL… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；流体力学（76-XX）…
VORPAL公司 17篇文献引用(2004–2019) 软件作者： 切特·尼特（Chet Nieter）；约翰·R·卡里。 相关软件： OSIRIS；快速采集；OOPIC… 主要字段： 数值分析（65-XX）；流体力学（76-XX）；光学、电磁理论（78-XX）…
JuliaReach公司 15篇文献引用(2018–2024) 软件作者： Sergiy Bogomolov、Marcelo Forets、Goran Frehse、Kostiantyn Potomkin、Christian Schilling 相关软件： SpaceEx；流量*；CORA… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
CHiPPS公司 15篇文献引用(2004–2022) 软件作者： Ralphs，T.K；COIN-OR；国际商用机器公司 相关软件： SCIP；肱二头肌；ALPS… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
德诺沃 15篇文献引用(2013–2023) 软件作者： 托马斯·埃文斯（Thomas M.Evans）、艾莉莎·斯塔福德（Alissa S.Stafford）、雷切尔·斯莱鲍（Rachel N.Slaybaugh）、凯文·克拉诺（Kevin T.Clarno） 相关软件： PETSc；维拉；比例尺6.2… 主要字段： 偏微分方程（35-XX）；概率论与随机过程（60-XX）；数值分析（65-XX）…
OPTYap公司 14篇文献引用（2001年至2022年） 软件作者： 里卡多·罗查；费尔南多·席尔瓦；维托尔·桑托斯·科斯塔 相关软件： XSB；YAP-Prolog；YapOr… 主要字段： 计算机科学（68-XX）
旗鱼 在13份文件中引用(2014–2022) 软件作者： Januszewski，M。；M.科斯特。 相关软件： CUDA；LUDWIG；帕拉博斯… 主要字段： 数值分析（65-XX）；流体力学（76-XX）；经典热力学，传热（80-XX）…
印章 10篇文献引用(2009–2020) 软件作者： Cao Minh，C.，Chung，J.，Kozyrakis，C.，Olukotun，K。 相关软件： STMBench7；环STM；TLRW… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）
CompCertTSO公司 14篇文献引用(2013–2022) 软件作者： 什耶夫切克，雅罗斯拉夫；维克多·瓦菲亚迪斯；弗朗切斯科，扎帕·纳尔德利；苏雷什·贾甘纳森；彼得·休厄尔 相关软件： Coq；CompCert；皮尔斯纳… 主要字段： 数学逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；一般代数系统（08-XX）…
NESL公司 14篇文献引用(1994–2022) 软件作者： 盖伊·E·布莱洛赫。 相关软件： 哈斯克尔；MapReduce；GHC… 主要字段： 数学逻辑与基础（03-XX）；一般代数系统（08-XX）；计算机科学（68-XX）
柱塞 14篇文献引用(1991–2009) 软件作者： 乞丐，伊凡；吴玲；安德烈亚斯·穆勒；彼得·普尔兹比舍夫斯基；罗兰·R；威廉·索耶 相关软件： 进度；SPARSKIT；ITSOL公司 主要字段： 代数几何（14-XX）；范畴理论；同调代数（18-XX）；实函数（26-XX）…
中国全国矿工协会 12份文件引用(2001–2010) 软件作者： 查普曼，B。；Bregier，F。；帕蒂尔，A。；Prabhakar，A。 相关软件： hwloc（高速锁定） 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；变形固体力学（74-XX）…
DAGuE公司 11份文件引用(2011–2019) 软件作者： 乔治·博西尔卡（George Bosilca）、奥雷琳·布特伊勒（Aurelien Bouteiller）、安东尼·达纳利斯（Anthony Danalis）、托马斯·赫劳（Thomas Herault）、皮埃尔·勒马利尼尔（Pierre Lemarinier）、杰 相关软件： LAPACK；等离子体；MAGMA… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
处理2lkit 12份文件引用(2019–2023) 软件作者： 阿尔贝托·萨托里（Alberto Sartori）；尼古拉·朱利安尼（Nicola Giuliani）；毛罗·巴德罗尼；卢卡·赫尔泰 相关软件： 交易.ii；英特尔TBB；PETSc… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
口香糖 12份文件引用(1997–2016) 软件作者： Trinder，P.W.、Hammond，K.、Mattson，J.S.Jr.、Partridge，A.S.、Peyton Jones，S.L。 相关软件： 哈斯克尔；伊甸园；GHC… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
乌托邦 在13份文件中引用(2018–2023) 软件作者： P.Zulian、A.Kopaničáková、M.C.G.Nestola、A.Fink、N.Fadel、V.Magri、T.Schneider、E.Botter 相关软件： PETSc；驼鹿；ParMoonolith… 主要字段： 偏微分方程（35-XX）；概率论与随机过程（60-XX）；数值分析（65-XX）…
CTADEL公司 12份文件引用(1998–2020) 软件作者： 范恩格伦，罗伯特·亚历山大 相关软件： Mathematica；手指；SciNapse… 主要字段： 总体主题；藏品（00-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
SELL_C_西格玛 12份文件引用(2014–2023) 软件作者： 莫里茨·克鲁泽（Moritz Kreutzer）；乔治·海格（Georg Hager）；格哈德·韦林（Gerhard Wellein）；霍尔格费斯克；主教Alan R。 相关软件： 稀疏矩阵；CUDA；CUSPARSE… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；流体力学（76-XX）
跟踪器 10篇文献引用(1995–2023) 软件作者： 马提亚斯·贾明；马库斯·劳滕巴赫 相关软件： Mathematica；表格；FeynCalc… 主要字段： 偏微分方程（35-XX）；数值分析（65-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）…
教练总成 2份文件引用(2011–2017) 软件作者： F.J.Berlanga。；里维拉，A.J。；德尔·耶稣，M.J。；F.埃雷拉。 相关软件： KEEL；UCI毫升；福利亚… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
卤化物 8份文件引用（2016年至2022年） 软件作者： 乔纳森·拉甘·凯利（Jonathan Ragan-Kelley）、康奈利·巴恩斯（Connelly Barnes）、安德鲁·亚当斯（Andrew Adams 相关软件： PyTorch；咖啡馆；TensorFlow… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；流体力学（76-XX）…
高GHS 9份文件引用(2014–2023) 软件作者： 朱利安·霍尔（Julian Hall）、伊维特·加拉波娃（Ivet Galabova）、齐皇甫（Qi Huangfu）、卢卡斯·肖克（Lukas Schork）、利昂娜·戈特瓦尔德（Leona Gottwald）、迈克尔·费尔德迈尔（Michael Feldmeier） 相关软件： XPRESS；优化软件基准；ParISS… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；光学、电磁理论（78-XX）…
伊比斯 1份文件引用(2009) 软件作者： Nieuwpoort R.、Maassen J.、Wrzesinska G.、Hofman R.F.H.、Jacobs C.J.H.、Kielmann T.、Bal H.E 相关软件： CUDA；MPJ Express；NAS并行基准… 主要字段： 计算机科学（68-XX）
SKaMPI公司 5份文件引用(2001–2010) 软件作者： 沃纳·奥古斯丁（Werner Augustin）、约阿希姆·马塞斯（Joachim Mathes）、弗洛里安·默兹（Florian Merz）、拉尔夫·鲁斯纳（Ralf Reussner）、彼得·桑德斯（Peter Sanders）、马克·施密策（Marc Schmit 相关软件： NAS平行基准；林帕克；英特尔MPI基准测试… 主要字段： 计算机科学（68-XX）
埃尔克洪德 7份文件引用(2004–2014) 软件作者： 斯科特·麦克皮克（Scott McPeak）；Necula，George C。 相关软件： BRNGLR；ATERM；eSkel… 主要字段： 计算机科学（68-XX）
LogiMOO公司 8份文件引用(1997–2012) 软件作者： 保罗·塔劳（Paul Tarau）；De Bosschere，科恩；Veronica Dahl；斯蒂芬·罗什福特 相关软件： 奥兹；SICStus公司；序言… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
Naiad公司 7份文件引用(2017–2022) 软件作者： D.G.Murray、F.McSherry、R.Isaacs、M.Isard、P.Barham、M.Abadi 相关软件： StreamQRE；LOLA；哈斯克尔… 主要字段： 计算机科学（68-XX）
原分子 8份文件引用(2003–2015) 软件作者： Matthey，Thierry；特雷弗·奇科夫斯基；斯科特·汉普顿；Ko，Alice；马群；马修·尼尔吉斯（Matthew Nyerges）；特洛伊州雷德；托马斯·斯拉巴赫；耶苏斯·A·伊扎古尔。 相关软件： OOMPAA；GSHMC；MPI… 主要字段： 数值分析（65-XX）；流体力学（76-XX）；量子理论（81-XX）…
QMCPACK（质量管理确认） 8份文件引用(2008–2022) 软件作者： J.Kim等人。 相关软件： 西北化工；S3D军团；KKRnano… 主要字段： 总体主题；藏品（00-XX）；常微分方程（34-XX）；数值分析（65-XX）…
xJ陷阱 8份文件引用(2020–2023) 软件作者： Kosba，A。；Papamanthou，C。；施，E。 相关软件： C的SNARK；乐高SNARK；皮诺奇… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-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）…
BousiProlog公司 6篇文献引用(2017–2023) 软件作者： 伊兰佐、帕斯夸尔·朱利安、克莱门特·鲁比奥·曼扎诺 相关软件： Likelog；SWI-预测；快速… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
cudaBayesreg公司 2份文件引用(2014–2018) 软件作者： 阿德利诺·费雷拉·达席尔瓦 相关软件： R；功能磁共振成像；分析FMRI… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
DryadLINQ公司 4份文件引用(2012–2018) 软件作者： Yu，Y。；Isard，M。；费特利，D.等人 相关软件： MapReduce；Dryad公司；Hadoop… 主要字段： 计算机科学（68-XX）；可变形固体力学（74-XX）；统计力学，物质结构（82-XX）
弗伦斯 6篇文献引用(2007–2016) 软件作者： 迈克尔·莱恩 相关软件： 特征值；交易.ii；女主人… 主要字段： 概率论与随机过程（60-XX）；数值分析（65-XX）；计算机科学（68-XX）…
狂热的 7份文件引用(2011–2021) 软件作者： Foster，N.、Harrison，R.、Freedman，M.J.、Monsanto，C.、Rexford，J.、Story，A.、Walker，D。 相关软件： NetKAT；荨麻；VeriCon… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
GEMS3K公司 7份文件引用(2013–2022) 软件作者： 德米特里·库利克（Dmitrii A.Kulik）。；托马斯·瓦格纳（Thomas Wagner）；斯维特拉纳五世（Svitlana V.Dmytrieva）。；乔治·科萨科夫斯基（Georg Kosakowski）；费迪南德·辛格尔（Ferdinand F.Hingerl）。；康斯坦丁五世（Konstantin V.Chudennko）。；伯纳，Urs R。 相关软件： GEM手机；开放地理系统；PHREEQC… 主要字段： 计算机科学（68-XX）；可变形固体力学（74-XX）；流体力学（76-XX）…
IB2天 6篇文献引用(2018–2022) 软件作者： 尼古拉斯·巴蒂斯塔、W.克里斯托弗·斯特里克兰、劳拉·米勒 相关软件： 签证；Matlab；Python… 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）；流体力学（76-XX）…
卡伦 7份文件引用(2008–2022) 软件作者： Daniel P.Friedman、William E.Byrd、Oleg Kiselyov 相关软件： miniKanren；自动化；AIspace… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
PCG公司 7份文件引用(1992–2015) 软件作者： Joubert，W.D。；凯里·G·F·。 相关软件： 硝酚；炒作；LAMG… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
XA公司 7份文件引用(1995–2011) 软件作者： 日落软件 相关软件： AMPL；OSL；GAMS游戏 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）；运筹学、数学规划（90-XX）
hiCUDA公司 2份文件引用(2013–2015) 软件作者： T.D.Han；T.S.阿卜杜勒拉赫曼 相关软件： CUDA；Fortran DVM；CUDA lite… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）
LMS公司 5份文件引用(2010–2022) 软件作者： 蒂亚克·隆普夫（Tiark Rompf），马丁·奥德斯基（Martin Odersky） 相关软件： 科卡；博客；TMB… 主要字段： 计算机科学（68-XX）
薄荷 4份文件引用(2015–2018) 软件作者： Unat D、Cai X、Baden S 相关软件： CUDA；Pochoir；PATUS… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
帕里斯 5份文件引用(2014–2018) 软件作者： 朱利安·霍尔；齐皇甫 相关软件： 高GHS；PARSMI公司；KORBX… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
太极拳 6篇文献引用(2021–2023) 软件作者： 胡，Y。；李，T-M；安德森，L。；Ragan-Kelley，J。；杜兰德，F。 相关软件： DiffTaichi；PyTorch；MPM3D… 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）；流体力学（76-XX）…
通用产品代码 4份文件引用(2012–2021) 软件作者： UPC财团 相关软件： CUDA；MongoDB；OpenNebula… 主要字段： 组合数学（05-XX）；数值分析（65-XX）；计算机科学（68-XX）…
J型 4份文件引用(2002–2017) 软件作者： Jsoftware公司。 相关软件： 弗兰；PLT兑换；Blitz++库… 主要字段： 数论（11-XX）；动力系统与遍历理论（37-XX）；凸和离散几何（52-XX）…
Ncpol2sdpa标准 5份文件引用(2015–2022) 软件作者： 彼得·威特克 相关软件： GloptiPoly；SparsePOP；SeDuMi… 主要字段： 交换代数（13-XX）；算子理论（47-XX）；数值分析（65-XX）…
pbdR公司 3份文件引用(2014–2021) 软件作者： 奥斯特鲁乔夫，G。；陈，W.C。；施密特，D。；帕特尔，P 相关软件： R；bigGP；pbdMPI… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；生物学和其他自然科学（92-XX）
Rely公司 5份文件引用(2018–2022) 软件作者： M.Carbin、S.Misailovic、M.Rinard 相关软件： 胡迪尼；APL；VeriFast… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
StreamQRE（流QRE） 5份文件引用(2019–2023) 软件作者： 马穆拉斯，K。；拉戈塔曼，M。；阿鲁尔（Alur，R.）。；艾夫斯，Z.G。；南卡罗来纳。 相关软件： LOLA；蒙保利；奈德… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
TCHR公司 4份文件引用(2008–2019) 软件作者： 汤姆·施里弗斯；Bart Demoen；大卫·沃伦。 相关软件： XSB；炸薯条；SWI-预测… 主要字段： 计算机科学（68-XX）；经典热力学，传热（80-XX）
拉链 2份文件引用(2010–2017) 软件作者： 白羊座考夫曼；范哲；卡洛扬·佩特科夫 相关软件： CUDA；AxiSEM；苏格兰威士忌… 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）；流体力学（76-XX）…
水 4份文件引用(2020–2023) 软件作者： Basu，K.，Shakerin，F.，Gupta，G。 相关软件： 中国科学院科学院；SQuAD；SkuARE… 主要字段： 计算机科学（68-XX）
铜斑蛇 1份文件引用(2016) 软件作者： Catanzaro，B.，Garland，M.，Keutzer，K。 相关软件： CUDA；OpenCL；PyOpenCL… 主要字段： 计算机科学（68-XX）
深度（DeepGauge） 3份文件引用(2020–2021) 软件作者： 马磊（Lei Ma）、费利克斯（Felix Juefei-Xu）、张福源（Fuyuan Zhang）、孙继源（Jiyuan Sun）、薛敏慧（Minhui Xue）、李波（Bo Li）、陈春阳（Chunyang Chen）、苏婷（Ting Su）、李丽（Li Li 相关软件： DeepXlore；TensorFuzz；亚当… 主要字段： 统计学（62-XX）；计算机科学（68-XX）
Diff太极 4份文件引用(2021–2023) 软件作者： 胡，Y。；安德森，L。；李，T-M；孙，Q。；卡尔，N。；Ragan-Kelley，J。；杜兰德，F。 相关软件： 太极；亚当；PyTorch… 主要字段： 计算机科学（68-XX）；可变形固体力学（74-XX）；流体力学（76-XX）…
电子LBM 4份文件引用(2019–2022) 软件作者： Alpak，F.O。；扎卡鲁迪奥，I。；Berg，S。；Dieterich，J。；北卡罗来纳州萨克森纳。 相关软件： drp基准；CUDA；万亿 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；流体力学（76-XX）…
长石 2份文件引用（2015年至2016年） 软件作者： E.Axelsson、K.Claessen、G.Devai、Z.Horvath、K.Keijzer、B.Lyckegard、A.Persson、M.Sheeran、J.Sveningsson、A.Vajda 相关软件： 熔岩；哈斯克尔；旋风… 主要字段： 计算机科学（68-XX）
FluidSim（流体模拟） 1份文件引用(2019) 软件作者： Ashwin Vishnu Mohanan、Cyrille Bonamy、Miguel Calpe Linares、Pierre Augier 相关软件： Python；流体FFT；FluidDyn… 主要字段： 流体力学（76-XX）
高斯 4份文件引用(2002–2018) 软件作者： Ramakrishnan，N.、Rice，J.R.、Houstis，E.N。 相关软件： PYTHIA公司；超启发式；科恩拉布… 主要字段： 组合数学（05-XX）；统计学（62-XX）；数值分析（65-XX）…
最大gpr 4份文件引用(2019–2023) 软件作者： 克雷格·沃伦；安东尼奥斯·吉安诺普洛斯（Antonios Giannopoulos）；伊拉克利斯·吉安纳基斯 相关软件： CUDA；反射 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）；光学、电磁理论（78-XX）…
G空间 3份文件引用(2015–2022) 软件作者： Mai Zheng、Vignesh T.Ravi、Feng Qin、Gagan Agrawal 相关软件： CUDA；GKLEE；GPU验证… 主要字段： 数学逻辑与基础（03-XX）；动力系统与遍历理论（37-XX）；计算机科学（68-XX）…
Gunrock公司 3份文件引用（2018年至2021年） 软件作者： 王扬子浩、潘跃超、安德鲁·戴维森、吴宇铎、杨卡尔、王乐源、穆罕默德·奥萨马、袁晨山、刘伟棠、安迪·里弗尔、约翰·欧文斯 相关软件： 促进；github；快照… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）
j金属Py 1份文件引用(2021) 软件作者： 贝尼特斯·希达尔戈，A。；内布罗，AJ；加西亚·尼托，J。；奥雷基，I。；德尔塞尔，J。 相关软件： Python；PlatEMO；DEAP… 主要字段： 运筹学、数学规划（90-XX）
采矿锌 4份文件引用(2017–2019) 软件作者： 枪支，蒂亚斯；安东·德里斯（Anton Dries）；齐格弗里德·尼杰森；塔克，吉多；吕克·德·雷德 相关软件： 通用电气；本质；迷你锌… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
多核BSP 4份文件引用(2019–2023) 软件作者： A.N.Yzelman、R.H.Bisseling、D.Roose、K.Meerbergen 相关软件： BSP备份；BSPonMPI；BSPlib… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
OptiX公司 3份文件引用(2014–2023) 软件作者： NVIDIA公司；Steven G.Parker、James Bigler、Andreas Dietrich、Heiko Friedrich、Jared Hoberock、David Luebke、David Mcallister、Morgan Mcguire、Keith Morley、Austin Robinson、Martin Stich 相关软件： SudoDEM；Blaze-DEMGPU；曝光渲染… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；变形固体力学（74-XX）…