Forcer: a FORM program for 4-loop massless propagators

Understand

We present a new FORM program for analytically evaluating four-loop massless propagator-type Feynman integrals in an efficient way.

• Our program Forcer implements parametric reductions of the aforementioned class of Feynman integrals into a set of master integrals and can be considered as a four-loop extension of the three-loop Mincer program.
• Since the program structure at the four-loop level is highly complicated and the equations easily become lengthy, most of the code was generated in an automatic way or with computer-assisted derivations.
• We have checked correctness of the program by recomputing already-known quantities in the literature.