挪威国家石油公司 9份文件引用(2003–2016) 软件作者： 丹尼尔·贝兰特（Daniel Berleant）；谢丽芝；张建忠 相关软件： RAMAS风险计算；进入PT_90；Ada的区间算法 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
Aximo公司 4份文件引用(2009–2016) 软件作者： 理查兹，S.，M.萨达德 相关软件： 演示；佩斯卡 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；量子理论（81-XX）…
埃林戈 4份文件引用(2020–2022) 软件作者： 佩德罗·卡巴拉尔；豪尔赫·范丁诺；哈维尔·加里亚（Javier Garea）；哈维尔·罗梅罗；托尔斯滕·绍布 相关软件： 克林戈；出售；htd… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
认识逻辑 4份文件引用(2020–2021) 软件作者： 阿斯塔·哈尔克 相关软件： 存档正式证据；Isabelle/HOL；Agda… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
辛提卡的世界 引用于3份文件(2020–2023) 软件作者： 弗朗索瓦·施瓦岑特鲁伯 相关软件： SMCDEL公司；CUDD；MCMAS公司 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
Wviews公司 引用于3份文件(2019–2022) 软件作者： 凯利，M。 相关软件： github；ESmodels；GISolver… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
ES模型 2份文件引用(2019–2022) 软件作者： Zhang，Z.，Zhao，K。 相关软件： github；GISolver；EHEX… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
百万铝 1份文件引用(2013) 软件作者： 奇塔·巴拉尔；格雷戈里·盖尔丰德（Gregory Gelfond）；恩里科·蓬泰利；儿子Tran Cao 相关软件： – 主要字段： 计算机科学（68-XX）