-
SC2_BATH_SC2_2106_基于不失一般性原则的检测研究支持数据集_2016
2026年1月18日 30 116 69
数据集概述 本数据集为论文“What Does 'Without Loss of Generality' Mean (And How Do We Detect It)”的支持数据，包含Maple文件及对应的PDF文件，用于验证和呈现论文中关于“不失一般性”（WLOG）的定义及检测方法的研究内容。 文件详解 文件名称：SC2-BATH-...
-
生物网络多稳态参数区域的符号与数值计算可视化数据集2017
2025年12月8日 30 146 82
数据集概述 本数据集为同名论文的支撑数据，包含生物网络多稳态参数区域研究中的符号计算文件与数值样本点数据文件，覆盖论文图表生成的原始数据及Maple代数系统的计算脚本，为复现论文结果提供完整数据支持。 文件详解 样本点数据文件（.txt格式）： 命名以"SamplePoints"开头，共12个，如SamplePoints-Sys26-Original-...
-
多稳态参数出现案例研究配套数据集2017
2025年12月11日 30 2 1
数据集概述 本数据集是论文《多稳态参数出现案例研究》的配套材料，包含论文第2.1节主要符号计算的复现脚本、配置文件及计算结果文件，支持重现论文中的实验过程与结果。 文件详解 脚本文件（.sh格式）： compute-all.sh：批量计算脚本，需指定Reduce系统路径、问题目录及核心数 compute-one.sh：单例计算脚本...
-
EGRASS符号计算程序数据集
2025年11月29日 30 144 118
数据集概述 该数据集包含EGRASS程序相关资料，EGRASS是处理含交换与反交换（格拉斯曼）变量复杂（矩阵）表达式的专用符号操作工具，以速度快、功能友好为特点，常用于随机矩阵理论中的超数学计算。 文件详解 文件名称：epic Grass - symbolic calculations with anticommuting...
-
gTybalt免费计算机代数系统数据集
2025年11月28日 30 106 10
数据集概述 该数据集包含免费计算机代数系统gTybalt的相关文件，gTybalt基于C++语言构建，集成GiNaC、TeXmacs和Root等包，支持交互式符号计算，使用TeX字体可视化数学公式，为科学领域的符号计算提供工具支持。 文件详解 文件名称：gTybalt—a free computer algebra...
-
FORM符号操作系统4_0版本数据集
2025年11月28日 30 83 31
数据集概述 本数据集包含FORM符号操作系统4.0版本的程序文件。FORM是一款专注于高效处理超大型公式的符号操作语言，在量子场论与数学计算领域应用广泛，新版本新增有理多项式处理、表达式因式分解等核心功能及检查点备份机制。 文件详解 文件名称：aeot_v1_0.tar.gz 文件格式：压缩包（.gz） 内容说明：该压缩包包含FORM...
-
符号计算第二量子化算子表达式Mathematica程序包SNEG
2025年11月27日 30 116 85
数据集概述 该数据集包含一个Mathematica程序包SNEG，用于处理多粒子问题中涉及费米子或玻色子相互作用的第二量子化算子表达式，支持算子串定义、换位子/反换位子计算、期望值求解及哈密顿量矩阵表示生成，为相关物理问题研究提供符号计算工具。 文件详解 文件名称：aejl_v1_0.tar.gz 文件格式：压缩包（.gz）...
-
非平衡热力学自动符号计算数据集
2025年11月27日 30 57 1
数据集概述 该数据集围绕非平衡热力学中的自动符号计算展开，核心内容是用于测试泊松括号雅可比恒等式的Mathematica笔记本程序。数据以压缩包形式存储，提供了一种基于变分导数特性的新型符号计算方法，可简化复杂的雅可比恒等式验证过程。 文件详解 文件名称: Automated symbolic calculations in...
-
COMMUTE_Fortran程序符号计算手册
2025年11月26日 30 163 127
数据集概述 本数据集包含COMMUTE程序的使用手册，该程序是基于Fortran语言开发的符号计算工具，用于算符运动方程或关联函数的符号求解，支持通过对称操作简化计算结果，适用于关联函数短时展开系数的计算场景。 文件详解 文件名称: acks_v1_0.gz 文件格式: GZ压缩包（.gz） 内容说明: 压缩包内包含COMMUTE...
-
数学问题解答数据集MathematicsQuestionAnsweringDataset-prathamadhikari
2025年5月29日 30 134 108
数学问题解答数据集MathematicsQuestionAnsweringDataset-prathamadhikari 数据来源：互联网公开数据 标签：数学, 问答, 自然语言处理, 数学推理, 文本生成, 数据集, 机器学习, 符号计算 数据概述：...
