自由Fem++ 1691年文献引用(2000–2024) 软件作者： 奥利维尔·皮罗内奥（Olivier Pironenau）、弗雷德里克·赫赫特（Frédéric Hecht）、安托万·勒海利奇（Antoine Le Hyaric）、雅克·莫里斯（Jacques Morice） 相关软件： PETSc；FEniCS；UMFPACK… 主要字段： 偏微分方程（35-XX）；变异微积分和最优控制；优化（49-XX）；数值分析（65-XX）…
基因警察 971文献引用(1992–2023) 软件作者： Z.米查莱维茨（Michalewicz）；G.纳希亚斯 相关软件： 禁忌搜索；UCI-ml；C4.5… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；变形固体力学（74-XX）…
交易.ii 725份文件引用(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）…
SPSS软件 545份文件引用(1974–2024) 软件作者： IBM；诺曼·H·聂；C.哈德莱船体 相关软件： SAS；R；状态… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
鹦鹉螺 691份文献引用(1988–2024) 软件作者： 布伦丹·麦凯；阿道夫·皮佩诺 相关软件： 踪迹；间隙；OEIS… 主要字段： 组合数学（05-XX）；群论与推广（20-XX）；计算机科学（68-XX）…
FEAPpv公司 619文件引用(2005–2024) 软件作者： O.C.Zienkiewicz；R.L.泰勒 相关软件： ABAQUS；Matlab；HYPLAS… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
线性代数库 425篇文献引用(1995–2023) 软件作者： L.S.布莱克福德。；Choi，J。；克利里，A。；D’Azevedo，E。；德梅尔，J。；迪尔隆，I。；Dongarra，J。；哈默林，S。；亨利，G。；佩蒂特，A。；斯坦利，K。；Walker，D。；R.C.惠利。 相关软件： LAPACK；BLAS；PLAPACK… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）；计算机科学（68-XX）…
QEPCAD公司 295篇文献引用(1991–2024) 软件作者： Hoon Hong；克里斯托弗·布朗（Christopher W.Brown）。 相关软件： REDLOG；枫树；发现者… 主要字段： 数学逻辑与基础（03-XX）；代数几何（14-XX）；数值分析（65-XX）…
TetGen公司 212篇文献引用(2006–2024) 软件作者： 汉斯 相关软件： 三角形；Gmsh；CGAL… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
DiffSharp（差异锐化） 216篇文献引用(2016–2024) 软件作者： Baydin，A.G.，Pearlmutter，B.A。 相关软件： 亚当；TensorFlow；DGM… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
费阿特流 211文件引用（1998年-2023年） 软件作者： S Turek、C Becker 相关软件： OpenFOAM；ANSYS-CFX；月亮… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
GLPK公司 196篇文献引用（2004年-2023年） 软件作者： 安德鲁·马科林 相关软件： CPLEX；古罗比；AMPL… 主要字段： 组合数学（05-XX）；数值分析（65-XX）；计算机科学（68-XX）…
广场广场 201份文件引用(2000–2023) 软件作者： J.F.Bonnans、J.Ch.Gilbert、C.Lemaréchal、C.A.Sagastizábal 相关软件： PLCP；Ipopt；L-BFGS… 主要字段： 变异微积分和最优控制；优化（49-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
力学 186篇文献引用(1994–2022) 软件作者： 海伦娜·E·努斯。；詹姆斯·约克（James A.Yorke）。 相关软件： 自动；HomCont；数学… 主要字段： 常微分方程（34-XX）；动力系统与遍历理论（37-XX）；粒子力学与系统（70-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）…
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）…
OBJ3型 140篇文献引用(1989–2023) 软件作者： J.Goguen、T.Winkler、J.Meseguer、K.Futatsigi和J.Jouannaud；（基尼里） 相关软件： 莫德；咖啡馆；CASL… 主要字段： 数学逻辑与基础（03-XX）；一般代数系统（08-XX）；范畴理论；同调代数（18-XX）…
雷杜泽 136篇文献中引用(2010–2024) 软件作者： 安德烈亚斯·冯·曼特乌费尔（Andreas von Manteuffel）；塞德里克·斯图德鲁斯 相关软件： 火灾；LiteRed公司；表格… 主要字段： 代数几何（14-XX）；数值分析（65-XX）；计算机科学（68-XX）…
LSODE（LSODE） 140篇文献引用(1983–2022) 软件作者： 阿兰·希德马什 相关软件： 视频点播；DASSL；ODEPACK… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
爆破 111篇文献引用(2003–2022) 软件作者： 托马斯·亨辛格（Thomas A.Henzinger）。；Jhala，Ranjit；Rupak Majumdar；格雷戈伊尔·萨特雷 相关软件： SLAM；CPA检查员；CBMC… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
布吉 126篇文献引用(2007–2023) 软件作者： K.鲁斯坦·莱诺 相关软件： z3；Why3；规范#… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；数值分析（65-XX）…
cdd（光盘） 130篇文献引用(1996–2023) 软件作者： 福田康美 相关软件： 多面手；格凡；cddplus… 主要字段： 代数几何（14-XX）；凸和离散几何（52-XX）；计算机科学（68-XX）…
nlmdl公司 124篇文献引用(1987–2024) 软件作者： A.Ronald Gallant 相关软件： Stata公司；半标准杆；R、 … 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
ASTREE公司 112份文件引用(2002–2023) 软件作者： 帕特里克·库索特（Patrick Cousot）、拉迪亚·库索特、杰罗姆·费雷特（Jeróme Feret）、劳伦特·毛博尔涅（Laurent Mauborgne）、安托万·米内（Antoine Miné）、大卫·莫尼奥（David Monniaux）、泽维尔（Xavier Rival） 相关软件： 停机坪；z3；PPL… 主要字段： 数学逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；数值分析（65-XX）…
落叶松 105篇文献引用(1989–2023) 软件作者： John V.Guttag。；詹姆斯·霍宁。 相关软件： JML；埃菲尔；PVS… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；群论与推广（20-XX）…
CBMC公司 88篇文献引用（2004年-2023年） 软件作者： Clarke E、Kroening D、Lerda F 相关软件： 爆炸；z3；MiniSat… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）…
查找 90篇文献引用(1972–2023) 软件作者： C.A.R.霍尔 相关软件： 快速排序；算法347；任天堂中位数… 主要字段： 组合数学（05-XX）；概率论与随机过程（60-XX）；统计学（62-XX）…
卡拉卡拉 79份文件引用(2004–2022) 软件作者： 马奇，C。；Paulin-Mohring，C。；X·乌尔班。 相关软件： Why3；Caduceus；JML… 主要字段： 数学逻辑与基础（03-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
奥的斯 89份文件引用(1987–2023) 软件作者： 巴黎，西南部。；Hargraves，C.R；美国国家航空航天局格伦研究中心 相关软件： 社会保险；SNOPT；NPSOL… 主要字段： 变异微积分和最优控制；优化（49-XX）；数值分析（65-XX）；粒子力学与系统（70-XX）…
沃罗诺伊 81份文件引用(1995–2023) 软件作者： 史蒂文·福琼 相关软件： 三角形；Qhull；CGAL… 主要字段： 组合数学（05-XX）；凸和离散几何（52-XX）；数值分析（65-XX）…
图像J 59篇文献引用（2006年-2023年） 软件作者： Schneider，C.A.，Rasband，W.S.，Eliceiri，K.W。；医学博士Abramoff、P.J.Magalhaes、S.J.Ram 相关软件： R；斐济；Python… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；变形固体力学（74-XX）…
利普索 86篇文献引用（1997年至2022年） 软件作者： 张茵；格雷格·斯威里杜克 相关软件： PCx；Matlab；Mosek… 主要字段： 变异微积分和最优控制；优化（49-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
柔软 81份文件引用(2001–2022) 软件作者： 不列颠哥伦比亚省阿拉纳赫 相关软件： 斯费诺；SuSpect公司；micrOMEGAs… 主要字段： 统计学（62-XX）；粒子和系统力学（70-XX）；量子理论（81-XX）…
肌肉 54篇文献引用（2005年-2023年） 软件作者： R.C.埃德加 相关软件： ClustalW公司；MAFFT；T-咖啡… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；计算机科学（68-XX）…
投掷 59篇文献引用(2005–2022) 软件作者： 帕特丽斯·戈德弗里德；尼尔斯·克拉伦德；Koushik Sen公司 相关软件： 可爱的；z3；KLEE… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
黑帽 80篇文献引用(2009–2024) 软件作者： C.F.Berger、Z.Bern、L.J.Dixon、F.Febres Cordero、D.Forde、H.Ita、D.A.Kosower、D.Maêtre 相关软件： CutTools；SAMURAI；Golem95… 主要字段： 代数几何（14-XX）；数值分析（65-XX）；粒子力学与系统（70-XX）…
船体 78篇文献引用(1992–2023) 软件作者： K.L.克拉克森 相关软件： LEDA；Qhull；CGAL… 主要字段： 数论（11-XX）；线性代数和多线性代数；矩阵理论（15-XX）；凸和离散几何（52-XX）…
TRLan公司 78篇文献引用(1999–2024) 软件作者： 吴克胜；霍斯特·西蒙 相关软件： JDQZ；IRAM；JDQR… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；偏微分方程（35-XX）；数值分析（65-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）…
科帕西 61篇文献引用(2008–2022) 软件作者： S.Hoops、S.Sahle、R.Gauges、C.Lee、J.Pahle、N.Simus、M.Singhal、L.Xu、P.Mendes、U.Kummer 相关软件： 生物模型；R；BioNetGen… 主要字段： 常微分方程（34-XX）；统计学（62-XX）；计算机科学（68-XX）…
CVODE公司 67篇文献引用(1997–2023) 软件作者： 科恩，S.D.，辛德马什，A.C。 相关软件： 日晷；罗德斯；坎特拉… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；流体力学（76-XX）…
TTTPLOTS公司 引用于70篇文献(2007–2024) 软件作者： Aiex，Renata M。；莫里西奥·雷森德（Mauricio G.C.Resende）。；塞尔索·C·里贝罗。 相关软件： PERL；GRASP；irace… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
阿比尼特 65篇文献引用(2004–2024) 软件作者： 泽维尔·贡泽（Xavier Gonze）；伯纳德·阿马登（Bernard Amadon）；安东尼乌斯，加布里埃尔；弗雷德里克·阿纳迪；卢卡斯·巴格特；Jean-Michel，Beuken；约旦比德；弗朗索瓦·博廷；Johann Bouchet；埃里克·博斯克（Eric Bousquet）；尼尔斯·布劳沃（Nils Brouwer）；布鲁内瓦尔（Bruneval）、法比恩（Fabien）；纪尧姆·布鲁宁；卡维尼亚克，塞奥；Jean-Baptiste Charraud；陈伟；米歇尔·科特；斯特凡·科特涅尔；朱尔斯·丹尼尔（Jules Denier）；热纳斯特，格雷戈里；菲利普·戈塞兹（Philippe Ghosez）；吉安托马斯，马特奥；Gillet，Yannick；Gingras，Olivier；唐纳德·哈曼（Donald R.Hamann）。；杰弗里·豪蒂埃；何旭；尼科尔·赫尔比格；Natalie Holzwarth；贾永超；弗朗索瓦·乔利特；威廉·迪特·豪雷特拉法格；库尔特·勒贾盖尔（Kurt Lejaeghere）；马尔克斯，米格尔·A·L。；亚历山大·马丁；西里尔·马丁斯；Miranda，Henrique P.C。；弗朗西斯科·纳卡拉托；克里斯汀·佩尔松；彼得雷托，圭多；飞机，瓦伦丁；Yann Pouillon；谢尔盖，普罗霍伦科；法比奥·里奇；里格纳内斯，吉安·马尔科；阿尔多·罗梅罗。；迈克尔·马库斯·施密特；马克·托伦特（Marc Torrent）；Michiel J.van Setten。；Van Troeye，Benoit；Verstraete，Matthieu J。；泽拉，吉尔；Josef W.茨万齐格。 相关软件： 量子浓缩咖啡；CASTEP公司；WIEN2k… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
扬子乙酰氯 61篇文献引用(1978–2022) 软件作者： 斯蒂芬·约翰逊 相关软件： ANTLR；Coq；野牛… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
可爱的 50篇文献引用(2003–2022) 软件作者： Koushik Sen；达科·马里诺夫；古尔·阿加 相关软件： 投掷；z3；KLEE… 主要字段： 数学逻辑与基础（03-XX）；变异微积分和最优控制；优化（49-XX）；数值分析（65-XX）…
GALib公司 56篇文献引用(1999–2021) 软件作者： 马修·沃尔 相关软件： 基因组学；VRP；CPLEX… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；变形固体力学（74-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）…
火灾5 61篇文献引用(2015–2024) 软件作者： A.V.斯米尔诺夫。 相关软件： 火灾；LiteRed公司；Reduze… 主要字段： 全局分析，流形分析（58-XX）；数值分析（65-XX）；粒子力学与系统（70-XX）…
CompCert公司 58篇文献引用(2009–2023) 软件作者： Leroy，X。 相关软件： Coq；Isabelle/HOL；z3… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；数值分析（65-XX）…
GENSMAC公司 61篇文献引用(1994–2020) 软件作者： 汤米，M.F。；菲略，A.C。；库米纳托，J.A。；Mangiavacchi，N。；麦基，S。 相关软件： GENSMAC3D；自由流动；流量-3D… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
GreatSPN公司 53篇文献引用(1988–2022) 软件作者： 朱奈德·巴巴尔；马可·贝库蒂；苏珊娜·多纳泰利（Susanna Donatelli）；安德鲁·米纳 相关软件： GreatSPN 1.7；TimeNET；CADP… 主要字段： 概率论与随机过程（60-XX）；数值分析（65-XX）；计算机科学（68-XX）…
C的SNARK 59篇文献引用(2013–2024) 软件作者： Eli Ben-Sasson；亚历山德罗·基耶萨；Daniel Genkin；Tromer，Eran；夫人维尔扎 相关软件： 皮诺奇；格佩托；利盖罗… 主要字段： 数论（11-XX）；代数几何（14-XX）；计算机科学（68-XX）…
小脚 55份文件引用（2004年-2023年） 软件作者： J.伯丁、C.加尔卡尼奥、P.W.奥赫恩。 相关软件： VeriFast公司；jStar；HIP… 主要字段： 数学逻辑与基础（03-XX）；一般代数系统（08-XX）；计算机科学（68-XX）
污水处理厂 引用于46份文件(2007–2023) 软件作者： 维杰·加内什（Vijay Ganesh）；特雷弗·汉森；马特·索斯；Dan Liew；Ryan Govostes；安德鲁·琼斯；等。 相关软件： z3；投掷；可爱… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；数值分析（65-XX）…
Daikon公司 引用于41份文件(2005–2022) 软件作者： 迈克尔·D·恩斯特。；Jeff H.Perkins。；菲利普·郭（Philip J.Guo）。；斯蒂芬·麦卡曼特；卡洛斯·帕切科；马修·桑茨（Matthew S.Tschantz）。；肖，陈 相关软件： JML；胡迪尼；z3… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）…
SPRNG公司 45篇文献引用(1990–2022) 软件作者： M.Mascagni、A.Srinivasa 相关软件： 测试U01；MersenneTwister公司；死亡… 主要字段： 数论（11-XX）；统计学（62-XX）；数值分析（65-XX）…
普雷格尔 引用于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）…
SOLA-VOF公司 44篇文献引用(1984–2022) 软件作者： B.D.Nichols、C.W.Hirt、R.S.Hotchkiss 相关软件： NASA-VOF2D；涟漪；SLIC… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
WhyML公司 44篇文献引用(2013–2023) 软件作者： 让-克里斯托夫，菲力（Filliâtre）；安德烈·帕斯科维奇 相关软件： Why3；z3；Coq… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；数论（11-XX）…
潮汐 44篇文献引用(2009–2023) 软件作者： A.Abad、R Barrio、F.Blesa、M.Rodriguez 相关软件： 泰勒；ATOMFT；杆… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；动力系统和遍历理论（37-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；SLAM… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
伊德里斯 40篇文献引用(2011–2023) 软件作者： 埃德温·布雷迪 相关软件： Coq；阿格达；Irdis… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）…
消音器 29篇文献引用(2003–2022) 软件作者： S.Kurtz、A.Phillippy、A.L.Delcher、M.Smoot、M.Shumway、C.Antonescu、S.L.Salzberg 相关软件： 拉根；PatternHunter；BLASTZ… 主要字段： 总体主题；藏品（00-XX）；组合数学（05-XX）；计算机科学（68-XX）…
OpenACC（开放ACC） 28篇文献引用(2014–2023) 软件作者： 桑德拉·维恩克；保罗·斯普林格；克里斯蒂安·特博文（Christian Terboven）；迪特尔·安·梅 相关软件： CUDA；开放式CL；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）…
xPerm（xPerm） 37篇文献引用(2008–2023) 软件作者： 何塞·马丁·加西亚 相关软件： x法案；xTras；因瓦… 主要字段： 代数几何（14-XX）；微分几何（53-XX）；整体分析，流形分析（58-XX）…
Mixmod公司 37篇文献引用(2006–2022) 软件作者： 克里斯托夫·比尔纳基；塞勒克斯（Celeux），吉尔（Gilles）；戈瓦尔特、杰拉德；佛罗伦萨，兰格罗涅特 相关软件： mclust；R；PGMM… 主要字段： 统计学（62-XX）；数值分析（65-XX）；生物学和其他自然科学（92-XX）…
AFEM@matlab 38篇文献引用(2008–2023) 软件作者： L Chen和C.S.Zhang 相关软件： iFEM；Matlab；阿尔伯塔… 主要字段： 偏微分方程（35-XX）；变异微积分和最优控制；优化（49-XX）；数值分析（65-XX）…
新加坡 38篇文献引用(2001–2022) 软件作者： M.J.霍尔斯特。 相关软件： APBS；FreeFem++；CHARMM… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；流体力学（76-XX）…
短讯服务 38篇文献引用(1997–2023) 软件作者： 乔·科勒克 相关软件： Mathematica；AceFEM；AceGen… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；变形固体力学（74-XX）…
闪电战++库 32篇文献引用(2000–2021) 软件作者： 托德·维尔杜伊岑 相关软件： 闪电战++；促进；BLAS… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
LUPS公司 37篇文献引用(1999–2019) 软件作者： 何塞·朱利奥·阿尔弗雷斯；佩雷拉，路易斯·莫尼兹；哈利娜·普尔兹穆森斯卡（Halina Przymusinska）；Przymusinski，Teodor C。 相关软件： XSB；平滑；EVOLP… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
pySecDec公司 33篇文献引用（2017年-2023年） 软件作者： S.Borowka、G.Heinrich、S.Jahn、S.P.Jones、M.Kerner、J.Schlenk、T.Zirke 相关软件： LiteRed公司；嘉年华；Reduze… 主要字段： 数论（11-XX）；特殊功能（33-XX）；数值分析（65-XX）…
盖根 35篇文献引用(2004–2022) 软件作者： Daniel Fontijne；利奥·多斯特；蒂姆·鲍马 相关软件： 加洛普；CLUCalc；克利福德… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）；计算机科学（68-XX）…
MPM3D（MPM3D） 36篇文献引用(2011–2023) 软件作者： 清华大学 相关软件： MPM3DMP；卡拉梅洛；LS-DYNA… 主要字段： 数值分析（65-XX）；粒子和系统力学（70-XX）；变形固体力学（74-XX）…
美国国家航空航天局VOF2D 36篇文献引用(1993–2020) 软件作者： M.D.Torrey、L.D.Cloutman、R.C.Mjolsness、C.W.Hirt 相关软件： SOLA-VOF；SLIC；Gerris… 主要字段： 数值分析（65-XX）；流体力学（76-XX）；光学、电磁理论（78-XX）…
克莱尔 32篇文献引用(1998–2019) 软件作者： 伊夫·卡索；弗朗索瓦·沙维尔（François-Xavier），约塞特（Josset）；弗朗索瓦·拉伯特 相关软件： 奥兹；乔科；SALSA… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
NSPCG公司 35篇文献引用(1988–2022) 软件作者： 托马斯·奥佩（Thomas C.Oppe）。；Wayne D.Joubert。；大卫·R·金凯。 相关软件： ELLPACK；CGS；拉帕克… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
火焰大师 30篇文献引用（2005年-2023年） 软件作者： H.Pitsch公司 相关软件： GRI机械3.0；坎特拉；炒作… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；流体力学（76-XX）…
净CDF 18篇文献引用（2004年-2023年） 软件作者： 格伦·戴维斯（Glenn Davis）、拉斯·雷夫（Russ Rew）、埃德·哈特内特（Ed Hartnett）、约翰·卡隆（John Caron）、史蒂夫·埃默森（Steve Emmerson）、哈维·戴维斯 相关软件： 蟒蛇；特里利诺斯；xarray… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；流体力学（76-XX）…
ZKBoo公司 34份文件引用(2016–2023) 软件作者： 贾科梅利，I.，马德森，J.，奥兰迪，C。 相关软件： 利格罗；天秤座；libiop… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；量子理论（81-XX）…
空气 33篇文献引用(2010–2021) 软件作者： C.Anastasiou、A.Lazopoulos 相关软件： 雷杜泽；火灾；LiteRed… 主要字段： 代数几何（14-XX）；代数拓扑（55-XX）；整体分析，流形分析（58-XX）…
千兆赫 33篇文献引用(1996–2024) 软件作者： 德莱克·荷尔特 相关软件： 间隙；岩浆；自动化… 主要字段： 组合数学（05-XX）；群论与推广（20-XX）；流形和细胞复合体（57-XX）…
OpenLB（打开LB） 30篇文献引用(2007–2023) 软件作者： 乔纳斯·拉特；马蒂亚斯·J·克劳斯 相关软件： 帕拉博斯；瓦尔贝拉；LB3D… 主要字段： 数值分析（65-XX）；流体力学（76-XX）；经典热力学，传热（80-XX）…
Seq-Gen公司 26篇文献引用(2002–2022) 软件作者： 安德鲁·兰伯特（Andrew Rambaut）；尼克·C·格拉斯利 相关软件： fastDNAml；PHYLIP；生物技术研究所… 主要字段： 组合数学（05-XX）；统计学（62-XX）；数值分析（65-XX）…
嵌套金额 31份文件引用(2002–2023) 软件作者： 斯特凡·温泽尔 相关软件： X夏季；Hypexp；HYPERDIRE… 主要字段： 数论（11-XX）；复变量函数（30-XX）；特殊功能（33-XX）…
PHREEQC公司 31份文件引用（2004年-2023年） 软件作者： 帕克赫斯特，D.L.，阿佩洛，C.J 相关软件： PhreeqcRM；水文地球化学；MoMaS… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
REVEAL公司 24篇文献引用(2003–2022) 软件作者： Liang，S.、Fuhrman，S.和Somogyi，R 相关软件： KEGG；R；BoolNet… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）…
SCHUR公司 31份文件引用(1994–2023) 软件作者： 布莱恩·怀伯恩 相关软件： Mathematica；数学张量；ALPS… 主要字段： 组合数学（05-XX）；线性代数和多线性代数；矩阵理论（15-XX）；群论与推广（20-XX）…
BioProspector公司 21篇文献引用(2002–2013) 软件作者： Liu，X.、Brutlag，D.、Liu，J。 相关软件： TRANSFAC公司；JASPAR；WebLogo… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
杰斯特纳 29篇文献引用(2002–2023) 软件作者： 大卫·沃姆；Pawel Winter；马丁·扎卡里亚森 相关软件： 斯坦利布；CPLEX；DIMACS… 主要字段： 组合数学（05-XX）；变异微积分和最优控制；优化（49-XX）；几何（51-XX）…
国际图书馆 28篇文献引用(1992–2018) 软件作者： Kearfott，R.B。；达旺德，M。；胡，C。 相关软件： 剖面/偏差；国际实验室；C-XSC… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；经典热力学，传热（80-XX）…
mwrank公司 29篇文献引用(2000–2019) 软件作者： J.E.克雷莫纳 相关软件： ecdata；PARI/GP；岩浆… 主要字段： 数论（11-XX）；代数几何（14-XX）；凸和离散几何（52-XX）…