Related papers: A case study for $\zeta(4)$

The notion of type of a differential 2-form in four variables is introduced and for 2-forms of type < 4, local normal models are given. If the type of a 2-form $\Omega$ is 4, then the equivalence under diffeomorphisms of $\Omega$ is reduced…

The zeta-function of a complex variety is a power series whose nth coefficient is the nth symmetric power of the variety, viewed as an element in the Grothendieck ring of complex varieties. We prove that the zeta-function of a surface is…

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…

For a certain function $J(s)$ we prove that the identity $$\frac{\zeta(2s)}{\zeta(s)}-\left(s-\frac{1}{2}\right)J(s)=\frac{\zeta(2s+1)}{\zeta(s+1/2)}, $$ holds in the half-plane Re$(s)>1/2$ and both sides of the equality are analytic in…

We state and prove an identity which connects theta series associated with binary quadratic forms of idoneal discriminants $\Delta$ and $\Delta p^2$, for $p$ a prime. Employing this identity, we extend the results of Toh by writing the…

We provide explicit ranges for $\sigma$ for which the asymptotic formula \begin{equation*} \int_0^T|\zeta(1/2+it)|^4|\zeta(\sigma+it)|^{2j}dt \;\sim\; T\sum_{k=0}^4a_{k,j}(\sigma)\log^k T \quad(j\in\mathbb N) \end{equation*} holds as…

We have gone back to old methods found in the historical part of Hardy's Divergent Series well before the invention of the modern analytic continuation to use formal manipulation of harmonic sums which produce some interesting formulae.…

In this paper, we formally introduce the notion of Ap{\'e}ry-like sums and we show that every multiple zeta values can be expressed as a $\bf Z$-linear combination of them. We even describe a canonical way to do so. This allows us to put in…

We characterize symbolic powers of prime ideals in polynomial rings over any field in terms of $\mathbb{Z}$-linear differential operators, and of prime ideals in polynomial rings over complete discrete valuation rings with a $p$-derivation…

We show the existence of ``good'' approximations to a real number $\gamma$ using rationals with denominators formed by digits $0$ and $1$ in base $b$. We derive an elementary estimate and enhance this result by managing exponential sums.

We prove an identity for five arguments, valid in the lattice of natural numbers with gcd and lcm as lattice operations. More generally, this identity characterizes arbitrary distributive lattices. Fixing three of the five arguments, we…

The papers shows an algorithm to search for approximations of reals to rationals of the form a/b^2 that runs on \sqrt(b) polynomial time steps.

A summation is a shift-invariant ${\rm R}$-module homomorphism from a submodule of ${\rm R}[[\sigma]]$ to ${\rm R}$ or another ring. [11] formalized a method for extending a summation to a larger domain by telescoping. In this paper, we…

By using the generalized Bernoulli numbers, we deduce new integral representations for the Riemann zeta function at positive odd-integer arguments. The explicit expressions enable us to obtain criteria for the dimension of the vector space…

This is part II of our examination of the second and fourth moments and shifted moments of the Riemann zeta-function on the critical line using long Dirichlet polynomials and divisor correlations.

The cotangent zeta function is a very interesting object, which is related to partial zeta functions and Hecke $L$-functions of real quadratic fields. Its special values at odd integers greater than 1 are explicitly evaluated by Berndt in…

In this paper, we find rational zeta series with $\zeta(2n)$ in terms of $\zeta(2k+1)$ and $\beta(2k)$, the Dirichlet beta function. We then develop a certain family of generalized rational zeta series using the generalized Clausen function…

A new sums-of-tails identity involving two parameters $b$ and $d$ is obtained and is used to derive more results of similar type. One of Ramanujan's sums-of-tails identities from the Lost Notebook is shown to be a special case of our…

In this note, we give an exact formula for a general family of rational zeta series involving the coefficient $\zeta(2n)$ in terms of Hurwitz zeta values. This formula generalizes two formulas from a previous paper of the first author. Our…

Computational reflection allows us to turn verified decision procedures into efficient automated reasoning tools in proof assistants. The typical applications of such methodology include mathematical structures that have decidable theory…