DistAl公司 77份文件引用(1999–2023) 软件作者： 杨继勋；拉杰什·帕雷克；瓦桑特·霍纳瓦尔 相关软件： UCI-ml；C4.5；基因组学… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
质量管理清单 32篇文献引用(2007–2023) 软件作者： 托尔斯滕·阿滕柯奇；乔纳森·格拉塔奇 相关软件： QPL；奎珀；qGCL… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；几个复变量和分析空间（32-XX）…
立方厘米（FD） 18篇文献引用(1998–2022) 软件作者： 范·亨特利克（Van Hentenryck），帕斯卡（Pascal）；维杰·萨拉斯瓦特；伊夫·德维尔 相关软件： CPLEX；彗星；Choco… 主要字段： 组合数学（05-XX）；数值分析（65-XX）；计算机科学（68-XX）…
ArgoCLP公司 14篇文献引用（2011年-2023年） 软件作者： 斯托亚诺维奇，萨那；巴甫洛维奇，韦斯纳；贾尼契奇，普雷德拉格 相关软件： Coq；GCLC；TPTP… 主要字段： 数学逻辑与基础（03-XX）；几何（51-XX）；计算机科学（68-XX）…
SCTL-MUS公司 5份文件引用(2001–2006) 软件作者： JoséJ.Pazos Arias。；加西亚·杜克（Jorge García Duque） 相关软件： PVS；SLAM；NuSMV… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
卢比 6篇文献引用(2007–2010) 软件作者： 安德烈·鲍尔（Andrej Bauer）、克里斯托弗·斯通（Christopher A.Stone） 相关软件： OCaml；RealLib；iRRAM… 主要字段： 数学逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；计算机科学（68-XX）
ROSCoq公司 2份文件引用(2015–2018) 软件作者： 阿南德，阿比舍克；罗斯·克内珀 相关软件： Coq公司 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）