-
氢类离子性质与行为研究的计算机代数工具DIRAC数据集
数据集概述 本数据集包含计算机代数工具DIRAC的新版本，用于研究氢类离子的结构性质与动态行为。该工具支持非相对论和相对论框架下波函数、格林函数的交互访问，以及过渡振幅和相互作用截面构建所需的径向积分解析计算。 文件详解 文件名称: aduq_v2_0.tar.gz 文件格式: 压缩文件（.gz） 内容说明:...
-
宇宙粒度导出宇宙学常数的广义相对论解数据集
数据集概述 该数据集围绕广义相对论解展开，旨在证明宇宙学常数源于宇宙粒度。包含用于爱因斯坦张量计算的xmaxima文件及相关数据文件，为研究宇宙学常数的起源提供理论计算与数据支持。 文件详解 主目录: A general relativity solution proving the cosmological constant results from...
-
Slavnov_Taylor_BRST形式化计算Mathematica工具包_v1_0
数据集概述 本数据集包含一个用于BRST形式化中进行自动符号计算的Mathematica软件包"Slavnov-Taylor"。该程序包专门针对基于半单紧致李群的4维时空规范理论，支持通用的BRS变换计算。数据集仅包含一个压缩归档文件，源自CPC程序库。 文件详解 文件名称： adss_v1_0.tar.gz 文件格式： GZ（压缩归档文件）...
-
有限XY铁磁链中磁螺旋作为亚稳态的分析研究补充材料
数据集概述 本数据集为论文《有限XY铁磁链中磁螺旋作为亚稳态的分析研究》的补充材料，包含理论计算的数学细节，由A. P. Popov和M. G. Pini撰写，以PDF格式呈现，为理解该研究的理论推导提供支持。 文件详解 文件名称：APPopov_Supplementary_Materials.pdf 文件格式：PDF...
-
微分方程点和接触李对称确定的Reduce程序
数据集概述 本数据集包含一个用于确定微分方程点和接触李对称的Reduce程序，李对称变换在数学物理领域具有重要作用，可提供微分方程的关键信息，程序来源于CPC程序库。 文件详解 文件名称: aabs_v1_0.gz 文件格式: .gz（压缩文件） 文件内容: 包含用于确定微分方程点和接触李对称的Reduce程序源代码或相关数据，无预览内容 数据来源...
-
非线性偏微分方程Painlevé测试符号计算数据集
数据集概述 本数据集包含基于Maple编写的软件包wkptest，可自动对多项式偏微分方程执行传统Painlevé测试，无论方程是否通过测试均能生成截断展开式，为研究可积性及构造显式解提供支持。 文件详解 文件名称：adty_v1_0.tar.gz 文件格式：压缩包（.tar.gz）...
-
ABACUS自然语言数学公式数值计算程序_ACFC_v1_0
数据集概述 本数据集包含名为ABACUS的程序，该程序支持数学公式、迭代过程及单位转换的交互式数值计算，采用自然语言处理技术。数据为CPC程序库导入版本ACFC_v1_0，存储于单一压缩文件中。 文件详解 文件名称: acfc_v1_0.gz 文件格式: GZ压缩文件（.gz） 内容说明:...
-
量子电动力学图的旋量技术计算数据集
数据集概述 该数据集包含运用旋量技术和符号代数计算量子电动力学（QED）树图的程序及相关资料。核心内容围绕SPINORP程序展开，用于生成拓扑不同的QED树图并计算外部粒子所有极化态下的旋量振幅。 文件详解 文件名称: abln_v1_0.gz 文件格式: GZ压缩包（.gz） 文件内容:...
-
可积超系统分类_SsTools环境数据集
数据集概述 本数据集围绕可积超系统分类问题展开，基于SsTools环境对满足非线性、非退化和齐次性假设的超对称演化偏微分方程进行分类，发现四类非线性耦合玻色子-费米子系统，同时描述了Reduce软件包SsTools的语法及其在超偏微分方程计算中的应用。 文件详解 该数据集包含一个压缩文件，具体说明如下： - 文件名称: adyy_v1_0.tar.gz...
-
CRIP1过表达肿瘤中SX_682与抗PD_L1联合治疗的PDE模型数值实验代码
数据集概述 本数据集包含用于复现特定学术文章数值实验的源代码，核心围绕CRIP1过表达肿瘤中SX-682与抗PD-L1联合治疗的偏微分方程（PDE）模型展开，为相关研究提供可复现的计算实现支持。 文件详解 文件名称: A_PDE_Model_code.zip 文件格式: ZIP（压缩文件） 内容说明: 包含复现文章《A PDE Model of...
-
角动量耦合的Maple程序I_数据结构与数值计算
数据集概述 本数据集包含用于角动量耦合的Maple程序，围绕数据结构与数值计算展开。程序可计算维格纳n-j符号和矢量耦合系数，简化Racah代数相关表达式，适用于原子、核结构理论等领域的复杂计算场景。 文件详解 目录：Maple procedures for the coupling of angular momenta I. Data...
-
铜绿假单胞菌群体感应系统中绿脓菌素表达模型数据集
数据集概述 本数据集为铜绿假单胞菌群体感应系统中绿脓菌素表达的生物学模型，包含基于SBML格式构建的XML模型文件及配套Excel信息表，记录模型的物种、反应、动力学常数等核心参数，支持群体感应机制的模拟与分析。 文件详解 模型文件： QS P. aeruginosa...
-
超对称理论符号计算程序包SUSYCAL
数据集概述 本数据集包含SUSYCAL程序包，这是一个用于超对称理论中符号计算的PASCAL程序集合，支持超场形式主义下超图计算，涵盖非协变FD规范算子代数与协变导数规则，可处理复杂表达式及发散积分计算。 文件详解 文件名称：ablw_v1_0.gz 文件格式：GZ压缩文件（.gz）...
-
寻找一类有理一阶常微分方程的高阶达布多项式数据集
数据集概述 本数据集围绕一类有理一阶常微分方程的高阶达布多项式求解展开，包含用于达布方法分析的程序文件。达布多项式是达布方法求解微分方程的关键，数据集旨在通过启发式算法加速其计算过程，解决传统方法计算成本过高的问题。 文件详解 该数据集包含一个压缩归档文件，具体说明如下： - 文件名称: adzf_v3_0.tar.gz - 文件格式: GZIP压缩包...
-
角动量耦合系数显式公式数据集
数据集概述 该数据集包含用于生成角动量耦合系数代数公式的程序及相关资料，基于REDUCE 3.3系统开发，可对Clebsch-Gordan系数、Racah系数等进行符号约简，支持角动量变量和数值作为参数输入，为角动量耦合系数的代数计算提供工具支持。 文件详解 文件名称: acjv_v1_0.gz 文件格式: GZ压缩包（.gz） 内容说明:...
-
多项式哈密顿量归一化的REDUCE程序包
数据集概述 该数据集包含基于Lie正则变换方法开发的REDUCE程序包LINA01，用于哈密顿系统的直接/逆归一化及形式积分运动的计算，解决多项式代数计算繁琐问题，支持经典力学及混沌哈密顿系统量子化研究。 文件详解 文件名称: aduv_v1_0.tar.gz 文件格式: GZ压缩包（.gz） 内容说明:...
-
高等世界数学公式文档集
数据集概述 该数据集包含高等世界公式（AWF）相关的文档，涵盖其理论框架、对数学难题的应用及跨领域扩展。AWF旨在解决理论矛盾、优化算子交互，同时保持与既有框架的兼容性，提供更严谨的数学基础。 文件详解 该数据集包含一个目录下的32个文档文件，具体说明如下： - 目录: Advanced World Formula in...
-
U_3_在U_N_中的表示数据集
数据集概述 本数据集包含一个交互式FORTRAN代码，用于确定U(N)表示中出现的U(3)不可约表示，基于U(N)→U(3)群结构（三维各向同性谐振子的基础），N由谐振子壳层量子数n计算得出，核心应用场景为核物理研究。 文件详解 该数据集包含一个压缩文件，具体说明如下： - 文件名称: Representations of U(3) in...
-
Hirota双线性算子与Wronskian运算的Reduce程序
数据集概述 本数据集是一个用于Hirota双线性算子及Freeman和Nimmo提出的Wronskian形式的Reduce程序，主要用于解析求解非线性演化方程，为精确处理复杂现象提供工具支持。 文件详解 文件名称: abde_v1_0.gz 文件格式: .gz（压缩文件） 内容说明:...
-
非线性常微分方程平衡点归一化与计算机代数约简开源实现数据集_POINCARÉ_CODE
数据集概述 该数据集包含POINCARÉ CODE开源软件包，这是一个基于Maple的项目包，旨在提供处理非线性常微分方程的计算机代数归一化及约简方法，支持平衡点附近的结构保持归一化形式计算。 文件详解 文件名称: aepj_v1_0.tar.gz 文件格式: GZ压缩包 (.gz) 文件内容: 包含POINCARÉ...
