Related papers: The Abel-Zeilberger Algorithm
We prove a recursive identity involving formal iterated logarithms and formal iterated exponentials. These iterated logarithms and exponentials appear in a natural extension of the logarithmic formal calculus used in the study of…
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…
We prove trace identities for commutators of operators, which are used to derive sum rules and sharp universal bounds for the eigenvalues of periodic Schroedinger operators and Schroedinger operators on immersed manifolds. In particular, we…
We propound the thesis that there is a limitation to the number of possible structures which are axiomatically endowed with identities involving operations. In the case of algebras with a binary operation satisfying a formally reducible (to…
In this paper we return to the study of the Watson kernel for the Abel summabilty of Jacobi polynomial series. These estimates have been studied for over more than 30 years. The main innovations are in the techniques used to get the…
A number of identities are proved by using Stirling transforms. These identities involve Stirling numbers of the first and second kinds, hyperharmonic and derangement numbers, Bernoulli and Euler numbers and polynomials, powers, power sums,…
Sparse polynomial interpolation, sparse linear system solving or modular rational reconstruction are fundamental problems in Computer Algebra. They come down to computing linear recurrence relations of a sequence with the Berlekamp-Massey…
Using an elementary approach involving the Euler Beta function and the binomial theorem, we derive two polynomial identities; one of which is a generalization of a known polynomial identity. Two well-known combinatorial identities, namely…
In this paper we formulate combinatorial identities that give representation of positive integers as linear combination of even powers of 2 with binomial coefficients. We present side by side combinatorial as well as computer generated…
In this series of seven papers, predominantly by means of elementary analysis, we establish a number of identities related to the Riemann zeta function. Whilst this paper is mainly expository, some of the formulae reported in it are…
In recent work, Hickerson and the author demonstrated that it is useful to think of Appell--Lerch sums as partial theta functions. This notion can be used to relate identities involving partial theta functions with identities involving…
A useful identity relating the infinite sum of two Bessel functions to their infinite integral was discovered in Dominici et al. (2012). Here, we extend this result to products of $N$ Bessel functions, and show it can be straightforwardly…
Algorithms can be used to prove and to discover new theorems. This paper shows how algorithmic skills in general, and the notion of invariance in particular, can be used to derive many results from Euclid's algorithm. We illustrate how to…
We introduce two remarkable identities written in terms of single commutators and anticommutators for any three elements of arbitrary associative algebra. One is a consequence of other (fundamental identity). From the fundamental identity,…
With the help of computer algebra we study the diagonal matrix elements <Or^p>, where O are the standard Dirac matrix operators and the angular brackets denote the quantum-mechanical average for the relativistic Coulomb problem. Using…
By applying p-adic integral on the set of p-adic integers in [27] (Interpolation Functions for New Classes Special Numbers and Polynomials via Applications of p-adic Integrals and Derivative Operator, Montes Taurus J. Pure Appl. Math. 3…
Automating formal proofs of combinatorial identities is challenging for LLM-based provers, as long-horizon proof planning is required and unconstrained search quickly explodes. Symbolic methods such as the Wilf-Zeilberger (WZ) method can…
This is a survey of some recent developments in the theory of associative and nonassociative dialgebras, with an emphasis on polynomial identities and multilinear operations. We discuss associative, Lie, Jordan, and alternative algebras,…
We establish some identities of Euler related sums. By using these identities, we discuss the closed form representations of sums of harmonic numbers and reciprocal parametric binomial coefficients through parametric harmonic numbers,…
Using a probabilistic approach, we derive some interesting combinatorial identities involving gamma and beta functions. These results generalize certain well-known combinatorial identities involving binomial coefficients and special…