This is a computer algebra system designed specifically for the solution of problems encountered in field theory. It has extensive functionality for tensor polynomial simplification including multi-term symmetries, fermions and anti-commuting variables, Clifford algebras and Fierz transformations, implicit coordinate dependence, multiple index types and many more. The input format is a subset of TeX.
Unknown
Versions2.4.3.2-1.1 (crimson)
2.4.3.2-1.1 (landing)
2.3.6.8-1 (byzantium)
CategoryMath