Related papers: Hypergeometric rational approximations to $\zeta(4…
There are only aleph-zero rational numbers, while there are 2 to the power aleph-zero real numbers. Hence the probability that a randomly chosen real number would be rational is 0. Yet proving rigorously that any specific, natural, real…
We discuss the use of matrices for providing sequences of rationals that approximate algebraic irrationalities. In particular, we study the regular representation of algebraic extensions, proving that ratios between two entries of the…
Let $\xi, \zeta$ be quadratic real numbers in distinct quadratic fields. We establish the existence of effectively computable, positive real numbers $\tau$ and $c$, such that, for every integer $q$ with $q > c$ we have $$ \max\{\|q \xi \|,…
We introduce a new generalization of Stirling numbers of the second kind and analyze their properties, including generating functions, integral representations, and recurrence relations. These numbers are used to approximate Riemann zeta…
We sharpen to nearly optimal the known asymptotic and explicit bounds for the number of $\mathbb{F}_q$-rational points on a geometrically irreducible hypersurface over a (large) finite field. The proof involves a Bertini-type probabilistic…
By systematically applying ten well-known and inequivalent two-part relations between hypergeometric sums 3F2(...|1) to the published database of all such sums, 62 new sums are obtained. The existing literature is summarized, and many…
We review some of W.N. Bailey's work on hypergeometric functions that found solid applications in number theory. The text is complemented by Bailey's letters to Freeman Dyson from the 1940s.
An important component of Ap\'ery's proof that $\zeta (3)$ is irrational involves representing $\zeta (3)$ as the limit of the quotient of two rational solutions to a three-term recurrence. We present various approaches to such Ap\'ery…
Using a new construction of rational linear forms in odd zeta values and the saddle point method, we prove the existence of at least two irrational numbers amongst the 33 odd zeta values $\zeta$(5), $\zeta$(7),. .. , $\zeta$(69).
In the joint work of T.Rivoal and the author, a hypergeometric construction was proposed for studing arithmetic properties of the values of Dirichlet's beta function $\beta(s)$ at even positive integers. The construction gives some bonuses…
Let $Z$ be a quadratic hypersurface of $\mathbb{P}^n(\mathbb{R})$ defined over $\mathbb{Q}$ containing points whose coordinates are linearly independent over $\mathbb{Q}$. We show that, among these points, the largest exponent of uniform…
In [Electron. J. Combin. 10 (2003), #R10], the author presented a new basic hypergeometric matrix inverse with applications to bilateral basic hypergeometric series. This matrix inversion result was directly extracted from an instance of…
This paper presents a complete formal verification of a proof that the evaluation of the Riemann zeta function at 3 is irrational, using the Coq proof assistant. This result was first presented by Ap\'ery in 1978, and the proof we have…
Recently, Bringmann and Kane established two new Bailey pairs and used them to relate certain q-hypergeometric series to real quadratic fields. We show how these pairs give rise to new mock theta functions in the form of q-hypergeometric…
In the 1980s, Koecher and, independently, Leshchiner found an elegant formula for the generating function of odd zeta values. In this short note, we derive a $q$-analogue of this formula, which provides a $q$-version of the accelerated…
We provide a lower bound for the dimension of the vector space spanned by 1 and by the values of the Riemann Zeta function at the first odd integers. As a consequence, the Zeta function takes infinitely many irrational values at odd…
A new algebraic object is introduced - recurrent fractions, which is an n-dimensional generalization of continued fractions. It is used to describe an algorithm for rational approximations of algebraic irrational numbers. Some…
Recently, Kajihara gave a Bailey-type transformation relating basic hypergeometric series on the root system An, with different dimensions n. We give, with a new, elementary, proof, an elliptic analogue of this transformation. We also…
The variable change w=exp(u) is applied to establish novel integral representations of the incomplete gamma-function, hypergeometric F-function,confluent hypergeometric /Phi-function and beta-function, and to analyze these functionsas as…
In this paper we describe an algorithm for implicitizing rational hypersurfaces in case there exists at most a finite number of base points. It is based on a technique exposed in math.AG/0210096, where implicit equations are obtained as…