正则链 90篇文献引用(2005–2023) 软件作者： Lemaire，F。；莫雷诺·马扎（Moreno Maza，M.）。；谢，Y。 相关软件： 枫树；单一；QEPCAD… 主要字段： 交换代数（13-XX）；代数几何（14-XX）；数值分析（65-XX）…
谐波频谱 72份文件引用(2009–2024) 软件作者： 雅各布·阿林格；约翰内斯·布吕姆林（Johannes Blümlein）；卡斯滕·施耐德 相关软件： 形式；EvaluateMultiSums；Axodraw… 主要字段： 数论（11-XX）；特殊功能（33-XX）；计算机科学（68-XX）…
admcycles（管理周期） 15篇文献引用(2019–2024) 软件作者： 文森特·德莱克索瓦（Vincent Delecroix）、约翰·施密特（Johannes Schmitt）、杰森·范泽尔姆（Jason van Zelm） 相关软件： SageMath；分化；CoCalc… 主要字段： 组合数学（05-XX）；代数几何（14-XX）；复变量函数（30-XX）…
依赖关系 15篇文献引用(2008–2023) 软件作者： M.Kauers；B.齐默尔曼 相关软件： Mathematica；SIGMA；SumCracker… 主要字段： 数论（11-XX）；场论与多项式（12-XX）；群论与推广（20-XX）…
模块图形形式 14篇文献引用(2020–2023) 软件作者： 简·E·格肯 相关软件： Mathematica；形式；PSS系统 主要字段： 组合数学（05-XX）；数论（11-XX）；微分几何（53-XX）…
ACUOS2号机组 13份文件引用(2014–2022) 软件作者： 马利亚阿尔普特；黛米斯·巴利斯；安吉尔·昆卡-奥尔特加；圣地亚哥埃斯科瓦尔；何塞·梅塞格尔 相关软件： 莫德；莫德-NPA；塔马林… 主要字段： 数学逻辑与基础（03-XX）；一般代数系统（08-XX）；计算机科学（68-XX）
基础知识 8份文件引用(2010–2022) 软件作者： 雷吉斯·布朗；托马斯·亨辛格。；Thibaud Hottelier；劳拉·科瓦奇 相关软件： AProVE；速度；TiML… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
DVNIZK公司 10篇文献引用(2018–2023) 软件作者： 白鹿座；杰弗里·库托 相关软件： xJsnark；github；gmp… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
克莱恩代数 9份文件引用(2015–2022) 软件作者： A.阿姆斯特朗、G.斯特鲁斯、T.韦伯。 相关软件： 存档正式证据；Isabelle/HOL；大锤… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；群论与推广（20-XX）…
关系代数 6篇文献引用(2016–2018) 软件作者： 阿拉斯代尔·阿姆斯特朗、西蒙·福斯特、乔治·斯特鲁斯、贾克·韦伯 相关软件： 存档正式证据；Isabelle/HOL；HOL… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）
嵌套产品 5份文件引用(2020–2024) 软件作者： 卡斯滕·施耐德 相关软件： SIGMA；qZeil；RhoSum… 主要字段： 场论与多项式（12-XX）；特殊功能（33-XX）；差分和函数方程（39-XX）…
TNFS公司 5份文件引用(2021–2024) 软件作者： 加布里埃尔·德·米凯利（Gabrielle De Micheli）；皮埃里克·高德利（Pierrick Gaudry）；塞西尔·皮埃罗 相关软件： zk-SNARK公司；CADO-NFS；GitHub… 主要字段： 数论（11-XX）；代数几何（14-XX）；计算机科学（68-XX）…
P2上的self-maps乘法器 4份文件引用(2018–2020) 软件作者： 阿道夫·吉洛特；瓦伦特·拉米雷斯 相关软件： 岩浆；github；SageMath… 主要字段： 常微分方程（34-XX）；动力系统和遍历理论（37-XX）
RATH-Agda公司 3份文件引用(2014) 软件作者： Kahl，W。 相关软件： 阿格达；CASL；Spoofax… 主要字段： 阶、格、有序代数结构（06-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）
电视识别码 3份文件引用(2018–2021) 软件作者： S.Bauberger和A.Freitas 相关软件： 紫红色；LiteRed；MATAD… 主要字段： 数论（11-XX）；特殊功能（33-XX）；量子理论（81-XX）
KAD公司 2份文件引用(2019–2022) 软件作者： 维克多·B·F·戈麦斯、沃尔特·古特曼、彼得·霍夫纳、乔治·斯特鲁斯、特贾克·韦伯 相关软件： 存档正式证据；贝勒红；变压器语义… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
PORFLOW公司 2份文件引用(2004–2006) 软件作者： acricfd.com网站 相关软件： 海德鲁斯 主要字段： 数值分析（65-XX）；流体力学（76-XX）；地球物理学（86-XX）
QuBiLs-MIDAS公司 2份文件引用(2015–2020) 软件作者： 加西亚·加卡斯，C.R。；Marrero-Pone，Y。；阿塞韦多·马丁内斯，L。；Barigye，S.J。；巴尔德斯·马丁尼，J.R。；孔特拉斯·托雷斯，E 相关软件： ToMoCoMD-CARDD；FoldRate；MuLiMs-MCOMPA… 主要字段： 统计学（62-XX）；生物学和其他自然科学（92-XX）
Absynth.jl公司 1份文件引用(2022) 软件作者： 安德烈亚斯·休门伯格（Andreas Humenberger）；达内什瓦·阿姆罗拉希；尼古拉·比约纳；劳拉·科瓦奇 相关软件： z3（零3） 主要字段： 计算机科学（68-XX）
AlgRel.wl公司 1份文件引用(2023) 软件作者： Ananthanaarayan，B。；贝拉，苏维克；塔奈·巴萨克 相关软件： Olsson.wl；Mathematica；解决部分LDE… 主要字段： 常微分方程（34-XX）；微分几何（53-XX）；整体分析，流形分析（58-XX）…
MuLiMs-MCoMPAs公司 1份文件引用(2020) 软件作者： 约瓦尼Marrero-Pone；朱利奥·特兰（Julio E.Teran）。；埃内斯托·孔特拉斯·托雷斯；塞萨尔·R·加西亚·加卡斯。；佩雷兹·卡斯蒂略（Perez-Castillo），尤尼尔基斯（Yunierkis）；内斯特库比兰；Peréz-Giménez，法昆多；瓦尔德斯·马提尼（JoséR。 相关软件： FoldRate；PseAAC-Builder；PROFEAT… 主要字段： 统计学（62-XX）；生物学和其他自然科学（92-XX）
nccrFOAM公司 1份文件引用(2024) 软件作者： Mankodi，Tapan K。；埃希特哈迪，奥米德；图沙尔·乔鲁希；阿明·拉希米；Myong，R.S。 相关软件： —— 主要字段： 流体力学（76-XX）；统计力学，物质结构（82-XX）
重建。米 1份文件引用(2023) 软件作者： Belitsky，A.V。；斯米尔诺夫，A.V。；雅科夫列夫，R.V。 相关软件： LiteRed；火灾；FiniteFlow… 主要字段： 拓扑群，李群（22-XX）；几个复变量与解析空间（32-XX）；功能分析（46-XX）…
结构可识别性.jl 1份文件引用(2023) 软件作者： 董瑞文；Christian Goodbrake；Heather A.Harrington。；格勒布·波古丁 相关软件： 西安；COMBOS公司；尼莫… 主要字段： 场论与多项式（12-XX）；交换代数（13-XX）；常微分方程（34-XX）…