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.

Differential Reduction Algorithms for Hypergeometric Functions Applied to Feynman Diagram Calculation

Differential Reduction Algorithms for the All-Order Epsilon Expansion of Hypergeometric Functions

A combinatoric shortcut to evaluate CHY-forms

ALGORITHMIC CALCULATION OF TWO-LOOP FEYNMAN DIAGRAMS

Algebraic aspects of when and how a Feynman diagram reduces to simpler ones

Algorithm for differential equations for Feynman integrals in general dimensions

Calculation of Feynman Diagrams from their Small Momentum Expansion

The development of computational methods for Feynman diagrams

Integral Reduction by Unitarity Method for Two-Loop Amplitudes: a Case Study

$\mathcal{A}$-hypergeometric functions and creation operators for Feynman and Witten diagrams

Intersection theory, relative cohomology and the Feynman parametrization

Feynman Diagrams as Computational Graphs

Algebraic aspects of hypergeometric differential equations

Some hypergeometric summation theorems and reduction formulas via Laplace transform method

Nonabelian Cut Diagrams and their Applications

Reduction of one-loop integrals with higher poles by unitarity cut method

Multi-loop integrand reduction techniques

Genus Drop in Hyperelliptic Feynman Integrals

Partial fractioning reduction of perturbative amplitudes

Efficient reduction of Feynman integrals on supercomputers