Related papers: Note on a double binomial sum relevant to the Hada…
We show that a binomial identity arising in the context of the study of series expansions of $1/\pi$ can be seen as an incarnation of Whipples second theorem for hypergeometric series.
We explore a method which is implicit in a paper of Burkholder of identifying the $H^2$ Hardy norm of a conformal map with the explicit solution of Dirichlet's problem in the complex plane. Using the series form of the Hardy norm, we obtain…
We give "hybrid" proofs of the $q$-binomial theorem and other identities. The proofs are "hybrid" in the sense that we use partition arguments to prove a restricted version of the theorem, and then use analytic methods (in the form of the…
We generalise the Vandermonde determinant identity to one which tests whether a family of hypersurfaces in $\mathbf{P}^n$ has an unexpected intersection point.
A fundamental problem in computational algebraic geometry is the computation of the resultant. A central question is when and how to compute it as the determinant of a matrix. whose elements are the coefficients of the input polynomials…
We prove the analogue of an identity of Huard, Ou, Spearman and Williams and apply it to evaluate a variety of sums involving divisor functions in two variables. It turns out that these sums count representations of positive integers…
We obtain a new upper bound for binary sums with multiplicative characters over variables belong to some sets, having small additive doubling.
In terms of the telescoping method, a simple binomial sum is given. By applying the derivative operators to the equation just mentioned, we establish several general harmonic number identities including some known results.
In a recent article, Apagodu and Zeilberger (http://arxiv.org/abs/1606.03351)discuss some applications of an algorithm for finding and proving congruence identities (modulo primes) of indefinite sums of many combinatorial sequence. At the…
Let $\sum_{d|n}$ denote sum over divisors of a positive integer $n$, and $t_{r}(n)$ denote the number of representations of $n$ as a sum of $r$ triangular numbers. Then we prove that $$…
This manuscript introduces a general multisection identity expressed equivalently in terms of infinite double products and/or infinite double series, from which several new product or summation identities involving special functions…
We propose a sum rule for derangements. Three different proofs are provided. The first one involves integral representations and the second one relies on the Hermite identity for the integer part of the product of an integer by a real…
The proof identity problem asks: When are two proofs the same? The question naturally occurs when one reflects on mathematical practice. The problem understandably can be seen as a challenge for mathematical logic, and indeed various…
In this paper I will develop a lambda-term calculus, lambda-2Int, for a bi-intuitionistic logic and discuss its implications for the notions of sense and denotation of derivations in a bilateralist setting. Thus, I will use the Curry-Howard…
A generalization of the Chu-Vandermonde convolution is presented and proved with the integral representation method. This identity can be transformed into another identity, which has as special cases two known identities. Another identity…
In this paper we give an elementary proof of the local sum conjecture in two dimensions. In a remarkable paper [CMN, arXiv:1810.11340], this conjecture has been established in all dimensions using sophisticated, powerful techniques from a…
The aim of this paper is to give an elementary proof of certain identities on binomials and state an answer to Remark 8.2 in Takahiro Hayata, Harutaka Koseki, and Takayuki Oda, Matrix coefficients of the middle discrete series of SU(2,2),…
The main result of this paper is to show that all binomial identities are orderable. This is a natural statement in the combinatorial theory of finite sets, which can also be applied in distributed computing to derive new strong bounds on…
In this paper we present many new families of identities for multiple harmonic sums using binomial coefficients. Some of these generalize a few recent results of Hessami Pilehrood et al. As applications we prove several conjectures…
We give a short proof of the Cauchy-Binet determinantal formula using multilinear algebra by first generalizing it to an identity {\em not} involving determinants. By extending the formula to abstract Hilbert spaces we obtain, as a…