Related papers: Holonomic alchemy and series for $1/\pi$

In this paper we compute explicit formulas for the holonomy map for a gerbe with connection over an orbifold. We show that the holonomy descends to a transgression map in Deligne cohomology. We prove that this recovers both the inner local…

In this short note, we establish some identities containing sums of binomials with coefficients satisfying third order linear recursive relations. As a result and in particular, we obtain general forms of earlier identities involving…

We derive various weighted summation identities, including binomial and double binomial identities, for Tribonacci numbers. Our results contain some previously known results as special cases.

Multiple harmonic-like numbers are studied using the generating function approach. A closed form is stated for binomial sums involving these numbers and two additional parameters. Several corollaries and examples are presented which are…

We make a summary of the different types of proofs adding some new ideas. In addition we conjecture some relations which could be necessary in "modular type proofs" (not still found) of the Ramanujan-like series for 1/\pi^2.

We first give a bijective proof of Gould's identity in the model of binary words. Then we deduce Rothe's identity from Gould's identity again by a bijection, which also leads to a double-sum extension of the $q$-Chu-Vandermonde formula.

In a recent insightful article, Helmut Prodinger uses sophisticated complex analysis, with residues, to derive convolution identities for Fibonacci, Tribonacci, and k-bonacci numbers. Here we use a naive, "experimental mathematics" (yet…

In 1997, Van Hamme proposed 13 supercongruences corresponding to $1/\pi$ series of the Ramanujan-type. Inspired by the recent work of V.J.W. Guo, we establish a unified $q$-analogue of Van Hamme's (B.2), (E.2) and (F.2) supercongruences,…

An identity involving symmetric sums of regularized multiple zeta-star values of harmonic type was proved by Hoffman. In this paper, we prove an identity of shuffle type. We use Bell polynomials appearing in the study of set partitions to…

We show with some examples how to prove some Ramanujan-type series for $1/\pi$ in an elementary way by using terminating identities.

We derive an identity involving Horadam numbers. Numerous new identities as well as those found in the existing literature are subsumed in this single identity.

We propose and prove a new polynomial identity that implies Schur's partition theorem. We give combinatorial interpretations of some of our expressions in the spirit of Kur\c{s}ung\"oz. We also present some related polynomial and $q$-series…

We give an identity which is conjectured and proved by using an implementation in Multi-WZ.

Using the methods of classical invariant theory a general approach to finding of identities for Bernulli, Euler and Hermite polynomials is proposed.

We consider the complexities of substitutive sequences over a binary alphabet. By studying various types of special words, we show that, knowing some initial values, its complexity can be completely formulated via a recurrence formula…

We define a Polish topology inspired from the Gandy-Harrington topology and show how it can be used to prove Silver's dichotomy theorem while remaining in the Polish realm. In this topology, a $\Pi^1_1$ equivalence relation decomposes into…

We extend the theory (formal part only} of algebras with one binary operation (our paper arXiv:math/0110333v1 [math.RA] 31 Oct 2001) to algebras with several operations of any arity.

In this paper, we establish an identity for Bernoulli's generalized polynomials. We deduce generalizations for many relations involving classical Bernoulli numbers or polynomials. In particular, we generalize a recent Gessel identity.

We formulate several polynomial identities. One side of these identities has a nice simple form. Whereas the other has a form of a polynomial whose coefficients contain binomial coefficients double factorials or (and) rising factorials. The…

In this paper we consider transformation formulas for \[ B\left( z,s:\chi\right) =\sum\limits_{m=1}^{\infty}\sum\limits_{n=0} ^{\infty}\chi(m)\chi(2n+1)\left( 2n+1\right) ^{s-1}e^{\pi im(2n+1)z/k}. \] We derive reciprocity theorems for the…