Related papers: Human and automated approaches for finite trigonom…
Conjecturing and theorem proving are activities at the center of mathematical practice and are difficult to separate. In this paper, we propose a framework for completing incomplete conjectures and incomplete proofs. The framework can turn…
For any $m,n\in\mathbb{N}$ we first give new proofs for the following well known combinatorial identities \begin{equation*} S_n(m)=\sum\limits_{k=1}^n\binom{n}{k}\frac{(-1)^{k-1}}{k^m}=\sum\limits_{n\geq r_1\geq r_2\geq...\geq r_m\geq…
An integer-valued polynomial $P(x,y,z)$ is said to be universal (over $\mathbb Z$) if each nonnegative integer can be written as $P(x,y,z)$ with $x,y,z\in\mathbb Z$. In this paper, we mainly introduce a new technique to determine the…
We prove three theorems on finite real multiple zeta values: the symmetric formula, the sum formula and the height-one duality theorem. These are analogues of their counterparts on finite multiple zeta values.
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…
We prove some identities for the squares of generalized Tribonacci numbers. Various summation identities involving these numbers are derived.
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…
In this we paper we prove several new identities of the Rogers-Ramanujan-Slater type. These identities were found as the result of computer searches. The proofs involve a variety of techniques, including series-series identities, Bailey…
I revisit an automated proof of Andrews' pentagonal number theorem found by Riese. I uncover a simple polynomial identity hidden behind his proof. I explain how to use this identity to prove Andrews' result along with a variety of new…
This paper provides a survey of particular values of Ramanujan's theta function $\varphi(q)=\sum_{n=-\infty}^{\infty}q^{n^2}$, when $q=e^{-\pi\sqrt{n}}$, where $n$ is a positive rational number. First, descriptions of the tools used to…
In this paper, we derive a unified generalization of Ramanujan's transformation identities for the theta function $f(a,b)$, originally appearing in Ramanujan's Notebooks, Parts~III and IV. Using an approach based on residue-class…
In the present paper, we prove an identity for the generating function of the quadruple zeta values. Taking homogeneous parts on both sides of the identity and substituting appropriate values for the variables, we obtain the sum formula for…
Some new identities for Schur functions are proved. In particular, we settle in the affirmative a recent conjecture of Ishikawa-Wakayama and solve a problem raised by Bressoud.
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…
Recently, Maesaka, Seki and Watanabe discovered a surprising equality between multiple harmonic sums and certain Riemann sums which approximate the iterated integral expression of the multiple zeta values. In this paper, we describe the…
One of the most interesting formulas for multiple zeta values is the sum formula proved by Granville and Zagier independently in 1990s. Many variations and generalizations of it have been found since then. In this paper, we will provide a…
We revisit old conjectures of Fermat and Euler regarding representation of integers by binary quadratic form x^2+5y^2. Making use of Ramanujan's_1\psi_1 summation formula we establish a new Lambert series identity for…
This paper is an enhanced version of a more than decade-older paper with a similar title. Many formulae involving both finite and infinite sums of digamma and polygamma functions up to quadratic order, few of which appear in standard…
The sum formula is one of the most well-known relations among multiple zeta values. This paper proves a conjecture of Kaneko predicting that an analogous formula holds for finite multiple zeta values.
Bhoria, Eyyunni and Maji recently obtained a four-parameter $q$-series identity which gives as special cases not only all five entries of Ramanujan on pages 354 and 355 of his second notebook but also allows them to obtain an analytical…