-
确认科学有效性_马拉特_贾尼别克维奇_阿尔特克巴耶夫博士黎曼假设证明的验证
数据集概述 本数据集围绕马拉特·贾尼别克维奇·阿尔特克巴耶夫博士提出的黎曼假设证明展开，通过系统性分析其发表的俄文与英文材料，结合ChatGPT等AI系统的科学评论与逻辑解读，提供对该证明科学性、方法论完整性的验证视角。 文件详解 文件名称: Official Confirmation of Scientific Validity.pdf 文件格式:...
-
FORM符号操作系统4_0版本数据集
数据集概述 本数据集包含FORM符号操作系统4.0版本的程序文件。FORM是一款专注于高效处理超大型公式的符号操作语言，在量子场论与数学计算领域应用广泛，新版本新增有理多项式处理、表达式因式分解等核心功能及检查点备份机制。 文件详解 文件名称：aeot_v1_0.tar.gz 文件格式：压缩包（.gz） 内容说明：该压缩包包含FORM...
-
CIF2Cell电子结构程序几何设置生成数据集
数据集概述 本数据集包含CIF2Cell程序文件，该程序可基于晶体学信息框架（CIF）文件中的晶体学信息，为多种电子结构程序生成几何设置，包括提取空间群、原子位置等参数。 文件详解 文件名称: aeim_v1_0.tar.gz 文件格式: GZ压缩包（.gz） 内容说明:...
-
FRODO_MuPAD程序计算收缩波函数矩阵元素数据集
数据集概述 本数据集包含基于MuPAD计算机代数系统开发的FRODO程序，用于计算完全活性空间（CAS）方案中内收缩函数间电子哈密顿量的矩阵元素，为多参考微扰理论或配置相互作用计算提供支持。 文件详解 文件名称: advy_v1_0.tar.gz 文件格式: 压缩包（.tar.gz） 内容说明:...
-
GLie_MAPLE程序_格拉斯曼值微分方程的李超对称性
数据集概述 本数据集包含名为GLie的MAPLE程序，用于计算常规及格拉斯曼值偏微分方程非线性系统的决定方程，是李对称方法扩展至格拉斯曼值偏微分方程的成果，通过物理实例展示程序功能。 文件详解 文件名称: adep_v1_0.gz 文件格式: GZ压缩文件（.gz） 文件内容: 包含GLie...
-
平面动力系统Liouvillian首次积分确定数据集
数据集概述 该数据集包含用于确定平面动力系统Liouvillian首次积分的算法程序包，基于Darboux型方法求解积分因子，通过Maple软件的Lsolver程序包处理有理一阶常微分方程，提供不同版本的程序文件。 文件详解 文件名称: adzf_v1_0.tar.gz 文件格式: GZ压缩包（.gz） 内容说明:...
-
舒尔函数外积计算数据集
数据集概述 该数据集包含用于计算任意数量舒尔函数外积的程序，可将外积表示为舒尔函数的线性组合。数据集结构简单，以压缩文件形式存储，便于相关数学计算与验证使用。 文件详解 文件名称: Computation of outer products of Schur functions/aamj_v1_0.gz 文件格式: .gz（压缩文件） 内容说明:...
-
FeynCalc_9_0版本新进展数据集
数据集概述 本数据集记录FeynCalc 9.0版本的新进展，该程序是用于量子场论中费曼图和代数表达式符号半自动评估的Mathematica软件包，包含其核心功能更新及问题性质说明等信息。 文件详解 文件名称: afbb_v1_0.tar.gz 文件格式: .gz（压缩包格式） 内容说明: 为CPC程序库中的FeynCalc...
-
超对数符号积分算法及其费曼积分应用数据集
数据集概述 本数据集包含用于超对数与有理函数乘积的符号积分算法，支持自变量为有理函数的多重对数积分，算法以Maple实现，核心应用于费曼积分的精确计算，为量子场论等领域的积分问题提供工具支持。 文件详解 文件名称: aeuv_v1_0.tar.gz 文件格式: 压缩归档文件（.tar.gz） 内容说明:...
-
Package_X_Mathematica单圈积分解析计算程序包
数据集概述 本数据集为Mathematica程序包Package-X，用于相对论量子场论中单圈积分的解析计算，支持任意高阶张量积分与任意实值外部不变量、内部质量的运动学配置，输出包含紫外发散、红外发散及有限部分的紧凑表达式。 文件详解 文件名称: aext_v1_0.tar.gz 文件格式: GZ压缩包（.gz） 文件内容:...
-
不完全乔列斯基共轭梯度_ICCG_方法程序生成器数据集
数据集概述 本数据集包含用于生成不完全乔列斯基共轭梯度（ICCG）求解器程序包的代码生成器GENIC相关文件，适用于求解大型稀疏对称正定线性方程组Ax=b，为物理问题中线性系统求解提供程序生成工具支持。 文件详解 文件名称: absf_v1_0.gz 文件格式: GZ压缩包（.gz） 内容说明:...
-
TRACER_1_1_任意维度伽马代数的Mathematica软件包
数据集概述 本数据集为TRACER 1.1版本的Mathematica软件包，用于在任意时空维度下基于't Hooft-Veltman方案处理伽马代数，可进行代数操作、迹运算及表达式修改等功能，是数学上一致处理任意维度γ₅问题的通用计算机代数系统实现。 文件详解 文件名称: acjw_v1_0.gz 文件格式: GZ压缩包（.gz） 文件内容:...
-
pyBoLaNO_玻色子阶梯算符正规排序Python符号包
数据集概述 本数据集是基于SymPy开发的Python符号计算工具包pyBoLaNO，用于玻色子阶梯算符多项式的正规排序，支持对易子正规排序、开放量子系统Lindblad主方程期望演化计算，包含代码包及示例。 文件详解 文件名称: pyBoLaNO - code.zip 文件格式: ZIP压缩包（.zip） 内容说明:...
-
土耳其安纳托利亚中部温度深度曲线与热流数据集
数据集概述 本数据集聚焦土耳其安纳托利亚中部地区，包含温度深度曲线与热流相关的数据，以文档形式呈现，为研究该区域地热特征及地质热状况提供基础数据支持。 文件详解 目录: Data for TEMPERATURE-DEPTH CURVES AND HEAT FLOW IN CENTRAL PART OF ANATOLIA, TURKEY/ 文件名称:...
-
非可分哈密顿量正规形符号计算数据集
数据集概述 该数据集包含一个用于计算非可分哈密顿量正规形的符号程序，基于Birkhoff-Gustavson正规形理论，通过一系列正则变换实现非可积哈密顿量的正规形构造，可支持物理领域相关计算需求。 文件详解 文件名称：acht_v1_0.gz 文件格式：压缩包（.gz）...
-
微分方程对称性分析Maple软件包SADE数据集
数据集概述 本数据集包含SADE（微分方程对称性分析）Maple软件包，用于确定微分方程组的对称性及相关性质，涵盖Lie对称、非经典对称、守恒律等核心功能，为微分方程的解析性质研究提供工具支持。 文件详解 文件名称: aehl_v1_0.tar.gz 文件格式: GZ压缩包（.gz） 文件内容: 压缩包内包含SADE...
-
多粒子电动力学符号处理解决方案
数据集概述 本数据集提供了基于符号计算的多粒子电动力学问题解决方案，核心内容是使用Maple系统将相对论时间延迟、李纳-维谢尔势及其产生的力转换为单时间变量表达式，包含相关算法及程序文件。 文件详解 文件名称: abfx_v1_0.gz 文件格式: GZ压缩文件（.gz） 内容说明:...
-
RECOUP程序_Recoupling系数公式推导程序
数据集概述 本数据集包含RECOUP程序，用于推导Racach代数方法计算矩阵元时所需的Recoupling系数公式。程序基于Jucys等和El-Baz等提出的图形技术，将系数表示为图并存储为数组，通过规则转换分解为乘积形式。 文件详解 文件名称: abzr_v1_0.gz 文件格式: GZ压缩文件（.gz） 内容说明:...
-
NURBS曲面坐标测量中基于主成分分析的快速偏差区域拟合数据集
数据集概述 本数据集展示了基于主成分分析（DPCA）的快速偏差区域拟合方法在NURBS曲面坐标测量中的应用案例，涵盖雕塑曲面、自由曲面及基本几何元素，包含CAD模型控制点、产品点云数据及变换矩阵，为几何测量与拟合研究提供支持。 文件详解 该数据集包含二十一个Excel格式文件，按几何类型分组，每组含三类文件： -...
-
偏微分方程相似解的DESOLV方法数据集
数据集概述 该数据集围绕使用DESOLV程序求解偏微分方程相似解展开，包含程序相关文件，涉及微分方程系统的精确解求解方法，适用于流体动力学、连续介质力学等领域的理论与应用研究。 文件详解 文件名称: adyz_v1_0.tar.gz 文件格式: GZ压缩包（.gz） 文件内容:...
