间隙 3676份文件引用(1990–2024) 软件作者： GAP组 相关软件： 岩浆；SageMath；ATLAS集团代表… 主要字段： 组合数学（05-XX）；代数几何（14-XX）；结合环与代数（16-XX）…
雪佛兰 266份文件引用(1994–2024) 软件作者： Geck，Meinolf；希斯，格哈德；吕贝克，弗兰克；Gunter Malle；格茨·普菲弗 相关软件： 间隙；岩浆；SageMath… 主要字段： 组合数学（05-XX）；代数几何（14-XX）；结合环与代数（16-XX）…
阿格达 233份文件引用(1999–2024) 软件作者： 乌尔夫·诺雷尔 相关软件： Coq；哈斯克尔；Isabelle/HOL… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；范畴理论；同调代数（18-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）…
乐高 引用于116份文件(1991–2023) 软件作者： 罗，Z.，波拉克，R。 相关软件： Coq；Nuprl；自动数学… 主要字段： 历史与传记（01-XX）；数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）…
精益 94份文件引用(2015–2024) 软件作者： 微软；莱昂纳多·德·莫拉；孔顺浩；杰里米·阿维加德；弗洛里斯·范·道恩（Floris van Doorn）；雅各布·冯·劳默 相关软件： Coq；Isabelle/HOL；Agda… 主要字段： 数学逻辑与基础（03-XX）；数论（11-XX）；范畴理论；同调代数（18-XX）…
测试程序集 78篇文献引用(1990–2022) 软件作者： Andrews，Peter B。；乍得·E·布朗。 相关软件： TPTP；ETPS；HOL… 主要字段： 总体主题；藏品（00-XX）；历史与传记（01-XX）；数学逻辑与基础（03-XX）…
粉碎机 77份文件引用(1991–2023) 软件作者： S.G.Gorishny；S.A.Larin公司；L.R.Surguladze；F.V.特卡乔夫 相关软件： 表格；雷杜泽；MATAD… 主要字段： 特殊功能（33-XX）；偏微分方程（35-XX）；计算机科学（68-XX）…
立方体 70篇文献引用(2016–2023) 软件作者： Cohen，C.、Coquand，T.、Huber，S.、Mörtberg，A。 相关软件： github；Coq；手推车… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）…
ALF公司 68篇文献引用(1993–2018) 软件作者： 莉娜·马格努森 相关软件： Coq；自动化；Nuprl… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；几何（51-XX）…
萨塔拉克 67篇文献引用(2010–2023) 软件作者： 乍得·E·布朗；安德烈亚斯·提克（Andreas Teucke）；杰夫·萨克利夫（Geoff Sutcliffe）；弗兰克·泰伊；格特·斯莫尔卡；朱利安·巴克斯；克里斯·本穆勒 相关软件： TPTP；Isabelle/HOL；LEO-II… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）
X减少 53篇文献引用(2003–2020) 软件作者： Haruo Hosoya，Benjamin C.Pierce（本杰明·皮尔斯） 相关软件： CDuce；XPath；PiDuce… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）
IMPS公司 52篇文献引用(1990–2021) 软件作者： Farmer，William M。；约书亚·D·古特曼。；塞耶，F.哈维尔 相关软件： 伊莎贝尔；Nuprl；Coq… 主要字段： 总体主题；藏品（00-XX）；历史与传记（01-XX）；数学逻辑与基础（03-XX）…
区域设置 53篇文献引用(1999–2024) 软件作者： 克莱门斯·巴拉林 相关软件： Isabelle/HOL；伊莎贝尔；存档正式证据… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；代数几何（14-XX）…
信息技术计划 37篇文献引用(2003–2023) 软件作者： 杨荣文（R.W.Yeung） 相关软件： 港口；集群发现；NeNMF… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
GQRAT公司 36篇文献引用(1993–2021) 软件作者： 沃尔特·高茨基 相关软件： OPQ；奥特波尔；算法882… 主要字段： 近似和展开（41-XX）；欧氏空间（42-XX）的调和分析；统计学（62-XX）…
牡蛎 34份文件引用(1989–2021) 软件作者： 霍恩，克里斯蒂安；阿兰·斯梅尔 相关软件： 蛤；Nuprl；HOL… 主要字段： 总体主题；藏品（00-XX）；历史与传记（01-XX）；数学逻辑与基础（03-XX）…
Ynot公司 34份文件引用(2008–2019) 软件作者： 阿列克桑达尔·纳内夫斯基；格雷格·莫里塞特（Greg Morrisett）；Avraham Shinnar；保罗·戈维罗（Paul Govereau）；拉尔斯·比克达尔 相关软件： Coq；Isabelle/HOL；哈斯克尔… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）…
大学数学 34份文件引用(2016–2023) 软件作者： Voevodsky，V.、Mörtberg，A.、Ahrens，B.、Lelay，C.、Pannila，T.、Matthes，R。 相关软件： github；Coq；库比卡利特… 主要字段： 数学逻辑与基础（03-XX）；代数几何（14-XX）；范畴理论；同调代数（18-XX）…
CoCasl公司 26篇文献引用(2003–2014) 软件作者： 莫萨科夫斯基（Till Mossakowski）；马库斯·罗根巴赫；卢茨·施罗德 相关软件： CASL；莫德；Hets… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）…
GJSAW公司 26篇文献引用(1999–2022) 软件作者： 约翰·努南（John Noonan）；多龙·泽尔伯格 相关软件： GJsqfree；GJ系列；SPGJ… 主要字段： 组合数学（05-XX）；数论（11-XX）；范畴理论；同调代数（18-XX）…
GJsqfree公司 26篇文献引用(1999–2022) 软件作者： 约翰·努南（John Noonan）；多龙·泽尔伯格 相关软件： GJ系列；GJSAW；SPGJ… 主要字段： 组合数学（05-XX）；阶、格、有序代数结构（06-XX）；数论（11-XX）…
MESSI公司 24篇文献引用(2018–2023) 软件作者： 梅赛德斯·佩雷斯·米兰（Mercedes Pérez Milán）、艾丽西娅·狄肯斯坦（Alicia Dickenstein） 相关软件： REDLOG；QEPCAD；枫树… 主要字段： 交换代数（13-XX）；代数几何（14-XX）；常微分方程（34-XX）…
圣杯 20篇文献引用（1994年至2021年） 软件作者： 达雷尔·雷蒙德；伍德，德里克 相关软件： 自动化；AMoRE；GitHub… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；数论（11-XX）…
HoTT公司 21篇文献引用(2016–2021) 软件作者： Andrej Bauer、Jason Gross、Peter LeFanu Lumsdaine、Mike Shulman、Matthieu Sozeau、Bas Spitters 相关软件： github；Coq；数学溢出… 主要字段： 数学逻辑与基础（03-XX）；代数几何（14-XX）；范畴理论；同调代数（18-XX）…
收音机 22篇文献引用(2018–2024) 软件作者： 彼得·本纳（Peter Benner）；兹沃尼米尔·布亚诺维奇；帕特里克·库什内尔（Patrick Kurschner）；Jens Saak公司 相关软件： MESS；稀疏矩阵；莫拉布… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
伊莎贝尔/UTP 20篇文献引用(2015–2024) 软件作者： 西蒙·福斯特（Simon Foster）；Zeyda，Frank；吉姆·伍德科克 相关软件： 马戏团；Isabelle/HOL；Z、 … 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）；系统论；控制（93-XX）
ArchJava建筑 10篇文献引用(2002–2017) 软件作者： 乔纳森·奥尔德里奇；钱伯斯，克雷格；大卫·诺金 相关软件： SOFA 2.0；宽带；UMLDiff… 主要字段： 计算机科学（68-XX）
塑料 18篇文献引用(2000–2023) 软件作者： 保罗·卡拉汉 相关软件： 乐高；Coq；ALF… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
Chebpack公司 18篇文献引用(2012–2023) 软件作者： 戴米安·特里夫 相关软件： Matlab；ddesd；切布冯 主要字段： 特殊功能（33-XX）；常微分方程（34-XX）；偏微分方程（35-XX）…
德尔芬 引用于17份文件(2003–2020) 软件作者： Schürmann，C.、Fontana，R.、Liao，Y.、Poswolsky，A。 相关软件： Twelf；Coq；白鲸… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
立方agda 引用于17份文件(2020–2023) 软件作者： 安德烈亚·维佐西（Andrea Vezzosi）；莫特伯格，安德斯；安德烈亚斯·亚贝尔 相关软件： 立方体；github；Coq… 主要字段： 历史与传记（01-XX）；数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）…
身份查找器 16篇文献引用(2015–2023) 软件作者： Kanade、Shashank；马修·罗素。 相关软件： q系列；RR工具；枫树… 主要字段： 历史与传记（01-XX）；组合数学（05-XX）；数论（11-XX）…
QROOT公司 引用于17份文件(1993–2022) 软件作者： M.L.乔杜里 相关软件： MCQueue；QPACK；枫树 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
球状的 13份文件引用(2016–2022) 软件作者： Krzysztof Bar、Aleks Kissinger、Jamie Vicary 相关软件： 量子力学；github；果园… 主要字段： 结合环与代数（16-XX）；范畴理论；同调代数（18-XX）；代数拓扑（55-XX）…
手推车 12份文件引用(2018–2023) 软件作者： 卡洛·安吉利（Carlo Angiuli）、纪尧姆·布鲁内里（Guillaume Brunerie）、蒂埃里·科昆德（Thierry Coquand）、昆邦侯（Favonia）、罗伯特·哈珀（Robert Harper）、丹尼尔·李卡塔（Daniel R.Licata） 相关软件： 立方体；github；立方agda… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；代数拓扑（55-XX）…
股 9份文件引用(2006–2022) 软件作者： 迪内什·K·派 相关软件： CoRdE；MuJoCo；DGM… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
MiniAgda公司 11份文件引用(2011–2023) 软件作者： A.阿贝尔。 相关软件： Coq；阿格达；GitHub… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；代数拓扑（55-XX）…
EVIM公司 9份文件引用(2001–2020) 软件作者： Gena̧y，拉马赞；Selu̧k，Faruk；阿卜杜拉赫曼·乌鲁古·利亚奇 相关软件： 伊斯梅夫；WAFO；Matlab… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
GrInvIn公司 9份文件引用(2007–2023) 软件作者： 阿德里安·皮特斯；克里斯·库萨特（Kris Coolsaet）；布林克曼，冈纳；范·克莱恩普特（Van Cleemput），尼古拉斯（Nicolas）；Veerle法克 相关软件： 鹦鹉螺；GraPHedron；图形之家… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
克莱纳代数 9份文件引用(2015–2022) 软件作者： 阿姆斯特朗，A.，斯特鲁思，G.，韦伯，T。 相关软件： 存档正式证据；Isabelle/HOL；大锤… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；群论与推广（20-XX）…
AoPA公司 8份文件引用(2009–2017) 软件作者： Mu，Shin-Cheng；Ko、Xiang-Shang；帕特里克·詹森 相关软件： 阿格达；Coq；Idris… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）…
Jordan范式 8份文件引用(2016–2024) 软件作者： 雷内·蒂埃曼；山田秋久 相关软件： Isabelle/HOL；存档正式证据；伊莎贝尔… 主要字段： 数学逻辑与基础（03-XX）；交换代数（13-XX）；数值分析（65-XX）…
MUSCOP公司 8份文件引用(2001–2023) 软件作者： 安德烈亚斯·波茨赫卡 相关软件： 纽顿图书馆；ADOL-C；区块SQP… 主要字段： 偏微分方程（35-XX）；变分法与最优控制；优化（49-XX）；整体分析，流形分析（58-XX）…
自称 8份文件引用(2010–2023) 软件作者： 洪，琳达；黄、陈；Shin，Ilgyou；Ho，Gregory S。；Lignères，Vincent L。；艾米丽·卡特（Emily A.Carter）。 相关软件： COMSOL公司；量子浓缩咖啡；CASTEP… 主要字段： 偏微分方程（35-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
PyZX公司 6篇文献引用(2019–2023) 软件作者： 基辛格，Aleks；van de Wetering，约翰 相关软件： 奎珀；项目Q；症状… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）…
外壳2 8份文件引用(1994–2011) 软件作者： 弗莱舍，J。；O.V.塔拉索夫。 相关软件： 表格；粉碎机；减少… 主要字段： 特殊功能（33-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
VeriML公司 8份文件引用(2010–2016) 软件作者： 安东尼斯·斯坦普利斯（Antonis Stampoulis）；邵，钟 相关软件： Coq；甲基丙烯酸甲酯；seL4… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
CoqMT公司 7份文件引用（2010年至2020年） 软件作者： Pierre-Yves支柱 相关软件： Coq；CoqMTU；删除… 主要字段： 数学逻辑与基础（03-XX）；场论与多项式（12-XX）；代数几何（14-XX）…
ELSI公司 6篇文献引用(2019–2024) 软件作者： V.Yu等人。 相关软件： ELPA；ScaLAPACK；lobpcg.m… 主要字段： 组合数学（05-XX）；线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）…
H-PILoT公司 6篇文献引用(2009–2021) 软件作者： Carsten Ihlemann，Viorica Sofrone-Stokkermans公司 相关软件： z3；REDLOG；草蜢… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
方程式 6篇文献引用（2010年至2020年） 软件作者： 索索、马蒂厄 相关软件： Coq；精益；Idris… 主要字段： 数学逻辑与基础（03-XX）；代数拓扑（55-XX）；计算机科学（68-XX）
图论 6篇文献引用(2014–2021) 软件作者： 拉尔斯·诺琴斯基 相关软件： 伊莎贝尔；Coq；存档正式证据… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；有序，格，有序代数结构（06-XX）…
HoTTSQL 6篇文献引用(2018–2022) 软件作者： 朱淑墨、康斯坦丁·维茨、张爱文、丹·苏秋 相关软件： Coq；链接；克莱斯利… 主要字段： 数学逻辑与基础（03-XX）；代数拓扑（55-XX）；计算机科学（68-XX）
卡拉 4份文件引用(2012–2022) 软件作者： Christian Kloimüllner、Johannes Oetsch、Jörg Pührer、Hans Tompits 相关软件： ASPVIZ；天基信息平台；SeaLion… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）；数学教育（97-XX）
lmomco公司 5份文件引用（2013年至2022年） 软件作者： 阿斯奎斯，W.H。 相关软件： LMOMENTS公司；R；L时刻… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）
MSVL公司 6篇文献引用(2019–2020) 软件作者： 王晓兵、丛田、段振华、梁昭 相关软件： 自旋蛋白；CPA检查员；CESAR… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
SInt公司 6篇文献引用(2013–2021) 软件作者： 安娜·康西奥。；维克托·G·克拉夫琴科。；何塞·佩雷拉。 相关软件： Mathematica；A规格成对标尺；A规格配对矩阵… 主要字段： 复变量函数（30-XX）；近似和展开（41-XX）；积分方程（45-XX）…
采购订单模板 6篇文献引用(2018–2022) 软件作者： 阿南德，阿比舍克；西蒙·博利埃（Simon Boulier）；科恩、西里尔；索索、马蒂厄；尼古拉斯·塔巴鲁 相关软件： Coq；CertiCoq；OEuf… 主要字段： 计算机科学（68-XX）
BW差异 5份文件引用(2017–2020) 软件作者： 顾洁；锡苏莱赫曼帕西奇 相关软件： 本德武；数学软件 主要字段： 代数几何（14-XX）；几个复变量与解析空间（32-XX）；偏微分方程（35-XX）…
伽马MaP 4份文件引用(2021–2023) 软件作者： 皮里·库塞拉 相关软件： Mathematica；伽马射线；表格… 主要字段： 非结合环与代数（17-XX）；微分几何（53-XX）；数值分析（65-XX）…
MC开发 4份文件引用(2011–2018) 软件作者： 斯拉文斯卡，M。；贾达奇，S。 相关软件： 泡沫；根；BHLUMI… 主要字段： 总体主题；藏品（00-XX）；数值分析（65-XX）；量子理论（81-XX）…
机械化语义库 5份文件引用(2011–2015) 软件作者： Appel，A.W.，Dockins，R.，Hobor，A 相关软件： Coq；pthreads；布吉… 主要字段： 数学逻辑与基础（03-XX）；一般拓扑（54-XX）；计算机科学（68-XX）
梅林 5份文件引用(2013–2017) 软件作者： Livshits VB、Nori AV、Rajamani SK、Banerjee A 相关软件： JavaScript；萨纳尔；TAJ… 主要字段： 计算机科学（68-XX）
Q发动机 3份文件引用(2019–2024) 软件作者： Jens Jakob Sørensen、Jesper Jensen、Till Heinzel、Jacob Sherson 相关软件： QuTiP；克罗托夫；WavePacket… 主要字段： 变分法与最优控制；优化（49-XX）；量子理论（81-XX）；统计力学，物质结构（82-XX）
Quantum信息.jl 2份文件引用(2020–2021) 软件作者： 加伦，P。；Kurzyk，D。；巴韦拉。 相关软件： Yao.jl；朱莉娅；QuantumOptics.jl… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…
红色PRL 5份文件引用(2018–2021) 软件作者： J.Sterling、D.Gratzer、V.Rahli、D.Morrison、E.Akentyev、A.Tosun 相关软件： 立方体；github；立方agda… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；代数拓扑（55-XX）…
塞尔夫 4份文件引用(2008–2023) 软件作者： 安德斯·沙克·奈尔森（Anders Schack-Nielsen）；卡斯滕·舒尔曼 相关软件： TALx86；洛利；混合型… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
CoqInE公司 4份文件引用(2015–2021) 软件作者： Ali Assaf、Mathieu Boespflug、Guillaume Burel、Quentin Carbonneaux、Gaspard Férey、François Thire 相关软件： Coq；CoqHammer；HOL灯… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
CoqMTU公司 4份文件引用(2013–2020) 软件作者： 布鲁诺·巴拉斯（Bruno Barras）、珍妮·皮埃尔·朱安诺（Jean-Pierre Jouannaud）、皮埃尔·伊夫·斯特鲁布（Pierre-Yves Strub）、钱旺（Qian Wang） 相关软件： CoqMT；Coq；GitHub… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
Dftatom公司 4份文件引用(2013–2024) 软件作者： 乔尔蒂克，Ondřej；约翰·帕斯克（John E.Pask）。；瓦卡日吉 相关软件： Libxc；壮举；DBSR_HF… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；量子理论（81-XX）…
Hiord公司 4份文件引用(2004–2018) 软件作者： 丹尼尔·卡贝萨（Daniel Cabeza）；曼努埃尔·赫梅内吉尔多（Manuel Hermenegildo）；詹姆斯·利普顿 相关软件： HiLog；CoALP；CiaoPP… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
LLFp公司 4份文件引用(2016–2019) 软件作者： Furio Honsell；路易吉·利库里；皮塔·马克西莫维奇；伊万·斯卡格内托 相关软件： Coq；MMT；Agda… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
MathLang（数学语言） 4份文件引用(2004–2008) 软件作者： Kamaredine，F.、Maarek，M.、Wells，J。 相关软件： 米扎尔；自动化；XPath… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
相位类型R 3份文件引用(1997–2022) 软件作者： Iker Rivas-González、Colin Guetemme、Asger Hobolth、Lars Nörvang Andersen 相关软件： R；静电除尘器；母系主义者… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；计算机科学（68-XX）…
ZFC_输入_霍尔 4份文件引用(2020–2024) 软件作者： L.C.保尔森。 相关软件： 存档正式证据；Isabelle/HOL；顺序分区… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
AJIVE公司 3份文件引用(2018–2021) 软件作者： 冯青；蒋美蕾；Hannig，Jan；马龙，J.S。 相关软件： JIVE；OpenFace；多视图… 主要字段： 统计学（62-XX）；计算机科学（68-XX）
小牛 3份文件引用(2017–2022) 软件作者： Gerco van Heerdt、Matteo Sammartino、Alexandra Silva 相关软件： LearnLib；杠杆；西格玛*… 主要字段： 计算机科学（68-XX）
评估代码 3份文件引用(2021–2023) 软件作者： Ball，Taylor；爱德华多坎普斯；Henry Chimal-Dzul；德利奥·贾拉米洛·维莱兹；洛佩兹，希拉姆；内森·尼科尔斯（Nathan Nichols）；马修·珀金斯（Matthew Perkins）；伊凡·索普鲁诺夫（Ivan Soprunov）；Vera-Martínez，德国；格温·惠顿 相关软件： 线性代码；编码理论.m2；麦考利2 主要字段： 数论（11-XX）；交换代数（13-XX）；代数几何（14-XX）…
FiniteRing.mpl（FiniteRing） 3份文件引用（2013年至2022年） 软件作者： 马哈茂德·贝赫布迪；贝兰万德，雷扎；阿米尔·哈希米；侯赛因·哈巴赞 相关软件： 枫树 主要字段： 结合环与代数（16-XX）；计算机科学（68-XX）
模糊ME 3份文件引用(2010–2016) 软件作者： 霍尔切克，帕维尔；塔拉舍娃，贾纳；O.Pavlacka；I.Bebcáková 相关软件： 视觉UTA；签证；WINPRE… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
HOL轻型量化宽松 3份文件引用(2018–2020) 软件作者： 雅克·卡雷特；Farmer，William M。；帕特里克·拉斯科夫斯基 相关软件： Coq；伊德里斯；重新选择… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
线路代码 3份文件引用(2021–2023) 软件作者： Ball，Taylor；爱德华多坎普斯；Henry Chimal-Dzul；德利奥·贾拉米洛·维莱兹；洛佩兹，希拉姆；内森·尼科尔斯（Nathan Nichols）；马修·珀金斯（Matthew Perkins）；伊凡·索普鲁诺夫（Ivan Soprunov）；Vera-Martínez，德国；格温·惠顿 相关软件： 评估代码；编码理论.m2；麦考利2 主要字段： 数论（11-XX）；交换代数（13-XX）；代数几何（14-XX）…
MARE2DEM公司 3份文件引用(2020–2023) 软件作者： 键，K。 相关软件： 三角形；SimPEG公司；emg3d… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；光学、电磁理论（78-XX）…
蒙哥 3份文件引用(2018–2020) 软件作者： 库扎帕斯、迪米特里奥斯；奥尔内拉·达达；罗利·佩雷拉；西蒙·盖伊。 相关软件： session-ocaml；睫毛；z3（零3） 主要字段： 计算机科学（68-XX）
新HOPLA 3份文件引用(2004–2014) 软件作者： 格林·温斯克尔（Glynn Winskel）；弗朗西斯科·扎帕·纳德利 相关软件： HOPLA公司 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）
产品生命周期管理 3份文件引用(2020) 软件作者： 丹尼尔·基什内尔 相关软件： Isabelle/HOL；精益；逻辑键… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；粒子和系统力学（70-XX）
UMAT塑性 3份文件引用(2019–2021) 软件作者： 埃米利奥·马丁内斯·帕涅达；福恩特斯·阿隆索，桑德拉；科瓦东加Betegón 相关软件： UELSGP；代码CMSG；EPXFEM… 主要字段： 可变形固体力学（74-XX）；流体力学（76-XX）
CLF公司 2份文件引用(2007–2018) 软件作者： 凯文·沃特金斯；伊利亚诺·塞维萨托；弗兰克·芬宁（Frank Pfenning）；大卫·沃克 相关软件： 名义上的伊莎贝尔；阿格达；Abella… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
数据娱乐 2份文件引用(2016–2022) 软件作者： 迈克尔·阿恩特泽尼乌斯（Michael Arntzenius）；尼拉坎坦·R·克里希纳斯瓦米。 相关软件： 汞；哈斯克尔；夏普… 主要字段： 计算机科学（68-XX）