FORM(심벌 조작 시스템)

FORM (symbolic manipulation system)
기타 용도는 양식(동음이의)을 참조하십시오.
폼
개발자조스 버마세렌 외
초기 릴리즈1989
안정적 해제
4.2
기록 위치C
운영 체제Linux, Mac OS X, Windows
유형수학적 소프트웨어
면허증GPLv3
웹사이트www.nikhef.nl/~form/

FORM은 상징적인 조작 시스템이다.수학 식에 대한 정의가 담긴 텍스트 파일뿐 아니라 이러한 식을 조작하는 방법을 알려주는 문장도 읽는다.원작자는 네덜란드 아원자물리학연구소 니케프의 조스 베르마세렌이다.이론입자물리학계에서는 널리 사용되고 있지만, 이 특정분야에서는 응용에 국한되지 않는다.[1]null

특징들

  • 기초 산술 연산을 포함한 다양한 객체(심볼, 함수, 색인, ...)를 포함하는 수학 식 정의
  • 임의의 긴 수학 식(디스크 공간에만 제한됨)
  • 다중 스레드 실행, 컴퓨터 클러스터를 위한 병렬 버전
  • 강력한 패턴 매칭 및 교체
  • 특히 감마 행렬의 빠른 추적 계산
  • 내장수학함수
  • 다양한 형식으로 출력(일반 텍스트, Fortran 코드, Mathematica 코드)
  • 다른 소프트웨어 프로그램과의 외부 통신

사용 예

다음을 포함하는 텍스트 파일

기호 x,y; 로컬 myexpr = (x+y)^3;ID y = x, 인쇄, .end

FORM에 myexpr이라는 식을 만들고, 기호 y를 x로 바꾸고, 결과를 화면에 출력하라고 한다.결과는 다음과 같다.

myexpr = 8*x^3;

역사

FORM은 1984년 M사가 개발한 대수 엔진인 쿤스칩의 후속으로 시작됐다. 벨트먼.처음에는 FORTRAN 77에서 코드화되었으나 1989년 버전 1.0이 출시되기 전에 C에서 다시 작성되었다.버전 2.0은 1991년에 출시되었다.FORM 3.0 버전은 2000년에 공개되었다.GPL 면허에 따라 2010년 8월 27일 오픈 소스로 만들어졌다.null

고에너지 물리학 및 기타 분야의 응용 분야

  • Mincer: 최대 3개의 루프가 있는 질량 없는 전파자 다이어그램을 계산하기 위해 FORM을 사용하는 소프트웨어 패키지.
  • FORM은 고차 QCD 베타 함수를 계산하는 데 필수적인 도구였다.
  • 다중 제타 값의 수학적 구조는 전용 FORM 프로그램으로 연구되었다.[2]
  • 파인만 도표를 계산하기 위해 물리학계에서 널리 사용되는 소프트웨어 패키지 FormCalculc가 FORM 위에 구축되어 있다.

참조

  1. ^ [1] INSPINS-HEP 문헌 데이터베이스에 있는 폼의 일부 인용구
  2. ^ Blümlein, J.; Broadhurst, D.J.; Vermaseren, J.A.M. (2010). "The Multiple Zeta Value data mine". Computer Physics Communications. 181: 582–625. arXiv:0907.2557. Bibcode:2010CoPhC.181..582B. doi:10.1016/j.cpc.2009.11.007.

외부 링크