ФОРМА (система символических манипуляций)

ФОРМА
Разработчик(и)	Йос Вермасерен и др.
Первоначальный выпуск	1989
Стабильная версия	4.2
Написано в	С
Операционная система	Linux , Mac OS X , Windows
Тип	Математическое программное обеспечение
Лицензия	лицензия GPLv3
Веб-сайт	www .нихеф .nl /~форма /

ФОРМА — это система символических манипуляций. Он читает текстовые файлы, содержащие определения математических выражений, а также инструкции, указывающие, как манипулировать этими выражениями. Его первоначальный автор — Йос Вермасерен из Нихефа , голландского института субатомной физики. Он широко используется в сообществе теоретической физики элементарных частиц, но не ограничивается приложениями в этой конкретной области. ^[1]

Функции

Определение математических выражений, содержащих различные объекты (символы, функции, индексы...) с помощью элементарных арифметических операций.
Произвольные длинные математические выражения (ограничены только дисковым пространством)
Многопоточное выполнение, параллельная версия для компьютерных кластеров
Мощное сопоставление и замена шаблонов
Быстрый расчет трассировки, особенно гамма-матриц
Встроенные математические функции
Вывод в различные форматы (обычный текст, Fortran код Mathematica ) , код
Внешняя связь с другими программами

Пример использования

Текстовый файл, содержащий

  Symbol x,y;

  Local myexpr = (x+y)^3;

  Id y = x;
  Print;

  .end

сообщит FORM создать выражение с именем myexpr , заменить в нем символ y на x и вывести результат на экран. Результат будет выглядеть так

  myexpr =
     8*x^3;

История

FORM был запущен в 1984 году как преемник Schoonschip , алгебраического движка, разработанного М. Вельтман . Первоначально он был написан на FORTRAN 77 , но был переписан на C. перед выпуском версии 1.0 в 1989 году Версия 2.0 была выпущена в 1991 году. Версия 3.0 FORM была опубликована в 2000 году. 27 августа 2010 года она стала открытой по лицензии GPL .

Приложения в физике высоких энергий и других областях.

Mincer : пакет программного обеспечения, использующий FORM для расчета диаграмм безмассового распространителя с числом до трех циклов.
FORM был важным инструментом для расчета КХД бета-функции высшего порядка .
Математическая структура нескольких значений дзета была исследована с помощью специальных программ FORM . ^[2]
Программный пакет FormCalc, который широко используется в физическом сообществе для расчета диаграмм Фейнмана, построен на основе FORM .

Ссылки

^ [1] Некоторые цитаты FORM в INSPIRE-HEP. литературной базе данных
^ Блюмляйн, Дж.; Бродхерст, диджей; Вермасерен, ДЖЕМ (2010). «Мой данных о множественных дзета-значениях». Компьютерная физика. Коммуникации . 181 : 582–625. arXiv : 0907.2557 . Бибкод : 2010CoPhC.181..582B . дои : 10.1016/j.cpc.2009.11.007 .

Внешние ссылки

Официальный сайт
Онлайн-руководство FORM
Debian — Подробная информация о форме пакета
Пакеты Linux: ArchLinux , Debian , Gentoo , Ubuntu.
Хиппель, Мэтт фон (01 декабря 2022 г.). «Важнейшая компьютерная программа для физики элементарных частиц, находящаяся под угрозой устаревания» . Журнал Кванта .

[1] [1] Некоторые цитаты FORM в INSPIRE-HEP. литературной базе данных

[2] Блюмляйн, Дж.; Бродхерст, диджей; Вермасерен, ДЖЕМ (2010). «Мой данных о множественных дзета-значениях». Компьютерная физика. Коммуникации . 181 : 582–625. arXiv : 0907.2557 . Бибкод : 2010CoPhC.181..582B . дои : 10.1016/j.cpc.2009.11.007 .

[1]

[2]

v т и Системы компьютерной алгебры
с открытым исходным кодом	Аксиома Кадабра Какао Ферма ПтCAS ФОРМА ЗАЗОР ГиНаК Маколей2 Максима Нормализовать СТАВКА/ГП Уменьшать SageMath Единственное число СимПи Xcas/Giac Джекфруты
Собственный	КлассПад Менеджер КАНТ Магма Клен Маткад Математика muPAD ( панель инструментов символьной математики MATLAB ) SMath Студия ТИ ИнтерАктив! Решатель инженерных уравнений
Снято с производства	ДЖАМАЛ Вывести Клен Живая Математика Максима Математический по математике АЛЬТРАН
Категория Список