Mathematica，Computer Algebra System，可以用于符号计算和数值计算。 xAct，Mathematica的一个程序包，用于广义相对论的相关计算。 SymPy，Computer Algebra System，Python的符号计算库，可以用来生成代码。