阿格达 233份文件引用(1999–2024) 软件作者： 乌尔夫·诺雷尔 相关软件： Coq；哈斯克尔；Isabelle/HOL… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）…
DRAT-饰件 56篇文献引用(2014–2023) 软件作者： 内森·韦兹勒（Nathan Wetzler）；Heule，Marijn J.H。；沃伦·亨特。 相关软件： MiniSat；Isabelle/HOL；CaDiCaL… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；凸和离散几何（52-XX）…
CVC精简版 51篇文献引用(2004–2020) 软件作者： 肖恩·麦克劳林（Sean Mclaughlin）；克拉克·巴雷特；葛叶婷 相关软件： HOL灯；糠；SMT-LIB… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
常春藤 45篇文献引用(2000–2023) 软件作者： 威廉·麦库恩；奥尔加·舒姆斯基 相关软件： 常春藤；z3；TPTP… 主要字段： 数学逻辑与基础（03-XX）；群论与推广（20-XX）；计算机科学（68-XX）
CalcCheck（计算检查） 41篇文献引用(1993–2021) 软件作者： 沃尔夫拉姆·卡尔 相关软件： Z；Coq；哈斯克尔… 主要字段： 数学逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；计算机科学（68-XX）…
TLA公司 29篇文献引用(1992–2023) 软件作者： L.兰波特 相关软件： 自旋蛋白；z3；加号… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
风笛手 28篇文献引用(2002–2017) 软件作者： 萨加尔·查基；Rajamani，Sriram K。；雅各布·雷霍夫 相关软件： SLMC；旋风；PiDuce… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
HySAT卫星 26篇文献引用(2006–2021) 软件作者： Fränzle，Martin；克里斯蒂安·赫尔德 相关软件： 高科技；数学SAT；SpaceEx… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；粒子力学与系统（70-XX）…
迪杜克蒂 24篇文献引用(2012–2023) 软件作者： 马修·博埃斯弗鲁格（Mathieu Boespflug）、罗南·赛拉德（Ronan Saillard）、弗朗索瓦·瑟雷（François Thiré）、加斯帕德·弗雷（Gaspard Férey） 相关软件： Coq；泽农；HOL灯… 主要字段： 总体主题；藏品（00-XX）；历史与传记（01-XX）；数学逻辑与基础（03-XX）…
CAVA LTL模型检查器 23篇文献引用(2015–2021) 软件作者： 哈维尔·埃斯帕尔扎（Javier Esparza）、彼得·兰米奇（Peter Lammich）、雷内·诺依曼（Rene Neumann）、托比亚斯·尼普科（Tobias Nipkow）、亚历山大·辛普夫（Alexander Schimpf）；Jan-Georg Smaus公司 相关软件： Isabelle/HOL；存档正式证据；伊莎贝尔… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；概率论与随机过程（60-XX）…
HOL/旋转 22篇文献引用(2000–2017) 软件作者： 卡尔蒂基扬·巴尔干；卡尔·A·冈特。；达沃·奥布拉多维奇 相关软件： 自旋蛋白；Uppaal；AODV… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
F类* 21篇文献引用(2011–2020) 软件作者： 微软研究院（INRIA）；Swamy，Nikhil；Chen，Juan；Fornet，塞德里克；支柱，Pierre-Yves；卡尔蒂基扬·巴尔干；杨吉恩 相关软件： Coq；Nuprl公司；EasyCrypt… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
常规集合 16篇文献引用(2011–2018) 软件作者： 亚历山大·克劳斯；托比亚斯·尼普科 相关软件： Isabelle/HOL；Coq；存档正式证据… 主要字段： 数学逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；计算机科学（68-XX）
SMTCoq公司 14篇文献引用(2017–2022) 软件作者： Ekici，B.等人。 相关软件： Coq；Isabelle/HOL；CVC4… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；几何（51-XX）…
VeriML公司 8份文件引用(2010–2016) 软件作者： 安东尼斯·斯坦普利斯（Antonis Stampoulis）；邵，钟 相关软件： Coq；甲基丙烯酸甲酯；seL4… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
梅佐 6篇文献引用(2014–2022) 软件作者： 弗朗索瓦·波蒂埃；乔纳森·普罗琴科 相关软件： 锈蚀；锈带；工具链… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
PREVAIL公司 5份文件引用(1992–2014) 软件作者： 多米尼克·博里奥内；劳伦斯·皮埃尔；阿什拉夫·塞勒姆 相关软件： Nuprl公司；辅酶MTU；Coquet… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
蛋糕 6篇文献引用(2021–2023) 软件作者： Tan，Yong Kiam；Heule，Marijn J.H。；玛格努斯·奥·米林。 相关软件： DRAT-饰件；CaDiCaL；Paracooba… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
沙帕尔 6篇文献引用（2016年-2023年） 软件作者： 莱萨尼，莫森；克里斯蒂安·贝尔（Christian J.Bell）。；亚当·奇利帕拉 相关软件： 铁人舰队；威尔第；z3… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
拉尔夫 6篇文献引用(1997–2014) 软件作者： 克劳迪娅·哈登斯珀格、鲁道夫·伯哈默、冈特·施密特 相关软件： RALL；RelView；Isabelle/HOL… 主要字段： 总体主题；藏品（00-XX）；历史与传记（01-XX）；数学逻辑与基础（03-XX）…
jMocha公司 5份文件引用(2008–2023) 软件作者： 阿鲁尔（Alur，R.）。；de Alfaro，L。；格罗苏，R。；Henzinger，T。；托马斯，A。；Kang，M。；Kirsch，C。；马朱姆达尔，R。；Mang，F。；王，B.-Y。 相关软件： 摩卡；MCMAS；MCMAS-SLK… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
MFE公司 4份文件引用(2012–2023) 软件作者： 弗朗西斯科·杜兰；卡米洛·罗查；何塞·M·阿尔瓦雷斯。 相关软件： 莫德；ITP；P审计… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
TCB公司 5份文件引用(2003–2021) 软件作者： Andrew W.Appel。；Michael，新植物；阿伦·斯塔姆（Aaron Stump）；罗伯托·维尔加 相关软件： Coq；MetaCoq；ELPI… 主要字段： 计算机科学（68-XX）
AgsyHOL公司 4份文件引用(2013–2015) 软件作者： F.林布拉德。 相关软件： TPTP；Nitpick公司；Isabelle/HOL… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
AsmetaSMV公司 引用于2份文件(2016–2021) 软件作者： Arcaini，P.、Gargantini，A.、Riccobene，E。 相关软件： 昏迷；NuSMV；ASMETA… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
鳄鱼 引用于2份文件(2011–2021) 软件作者： Colange，M。；Baarir，S。；Kordon，F。；蒂里·米格（Thierry-Mieg，Y.）。 相关软件： 海伦娜；AlPiNA；GreatSPN公司 主要字段： 计算机科学（68-XX）
IsarMathLib公司 3份文件引用(2017–2021) 软件作者： – 相关软件： 元数学；米扎尔；伊莎贝尔/采埃孚… 主要字段： 数学逻辑与基础（03-XX）；代数拓扑（55-XX）；计算机科学（68-XX）
VeriStar公司 3份文件引用(2012–2016) 软件作者： 戈登·斯图尔特；Lennart Beringer；安德鲁·W·阿佩尔。 相关软件： Coq；jStar；小脚… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
ABSFOL公司 引用于2份文件(1996–1997) 软件作者： 福斯托·金西格里亚（Fausto Giunchiglia）；阿道夫·维拉菲奥里塔 相关软件： InKa；KIV；标记器… 主要字段： 计算机科学（68-XX）
代码2发票 引用于2份文件(2020–2022) 软件作者： 司旭杰；阿迪提亚·奈克（Aaditya Naik）；戴、韩军；Mayur Naik；宋乐 相关软件： CLN2INV公司；z3；CVC4SY… 主要字段： 计算机科学（68-XX）
DRABT公司 引用于2份文件(2015–2016) 软件作者： Marijn J.H.Heule；阿明·比尔 相关软件： MiniSat；DRAT-饰件；PicoSAT… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）
假设-检查器 引用于2份文件（2017年至2018年） 软件作者： 彼得·格雷戈（Petr Gregor）；诺沃顿，托马斯；什·克里科夫斯基（Rister） 相关软件： github 主要字段： 组合数学（05-XX）；信息与通信理论，电路（94-XX）
Nusschecker（数字检查器） 引用于2份文件(2020–2023) 软件作者： 丹尼尔·考夫曼（Daniela Kaufmann）；阿明·比尔 相关软件： 帕切克；博斯普鲁斯；RevSCA… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
克雷尔夫姆 1份文件引用（2021年） 软件作者： Kang，J.、Kim，Y.、Song，Y.，Lee，J.，Park，S.、Shin，M.D.、Kim。 相关软件： WebAssembly；CVT；松散… 主要字段： 计算机科学（68-XX）
埃克斯特拉克托 在0个文档中引用 软件作者： Mohamed Yacine El Haddad、Guillaume Burel、Frédéric Blanqui 相关软件： ArchSAT；拉链位置；E定理证明器… 主要字段： –
EthVer公司 1份文件引用（2021年） 软件作者： 尤卡斯·马祖雷克 相关软件： 曼蒂科尔；甲氰菊酯；Why3… 主要字段： 博弈论、经济学、金融和其他社会和行为科学（91-XX）；信息与通信理论，电路（94-XX）