VEST：Mathematica 中的抽象矢量微积分简化
计算物理
2015-06-17 v2
摘要
我们展示了一个新软件包 VEST（Vector Einstein Summation Tools），它在 Mathematica 中执行抽象矢量微积分计算。通过使用指标记号，VEST 能够将非常通用的三维标量和矢量表达式简化为定义明确的标准形式。此外，利用 Levi-Civita 符号的性质，该程序可以推导出还原法无法识别的多项矢量恒等式类型，随后应用这些恒等式来简化大型表达式。在一篇 companion 论文 (Burby et al., 2013) 中，我们利用 VEST 自动化计算等离子体物理中单粒子导心系统的高阶 Lagrangians，这一计算展示了其处理非常大表达式的能力。VEST 的设计旨在简单易用，既适用于基本的工作检查，也适用于更复杂的计算。
引用
@article{arxiv.1309.2561,
title = {VEST: abstract vector calculus simplification in Mathematica},
author = {Jonathan Squire and Joshua Burby and Hong Qin},
journal= {arXiv preprint arXiv:1309.2561},
year = {2015}
}
备注
Accepted for publication in Computer Physics Communications