PostgreSQL（PostgreSQL） 55份文件引用(2000–2023) 软件作者： —— 相关软件： 甲骨文；MySQL；MS SQL Server… 主要字段： 数理逻辑与基础（03-XX）；统计学（62-XX）；计算机科学（68-XX）…
防抱死制动系统 33篇文献引用(2012–2022) 软件作者： Johnsen，E.B.、Hähnle，R.、Schäfer，J.、Schlatte，R.和Steffen，M。 相关软件： JCobox；中美合作所；Erlang… 主要字段： 数理逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
JoCaml公司 26篇文献引用(2000–2022) 软件作者： Fornet，塞德里克；Le Fessant，Fabrice公司；Luc Maranget；阿兰·施密特 相关软件： 皮克特；OCaml；PiDuce… 主要字段： 数理逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）
级联 8份文件引用(2000–2008) 软件作者： Jochen Beister、Gernot Eckstein、Ralf Wollowski 相关软件： 级联 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；统计力学，物质结构（82-XX）…
国际象棋 5份文件引用（2008年至2021年） 软件作者： Musuvathi M、Qadeer S、Ball T 相关软件： 橡皮擦；veriSoft；AVIO… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
成本核算表 5份文件引用(2012–2017) 软件作者： Albert，E.、Arenas，P.、Genaim，S.、Gómez-Zamalloa，M.、Puebla，G。 相关软件： 防抱死制动系统；速度；中美合作所… 主要字段： 计算机科学（68-XX）
PyCOMPS公司 引用于3份文件(2021–2022) 软件作者： E.Tejedor、Y.Becerra、G.Alomar、A.Queralt、R.M.Badia、J.Torres、T.Cortes和J.Labarta 相关软件： 服务；达克；分析… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；可变形固体力学（74-XX）
POOSL公司 引用于3份文件(2003–2022) 软件作者： Theelen，B.D。；Voeten，J.P.M。；R.D.J.克莱默。 相关软件： 蟒蛇；TypeScript；埃斯特雷尔… 主要字段： 计算机科学（68-XX）
CLF公司 2份文件引用(2007–2018) 软件作者： 凯文·沃特金斯；伊利亚诺·塞维萨托；弗兰克·芬宁（Frank Pfenning）；大卫·沃克 相关软件： 名义上的伊莎贝尔；阿格达；Abella… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
压缩机 2份文件引用(2022) 软件作者： 巴迪亚，R.M。；科内杰罗，J。；迪亚兹，C。；埃扎克，J。；Lezzi博士。；Lordan，F。；拉蒙·科尔特斯，C。；西尔文，R。 相关软件： 服务；PyCOMPS；额外… 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）；流体力学（76-XX）