无人值守地面 185篇文献引用(1994–2021) 软件作者： Bastian，P。；伯肯，K。；Johannsen，K。；朗·S。；纽伊，N。；伦茨·雷切尔，H。；维纳斯，C。 相关软件： DUNE；PETSc；PLTMG… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
冥王星 在48份文件中引用(2007–2022) 软件作者： 米农，A。；博多，G。；马萨利亚，S。；Matsakos，T。；O.Tesilenu。；Zanni，C。；A.法拉利。 相关软件： 雅典娜；闪光；HLLE… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；流体力学（76-XX）…
序曲 39篇文献引用(2000–2022) 软件作者： L.Brown、William D.Henshaw、Daniel J.Quinlan。 相关软件： PETSc；CMPGRD；帕拉梅什… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
DAGH公司 13份文件引用(1998–2011) 软件作者： 帕拉沙尔，马尼什；詹姆斯·C·布朗。 相关软件： 帕拉梅什；AMROC；SAMRAI… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
QPSchur公司 17篇文献引用(2006–2022) 软件作者： 巴特利特，罗斯科A。；Lorenz T.比格勒。 相关软件： qpOASES；LOQO；QPOPT… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
GASpAR公司 13份文件引用（2006年至2021年） 软件作者： Duane Rosenberg、AiméFournier、Paul Fischer、Annick Pouquet 相关软件： 宇宙；DUNE；DLR焊盘… 主要字段： 偏微分方程（35-XX）；欧氏空间（42-XX）的调和分析；数值分析（65-XX）…
凯撒J 7份文件引用(2006–2019) 软件作者： Aracic，I.、Gasiunas，V.、Mezini，M.、Ostermann，K。 相关软件： 方面J；功能C++；gbeta… 主要字段： 计算机科学（68-XX）
中枢神经系统 9份文件引用(1999–2018) 软件作者： A.T Brünger、P.D Adams、G.M Clore、W.L DeLano、P Gros、R.W Grosse-Kunstleve、J.S Jiang、J Kuszewski、M Nilges、N.S Pannu、R.J Read、L.M Rice、T Simonson、G Warren 相关软件： 查姆；Xplor-NIH；VMD… 主要字段： 组合数学（05-XX）；几何（51-XX）；统计力学，物质结构（82-XX）…
TiML公司 8份文件引用(2018–2022) 软件作者： Wang，P.，Wang，D.，Chlipala，A。 相关软件： TcT；z3；分离逻辑… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
阿马托斯 7份文件引用（2005年至2021年） 软件作者： 约恩·贝伦斯 相关软件： 冠军；HE-E1GODF；宇宙… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；流体力学（76-XX）…
pi-BEM公司 7份文件引用(2018–2023) 软件作者： 朱利安尼，N。；Mola，A。；赫尔泰，L。 相关软件： 交易.ii；特里利诺斯；英特尔TBB… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；流体力学（76-XX）…
雅典娜++ 5份文件引用(2021–2023) 软件作者： James M.Stone、Kengo Tomida、Christopher J.White、Kyle G.Felker 相关软件： AMReX；闪光；冥王星… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；流体力学（76-XX）…
P2Q2等2D 6篇文献引用(2006–2024) 软件作者： Bartels，S。；卡斯滕森，C。；A.赫赫特。 相关软件： DistMesh；iFEM；na14… 主要字段： 偏微分方程（35-XX）；微分几何（53-XX）；数值分析（65-XX）…
阿梅舍里夫 5份文件引用(2019–2022) 软件作者： Stefan A.Funken。；安贾·施密特 相关软件： GitHub；iFEM；Matlab… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
圣人 4份文件引用(2010–2021) 软件作者： 杰西卡·格伦斯基（Jessica Gronski）、肯尼思·诺尔斯（Kenneth Knowles）、亚伦·托姆（Aaron Tomb）、斯蒂芬·弗伦德（Stephen N.Freund）、科马克·弗拉纳根（Cormac Flanagan） 相关软件： 渐变动态语义；流量；流行标记… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
快速HexMesh 3份文件引用(2012–2021) 软件作者： 开放式泡沫 相关软件： 开放式FOAM；WENO；Gmsh… 主要字段： 偏微分方程（35-XX）；粒子和系统力学（70-XX）；流体力学（76-XX）
向上pSAT 3份文件引用(2018–2021) 软件作者： Zeljić，Aleksandar；彼得·贝克曼；Christoph M.Wintersteiger。；菲利普·吕默 相关软件： 数学SAT5；Boolector；z3… 主要字段： 计算机科学（68-XX）
PETAPS公司 2份文件引用(1995–2006) 软件作者： 约瑟夫·戴维斯（Joseph G.Davis）。；大卫·桑达拉姆 相关软件： Web-HIPRE；承诺；莲花1-2-3 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
推杆 1份文件引用（2013年） 软件作者： Norel R.、Petrey D.、Honig B。 相关软件： MIBPB；Jmol；SIB-BLAST… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
特征CbC 2份文件引用(2022–2023) 软件作者： 伦格，托拜厄斯；亚历克斯·波坦；托马斯·图姆；伊娜·谢弗 相关软件： 自动校对；JML；埃菲尔… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
化学壳牌公司 1份文件引用(2017) 软件作者： S.Metz、J.Kästner、A.Sokol、T.Keal、P.Sherwood 相关软件： DL-FIND公司 主要字段： 数值分析（65-XX）；粒子和系统力学（70-XX）；量子理论（81-XX）…