伊莎贝尔/霍尔 1073份文件引用(1996–2024) 软件作者： 沃尔夫冈·纳拉斯切夫斯基（Wolfgang Naraschewski）；托比亚斯·尼普科 相关软件： 伊莎贝尔；Coq；HOL… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；数论（11-XX）…
伊莎贝尔 741份文件引用(1990–2024) 软件作者： 拉里·保尔森（Larry Paulson）、托比亚斯·尼普科（Tobias Nipkow）、马卡里乌斯·温泽尔（Makarius Wenzel） 相关软件： Isabelle/HOL；HOL；Coq… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；数论（11-XX）…
皮诺奇 91份文件引用(2013–2023) 软件作者： 巴诺，B.，詹特里，C.，豪厄尔，J.，雷科娃，M。 相关软件： C的SNARK；马林鱼；Geppetto… 主要字段： 数论（11-XX）；计算机科学（68-XX）；量子理论（81-XX）…
伊莎贝尔/采埃孚 引用于70篇文献(1993–2023) 软件作者： 劳伦斯·保尔森 相关软件： 伊莎贝尔；Coq；Isabelle/HOL… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；代数拓扑（55-XX）…
CeTA公司 49份文件中引用(2009–2023) 软件作者： 雷内·蒂曼；克里斯蒂安·斯特纳格尔 相关软件： Isabelle/HOL；伊莎贝尔；存档正式证据… 主要字段： 数学逻辑与基础（03-XX）；数论（11-XX）；交换代数（13-XX）…
分析 33篇文献引用(1993–2022) 软件作者： 鲍尔，A.，克拉克，E.M.，赵 相关软件： 定理；Nuprl；PVS… 主要字段： 数学逻辑与基础（03-XX）；实函数（26-XX）；计算机科学（68-XX）…
普罗米拉 30篇文献引用（1997年至2022年） 软件作者： Natarajan，V。；Gerard J.霍尔兹曼。 相关软件： 自旋蛋白；j自旋；ProB… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
zk-快照 29篇文献引用(2014–2024) 软件作者： Eli Ben-Sasson；亚历山德罗·基耶萨；Tromer，Eran；夫人维尔扎 相关软件： 皮诺奇；C的SNARK；马林… 主要字段： 数论（11-XX）；代数几何（14-XX）；计算机科学（68-XX）…
盖比特 26篇文献引用(2016–2023) 软件作者： 克雷格·科斯特洛（Craig Costello）；Cédric Fornet；乔恩·豪厄尔；马尔库夫·科尔维斯；本杰明·克鲁特；迈克尔·奈赫里格（Michael Naehrig）；布莱恩·帕诺；萨米·扎赫尔 相关软件： 皮诺奇；C的SNARK；利盖罗… 主要字段： 数论（11-XX）；代数几何（14-XX）；计算机科学（68-XX）…
科奎利科 22篇文献引用(2015–2024) 软件作者： 西尔维·博尔多；凯瑟琳·莱莱；纪尧姆·梅尔金德 相关软件： Coq；Isabelle/HOL；伊莎贝尔… 主要字段： 数学逻辑与基础（03-XX）；实函数（26-XX）；常微分方程（34-XX）…
F类* 21篇文献引用(2011–2020) 软件作者： 微软研究院（INRIA）；尼基尔·斯瓦米；Chen，Juan；Fornet，塞德里克；支柱，Pierre-Yves；卡尔蒂基扬·巴尔干；杨吉恩 相关软件： Coq；Nuprl；EasyCrypt… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
证书Coq 17篇文献引用(2017–2022) 软件作者： Anand，A.、Appel，A.、Morrisett，G.、Paraskevopoulou，Z.、Pollack，R.、Belanger，O.S.、Sozeau，M.、Weaver，M。 相关软件： Coq；CakeML；OEuf… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）
美赞臣 9份文件引用(2006–2019) 软件作者： Bierman GM、Parkinson MJ、Pitts AM 相关软件： 羽量级Java；中量级爪哇；旋风… 主要字段： 计算机科学（68-XX）
ModelPlex公司 10篇文献引用(2016–2024) 软件作者： Mitsch，S.、Platzer，A。 相关软件： 凯伊迈拉X；凯伊迈拉；Bellerophon… 主要字段： 数学逻辑与基础（03-XX）；常微分方程（34-XX）；计算机科学（68-XX）…
MAVEN公司 9份文件引用(2007–2013) 软件作者： Max Goldman；埃米利亚·卡茨（Emilia Katz）；Shmuel Katz 相关软件： ProMoVer；CVPP；Aspectual Caml… 主要字段： 计算机科学（68-XX）
分离逻辑 10篇文献引用(2015–2022) 软件作者： 彼得·兰米奇（Peter Lammich）；雷内·梅斯 相关软件： Isabelle/HOL；存档正式证据；伊莎贝尔… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
RALL公司 9份文件引用(1997–2014) 软件作者： 大卫·冯·奥海姆，托马斯·格里茨纳 相关软件： 拉尔夫；Isabelle/HOL；ARA… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
辛西娅 8份文件引用(2012–2022) 软件作者： Peter，H.-J.，Ehlers，R.，Mattmüller，R。 相关软件： UPPAAL TIGA；Uppaal；棱镜… 主要字段： 动力系统与遍历理论（37-XX）；计算机科学（68-XX）；系统论；控制（93-XX）
VST-弗洛伊德 9份文件引用(2018–2023) 软件作者： 曹勤祥；Lennart Beringer；塞缪尔·格鲁特（Samuel Gruetter）；约西亚·多兹；安德鲁·W·阿佩尔。 相关软件： Coq；工具链；锈蚀… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
电动汽车 6篇文献引用(2001–2021) 软件作者： 拉尔斯-奥克·弗雷德隆德；迪利安·古罗夫；托马斯·诺尔；Mads大坝；托马斯艺术；根纳迪·楚格诺夫 相关软件： 埃尔朗；伊莎贝尔；Coq… 主要字段： 计算机科学（68-XX）
RGITL公司 8份文件引用(2014–2022) 软件作者： 格哈德·谢尔霍恩（Gerhard Schellhorn）；托凡、博格丹；吉登•恩斯特（Ernst，Gidon）；Pf“ahler，Jörg；Reif，Wolfgang 相关软件： 自旋蛋白；KIV；Dafny… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
mkbTT公司 7份文件引用(2008–2022) 软件作者： 莎拉·温克勒；佐藤、晴彦；阿尔特米德尔多普；正仁Kurihara 相关软件： 斯洛思罗普；蒂罗尔；KBCV… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；群论与推广（20-XX）…
结块_lpr 6篇文献引用(2021–2023) 软件作者： Tan，Yong Kiam；马里恩·赫勒。；玛格努斯·奥·米林。 相关软件： DRAT-饰件；CaDiCaL；Paracooba… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
CoqEAL公司 5份文件引用(2012–2021) 软件作者： Dénès M；西里尔·科恩；安德斯·莫特伯格 相关软件： Coq；Coq/SS反射；精益… 主要字段： 数学逻辑与基础（03-XX）；数论（11-XX）；线性代数和多线性代数；矩阵理论（15-XX）…
TCB公司 5份文件引用(2003–2021) 软件作者： Andrew W.Appel。；Michael，新植物；阿伦·斯塔姆（Aaron Stump）；罗伯托·维尔加 相关软件： Coq；MetaCoq；ELPI… 主要字段： 计算机科学（68-XX）
小牛 3份文件引用(2017–2022) 软件作者： Gerco van Heerdt、Matteo Sammartino、Alexandra Silva 相关软件： LearnLib；杠杆；西格玛*… 主要字段： 计算机科学（68-XX）
科根（Cogent） 3份文件引用(2016–2022) 软件作者： 克里斯汀·里兹卡拉（Christine Rizkallah）；利姆，贾菲斯；永田县长岛；Thomas Sewell；陈子林；利亚姆·奥康纳；托比·穆雷；加布里埃尔·凯勒；格温·克莱恩 相关软件： 锈带；哈斯克尔；旋风… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
Metamath零 3份文件引用(2020–2023) 软件作者： 马里奥·卡内罗 相关软件： CakeML；Isabelle/HOL；Coq… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
NetCore公司 2份文件引用（2013年至2018年） 软件作者： 克里斯托弗·孟山都；Nate Foster；罗布·哈里森（Rob Harrison）；大卫·沃克 相关软件： github；净KAT；菲马托… 主要字段： 计算机科学（68-XX）
RookWalks公司 3份文件引用(2011–2022) 软件作者： 多伦·齐尔伯格 相关软件： MultiZeilberger；CTcong.txt文件；OEIS… 主要字段： 组合数学（05-XX）；数论（11-XX）；代数几何（14-XX）…
ADG公司 2份文件引用(2019–2021) 软件作者： Enevoldsen，瑟伦；Larsen，Kim Guldstrand；吉·斯尔巴 相关软件： 塔帕尔；PRISM-游戏 主要字段： 计算机科学（68-XX）
构造性证明FLP 2份文件引用（2016年至2018年） 软件作者： 本杰明·比斯平；鲍尔·达维德·布罗德曼；蒂姆·荣尼尼；克里斯蒂娜·里克曼；Seidler，Henning；安克·Stüber；Wilhelm Weidner，阿诺；彼得斯（Kirstin Peters）；乌韦·内斯特曼 相关软件： 存档正式证据；铁人舰队；CVC4… 主要字段： 计算机科学（68-XX）
DynaMate公司 1份文件引用(2015) 软件作者： Galeotti，J.P.、Furia，C.A.、May，E.、Fraser，G.、Zeller，A 相关软件： 灵华；VAMPIRE公司；KeY… 主要字段： 计算机科学（68-XX）
杰克洛伊 1份文件引用(2012) 软件作者： Aboubakr Achraf El Ghazi、Mattias Ulbrich、Christoph Gladisch、Shmuel Tyszberowicz、Mana Taghdiri 相关软件： 雅典娜；凯洛伊；KeY… 主要字段： 计算机科学（68-XX）
PiMaG公司 2份文件引用(2005–2011) 软件作者： Manolios、Panagiotis；Srinivasan，Sudarshan K。 相关软件： MiniSat；Calysto；Velev SAT基准… 主要字段： 计算机科学（68-XX）
RISCAL公司 2份文件引用(2018) 软件作者： 沃尔夫冈·施莱纳 相关软件： Nitpick公司；数学聊天；CoqHammer… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
WhyMP公司 2份文件引用(2020–2023) 软件作者： 梅尔金德（Melquiond）、纪尧姆（Guillaume）；拉斐尔·里乌·赫尔夫特 相关软件： Why3；HACL*；gmp… 主要字段： 计算机科学（68-XX）
CRDT公司 1份文件引用(2020) 软件作者： 维克托·戈麦斯（Victor B.F.Gomes）；马丁·克莱普曼；多米尼克·P·穆里根；阿拉斯泰尔·贝雷斯福德 相关软件： github；存档正式证据；布吉 主要字段： 计算机科学（68-XX）
克雷尔夫姆 1份文件引用(2021) 软件作者： Kang，J.、Kim，Y.、Song，Y.、Lee，J.、Park，S.、Shin，M.D.、Kim，Y.、Cho，S.、Choi，J.、Hur，C.、Yi，K。 相关软件： WebAssembly；CVT；循环… 主要字段： 计算机科学（68-XX）
基于游戏的加密 1份文件引用(2020) 软件作者： 安德烈亚斯·洛赫比勒（Andreas Lochbihler）、S.Reza Sefidgar、Bhargav Bhatt 相关软件： Nuprl；动物园概率系统；MFMC_可计数… 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）；信息与通信理论，电路（94-XX）
凯洛伊 1份文件引用(2012) 软件作者： 马蒂亚斯·乌尔布里奇；乌尔里希·盖尔曼；艾尔·加齐（El Ghazi），阿布巴克·阿赫拉夫（Aboubakr Achraf）；马纳·塔赫迪里 相关软件： 雅典娜；JKelloy；KeY… 主要字段： 计算机科学（68-XX）
TBUDDY（待定） 1份文件引用(2023) 软件作者： Bryant，Randal E。 相关软件： Paracooba；基萨特；SBSAT… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
托尔佩多 1份文件引用(2021) 软件作者： 克劳迪奥·蒙吉（Claudio Menghi）；亚历山德罗·玛丽亚·里齐（Alessandro Maria Rizzi）；Anna Bernasconi；鲍拉·斯波莱蒂尼 相关软件： github；KEGG；LTSA-WS… 主要字段： 计算机科学（68-XX）