OCaml公司 274份文件引用(1998–2023) 软件作者： INRIA公司；X.Leroy、D.Rémy、J.Vouillon、D.Doligez 相关软件： Coq；哈斯克尔；Isabelle/HOL… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；数值分析（65-XX）…
ANTLR公司 53篇文献引用(1997–2023) 软件作者： 帕尔，T。；于丹；颜洪志；王吉娜 相关软件： Stratego；YACC；JastAdd（添加）… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
扬子乙酰氯 61篇文献引用(1978–2022) 软件作者： 斯蒂芬·C·约翰逊 相关软件： ANTLR；Coq；野牛… 主要字段： 数理逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
塑料 18篇文献引用(2000–2023) 软件作者： 保罗·卡拉汉 相关软件： 乐高；Coq；ALF… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
jsonlite公司 7份文件引用(2016–2022) 软件作者： Jeroen Ooms、Duncan Temple Lang、Lloyd Hilaiel 相关软件： R；ggplot2；dplyr… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
GAG公司 12份文件引用(1982–2013) 软件作者： 乌韦·卡斯滕斯；布丽姬·赫特；埃里希·齐默尔曼 相关软件： ALGOL 60；ALGOL 68；模块… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
野牛 8份文件引用(2007–2021) 软件作者： 自由软件基金会。；R.Corbett；斯特尔曼 相关软件： YACC；弯曲；GitHub… 主要字段： 数理逻辑与基础（03-XX）；数论（11-XX）；计算机科学（68-XX）…
埃尔克洪德 7份文件引用(2004–2014) 软件作者： 斯科特·麦克皮克（Scott McPeak）；Necula，George C。 相关软件： BRNGLR；ATERM；eSkel… 主要字段： 计算机科学（68-XX）
CRSX公司 引用于3份文件(2009–2011) 软件作者： 罗丝，K.H。；国际商用机器公司 相关软件： 自动化；流行标志；名义上的伊莎贝尔… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
蛋白石 引用于3份文件(1997–2009) 软件作者： 爱德华·L·格林。；Heath，Lenwood S。；本杰明·凯勒。 相关软件： 国家编目局；ANTLR；PCCTS… 主要字段： 交换代数（13-XX）；线性代数和多线性代数；矩阵理论（15-XX）；结合环与代数（16-XX）…
Menhir公司 2份文件引用(2012–2017) 软件作者： 弗朗索瓦·波蒂埃（François Pottier）、亚恩·雷吉斯·贾纳斯（Yann Régis-Gianas） 相关软件： 马蒂塔；开放理论；存档正式证据… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）