1. José M. Martín-García, et al. xAct: efficient tensor computer algebra for Mathematica, 2002–2013, http://xact.es/.
2. xPerm: fast index canonicalization for tensor computer algebra;Martín-García;Comput. Phys. Commun.,2008
3. José M. Martín-García, xTensor: fast abstract tensor computer algebra, 2002–2013, http://xact.es/xTensor/.
4. An algorithm to simplify tensor expressions;Portugal;Comput. Phys. Commun.,1998
5. Algorithmic simplification of tensor expressions;Portugal;J. Phys. A: Math. Gen.,1999