Coq公司 1974年文献引用(1993–2024) 软件作者： 克利斯朵夫·德林格；让-弗朗索瓦·杜富尔德 相关软件： Isabelle/HOL；伊莎贝尔；HOL… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）…
伊莎贝尔/HOL 1076份文件引用(1996–2024) 软件作者： 沃尔夫冈·纳拉斯切夫斯基（Wolfgang Naraschewski）；托比亚斯·尼普科 相关软件： 伊莎贝尔；Coq；HOL… 主要字段： 数学逻辑与基础（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）…
水獭 326篇文献引用(1988–2023) 软件作者： 比尔·麦库恩；阿莫尔·蒙塔诺（Amor Montano）、何塞·阿尔弗雷多（Jose Alfredo）；米兰达·佩雷亚（Miranda Perea）、法维奥·埃泽奎尔（Favio Ezequiel） 相关软件： TPTP；VAMPIRE公司；SPASS… 主要字段： 数学逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；群论与推广（20-XX）…
Z轴 237篇文献引用(1958–2023) 软件作者： 吉姆·伍德科克；吉姆·戴维斯 相关软件： 马戏团；电源保护；罗丹… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；数论（11-XX）…
存档正式证据 269篇文献引用(1963–2024) 软件作者： 布兰切特，贾斯敏·克里斯蒂安；马克西米利安·哈斯贝克；丹尼尔·马蒂丘克；托比亚斯·尼普科 相关软件： Isabelle/HOL；伊莎贝尔；Coq… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-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飞点 133篇文献中引用(2004–2024) 软件作者： 托马斯·黑尔斯（Thomas C.Hales）。；坦克墨水，雕刻；塞萨里·卡利西克；约瑟夫·乌尔班（Josef Urban）；赫尔曼·格乌弗斯 相关软件： HOL灯；Isabelle/HOL；Coq… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；凸和离散几何（52-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）…
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）
莫德-NPA 39篇文献引用(2009–2023) 软件作者： 圣地亚哥埃斯科瓦尔；梅多斯，凯瑟琳作者简介；何塞·梅塞盖尔；圣地亚哥，索尼娅 相关软件： 莫德；塔马林；AVISPA… 主要字段： 历史与传记（01-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
举起 42篇文献引用(2013–2023) 软件作者： 布莱恩·哈夫曼（Brian Huffman），Ondřej Kunčar 相关软件： 转让；Isabelle/HOL；存档正式证据… 主要字段： 数学逻辑与基础（03-XX）；线性代数和多线性代数；矩阵理论（15-XX）；常微分方程（34-XX）…
换乘 42篇文献引用(2013–2023) 软件作者： 布莱恩·哈夫曼（Brian Huffman），Ondřej Kunčar 相关软件： 举起；Isabelle/HOL；存档正式证据… 主要字段： 数学逻辑与基础（03-XX）；线性代数和多线性代数；矩阵理论（15-XX）；常微分方程（34-XX）…
EasyCrypt公司 36篇文献引用(2011–2022) 软件作者： 吉尔·巴特；本杰明·格雷戈里；希尔万，赫拉德；贝盖林，圣地亚哥·扎内拉 相关软件： Coq；Isabelle/HOL；F*… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；量子理论（81-XX）…
奥特 34份文件引用(2007–2021) 软件作者： 彼得·休厄尔（Peter Sewell）；纳德利，弗朗西斯科·扎帕；斯科特·欧文斯；吉尔斯·佩斯金（Gilles Peskine）；托马斯·里奇；萨卡，苏斯米特；斯特尼萨，洛克 相关软件： Coq；Isabelle/HOL；名义上的伊莎贝尔… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）
HOLyHammer公司 31份文件引用(2014–2022) 软件作者： 塞萨里·卡利西克；约瑟夫·乌尔班 相关软件： HOL灯；VAMPIRE公司；E定理证明… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；光学、电磁理论（78-XX）
LPL软件 20篇文献引用(2000–2023) 软件作者： Dave Barker Plummer、Jon Barwise、John Etchemendy；Albert Liu、Michael Murray、Emma Pease 相关软件： EPGY；减少；OTTER… 主要字段： 数学逻辑与基础（03-XX）；统计学（62-XX）；数值分析（65-XX）…
常春藤 21篇文献引用(2017–2023) 软件作者： McMillan，K.L.，Padon，O。 相关软件： 常春藤；z3；IronFleet… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
蜡状物 21篇文献引用(2005–2021) 软件作者： Tsvetan Dunchev；亚历山大·莱奇（Alexander Leitsch）；托默·利巴尔（Tomer Libal）；丹尼尔·韦勒（Daniel Weller）；布鲁诺沃尔岑洛格尔古 相关软件： GAPT；校对工具；梅斯4… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
伊莎贝尔/UTP 20篇文献引用(2015–2024) 软件作者： 西蒙·福斯特（Simon Foster）；Zeyda，Frank；吉姆·伍德科克 相关软件： 马戏团；Isabelle/HOL；Z、 … 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）；系统论；对照（93-XX）
特尤斯 18篇文献引用(2001–2022) 软件作者： Nadathur，G.，Mitchell，D.J。 相关软件： Twelf；阿贝拉；Isabelle/HOL… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
MB基础 17篇文献引用（1999-2006年） 软件作者： 安德烈亚斯·弗兰克；迈克尔·科尔哈斯 相关软件： TPS；欧米茄；数字（amp；N）… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）；数学教育（97-XX）
JFLAP公司 14篇文献引用(2002–2023) 软件作者： Rodger S、Finley T 相关软件： 自旋蛋白；GeoWin；FAUST… 主要字段： 计算机科学（68-XX）；系统论；对照（93-XX）
驯服图 15篇文献引用(2006–2020) 软件作者： 格特鲁德·鲍尔；托比亚斯·尼普科夫 相关软件： Flyspeck；Isabelle/HOL；开普勒98… 主要字段： 历史与传记（01-XX）；数学逻辑与基础（03-XX）；组合数学（05-XX）…
ArgoCLP公司 14篇文献引用(2011–2023) 软件作者： 斯托亚诺维奇，萨那；巴甫洛维奇，韦斯纳；贾尼契奇，普雷德拉格 相关软件： Coq；GCLC；TPTP… 主要字段： 数学逻辑与基础（03-XX）；几何（51-XX）；计算机科学（68-XX）…
TLAPS（TLAPS） 14篇文献引用(1999–2023) 软件作者： 拉波特 相关软件： 薄层色谱法；常春藤；Coq… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
伊莎贝尔/马戏团 12份文件引用（2013-2017） 软件作者： Abderrahmane Feliachi、Marie-Claude Gaudel、Burkhart Wolff 相关软件： Isabelle/HOL；电源保护；伊莎贝尔… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；系统论；对照（93-XX）
米兹3 12份文件引用(2012–2020) 软件作者： 弗里克·威迪杰克 相关软件： Coq；米扎尔；Isar… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；光学、电磁理论（78-XX）…
美赞臣 9份文件引用(2006–2019) 软件作者： Bierman GM、Parkinson MJ、Pitts AM 相关软件： 羽量级Java；中量级爪哇；旋风… 主要字段： 计算机科学（68-XX）
ModelPlex公司 10篇文献引用(2016–2024) 软件作者： Mitsch，S.、Platzer，A。 相关软件： 凯伊迈拉X；凯伊迈拉；dReach… 主要字段： 数学逻辑与基础（03-XX）；常微分方程（34-XX）；计算机科学（68-XX）…
校样通用套件 9份文件引用（2004年至2012年） 软件作者： 大卫·阿斯皮纳尔；吕斯，克里斯托夫；丹尼尔·温特斯坦 相关软件： 一般证明；Coq；OMDoc… 主要字段： 计算机科学（68-XX）；数学教育（97-XX）
FoCaLiZe公司 9份文件引用(2015–2023) 软件作者： INRIA公司；佩索，F.，维娅，P.，多利盖兹，D。 相关软件： Coq；dedukti；PVS… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
壁画 10篇文献引用（1991年-2014年） 软件作者： C.B.琼斯。；K.D.琼斯。；Lindsay，P.A。；摩尔，R.D。 相关软件： RAISE（提升）；落叶松；HOL… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
普罗维奥拉 8份文件引用(2010–2016) 软件作者： 坦克墨水，雕刻；赫尔曼·格乌弗斯；詹姆斯·麦金纳（James McKinna）；弗里克·威迪杰克 相关软件： Coq；一般证明；伊莎贝尔… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
Speedith公司 9份文件引用(2012–2019) 软件作者： Urbas，M.、Jamnik，M.，Stapleton，G.、Flower，J。 相关软件： 超防；伊莎贝尔；迪亚贝利… 主要字段： 数学逻辑与基础（03-XX）；几何（51-XX）；凸和离散几何（52-XX）…
战术脚趾 10篇文献引用(2017–2021) 软件作者： Gauthier，T.、Kaliszyk，C.、Urban，J。 相关软件： E定理证明器；谜；MaLeCoP… 主要字段： 计算机科学（68-XX）
地理视图 9份文件引用(2006–2017) 软件作者： 贝托特，Y.、吉利霍特，F.、波蒂埃，L。 相关软件： 地质学；GCLC；MMP/Geometer… 主要字段： 几何（51-XX）；计算机科学（68-XX）；数学教育（97-XX）
克莱纳代数 9份文件引用(2015–2022) 软件作者： A.阿姆斯特朗、G.斯特鲁斯、T.韦伯。 相关软件： 存档正式证据；Isabelle/HOL；大锤… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；群论与推广（20-XX）…
AEtnaNova公司 8份文件引用(2011–2018) 软件作者： Eugenio G.Omodeo、Domenico Cantone、Alberto Policriti、Jacob T.Schwartz 相关软件： 裁判；SETL；Mizar… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；复变量函数（30-XX）…
CalCS公司 8份文件引用(2013–2019) 软件作者： Nuzzo，P.、Puggelli，A.、Seshia，S.A.、Sangiovanni-Vincentelli，A.L。 相关软件： dReal；z3；dReach… 主要字段： 计算机科学（68-XX）；粒子和系统力学（70-XX）；运筹学，数学规划（90-XX）…
TituRel公司 8份文件引用(2007–2015) 软件作者： 冈瑟·施密特 相关软件： RelView；哈斯克尔；算法97… 主要字段： 历史与传记（01-XX）；数学逻辑与基础（03-XX）；组合数学（05-XX）…
VeriML公司 8份文件引用(2010–2016) 软件作者： 安东尼斯·斯坦普利斯（Antonis Stampoulis）；邵，钟 相关软件： Coq；甲基丙烯酸甲酯；seL4… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
裁判 引用于7份文件(2013–2018) 软件作者： Eugenio G.Omodeo；多梅尼科·坎通纳；阿尔贝托·波利克里蒂；雅各布·T·施瓦茨 相关软件： AEtnaNova；SETL；Mizar… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）
糖囊最小化器 引用于7份文件(2020–2021) 软件作者： 马雷克·菲舍尔 相关软件： 组织环境信息系统；数学；apTreeshape… 主要字段： 组合数学（05-XX）；测量和集成（28-XX）；生物学和其他自然科学（92-XX）
证书密码 5份文件引用(2009–2017) 软件作者： 吉尔·巴特；本杰明·格雷戈里；圣地亚哥Zanella Béguelin 相关软件： Coq；Coq/SS反射；EasyCrypt… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
IsaFoR公司 4份文件引用(2011–2016) 软件作者： 亚历山大·克劳斯；斯特纳格尔，克里斯蒂安；雷内·蒂曼；福斯，卡斯滕；吉尔根·吉斯尔 相关软件： Isabelle/HOL；CeTA；CoLoR… 主要字段： 计算机科学（68-XX）
LaraDB公司 6篇文献引用(2018–2023) 软件作者： 迪伦·哈奇森（Dylan Hutchison）、比尔·豪（Bill Howe）、丹·苏秋（Dan Suciu） 相关软件： 马特朗；xarray；APL… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；线性代数和多线性代数；矩阵理论（15-XX）…
拉尔夫 6篇文献引用(1997–2014) 软件作者： 克劳迪娅·哈登斯珀格、鲁道夫·伯哈默、冈特·施密特 相关软件： RALL；RelView；Isabelle/HOL… 主要字段： 总体主题；藏品（00-XX）；历史与传记（01-XX）；数学逻辑与基础（03-XX）…
CoSP公司 5份文件引用(2010–2018) 软件作者： Michael Backes、Dennis Hofheinz、Dominique Unruh 相关软件： AVISPA；EasyCrypt；ProVerif… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
HYPERG公司 5份文件引用（1999年-2010年） 软件作者： 布鲁诺·戈蒂尔 相关软件： HYP；枫树；gfun… 主要字段： 总体主题；藏品（00-XX）；组合数学（05-XX）；数论（11-XX）…
修补程序类型 5份文件引用(2003–2010) 软件作者： Michael Y.莱文。；本杰明·皮尔斯。 相关软件： 毫升；OCaml；Ott… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
Zz分解器 5份文件引用(2016–2022) 软件作者： 周，C.-P。；威泰克，H.A。 相关软件： 枫树；组织环境信息系统 主要字段： 组合数学（05-XX）；阶、格、有序代数结构（06-XX）；生物学和其他自然科学（92-XX）
AutoBayes/CC 4份文件引用(2002–2004) 软件作者： Michael Whalen；约翰·舒曼（Johann Schumann）；伯恩德·菲舍尔 相关软件： SETHEO公司；VAMPIRE公司；常春藤… 主要字段： 计算机科学（68-XX）
CompCertS公司 4份文件引用(2017–2019) 软件作者： 弗雷德里克·贝松；Blazy，Sandrine；皮埃尔·威尔克 相关软件： Coq；CompCert；CompCertTSO… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
CoqJVM公司 4份文件引用(2008–2021) 软件作者： Coq开发团队、CNRS、INRIA和南巴黎大学 相关软件： Isabelle/HOL；HOL；TSL… 主要字段： 计算机科学（68-XX）
LightDP（光DP） 4份文件引用(2017–2023) 软件作者： 张丹峰；丹尼尔·基弗 相关软件： 私人LR；河豚；z3… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；概率论与随机过程（60-XX）…
叠加微积分 4份文件引用(2018–2020) 软件作者： 尼古拉斯·佩尔蒂埃 相关软件： Isabelle/HOL；伊莎贝尔；存档正式证据… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
ZFC_输入_ HOL 4份文件引用(2020–2024) 软件作者： 鲍尔森，L.C。 相关软件： 存档正式证据；Isabelle/HOL；顺序分区… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
阿斯特拉维尔 2份文件引用(2021–2022) 软件作者： 格里戈里·沃尔科夫、米哈伊尔·曼德利金、丹尼斯·埃弗雷莫夫 相关软件： Coq；Why3；Dafny… 主要字段： 计算机科学（68-XX）
小牛 引用于3份文件(2017–2022) 软件作者： Gerco van Heerdt、Matteo Sammartino、Alexandra Silva 相关软件： LearnLib；杠杆；西格玛*… 主要字段： 计算机科学（68-XX）
JavaSPI（JavaSPI） 1份文件引用(2018) 软件作者： 里卡多·西斯托；比塔萨·科佩特（Bettasa Copet），皮尔吉乌塞佩（Piergiuseppe）；阿瓦莱，马蒂奥；阿尔弗雷多·皮隆蒂 相关软件： MJ；AGVI；Bouncy Castle… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
Metamath零 引用于3份文件(2020–2023) 软件作者： 马里奥·卡内罗 相关软件： CakeML；Isabelle/HOL；Coq… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
NetCore公司 2份文件引用(2013–2018) 软件作者： 克里斯托弗·孟山都；Nate Foster；罗伯·哈里森（Rob Harrison）；大卫·沃克 相关软件： github；NetKAT；菲马托… 主要字段： 计算机科学（68-XX）
正则_代数 引用于3份文件(2015–2016) 软件作者： 西蒙·福斯特；乔治·斯特鲁斯 相关软件： 大锤；Isabelle/HOL；陷阱… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
次要Sylow 2份文件引用(1999–2020) 软件作者： 雅各布·冯·劳默 相关软件： 存档正式证据；自动化；区域设置… 主要字段： 数学逻辑与基础（03-XX）；群论和概括（20-XX）；计算机科学（68-XX）
Symlog公司 引用于3份文件(1994–2019) 软件作者： 弗雷德里克·波托拉罗。 相关软件： 3塔普；思考者 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
验证器 引用于3份文件(2016–2019) 软件作者： 高弘久保田；Kakutani、Yoshihiko；加藤，加油；川野康仁；樱田秀树 相关软件： QPL；质量管理体系；QPMC… 主要字段： 计算机科学（68-XX）；量子理论（81-XX）
迪亚贝利 2份文件引用(2012–2015) 软件作者： 乌尔巴斯（Urbas）、马泰吉（Matej）；马蒂亚·贾姆尼克 相关软件： Speedith；Tesseract；SketchNode… 主要字段： 计算机科学（68-XX）
查找事实 2份文件引用(2021–2022) 软件作者： 费比安·胡奇（Fabian Huch）、亚历山大·克劳斯（Alexander Krauss） 相关软件： SErAPIS；Isabelle/HOL；存档正式证据… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
IEEE_浮点 2份文件引用(2015–2019) 软件作者： 雷，于 相关软件： 存档正式证据；埃德蒙兹-卡普；Knuth Morris Pratt… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）
朗道符号 2份文件引用(2017–2018) 软件作者： 曼纽尔·埃贝尔 相关软件： Isabelle/HOL；伊莎贝尔；自动2_Imperative_HOL… 主要字段： 数论（11-XX）；计算机科学（68-XX）
Nusschecker（数字检查器） 2份文件引用(2020–2023) 软件作者： 丹尼尔·考夫曼（Daniela Kaufmann）；阿明·比尔 相关软件： 帕切克；博斯普鲁斯；RevSCA… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
顺序分区 2份文件引用(2022–2024) 软件作者： L.C保尔森 相关软件： ZFC_in_HOL；存档正式证据；Isabelle/HOL… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
脚本校对 2份文件引用(2016) 软件作者： 史蒂文·奥布阿（Steven Obua）；菲尔·斯科特（Phil Scott）；雅克·弗莱里奥特 相关软件： dedukti；Coq；Isar… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
RISCAL公司 2份文件引用(2018) 软件作者： 沃尔夫冈·施莱纳 相关软件： Nitpick公司；数学聊天；CoqHammer… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
向量空间 2份文件引用(2018–2020) 软件作者： 霍尔登·李 相关软件： 贝列坎·扎森豪斯；Isabelle/HOL；Sqrt_Babylonian… 主要字段： 数学逻辑与基础（03-XX）；数论（11-XX）；场论与多项式（12-XX）…
WhyMP公司 2份文件引用(2020–2023) 软件作者： 梅尔金德（Melquiond）、纪尧姆（Guillaume）；拉斐尔·里乌·赫尔夫特 相关软件： Why3；HACL*；gmp… 主要字段： 计算机科学（68-XX）
阿尔雷德 1份文件引用(2012) 软件作者： 马科斯·琼·辛普利西奥（Marcos A.jun.Simplicio）。；Paulo S.L.M.巴雷托。 相关软件： 信件汤；马文 主要字段： 计算机科学（68-XX）
亚里士多德_资产阶级_语言学家 1份文件引用(2021) 软件作者： Angeliki Koutsoukou-Argyraki公司 相关软件： 数学溢出；查找事实；SErAPIS… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
Co-Prover公司 1份文件引用（2023年） 软件作者： 是的，埃里克；Hitaj，Briland；Owre，Sam；梅纳·奎梅纳；Natarajan Shankar 相关软件： TacTok；游戏Pad；深度数学… 主要字段： 计算机科学（68-XX）
CRDT公司 1份文件引用(2020) 软件作者： 维克托·戈麦斯（Victor B.F.Gomes）；马丁·克莱普曼；多米尼克·P·穆里根；阿拉斯泰尔·贝雷斯福德 相关软件： github；存档正式证据；布吉 主要字段： 计算机科学（68-XX）
深海 1份文件引用(2021) 软件作者： Sjöberg，V.、Sang，Y.、Weng，S.c.、Shao，Z。 相关软件： solc-verify；垂直X 主要字段： 博弈论、经济学、金融和其他社会和行为科学（91-XX）；信息与通信理论，电路（94-XX）
渔民_不平等 1份文件引用（2023年） 软件作者： Edmonds，C.、Paulson，L.C 相关软件： 周长彩色；伊莎贝尔；Roth_Arithmetic_Progressions… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；数论（11-XX）…
FP泰勒 1份文件引用(2022) 软件作者： 阿列克谢·索洛维耶夫；Baranowski，Marek S。；Briggs Ian；查尔斯·雅各布森；茨沃尼米尔·拉卡马里奇；加内什·戈帕拉克里什南 相关软件： dReal；HOL灯；QEPCAD… 主要字段： 计算机科学（68-XX）