-
黎曼猜想证明研究资料
数据集概述 本数据集包含一份关于黎曼猜想证明的学术研究文档。该文档提出了一个全新的数学框架，旨在通过原创性定理和公式解决这一历时160余年的数学难题。研究内容涉及数论、复分析领域的突破性重构，包括对无限乘积收敛性、黎曼ζ函数精确求值以及复平面完备性的重新论证。文档共294页，提出了多个创新性数学公式和定理。 文件详解 文件名称： Riemann...
-
李代数代数计算软件包Killing
数据集概述 本数据集为李代数代数计算软件包Killing，包含用于处理经典、例外及变形李代数表示理论元素的代数计算程序，分为根系与权形式体系、盖尔范德-特斯林方法两部分，支持李代数及其不可约表示的分类与显式构造。 文件详解 文件名称：adlx_v1_0.tar.gz 文件格式：压缩文件（.gz）...
-
Faddeeva函数的优化高阶自动微分数据集
数据集概述 本数据集围绕Faddeeva函数的优化高阶自动微分展开，针对该函数复合形式的高阶导数计算问题，提供相关程序及许可文件，为数学函数高阶自动微分的实现与应用提供支持。 文件详解 文件名称: afag_v1_0.tar.gz 文件格式: .tar.gz（压缩包） 内容说明:...
-
量子跃迁矩阵元符号计算数据集
数据集概述 本数据集包含用于符号计算量子跃迁矩阵元的Mathematica笔记本程序，支持原子电离过程相关的分析。通过符号语言可获得带电粒子、激光诱导电离等过程所需的跃迁矩阵元解析表达式，并能导出至Fortran或C等编程语言，适用于原子物理与强场物理研究。 文件详解 该数据集包含一个压缩包文件，具体说明如下： - 文件名称:...
-
非线性演化方程组对称性与守恒密度求解REDUCE程序包SYMCD
数据集概述 本数据集包含一个REDUCE程序包SYMCD，用于求解非线性演化方程组的对称性和守恒密度，支持多组分系统。该程序可辅助判断方程的可积性，适用于理论物理和数学物理领域的研究。 文件详解 文件名称：aadg_v3_0.gz 文件格式：GZ压缩包（.gz）...
-
耗散系统的拉格朗日处理数据集
数据集概述 本数据集包含一篇关于耗散系统拉格朗日处理的学术文献，核心内容围绕非莱布尼茨形式主义的广义导数算子展开，探讨其对变分原理、拉格朗日与哈密顿方程的影响，以及在力学系统中的应用。 文件详解 文件名称: Lagrangian treatment of dissipative systems.pdf 文件格式: PDF (.pdf) 文件内容:...
-
非负参数整数与半整数阶抛物柱面函数数据集
数据集概述 本数据集包含用于计算非负参数下整数阶（DINPCF子程序）和半整数阶（DHAPCF子程序）抛物柱面函数V(a,x)与U(a,x)的程序代码，基于递推关系、Wronskian关系及连分数方法实现，确保计算精度。 文件详解 文件名称: adiv_v1_0.gz 文件格式: GZ压缩文件 内容说明:...
-
等离子体物理中的符号向量分析数据集
数据集概述 本数据集包含一个用于等离子体物理领域符号向量分析的计算机代数程序包GeneralVectorAnalysis（GVA），采用微分形式理论统一处理3D向量微积分，可支持通用坐标系下的复杂解析向量计算。 文件详解 文件名称: adjp_v1_0.gz 文件格式: GZ压缩包 (.gz) 文件内容:...
-
新冠应对措施及投资组合夏普比率优化数据集
数据集概述 该数据集围绕新冠应对措施的应用展开，核心内容为道琼斯工业平均指数30只成分股的相关数据及分析结果，旨在通过优化投资组合夏普比率实现对股市指数的超越。 文件详解 30_stock_stock_market_index_price_weighted.xlsx：Excel格式文件，包含道琼斯工业平均指数30只成分股的价格加权相关数据...
-
微分方程对称性与守恒律计算软件包GeM
数据集概述 本数据集为基于Maple开发的“GeM”软件包，用于自动分析偏微分方程和常微分方程系统的对称性及守恒律。软件包包含易用的计算程序，支持相关数学与应用研究，可通过少量Maple代码实现分析并输出规范结果。 文件详解 文件名称: adyk_v1_0.tar.gz 文件格式: GZ压缩包（.gz） 文件内容:...
-
酉群表示的不变量与交换子数据集
数据集概述 该数据集包含用于计算酉群表示中不变量及生成元多项式的程序文件，可用于标记酉群表示。数据集源自CPC程序库，为相关数学或物理领域的研究提供计算工具支持。 文件详解 文件名称: Invariants and commutators for unitary group representations/aabc_v1_0.gz 文件格式:...
-
非线性激光光谱学速率方程与光子输运方程数值求解器
数据集概述 本数据集包含一个名为PRES的软件包，用于数值求解非线性紫外/可见/近红外激光光谱学中耦合的速率方程与光子输运方程系统，适用于研究电子激发态多光子过程的激发与失活。 文件详解 文件名称: adld_v1_0.tar.gz 文件格式: GZ压缩包（.gz） 文件内容:...
-
平方根有理化软件包
数据集概述 本数据集为平方根有理化软件包，用于通过变量变换对费曼积分中的平方根进行有理化，以获得多对数形式的解。包含理论背景介绍及软件使用说明，支持相关计算任务。 文件详解 文件名称: RationalizeRoots.zip 文件格式: .zip（压缩包） 文件内容: 包含平方根有理化软件程序、理论背景介绍文档及使用说明文档，无公开预览内容 适用场景...
-
Fedosov星乘Weyl代数计算Mathematica程序数据
数据集概述 本数据集包含在Mathematica环境中实现Fedosov ∗-product（星乘）的计算程序"Fecom.nb"。该程序专门用于在Darboux坐标系下计算Weyl类型的∗-乘积，采用多项式方式处理Weyl代数元素以优化计算效率，并包含多项排序程序。数据集包含两个版本的程序文件，源自CPC程序库。 文件详解 程序文件包 文件名称：...
-
半轻子电弱相互作用中谐振子核矩阵元的Mathematica脚本_SevenOperators
数据集概述 本数据集包含一个Mathematica脚本，用于代数计算控制半轻子弱相互作用（如带电或中性流中微子与原子核散射）的单体多极算符的谐振子核矩阵元，为相关核物理计算提供工具支持。 文件详解 文件名称：aeay_v1_0.tar.gz 文件格式：压缩包（.tar.gz）...
-
分数阶微分方程李点对称性自动符号计算数据集
数据集概述 该数据集包含用于分数阶微分方程（FDEs）李点对称性自动符号计算的MAPLE程序包FracSym，基于Buckwar & Luchko及Gazizov等学者提出的方法扩展，支持多变量及偏FDEs系统的对称性求解。 文件详解 文件名称: aera_v1_0.tar.gz 文件格式: GZ压缩包（.gz） 文件内容:...
-
对称群的表格与框架函数数据集
数据集概述 本数据集包含一个程序文件，用于计算对称群（Symmetric Group）的表格与框架相关函数，具体为框架的行、列长度和维度，以及正交矩阵和符号函数等数据，为相关数学或计算任务提供支持。 文件详解 文件名称: Functions on tableaux and frames of the symmetric...
-
ODEPAINLEVE_MACSYMA常微分方程Painlevé分析程序包
数据集概述 本数据集包含ODEPAINLEVE程序包，用于通过MACSYMA软件对非线性常微分方程进行Painlevé分析，判断方程是否满足无移动临界点的必要条件，为方程积分提供支持。 文件详解 该数据集包含一个压缩文件，具体说明如下： - 文件名称: aalt_v1_0.gz - 文件格式: GZIP压缩文件（.gz） - 内容说明:...
-
Chaste生物建模软件开发数据集
数据集概述 本数据集包含Chaste软件库及测试套件，用于生物学领域的计算模拟，涵盖癌症、心脏生理学和软组织力学建模，采用敏捷编程方法开发，基于LGPL 2.1许可证发布。 文件详解 文件名称: aefd_v1_0.tar.gz 文件格式: .gz（压缩包格式） 内容说明:...
-
计算实阶复变量贝塞尔函数单零点的数学软件包ZEBEC
数据集概述 该数据集包含名为ZEBEC的数学软件包，用于定位和计算第一类、第二类、第三类贝塞尔函数及其导数的单零点，适用于实阶复变量场景，支持通过柯西定理确定给定矩形区域内的零点总数，为数学物理问题提供计算工具。 文件详解 该数据集由一个压缩文件组成，具体说明如下： - 文件名称: adio_v1_0.gz - 文件格式: GZ压缩包（.gz） -...
