DOLFIN公司 235篇文献引用(2004–2023) 软件作者： 安德斯·洛格（Anders Logg）、约翰·霍夫曼（Johan Hoffman）、加思·威尔斯（Garth N.Wells）、约翰·詹森（Johan-Jansson）、奥拉·斯卡瓦格（Ola Skavhaug）、肯特·安德尔·马尔达尔（Kent Andre Mardal）、马丁·桑德夫·阿尔内斯（Martin Sandwe Alnes）、约翰·哈克（Johan-Hake）、尼古拉斯· 相关软件： FEniCS；PETSc；UFL… 主要字段： 偏微分方程（35-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
投掷 59篇文献引用(2005–2022) 软件作者： 帕特丽斯·戈德弗里德；尼尔斯·克拉伦德；库什克森 相关软件： 可爱的；z3；KLEE… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
MadGraph5_aMC@NLO 43篇文献引用(2014–2024) 软件作者： J.Alwall、R.Frederix、S.Frixione、V.Hirschi、F.Maltoni、O.Mattelaer、H.-S.Shao、T.Stelzer、P.Torrielli、M.Zaro 相关软件： 费恩规则；PYTHIA8；德尔菲斯… 主要字段： 概率论与随机过程（60-XX）；数值分析（65-XX）；粒子和系统力学（70-XX）…
FFC公司 31份文件引用(2005–2023) 软件作者： A.Logg、K.B.Ølgaard、M.E.Rognes、G.N.Wells 相关软件： FEniCS；道芬；菲亚特… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
性能确认4 19份文件引用(2019–2023) 软件作者： M.J.Kannwischer、J.Rijneveld、P.Schwabe、K.Stoffelen。 相关软件： github；凯伯；SIKE… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；量子理论（81-XX）…
杜芬伴随物 18篇文献引用(2020–2024) 软件作者： 米图什，S。；Funke，S。；J.多肯。 相关软件： FEniCS；github；UFL… 主要字段： 偏微分方程（35-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
Mizar模式 18篇文献引用（2006年至2019年） 软件作者： 约瑟夫·乌尔班 相关软件： 米扎尔；MML；MoMM… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
自动偶极子 16篇文献引用(2010–2023) 软件作者： 长谷川，K。；莫赫，S。；尤尔，P。 相关软件： MadFKS；CutTools；黑帽… 主要字段： 数论（11-XX）；数值分析（65-XX）；量子理论（81-XX）…
UCNS3D 14篇文献引用(2019–2023) 软件作者： Antoniadis，A.F。；Drikakis，D。；Farmakis，P.S。；Fu，L。；科基纳基斯，I。；Nogueira，X。；Silva，P.A。；斯科特，M。；Titarev，V。；特苏桑尼，P。 相关软件： OpenFOAM；HE-E1GODF；HTR解算器… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；流体力学（76-XX）
泽诺 14篇文献引用（2012年至2022年） 软件作者： William Sonnex；索菲亚·德罗索波卢；苏珊·艾森巴赫 相关软件： HipSpec；SMT-LIB；CVC4… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
FiOrdOs公司 8份文件引用(2015–2022) 软件作者： F.Ullmann、S.Richter 相关软件： CVXGEN；qpOASES；fast_mpc… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
DUNE-FEM-DG公司 3份文件引用(2019–2022) 软件作者： 安德烈亚斯·德纳；斯特凡·吉尔克；罗伯特·克罗夫科恩（Robert Klöfkorn）；托比亚斯·马尔库姆斯 相关软件： 沙丘-雌性；蟒蛇；DUNE-FEM… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；流体力学（76-XX）
fvGCM公司 3份文件引用(2006–2018) 软件作者： Giering，Ralf；托马斯·卡明斯基（Thomas Kaminski）；里卡多（Ricardo Todling）；罗纳德·埃里科；罗纳德·吉拉罗（Ronald Gelaro）；内森·温斯洛 相关软件： TAF；Pochoir；ADIFOR… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；地球物理学（86-XX）
TLDR公司 3份文件引用(2022–2023) 软件作者： Isabel Cachola、Kyle Lo、Arman Cohan、Daniel S.Weld 相关软件： BERT；BERTS核心；捷运局… 主要字段： 统计学（62-XX）；计算机科学（68-XX）
澳大利亚-R 2份文件引用(2016) 软件作者： 谭佳奇；Tay，Hui Jun；拉杰夫·甘地；Priya Narasimhan 相关软件： 达夫尼；MiBench公司；维拉斯科… 主要字段： 一般性和全局性主题；藏品（00-XX）；计算机科学（68-XX）
灯塔 1份文件引用(2016) 软件作者： B.Norris、S.-L.Bernstein、R.Nair、E.Jessup 相关软件： 优化软件的决策树；Django；LAPACK… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）
NIC-容器 2份文件引用(2021–2024) 软件作者： 阿克贝尔·拉扎；洪成宽；王，西安；安舒曼·库马尔；谢尔顿，克里斯蒂安·R。；Wong，Bryan M。 相关软件： 葡萄糖；TRAVOLTA公司；科克斯努特… 主要字段： 数值分析（65-XX）；统计力学，物质结构（82-XX）
PyMT5型 在0个文档中引用 软件作者： Colin B.Clement、Dawn Drain、Jonathan Timcheck、Alexey Svyatkovskiy、Neel Sundaresan 相关软件： CodeSearchNet；BERT；CodeBERT… 主要字段： –
CoDeSe公司 1份文件引用(2015) 软件作者： Gligoric，M.、Marinov，D.、Kamin，S。 相关软件： 哈斯克尔；K校准仪；GitHub… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
Fisher4铸件 1份文件引用(2011) 软件作者： 布鲁斯·巴塞特。；Fantaye、Yabebal；雷内·赫洛泽克；雅克·科茨 相关软件： Matlab；乳胶；科学实验室… 主要字段： 相对论与引力理论（83-XX）；天文学和天体物理学（85-XX）；信息与通信理论，电路（94-XX）
充满活力的 在0个文档中引用 软件作者： Maude Wagner、Ana W.Capuano、Emmanuelle彗星 相关软件： FlexParamCurve；程序NLMIXED；WinBUGS… 主要字段： –
RFortran公司 1份文件引用(2012) 软件作者： Thyer，M.、Leonard，M.，Kavetski，D.、Need，S.、Renard，B。 相关软件： QSIMVN；害虫 主要字段： 变分法与最优控制；优化（49-XX）；统计学（62-XX）；数值分析（65-XX）…
Roosterize公司 1份文件引用(2020) 软件作者： 聂鹏宇；卡尔·帕尔姆斯科格（Karl Palmskog）；李俊毅（Junyi Jessy）；Gligoric，米洛斯 相关软件： SerAPI；PCM库；JSNice… 主要字段： 计算机科学（68-XX）
Tenscalc公司 1份文件引用(2022) 软件作者： Joáo P.赫斯帕尼亚。 相关软件： Matlab；SDPT3；COLAMD… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；运筹学，数学编程（90-XX）
TSTL公司 在0个文档中引用 软件作者： Josie Holmes、Alex Groce、Jervis Pinto、Pranjal Mittal、Pooria Azimi、Kevin Kellar、James O'Brien 相关软件： 假设；MutPy；DLint… 主要字段： –