数学张量

用计算机进行大尺度张量分析。本文介绍了Mathematica计算机代数系统中的MathTensor软件包。该软件包可用于操作大型方程组和检测张量结构中的对称性。本文讨论了弯曲时空量子场论中出现的问题,例如描述曲面上两点之间沿测地线的距离。将一个大的Riemann张量项转换成一组最小的此类项的线性组合是一项艰巨的任务。在许多例子中,作者说明了如何通过应用包来解决这个问题。