面向符号计算机代数的数学场论动机方法
符号计算
2008-11-26 v2 广义相对论与量子宇宙学
高能物理 - 理论
摘要
场论是物理学的一个领域， notation 看似简洁。尽管通用计算机代数系统基于通用列表数据结构可用于表示和操作场论表达式，但这往往导致笨拙的输入格式、意外的副作用，或需要大量特定代码。这使得从纸上直接翻译问题到计算机再返回不必要地繁琐且容易出错。本文介绍了一种原型计算机代数系统，具备类 TeX 输入、图形数据结构、带有 Young-Tableau 对称性的列表以及多继承属性系统。通过多个具体场论问题展示了该方法的实用性。
引用
@article{arxiv.cs/0608005,
title = {A field-theory motivated approach to symbolic computer algebra},
author = {Kasper Peeters},
journal= {arXiv preprint arXiv:cs/0608005},
year = {2008}
}
备注
14 pages; v2: several clarifications and references added, version as published