Related papers: TSIL: a program for the calculation of two-loop se…
We present TaylUR, a Fortran 95 module to automatically compute the numerical values of a complex-valued function's derivatives w.r.t. several variables up to an arbitrary order in each variable, but excluding mixed derivatives. Arithmetic…
This article presents two methods, in parallel, of solving more complex integrals, among which is the Poisson's integral, in order to emphasize the obvious advantages of a new method of integration, which uses the supermathematics circular…
Reinforcement Learning (RL) bears the promise of being a game-changer in many applications. However, since most of the literature in the field is currently focused on opaque models, the use of RL in high-stakes scenarios, where…
This paper presents Fossil 2.0, a new major release of a software tool for the synthesis of certificates (e.g., Lyapunov and barrier functions) for dynamical systems modelled as ordinary differential and difference equations. Fossil 2.0 is…
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…
By using Poisson's summation formula, we calculate periodic integrals over Gaussian basis functions by partitioning the lattice summations between the real and reciprocal space, where both sums converge exponentially fast with a large…
The theory of string-like continuous curves and discrete chains have numerous important physical applications. Here we develop a general geometrical approach, to systematically derive Hamiltonian energy functions for these objects. In the…
The new version 2.1 of the program SecDec is described, which can be used for the factorisation of poles and subsequent numerical evaluation of multi-loop integrals, in particular massive two-loop integrals. The program is not restricted to…
We evaluate the Green's function for the insertion of the second moment of the twist-$2$ flavour nonsinglet Wilson operator in a quark $2$-point function in all three different single scale external momentum configurations at four loops in…
The original Lindhard-Scharff-Schi{\o}tt (LSS) theory and the more recent Tilinin theory for calculating the nuclear and electronic stopping powers of slow heavy ions are compared with predictions from the SRIM code by Ziegler. While little…
Program transformations are widely used in synthesis, optimization, and maintenance of software. Correctness of program transformations depends on preservation of some important properties of the input program. By regarding programs as…
One-loop functions with loop masses larger than external masses and momenta can always be expanded in terms of external masses and momenta. The precision requested for observables determines the number of the expansion terms retained in the…
The Slater orbitals are the natural basis functions in quantum molecular calculations. Three-center repulsion Coulomb-exchange integrals over Slater orbitals are evaluated analytically with arbitrary orbital exponents, first for linear…
We use configuration space methods to write down one-dimensional integral representations for one- and two-loop sunrise diagrams (also called Bessel moments) which we use to numerically check on the correctness of the second order…
With a super-high-efficient numerical algorithm, we are able to self-consistently calculate the Green's function in the renormalized-ring-diagram approximation for a two-dimensional electron system with long-range Coulomb interactions. The…
To improve the efficiency of Gaussian integral evaluation on modern accelerated architectures FLOP-efficient Obara-Saika-based recursive evaluation schemes are optimized for the memory footprint. For the 3-center 2-particle integrals that…
We give a complete analytical computation of three and two-point loop integrals occurring in heavy-particle theories, involving a velocity change, for arbitrary real values of the external masses and residual momenta.
This paper presents a novel method for transient stability analysis (TSA) that circumvents the limitations of sequential numerical integration and energy functions. The proposed method begins by constructing a trajectory-dependent stability…
In this work the authors use their contour integral method to derive a double integral connected to the modified Bessel function of the second kind and express it in terms of the Lerch function. There are some useful results relating double…
In this paper, we present two multidimensional power flow formulations based on a fixed-point iteration (FPI) algorithm to efficiently solve hundreds of thousands of power flows in distribution systems. The presented algorithms are the base…