伊莎贝尔/HOL 1076份文件引用(1996–2024) 软件作者： 沃尔夫冈·纳拉斯切夫斯基（Wolfgang Naraschewski）；托比亚斯·尼普科 相关软件： 伊莎贝尔；Coq；霍尔… 主要字段： 数学逻辑与基础（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）…
HOL公司 592份文件引用(1985–2023) 软件作者： 迈克尔·J·C·戈登。 相关软件： 伊莎贝尔；Isabelle/HOL；ML… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；数论（11-XX）…
HOL灯 320篇文献引用(1998–2024) 软件作者： 约翰·哈里森 相关软件： Coq；Isabelle/HOL；霍尔… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；数论（11-XX）…
Isabelle/采埃孚 70篇文献引用(1993–2023) 软件作者： 劳伦斯·保尔森 相关软件： 伊莎贝尔；Coq；Isabelle/HOL… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；代数拓扑（55-XX）…
MPTP 0.2 55份文件引用(2006–2021) 软件作者： 约瑟夫·乌尔班 相关软件： 米扎尔；VAMPIRE公司；E定理证明… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
CeTA公司 49篇文献引用(2009–2023) 软件作者： 雷内·蒂曼；克里斯蒂安·斯特纳格尔 相关软件： Isabelle/HOL；伊莎贝尔；存档正式证据… 主要字段： 数学逻辑与基础（03-XX）；数论（11-XX）；交换代数（13-XX）…
Z/EVES公司 35篇文献引用(1998–2021) 软件作者： 社区Z工具项目 相关软件： Z；电源保护；马戏团… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；代数几何（14-XX）…
CoLoR公司 40篇文献引用(2006–2022) 软件作者： F.Blanqui、W.Delobel、S.Coupet Grimal、S.Hinderer、A.Koprowski 相关软件： Coq；Isabelle/HOL；CeTA… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；线性代数和多线性代数；矩阵理论（15-XX）…
符号数据 28篇文献引用(2004–2020) 软件作者： 汉斯·格特·格拉贝 相关软件： 单一；SDeval；SageMath… 主要字段： 交换代数（13-XX）；代数几何（14-XX）；结合环与代数（16-XX）…
TLA公司 29篇文献引用(1992–2023) 软件作者： L.兰波特 相关软件： 自旋蛋白；z3；加号… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
HySAT卫星 26篇文献引用(2006–2021) 软件作者： Fränzle，Martin；克里斯蒂安·赫尔德 相关软件： 高科技；数学SAT；SpaceEx… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；粒子和系统力学（70-XX）…
MTT公司 引用于27份文件(2008–2023) 软件作者： Durán，F.，Lucas，S.，Meseguer，J。 相关软件： 莫德；AProVE；OBJ3… 主要字段： 总体主题；藏品（00-XX）；历史与传记（01-XX）；数学逻辑与基础（03-XX）…
繁荣 23篇文献引用(2000–2009) 软件作者： 路易斯·丹尼斯（Louise A.Dennis）。；格雷厄姆·柯林斯；迈克尔·诺里什（Michael Norrish）；理查德·博尔顿（Richard Boulton）；斯林德，康拉德；格雷厄姆·罗宾逊（Graham Robinson）；迈克·戈登；汤姆·梅尔姆 相关软件： PVS；OMRS；甘道夫… 主要字段： 总体主题；藏品（00-XX）；历史与传记（01-XX）；数学逻辑与基础（03-XX）…
塑料 18篇文献引用(2000–2023) 软件作者： 保罗·卡拉汉 相关软件： 乐高；Coq；ALF… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
MizarMode（米扎尔模式） 18篇文献引用(2006–2019) 软件作者： 约瑟夫·乌尔班 相关软件： 米扎尔；MML；MoMM… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
音乐厅 18篇文献引用(2011–2023) 软件作者： 克里斯蒂安·柯奇斯 相关软件： qpHPSC；Ipopt；Mintoc… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；量子理论（81-XX）…
qpHPSC 18篇文献引用(2011–2023) 软件作者： 克里斯蒂安·柯奇斯 相关软件： MuShROOM；Ipopt；Mintoc… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；量子理论（81-XX）…
维拉斯科 15篇文献引用(2016–2023) 软件作者： 雅克·亨利·朱丹（Jacques-Henri Jourdan）、文森特·拉波特（Vincent Laporte）、桑德琳·布拉齐（Sandrine Blazy）、泽维尔·勒罗伊（Xavier Leroy）、大卫·皮查迪（David Pichardie） 相关软件： Coq；工具链；z3… 主要字段： 数学逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；凸和离散几何（52-XX）…
伊莎贝尔/PIDE 15篇文献引用(2012–2020) 软件作者： 马卡里乌斯·温泽尔；伯克哈特·沃尔夫 相关软件： 伊莎贝尔；Coq；Isabelle/j编辑… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
加勒比 14篇文献引用（2004年至2012年） 软件作者： O.Fissoor、I.Gneedig、H.Kirchner 相关软件： 莫德；AProVE；ELAN… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
芝诺牌手表 14篇文献引用(2012–2022) 软件作者： William Sonnex；索菲亚·德罗索波卢；苏珊·艾森巴赫 相关软件： HipSpec；SMT-LIB；CVC4… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
壁画 10篇文献引用(1991–2014) 软件作者： C.B.琼斯。；K.D.琼斯。；Lindsay，P.A。；摩尔，R.D。 相关软件： RAISE（提升）；落叶松；霍尔… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
马特里布 10篇文献引用(2020–2022) 软件作者： 弗洛里斯·范·道恩（Floris van Doorn）；加布里埃尔·埃布纳；罗伯特·刘易斯（Robert Y.Lewis）。；mathlib社区 相关软件： 精益；Coq；Isabelle/HOL… 主要字段： 数论（11-XX）；场论与多项式（12-XX）；代数几何（14-XX）…
A3PAT飞机 9份文件引用(2010–2023) 软件作者： Contejean，E.、Paskevich，A.、Urbain，X.、Courtieu，P.、Pons，O.、Forest，J。 相关软件： Isabelle/HOL；Coq；CoLoR… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
爱马仕 8份文件引用(2005–2009) 软件作者： Bozga，L.、Lakhnech，Y.、Perin，M。 相关软件： AVISPA；卡斯珀；Timbuk… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
特克顿 5份文件引用(1994–2003) 软件作者： 卡普尔，D。；聂，X。；D.R.穆瑟。 相关软件： RRL；NQTHM；确认… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
维尔文 9份文件引用(2012–2021) 软件作者： 赵建洲；桑托什，纳加拉卡特；Martin，Milo M.K。；史蒂夫·兹丹塞维奇 相关软件： Coq；VST-Floyd；工具链… 主要字段： 计算机科学（68-XX）
LNgen（液化天然气） 引用于7份文件（2011年至2021年） 软件作者： 艾德米尔，B.E.，魏里奇，S。 相关软件： 流行标志；Isabelle/HOL；名义上的伊莎贝尔… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
mkbTT公司 引用于7份文件(2008–2022) 软件作者： 莎拉·温克勒；佐藤、晴彦；阿尔特米德尔多普；栗原、Masahito 相关软件： 斯洛思罗普；蒂罗尔；KBCV… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；群论和推广（20-XX）…
结块_lpr 6篇文献引用(2021–2023) 软件作者： Tan，Yong Kiam；Heule，Marijn J.H。；玛格努斯·奥·米林。 相关软件： DRAT-饰件；CaDiCaL；Paracooba… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
证书密码 5份文件引用(2009–2017) 软件作者： 吉尔·巴特；本杰明·格雷戈里；圣地亚哥Zanella Béguelin 相关软件： Coq；Coq/SS反射；EasyCrypt… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
DR-预测 4份文件引用(2018–2019) 软件作者： 安东尼斯·比卡基斯；君士坦丁诺·帕帕西奥多罗；格里戈里斯·安东尼奥 相关软件： DELORES公司；吐温；法律规则ML… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
茉莉 4份文件引用（2019年至2022年） 软件作者： 何塞·巴塞拉·阿尔梅达（JoséBacelar Almeida）、曼努埃尔·巴博萨（Manuel Barbosa）、吉尔斯·巴特（Gilles Barthe）、阿瑟·布洛特（Arthur Blot）、本杰明·格雷戈里（Benjamin Grégoire）、文森特·拉波特（Vincent Laporte）、蒂亚戈·奥利维拉（Tiago Oli 相关软件： HACL*；EasyCrypt；曲线25519… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
MFE公司 4份文件引用(2012–2023) 软件作者： 弗朗西斯科·杜兰；卡米洛·罗查；何塞·M·阿尔瓦雷斯。 相关软件： 莫德；ITP；P审计… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
MoSeL公司 5份文件引用(2018–2023) 软件作者： Robbert Krebbers；雅克·亨利·乔丹（Jacques-Henri Jourdan）；Ralf Jung；约瑟夫·塔萨罗蒂；Kaiser，Jan-Oliver；阿明·蒂曼尼；亚瑟·查古埃罗（Arthur Charguéraud）；德雷克·德雷尔 相关软件： Coq；蚱蜢；VeriFast… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
根 2份文件引用(2010–2021) 软件作者： I.Antcheva等人 相关软件： 根；PYTHIA8；克林… 主要字段： 数值分析（65-XX）；量子理论（81-XX）；统计力学，物质结构（82-XX）
TinyGarble公司 5份文件引用(2016–2023) 软件作者： Songhori，E.M.、Hussain，S.U.、Sadeghi，A.、Schneider，T.、Koushanfar，F。 相关软件： 美味的；JustGarble；ObliVM… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
AsmetaSMV公司 2份文件引用(2016–2021) 软件作者： Arcaini，P.、Gargantini，A.、Riccobene，E。 相关软件： 昏迷；NuSMV；ASMETA… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
CafeInMude咖啡馆 引用于3份文件(2017–2020) 软件作者： 阿德里安·里斯科；绪方和弘；Kokichi Futatsugi公司 相关软件： 莫德；OBJ咖啡馆；CiMPG… 主要字段： 计算机科学（68-XX）
LightDP（光DP） 4份文件引用(2017–2023) 软件作者： 张丹凤；丹尼尔·基弗 相关软件： 私人LR；河豚；z3… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；概率论与随机过程（60-XX）…
MetaCoq公司 4份文件引用(2020–2022) 软件作者： 索索、马蒂厄；阿南德，阿比舍克；西蒙·博利埃（Simon Boulier）；科恩、西里尔；福斯特，扬尼克；费边·昆泽；Gregory Malecha；尼古拉斯·塔巴鲁（Nicolas Tabarau）；塞奥温特哈尔特 相关软件： Coq；采购订单模板；Idris… 主要字段： 计算机科学（68-XX）
未绑定 4份文件引用(2011–2019) 软件作者： 斯蒂芬妮·威里奇；布伦特·A·约基。；蒂姆·谢尔德 相关软件： Isabelle/HOL；Psi-calculi；名义上的伊莎贝尔… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
增长 引用于3份文件(2010–2017) 软件作者： 马尔科·希尔斯曼；托尔斯滕·科德曼；贾德兰，弗拉贝克；德克·里思 相关软件： DesParO；彪马；OpenNebula… 主要字段： 总体主题；藏品（00-XX）；数值分析（65-XX）；统计力学，物质结构（82-XX）…
Metamath零 引用于3份文件(2020–2023) 软件作者： 马里奥·卡内罗 相关软件： CakeML；Isabelle/HOL；Coq… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
琥珀色 2份文件引用(2022) 软件作者： 马塞尔·穆斯布鲁克；埃齐奥·巴托西；Joost-Pieter Katoen；劳拉·科瓦奇 相关软件： 依赖；SymPy；哈卡鲁… 主要字段： 计算机科学（68-XX）
赌博 2份文件引用(2001–2012) 软件作者： 约翰·卡罗（John Karro）；詹姆斯·科洪 相关软件： FLUENT公司 主要字段： 概率论与随机过程（60-XX）；计算机科学（68-XX）；流体力学（76-XX）…
J镍合金 1份文件引用(2012) 软件作者： Aboubakr Achraf El Ghazi、Mattias Ulbrich、Christoph Gladisch、Shmuel Tyszberowicz、Mana Taghdiri 相关软件： 雅典娜；凯洛伊；凯伊… 主要字段： 计算机科学（68-XX）
PVSio-网 2份文件引用(2014–2016) 软件作者： Patrick Oladimeji、Paolo Masci、Paul Curzon、Harold Thimbleby 相关软件： 曼尼普；HybridSal；HSolver… 主要字段： 计算机科学（68-XX）；系统论；对照（93-XX）
xMAML公司 在0个文档中引用 软件作者： Lallet，J.、Pillement，S.、Sentieys，O。 相关软件： OCaml；FPath；ByADL… 主要字段： 计算机科学（68-XX）
CoqPIE公司 1份文件引用(2016) 软件作者： 肯尼思·罗伊（Kenneth Roe）；斯科特·史密斯 相关软件： github；PeaCoq；Coqoon… 主要字段： 计算机科学（68-XX）
渔民_不平等 1份文件引用（2023年） 软件作者： Edmonds，C.、Paulson，L.C 相关软件： 周长彩色；伊莎贝尔；Roth_Arithmetic_Progressions… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；数论（11-XX）…
SeqWare软件 1份文件引用(2013) 软件作者： 布莱恩·奥康纳（Brian D O’Connor）；巴里·梅里曼；斯坦利·F·纳尔逊 相关软件： 普罗瓦林；十字弓；k表示++… 主要字段： 生物学和其他自然科学（92-XX）
SPARKSkein公司 在0个文档中引用 软件作者： 罗德里克·查普曼；Eric Botcazou；安吉拉·瓦伦堡 相关软件： 火花；VeriFast公司；VCC… 主要字段： 信息与通信理论，电路（94-XX）
TBUDDY（待定） 1份文件引用（2023年） 软件作者： Randal E.布莱恩特。 相关软件： 帕拉库巴；基萨特；SBSAT… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）