ФОРМА (система символьных манипуляций)
-
Определение и использование FORM
- FORM — система для символьных манипуляций с математическими выражениями.
- Создана Йосом Вермасереном из Nikhef для теоретиков физики элементарных частиц.
- Применяется не только в физике элементарных частиц, но и в других областях.
-
Особенности FORM
- Определение и манипулирование математическими выражениями с использованием арифметических операций.
- Поддержка длинных выражений и многопоточное выполнение.
- Сопоставление и замена шаблонов, быстрый расчет трассировки для гамма-матриц.
- Встроенные математические функции и возможность вывода в различные форматы.
- Возможность внешней связи с другими программами.
-
История FORM
- Запущен в 1984 году, является преемником Schoonschip.
- Изначально написан на FORTRAN 77, переписан на C в 1989 году.
- Выпущены версии 2.0 и 3.0, FORM стала открытым исходным кодом в 2010 году.
-
Применение в физике
- Используется для вычисления безмассовых диаграмм и бета-функции КХД.
- Исследована математическая структура множественных дзета-значений с помощью FORM.
- FormCalc, популярный в физическом сообществе, построен на основе FORM.
-
Рекомендации
- Ссылки на официальный веб-сайт и онлайн-руководства.
- Информация о пакетах для различных дистрибутивов Linux.
Полный текст статьи: