美国铝业公司 22篇文献引用(2000–2023) 软件作者: Jackson,D。;谢赫特,I。;我·什利亚克特。 相关软件: 合金;自旋蛋白;箔条… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
罗密欧 27篇文献引用(2005–2020) 软件作者: 纪尧姆·加迪;莱姆,迪迪埃;摩根·马根(Morgan Magnin);Olivier Roux(H.) 相关软件: TINA;Uppaal;克罗诺斯… 主要字段: 组合数学(05-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…
电动汽车 6篇文献引用(2001–2021) 软件作者: 拉尔斯-奥克·弗雷德隆德;迪利安·古罗夫;托马斯·诺尔;Mads大坝;托马斯艺术;根纳迪·楚格诺夫 相关软件: 埃尔朗;伊莎贝尔;Coq… 主要字段: 计算机科学(68-XX)
CVPP公司 7份文件引用(2004–2015) 软件作者: 赫斯曼(Marieke Huisman);古罗夫,帝力 相关软件: MAVEN公司;班德拉;Uppaal… 主要字段: 数论(11-XX);统计学(62-XX);计算机科学(68-XX)…
混合ILP衬里 7份文件引用(2018年至2021年) 软件作者: van Zelst,S.J。;van Dongen,B.F。;van der Aalst,W.M.P。;H.M.W.韦贝克。 相关软件: 红矿工;XESame;RapidProM… 主要字段: 统计学(62-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)
查理 3份文件引用(2015–2018) 软件作者: 莫妮卡·海纳;马丁·施瓦里克;詹·蒂埃里·韦格纳 相关软件: 清爽;玛丽;可视化DSD… 主要字段: 计算机科学(68-XX);生物学和其他自然科学(92-XX)
MI模拟 3份文件引用(2018–2022) 软件作者: M.J.Wade、J.Oakley、S.Harbisher、N.G.Parker、J.Dolfing 相关软件: 枫树;MATCONT公司 主要字段: 常微分方程(34-XX);生物学和其他自然科学(92-XX)