Кадабра (компьютерная программа)
 | |
| Разработчики) | Каспер Петерс |
|---|---|
| Стабильная версия | 2.4.4
/ 20 ноября 2023 г [1] |
| Репозиторий | |
| Написано в | С++ , Питон |
| Операционная система | Linux , macOS , Microsoft Windows |
| Тип | Система компьютерной алгебры |
| Лицензия | лицензия GPL |
| Веб-сайт | Кадабра |
Cadabra — система компьютерной алгебры , разработанная специально для решения задач, возникающих в классической теории поля , квантовой теории поля и теории струн .
Первая версия Cadabra была разработана примерно в 2001 году для расчета поправок теории струн с высшими производными к супергравитации . [2] [3]
Выпущенная под лицензией GNU General Public License , Cadabra является свободным программным обеспечением .
Cadabra имеет обширные функциональные возможности для упрощения тензорных полиномов, включая многочленные симметрии, фермионы и антикоммутирующие переменные, алгебры Клиффорда и преобразования Фирца , неявную координатную зависимость, несколько типов индексов и многое другое. Входной формат является подмножеством TeX . как командная строка , так и графический интерфейс Доступны .
В период с 2013 по 2016 год была разработана Java - программа под названием Redberry, вдохновленная Cadabra. Она достигла более высоких скоростей для большинства сокращений индексов благодаря подходу, основанному на проблеме изоморфизма графов, а не на канонизации . [4]
См. также [ править ]
Ссылки [ править ]
- ^ «Релизы GitHub» . github.com/kpeeters . Проверено 28 ноября 2023 г.
- ^ Петерс, Каспер; Ванхове, Пьер; Вестерберг, Андерс (2001). «Суперсимметричные действия с высшей производной в 10 и 11 измерениях, связанные с ними супералгебры и их формулировка в суперпространстве» . Классическая и квантовая гравитация . 18 (5): 843–890. arXiv : hep-th/0010167 . Бибкод : 2001CQGra..18..843P . дои : 10.1088/0264-9381/18/5/307 . ISSN 0264-9381 . S2CID 6933319 .
- ^ Петерс, Каспер; Вестерберг, Андерс (1 марта 2004 г.). «Сектор Рамонда-Рамонда теории струн за пределами ведущего порядка». Классическая и квантовая гравитация . 21 (6): 1643–1665. arXiv : hep-th/0307298 . Бибкод : 2004CQGra..21.1643P . дои : 10.1088/0264-9381/21/6/022 . ISSN 0264-9381 . S2CID 14418092 .
- ^ Болотин Дмитрий; Пославский, Станислав (2015). «Введение в Redberry: система компьютерной алгебры, предназначенная для манипуляций с тензорами». arXiv : 1302.1219 [ cs.SC ].
Дальнейшее чтение [ править ]
- Севастьянов, Л.А.; Кулябов, Д.С.; Кокотчикова, М.Г. (2009). «Применение системы компьютерной алгебры Cadabra к научным проблемам физики». Физика частиц и ядер. Буквы . 6 (7): 530–534. Бибкод : 2009ППНЛ....6..530С . дои : 10.1134/S1547477109070073 . S2CID 119707618 .
- Абрамов С.А.; В.Ф. Эднерал, А.А. Боголюбская; Ростовцев, В.А. (2011). «Научный семинар по компьютерной алгебре 2009–2010 гг.». Программирование и компьютерное программное обеспечение . 37 (2): 57–61. дои : 10.1134/S0361768811020010 . S2CID 1624674 .
- Брюин, Лео (2010). «Краткое введение в Cadabra: инструмент для тензорных вычислений в общей теории относительности». Вычислить. Физ. Коммун . 181 (3): 489–498. arXiv : 0903.2085 . Бибкод : 2010CoPhC.181..489B . дои : 10.1016/j.cpc.2009.10.020 . S2CID 31179101 .
- Каспер Петерс (2007), «Введение в Cadabra: система символической компьютерной алгебры для задач теории поля», hep-th/0701238
- Каспер Петерс (2006), «Подход к символической компьютерной алгебре, мотивированный теорией поля» , Comput. Физ. Коммун. 176 (2007) 550, [cs/0608005 [cs.SC]]
Внешние ссылки [ править ]
| Открытый источник | |
|---|---|
| Собственный |
|
| Снято с производства | |
