FEMPAR公司 21篇文献引用(2016年-2023年) 软件作者: 圣地亚哥·巴迪亚、阿尔贝托·马汀、哈维尔·普林西比 相关软件: PETSc公司;CutFEM;测试… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…
国际象棋 5份文件引用(2008–2021) 软件作者: Musuvathi M、Qadeer S、Ball T 相关软件: 橡皮擦;veriSoft;AVIO… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
GRINS公司 3份文件引用(2018–2021) 软件作者: 保罗·鲍曼(Paul T.Bauman)、罗伊·斯托格纳(Roy H.Stogner) 相关软件: PETSc公司;交易.ii;libMesh… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…
成本核算表 5份文件引用(2012–2017) 软件作者: Albert,E.、Arenas,P.、Genaim,S.、Gómez-Zamalloa,M.、Puebla,G。 相关软件: 防抱死制动系统;速度;中美合作所… 主要字段: 计算机科学(68-XX)
MPGOS公司 4份文件引用(2020–2024) 软件作者: 费伦茨·赫格德·吕斯 相关软件: ginSODA;CUDA;日晷… 主要字段: 常微分方程(34-XX);动力系统与遍历理论(37-XX);数值分析(65-XX)…
ParaMEME公司 3份文件引用(2002–2015) 软件作者: Grundy WN、Bailey TL、Elkan CP 相关软件: MAVisto公司;算法97;PAML… 主要字段: 组合数学(05-XX);统计学(62-XX);数值分析(65-XX)…
HyDI公司 3份文件引用(2013–2015) 软件作者: Cimatti A、Mover S、Tonetta S 相关软件: SpaceEx;数学SAT;HySAT… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);系统理论;控制(93-XX)
PARyOpt公司 引用于2份文件(2020–2022) 软件作者: Balaji Sesha Sarath Pokuri;亚历克·洛夫奎斯特;乍得·M·里斯科;Baskar Ganapathysubramanian阶 相关软件: 蟒蛇;EGO;PyPI公司 主要字段: 数值分析(65-XX);流体力学(76-XX)
POOSL公司 3份文件引用(2003–2022) 软件作者: Theelen,B.D。;Voeten,J.P.M。;R.D.J.克莱默。 相关软件: 蟒蛇;TypeScript;酯类… 主要字段: 计算机科学(68-XX)
大熊猫 1份文件引用(2023年) 软件作者: 邦廷,M。;巴达尼,R。;J·斯普林克。 相关软件: 斯特里姆 主要字段: 常微分方程(34-XX);变分法与最优控制;优化(49-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…