New features of FORM

We review the status of the parallel versions of the computer algebra system FORM. In particular, we provide a brief overview about the historical developments, discuss the strengths of ParFORM and TFORM, and mention typical applications. Furthermore, we briefly discuss the programs FIRE and FIESTA, which have also been developed with the Collaborative Research Center/TR~9 (CRC/TR~9).

We present FeynCalc 9.3, a new stable version of a powerful and versatile Mathematica package for symbolic quantum field theory (QFT) calculations. Some interesting new features such as highly improved interoperability with other packages, automatic extraction of the ultraviolet divergent parts of 1-loop integrals, support for amplitudes with Majorana fermions and $\gamma$-matrices with explicit Dirac indices are explained in detail. Furthermore, we discuss some common proble...

After an introduction to the sequential version of FORM and the mechanisms behind, we report on the status of our project of parallelization. We have now a parallel version of FORM running on Cluster- and SMP-architectures. This version can be used to run arbitrary FORM programs in parallel.

We give a brief introduction to FORM, a symbolic programming language for massive batch operations, designed by J.A.M. Vermaseren. In particular, we stress various methods to efficiently use FORM under the UNIX operating system. Several scripts and examples are given, and suggestions on how to use the vim editor as development platform.

We report on the status of our project of parallelization of the symbolic manipulation program FORM. We have now parallel versions of FORM running on Cluster- or SMP-architectures. These versions can be used to run arbitrary FORM programs in parallel.

This article describes the latest versions of the Mathematica packages FeynArts, FormCalc, and LoopTools for the generation and evaluation of one-loop diagrams.

We give an overview of state-of-the-art multi-loop Feynman diagram computations, and explain how we use symbolic manipulation to generate renormalized integrals that are then evaluated numerically. We explain how we automate BPHZ renormalization using "henges" and "sectors", and give a brief description of the symbolic tensor and Dirac gamma-matrix manipulation that is required. We shall compare the use of general computer algebra systems such as Maple with domain-specific la...

We present FMFT - a package written in FORM that evaluates four-loop fully massive tadpole Feynman diagrams. It is a successor of the MATAD package that has been successfully used to calculate many renormalization group functions at three-loop order in a wide range of quantum field theories especially in the Standard Model. We describe an internal structure of the package and provide some examples of its usage.

FormCalc is a matrix-element generator that turns FeynArts amplitudes up to one loop into a Fortran code for computing the squared matrix element. The generated code can be run with FormCalc's own driver programs or used with other `frontends', e.g. Monte Carlos. Major new or enhanced features in Version 4.1 are: treatment of external fermions, phase-space integration, code-generation functions, extensions for the MSSM, the HadCalc frontend.

We present version 4.0 of the symbolic manipulation system FORM. The most important new features are manipulation of rational polynomials and the factorization of expressions. Many other new functions and commands are also added; some of them are very general, while others are designed for building specific high level packages, such as one for Groebner bases. New is also the checkpoint facility, that allows for periodic backups during long calculations. Lastly, FORM 4.0 has b...