The analytic integration and simplification of multi-loop Feynman integrals to special
functions and constants plays an important role to perform higher order perturbative …

An overview is presented on the current status of main mathematical computation methods
for the multiloop corrections to single-scale observables in quantum field theory and the …

A bstract We calculate the gluonic massive operator matrix elements in the unpolarized and
polarized cases, A gg, Q (x, μ 2) and∆ A gg, Q (x, μ 2), at three-loop order for a single mass …

A bstract We present a method to calculate the x-space expressions of massless or massive
operator matrix elements in QCD and QED containing local composite operator insertions …

Le calcul formel traite des objets mathématiques exacts d'un point de vue informatique. Cet
ouvrage «Algorithmes efficaces en calcul formel» explore deux directions: la calculabilité et …

For the precision calculations in perturbative Quantum Chromodynamics (QCD) gigantic
expressions (several GB in size) in terms of highly complicated divergent multi-loop …

A univariate function is called D-finite if it satisfies a linear differential equation with
polynomial coefficients. The concept of D-finiteness applies more generally to sequences …

In the vast literature on differential equations, one can distinguish two very different
perspectives. The first and most widespread one is directed toward solving the equations …

The unpolarized and polarized massive operator matrix elements AQ g (3) and Δ AQ g (3)
contain first–order factorizable and non–first–order factorizable contributions in the …

Creative telesco** is an algorithmic principle that has been developed since the 1990s in
combinatorics and computer algebra, notably since Doron Zeilberger's work, in order to …