4 papers
An approach to the Lindelöf Hypothesis for Dirichlet -functions
Yuri Matiyasevich
The suggested approach is based on a known representation of Dirichlet -functions via the incomplete gamma functions. Some properties of the Taylor coefficients of the lower inc…
Undecidability on Diophantine equations over with unknowns
Yuri Matiyasevich, Zhi-Wei Sun
It is known that Hilbert's Tenth Problem over the Gaussian ring is undecidable. In this paper we obtain the following further result: Ther…
Diophantine Equations over : Universal Bounds and Parallel Formalization
Jonas Bayer, Marco David, Malte Hassler +2
This paper explores multiple closely related themes: bounding the complexity of Diophantine equations over the integers and developing mathematical proofs in parallel with formal t…
Euler Product Sieve
Di Liu, Yuri Matiyasevich, Joseph Oesterlé +1
We study a class of approximations to the Riemann zeta function introduced earlier by the second author on the basis of Euler product. This allows us to justify Euler Product Sieve…