CeTA公司 49篇文献引用(2009–2023) 软件作者： 雷内·蒂曼；克里斯蒂安·斯特纳格尔 相关软件： Isabelle/HOL；伊莎贝尔；存档正式证据… 主要字段： 数学逻辑与基础（03-XX）；数论（11-XX）；交换代数（13-XX）…
符号数据 28篇文献引用(2004–2020) 软件作者： 格拉贝，汉斯·格特 相关软件： 单一；SDeval；SageMath… 主要字段： 交换代数（13-XX）；代数几何（14-XX）；结合环与代数（16-XX）…
MTT公司 引用于27份文件(2008–2023) 软件作者： Durán，F.，Lucas，S.，Meseguer，J。 相关软件： 莫德；AProVE；OBJ3… 主要字段： 总体主题；藏品（00-XX）；历史与传记（01-XX）；数学逻辑与基础（03-XX）…
CAVA LTL模型检查器 23篇文献引用(2015–2021) 软件作者： 哈维尔·埃斯帕尔扎（Javier Esparza）、彼得·兰米奇（Peter Lammich）、雷内·诺伊曼（ReneéNeumann）、托比亚斯·尼普科（Tobias Nipkow）、亚历山大·辛普夫；Jan-Georg Smaus公司 相关软件： Isabelle/HOL；存档正式证据；伊莎贝尔… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；概率论与随机过程（60-XX）…
MizarMode（米扎尔模式） 18篇文献引用（2006年至2019年） 软件作者： 约瑟夫·乌尔班 相关软件： 米扎尔；MML；MoMM… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
SAD公司 15篇文献引用(2004–2021) 软件作者： 藜芦碱、康斯坦丁；亚历山大·利亚列茨基（Alexander Lyaletski）；安德烈·帕斯科维奇 相关软件： 米扎尔；对于TheL；TPTP… 主要字段： 总体主题；藏品（00-XX）；历史与传记（01-XX）；数学逻辑与基础（03-XX）…
伊莎贝尔/PIDE 15篇文献引用(2012–2020) 软件作者： 马卡里乌斯·温泽尔；伯克哈特·沃尔夫 相关软件： 伊莎贝尔；辅酶q；Isabelle/j编辑… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
球状的 13份文件引用(2016–2022) 软件作者： Krzysztof Bar、Aleks Kissinger、Jamie Vicary 相关软件： 量子力学；GitHub；果园… 主要字段： 结合环与代数（16-XX）；范畴理论；同调代数（18-XX）；代数拓扑（55-XX）…
普罗维奥拉 8份文件引用（2010年至2016年） 软件作者： Tankink，Carst公司；赫尔曼·格乌弗斯；詹姆斯·麦金纳（James McKinna）；弗里克·威迪杰克 相关软件： 辅酶q；一般证明；伊莎贝尔… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
完备性定理 8份文件引用(2014–2018) 软件作者： 詹姆斯·马格森；汤姆·里奇 相关软件： 存档正式证据；Isabelle/HOL；FOL配件… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
Goedel上帝 8份文件引用(2015–2020) 软件作者： Christoph Benzmüller；Bruno Woltzenlogel古 相关软件： Isabelle/HOL；存档正式证据；Coq… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
Jordan范式 8份文件引用(2016–2024) 软件作者： 雷内·蒂埃曼；山田秋久 相关软件： Isabelle/HOL；存档正式证据；伊莎贝尔… 主要字段： 数学逻辑与基础（03-XX）；交换代数（13-XX）；数值分析（65-XX）…
TiML公司 8份文件引用(2018–2022) 软件作者： Wang，P.、Wang，D.、Chlipala，A。 相关软件： TcT；z3；分离逻辑… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
数学组件 7份文件引用(2016–2023) 软件作者： 数学组件团队 相关软件： 辅酶q；GitHub；Isabelle/HOL… 主要字段： 组合数学（05-XX）；数论（11-XX）；场论与多项式（12-XX）…
梅佐 6篇文献引用(2014–2022) 软件作者： 弗朗索瓦·波蒂埃；乔纳森·普罗琴科 相关软件： 锈蚀；锈带；工具链… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
脉冲 6篇文献引用(2021–2022) 软件作者： Sachit Menon、Alexandru Damian、Shijia Hu、Nikhil Ravi、Cynthia Rudin 相关软件： DnCNN；Wasserstein GAN；FFD网络… 主要字段： 总体主题；藏品（00-XX）；统计学（62-XX）；数值分析（65-XX）…
AutoBayes/CC 4份文件引用(2002–2004) 软件作者： Michael Whalen；约翰·舒曼（Johann Schumann）；伯恩德·菲舍尔 相关软件： SETHEO公司；VAMPIRE公司；常春藤… 主要字段： 计算机科学（68-XX）
深入学习（_L） 4份文件引用(2017–2023) 软件作者： 亚历山大·本特坎普 相关软件： Isabelle/HOL；多项式；Groebner_Bases… 主要字段： 交换代数（13-XX）；计算机科学（68-XX）
IsarMathLib公司 3份文件引用(2017–2021) 软件作者： – 相关软件： 元数学；米扎尔；伊莎贝尔/采埃孚… 主要字段： 数学逻辑与基础（03-XX）；代数拓扑（55-XX）；计算机科学（68-XX）
R-SATCHMO公司 2份文件引用(2004–2005) 软件作者： 何立峰；赵玉燕；伊藤秀内里 相关软件： SATCHMOREBID；I-SATCHMO；萨奇莫… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
二进制代码增强 2份文件引用(2022–2023) 软件作者： Holub，ŠtŞpán；拉什卡，马丁；什蒂·潘·斯塔罗斯塔 相关软件： 组合词；存档正式证据；Isabelle/HOL… 主要字段： 计算机科学（68-XX）
佩伦·弗罗贝尼乌斯 2份文件引用(2017–2021) 软件作者： Jose Divasón、Ondřej Kunčar、RenéThiemann、Akihisa Yamada 相关软件： 存档正式证据；Isabelle/HOL；AProVE… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；计算机科学（68-XX）
抽象稳健性 1份文件引用(2018) 软件作者： 贾斯敏·克里斯蒂安·布兰切特；安德烈·波佩斯库；德米特里·特拉泰尔 相关软件： GitHub；格栅；FOL_Harrison… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
庞加莱_Disc 1份文件引用(2021) 软件作者： Danijela Simić、Filip Marić和Pierre Boutry 相关软件： Complex_Geometry；GeoCoq；存档正式证据… 主要字段： 计算机科学（68-XX）