Cadabra es un sistema de algebra computacional orientado a la resolución de probleas de física teórica.

Cadabra y las identidades de Bianchi.

Cadabra ejecutándose en TeXmacs.