山茶花 97篇文献引用(2001–2023) 软件作者： 青木，Kazumaro；铁杉一川；神田、Masayuki；松井、三井；森井、希荷；中岛俊子；Tokita、Toshio 相关软件： 克利夫亚；现在；方形… 主要字段： 数论（11-XX）；数值分析（65-XX）；计算机科学（68-XX）…
粘合剂 14篇文献引用(2005–2022) 软件作者： J.德特雷维尔。 相关软件： DKAL；SWI-预测；鲁比… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
Paragon公司 9份文件引用(2010–2022) 软件作者： 尼古拉斯·布罗伯格（Niklas Broberg）；范·德尔夫特，巴特；大卫·桑兹 相关软件： Jif；github；SeLINQ… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
LoPSiL公司 5份文件引用(2009–2023) 软件作者： 杰·利加蒂（Jay Ligatti）；瑞奇，比利；纳林·赛加尔 相关软件： 方面J；BCEL；TaintDroid公司 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
康考迪亚 6篇文献引用(2001–2006) 软件作者： David Wong、Noemi Paciorek、Tom Walsh、Joe DiCelie、Mike Young、Bill Peet 相关软件： Aglet；旅行者号；MAWS… 主要字段： 计算机科学（68-XX）
莱姆 4份文件引用(2011–2021) 软件作者： 多米尼克·P·穆利根。；斯科特·欧文斯；凯瑟琳·格雷（Kathryn E.Gray）。；汤姆·里奇；彼得·休厄尔 相关软件： Isabelle/HOL；Coq；ACL2… 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）；信息与通信理论，电路（94-XX）
MetaKlaim公司 5份文件引用(2003–2020) 软件作者： Gianluigi法拉利；尤金尼奥·莫吉；罗萨里奥·普格利泽 相关软件： 科莱姆；克拉瓦；杰森… 主要字段： 计算机科学（68-XX）
TCB公司 5份文件引用(2003–2021) 软件作者： Andrew W.Appel。；Michael，新植物；阿伦·斯塔姆（Aaron Stump）；罗伯托·维尔加 相关软件： Coq；MetaCoq；ELPI… 主要字段： 计算机科学（68-XX）
JavaSPI（JavaSPI） 1份文件引用（2018年） 软件作者： 里卡多·西斯托；Bettassa Copet、Piergiuseppe；阿瓦莱，马蒂奥；阿尔弗雷多·皮隆蒂 相关软件： MJ；AGVI；Bouncy Castle… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
TryLinks（尝试链接） 在0个文档中引用 软件作者： 朱诺·吴（Junao Wu）、阿雷克·米科拉扎克（Arek Mikolajczak）、詹姆斯·切尼（James Cheney） 相关软件： Pingdom工具；AngularDart；链接 主要字段： –