Cadabra

a field-theory motivated approach to computer algebra

https://cadabra.science/