R（右） 9679文件引用(1978–2024) 软件作者： 哈德利·威克姆；先生，罗伯特；伊哈卡，罗斯；约翰·钱伯斯（John M.Chambers）。；William N.Venables。；布莱恩·里普利。 相关软件： CRAN；SAS；ggplot2… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
PETSc公司 1787年文献引用(1996–2024) 软件作者： S.Balay、W.D.Gropp、L.C.McInnes、B.F.Smith 相关软件： FEniCS；MUMPS；炒作… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
禁忌搜索 1027份文件引用(1991–2022) 软件作者： 弗雷德·格洛弗（Fred Glover）；埃里克·泰勒；多米尼克·德韦拉 相关软件： 分散搜索；CPLEX；VRP… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
红色工具箱 381份文件引用(2014–2024) 软件作者： 阿尔菲奥·夸特罗尼；安德里亚·曼佐尼；费德里科·内格里 相关软件： github；亚当；FEniCS… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
海普拉斯 235篇文献引用(1996–2023) 软件作者： De Souza Neto EA、PerićD、Owen DRJ 相关软件： ABAQUS；FEAPpv；Matlab… 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）；流体力学（76-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）…
无人值守地面 引用于185篇文献(1994–2021) 软件作者： 巴斯蒂安，P。；伯肯，K。；Johannsen，K。；朗·S。；纽伊，N。；伦茨·赖歇特，H。；维纳斯，C。 相关软件： DUNE；PETSc；PLTMG… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
系统标识工具箱 189份文件引用(1990–2023) 软件作者： Thomas B Schön；艾德里安·威尔斯；Brett Ninness；伦纳特·荣格 相关软件： Matlab；船长；Wiener-Hammerstein基准… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
重新记录 171篇文献引用(1997–2024) 软件作者： 安德烈亚斯·多尔兹曼（Andreas Dolzmann）；托马斯·斯图尔姆；沃尔克·魏斯芬宁 相关软件： QEPCAD；z3；枫树… 主要字段： 数学逻辑与基础（03-XX）；交换代数（13-XX）；计算机科学（68-XX）…
MONA公司 142篇文献引用(1995–2023) 软件作者： 克拉伦德，尼尔斯；莫勒，安德斯；迈克尔·施瓦茨巴赫（Michael I.Schwartzbach）。；J·埃尔加德。 相关软件： z3；DCVALID；Isabelle/HOL… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
内克塔尔++ 118篇文献引用(2004–2023) 软件作者： 詹姆斯·金（James King）；谢尔盖·雅科夫列夫；傅志松；罗伯特·M·柯比。；斯宾塞·J·舍温。 相关软件： Gmsh；交易.ii；Nek5000… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-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）…
ILOG时间表 88篇文献引用(1996–2023) 软件作者： C·勒帕佩 相关软件： CPLEX；炸薯条；JOBSHOP… 主要字段： 一般代数系统（08-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）…
SLMC公司 75篇文献引用(2003–2023) 软件作者： 雨果·维埃拉；路易斯·凯恩斯 相关软件： 棱镜；管道；莫德… 主要字段： 一般性和全局性主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
iProver（iProver） 67篇文献引用(2008–2023) 软件作者： 康斯坦丁·科洛文 相关软件： TPTP；VAMPIRE公司；SPASS… 主要字段： 历史与传记（01-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
短笛 66份文件中引用(2011–2024) 软件作者： Shibutai，K.、Isobe，T.、Hiwatari，H.、Mitsuda，A.、Akishita，T.和Shirai，T。 相关软件： 出席；王子；西蒙… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
WebGraph（网络图表） 60篇文献引用(2006–2023) 软件作者： Boldi，P。；南维吉尼亚。 相关软件： UbiCrawler公司；SNAP；稀疏矩阵… 主要字段： 组合数学（05-XX）；概率论与随机过程（60-XX）；数值分析（65-XX）…
清洁 56篇文献引用(1987–2016) 软件作者： 医学博士Plasmeijer。 相关软件： 哈斯克尔；米兰达；闪光… 主要字段： 一般性和全局性主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
射频前端模块 57篇文献引用(2005–2023) 软件作者： 卡斯滕森，C；巴里亚瓦蒂，C 相关软件： Matlab；na14；iFEM… 主要字段： 偏微分方程（35-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
布伦登皮克 54篇文献引用(2010–2023) 软件作者： 哈伊姆·艾夫隆；佩塔·梅穆恩科夫（Maymounkov，Petar）；西万·托莱多 相关软件： LSRN；LSQR；稀疏矩阵… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；统计学（62-XX）；数值分析（65-XX）…
CVXGEN公司 48篇文献引用(2010–2023) 软件作者： J.马丁利；S.博伊德 相关软件： qpOASES；ECOS；fast_mpc… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
螺旋形的 46篇文献引用（2001年-2023年） 软件作者： 杰里米·约翰逊 相关软件： FFTW；ATLAS；火焰… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
Numerica公司 48篇文献引用（1998年-2023年） 软件作者： van Hentenryck，P.，Deville，Y.，Michel，L。 相关软件： 进入PT_90；RealPaver；BARON… 主要字段： 常微分方程（34-XX）；数值分析（65-XX）；计算机科学（68-XX）…
感觉++ 40篇文献引用(1999–2023) 软件作者： 克里斯托夫·普鲁德霍姆（Christophe Prud’homme）、文森特·查班内斯（Vincent Chabannes）、圣埃芬·韦斯（Stéphane Veys）、阿卜杜拉耶·萨姆克（Abdoulay Samake）、塞西莉·达沃森（Cecile Daversin）、克里斯托夫·特罗菲姆（Christphe Trophime）、贡卡洛·佩纳（Goncalo Pena）、纪尧姆·多利（Guillau 相关软件： PETSc；交易.ii；FreeFem++… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
法国DUNE-FEM 41篇文献引用(2010–2023) 软件作者： 安德烈亚斯·德纳；罗伯特·科伦（Robert Klöfkorn）；马丁·诺尔特；马里奥·奥伯格 相关软件： DUNE；PETSc；交易.ii… 主要字段： 偏微分方程（35-XX）；全局分析，流形分析（58-XX）；数值分析（65-XX）…
QSDPNAL公司 40篇文献引用(2016–2024) 软件作者： Li，X.D.，Sun，D.F.，Toh。K.-C.公司。 相关软件： SDPNAL+；QSDP；SDPT3… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
勒图尔 40篇文献引用(1988–2022) 软件作者： 米努克斯，M。 相关软件： HgMUS；数据日志；JBool… 主要字段： 数学逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；计算机科学（68-XX）…
卵磷脂 39篇文献引用(2006–2023) 软件作者： 马提亚斯·海尔（Matthias Heil），安德鲁·哈泽尔（Andrew L.Hazel） 相关软件： 特里利诺斯；超级LU；自动… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
pARMS公司 40篇文献引用(2002–2023) 软件作者： 萨阿德，Y。；Sosonkina，M。 相关软件： ARMS；ILUM；PETSc… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
交响曲 40篇文献引用(2001–2022) 软件作者： Ladányi，拉斯洛；泰德·K·拉尔夫。；Leslie E.jun，Trotter 相关软件： CPLEX；阿巴克斯；MINTO… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
ALCON公司 38篇文献引用(1986–2022) 软件作者： 邮政编码；P.Deufhard、P.Kunkel 相关软件： PITCON；纽顿图书馆；主页… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；动力系统和遍历理论（37-XX）…
短信 38篇文献引用(1997–2023) 软件作者： 乔·科勒克 相关软件： 数学；AceFEM；AceGen… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；变形固体力学（74-XX）…
LSTRS公司 35篇文献引用(2005–2022) 软件作者： M.Rojas、S.A.Santos和D.C.Sorensen 相关软件： GQTPAR；HSL-VF05；ARPACK… 主要字段： 算子理论（47-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
DLV公司 引用于29份文件(2001–2022) 软件作者： 乔瓦尼·格拉索；萨尔瓦多伊里塔诺；尼古拉·利昂内（Nicola Leone）；弗朗西斯科·里卡 相关软件： WASP；格林戈；扣… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
副SCIP 32篇文献引用(2006–2023) 软件作者： Yuji Shinano、Tobias Achterberg、Timo Berthold、Stefan Heinz、Thorsten Koch 相关软件： SCIP；无人值守地面；MIPLIB… 主要字段： 变分法与最优控制；优化（49-XX）；统计学（62-XX）；数值分析（65-XX）…
普韦布洛 33篇文献引用（1998年至2021年） 软件作者： 侯赛因·希尼。；卡伦·萨卡拉。 相关软件： 迷你卫星；糠；周六… 主要字段： 计算机科学（68-XX）；可变形固体力学（74-XX）；运筹学，数学规划（90-XX）…
DARTS公司 22篇文献引用(2020–2024) 软件作者： 刘汉晓、卡伦·西蒙扬、杨一鸣 相关软件： ImageNet；CIFAR；亚当… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；量子理论（81-XX）…
zk-快照 32篇文献引用(2014–2024) 软件作者： Eli Ben-Sasson；亚历山德罗·基耶萨；Tromer，Eran；夫人维尔扎 相关软件： 皮诺奇；C的SNARK；GitHub… 主要字段： 数论（11-XX）；代数几何（14-XX）；计算机科学（68-XX）…
辅助电源 引用于27份文件(1993–2023) 软件作者： Letichevsky，A.A。；Kapitonova，J.V。；科诺琴科股份有限公司。 相关软件： APS-1；hiCUDA；BSGP… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；群论和概括（20-XX）；常微分方程（34-XX）…
达尔文 在28份文件中引用(2005–2023) 软件作者： Peter Baumgartner、Alexander Fuchs、Hans de Nivelle、Cesare Tinelli 相关软件： E-Darvin；TPTP；iProver… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
LTSmin公司 在25份文件中引用（2011年-2023年） 软件作者： 阿尔芬斯·拉阿尔曼（Alfons Laarman）；雅各·范德波尔；迈克尔·韦伯；斯特凡·布洛姆 相关软件： 自旋蛋白；Uppaal；迪文… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融学和其他社会和行为科学（91-XX）
管道 在28份文件中引用(2002–2017) 软件作者： 萨加尔·查基；Rajamani，Sriram K。；雅各布·雷霍夫 相关软件： SLMC；旋风；PiDuce… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
XS搜索 6篇文献引用(2009–2018) 软件作者： Cohen S、Mamou J、Kanza Y、Sagiv Y。 相关软件： XPath；XIRQL；XQuery… 主要字段： 计算机科学（68-XX）
环境统计 在25份文件中引用(2006–2022) 软件作者： Le，Nhu D。；詹姆斯·齐德克（James V.Zidek）。 相关软件： R；贝叶斯DA；spBayes… 主要字段： 统计学（62-XX）；地球物理学（86-XX）；运筹学，数学规划（90-XX）…
FLagSHyP公司 引用于27份文件(2016–2023) 软件作者： 哈维尔·博内；安东尼奥·吉尔。；理查德·伍德。 相关软件： Gmsh；ABAQUS；HYPLAS… 主要字段： 微分几何（53-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
MRST-AD公司 引用于27份文件(2016–2024) 软件作者： Krogstad，S.、Lie，K.-A.、Möyner，O.、Nilsen，H.M.、Raynaud，X.、Skaflestad，B 相关软件： MRST；Matlab；MRST-co2lab… 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）；流体力学（76-XX）…
魁北克++ 24篇文献引用(2001–2018) 软件作者： 恩里科·金奇利亚（Enrico Giunchiglia）；马西莫·纳里扎诺；阿曼多·塔切拉 相关软件： QUBE公司；Quaffle；MiniSat… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
BoTorch公司 23篇文献引用(2021–2024) 软件作者： 马克西米利安·巴兰达（Maximilian Balandat）、布莱恩·卡勒（Brian Karrer）、丹尼尔·江泽民（Daniel R.Jiang）、塞缪尔·道尔顿（Samuel Daulton）、本杰明·莱瑟姆（Benjamin Letham）、安德鲁·戈登·威尔 相关软件： PyTorch公司；青蒿；GitHub… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
手指 26篇文献引用(1986–2021) 软件作者： Wang，Paul S。 相关软件： 数学；减少；马西玛… 主要字段： 常微分方程（34-XX）；数值分析（65-XX）；计算机科学（68-XX）…
SBA公司 23篇文献引用(2007–2022) 软件作者： Manolis I.A.Lourakis；安东尼斯·阿吉罗斯 相关软件： SIFT；MonoSLAM；PCA-SIFT… 主要字段： 一般性和全局性主题；藏品（00-XX）；统计学（62-XX）；数值分析（65-XX）…
ESIGN公司 24篇文献引用(1991–2022) 软件作者： 藤冈，Atsushi；冈本，Tatsuaki；宫崎骏，Shoji 相关软件： 哈瓦尔 主要字段： 历史与传记（01-XX）；数论（11-XX）；数值分析（65-XX）…
EDA公司 20篇文献引用(2005–2021) 软件作者： 温迪·马丁内斯（Wendy L.Martinez）。；安吉尔·R·马丁内斯。；杰弗里·索尔卡。 相关软件： Matlab；smacof；k表示++… 主要字段： 一般性和全局性主题；藏品（00-XX）；数论（11-XX）；统计学（62-XX）…
系列化 18篇文献引用(2009–2023) 软件作者： 迈克尔·哈斯勒；克里斯蒂安·布赫塔；库尔特·霍尼克 相关软件： R；间隙；PermutMatrix… 主要字段： 组合数学（05-XX）；统计学（62-XX）；数值分析（65-XX）…
AmgX公司 引用于16份文件(2015–2023) 软件作者： Naumov，M。；阿萨耶夫，M。；卡斯通圭，P。；科恩，J。；J·德茅斯。；伊顿，J。；Layton，S。；马尔科夫斯基，N。；Reguly，I。；Sakharnykh，N。；塞拉潘，V。；斯特佐德卡，R。 相关软件： CUDA；炒作；PETSc… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
贝叶斯规范 21篇文献引用(2012–2023) 软件作者： O.Rosen、S.Wood、D.Stoffer。 相关软件： astsa；贝叶斯DA；R、 … 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
网格地图 17篇文献引用(2021–2024) 软件作者： 圣地亚哥·巴迪亚；弗朗西斯科·威尔杜戈 相关软件： 朱莉娅；FEniCS；微分方程.jl… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
免疫球蛋白 21篇文献引用(2015–2022) 软件作者： Pauletti，M.Sebastian；马西米利亚诺·马蒂内利；尼古拉·卡瓦里尼；巴勃罗·安托林 相关软件： 佩蒂加；GeoPDE；ISOGAT… 主要字段： 偏微分方程（35-XX）；近似和展开（41-XX）；数值分析（65-XX）…
semprop公司 19份文件引用(2002–2023) 软件作者： 莱茨，莱因霍尔德 相关软件： Quaffle；布洛克；QUBOS… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
TRP公司++ 20篇文献引用(2004–2023) 软件作者： Hustadt，U.，Konev，B。 相关软件： NuSMV；SPASS；利维坦… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
毫米小时 20篇文献引用(1997–2022) 软件作者： Shai Halevi；克劳奇克，雨果 相关软件： Poly1305 AES；粮食；McOE… 主要字段： 数论（11-XX）；场论与多项式（12-XX）；计算机科学（68-XX）…
WORHP公司 20篇文献引用(2012–2022) 软件作者： 克里斯托夫·比斯肯斯；丹尼斯·瓦塞尔 相关软件： Ipopt；SNOPT；HSL… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；运筹学，数学规划（90-XX）…
算法971 18篇文献引用(2017–2024) 软件作者： H.Li、G.C.Linderman、A.Szlam、K.P.Stanton、Y.Kluger、M.Tygert 相关软件： ARPACK；兰德国家实验室；稀疏矩阵… 主要字段： 动力系统与遍历理论（37-XX）；概率论与随机过程（60-XX）；统计学（62-XX）…
FOC公司 19份文件引用(2012–2023) 软件作者： 伊沃·佩特拉什 相关软件： 克朗；Matlab；DFOC… 主要字段： 实函数（26-XX）；常微分方程（34-XX）；动力系统和遍历理论（37-XX）…
GLOPT公司 19份文件引用(1997–2010) 软件作者： 达尔维格，S。；Neumaier，A。；希奇尔，H。 相关软件： 进入PT_90；Maple的全局优化工具箱；MINOS… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）；计算机科学（68-XX）…
托斯卡纳J 17篇文献引用(2004–2011) 软件作者： 彼得·贝克尔（Peter Becker）；科雷亚，约阿希姆·赫雷斯 相关软件： 加利西亚；ConImp；J图形… 主要字段： 一般性和全局性主题；藏品（00-XX）；数学逻辑与基础（03-XX）；有序，格，有序代数结构（06-XX）…
无级变速器 18篇文献引用（1998年至2021年） 软件作者： 普努利，A。；Shtrickman，O。；西格尔，M。 相关软件： TVOC；CVC；系统C… 主要字段： 数学逻辑与基础（03-XX）；场论与多项式（12-XX）；计算机科学（68-XX）…
CCFinder（CCFinder） 2份文件引用(2009–2023) 软件作者： Kamiya，T.，Kusumoto，S.，Inoue，K 相关软件： 甲板；CP-miner；获胜… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
大都市 7份文件引用(2006–2018) 软件作者： Balarin F、Watanabe Y、Hsieh H、Lavagno L、Passerone C、Sangiovanni-Vincentelli A 相关软件： 托勒密；里奥；LUSTRE… 主要字段： 计算机科学（68-XX）；系统论；控制（93-XX）
墨菲 17篇文献引用（2010年至2022年） 软件作者： 伯纳西，M。；Melchionna，S。；Succi，S。；费塔，M。；卡西拉斯，E。；J.K.Sircar。 相关软件： 赫梅尔布；瓦尔贝拉；帕拉博斯… 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）；流体力学（76-XX）…
萨卡多 引用于16份文件(2008–2023) 软件作者： 埃里克·菲普斯（Eric Phipps）；罗杰·鲍洛夫斯基 相关软件： 特里利诺斯；ADOL-C；GitHub… 主要字段： 一般性和全局性主题；藏品（00-XX）；数值分析（65-XX）；计算机科学（68-XX）…
萨帕 14篇文献引用(2002–2022) 软件作者： 做，M。；南卡罗来纳州坎班帕蒂。 相关软件： 图形平面图；PDDL；Walksat… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
SeDiMO公司 17篇文献引用(2007–2023) 软件作者： Karin Baur；Draisma，Jan；威廉·德·格拉夫。 相关软件： 麦考利2号；贝尔蒂尼；间隙… 主要字段： 代数几何（14-XX）；线性代数和多线性代数；矩阵理论（15-XX）；结合环与代数（16-XX）…
COOLFluiD冷却液 引用于16份文件(2005–2024) 软件作者： COOLFluiD项目 相关软件： PETSc；澳大利亚统计局；Gmsh… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；流体力学（76-XX）…
国际博协 引用于16份文件(2005–2021) 软件作者： Y.利巴。 相关软件： BARON公司；数字；COCONUT… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；粒子力学与系统（70-XX）…
kdtree++ 引用于16份文件(2017–2023) 软件作者： Mossaiby，F。；Shojaei，A。；扎卡里奥托，M。；美国加尔瓦内托。 相关软件： PeriPy；HPX；Peridigm… 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）；流体力学（76-XX）
那不勒斯 14篇文献引用(2010–2021) 软件作者： Cramer，M.，Koepke，P.，Schröder，B。 相关软件： 米扎尔；对于TheL；苍蝇斑点… 主要字段： 一般性和全局性主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
奥普图纳 在15份文件中引用(2021–2023) 软件作者： 秋叶拓哉、三野昭太郎、延濑敏彦、大田武夫、小山正男 相关软件： PyTorch公司；Hyperopt；Scikit… 主要字段： 一般性和全局性主题；藏品（00-XX）；常微分方程（34-XX）；统计学（62-XX）…
Dyna公司 13份文件引用(2008–2022) 软件作者： 杰森·艾斯纳；埃里克·戈德鲁斯特（Eric Goldlust）；诺亚·A·史密斯；西北部菲拉多。 相关软件： ProbLog；棱镜；kProbLog… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；生物学和其他自然科学（92-XX）
旗鱼 13份文件引用(2014–2022) 软件作者： Januszewski，M。；M.科斯特。 相关软件： CUDA；LUDWIG；帕拉博斯… 主要字段： 数值分析（65-XX）；流体力学（76-XX）；经典热力学，传热（80-XX）…
布莱克 14篇文献引用(2010–2023) 软件作者： Aumasson，Jean-Philippe；威利·梅尔；拉斐尔·法恩（Raphael C.-W.Phan）。；卢卡·亨岑 相关软件： 查查；Salsa20；Skein散列… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；量子理论（81-XX）…
聪明人 10篇文献引用(2020–2023) 软件作者： N.Papernot、I.Goodfellow、R.Shetsley、R.Feinman、P.McDaniel 相关软件： CIFAR；深度愚人；PyTorch… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
DASWAM公司 14篇文献引用(1996–2022) 软件作者： Shen，Kish（基什·申） 相关软件： CiaoPP；Ciao；烟雾… 主要字段： 一般性和全局性主题；藏品（00-XX）；计算机科学（68-XX）
事实真相 14篇文献引用(2020–2023) 软件作者： Raymond K.Zhao、Ron Steinfeld、Amin Sakzad 相关软件： BLISS；GALATICS公司；GitHub… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
利巴夫 12份文件引用(2011–2022) 软件作者： Benedikt Bollig；Joost-Pieter Katoen；卡斯滕·克恩（Carsten Kern）；马丁·勒克；丹尼尔·奈德；大卫·R·皮格登 相关软件： LearnLib；西格玛*；COMICS… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
3月2日 13份文件引用(2005–2021) 软件作者： Heule，Marijn；马克·杜福尔（Mark Dufour）；Joris van Zwieten；汉斯·范马伦 相关软件： 迷你卫星；糠；玲玲… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）
MD吉普车 14篇文献引用(2010–2023) 软件作者： 安东尼奥·穆切里诺（Antonio Mucherino）；利贝蒂（Leo Liberti）；Carlile Lavor 相关软件： LAPACK；双鱼；MDAnalysis… 主要字段： 一般性和全局性主题；藏品（00-XX）；组合数学（05-XX）；数值分析（65-XX）…
MLD2P4型 13份文件引用(2010–2021) 软件作者： Pasqua D'Ambra；丹妮拉·迪·塞拉菲诺；Salvatore Filippone；阿尔弗雷多·布塔里 相关软件： PSBLAS；2LEV-D2P4；SParC-LES… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；偏微分方程（35-XX）；变分法与最优控制；优化（49-XX）…
MUFTE-UG公司 14篇文献引用(2002–2023) 软件作者： R.、Kopp，A.、Niessner，J.、Ochs，S.O.、Papafotiou，A.，Paul，M.、Sheta，H.、Werner，D.、Ochsnan，U 相关软件： MMMFEM；Cast3M；d3f… 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）；流体力学（76-XX）…
国家标准实验室 14篇文献引用(1994–2022) 软件作者： 盖伊·E·布莱洛赫。 相关软件： 哈斯克尔；MapReduce；GHC… 主要字段： 数学逻辑与基础（03-XX）；一般代数系统（08-XX）；计算机科学（68-XX）
EVSL公司 12份文件引用(2019–2022) 软件作者： R.Li、Y.Xi、L.Erlandson、Y.Saad 相关软件： ARPACK；稀疏矩阵；拉帕克… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）；流体力学（76-XX）…
FAME公司 9份文件引用(2007–2021) 软件作者： Stegmann，M.B.，Ersböll，B.K.，Larsen，R 相关软件： CUDA；BSDS；EMD… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
石笼SCC 13份文件引用(2014–2021) 软件作者： 彼得·兰米奇 相关软件： Isabelle/HOL；存档正式证据；伊莎贝尔… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
GALATICS公司 13份文件引用(2020–2024) 软件作者： G.Barthe、S.Belaíd、T.Espitau、P.-A.Fouque、M.Rossi、M.Tibouchi 相关软件： BLISS；事实真相；GitHub… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；计算机科学（68-XX）…
瞪羚 12份文件引用(2020–2024) 软件作者： Chiraag Juvekar、Vinod Vaikuntanathan、Anantha Chandrakasan 相关软件： TFHE；ABY；MP-SPDZ… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
希克莫 13份文件引用(2016–2023) 软件作者： 尼尔·霍夫曼；一原、和弘；Kashiwagi，Masahide；Hidetoshi Masai；小石、神道；秋藤忠雄（Takayasu，Akitoshi） 相关软件： SnapPy；SnapPea；GitHub… 主要字段： 代数拓扑（55-XX）；流形和细胞复合体（57-XX）；整体分析，流形分析（58-XX）…
RBniCS公司 12份文件引用(2016–2020) 软件作者： Francesco Ballarin、Gianluigi Rozza和贡献者 相关软件： FEniCS；红色套件；rbMIT… 主要字段： 偏微分方程（35-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
S-CREAM系列 8份文件引用（2002年至2008年） 软件作者： 齐格弗里德·汉德施（Siegfried Handschuh）；斯特芬·斯塔布；法比奥·西拉维尼亚 相关软件： MnM；蛋白质；罗丹纳… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
孢子虫 11份文件引用(2011–2020) 软件作者： Lennart C.L.Kats；埃尔科·维瑟 相关软件： Stratego；JastAdd；SugarJ… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）
UNIRAN公司 12份文件引用(1987–2013) 软件作者： Ken Marse、Stephen D.Roberts 相关软件： AS 183；测试U01；MRG32k3a… 主要字段： 数论（11-XX）；统计学（62-XX）；数值分析（65-XX）…