HOL灯 320篇文献引用(1998–2024) 软件作者： 约翰·哈里森 相关软件： Coq；Isabelle/HOL；HOL… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；数论（11-XX）…
CESAR公司 160篇文献引用(1982–2023) 软件作者： Queille，J.P。；J.西法基斯。 相关软件： 自旋蛋白；SLAM；Uppaal… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
ETPS公司 162篇文献引用(1986–2022) 软件作者： 彼得·安德鲁斯（Peter Andrews）、马修·毕晓普（Matthew Bishop）、查德·布朗（Chad E.Brown）、苏尼尔·伊萨尔（Sunil Issar）、丹·内史密斯（Dan Nesmith）、弗兰克·普芬宁（Frank Pfenning 相关软件： TPS；Isabelle/HOL；HOL… 主要字段： 总体主题；藏品（00-XX）；历史与传记（01-XX）；数学逻辑与基础（03-XX）…
Why3号机组 144篇文献中引用（2004年-2023年） 软件作者： 弗朗索瓦·博博特；Jean-Christophe Filliátre；克劳德·马奇；纪尧姆·梅尔昆德；安德烈·帕斯科维奇 相关软件： Coq；卡拉卡拉；z3… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；数值分析（65-XX）…
摩卡 85篇文献引用(1999–2023) 软件作者： Alur，R.，Henzinger，T.A.，Mang，F.Y.C.，Qadeer，S.，Rajamani，S.K.，Tasiran，S。 相关软件： MCMAS；自旋蛋白；棱镜… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
测试程序集 78篇文献引用(1990–2022) 软件作者： Andrews，Peter B。；乍得·E·布朗。 相关软件： TPTP；ETPS；HOL… 主要字段： 总体主题；藏品（00-XX）；历史与传记（01-XX）；数理逻辑与基础（03-XX）…
CakeML公司 60篇文献引用(2014–2023) 软件作者： 拉马纳库马尔；玛格努斯·奥·米林（Magnus O.Myreen）。；迈克尔·诺里什（Michael Norrish）；斯科特·欧文斯 相关软件： Isabelle/HOL；Coq；HOL… 主要字段： 总体主题；藏品（00-XX）；历史与传记（01-XX）；数学逻辑与基础（03-XX）…
凯伊迈拉 55份文件引用(2008–2023) 软件作者： 安德烈·普拉泽；贾·戴维德·奎塞尔 相关软件： SpaceEx；凯伊迈拉X；高科技… 主要字段： 数学逻辑与基础（03-XX）；线性代数和多线性代数；矩阵理论（15-XX）；常微分方程（34-XX）…
WhyML公司 44篇文献引用(2013–2023) 软件作者： 让-克里斯托夫，菲力（Filliâtre）；安德烈·帕斯科维奇 相关软件： Why3；z3；Coq… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；数论（11-XX）…
天秤座 29篇文献引用(2019–2023) 软件作者： 谢天成；张家恒；张玉鹏；Papamanthou、Charalampos；歌曲，黎明 相关软件： 力比奥；斯巴达人；利盖罗… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；量子理论（81-XX）…
Minlog公司 25篇文献引用(2001–2023) 软件作者： 乌尔里希·伯杰；宫本健二；赫尔穆特·施维赫滕贝格（Helmut Schwichtenberg）；莫尼卡·塞森伯格 相关软件： Coq；Nuprl；伊莎贝尔… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；场论与多项式（12-XX）…
F类* 21篇文献引用(2011–2020) 软件作者： 微软研究院（INRIA）；尼基尔·斯瓦米；Chen，Juan；Fornet，塞德里克；支柱，Pierre-Yves；卡尔蒂基扬·巴尔干；杨吉恩 相关软件： Coq；Nuprl；EasyCrypt… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
暂停 17篇文献引用(1980–2021) 软件作者： 威廉·G·库拉特。；理查德·奥尼尔。 相关软件： 古罗比；SCS；CVXPY… 主要字段： 偏微分方程（35-XX）；流形和细胞复合体（57-XX）；数值分析（65-XX）…
HOL-Boogie公司 在14份文件中引用(2008–2019) 软件作者： Böhme，萨沙；Leino，K.Rustan M。；沃尔夫，伯克哈特 相关软件： Isabelle/HOL；Why3；布吉… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
埃德蒙兹-卡普 10篇文献引用(2016–2022) 软件作者： 彼得·拉姆米奇；塞菲加·雷扎 相关软件： Isabelle/HOL；存档正式证据；Gabow SCC… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；概率论与随机过程（60-XX）…
ML4PG系列 10篇文献引用(2013–2021) 软件作者： 乔纳森·赫拉斯；叶卡捷琳娜·科门丹茨卡亚 相关软件： Coq；SEPIA；Flyspeck… 主要字段： 数学逻辑与基础（03-XX）；几何（51-XX）；计算机科学（68-XX）
自动校对 7份文件引用(2015–2023) 软件作者： Tschannen，J。；加利福尼亚州福利亚；诺迪奥，M。；北卡罗来纳州波里卡波娃。 相关软件： 达夫尼；VCC；VeriFast… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
贝勒罗芬 8份文件引用（2017年-2023年） 软件作者： Nathan Fulton；斯特凡·米奇；布兰登·伯勒；安德烈·普拉泽 相关软件： 凯伊迈拉X；凯伊迈拉；ModelPlex… 主要字段： 数学逻辑与基础（03-XX）；常微分方程（34-XX）；计算机科学（68-XX）…
F外壳 6篇文献引用(2010–2016) 软件作者： 安德烈亚斯·霍尔泽（Andreas Holzer）；克里斯蒂安·夏尔哈特；迈克尔·陶奇尼格（Michael Tautschnig）；赫尔穆特·维思 相关软件： Java PathFinder；CPA检查员；RapiTime… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
LIRA公司 7份文件引用(2008–2021) 软件作者： Becker，B.、Dax，C.、Eisinger，J.、Klaedtke，F。 相关软件： 睫毛；cvc3；TaPAS… 主要字段： 数学逻辑与基础（03-XX）；一般代数系统（08-XX）；计算机科学（68-XX）
RGITL公司 8份文件引用(2014–2022) 软件作者： 格哈德·谢尔霍恩（Gerhard Schellhorn）；托凡、博格丹；吉登•恩斯特（Ernst，Gidon）；Pf“ahler，Jörg；Reif，Wolfgang 相关软件： 自旋蛋白；KIV；Dafny… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
杰克 4份文件引用(2004–2011) 软件作者： Gilles Barthe、Lilian Burdy、Julien Charles、Benjamin Grégoire、Marieke Huisman、Jean-Louis Lanet、Mariela Pavlova、Antoine Requet 相关软件： 卡拉卡拉；JML；Why3… 主要字段： 计算机科学（68-XX）
CVTree3公司 4份文件引用(2008–2017) 软件作者： 左，G。；郝，B。 相关软件： PHYLIP；EMBOSS；火花… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
校对员 6篇文献引用(2015–2023) 软件作者： Obua，S.、Fleuriot，J.D.、Scott，P.、Aspinall，D。 相关软件： 伊莎贝尔/采埃孚；伊莎贝尔；Mizar… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
伊曼德拉 5份文件引用(2020–2022) 软件作者： 格兰特·奥尼·帕斯莫尔（Grant Olney Passmore）、西蒙·克鲁恩斯（Simon Cruanes）、丹尼斯·伊格纳托维奇（Denis Ignatovich）、戴夫·艾特肯（Dave Aitken）、马特·布雷（Matt Bray 相关软件： VAMPIRE公司；SMT-LIB；芝诺… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
jMocha公司 5份文件引用(2008–2023) 软件作者： 阿鲁尔（Alur，R.）。；de Alfaro，L。；格罗苏，R。；Henzinger，T。；托马斯。；康，M。；Kirsch，C。；马朱姆达尔，R。；Mang，F。；Wang，B.-Y。 相关软件： 摩卡；MCMAS；MCMAS-SLK… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
阿斯特拉维尔 2份文件引用(2021–2022) 软件作者： 格里戈里·沃尔科夫、米哈伊尔·曼德利金、丹尼斯·埃弗雷莫夫 相关软件： Coq；Why3；Dafny… 主要字段： 计算机科学（68-XX）
Plat-Omega平台 3份文件引用(2007–2019) 软件作者： 马克·瓦格纳（Marc Wagner）；谢尔盖·奥特西耶；克里斯托夫·本兹穆勒 相关软件： 乳胶；OMDoc；MMTTeX… 主要字段： 计算机科学（68-XX）
新加坡 2份文件引用（2010年至2015年） 软件作者： Ben-Horin，P.，Shoham，M.，Caro，S.，Chablat，D.，Wenger，P。 相关软件： SYMORO+；数学软件 主要字段： 计算机科学（68-XX）；粒子和系统力学（70-XX）
CAVA公司 2份文件引用(2018–2019) 软件作者： 朱利安·布伦纳；彼得·兰米奇（Peter Lammich）；等。 相关软件： 石笼SCC；CAVA LTL模型检查器；存档正式证据… 主要字段： 计算机科学（68-XX）
构造性证明FLP 2份文件引用（2016年至2018年） 软件作者： 本杰明·比斯平；鲍尔·达维德·布罗德曼；蒂姆·荣尼尼；克里斯蒂娜·里克曼；Seidler，Henning；安克·Stüber；Wilhelm Weidner，阿诺；彼得斯（Kirstin Peters）；乌韦·内斯特曼 相关软件： 存档正式证据；铁人舰队；CVC4… 主要字段： 计算机科学（68-XX）
霍尔巴 2份文件引用(2020–2022) 软件作者： 迪德里克·伦德伯格（Didrik Lundberg）；罗伯特·瓜夏莱（Roberto Guanciale）；安德烈亚斯·林德纳；达姆，麦兹 相关软件： RGITL；达菲；GNAT证明… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
ILF-设置 2份文件引用（1997年） 软件作者： 安德烈亚斯·沃尔夫（Andreas Wolf）；约翰·舒曼 相关软件： SETHEO公司；E-SETHEO；HOL… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
Isabelle/自由度 2份文件引用(2018–2021) 软件作者： 阿希姆·D·布鲁克。；艾特·萨杜恩（Ait-Sadoune），伊迪尔（Idir）；保罗·克里萨富利（Paolo Crisafulli）；沃尔夫，伯克哈特 相关软件： Isabelle/HOL；伊莎贝尔；存档正式证据… 主要字段： 计算机科学（68-XX）
校对小工具 2份文件引用(2021–2022) 软件作者： 爱德华·艾尔斯（Edward W.Ayers）。；贾姆尼克，马蒂亚；W.T.Gowers。 相关软件： 精益；mathlib；岩浆… 主要字段： 计算机科学（68-XX）
PVSio-网 2份文件引用(2014–2016) 软件作者： Patrick Oladimeji、Paolo Masci、Paul Curzon、Harold Thimbleby 相关软件： 操纵器；HybridSal；HSolver… 主要字段： 计算机科学（68-XX）；系统论；控制（93-XX）
第二阶段 1份文件引用(2017) 软件作者： Martin DP、Williamson C、Posada D 相关软件： SplitsTree；PhyloBayes 3；分区查找器… 主要字段： 总体主题；藏品（00-XX）；生物学和其他自然科学（92-XX）
VeriFly公司 2份文件引用(2021–2022) 软件作者： Sanchez-Ordaz，Miguel A。；伊莎贝尔·加西亚·孔特雷拉斯（Isabel Garcia-Contreras）；维克托·佩雷斯（Victor Perez）；JoséF.Morales。；佩德罗·洛佩兹·加西亚；曼努埃尔五世（Manuel V.Hermenegildo）。 相关软件： 汞；CiaoPP；再见… 主要字段： 计算机科学（68-XX）
联合验证人 1份文件引用(2023) 软件作者： 是的，埃里克；Hitaj，Briland；Owre，Sam；梅纳·奎梅纳；Natarajan Shankar 相关软件： TacTok；游戏Pad；深度数学… 主要字段： 计算机科学（68-XX）
高规格 1份文件引用(2012) 软件作者： J.S.Dong、P.Hao、X.Zhang、S.C.Qin 相关软件： 规范#；VeriCool公司；LUSTRE… 主要字段： 计算机科学（68-XX）
卡拉斯 1份文件引用(2023) 软件作者： 波乔拉，约翰内斯·奥曼；戈梅斯·隆多尼奥，亚历杭德罗；詹姆斯·沙克（James Shaker）；迈克尔·诺里什 相关软件： 皮罗埃特；类动物；Coq公司 主要字段： 计算机科学（68-XX）
ViCE公司 1份文件引用(2022) 软件作者： 奥斯卡·戈麦斯（Oscar Gomez）、斯特芬·霍尔特（Steffen Holter）、袁军（Jun Yuan）、恩里科·贝尔蒂尼（Enrico Bertini） 相关软件： MurTree；github；ORL… 主要字段： 统计学（62-XX）；计算机科学（68-XX）