太阳神 10篇文献引用（1997年至2015年） 软件作者： 劳伦特·米歇尔（Laurent Michel）、帕斯卡·范·亨特利克（Pascal Van Hentenryck） 相关软件： AMPL；牛顿；FleetWave… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；流体力学（76-XX）…
SemFix公司 4份文件引用(2017–2023) 软件作者： Hoang Duong Thien Nguyen、Dawei Qi、Abhik Roychoudhury、Satish Chandra 相关软件： 先知；安吉利克斯；缺陷4J… 主要字段： 计算机科学（68-XX）
SPARQ2L系列 5份文件引用(2009–2022) 软件作者： 科马福·安彦武；安吉拉·马杜科；阿米特·谢斯 相关软件： SPARQL；耶拿；XPath… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
基因标签 1份文件引用(2008) 软件作者： Tanabe，L。；谢，N。；托姆，L.H。；马顿·W。；W.J.威尔伯。 相关软件： GENIA语料库；引导；OpenDMAP… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
莱姆 4份文件引用(2011–2021) 软件作者： 多米尼克·P·穆利根。；斯科特·欧文斯；格雷，凯瑟琳·E。；汤姆·里奇；彼得·休厄尔 相关软件： Isabelle/HOL；Coq；ACL2… 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）；信息与通信理论，电路（94-XX）
验证日志 4份文件引用(2008–2018) 软件作者： 乔治·科埃略（Jorge Coelho），马里奥·弗洛里多（Mário Florido） 相关软件： CLP（柔性）；定理；数学… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
VeriFly公司 2份文件引用(2021–2022) 软件作者： Sanchez-Ordaz，Miguel A。；伊莎贝尔·加西亚·孔特雷拉斯（Isabel Garcia-Contreras）；维克托·佩雷斯（Victor Perez）；JoséF.Morales。；洛佩斯·加西亚，佩德罗；曼努埃尔五世（Manuel V.Hermenegildo）。 相关软件： 汞；CiaoPP；再见… 主要字段： 计算机科学（68-XX）
FCA2VEC公司 1份文件引用(2022) 软件作者： 杜尔施纳贝尔，多米尼克；汤姆·汉尼卡（Tom Hanika）；马克西米利安·斯塔比曼 相关软件： Wikibase；PRMLT；Scikit… 主要字段： 计算机科学（68-XX）