カダブラ（コンピュータプログラム）

カダブラ
カダブラ
開発者	カスパー・ピータース
安定版リリース	2.5.14 / 2025年7月31日 ( 2025-07-31 )
リポジトリ	github.com / kpeeters /cadabra2;
言語	C++、Python
オペレーティングシステム	Linux、macOS、Microsoft Windows
タイプ	数式処理システム
ライセンス	GPL
ウェブサイト	カダブラ.サイエンス

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

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

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

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

参照

^ 「GitHub Releases」 . github.com/kpeeters . 2024年11月10日閲覧
^ Peeters, Kasper; Vanhove, Pierre; Westerberg, Anders (2001). 「10次元および11次元における超対称高階微分作用、それに伴う超代数、そしてそれらの超空間における定式化」 .古典重力と量子重力. 18 (5): 843– 890. arXiv : hep-th/0010167 . Bibcode : 2001CQGra..18..843P . doi : 10.1088/0264-9381/18/5/307 . ISSN 0264-9381 . S2CID 6933319 .
^ Peeters, Kasper; Westerberg, Anders (2004-03-01). 「弦理論におけるラモンド・ラモンド部門：主要秩序を超える」.古典重力と量子重力. 21 (6): 1643– 1665. arXiv : hep-th/0307298 . Bibcode : 2004CQGra..21.1643P . doi : 10.1088/0264-9381/21/6/022 . ISSN 0264-9381 . S2CID 14418092 .
^ Bolotin, Dmitry; Poslavsky, Stanislav (2015). 「Redberry入門：テンソル操作用に設計されたコンピュータ代数システム」. arXiv : 1302.1219 [ cs.SC ].

セバスティアノフ, LA; クリャボフ, DS; ココチコワ, MG (2009). 「コンピュータ代数システムCadabraの物理学の科学的問題への応用」.素粒子核物理学レターズ. 6 (7): 530– 534.書誌コード: 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]]