CiaoPP公司 51篇文献引用(1999–2022) 软件作者： Hermenegildo M.V.、Bueno F.、Puebla G.、Lopez P。 相关软件： Ciao；SICStus公司；汞… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
再现BLAS 6篇文献引用(2020–2023) 软件作者： P.Ahrens、H.D.Nguyen、J.Demmel 相关软件： MPFR；mctoolbox；稀疏矩阵… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）；计算机科学（68-XX）
英属维尔京群岛 3份文件引用(2015–2022) 软件作者： 克莱尔·勒·古伊斯；Leino，K.Rustan M。；米夏·莫斯卡尔 相关软件： VCC；z3；布吉… 主要字段： 计算机科学（68-XX）
桑特 1份文件引用(2018) 软件作者： 奥马尔·切巴罗；尼古拉·科马托夫；阿兰·乔尔盖蒂；雅克·朱利亚德 相关软件： Frama-C；PathCrawler；Coq… 主要字段： 计算机科学（68-XX）
焦点检查 2份文件引用(2005–2006) 软件作者： 柯蒂斯·W·凯勒。；Diptikalyan Saha；萨米克·巴苏；斯科特·斯莫尔卡。 相关软件： 卫星抗体；奥兹；DiVer… 主要字段： 计算机科学（68-XX）