WikiDer > Кадабра (компьютерная программа)
Разработчики) | Каспер Петерс |
---|---|
Стабильный выпуск | 2.3.5 / 17 ноября 2020[1] |
Написано в | C ++, Python |
Операционная система | Linux, macOS, Майкрософт Виндоус |
Тип | Система компьютерной алгебры |
Лицензия | GPL |
Интернет сайт | кадабра |
Кадабра это система компьютерной алгебры разработан специально для решения проблем, возникающих в классическая теория поля, квантовая теория поля и теория струн.
Первая версия Cadabra была разработана примерно в 2001 году для вычисления поправок теории струн с высшими производными к супергравитация.[2][3]
Выпущено под Стандартная общественная лицензия GNU, Кадабра - это бесплатно программное обеспечение.
Cadabra имеет обширную функциональность для тензор полиномиальное упрощение, включая многочленные симметрии, фермионы и анти-коммутирующий переменные, Алгебры Клиффорда и Преобразования Фирца, неявная координатная зависимость, несколько типов индексов и многое другое. Формат ввода - это подмножество TeX. Оба командная строка и графический интерфейс доступны.
А Ява программа, вдохновленная Cadabra, называется Redberry был разработан в период с 2013 по 2016 год. Он позволил достичь более высоких скоростей для большинства сокращений индекса с помощью подхода, основанного на проблема изоморфизма графов скорее, чем канонизация.[4]
Смотрите также
Рекомендации
- ^ «Релизы GitHub». github.com/kpeeters. Получено 24 ноября 2020.
- ^ Петерс, Каспер; Ванхове, Пьер; Вестерберг, Андерс (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.
- ^ Петерс, Каспер; Вестерберг, Андерс (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.
- ^ Болотин, Дмитрий; Пославский, Станислав (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]]