VAMPIRE公司 308份文件引用(1985–2023) 软件作者： 亚历山大·里亚扎诺夫；安德烈·沃伦科夫 相关软件： TPTP；E定理证明器；SPASS… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；几何（51-XX）…
梅蒂斯_ 58篇文献引用（1987年-2023年） 软件作者： Joe Leslie-Hurd；metis-users@gilith.com 相关软件： Isabelle/HOL；E定理证明器；TPTP… 主要字段： 总体主题；藏品（00-XX）；历史与传记（01-XX）；数学逻辑与基础（03-XX）…
CoALP公司 25篇文献引用(2011–2023) 软件作者： 叶卡捷琳娜·科门丹斯卡娅；权力，约翰；马丁·施密特 相关软件： CoCaml公司；coFJ；ProbLog… 主要字段： 数学逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；范畴理论；同调代数（18-XX）…
CERES公司 21篇文献引用（2005年至2021年） 软件作者： Tsvetan Dunchev；亚历山大·莱奇（Alexander Leitsch）；托默·利巴尔（Tomer Libal）；丹尼尔·韦勒（Daniel Weller）；布鲁诺沃尔岑洛格尔古 相关软件： GAPT；校对工具；梅斯4… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
YASM公司 15篇文献引用(2006–2023) 软件作者： Arie Gurfinkel、Ou Wei、Marsha Chechik 相关软件： SLAM；爆炸；CUDD… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
萨彻姆ID 6篇文献引用(1995–2004) 软件作者： 唐纳德·洛夫兰（Donald W.Loveland）。；阿德南·H·叶海亚。 相关软件： 萨奇莫；DWAM；DCTP… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
MKRP公司 引用于3份文件(1996–2005) 软件作者： 艾辛格，N.，Ohlbach，H.J 相关软件： 欧米茄；KEIM公司；利奥… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
SPASS-AR公司 1份文件引用(2020) 软件作者： 安德烈亚斯·提克；克里斯托夫·韦登巴赫 相关软件： 阿凡达；雅高；iProver… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）