Slavnov_Taylor_BRST形式化计算Mathematica工具包_v1_0

数据集概述

本数据集包含一个用于BRST形式化中进行自动符号计算的Mathematica软件包"Slavnov-Taylor"。该程序包专门针对基于半单紧致李群的4维时空规范理论，支持通用的BRS变换计算。数据集仅包含一个压缩归档文件，源自CPC程序库。

文件详解

• 文件名称： adss_v1_0.tar.gz
• 文件格式： GZ（压缩归档文件）
• 字段映射介绍： 该文件为软件包的压缩归档文件，内含Slavnov-Taylor Mathematica包的完整源代码和相关文档，用于在BRST形式化框架下进行规范理论的符号计算。

数据来源

CPC Program Library held at Queen's University Belfast (1969-2018)

适用场景

• 规范场论研究: 用于4维时空规范理论中BRST形式化的符号计算和理论验证。
• 数学物理计算: 支持基于半单紧致李群的BRS变换的自动符号计算。
• 理论物理教学: 作为量子场论和规范理论课程的教学辅助工具。
• 计算物理软件开发: 为开发类似符号计算工具提供参考实现和算法基础。