Extension of the functionality of the symbolic program FORM by external software

We describe the implementation of facilities for the communication with external resources in the Symbolic Manipulation System FORM. This is done according to the POSIX standards defined for the UNIX operating system. We present a number of examples that illustrate the increased power due to these new capabilities.

[1]  J. H. Kühn,et al.  Heavy quark vacuum polarization: first two moments of the ${\mathcal{O}}(\alpha_s^3 n_f^2)$ contribution , 2005 .

[2]  C. Sturm,et al.  QCD decoupling at four loops , 2005, hep-ph/0512060.

[3]  M. Tentyukov,et al.  A Feynman diagram analyzer DIANA , 2000 .

[4]  Alexander Kryukov,et al.  FORM in CompHEP , 2006 .

[5]  Y. Schroder,et al.  High-precision epsilon expansions of single-mass-scale four-loop vacuum bubbles , 2005 .

[6]  M. Steinhauser,et al.  Four-loop decoupling relations for the strong coupling , 2005, hep-ph/0512058.

[7]  P A Baikov,et al.  Scalar correlator at [symbol: see text](alpha(s)4), Higgs boson decay into bottom quarks, and bounds on the light-quark masses. , 2006, Physical review letters.

[8]  A. Andonov,et al.  SANCscope - v.1.00, , 2006, Comput. Phys. Commun..

[9]  Clemens A. Szyperski,et al.  Component software - beyond object-oriented programming , 2002 .

[10]  J. Fleischer.  Sophisticated Momenta Mapping with Diana , 2005 .

[11]  S. Laporta,et al.  difference equations , 2001 .

[12]  P A Baikov,et al.  Strange-quark mass from tau-lepton decays with O(alpha3s) accuracy. , 2005, Physical review letters.

[13]  R. Bonciani,et al.  Two-loop Bhabha scattering in QED: Vertex and one-loop by one-loop contributions , 2005, hep-ph/0507047.

[14]  Jan A. Sanders,et al.  Combining maple and form to decide on integrability questions , 1998 .

[15]  Alejandro Lorca,et al.  An integrated tool for loop calculations: aITALC, , 2006, Comput. Phys. Commun..

[16]  M. Steinhauser,et al.  Corrections of to the decay of the Z boson into bottom quarks , 1997 .

[17]  J. A. M. Vermaseren,et al.  ParFORM: recent development , 2005, ArXiv.

[18]  T. Hahn,et al.  Automatized One-Loop Calculations in 4 and D dimensions , 1998 .

[19]  S. Moch,et al.  The third-order QCD corrections to deep-inelastic scattering by photon exchange , 2005, hep-ph/0504242.

[20]  P. Nogueira.  Automatic Feynman graph generation , 1993 .

[21]  J.A.M. Vermaseren,et al.  The 16th moment of the non-singlet structure functions $F_2(x,Q^2)$ and $F_L(x,Q^2)$ to $O$($\alpha^3_S$) , 2004, hep-ph/0411111.

[22]  J.A.M.Vermaseren,et al.  ParFORM: recent development , 2005 .

[23]  Alexander Kryukov,et al.  Using FORM for symbolic evaluation of Feynman diagrams in CompHEP package , 2003 .

[24]  C. Anastasiou,et al.  Automatic integral reduction for higher order perturbative calculations , 2004 .

[25]  A. Vogt,et al.  The Three-loop splitting functions in QCD: The Singlet case , 2004, hep-ph/0404111.

[26]  Masashi Hayakawa,et al.  Automated calculation scheme for αn contributions of QED to lepton g−2: Generating renormalized amplitudes for diagrams without lepton loops , 2006 .

[27]  M. Steinhauser.  MATAD: a program package for the computation of MAssive TADpoles , 2000 .