Speaker
Description
For several decades, the FORM computer algebra system has been a crucial software package for the large-scale symbolic manipulations required by computations in theoretical high-energy physics. In this talk I will present version 5, which includes an updated built-in diagram generator, greatly improved polynomial arithmetic performance through an interface to FLINT, and enhanced capabilities for working with arbitrary-precision floating-point coefficients and evaluation of special functions.
Significance
FORM's use-case has always been the most demanding computations in perturbation theory, and its continued development is crucial for future progress in this direction. Version 5 works towards this endeavour by providing improved performance, particularly when working on multi-scale problems (which are ever more important now that research focusses a lot on multi-leg or EW problems with multiple mass scales). The built-in diagram generator provides additional flexibility and performance compared to the "status quo" and streamlines the amplitude-generation process by keeping more of the steps within a single software framework.