内克塔尔++ 118篇文献引用(2004–2023) 软件作者： 詹姆斯·金（James King）；谢尔盖·雅科夫列夫；傅志松；罗伯特·M·柯比。；斯宾塞·J·舍温。 相关软件： Gmsh；交易.ii；Nek5000… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
TINA公司 53篇文献引用(2004–2024) 软件作者： 伯托米厄，B。；里贝特，P.-O。；弗纳达特，F。；LAAS/CNRS公司 相关软件： Uppaal；罗密欧；Kronos… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
TRICE公司 在48份文件中引用(1997–2022) 软件作者： 丹尼斯，J.E。；Heinkenschloss，Matthias；吕维森特{i} 秒N。 相关软件： 兰斯洛特；Ipopt；SNOPT… 主要字段： 偏微分方程（35-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
拍打 34份文件引用(2011–2022) 软件作者： 孙军、刘洋、董金松、庞军 相关软件： Uppaal；自旋蛋白；项目B… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
彪马 31份文件引用（2003年至2020年） 软件作者： 弗劳恩霍夫SCAI；马克·亚历山大·施韦策（Marc Alexander Schweitzer）、阿尔伯特·齐根哈格尔（Albert Ziegenhagel） 相关软件： XFEM；mctoolbox；Matlab… 主要字段： 偏微分方程（35-XX）；近似和展开（41-XX）；数值分析（65-XX）…
第页，共页 25篇文献引用(2005–2022) 软件作者： 塞巴斯蒂安·莫德谢姆，卢卡·维甘诺 相关软件： AVISPA；NRL；Casper… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
LTSmin公司 25篇文献引用(2011–2023) 软件作者： 阿尔芬斯·拉阿尔曼（Alfons Laarman）；雅各·范德波尔；迈克尔·韦伯；斯特凡·布洛姆 相关软件： 自旋蛋白；Uppaal；迪文尼… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
FEMPAR公司 21篇文献引用(2016–2023) 软件作者： 圣地亚哥·巴迪亚、阿尔贝托·马汀、哈维尔·普林西比 相关软件： PETSc；CutFEM；测试… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
第DG部分 22篇文献引用(2007–2023) 软件作者： 丹尼斯·迪尔 相关软件： HE-E1GODF；PETSc；帕梅蒂斯… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；可变形固体力学（74-XX）…
DASOPT公司 14篇文献引用(1988–2021) 软件作者： 琳达·佩佐德；罗森，J.本；菲利普·吉尔（Philip E.Gill）。；Jay，Laurent O。；公园，基洪 相关软件： ADIFR；SNOPT；SOCS… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；流体力学（76-XX）…
西班牙石油公司 14篇文献引用(2011–2023) 软件作者： Daniel A.Hemberger。；Mark A.Scheel。；劳伦斯·基德（Lawrence E.Kidder）。；贝拉·斯齐拉吉；杰弗里·洛夫莱斯；尼古拉斯·泰勒（Nicholas W.Taylor）。；索尔·托科尔斯基（Saul A.Teukolsky）。 相关软件： SpECTRE公司；Matplotlib；回声… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；流体力学（76-XX）…
Exp.未结 12份文件引用(2006–2023) 软件作者： 弗雷德里克·朗 相关软件： CADP；CAESAR_SOLVE公司；M-TREE… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
VHPOP（VHPOP） 10篇文献引用(2003–2021) 软件作者： Younes，H.L.S。；R.G.西蒙斯。 相关软件： 图形平面图；PDDL；UCPOP… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
丽贝卡 8份文件引用(2010–2022) 软件作者： 穆罕默德·马赫迪（Mohammad Mahdi）；Sirjani，Marjan；穆萨维、穆罕默德·雷扎；哈梅斯帕纳，埃桑；阿里·莫瓦查尔 相关软件： Uppaal；甲酚；定时丽贝卡… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
WABBIT公司 9份文件引用(2021–2023) 软件作者： 马里奥·斯罗卡（Mario Sroka）、托马斯·恩格斯（Thomas Engels）、菲利普·克拉（Philipp Krah）、索菲·穆策尔（Sophie Mutzel）、凯·施奈德（Kai Schneider）、朱利叶斯·赖斯 相关软件： 流体流动现象；AMROC；FluSI… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；可变形固体力学（74-XX）…
MUSCOP公司 8份文件引用(2001–2023) 软件作者： 安德烈亚斯·波茨赫卡 相关软件： 纽顿图书馆；ADOL-C；区块SQP… 主要字段： 偏微分方程（35-XX）；变分法与最优控制；优化（49-XX）；整体分析，流形分析（58-XX）…
GRINS公司 3份文件引用(2018–2021) 软件作者： 保罗·鲍曼（Paul T.Bauman）、罗伊·斯托格纳（Roy H.Stogner） 相关软件： PETSc；交易.ii；libMesh… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
LaSDI公司 6篇文献引用(2022–2023) 软件作者： 威廉·D·弗里斯。；何小龙；Choi，Youngsoo先生 相关软件： gLaSDI；亚当；PyTorch… 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）；流体力学（76-XX）…
国内流离失所者 5份文件引用(2008–2017) 软件作者： DTAI-KU鲁汶；Wittocx，J.，Marién，M.，Denecker，M 相关软件： 平滑；MiniSat；本质… 主要字段： 计算机科学（68-XX）
SAMC公司 4份文件引用(2019–2020) 软件作者： Tanakorn Leesatapornwongsa、Mingzhe Hao、Pallavi Joshi、Jeffrey F.Lukman、Haryadi S.Gunawi 相关软件： MODIST；IronFleet公司；数据匹配… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
Syco公司 3份文件引用(2017–2021) 软件作者： E.阿尔伯特、M.戈梅斯·扎马洛亚、M.伊莎贝尔。 相关软件： 防抱死制动系统；JCobox；Erlang… 主要字段： 计算机科学（68-XX）
DNSlab公司 2份文件引用(2016–2022) 软件作者： Vuorinen，V。；Keskinen，K。 相关软件： AE流量；MCTDH；Matlab… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；概率论与随机过程（60-XX）；数值分析（65-XX）…
Kuai公司 2份文件引用(2019–2021) 软件作者： Majumdar，R.，Tetali，S.D.，Wang，Z。 相关软件： 食蚁兽；VeriCon公司；NetKAT… 主要字段： 计算机科学（68-XX）
包壳，包壳 1份文件引用（2018年） 软件作者： V.Vassilev、V.Ilieva、L.Moneta、A.Penev、M.Vassiliev 相关软件： MuPAD；Matlab；特征… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）
PDE应用程序 1份文件引用（2018年） 软件作者： 巴拉尼，乔纳斯；Huynh，Phuong；戴维·克内泽维奇（David Knezevic）；阮、洛伊；安东尼·佩特拉（Anthony T.Patera）。 相关软件： MUMPS；libMesh；PETSc公司 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…