Related papers: Algorithms for the indefinite and definite summati…
Recently, Feng, Kuznetsov and Yang discovered a very general reduction formula for a sum of products of the generalized hypergeometric functions (J. Math. Anal. Appl. 443(2016), 116--122). The main goal of this note is to present a…
A conjecture is given that, if true, could lead to an algorithm for computing definite sums of rational functions.
We present algorithms to work with iterated Eisenstein integrals that have recently appeared in the computation of multi-loop Feynman integrals. These algorithms allow one to analytically continue these integrals to all regions of the…
Let $(a;q)_{\infty}$ be the $q$-Pochhammer symbol and $\mathrm{li}_2(x)$ be the dilogarithm function. Let $\prod_{\alpha,\beta,\gamma}$ be a finite product with every triple $(\alpha,\beta,\gamma)\in(\mathbb{R}_{>0})^3$ and…
An algorithm is presented for generating successive approximations to trigonometric functions of sums of non-commuting matrices. The resulting expressions involve nested commutators of the respective matrices. The procedure is shown to…
In modern usage the Bernoulli numbers and Bernoulli polynomials follow Euler's approach and are defined using generating functions. We consider the functional equation $f(x)+x^k=f(x+1)$ and show that a solution can be derived from…
We give a complete classification of a certain family of step functions related to the Nyman--Beurling approach to the Riemann hypothesis and previously studied by V. I. Vasyunin. Equivalently, we completely describe when certain sequences…
We study the canonical U(n-)-valued differential form, whose projections to different Kac-Moody algebras are key ingredients of the hypergeometric integral solutions of KZ-type differential equations and Bethe ansatz constructions. We…
A new mathematical notation is proposed for the iteration of functions. It facilitates the application of the iteration of functions in mathematical and logical expressions, definitions of sets, and formulations of algorithms. Illustrations…
We give a formula for the cyclotomic valuation of $q$-Pochhammer symbols in terms of (generalized) Dwork maps. We also obtain a criterion for the $q$-integrality of basic hypergeometric series in terms of certain step functions, which…
We prove two fast formulas for the Hurwitz values $\zeta(2,a)$ and $\zeta(3,a)$ respectively with the help of the WZ method. In them $(a)_n$ denotes the rising factorial or Pochhammer's symbol defined by $(a)_0=1$ and…
It is only in exceptional cases that a $_2F_1(z)$-series with rational parameters and a rational argument, apart from the cases for $z \in \{ \pm 1, \frac{1}{2} \}$ associated with classical hypergeometric identities, admits an evaluation…
We present an algorithm for computing a holonomic system for a definite integral of a holonomic function over a domain defined by polynomial inequalities. If the integrand satisfies a holonomic difference-differential system including…
Given a holonomic sequence $F(n)$, we characterize rational functions $r(n)$ so that $r(n)F(n)$ can be summable. We provide upper and lower bounds on the degree of the numerator of $r(k)$ and show the denominator of $r(n)$ can be read from…
Suppose that h in F[x,y,z], char F=2, defines a nodal cubic. In earlier papers we made a precise conjecture as to the Hilbert-Kunz functions attached to the powers of h. Assuming this conjecture we showed that a class of characteristic 2…
We introduce a symbolic method for the evaluation of definite integrals containing combinations of various functions, including exponentials, logarithm and products of Bessel functions of different types. The method we develop is naturally…
This paper presents formulae for the sum of the terms of a harmonic progression of order $k$ with integer parameters, $\mathrm{HP}_k(n)$, and for the partial sums of its two associated Fourier series, $C^z_{k}(a,b,n)$ and $S^z_{k}(a,b,n)$.…
In 1975, Don Zagier obtained a new version of the Kronecker limit formula for a real quadratic field which involved an interesting function $F(x)$ which is now known as the \emph{Herglotz function}. As demonstrated by Zagier, and very…
We present new, practical algorithms for the hypersurface implicitization problem: namely, given a parametric description (in terms of polynomials or rational functions) of the hypersurface, find its implicit equation. Two of them are for…
We compute the nonlinearity of Boolean functions with Groebner basis techniques, providing two algorithms: one over the binary field and the other over the rationals. We also estimate their complexity. Then we show how to improve our…