Further developments of FORM

Abstract

Abstract Form is a symbolic manipulation system, which is especially advantageous for handling gigantic expressions with many small terms, as often occurs in real problems in perturbative quantum field theory. In this work we describe some main features of FORM, such as the preprocessor and $-variables with emphasizing on benefit of metaprogramming, and introduce a new feature: a topology generator.