Презентация Redberry ­- системы компьютерной алгебры для символьных вычислений с тензорами.

Станислав Пославский (ИФВЭ, Протвино), Дмитрий Болотин (ИБХ РАН, Москва)

Доклад посвящен системе компьютерной алгебры Redberry, созданной для символьных операций с тензорными выражениями. Redberry реализует многие важные аспекты работы с такими выраженям: разрешение конфликтов немых индексов, наличие многих типов индексов, симметрии выражений и т.п. Система предоставляет широкий набор стандартных преобразований таких как подстановки, раскрытие скобок, взятие производных и т.п.; а также пакет для физики высоких энергий, который включает в себя работу с матрицами Дирака, SU(N) матрицами и методы для вычисления однопетлевых диаграмм. В начале доклада будут кратко описаны основные принципы, положенные в основу данной системы. Далее на нескольких примерах (в том числе расчета реальных диаграмм Фейнмана) интерактивно будет продемонстрирована ее функциональность. Предварительно ознакомиться с Redberry можно по адресу http://redberry.cc/, а также в статье [arXiv:1302.1219].

Presentation text »