宾州树库 57篇文献引用(1996–2024) 软件作者： 宾夕法尼亚大学 相关软件： 亚当；WordNet；BERT… 主要字段： 数理逻辑与基础（03-XX）；统计学（62-XX）；数值分析（65-XX）…
GF公司 30篇文献引用(1999–2021) 软件作者： 阿恩·兰塔 相关软件： Coq；米扎尔；Isar… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）…
ITP公司 31份文件引用(2005–2023) 软件作者： Clavel，M。；帕洛米诺，M。；A.里斯科。 相关软件： 莫德；SCC；咖啡OBJ… 主要字段： 数理逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）
HARP（HARP） 15篇文献引用(1990–2020) 软件作者： Opacher，F。；苏恩，E 相关软件： SETHEO公司；TPTP；3TAP… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
VMEXT公司 6篇文献引用(2017–2022) 软件作者： 莫里茨·舒博茨（Moritz Schubotz）；诺曼·穆什克；托马斯·赫普（Thomas Hepp）；霍华德·科尔。；吉普，贝拉 相关软件： DLMF；CitePlag；LaTeXML… 主要字段： 总体主题；藏品（00-XX）；历史与传记（01-XX）；计算机科学（68-XX）
代码BLEU 在0个文档中引用 软件作者： 朔仁、郭大亚、帅路、龙舟、刘淑杰、唐杜宇、内尔·桑德雷森、明舟、安布罗西奥·布兰科、帅马 相关软件： CodeXGLUE；设计；图形代码BERT… 主要字段： ——