Cadabraは、フィールド理論で遭遇する問題の解決のために特別に設計されたコンピューター代数システム（CAS）です。テンソル計算機代数、多項対称性を含むテンソル多項式単純化、フェルミオンと反可換変数、クリフォード代数とフィールズ変換、暗黙的な座標依存性、複数のインデックスタイプなどの広範な機能を備えています。入力形式はTeXのサブセットです。コマンドラインとグラフィカルインターフェースの両方が利用可能です。
ウェブサイト:
http://cadabra.phi-sci.com/カテゴリー
