Coq公司 1972年文件引用(1993–2024) 软件作者： 克利斯朵夫·德林格；Jean-François Dufourd 相关软件： Isabelle/HOL；伊莎贝尔；HOL… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）…
伊莎贝尔/HOL 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）…
Z 237篇文献引用（1958年-2023年） 软件作者： 吉姆·伍德科克；吉姆·戴维斯 相关软件： 马戏团；电源保护；罗丹… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；数论（11-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）…
Flyspeck飞点 132份文件引用(2004–2023) 软件作者： 托马斯·黑尔斯（Thomas C.Hales）。；Tankink，Carst公司；塞萨里·卡利西克；约瑟夫·乌尔班（Josef Urban）；赫尔曼·格乌弗斯 相关软件： HOL灯；Isabelle/HOL；Coq… 主要字段： 数理逻辑与基础（03-XX）；组合数学（05-XX）；凸和离散几何（52-XX）…
腿 116篇文献引用(1991–2023) 软件作者： 罗，Z.，波拉克，R。 相关软件： Coq；Nuprl；自动… 主要字段： 历史与传记（01-XX）；数理逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）…
马蒂塔 78篇文献引用(2007–2024) 软件作者： 安德烈亚·阿斯佩蒂（Andrea Asperti）；里奇奥蒂，威尔默；Sacerdoti Coen，Claudio；恩里科·塔西 相关软件： Coq；米扎尔；Isabelle/HOL… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；数论（11-XX）…
测试程序集 78篇文献引用(1990–2022) 软件作者： Andrews，Peter B。；乍得·E·布朗。 相关软件： TPTP；ETPS；HOL… 主要字段： 总体主题；藏品（00-XX）；历史与传记（01-XX）；数学逻辑与基础（03-XX）…
伊莎贝尔/采埃孚 70篇文献引用(1993–2023) 软件作者： 劳伦斯·保尔森 相关软件： 伊莎贝尔；Coq；Isabelle/HOL… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；代数拓扑（55-XX）…
MPTP 0.2 55份文件引用(2006–2021) 软件作者： 约瑟夫·乌尔班 相关软件： 米扎尔；VAMPIRE公司；E定理证明器… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
IMPS公司 52篇文献引用(1990–2021) 软件作者： Farmer，William M。；约书亚·D·古特曼。；塞耶，F.哈维尔 相关软件： 伊莎贝尔；Nuprl；Coq… 主要字段： 总体主题；藏品（00-XX）；历史与传记（01-XX）；数学逻辑与基础（03-XX）…
计算检查 41篇文献引用(1993–2021) 软件作者： 沃尔夫拉姆·卡尔 相关软件： Z；Coq；哈斯克尔… 主要字段： 数理逻辑与基础（03-XX）；有序，格，有序代数结构（06-XX）；计算机科学（68-XX）…
GEX公司 引用于34份文件(1996–2023) 软件作者： Gao，X.-S.等。 相关软件： GeoGebra；日本国债交易所；GCLC… 主要字段： 数理逻辑与基础（03-XX）；几何（51-XX）；数值分析（65-XX）…
GCLC公司 引用于34份文件(2002–2023) 软件作者： 贾尼契奇，普雷德拉格 相关软件： 地质学；GeoGebra；GCL校准仪… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；几何（51-XX）…
人力资源 27篇文献引用(2002–2022) 软件作者： 西蒙·科尔顿 相关软件： 涂鸦；水獭；梅斯4… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；组合数学（05-XX）…
科奎利科 22篇文献引用(2015–2024) 软件作者： 西尔维·博尔多；凯瑟琳·莱莱；纪尧姆·梅尔金德 相关软件： Coq；Isabelle/HOL；伊莎贝尔… 主要字段： 数理逻辑与基础（03-XX）；实函数（26-XX）；常微分方程（34-XX）…
CERES公司 21篇文献引用(2005–2021) 软件作者： Tsvetan Dunchev；亚历山大·莱奇（Alexander Leitsch）；托默·利瓦尔（Tomer Libal）；丹尼尔·韦勒（Daniel Weller）；布鲁诺沃尔岑洛格尔古 相关软件： GAPT；校对工具；梅斯4… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
伊莎贝尔/UTP 19份文件引用(2015–2021) 软件作者： 西蒙·福斯特（Simon Foster）；Zeyda，Frank；吉姆·伍德科克 相关软件： Isabelle/HOL；马戏团；Z、 … 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）；系统论；控制（93-XX）
Boost间隔算术 18篇文献引用(2005–2023) 软件作者： 埃尔维·布伦尼曼；梅尔金德（Melquiond）、纪尧姆（Guillaume）；西尔万·皮昂 相关软件： 促进；libMC；filib++… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
数学统计 18篇文献引用(2002–2009) 软件作者： 罗丝，科林；Smith，Murray D。 相关软件： Mathematica；枫树；R、 … 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
MB基础 17篇文献引用(1999–2006) 软件作者： 安德烈亚斯·弗兰克；迈克尔·科尔哈斯 相关软件： TPS；欧米茄；数字（amp；N）… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）；数学教育（97-XX）
马洪群岛统计 12份文件引用(2011–2020) 软件作者： 坎菲尔德，E.罗德尼；斯万特·简森；多龙·泽尔伯格 相关软件： 查找统计信息；SageMath；F12345… 主要字段： 组合数学（05-XX）；有序，格，有序代数结构（06-XX）；群论与推广（20-XX）…
米兹3 12份文件引用(2012–2020) 软件作者： 弗里克·威迪杰克 相关软件： Coq；米扎尔；Isar… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；光学、电磁理论（78-XX）…
FoCaLiZe公司 9份文件引用(2015–2023) 软件作者： INRIA公司；佩索，F.，维娅，P.，多利盖兹，D。 相关软件： Coq；dedukti；PVS… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
地理视图 9份文件引用(2006–2017) 软件作者： 贝托特，Y.、吉利霍特，F.、波蒂埃，L。 相关软件： 地质学；GCLC；MMP/Geometer… 主要字段： 几何（51-XX）；计算机科学（68-XX）；数学教育（97-XX）
校对工具 8份文件引用(2013–2023) 软件作者： C.Dunchev、A.Leitsch、T.Libal、M.Riener、M.Rukhaia、D.Weller、B.Woltzenlogel古 相关软件： TPTP；GAPT；CERES… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）
AEtnaNova公司 8份文件引用(2011–2018) 软件作者： Eugenio G.Omodeo、Domenico Cantone、Alberto Policriti、Jacob T.Schwartz 相关软件： 裁判；刚毛；Mizar… 主要字段： 数理逻辑与基础（03-XX）；组合数学（05-XX）；复变量函数（30-XX）…
Pcoq公司 6篇文献引用(2007–2023) 软件作者： 艾哈迈德·阿默卡德；伊夫·贝托特（Yves Bertot），洛伊克·波蒂埃（Loíc Pottier）；劳伦斯·里多 相关软件： Coq；MMP/Geometer；GEX… 主要字段： 数理逻辑与基础（03-XX）；几何（51-XX）；计算机科学（68-XX）
裁判 7份文件引用(2013–2018) 软件作者： Eugenio G.Omodeo；多梅尼科·坎通内；阿尔贝托·波利克里蒂；雅各布·T·施瓦茨 相关软件： AEtnaNova；SETL；Mizar… 主要字段： 数理逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）
糖囊最小化器 7份文件引用(2020–2021) 软件作者： 马雷克·菲舍尔 相关软件： 组织环境信息系统；Mathematica；apTreeshape… 主要字段： 组合数学（05-XX）；测量和集成（28-XX）；生物学和其他自然科学（92-XX）
DDMF公司 6篇文献引用(2010–2020) 软件作者： 亚历山大·本诺特；Chyzak，Frédéric；亚历克西斯·达拉斯；斯特凡·格霍尔德（Stefan Gerhold）；马克·梅扎罗巴（Marc Mezzarobba）；布鲁诺·萨维 相关软件： DLMF；DEtools；MultiZeilberger公司… 主要字段： 历史与传记（01-XX）；交换代数（13-XX）；特殊功能（33-XX）…
卢比 6篇文献引用(2007–2010) 软件作者： 安德烈·鲍尔（Andrej Bauer）、克里斯托弗·斯通（Christopher A.Stone） 相关软件： OCaml；RealLib；iRRAM… 主要字段： 数理逻辑与基础（03-XX）；有序，格，有序代数结构（06-XX）；计算机科学（68-XX）
EPGY公司 3份文件引用(2001–2020) 软件作者： 理查德·索默（Richard Sommer）；格雷戈里·努科尔斯 相关软件： LPL软件；减少；OTTER… 主要字段： 计算机科学（68-XX）；数学教育（97-XX）
CoqJVM公司 4份文件引用(2008–2021) 软件作者： Coq开发团队、CNRS、INRIA和南巴黎大学 相关软件： Isabelle/HOL；HOL；TSL… 主要字段： 计算机科学（68-XX）
欧洲CLID 3份文件引用(1995–2022) 软件作者： 贾尼契奇，普雷德拉格；斯特万·科尔迪奇 相关软件： ArgoCLP；Coq；TPTP… 主要字段： 数理逻辑与基础（03-XX）；凸几何和离散几何（52-XX）；计算机科学（68-XX）
IsarStep公司 3份文件引用(2021–2023) 软件作者： 李文达；于磊；吴玉怀；劳伦斯·C·鲍尔森。 相关软件： Isabelle/HOL；HOList；TacTok… 主要字段： 计算机科学（68-XX）
RISCAL公司 2份文件引用(2018) 软件作者： 沃尔夫冈·施莱纳 相关软件： Nitpick公司；数学聊天；CoqHammer… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
网络学习 2份文件引用(2017–2020) 软件作者： 内森·卡特（Nathan C.Carter）。；肯尼思·G·蒙克斯。 相关软件： 精益；降价；CalcCheck… 主要字段： 计算机科学（68-XX）；数学教育（97-XX）