Abstract:Over the last 70 years, Feynman diagrams have played an essential role in the development of many theoretical predictions derived from the standard model Lagrangian. In fact, today they have become an essential and seemingly irreplaceable tool in quantum field theory calculations. In this article, we propose to explore the development of computational methods for Feynman diagrams with a special focus on their automation, drawing insights from both theoretical physics and the history of science. From the latter perspective, the article particularly investigates the emergence of computer algebraic programs, such as the pioneering SCHOONSCHIP , REDUCE , and ASHMEDAI , designed to handle the intricate calculations associated with Feynman diagrams. This sheds light on the many challenges faced by physicists when working at higher orders in perturbation theory and reveal, as exemplified by the test of the validity of quantum electrodynamics at the turn of the 1960s and 1970s, the indispensable necessity of computer-assisted procedures. In the second part of the article, a comprehensive overview of the current state of the algorithmic evaluation of Feynman diagrams is presented from a theoretical point of view. It emphasizes the key algorithmic concepts employed in modern perturbative quantum field theory computations and discusses the achievements, ongoing challenges, and potential limitations encountered in the application of the Feynman diagrammatic method. Accordingly, we attribute the enduring significance of Feynman diagrams in contemporary physics to two main factors: the highly algorithmic framework developed by physicists to tackle these diagrams and the successful advancement of algebraic programs used to process the involved calculations associated with them.

Feynman Integral Calculation Promoting the Era of High-Precision Particle Physics

Calculation of Feynman loop integration and phase-space integration via auxiliary mass flow

Automatic computation of Feynman integrals containing linear propagators via auxiliary mass flow

Multiloop Corrections for Collider Processes Using Auxiliary Mass Flow

The development of computational methods for Feynman diagrams

Massive two-loop four-point Feynman integrals at high energies with AsyInt

Determining Feynman integrals with only input from linear algebra

Determining Feynman Integrals with Only Input from Linear Algebra.

Efficient reduction of Feynman integrals on supercomputers

Reclassifying Feynman integrals as special functions

High-precision scattering amplitudes for LHC phenomenology

Tackling Feynman integrals with quantum minimization algorithms

Constructing canonical Feynman integrals with intersection theory

On the finite basis topologies for multi-loop high-multiplicity Feynman integrals

Finite-volume formalism for physical processes with an electroweak loop integral

A new method for the calculation of functional and path integrals

Determine Arbitrary Feynman Integrals by Vacuum Integrals

Feynman Diagrams as Computational Graphs

Symmetries of Feynman integrals and the Integration By Parts method

Integrating by parts at finite density

Integration-by-parts identities and differential equations for parametrised Feynman integrals