CCalc公司 77份文件引用(2003–2023) 软件作者： 恩里科·金奇利亚（Enrico Giunchiglia）；Lee，Joohyung；弗拉基米尔·利夫希茨；诺曼·麦凯恩；哈德森·特纳 相关软件： 平滑；考拉；高尔夫… 主要字段： 历史与传记（01-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
赛车手 53篇文献引用(2001–2022) 软件作者： Volker Haarslev、Kay Hidde、Ralf Möller、Michael Wessel 相关软件： FaCT++；颗粒；KL-ONE… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
ezcsp公司 13份文件引用(2009–2022) 软件作者： 马尔切洛·巴尔杜奇尼（Marcello Balduccini）；尤利亚·利勒 相关软件： 克林孔；克林戈；ASP… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；生物学和其他自然科学（92-XX）
R模糊 4份文件引用(2011–2019) 软件作者： 苏珊娜·穆尼奥斯·埃尔南德斯、维克托·巴勃洛斯·塞鲁埃洛、汉内斯·斯特拉斯 相关软件： XPath；FRIL；BousiProlog… 主要字段： 数学逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；计算机科学（68-XX）
DeReS公司 引用于3份文件（2019年至2022年） 软件作者： Cholewinski，P.、Marek，V.、Truszczynski，M。 相关软件： 数据日志；中国科学院科学院；Clingo… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
SeVe公司 2份文件引用(2012–2015) 软件作者： Luu，Anh Tuan；孙军；刘，杨；董金松 相关软件： 棱镜；拍打；Casper… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）