5
O Cadabra é um sistema de álgebra computacional (CAS) projetado especificamente para a solução de problemas encontrados na teoria de campo.Possui extensa funcionalidade para álgebra computacional de tensores, simplificação polinomial de tensores, incluindo simetrias de múltiplos termos, férmions e variáveis anti-comutativas, álgebras de Clifford e transformações de Fierz, dependência implícita de coordenadas, vários tipos de índices e muito mais.O formato de entrada é um subconjunto do TeX.Uma linha de comando e uma interface gráfica estão disponíveis.