LTSmin公司 25篇文献引用(2011–2023) 软件作者： 阿尔芬斯·拉阿尔曼（Alfons Laarman）；雅各·范德波尔；迈克尔·韦伯；斯特凡·布洛姆 相关软件： 自旋蛋白；Uppaal；迪文尼… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
莫扎特 15篇文献引用(1999–2018) 软件作者： 彼得·范罗伊；塞夫·哈里迪 相关软件： 奥兹；CPLEX；芯片… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
HSL_MA87型 18篇文献引用(2010–2022) 软件作者： J.D.Hogg、J.K.Reid和J.A.Scott 相关软件： 稀疏矩阵；HSL；HSL_MA77… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）；计算机科学（68-XX）…
霍姆4PS-3 16篇文献引用(2014–2024) 软件作者： 陈天然；Lee，Tsung Lin；李天恩 相关软件： PHCpack；贝尔蒂尼；数字代数几何… 主要字段： 交换代数（13-XX）；代数几何（14-XX）；凸和离散几何（52-XX）…
英国石油协会 10篇文献引用(2010–2023) 软件作者： Changbo Chen、Farnam Mansouri、Marc Moreno Maza、Ning Xie、Yuzhen Xie 相关软件： 岩浆；打火石；正则链… 主要字段： 数论（11-XX）；场论与多项式（12-XX）；交换代数（13-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）…
simpA公司 5份文件引用(2002–2012) 软件作者： 亚历山德罗·里奇；米尔科·维罗利；朱利奥·皮安卡斯特利 相关软件： 轻量级Java；CArtAgO；重新规范… 主要字段： 计算机科学（68-XX）
克莱尔 6篇文献引用(2019–2023) 软件作者： 安德烈亚斯·芒（Andreas Mang）；阿米尔·戈拉米；达瓦齐科斯，克里斯托斯；乔治·比罗斯 相关软件： 公平.m；TAO；PETSc… 主要字段： 偏微分方程（35-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
X速度 6篇文献引用(2017–2022) 软件作者： Rayarshi Ray；阿米特·古龙 相关软件： SpaceEx；JuliaReach；流量*… 主要字段： 计算机科学（68-XX）；系统论；对照（93-XX）
国际象棋 5份文件引用(2008–2021) 软件作者： Musuvathi M、Qadeer S、Ball T 相关软件： 橡皮擦；veriSoft；AVIO… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
NDL公司 5份文件引用(2009–2015) 软件作者： Voglis，C。；Hadjidoukas，体育。；拉加里斯，I.E。；帕帕乔治奥，D.G。 相关软件： 蟒蛇；D04AAF；numDeriv… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
ALPBench公司 引用于3份文件(2010–2019) 软件作者： Li，M.，Sasanka，R.，Adve，S.V.，kuang Chen，Y.，Debes，E 相关软件： PARSEC；溅射-2；PAPI… 主要字段： 概率论与随机过程（60-XX）；计算机科学（68-XX）
阿根廷政府 引用于3份文件(2018–2022) 软件作者： C.平西罗利、V.特里安尼、R.奥格雷迪、G.皮尼、A.布鲁奇、M.布拉姆-比拉、N.马修斯、E.费兰特、G.迪卡罗、F.杜卡泰、M.比拉塔里、L.M.甘巴黛拉、M.多里戈 相关软件： Boids；SwarmLab；GAZEBO… 主要字段： 计算机科学（68-XX）；系统论；对照（93-XX）
快速流动 2份文件引用(2015–2016) 软件作者： 奥尔迪努奇，M。；达内卢托，M。；Kilpatrick，P。；托夸蒂，M。 相关软件： LAPACK；弗洛马斯特；YSMP… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；地球物理学（86-XX）
npFEM公司 4份文件引用(2019–2023) 软件作者： 克里斯托斯·科萨洛斯；乔纳斯·拉特；巴斯蒂恩·肖帕德 相关软件： 帕拉博斯；血细胞；蚱蜢… 主要字段： 可变形固体力学（74-XX）；流体力学（76-XX）；经典热力学，传热（80-XX）…
派内斯特 引用于3份文件(2016–2022) 软件作者： Eppler J.M.、Helias M.、Muller E.、Diesmann M.、Gewaltig M.-O 相关软件： 巢穴；派恩；神经元… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
CHOPtrey公司 4份文件引用(2020–2022) 软件作者： Ben Khaled-El Feki，A。；杜瓦尔，L。；福雷，C。；西蒙，D。；本·盖德，M。 相关软件： FMI；亚当斯；LSODE… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；粒子和系统力学（70-XX）
CUDA铅矿 2份文件引用(2015–2022) 软件作者： 塞恩泽昂；梅尔文·拉塔拉；Sara S.Baghsorkhi；文美·W·Hwu 相关软件： CUDA；GPU验证；Cumapz… 主要字段： 计算机科学（68-XX）
PSPIKE公司+ 4份文件引用(2017–2019) 软件作者： 姚朱；艾哈迈德·萨米赫 相关软件： PSPIKE公司；稀疏矩阵；CSparse… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）
签字 引用于3份文件(2022–2023) 软件作者： 法比奥·卡西尼；卢卡斯·艾因克默 相关软件： CUBLAS；MKL；SeLaLib… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
HACC公司 2份文件引用(2016–2017) 软件作者： Salman Habib、Adrian Pope、Hal Finkel、Nicholas Frontiere、Katrin Heitmann、David Daniel、Patricia Fasel、Vitali Morozov、George Zagaris、Tom Peterka、Venkatram Vishwanath、Zarija Lukic、Saba Sehrish、Wei-keng Liao 相关软件： GADGET公司；蟒蛇；L-PICOLA… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；粒子和系统力学（70-XX）…
TBB（待定） 引用于3份文件(2017–2022) 软件作者： 圣潘省Descombes；马克斯·杜阿尔特；蒂埃里·杜蒙特（Thierry Dumont）；托马斯·吉利特（Thomas Guillet）；百叶窗，紫罗兰；Marc Massot公司 相关软件： HE-E1GODF；AMROC；CUDA… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；流体力学（76-XX）
GOMC公司 在0个文档中引用 软件作者： Younes Nejahi；穆罕默德·索鲁什·巴哈吉（Mohammad Soroush Barhaghi）；杰森·米克；布鲁克·杰克曼；卡梅尔·拉沙伊达特（Kamel Rushaidat）；李元哲；洛伦·施维伯特（Loren Schwiebert）；杰弗里·波托法 相关软件： 格罗姆克斯；炼金术分析；炼金术… 主要字段： –
指南 2份文件引用(2009) 软件作者： Heinzl，René；菲利普·施瓦哈；弗兰茨·斯蒂姆弗尔（Franz Stimpfl）；齐格弗里德·塞尔伯赫尔 相关软件： 促进；MCSTL；特里利诺斯… 主要字段： 计算机科学（68-XX）
PHIST公司 2份文件引用(2020–2023) 软件作者： 乔纳斯·提斯；梅尔文·Röhrig-Zöllner；奈杰尔·奥弗马斯（Nigel Overmars）；巴瑟曼，阿希姆；多米尼克·恩斯特；乔治·海格（Georg Hager）；格哈德·韦莱因 相关软件： CARP-CG；ABAQUS；ARPACK… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；可变形固体力学（74-XX）
ProbDiVinE公司 2份文件引用(2014–2018) 软件作者： Barnat，J。；Brim，L。；塞尔纳，I。；塞斯卡，M。；J.图莫娃。 相关软件： 棱镜；通过；拉比尼泽… 主要字段： 概率论与随机过程（60-XX）；计算机科学（68-XX）
ACME公司 1份文件引用(2015) 软件作者： Sahli M、Mansour E、Kalnis P 相关软件： MAVisto公司；算法97；PAML… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
ADVANTG公司 1份文件引用(2016) 软件作者： Mosher，S.W。；Bevill，A.M。；约翰逊，S.R。；易卜拉欣，A.M。；每日，C.R。；T.M.埃文斯。；瓦格纳，J.C。；约翰逊，J.O。；R.E.格罗夫。 相关软件： VESTA；MCNP；移位… 主要字段： 数值分析（65-XX）；统计力学，物质结构（82-XX）
核心计划器 1份文件引用(2013) 软件作者： 贾瓦德·莫赫比·纳杰姆·阿巴德（Javad Mohebbi Najm Abad）、S.Kazem Shekofteh、Hamid Tabatabaee、Maryam Mehrnejad 相关软件： TGFF；Hypertool；GLPK公司 主要字段： 运筹学、数学规划（90-XX）
投掷 1份文件引用(2014) 软件作者： 王丹瑶；瞧，查尔斯；贾斯米娜·瓦西尔耶维奇（Jasmina Vasiljevic）；纳塔莉·恩里特·杰格尔（Enright Jerger）；杰·格雷戈里·斯蒂芬 相关软件： SICOSYS公司；哈西姆；SimFlex… 主要字段： 信息与通信理论，电路（94-XX）
EFIT2D-PyOpenCL 1份文件引用(2014) 软件作者： Molero-Armenta，M。；伊图拉尔·维韦罗斯（Iturrarán-Viveros），乌苏拉（Ursula）；阿帕里西奥，S。；医学博士埃尔南德斯。 相关软件： OpenCL；PyOpenCL公司 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）；地球物理学（86-XX）
MetaOmics公司 1份文件引用(2014) 软件作者： Wang，X.，Kang，D.D.，Shen，K.，Song，C.，Lu，S.，Chang，L.C.，Liao，S.G.，Hoo，Z.，Tang，S.，Kaminski，N.等人。 相关软件： – 主要字段： 统计学（62-XX）
迷你盒子 1份文件引用(2018) 软件作者： Li，Y.，McCune，J.M.，Newsome，J.，Perrig，A.，Baker，B.，Drewry，W。 相关软件： 瑞安；Panoply；VeriCount… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
SynchroVis（同步可视） 在0个文档中引用 软件作者： Waller J.、Wulf C.、Fittkau F.、Döhring P.、Hasselbring W。 相关软件： 基克；探索Viz 主要字段： –
TRAVOLTA公司 1份文件引用（2024年） 软件作者： 罗德里格斯-博尔顿，何塞·M·。；王，西安；阿德里安·迪盖兹。；Khaled Z.易卜拉欣。；Bryan M.Wong。 相关软件： GLU；NIC-CAGE；科克斯努特… 主要字段： 数值分析（65-XX）
RESound（重新声音） 在0个文档中引用 软件作者： Micah T.Taylor、Anish Chandak、Lakulish Antani、Dinesh Manocha 相关软件： – 主要字段： –