Related papers: TSIL: a program for the calculation of two-loop se…
An algorithm is presented that formalizes different steps in a classical Supersymmetric (SUSY) calculation. Based on the algorithm Dill, a symbolic software package, that can perform the calculations, is developed in the Mathematica…
In order to meet the precision requirements for the LHC and future colliders, next-to-next-to-leading order corrections to a wide range of processes are essential, making general automated tools highly desirable. Extending the strategy of…
Numerical tensor calculus comprise basic tensor operations such as the entrywise addition and contraction of higher-order tensors. We present, TLib, flexible tensor framework with generic tensor functions and tensor classes that assists…
There exist several approaches to infer runtime or resource bounds for integer programs automatically. In this paper, we study the subclass of periodic rational solvable loops (prs-loops), where questions regarding the runtime and the size…
We integrate three-loop sunrise-type vacuum diagrams in $D_0=4$ dimensions with four different masses using configuration space techniques. The finite parts of our results are in numerical agreement with corresponding three-loop…
Reconstructing the shape of the Higgs potential realised in Nature is a central part of the physics programme at the LHC and future colliders. In this context, accurate theoretical predictions for trilinear and quartic Higgs couplings are…
A scheme for systematically achieving accurate numerical evaluation of multi-loop Feynman diagrams is developed. This shows the feasibility of a project aimed to produce a complete calculation for two-loop predictions in the Standard Model.…
Three-centre nuclear attraction integrals, which arise in density functional and \textit{ab initio} calculations, are one of the most time-consuming computations involved in molecular electronic structure calculations. Even for relatively…
The Information Dynamics Toolkit xl (IDTxl) is a comprehensive software package for efficient inference of networks and their node dynamics from multivariate time series data using information theory. IDTxl provides functionality to…
Calculations of the two-loop electron self-energy for the $n = 1$ and $n = 2$ states of hydrogen-like ions are reported, performed to all orders in the nuclear binding strength parameter $Z\alpha$ (where $Z$ is the nuclear charge number and…
We present the 2-point function from Fast and Accurate Spherical Bessel Transformation (2-FAST) algorithm for a fast and accurate computation of integrals involving one or two spherical Bessel functions. These types of integrals occur when…
The program package GoSam is presented which aims at the automated calculation of one-loop amplitudes for multi-particle processes. The amplitudes are generated in terms of Feynman diagrams and can be reduced using either D-dimensional…
A new integration technique for multi-loop Feynman integrals, called the matrix method, is developed and then applied to the divergent part of the overlapping two-loop quark self-energy function $\,i\Sigma\,$ in the light- cone gauge. It is…
We evaluate the coefficients of the leading poles of the complete two-loop quark self-energy \Sigma(p) in the Coulomb gauge. Working in the framework of split dimensional regularization, with complex regulating parameters \sigma and…
SecDec is a program which can be used for the evaluation of parametric integrals, in particular multi-loop integrals. For a given set of propagators defining the graph, the program constructs the graph polynomials, factorizes the endpoint…
We present a program for the numerical evaluation of form factors entering the calculation of one-loop amplitudes with up to six external legs. The program is written in Fortran95 and performs the reduction to a certain set of basis…
This work presents a new approach for simulating the HHL linear systems of equations solver algorithm with tensor networks. First, a novel HHL in the qudits formalism, the generalization of qubits, is developed, and then its operations are…
Symbolic execution is a classical program analysis technique used to show that programs satisfy or violate given specifications. In this work we generalize symbolic execution to support program analysis for relational specifications in the…
Often in applications such as rare events estimation or optimal control it is required that one calculates the principal eigen-function and eigen-value of a non-negative integral kernel. Except in the finite-dimensional case, usually…
This paper introduces the software TiGL: TiGL is an open source high-fidelity geometry modeler that is used in the conceptual and preliminary aircraft and helicopter design phase. It creates full three-dimensional models of aircraft from…