FORM (symbolic manipulation system)

FORM
Developer(s) Jos Vermaseren, et al.
Stable release 4.0
Development status Active
Written in C
Operating system Linux, Mac OS X, Windows
Type Mathematical software
License GPLv3
Website www.nikhef.nl/~form/

FORM is a symbolic manipulation system. It reads text files containing definitions of mathematical expressions as well as statements that tell it how to manipulate these expressions. Its original author is Jos Vermaseren of Nikhef, the Dutch institute for subatomic physics. It is widely used in the theoretical particle physics community, but it is not restricted to applications in this specific field.[1]

Features

Example usage

A text file containing

  Symbol x,y;

  Local myexpr = (x+y)^3;

  Id y = x;
  Print;

  .end

would tell FORM to create an expression named myexpr, replace therein the symbol y by x, and print the result on the screen. The result would be given like

  myexpr =
     8*x^3;

History

FORM was started in 1984 as a successor to Schoonschip, an algebra engine developed by M. Veltman. It was initially coded in FORTRAN 77, but rewritten in C before the release of version 1.0 in 1989. Version 2.0 was released in 1991. The version 3.0 of FORM has been publicized in 2000. It has been made open-source on August 27, 2010 under the GPL license.

Applications in high-energy physics and other fields

References

  1. Some citations of FORM in the INSPIRE-HEP Literature Database
  2. J. Blumlein, D.J. Broadhurst, J.A.M. Vermaseren, The Multiple Zeta Value Data Mine, Comput.Phys.Commun.181:582-625,2010 (preprint)

External links