GXL公司 在10份文件中引用(2002–2020) 软件作者： 理查德·霍尔特（Richard C.Holt）。；安迪·舒尔（Andy Schürr）；Sim，Susan Elliott；安德烈亚斯·温特 相关软件： 进度；AGG；凹槽… 主要字段： 计算机科学（68-XX）；运筹学，数学编程（90-XX）
代码爬虫 6篇文献引用(2004–2011) 软件作者： 兰扎，M；杜卡斯，S。；加尔，H。；平茨格，M。 相关软件： Seesoft公司；CVS扫描；Vizz3D… 主要字段： 统计学（62-XX）；计算机科学（68-XX）
CodeSurfer（代码浏览器） 5份文件引用(2005–2012) 软件作者： GrammaTech公司 相关软件： CBMC；SLAM；PMD… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
组成 5份文件引用（2005年-2010年） 软件作者： Danicic，S。；福克斯，C。；哈曼，M。；Hierons，R。 相关软件： ASTREE公司；CSSV；TVLA… 主要字段： 计算机科学（68-XX）
CrocoCosmos公司 4份文件引用(2002–2004) 软件作者： 克劳斯·勒伦茨；安德烈亚斯·诺亚克 相关软件： WilmaScope；远景；GDS… 主要字段： 一般性和全局性主题；藏品（00-XX）；组合数学（05-XX）；计算机科学（68-XX）
阿迪门·苏莫 2份文件引用(2015–2019) 软件作者： Alvez J.、Lucio P.、Rigau G 相关软件： 知识；雅高；BabelNet… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）