岩浆 4007文件引用(1994–2024) 软件作者： W.Bosma、A.Steel、G.Matthews、D.Fisher、J.Cannon、S.Contini、B.Smith 相关软件： 间隙；SageMath；PARI/GP… 主要字段： 组合数学（05-XX）；数论（11-XX）；代数几何（14-XX）…
SIGMA公司 123篇文献引用(2004–2024) 软件作者： 卡斯滕·施耐德 相关软件： qZeil；EvaluateMultiSums；谐波和… 主要字段： 组合数学（05-XX）；数论（11-XX）；特殊功能（33-XX）…
Sage-Combinat公司 116篇文献引用（2010年-2023年） 软件作者： —— 相关软件： SageMath；组织环境信息系统；雪维… 主要字段： 组合数学（05-XX）；阶、格、有序代数结构（06-XX）；代数几何（14-XX）…
GENREG公司 70篇文献引用(1999–2024) 软件作者： 马库斯·梅林格 相关软件： nauti；踪迹；图形之家… 主要字段： 组合数学（05-XX）；几何（51-XX）；计算机科学（68-XX）…
欧米茄 61篇文献引用(2001–2023) 软件作者： 乔治·安德鲁斯（George E.Andrews）。；彼得·保罗；里瑟、阿克塞尔 相关软件： 组织环境信息系统；LattE；数学… 主要字段： 组合数学（05-XX）；数论（11-XX）；交换代数（13-XX）…
分级环数据库 55份文件引用(2002–2024) 软件作者： 加文·布朗，亚历山大·卡斯普日克 相关软件： 岩浆；麦考利2号；聚乙烯… 主要字段： 交换代数（13-XX）；代数几何（14-XX）；几个复变量和分析空间（32-XX）…
gCol（色谱柱） 34份文件引用(2016–2023) 软件作者： 刘易斯，R.M.R。 相关软件： CALMA公司；irace；禁忌搜索… 主要字段： 组合数学（05-XX）；常微分方程（34-XX）；统计学（62-XX）…
密码技术 29篇文献引用(2001–2015) 软件作者： 瓦西尔·乌斯廷科 相关软件： 密码；Galois字段算术库 主要字段： 组合数学（05-XX）；代数几何（14-XX）；计算机科学（68-XX）…
MuPAD组合 24篇文献引用(2004–2019) 软件作者： 弗朗索瓦·德斯库恩斯 相关软件： MuPAD；组织环境信息系统；SageMath… 主要字段： 组合数学（05-XX）；结合环与代数（16-XX）；非结合环与代数（17-XX）…
OreSys公司 15篇文献引用(2005–2023) 软件作者： 斯特凡·格霍尔德 相关软件： 谐波和；雷杜泽；表格… 主要字段： 组合数学（05-XX）；数论（11-XX）；特殊功能（33-XX）…
2L_枚举 14篇文献引用(2015–2024) 软件作者： 亚当·波恩（Adam Bohn）；尤里·法恩扎；塞缪尔·菲奥里尼；Fisikopoulos、Vissarion；马可·马奇亚；坎斯坦钦·帕什科维奇 相关软件： 01聚；麦考利2号；SageMath… 主要字段： 组合数学（05-XX）；交换代数（13-XX）；凸和离散几何（52-XX）…
王牌 13份文件引用(1997–2010) 软件作者： 南卡罗来纳州韦伊瑙。 相关软件： 枫树；SF；马西玛… 主要字段： 组合数学（05-XX）；代数几何（14-XX）；非结合环与代数（17-XX）…
stCore公司 12份文件引用(2016–2022) 软件作者： Shalosh B.Ekhad，多伦·泽尔伯格 相关软件： 枫树；希斯塔布鲁；双变量妈妈… 主要字段： 组合数学（05-XX）；数论（11-XX）；差分和函数方程（39-XX）…
组合学_单词 10篇文献引用(2017–2023) 软件作者： Štěpán Holub；马丁·拉什卡；Štěpán Starosta 相关软件： Isabelle/HOL；伊莎贝尔；存档正式证据… 主要字段： 计算机科学（68-XX）
轨道飞行器 9份文件引用(2018–2023) 软件作者： 安东·贝滕 相关软件： github；岩浆；nauty… 主要字段： 组合数学（05-XX）；几何（51-XX）；凸和离散几何（52-XX）…
组合 4份文件引用(2010–2019) 软件作者： 斯科特·查萨洛 相关软件： R；mvtnorm；ggplot2… 主要字段： 非结合环与代数（17-XX）\（K\）理论（19-XX）；拓扑群，李群（22-XX）…
生成UHG 8份文件引用(2019–2022) 软件作者： Jan Goedgebeur、Barbara Meersman、Carol T.Zamfirescu 相关软件： 图形之家；nauti；snarkhunter… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
q函数 8份文件引用(2020–2023) 软件作者： 雅各布·阿布林格（Jakob Ablinger）、阿里·K·恩库（Ali K.Uncu） 相关软件： qMultiSum；qGeneratingFunctions；费率… 主要字段： 组合数学（05-XX）；数论（11-XX）；非结合环与代数（17-XX）…
多边形.jl 8份文件引用(2021–2024) 软件作者： 马雷克·卡卢巴（Marek Kaluba）、本杰明·洛伦茨（Benjamin Lorenz）、萨沙·蒂姆（Sascha Timme） 相关软件： 多面手；奥斯卡；同伦连续… 主要字段： 代数几何（14-XX）；凸和离散几何（52-XX）；流形和细胞复合体（57-XX）…
超狄利克雷 5份文件引用(2013–2022) 软件作者： 罗宾·汉金 相关软件： R；艾尔默；propOverlap… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
PermLib（永久库） 7份文件引用(2010–2019) 软件作者： 托马斯·雷恩（Thomas Rehn）；阿基尔·舒尔曼 相关软件： SymPol；MIPLIB公司；正常（amp；N）… 主要字段： 代数几何（14-XX）；凸和离散几何（52-XX）；计算机科学（68-XX）…
呼吸 7份文件引用(2013–2019) 软件作者： I.Z.Emiris、V.Fisikopoulos、C.Konaxis、L.Peñaranda 相关软件： TOPCOM公司；枫树；三角测量… 主要字段： 交换代数（13-XX）；代数几何（14-XX）；近似和展开（41-XX）…
RLangG风机 7份文件引用(2008–2019) 软件作者： 克里斯托夫·库彻恩 相关软件： RNAsubopt；RNA折叠；枫树… 主要字段： 组合数学（05-XX）；交换代数（13-XX）；线性代数和多线性代数；矩阵理论（15-XX）…
SMCper公司 7份文件引用(2004–2023) 软件作者： 多龙·泽尔伯格 相关软件： stCore；快速分拣；艾哈德… 主要字段： 组合数学（05-XX）；群论与推广（20-XX）；差分和函数方程（39-XX）…
FlexRiLoG公司 5份文件引用(2020–2023) 软件作者： 乔治·格拉塞格（Georg Grasegger）、简·莱杰斯克（Jan Legersk） 相关软件： 拉曼图；SageMath；github 主要字段： 组合数学（05-XX）；几何（51-XX）；凸和离散几何（52-XX）…
夏皮罗 5份文件引用(2017–2021) 软件作者： Shalosh B.Ekhad，Doron Zeilberger公司 相关软件： 枫树；道格森；qTSPP… 主要字段： 组合数学（05-XX）；数论（11-XX）；线性代数和多线性代数；矩阵理论（15-XX）…
Algolib公司 5份文件引用(2004–2022) 软件作者： INRIA的Algo团队 相关软件： 枫树；组织环境信息系统；HOL灯… 主要字段： 阶、格、有序代数结构（06-XX）；数论（11-XX）；计算机科学（68-XX）
123财年 5份文件引用(2013–2024) 软件作者： Brian Nakamura；多伦·齐尔伯格 相关软件： F12345；第123456页；第12345页… 主要字段： 组合数学（05-XX）；差分方程和函数方程（39-XX）；计算机科学（68-XX）
1234层 5份文件引用(2013–2024) 软件作者： Brian Nakamura；多伦·齐尔伯格 相关软件： F12345；第123456页；第12345页… 主要字段： 组合数学（05-XX）；差分方程和函数方程（39-XX）；计算机科学（68-XX）
第12345页 5份文件引用(2013–2024) 软件作者： Brian Nakamura；多伦·齐尔伯格 相关软件： 第123456页；第12345页；第1234页… 主要字段： 组合数学（05-XX）；差分方程和函数方程（39-XX）；计算机科学（68-XX）
第123页 5份文件引用(2013–2024) 软件作者： Brian Nakamura；多伦·齐尔伯格 相关软件： F12345；第123456页；第12345页… 主要字段： 组合数学（05-XX）；差分方程和函数方程（39-XX）；计算机科学（68-XX）
第1234页 5份文件引用(2013–2024) 软件作者： Brian Nakamura；多伦·齐尔伯格 相关软件： F12345；第123456页；第12345页… 主要字段： 组合数学（05-XX）；差分方程和函数方程（39-XX）；计算机科学（68-XX）
第12345页 5份文件引用(2013–2024) 软件作者： Brian Nakamura；多伦·齐尔伯格 相关软件： F12345；第123456页；第1234页… 主要字段： 组合数学（05-XX）；差分方程和函数方程（39-XX）；计算机科学（68-XX）
第123456页 5份文件引用(2013–2024) 软件作者： Brian Nakamura；多伦·齐尔伯格 相关软件： F12345；第12345页；第1234页… 主要字段： 组合数学（05-XX）；差分方程和函数方程（39-XX）；计算机科学（68-XX）
山核桃 4份文件引用(2022–2024) 软件作者： Reed Oei、Dun Ma、Christian Schulz、Philipp Hieronymi 相关软件： github；核桃；OEIS… 主要字段： 数论（11-XX）；计算机科学（68-XX）
IntHaar公司 2份文件引用(2019–2021) 软件作者： 亚历杭德罗·吉诺里（Alejandro Ginory）、琼温·金（Jongwon Kim） 相关软件： RTNI；蟒蛇；数学… 主要字段： 组合数学（05-XX）；线性代数和多线性代数；矩阵理论（15-XX）；群论与推广（20-XX）…
AFS.txt格式 2份文件引用(2018–2020) 软件作者： Shalosh B.Ekhad，多伦·泽尔伯格 相关软件： 组织环境信息系统；枫树 主要字段： 组合数学（05-XX）；数论（11-XX）
SlackIdeals公司 2份文件引用(2022–2023) 软件作者： 安东尼奥·马基亚、艾米·维贝 相关软件： 麦考利2号；2L_枚举 主要字段： 组合数学（05-XX）；交换代数（13-XX）；代数几何（14-XX）…
CA计数 1份文件引用(2023) 软件作者： Shalosh B.Ekhad、N.J.A.Sloane、Doron Zeilberger 相关软件： 组织环境信息系统；艾哈德；gfun… 主要字段： 数论（11-XX）
成分 1份文件引用(2020) 软件作者： Shalosh B.Ekhad，Doron Zeilberger公司 相关软件： UGJ；双变种妈妈；枫树… 主要字段： 组合数学（05-XX）；数论（11-XX）
Coq-Combi公司 2份文件引用(2021) 软件作者： 弗洛伦特·希弗特 相关软件： 存档正式证据；Isabelle/HOL；组合词（_W）… 主要字段： 数论（11-XX）；计算机科学（68-XX）
活塞.txt 1份文件引用(2020) 软件作者： Shalosh B.Ekhad、N.J.A.Sloane、Doron Zeilberger 相关软件： 枫树；组织环境信息系统；有限公司 主要字段： 计算机科学（68-XX）
乌恩军事 1份文件引用（2007年） 软件作者： Shalosh B.Ekhad，Doron Zeilberger公司 相关软件： 全息函数；枫树；伊索尔德 主要字段： 总体主题；藏品（00-XX）；数学教育（97-XX）
冒险理论 1份文件引用(2017) 软件作者： 乔伊纳（W.David Joyner）；卡罗琳·格兰特·梅莱斯 相关软件： SageMath；github 主要字段： 组合数学（05-XX）；欧氏空间（42-XX）的调和分析；信息与通信理论，电路（94-XX）
组合数学.jl 在0个文档中引用 软件作者： 陈嘉豪；亚历山德罗·安德烈奥尼（Alessandro Andrioni）；等。 相关软件： 建模工具包.jl；微分方程.jl；SymbolicUtils.jl… 主要字段： ——
渔民_不平等 1份文件引用(2023) 软件作者： Edmonds，C.、Paulson，L.C 相关软件： 周长彩色；伊莎贝尔；Roth_算法_程序… 主要字段： 数理逻辑与基础（03-XX）；组合数学（05-XX）；数论（11-XX）…
GenOmega公司 1份文件引用(2003) 软件作者： 曼努埃拉·维辛格 相关软件： 欧米茄；Mathematica；枫树 主要字段： 组合数学（05-XX）；线性代数和多线性代数；矩阵理论（15-XX）；计算机科学（68-XX）
切割模型.jl 1份文件引用(2022) 软件作者： 贝克尔（Henrique Becker）；阿劳约，奥林托；卢西亚娜·布里奥。 相关软件： github；JuMP；朱莉娅… 主要字段： 运筹学，数学编程（90-XX）
首次公开募股 1份文件引用(2022) 软件作者： 沃尔克·凯贝尔（Volker Kaibel）、马蒂亚斯·沃尔特（Matthias Walter） 相关软件： RobinX；古罗比；github 主要字段： 计算机科学（68-XX）；运筹学，数学编程（90-XX）
LinearWang公司 1份文件引用(2019) 软件作者： 亚历山大·德鲁埃特·乔丹；石佐卡吉；吉弘美口 相关软件： github；Coq公司 主要字段： 组合数学（05-XX）；凸和离散几何（52-XX）；计算机科学（68-XX）
马特里克斯·舒伯特 在0个文档中引用 软件作者： 阿亚·阿穆萨；肖恩·格雷特（Sean Grate）；黄道吉；Patricia Klein；亚当·拉克莱尔（Adam LaClair）；罗玉元；约瑟夫·麦克多诺 相关软件： 麦考利2 主要字段： ——
McSparse公司 1份文件引用(2023) 软件作者： 乔纳斯·夏弗里塔格（Jonas Charfreitag）；迈克尔·Jünger；Sven Mallach；佩特拉·穆策尔 相关软件： 夫人；环形切口；BiqCrunch… 主要字段： 运筹学，数学编程（90-XX）
海报 1份文件引用（2018年） 软件作者： 柯蒂斯·格林（Curtis Greene）、尤金妮·亨西格（Eugenie Hunsicker） 相关软件： —— 主要字段： 非结合环与代数（17-XX）；群论与推广（20-XX）
Roth_Arithmetic_级数 1份文件引用(2023) 软件作者： Edmonds，C.、Koutsoukou-Argyraki，A.、Paulson，L.C。 相关软件： 周长彩色；伊莎贝尔；渔民不平等… 主要字段： 数理逻辑与基础（03-XX）；组合数学（05-XX）；数论（11-XX）…
对称多项式 1份文件引用(2022) 软件作者： 亚历山德拉·塞塞莱亚努 相关软件： github；麦考利2 主要字段： 几个复变量与解析空间（32-XX）；代数拓扑（55-XX）；流形和细胞复合体（57-XX）