Cadabra（コンピュータプログラム）

カダブラ

開発者	カスパー・ピータース
安定版リリース	2.5.8 / 2024年10月25日; 55日前[1] ( 2024-10-25 )
リポジトリ	github.com/kpeeters/cadabra2
書かれた	C++、Python
オペレーティング·システム	Linux、macOS、Microsoft Windows
タイプ	コンピュータ代数システム
ライセンス	ライセンス
Webサイト	カダブラサイエンス

Cadabra は、古典場の理論、量子場の理論、弦理論で遭遇する問題を解くために特別に設計されたコンピュータ代数システムです。

Cadabraの最初のバージョンは、超重力に対する高階微分弦理論補正を計算するために2001年頃に開発されました。^{[2] [3]}

Cadabra はGNU General Public Licenseに基づいてリリースされており、フリー ソフトウェアです。

Cadabra には、多項対称性、フェルミオンと反可換変数、クリフォード代数とフィエルツ変換、暗黙の座標依存性、複数のインデックス タイプなど、テンソル多項式を簡略化する広範な機能があります。入力形式はTeXのサブセットです。コマンドライン インターフェイスとグラフィカル インターフェイスの両方が利用可能です。

Cadabraに触発されたRedberryと呼ばれるJavaプログラムは、2013年から2016年にかけて開発されました。このプログラムは、正規化ではなくグラフ同型性の問題に基づくアプローチにより、ほとんどのインデックス収縮の速度向上を実現しました。^[4]

• コンピュータ代数システムの一覧

• Sevastianov, LA; Kulyabov, DS; Kokotchikova, MG (2009). 「コンピュータ代数システム Cadabra の物理学の科学的問題への応用」.粒子と核の物理学レター. 6 (7): 530–534. Bibcode :2009PPNL....6..530S. doi :10.1134/S1547477109070073. S2CID  119707618.
• Abramov , SA; VF Edneral、AA Bogolyubskaya; Rostovtsev, VA (2011)。「2009～ 2010年のコンピュータ代数に関する研究セミナー」。プログラミングとコンピュータソフトウェア。37 (2): 57～61。doi :10.1134/S0361768811020010。S2CID 1624674  。
• Brewin, Leo (2010). 「Cadabra の簡単な紹介: 一般相対性理論におけるテンソル計算ツール」. Comput. Phys. Commun . 181 (3): 489–498. arXiv : 0903.2085 . Bibcode :2010CoPhC.181..489B. doi :10.1016/j.cpc.2009.10.020. S2CID  31179101.
• Kasper Peeters (2007)、「Cadabra の紹介: 場の理論問題のための記号コンピュータ代数システム」、hep-th/0701238
• Kasper Peeters (2006)、「記号コンピュータ代数へのフィールド理論に基づくアプローチ」、Comput. Phys. Commun. 176 (2007) 550、[cs/0608005 [cs.SC]]

• 公式サイト