美国铝业公司 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）