-
双球贝塞尔函数乘积与指数多项式因子的符号积分数据集
数据集概述 本数据集包含一个Mathematica软件包，用于计算含指数因子e^(-x/u)、多项式因子xⁿ及两个整数阶球贝塞尔函数j_ν(x)j_μ(x)的积分（积分区间0到∞），提供该积分的最简解析结果。 文件详解 文件名称：aefy_v1_0.tar.gz 文件格式：压缩包（.tar.gz）...
-
格点多面体分析与_toric_几何应用程序包数据集
数据集概述 本数据集包含用于分析格点多面体及 toric 几何应用的C程序包PALP。程序包支持顶点和面枚举、关联与对称性计算、凸包格点集补全，以及反射多面体特化程序，适用于弦理论相关问题研究。 文件详解 文件名称：adsq_v1_0.tar.gz 文件格式：压缩文件（.tar.gz）...
-
酉群表示的不变量与换位子数据集
数据集概述 该数据集包含用于计算酉群表示中不变量（即生成元多项式）的程序文件，旨在解决酉群表示的标签标识问题，为相关数学与物理领域的研究提供计算工具支持。 文件详解 文件名称: Invariants and commutators for unitary group representations/aabe_v1_0.gz 文件格式:...
-
微分方程李对称性判定Reduce软件包
数据集概述 本数据集为用于判定常微分方程与偏微分方程李对称性的Reduce软件包，包含LIE0至LIE4程序，支持物理领域通过对称性分析获取额外物理洞察，提供相关程序文件及元数据。 文件详解 文件名称: aazb_v1_0.gz 文件格式: GZ压缩包 (.gz) 文件内容:...
-
酉群内多重性计算程序数据集
数据集概述 本数据集包含用于计算特殊酉群表示中特定权的内多重性的程序，采用Gelfand模式方法。数据集记录了该程序在CPC库中的不同版本信息，为相关数学与物理领域的计算提供工具支持。 文件详解 文件名称: Inner multiplicity of unitary groups/aaaj_v1_0.gz 文件格式: .gz（压缩文件） 文件内容:...
-
复变参数黎曼ζ函数计算程序数据集
数据集概述 本数据集包含一个用于计算复变参数黎曼ζ函数的程序。该程序旨在解决数学领域中关于黎曼ζ函数复零点位置的重要问题，可直接应用于复变参数的计算场景，为相关数学研究提供工具支持。 文件详解 文件名称：A program for computing the Riemann Zeta function for complex...
-
HPL扩展至复参数数据集
数据集概述 本数据集是Mathematica软件包HPL的扩展版本，用于处理复参数的调和对数函数。调和对数函数在高能粒子物理领域应用广泛，该扩展支持费曼图计算中相关函数的计算机代数处理，为粒子物理理论计算提供数据工具支持。 文件详解 该数据集包含一个压缩文件，具体说明如下： - 文件名称: adwx_v2_0.tar.gz - 文件格式:...
-
ROTTRA_坐标变换程序数据集
数据集概述 该数据集包含ROTTRA程序文件，该程序主要用于辅助物理学家和化学家处理原子坐标变换问题，可生成点集的旋转、反射和平移变换，所有操作基于固定笛卡尔坐标系定义。 文件详解 压缩文件： 文件名称：accz_v1_0.gz 文件格式：GZ压缩包（.gz） 内容说明：包含ROTTRA程序的压缩文件，用于生成坐标的旋转、反射和平移变换 数据来源...
-
COMMUTE_Fortran程序符号计算手册
数据集概述 本数据集包含COMMUTE程序的使用手册，该程序是基于Fortran语言开发的符号计算工具，用于算符运动方程或关联函数的符号求解，支持通过对称操作简化计算结果，适用于关联函数短时展开系数的计算场景。 文件详解 文件名称: acks_v1_0.gz 文件格式: GZ压缩包（.gz） 内容说明: 压缩包内包含COMMUTE...
-
有理二阶常微分方程Darboux方法改进程序包
数据集概述 本数据集包含针对有理二阶常微分方程的Darboux方法改进程序包，核心是优化Darboux多项式求解步骤以降低时间成本，涉及微分不变量确定等问题，程序包版本为AEQL_v2_0。 文件详解 文件名称：aeql_v2_0.tar.gz 文件格式：压缩包（.tar.gz）...
-
MFFT_二维与三维向量化离散傅里叶变换程序包
数据集概述 本数据集为MFFT程序包，用于执行二维与三维向量化离散傅里叶变换，适用于需要傅里叶变换的各类问题。程序包包含从CPC程序库导入的资源，支持多维向量化计算，为相关数值计算任务提供基础工具支持。 文件详解 核心文件: 文件名称: aall_v1_0.gz 文件格式: .gz（压缩归档格式） 内容说明:...
-
LieART_李代数与表示理论的Mathematica应用程序
数据集概述 本数据集包含Mathematica应用程序“LieART”，用于李代数与表示理论中的常见计算，如不可约表示的张量积分解和子代数分支，支持所有经典与例外李代数，还可计算根系、权系统及不可约表示的其他性质。 文件详解 文件名称：aevl_v1_0.tar.gz 文件格式：.gz（压缩包）...
-
非线性微分差分方程双曲正切解的符号计算数据集
数据集概述 该数据集包含用于计算非线性微分差分方程双曲正切解的符号计算程序及相关文档，基于新算法实现，可确定参数条件以获得tanh多项式解，支持数学物理领域的方程求解研究。 文件详解 文件名称：aduj_v1_0.tar.gz 文件格式：压缩包（.gz）...
-
Kranc_基于Mathematica的张量演化方程数值代码生成完整工具包
数据集概述 本数据集是Kranc计算机代数工具包的源代码文件，该工具包基于Mathematica开发，专门用于将复杂的张量偏微分演化方程组转换为并行化的C或Fortran代码，以求解初边值问题。特别适用于处理数值相对论等领域中出现的复杂张量方程，包含克莱因-戈登方程、麦克斯韦方程和爱因斯坦方程的ADM公式等示例。 文件详解 主程序包文件 文件名称：...
-
球壳数值积分数据集
数据集概述 本数据集提供球壳坐标系下三维积分的数值计算规则，通过被积函数值的加权和实现积分计算。包含用于确定函数取值点及对应权重的程序，以及归一化数值函数的积分示例，为相关数值计算研究提供支持。 文件详解 文件名称：Numerical integration over a spherical shell/abft_v1_0.gz...
-
双变量Horn型超几何函数微分约简Mathematica程序包AEPP_v2_0
数据集概述 本数据集为Mathematica程序包，用于广义超几何函数的微分约简，当前版本支持对包含三十个函数的双变量Horn型超几何函数全集进行操作，解决将其约简为基函数集的问题。 文件详解 文件名称：aepp_v2_0.tar.gz 文件格式：压缩包（.gz）...
-
高斯_拉盖尔求积公式的横坐标与权重数据集
数据集概述 该数据集包含高斯-拉盖尔求积公式的横坐标与权重数据，用于高效计算∫∈e^(-x)x^α f(x)dx形式的积分，适用于被积函数快速振荡的物理问题数值计算场景。 文件详解 文件名称：abfj_v1_0.gz 文件格式：GZ压缩文件（.gz） 内容说明：包含高斯-拉盖尔求积公式的横坐标（拉盖尔多项式零点）和权重数据，用于高精度数值积分计算...
-
量子场论多圈计算Reduce系统程序包
数据集概述 该数据集是一个REDUCE软件包，用于在维数正规化框架下，对量子场论中任意无质量、单圈和双圈传播子类型费曼图进行解析计算，输出其在维数正规化参数下的洛朗展开式。 文件详解 文件名称：abjo_v1_0.gz 文件格式：GZIP压缩文件（.gz）...
-
Riegeom张量计算程序包数据集
数据集概述 本数据集包含Riegeom程序包的压缩文件，该程序包用于抽象张量计算，可简化指标格式的张量表达式，处理黎曼张量多项式的循环对称性及维度相关关系，适用于广义相对论和黎曼几何领域的计算。 文件详解 文件名称: adlm_v1_0.tar.gz 文件格式: 压缩文件（.tar.gz） 内容说明:...
-
计算机生成的外尔群数据集
数据集概述 本数据集包含用于生成复单李代数的外尔群并存储于高速内存的程序数据。数据集基于CPC程序库中的WEYL GROUP程序（ACRA_v1_0版本）构建，核心为压缩格式的程序文件。 文件详解 文件名称：acra_v1_0.gz 文件格式：压缩文件（.gz）...
