伊莎贝尔/HOL 1085份文件中引用(1996–2024) 软件作者： 沃尔夫冈·纳拉斯切夫斯基（Wolfgang Naraschewski）；托比亚斯·尼普科 相关软件： 伊莎贝尔；Coq；HOL… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；数论（11-XX）…
伊莎贝尔 742份文件引用(1990–2024) 软件作者： 拉里·保尔森（Larry Paulson）、托比亚斯·尼普科（Tobias Nipkow）、马卡里乌斯·温泽尔（Makarius Wenzel） 相关软件： Isabelle/HOL；HOL；Coq… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；数论（11-XX）…
存档正式证据 278篇文献引用(1963–2024) 软件作者： Jasmin Christian布兰切特；马克西米利安·哈斯贝克；丹尼尔·马提库克（Daniel Matichuk）；托比亚斯·尼普科 相关软件： Isabelle/HOL；伊莎贝尔；Coq… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；数论（11-XX）…
Isabelle/采埃孚 71篇文献引用(1993–2023) 软件作者： 劳伦斯·保尔森 相关软件： 伊莎贝尔；Coq；Isabelle/HOL… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；代数拓扑（55-XX）…
一般证明 52篇文献引用(2000–2020) 软件作者： 大卫·阿斯皮纳尔 相关软件： Coq；伊莎贝尔；Isabelle/HOL… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；偏微分方程（35-XX）…
奥特 34份文件引用(2007–2021) 软件作者： 彼得·休厄尔（Peter Sewell）；纳德利，弗朗西斯科·扎帕；斯科特·欧文斯；吉尔斯·佩斯金（Gilles Peskine）；托马斯·里奇；萨卡，苏米特；斯特尼萨，洛克 相关软件： Coq；Isabelle/HOL；名义上的伊莎贝尔… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）
马什 27篇文献引用(2001–2023) 软件作者： Daniel Kühlwein；贾斯敏·克里斯蒂安·布兰切特；Cezary Kaliszyk；约瑟夫·乌尔班 相关软件： E定理证明；Flyspeck；VAMPIRE… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
IsaCoSy公司 18篇文献引用(2010–2023) 软件作者： 穆阿·约翰逊（Moa Johansson）；卢卡斯·狄克逊；阿兰·邦迪 相关软件： HipSpec；IsaPlanner；时髦… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
赶时髦的人 在11份文件中引用(2014–2023) 软件作者： 穆阿·约翰逊（Moa Johansson）；丹·罗森；尼古拉斯·斯莫尔博内（Nicholas Smallbone）；科恩·克莱森 相关软件： HipSpec；快速检查；IsaCoSy… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
RALL公司 9份文件引用(1997–2014) 软件作者： 大卫·冯·奥海姆，托马斯·格里茨纳 相关软件： 拉尔夫；Isabelle/HOL；ARA… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
AmiCo公司 8份文件引用(2017–2023) 软件作者： Jasmin Christian布兰切特；Bouzy，艾默里克；安德烈亚斯·洛赫比勒；安德烈·波佩斯库；德米特里·特拉泰尔 相关软件： Isabelle/HOL；精益；Paco… 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）；信息与通信理论，电路（94-XX）
CoSMed公司 3份文件引用(2016–2021) 软件作者： Bauereiß，托马斯；佩森提·格里蒂（Pesenti Gritti），阿曼多（Armando）；安德烈·波佩斯库；佛朗哥·雷蒙迪 相关软件： FlowFox；CAVA LTL模型检查器；网址（Ur/Web）… 主要字段： 计算机科学（68-XX）
IsarMathLib公司 3份文件引用(2017–2021) 软件作者： – 相关软件： 元数学；米扎尔；伊莎贝尔/采埃孚… 主要字段： 数学逻辑与基础（03-XX）；代数拓扑（55-XX）；计算机科学（68-XX）
二进制代码增强 2份文件引用(2022–2023) 软件作者： Holub，ŠtŞpán；拉什卡，马丁；什蒂·潘·斯塔罗斯塔 相关软件： 组合词；存档正式证据；Isabelle/HOL… 主要字段： 计算机科学（68-XX）
FOL_哈里森 2份文件引用(2018) 软件作者： 亚历山大·伯奇·詹森（Alexander Birch Jensen）、安德斯·施利奇特克鲁尔（Anders Schlichtkrull）、约根·维拉德森（Jorgen Villadsen） 相关软件： 经验证的校准仪；存档正式证据；FOL配件… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
VeriMon公司 2份文件引用(2022–2023) 软件作者： David Basin；蒂鲍特·达迪尼尔；尼科·豪泽（Nico Hauser）；海姆斯、卢卡斯；韦尔塔·穆尼夫（Huerta y.Munive），乔纳森·朱利安（Jonathan Julián）；尼古拉斯·卡莱奇（Nicolas Kaletsch）；Krstić，Sr Djan；伊曼纽尔·马西卡诺；Martin Raszyk；乔舒亚·施奈德（Joshua Schneider）；蒂罗尔，达维特·莱吉斯；德米特里·特拉泰尔；希拉·辛格 相关软件： VeriPhy；德贾武；蒙保利… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
庞加莱磁盘 1份文件引用(2021) 软件作者： Danijela Simić、Filip Marić和Pierre Boutry 相关软件： Complex_Geometry；GeoCoq；存档正式证据… 主要字段： 计算机科学（68-XX）