蟒蛇 1432份文献中引用(1991–2025) 软件作者： 吉多·范罗苏姆 相关软件： SciPy；数字Py；Matplotlib… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
单一 1650年文献引用(1991–2024) 软件作者： Wolfram Decker公司；格特·马丁·格雷尔（Gert-Martin Greuel）；格哈德·普菲斯特；汉斯·舍尼曼 相关软件： 麦考利2号；可可；SageMath… 主要字段： 交换代数（13-XX）；代数几何（14-XX）；几个复变量和分析空间（32-XX）…
朱莉娅 653份文件引用(2014–2024) 软件作者： Bezanson J、Karpinski S、Shah VB、Edelman A 相关软件： github；JuMP；微分方程.jl… 主要字段： 偏微分方程（35-XX）；统计学（62-XX）；数值分析（65-XX）…
交易.ii 728份文件引用(1999–2024) 软件作者： Bangerth W、Hartman R、Kanschat G 相关软件： 特里利诺斯；PETSc；测试… 主要字段： 偏微分方程（35-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
减少 738份文件引用(1970–2023) 软件作者： Anthony C.Hearn；格哈德·雷纳（Gerhard Rayna）；Rainer Schöpf；托马斯·斯特姆 相关软件： 枫树；Mathematica；马西玛… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
鹦鹉螺 691份文件引用(1988–2024) 软件作者： 布伦丹·麦凯；阿道夫·皮佩诺 相关软件： 踪迹；间隙；OEIS… 主要字段： 组合数学（05-XX）；群论与推广（20-XX）；计算机科学（68-XX）…
霍尔 592份文件引用(1985–2023) 软件作者： 迈克尔·J·C·戈登。 相关软件： 伊莎贝尔；Isabelle/HOL；ML… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；数论（11-XX）…
CGAL公司 423份文件引用(2000–2024) 软件作者： CGAL编辑委员会 相关软件： LEDA；二维三角剖分；三角形… 主要字段： 凸和离散几何（52-XX）；数值分析（65-XX）；计算机科学（68-XX）…
线性代数库 429份文件引用（1995年至2024年） 软件作者： L.S.布莱克福德。；Choi，J。；克利里，A。；D’Azevedo，E。；德梅尔，J。；迪尔隆，I。；Dongarra，J。；Hammarling，S。；亨利·G。；佩蒂特，A。；斯坦利，K。；Walker，D。；R.C.惠利。 相关软件： LAPACK；BLAS；PLAPACK… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）；计算机科学（68-XX）…
MPFR公司 249篇文献引用(2001–2024) 软件作者： 纪尧姆·汉洛（Guillaume Hanrot）、文森特·列夫雷（Vincent Lefèvre）、帕特里克·佩利西尔（Patrick Pélissier）、菲利普·塞维尼（Philippe Théveny）、保罗·齐默尔曼（Paul Zimmermann） 相关软件： gmp；Mathematica；mctoolbox… 主要字段： 数论（11-XX）；偏微分方程（35-XX）；动力系统和遍历理论（37-XX）…
算法432 251份文件引用(1972–2022) 软件作者： Bartels，R.H。；G.W.斯图尔特。 相关软件： mctoolbox；Matlab；利亚帕克… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；常微分方程（34-XX）；偏微分方程（35-XX）…
GSLIB公司 220篇文献引用(1994–2024) 软件作者： Deutsch，C。；日志，A 相关软件： EnKF；SGeMS公司；Matlab… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
SDPLR公司 176篇文献引用(1990–2024) 软件作者： Samuel Burer、Renato Monteiro、Changhui Cho 相关软件： SDPT3；塞杜米；CSDP… 主要字段： 变分法与最优控制；优化（49-XX）；统计学（62-XX）；数值分析（65-XX）…
酯类 137篇文献引用(1985–2023) 软件作者： 杰拉德·贝瑞 相关软件： 卢斯特；信号；Uppaal… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）…
PYTHIA8公司 154份文件引用(2006–2023) 软件作者： T.Sjöstrand、S.Mrenna、P.Z.Skands 相关软件： MadGraph；赫维格++；FastJet… 主要字段： 数值分析（65-XX）；量子理论（81-XX）；统计力学，物质结构（82-XX）…
苏蒂尔 161篇文献引用(2002–2024) 软件作者： Joe Czyzyk；杰夫·林德罗斯；沈杰瑞 相关软件： CPLEX；MSLiP；游戏… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
Why3号机组 144篇文献引用(2004–2023) 软件作者： 弗朗索瓦·博博特；Jean-Christophe Filliátre；克劳德·马奇；纪尧姆·梅尔金德；安德烈·帕斯科维奇 相关软件： Coq；卡拉卡拉；z3… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；数值分析（65-XX）…
费恩规则 145篇文献引用(2010–2024) 软件作者： A.Alloul、N.D.Christensen、C.Degrade、C.Duhr、B.Fuks 相关软件： FeynArts；MadGraph；PYTHIA8… 主要字段： 概率论与随机过程（60-XX）；粒子和系统力学（70-XX）；量子理论（81-XX）…
布吉 127篇文献引用(2007–2023) 软件作者： K.鲁斯坦·莱诺 相关软件： z3；Why3；规范#… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；数值分析（65-XX）…
C-XSC 2.0版 128篇文献引用(1979–2023) 软件作者： 沃纳·霍夫舒斯特；沃尔特·克雷默；R.Klatte公司 相关软件： C-XSC；国际实验室；进入PT_90… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
高斯 108篇文献引用(1988–2023) 软件作者： Aptech Systems公司。 相关软件： R；Matlab；SAS… 主要字段： 统计学（62-XX）；数值分析（65-XX）；运筹学，数学规划（90-XX）…
ASTREE公司 112份文件引用（2002年-2023年） 软件作者： 帕特里克·库索特（Patrick Cousot）、拉迪亚·库索特、杰罗姆·费雷特（Jeróme Feret）、劳伦特·毛博尔涅（Laurent Mauborgne）、安托万·米内（Antoine Miné）、大卫·莫尼奥（David Monniaux）、泽维尔 相关软件： 停机坪；z3；PPL… 主要字段： 数学逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；数值分析（65-XX）…
落叶松 105篇文献引用(1989–2023) 软件作者： John V.Guttag。；詹姆斯·霍宁。 相关软件： JML；埃菲尔；PVS… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；群论与推广（20-XX）…
有限责任公司 79份文件引用(2006–2023) 软件作者： Lattner，C.，Adve，V。；伊利诺伊大学 相关软件： z3；朱莉娅；GitHub… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
CBMC公司 88篇文献引用(2004–2023) 软件作者： Clarke E、Kroening D、Lerda F 相关软件： 爆炸；z3；MiniSat… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）…
JOBSHOP公司 96篇文献引用(1991–2023) 软件作者： David Applegate；威廉·库克 相关软件： 禁忌搜索；ILOG时间表；OR库… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
BENSOLVE公司 96篇文献引用(2011–2024) 软件作者： 安德烈亚斯·洛赫；本杰明·魏宁 相关软件： CVX；github；古罗比… 主要字段： 功能分析（46-XX）；变分法与最优控制；优化（49-XX）；凸和离散几何（52-XX）…
卡拉卡拉 79份文件引用(2004–2022) 软件作者： 马奇，C。；Paulin-Mohring，C。；X·乌尔班。 相关软件： Why3；Caduceus；JML… 主要字段： 数学逻辑与基础（03-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
皮诺奇 91份文件引用(2013–2023) 软件作者： 巴诺，B.，詹特里，C.，豪厄尔，J.，雷科娃，M。 相关软件： C的SNARK；马林鱼；GitHub… 主要字段： 数论（11-XX）；计算机科学（68-XX）；量子理论（81-XX）…
渠流 88篇文献引用(2008–2023) 软件作者： J.F.吉布森 相关软件： Matlab；FFTW；piDMD… 主要字段： 偏微分方程（35-XX）；动力系统与遍历理论（37-XX）；数值分析（65-XX）…
低密度聚乙烯 84份文件引用(1997–2023) 软件作者： 拉德福德·M·尼尔；麦凯，D.J.C。 相关软件： Matlab；岩浆；广场… 主要字段： 组合数学（05-XX）；数论（11-XX）；几何（51-XX）…
SoPlex公司 87份文件引用(1996–2022) 软件作者： 罗兰·旺德林 相关软件： SCIP；CPLEX；MIPLIB… 主要字段： 组合数学（05-XX）；代数几何（14-XX）；数值分析（65-XX）…
MISER3公司 87份文件引用(1990–2023) 软件作者： L S Jennings、M E Fisher、K L Teo、C J Goh 相关软件： 可视化MISER；Matlab；NLPQLP… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；运筹学，数学规划（90-XX）…
沃罗诺伊 81份文件引用(1995–2023) 软件作者： 史蒂文·福琼 相关软件： 三角形；Q船体；CGAL… 主要字段： 组合数学（05-XX）；凸和离散几何（52-XX）；数值分析（65-XX）…
利普索 86篇文献引用(1997–2022) 软件作者： 张茵；格雷格·斯威里杜克 相关软件： PCx；Matlab；Mosek… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
GloMIQO公司 86篇文献引用(2009–2023) 软件作者： C.A.Floudas；露丝·米塞纳 相关软件： SCIP；BARON公司；安提戈内… 主要字段： 组合数学（05-XX）；凸和离散几何（52-XX）；统计学（62-XX）…
ADIC公司 83份文件引用(1996–2023) 软件作者： Howland，P。；诺里斯，B。；B.史密斯。 相关软件： ADIFR；ADOL-C；PETSc… 主要字段： 常微分方程（34-XX）；数值分析（65-XX）；计算机科学（68-XX）…
STL公司 72份文件引用(1997–2021) 软件作者： 大卫·穆瑟（David R.Musser）、亚历山大·斯捷潘诺夫（Alexander Stepanov） 相关软件： 促进；增强C++库；CGAL… 主要字段： 动力系统与遍历理论（37-XX）；数值分析（65-XX）；计算机科学（68-XX）…
投掷 59篇文献引用(2005–2022) 软件作者： 帕特丽斯·戈德弗里德；尼尔斯·克拉伦德；库什克森 相关软件： 可爱的；z3；KLEE… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
ECOS公司 73篇文献引用(2014–2023) 软件作者： 亚历山大·多马希迪（Alexander Domahidi）、埃里克·朱（Eric Chu）、圣地亚哥·阿克勒（Santiago Akle）、汉·王（Han Wang） 相关软件： CVXPY；莫塞克；SCS… 主要字段： 变分法与最优控制；优化（49-XX）；统计学（62-XX）；计算机科学（68-XX）…
DP包 70篇文献引用(2008–2024) 软件作者： Jara，A.、Hanson，T.E.、Quintana，F.A.、Müller，P.、Rosner，G.L。 相关软件： R；贝叶斯DA；CODA… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
皮克特 74份文件引用(1996–2022) 软件作者： 本杰明·皮尔斯（Benjamin C.Pierce）。；大卫·特纳 相关软件： 乔卡姆；莫德；Oz… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
VCC（沃尔沃汽车公司） 61篇文献引用(2010–2023) 软件作者： Ernie Cohen、Markus Dahlweid、Mark Hillebrand、Dirk Leinenbach、MichałMoskal、Thomas Santen、Wolfram Schulte、Stephan Tobies 相关软件： z3；布吉；Dafny… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
PALP公司 75篇文献引用(2003–2023) 软件作者： M.Kreuzer、H.Skarke 相关软件： SageMath；TOPCOM公司；Calabi-Yau数据库… 主要字段： 代数几何（14-XX）；微分几何（53-XX）；计算机科学（68-XX）…
序言 58篇文献引用(1984–2022) 软件作者： 丹尼尔·迪亚兹 相关软件： SICStus公司；SWI-预测；芯片… 主要字段： 数学逻辑与基础（03-XX）；统计学（62-XX）；计算机科学（68-XX）…
野兽 64篇文献引用(2009–2023) 软件作者： Bouckaert，R.、Heled，J.、Kühnert，D.、Vaughan，T.、Wu，C-H.、Xie，D.、Suchard，MA、Rambaut，A.、Drummond，A.J。 相关软件： 贝叶斯先生；BEAUti公司；RAxML… 主要字段： 组合数学（05-XX）；概率论与随机过程（60-XX）；统计学（62-XX）…
卡杜克乌斯 54篇文献引用(2005–2022) 软件作者： Jean-Christophe Filliátre，Claude Marché 相关软件： 卡拉卡拉；Why3；布吉… 主要字段： 数学逻辑与基础（03-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
MODFLOW公司 61篇文献引用(2001–2022) 软件作者： usgs；Langevin，C.D.，Guo，W。 相关软件： MODFLOW-2000；MT3DMS；GSLIB… 主要字段： 统计学（62-XX）；数值分析（65-XX）；流体力学（76-XX）…
CompCert公司 58篇文献引用(2009–2023) 软件作者： X·勒罗伊。 相关软件： Coq；Isabelle/HOL；z3… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；数值分析（65-XX）…
GreatSPN公司 53篇文献引用(1988–2022) 软件作者： 朱奈德·巴巴尔；马可·贝库蒂；苏珊娜·多纳泰利（Susanna Donatelli）；安德鲁·米纳 相关软件： GreatSPN 1.7；TimeNET；CADP… 主要字段： 概率论与随机过程（60-XX）；数值分析（65-XX）；计算机科学（68-XX）…
琥珀色 49篇文献引用（1995年至2024年） 软件作者： D.A.Case、T.A.Darden、T.E.Cheatham、III、C.L.Simmerling、J.Wang、R.E.Duke、R.Luo、R.C.Walker、W.Zhang、K.M.Merz、B.P.Roberts、B.Wang、S.Hayik、A.Roitberg、G.Seabra、I.Kolossváry、K.F.Wong、F.Paesani、J.Vanicek、J.Liu、X.Wu、S.R.Brozell、T.Steinbrecher、H.Gohlke、Q.Cai、X.Ye、J.Wang、M.-J.Hsieh、G.Cui、D.R.Roe、D.H。马修斯、M.G.西廷、C.萨吉、V.巴宾、T.卢奇科、S.古萨洛夫、A.科瓦伦科和P.A.科尔曼。 相关软件： 格罗姆克斯；查姆；NAMD… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；量子理论（81-XX）…
PRONTO3D公司 58篇文献引用(1992–2023) 软件作者： 阿塔韦，西南部。；亨德里克森，文学学士。；Plimpton，S.J.公司。；D.R.加德纳。；沃恩，C.T。；布朗，K.H。；M.W.海因斯坦。 相关软件： LS-DYNA；DYNA3D；ABAQUS… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；粒子力学与系统（70-XX）…
XploRe公司 57篇文献引用(1995–2014) 软件作者： 沃尔夫冈·哈德尔 相关软件： R；SAS；JASP… 主要字段： 欧氏空间（42-XX）的调和分析；统计学（62-XX）；数值分析（65-XX）…
小脚 55份文件引用(2004–2023) 软件作者： J.伯丁、C.加尔卡尼奥、P.W.奥赫恩。 相关软件： VeriFast公司；jStar；HIP… 主要字段： 数学逻辑与基础（03-XX）；一般代数系统（08-XX）；计算机科学（68-XX）
ARPREC公司 56篇文献引用(2005–2022) 软件作者： David H.Bailey。；Yozo，Hida；Li，Xiaoye S。；布兰登·汤普森 相关软件： MPFR；gmp；mctoolbox… 主要字段： 数论（11-XX）；特殊功能（33-XX）；数值分析（65-XX）…
射频前端模块 57篇文献引用(2005–2023) 软件作者： 卡斯滕森，C；巴里亚瓦蒂，C 相关软件： Matlab；na14；iFEM… 主要字段： 偏微分方程（35-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
lpSolve解决方案 51篇文献引用(2001–2023) 软件作者： Michel Berkelaar等人 相关软件： lp_solve；R；标签切换… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
OSQP公司 49篇文献引用(2018–2024) 软件作者： Bartolomeo Stellato、Goran Banjac、Paul Goulart、Alberto Bempoad、Stephen Boyd 相关软件： 古罗比；莫塞克；qpOASES… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
CVXGEN公司 48篇文献引用(2010–2023) 软件作者： J.马丁利；S.博伊德 相关软件： qpOASES；ECOS；fast_mpc… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
LP手册 50篇文献引用(2001–2024) 软件作者： 罗伯特·范德贝（Robert J.Vanderbei）。 相关软件： NETLIB LP测试集；LOQO；Matlab… 主要字段： 统计学（62-XX）；数值分析（65-XX）；运筹学，数学规划（90-XX）…
Daikon公司 41篇文献引用(2005–2022) 软件作者： 迈克尔·D·恩斯特。；Jeff H.Perkins。；菲利普·郭（Philip J.Guo）。；斯蒂芬·麦卡曼特；卡洛斯·帕切科；Tschantz，Matthew S。；肖、陈 相关软件： JML；胡迪尼；z3… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）…
人工神经网络 36篇文献引用(2001–2023) 软件作者： David M.Mount；苏尼尔·阿里亚 相关软件： UCI-ml；CGAL；间隙… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
TALx86 44篇文献引用(1998–2022) 软件作者： 格雷格·莫里塞特、卡尔·克莱里、尼尔·格鲁、丹·格罗斯曼、理查德·萨缪尔、弗雷德里克·史密斯、大卫·沃克、斯蒂芬妮·威里奇、史蒂夫·兹丹塞维奇 相关软件： Coq；毫升；哈斯克尔… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
CARAT公司 46篇文献引用(1998–2023) 软件作者： J.Opgenorth，W.Plesken，T.Schulz；弗兰兹·盖勒 相关软件： 间隙；岩浆；HAP… 主要字段： 数论（11-XX）；代数几何（14-XX）；群论与推广（20-XX）…
圆形切口 47篇文献引用(1990–2023) 软件作者： 塞缪尔·伯尔；蒙特罗，雷纳托特区。；张茵 相关软件： SDPLR；向外旋转；Biq Mac… 主要字段： 组合数学（05-XX）；数值分析（65-XX）；计算机科学（68-XX）…
dcc公司 46篇文献引用(2012–2023) 软件作者： 乌韦·诺曼 相关软件： ADOL-C；锥体；旋转… 主要字段： 常微分方程（34-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
Pregel公司 41篇文献引用(2010–2023) 软件作者： Malewicz，G.、Austern，M.H.、Bik，A.J.、Dehnert，J.C.、Horn，I.、Leiser，N.、Czajkowski，G。 相关软件： 图形实验室；MapReduce；Hadoop… 主要字段： 组合数学（05-XX）；数值分析（65-XX）；计算机科学（68-XX）…
PAML公司 31份文件引用（2002年-2023年） 软件作者： 杨子恒 相关软件： ClustalW；PHYLIP；穷人*… 主要字段： 组合数学（05-XX）；统计学（62-XX）；数值分析（65-XX）…
溅水-2 20篇文献引用(1998–2018) 软件作者： 吴，南卡罗来纳州。；Ohara，M。；托里，E。；辛格，J.P。；A.古普塔。 相关软件： PARSEC；NAS平行基准；ALPBench… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
WhyML公司 44篇文献引用(2013–2023) 软件作者： Jean-Christophe Filliátre；安德烈·帕斯科维奇 相关软件： Why3；z3；Coq… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；数论（11-XX）…
T-咖啡 32篇文献引用(2004–2023) 软件作者： C.Notredame、D.G.Higgins、J.Heringa 相关软件： ClustalW；肌肉；马夫特… 主要字段： 总体主题；藏品（00-XX）；统计学（62-XX）；计算机科学（68-XX）…
BSP接口 41篇文献引用(1997–2020) 软件作者： 贾维斯，S.A。；希尔，J.M.D。；Siniolakis，C.J。；瓦西列夫。 相关软件： BSP备份；PVM；多核BSP… 主要字段： 组合数学（05-XX）；凸和离散几何（52-XX）；数值分析（65-XX）…
CIL公司 33篇文献引用(2002–2022) 软件作者： Necula，G.C.，McPeak，S.，Rahul，S.P.，Weimer，W。 相关软件： 爆炸；CBMC；砰的一声… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
埃拉托 40篇文献引用(1979–2022) 软件作者： Gruber，R。；Troyon，F。；伯杰，D。；伯纳德，L.C。；罗塞特，S。；Schreiber，R。；科纳，W。；施耐德，W。；罗伯茨，K.V。 相关软件： XTOR；胆碱酯酶；GATO… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；流体力学（76-XX）…
CiME公司 38篇文献引用(1997–2022) 软件作者： 埃维琳·孔特让、克劳德·马奇、安德烈·帕斯科维奇、泽维尔·乌尔班 相关软件： AProVE；蒂罗尔；Coq… 主要字段： 数学逻辑与基础（03-XX）；场论与多项式（12-XX）；交换代数（13-XX）…
弓 27篇文献引用（2001年至2020年） 软件作者： 安德鲁·麦克拉姆 相关软件： UCI-ml；C4.5；LIBSVM… 主要字段： 功能分析（46-XX）；统计学（62-XX）；计算机科学（68-XX）…
LUPS公司 37篇文献引用(1999–2019) 软件作者： 何塞·朱利奥·阿尔弗雷斯；佩雷拉，路易斯·莫尼兹；哈利娜·普尔兹穆森斯卡（Halina Przymusinska）；Przymusinski，Teodor C。 相关软件： XSB；平滑；EVOLP… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
闪电战++ 25篇文献引用(2000–2021) 软件作者： Todd L.Veldhuizen。 相关软件： Blitz++库；促进；LAPACK… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；变形固体力学（74-XX）…
莱布尼兹 36篇文献引用(1997–2022) 软件作者： K.Truempha公司 相关软件： SATO；糠；HeerHugo… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；凸和离散几何（52-XX）…
Clustal X公司 25篇文献引用(2006–2022) 软件作者： Larkin，医学硕士。；Blackshields，G。；Brown，N。；Chenna，R。；Mcgettigan，P.A。；Mcwilliam，H。；瓦伦丁，F。；I.M.华莱士。；Wilm，A。；罗佩兹。 相关软件： ClustalW；肌肉；马夫特… 主要字段： 总体主题；藏品（00-XX）；概率论与随机过程（60-XX）；统计学（62-XX）…
SCL总成 32篇文献引用(2009–2024) 软件作者： 杜珊·武德拉戈维奇；伊万娜·维达诺维奇；安顿巴拉日；保萨米·穆鲁加南丹（Paulsamy Muruganandam）；Adhikari，Sadhan K。 相关软件： 格罗斯·皮塔耶夫斯基；AEDU；图像时间1d… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；流体力学（76-XX）…
千兆赫 33篇文献引用(1996–2024) 软件作者： 德莱克·荷尔特 相关软件： 间隙；岩浆；自动化… 主要字段： 组合数学（05-XX）；群论与推广（20-XX）；流形和细胞复合体（57-XX）…
预CICE 30篇文献引用(2010–2023) 软件作者： 汉斯·约阿希姆·本加茨（Hans-Joachim Bungartz）、杰拉西莫斯·乔尔达基斯（Gerasimos Chourdakis）、凯尔·戴维斯（Kyle Davis）、贝哈德·盖茨哈默尔（Berhard Gatzhammer）、弗洛里安·林德纳（Florian Lindner）、米里亚姆·梅尔（Miriam Mehl）、亚历山大·鲁施（Alexander Rusch）、本杰明·吕斯（Benjamin 相关软件： MpCCI；OpenFOAM；交易.ii… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；变形固体力学（74-XX）…
dSPIN公司 引用于22份文件（2000年-2014年） 软件作者： Demartini，C.，Iosif，R.，Sisto，R。 相关软件： 自旋蛋白；班德拉；Java PathFinder… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
GCG公司 30篇文献引用(2011–2023) 软件作者： 杰拉尔德·加姆拉思（Gerald Gamrath）；马可·吕贝克 相关软件： SCIP；MIPLIB公司；MIPLIB2003… 主要字段： 组合数学（05-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
OPERA公司 30篇文献引用(1999–2020) 软件作者： 霍姆斯特罗姆（Kenneth Holmström）；比约克曼，马蒂亚斯；埃里克·多特泽尔 相关软件： NLPLIB；TOMLAB公司；Matlab… 主要字段： 统计学（62-XX）；数值分析（65-XX）；运筹学，数学规划（90-XX）…
斯里姆 6篇文献引用(2005–2015) 软件作者： 安德烈亚斯·斯托尔克 相关软件： BLEU；摩西；WordNet… 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
国际图书馆 28篇文献引用(1992–2018) 软件作者： Kearfott，R.B。；达万德，M。；胡，C。 相关软件： 剖面/偏差；国际实验室；C-XSC… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；经典热力学，传热（80-XX）…
天秤座 29篇文献引用(2019–2023) 软件作者： 谢、条成；张家恒；张玉鹏；Papamanthou、Charalampos；宋，黎明 相关软件： 力比奥；斯巴达人；利盖罗… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；量子理论（81-XX）…
球形包装 27篇文献引用(1998–2023) 软件作者： 约翰·亚当斯（John C.Adams）、保罗·斯瓦茨特劳伯（Paul N.Swarztrauber） 相关软件： 冠军；SHTOOLS；Chebfun… 主要字段： 特殊功能（33-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
J流量 23篇文献引用(2002–2022) 软件作者： 安德鲁·迈尔斯 相关软件： TaintDroid；哈斯克尔；TALx86… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
不明飞行物 引用于22份文件(2012–2022) 软件作者： Aws Albarghouthi、Yi Li、Arie Gurfinkel、Marsha Chechik 相关软件： 注册会计师检查；z3；爆炸… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
阿富汗国家情报局 引用于17份文件(2008–2023) 软件作者： 罗伯特·考克斯 相关软件： FSL；R；oro.nifti… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
维也纳RNA 26篇文献引用(2002–2022) 软件作者： Lorenz、Ronny和Bernhart、Stephan H.和Höner zu Siederdessen、Christian和Tafer、Hakim和Flamm、Christoph和Stadler、Peter F.和Hofacker、Ivo L。 相关软件： 法国复兴信贷银行；NNDB；RNA结构… 主要字段： 总体主题；藏品（00-XX）；统计学（62-XX）；计算机科学（68-XX）…
盖比特 26篇文献引用(2016–2023) 软件作者： 克雷格·科斯特洛（Craig Costello）；Cédric Fornet；乔恩·豪厄尔；马尔库夫·科尔维斯；本杰明·克鲁特；迈克尔·奈赫里格（Michael Naehrig）；布莱恩·帕诺；萨米·扎赫尔 相关软件： 皮诺奇；C的SNARK；GitHub… 主要字段： 数论（11-XX）；代数几何（14-XX）；计算机科学（68-XX）…
LS SVM实验室 25篇文献引用(2006–2020) 软件作者： J.A.K.Suykens、T.Van Gestel、J.De Brabanter、B.De Moor、J.Vandewalle 相关软件： Matlab；UCI-ml；LIBSVM… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；变形固体力学（74-XX）…
巴黎证券交易所 7份文件引用(2010–2021) 软件作者： 比尼亚，C。；库马尔，S。；辛格，J.P。；Li，K。 相关软件： 溅射-2；ALPBench；LLVM… 主要字段： 数学逻辑与基础（03-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…
SYMMETRICA公司 26篇文献引用(1992–2017) 软件作者： Bayreuth大学Lehrstuhl Mathematik II的SYMMETRICA团队 相关软件： 枫树；许可证；利玛窦… 主要字段： 组合数学（05-XX）；代数几何（14-XX）；群论与推广（20-XX）…
阿普里奥里 11份文件引用（2002年-2023年） 软件作者： C.博尔盖特 相关软件： 埃克拉特；UCI-ml；gSpan… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
CCured公司 18篇文献引用（2002年至2018年） 软件作者： Necula，G.C.，McPeak，S.，Weimer，W。 相关软件： SLAM；投掷；Java PathFinder… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）