Computer Algebra In High-Energy Physics (Invited Talk)

Paper and pencil are no longer sufficient to obtain the predictions mandated by modern colliders. This is due to the required precision, the number of final-state particles, and also the number of particles in the model. More than any other collider, the Large Hadron Collider (LHC) at CERN has to rely on precise theoretical predictions to even look in the right place, let alone test measurements at a quantitative level. The methods of perturbative quantum field theory, Feynman diagrams, have not changed much over time, and their application remains a formidable, though fully algorithmic, calculational problem. This contribution focusses on how Computer Algebra plays an essential role in this programme and shows by a few examples how the methods are actually implemented in a Computer Algebra system.