Related papers: Closed Form Expressions for Certain Improper Integ…
We extend the (continuous) multivariate Almkvist-Zeilberger algorithm in order to apply it for instance to special Feynman integrals emerging in renormalizable Quantum field Theories. We will consider multidimensional integrals over…
An analytical-numeric calculation method of extremely complicated integrals is presented. These integrals appear often in magnet soliton theory. The appropriate analytical continuation and a corresponding integration contour allow to reduce…
In this thesis, a comprehensive formalization of Milner's Calculus of Communicating Systems (also known as CCS) has been done in HOL theorem prover (HOL4), based on an old work in HOL88. This includes all classical properties of strong/weak…
We compute angular phase-space integrals with three and four denominators analytically, working within dimensional regularisation via the Mellin-Barnes (MB) representation. The approach converts multifold MB integrals into real parametric…
One of the most effective techniques of experimental mathematics is to compute mathematical entities such as integrals, series or limits to high precision, then attempt to recognize the resulting numerical values. Recently these techniques…
This paper presents novel analytic expressions for the Rice $Ie{-}$function, $Ie(k,x)$, and the incomplete Lipschitz-Hankel Integrals (ILHIs) of the modified Bessel function of the first kind, $Ie_{m,n}(a,z)$. Firstly, an exact infinite…
This article is a result of the AIM workshop on Moment Maps and Surjectivity in Various Geometries (August 9 - 13, 2004) organized by T.Holm, E.Lerman and S.Tolman. At that workshop I was introduced to the work of T.Hausel and N.Proudfoot…
We explain a Macaulay2 implementation of a construction, which appeared in [Holweck-Oeding arXiv:2206.13662], of a graded algebra structure on the direct sum of a Lie algebra $\mathfrak{g}$ (typically $\mathfrak{sl}_n$) and a…
This note provides new closed forms evaluations of a few classes of exponential sums associated with elliptic curves and hyperelliptic curves.
A type of closed exterior algebra in R3 under the cross product is revealed to hold between differential forms from the three Whittaker scalar potentials, associated with the fields of a moving electron. A special algebraic structure is…
We introduce a general third order non-linear autonomous ODE which covers many ODEs coming from boundary layer problems, like the Falkner-Skan equation and the Cheng-Minkowycz equation. Using Wiman-Valiron theory and complex analytic…
Spectral decomposition of matrices is a recurring and important task in applied mathematics, physics and engineering. Many application problems require the consideration of matrices of size three with spectral decomposition over the real…
Synchrotron radiation plays a central role in astrophysical and high-energy processes. Its spectral description involves the synchrotron function, defined by a non-trivial integral of modified Bessel functions and commonly evaluated through…
We herein propose a variant of the projected inexact Levenberg--Marquardt method (ILMM) for solving constrained nonsmooth equations. Since the orthogonal projection onto the feasible set may be computationally expensive, we propose a local…
Some recent results on evaluating Feynman integrals are reviewed. The status of the method based on Mellin-Barnes representation as a powerful tool to evaluate individual Feynman integrals is characterized. A new method based on Groebner…
The formalisation of mathematics is continuing rapidly, however combinatorics continues to present challenges to formalisation efforts, such as its reliance on techniques from a wide range of other fields in mathematics. This paper presents…
A numerical method using implicit surface representations is proposed to solve the linearized Poisson-Boltzmann equations that arise in mathematical models for the electrostatics of molecules in solvent. The proposed method used an implicit…
This article provides novel analytical results for the Rice function, the incomplete Toronto function and the incomplete Lipschitz-Hankel Integrals. Firstly, upper and lower bounds are derived for the Rice function, $Ie(k,x)$. Secondly,…
This paper introduces a symbolic calculus-based approach for deriving closed-form expressions for the sums of arithmetic sequences. The method extends beyond constant-difference sequences to those with polynomially increasing steps,…
Functional analysis, especially the theory of Hilbert spaces and of operators on these, form an important area in mathematics. We formalized the Isabelle/HOL library Complex_Bounded_Operators containing a large amount of theorems about…