Related papers: LOOL: Mathematica package for evaluating leading o…
OneLOop is a program to evaluate the one-loop scalar 1-point, 2-point, 3-point and 4-point functions, for all kinematical configurations relevant for collider-physics, and for any non-positive imaginary parts of the internal squared masses.…
The method of the large mass expansion (LME) is investigated for selfenergy and vertex functions in two-loop order. It has the technical advantage that in many cases the expansion coefficients can be expressed analytically. As long as only…
Loop acceleration can be used to prove safety, reachability, runtime bounds, and (non-)termination of programs operating on integers. To this end, a variety of acceleration techniques has been proposed. However, all of them are monolithic:…
We present algorithms to evaluate two types of multiple sums, which appear in higher-order loop computations. We consider expansions of a generalized hypergeometric-type sums, $\sum_{n_1,...,n_N} [Gamma(a1.n+c1) Gamma(a2.n}+c2) ...…
We present an improved version of our program package oneloop which -- written as a package for MAPLE -- solves one-loop Feynman integrals. The package is calculating one-, two- and three-point functions both algebraically and numerically…
The method of the large mass expansion (LME) has the technical advantage that two-loop integrals occur only as bubbles with large masses. In many cases only one large mass occurs. In such cases these integrals are expressible in terms of…
We extend the {\lambda}-calculus with constructs suitable for relational and functional-logic programming: non-deterministic choice, fresh variable introduction, and unification of expressions. In order to be able to unify…
We present methods for the numerical evaluation of the master integrals that appear in the calculation of scattering amplitudes at higher order in perturbative quantum field theory. We follow the general strategy of solving first-order…
To entirely determine the resulting functions of one-loop integrals it is necessary to find the correct analytic continuation to all relevant kinematical regions. We argue that this continuation procedure may be performed in a general and…
Problems occurring in physically important non-trivial examples of loop calculations are discussed. A procedure of deriving expansions of two-loop self-energy diagrams with different masses is constructed. The cases of small and large…
Loop acceleration can be used to prove safety, reachability, runtime bounds, and (non-)termination of programs. To this end, a variety of acceleration techniques has been proposed. However, so far all of them have been monolithic, i.e., a…
The calculation of rare loop decays in the Standard Model of Particle Physics and its extensions is an extremely tedious work. The Mathematica package MasterTwo facilitates this task. It automatically calculates all loop integrals reducible…
In the recent years there has been an enormous development in the evaluation of higher order quantum corrections. An essential ingredient in the practical calculations is provided by vacuum diagrams, i.e. integrals without external momenta.…
Package-X, a Mathematica package for the analytic computation of one-loop integrals dimensionally regulated near 4 spacetime dimensions is described. Package-X computes arbitrarily high rank tensor integrals with up to three propagators,…
We present an extension of the program golem95C for the numerical evaluation of scalar integrals and tensor form factors entering the calculation of one-loop amplitudes, which supports tensor ranks exceeding the number of propagators. This…
This article is the second of a series of three presenting an alternative method to compute the one-loop scalar integrals. It extends the results of the first article to general complex masses. Let us remind the main features enjoyed by…
We propose an extension of Poole's independent choice logic based on a relaxation of the underlying independence assumptions. A credal semantics involving multiple joint probability mass functions over the possible worlds is adopted. This…
The evaluation of loop amplitudes via differential equations and harmonic polylogarithms is discussed at an introductory level. The method is based on evolution equations in the masses or in the external kinematical invariants and on a…
We present a program for the numerical evaluation of scalar integrals and tensor form factors entering the calculation of one-loop amplitudes which supports the use of complex masses in the loop integrals. The program is built on an earlier…
We develop a method to evaluate integrals of non-holomorphic modular functions over the fundamental domain of the torus with modular parameter $\tau$ analytically. It proceeds in two steps: first the integral is transformed to a Lorentzian…