Cadabra (компьютерная программа)

Cadabra

Разработчик (и)	Kasper Peeters
Стабильная версия	2.3.0 / 10 июня 2020 г.; 4 месяца назад (2020-06-10)
Написано на	C ++, Python
Операционная система	Linux, macOS, Microsoft Windows
Тип	Система компьютерной алгебры
Лицензия	GPL
Веб-сайт	cadabra.science

• Портал бесплатного программного обеспечения с открытым исходным кодом

Cadabra - это система компьютерной алгебры, разработанная специально для решения проблем, встречающихся в классической теории поля, квантовой теории поля и теории струн.

. первая версия Cadabra была разработана примерно в 2001 году для вычисления поправки теории струн с высшими производными к супергравитации.

. Выпущенная под Стандартной общественной лицензией GNU, Cadabra является бесплатным программным обеспечением.

Cadabra имеет обширная функциональность для упрощения полиномов тензора, включая многочленные симметрии, фермионы и антикоммутирующие переменные, алгебры Клиффорда и Фирца преобразования, неявная координатная зависимость, несколько типов индексов и многое другое. Формат ввода - это подмножество TeX. Доступны как командная строка, так и графический интерфейс.

A Программа Java, вдохновленная Cadabra под названием Redberry, была разработана в период с 2013 по 2016 год. Она достигла более высоких скоростей для большинства сокращений индекса с помощью подхода, основанного на проблеме изоморфизма графов , а чем канонизация.

• 1 См. также
• 2 Ссылки
• 3 Дополнительная литература
• 4 Внешние ссылки

• Список систем компьютерной алгебры

1. ^«Выпуски GitHub». github.com/kpeeters. Проверено 11 июня 2020 г.
2. ^Петерс, Каспер; Ванхове, Пьер; Вестерберг, Андерс (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.
3. ^Петерс, Каспер; Вестерберг, Андерс (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.
4. ^Болотин Дмитрий; Пославский, Станислав (2015). «Введение в Redberry: система компьютерной алгебры, разработанная для манипуляций с тензорами». arXiv : 1302.1219. Bibcode : 2013arXiv1302.1219B. Для цитирования журнала требуется | journal =()

• Севастьянов, Л.А.; Кулябов, Д.С.; Кокотчикова, М.Г. (2009). «Применение системы компьютерной алгебры Cadabra к научным проблемам физики». Physics of Particles and Nuclei Letters. 6 (7): 530–534. Bibcode : 2009PPNL.... 6..530S. doi : 10.1134 / S1547477109070073. S2CID 119707618.
• Абрамов С.А.; Еднерал В.Ф., Боголюбская А.А.; Ростовцев В.А. (2011). «Исследовательский семинар по компьютерной алгебре в 2009–2010 гг.». Программирование и программное обеспечение. 37 (2): 57–61. doi : 10.1134 / S0361768811020010. S2CID 1624674.
• Brewin, Leo (2010). «Краткое введение в Cadabra: Инструмент для тензорных вычислений в общей теории относительности ». Comp. Phys. Comm. 181 (3): 489–498. arXiv : 0903.2085. Bibcode : 2010CoPhC.181..489B. doi : 10.1016 / j.cpc. 2009.10.020. S2CID 31179101.
• Каспер Питерс (2007), «Введение в Cadabra: систему символической компьютерной алгебры для задач теории поля», hep-th / 0701238
• Каспер Питерс (2006), «Теоретико-полевой подход к символической компьютерной алгебре», Comput. Phys. Commun. 176 (2007) 550, [cs / 0608005 [cs.SC]]

• Официальный сайт