Кадабра (компьютерная программа) - Cadabra (computer program)

Кадабра

Разработчики)	Каспер Петерс
Стабильный выпуск	2.3.5 / 17 ноября 2020; 21 дней назад (2020-11-17)[1]
Написано в	C ++, Python
Операционная система	Linux, macOS, Майкрософт Виндоус
Тип	Система компьютерной алгебры
Лицензия	GPL
Интернет сайт	кадабра.наука

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

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

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

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

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

А Ява программа, вдохновленная Cadabra, называется Redberry был разработан в период с 2013 по 2016 год. Он позволил достичь более высоких скоростей для большинства сокращений индекса с помощью подхода, основанного на проблема изоморфизма графов скорее, чем канонизация.^[4]

Смотрите также

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

Рекомендации

1. «Релизы GitHub». github.com/kpeeters. Получено 24 ноября 2020.
2. Петерс, Каспер; Ванхове, Пьер; Вестерберг, Андерс (2001). «Суперсимметричные действия с высшими производными в 10 и 11 измерениях, соответствующие супералгебры и их формулировка в суперпространстве». Классическая и квантовая гравитация. 18 (5): 843–890. arXiv:hep-th / 0010167. Bibcode:2001CQGra..18..843P. Дои: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. Дои:10.1088/0264-9381/21/6/022. ISSN  0264-9381. S2CID  14418092.
4. Болотин, Дмитрий; Пославский, Станислав (2015). «Введение в Redberry: система компьютерной алгебры, разработанная для манипуляции с тензорами». arXiv:1302.1219. Bibcode:2013arXiv1302.1219B.

дальнейшее чтение

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

внешняя ссылка

• Официальный веб-сайт