Yuri Matiyasevich

Generating author description...

All published works

Action	Title	Year	Authors
+ PDF Chat	Euler Product Sieve	2024	Di Liu Yuri Matiyasevich Joseph Oesterlé Alexandru Zaharescu
+	Mathematical Proof Between Generations	2023	Jonas Bayer Christoph Benzmüller Kevin Buzzard Marco David Leslie Lampert Yuri Matiyasevich Lawrence Paulsen Dierk Schleicher Benedikt Stock Efim Zelmanov
+	Towards non-iterative calculation of the zeros of the Riemann zeta function	2023	Yuri Matiyasevich
+	Calculation of the Values of the Riemann Zeta Function Via Values of its Derivatives at a Single Point	2023	Yuri Matiyasevich
+	Mathematical Proof Between Generations	2022	Jonas Bayer Christoph Benzmüller Kevin Buzzard Marco David Leslie Lamport Yuri Matiyasevich Lawrence C. Paulson Dierk Schleicher Benedikt Stock Efim Zelmanov
+	On Some Algebraic Ways to Calculate Zeros of the Riemann Zeta Function	2022	Yuri Matiyasevich
+	On Diophantine equations over $\mathbb Z[i]$ with $52$ unknowns	2020	Yuri Matiyasevich Zhi‐Wei Sun
+ PDF Chat	Congruences for Apéry numbers βn =∑k=0nn k2n+k k	2019	Hui-Qin Cao Yuri Matiyasevich Zhi‐Wei Sun
+	Plausible ways for calculating the Riemann zeta function via the Riemann–Siegel theta function	2019	Yuri Matiyasevich
+	Computational Aspects of Hamburger’s Theorem	2019	Yuri Matiyasevich
+	Congruences for Ap\'ery numbers $\beta_{n}=\sum_{k=0}^{n}\binom{n}{k}^2\binom{n+k}{k}$	2018	Hui-Qin Cao Yuri Matiyasevich Zhi‐Wei Sun
+	Computational Rediscovery of Ramanujan's Tau Numbers.	2018	Yuri Matiyasevich
+	A Few Factors from the Euler Product Are Sufficient for Calculating the Zeta Function with High Precision	2017	Yuri Matiyasevich
+	Calculation of Belyi Functions for Trees with Weighted Edges	2017	Yuri Matiyasevich
+	Small Semi-Thue System Universal with Respect to the Termination Problem	2017	Vesa Halava Yuri Matiyasevich Reino Niskanen
+	Riemann’s hypothesis in terms of the eigenvalues of special Hankel matrices	2017	Yuri Matiyasevich
+	Riemann’s zeta function and finite Dirichlet series	2016	Yuri Matiyasevich
+	Martin Davis and Hilbert’s Tenth Problem	2016	Yuri Matiyasevich
+ PDF Chat	Four color theorem from three points of view	2016	Yuri Matiyasevich
+ PDF Chat	Approximation of Riemann’s Zeta Function by Finite Dirichlet Series: A Multiprecision Numerical Approach	2015	Gleb Beliakov Yuri Matiyasevich
+	Yet another representation for reciprocals of the nontrivial zeros of the riemann zeta function	2015	Yuri Matiyasevich
+ PDF Chat	A parallel algorithm for calculation of determinants and minors using arbitrary precision arithmetic	2015	Gleb Beliakov Yuri Matiyasevich
+ PDF Chat	Yet Another Representation for Reciprocals of the Nontrivial Zeros of the Riemann Zeta Function	2015	Yuri Matiyasevich
+	Yet another representation for the sum of reciprocals of the nontrivial zeros of the Riemann zeta-function	2014	Yuri Matiyasevich
+	Approximation of Riemann's zeta function by finite Dirichlet series: multiprecision numerical approach	2014	Gleb Beliakov Yuri Matiyasevich
+ PDF Chat	Horizontal monotonicity of the modulus of the zeta function, L-functions, and related functions	2014	Yuri Matiyasevich Filip Saidak Peter Zvengrowski
+	Zeros of Dirichlet L-functions on the critical line with the accuracy of 40000 decimal places	2014	Gleb Beliakov Yuri Matiyasevich
+	Zeroes of Riemann's zeta function on the critical line with 40000 decimal digits accuracy	2013	Gleb Beliakov Yuri Matiyasevich
+	A Parallel Algorithm for Calculation of Large Determinants with High Accuracy for GPUs and MPI clusters	2013	Gleb Beliakov Yuri Matiyasevich
+	Enlarging the Scope of Applicability of Successful Techniques for Automated Reasoning in Mathematics	2012	Yuri Matiyasevich
+	New Conjectures about Zeroes of Riemann's Zeta Function	2012	Yuri Matiyasevich
+	What can and cannot be done with Diophantine problems	2011	Yuri Matiyasevich
+	Alternatives to the Euler-Maclaurin formula for calculating infinite sums	2010	Yuri Matiyasevich
+	One More Probabilistic Reformulation of the Four Colour Conjecture	2010	Yuri Matiyasevich
+	Two universal 3-quantifier representations of recursively enumerable sets	2008	Yuri Matiyasevich Julia Robinson
+	Computation Paradigms in Light of Hilbert's Tenth Problem	2007	Yuri Matiyasevich
+	Hidden Life of Riemann's Zeta Function 1. Arrow, Bow, and Targets	2007	Yuri Matiyasevich
+	Hidden Life of Riemann's Zeta Function 2. Electrons and Trains	2007	Yuri Matiyasevich
+ PDF Chat	Multiple serial episodes matching	2006	Patrick Cégielski Irène Guessarian Yuri Matiyasevich
+ PDF Chat	Multiple serial episodes matching	2006	Irène Guessarian Patrick Cégielski Yuri Matiyasevich
+ PDF Chat	Multiple serial episodes matching	2006	Irène Guessarian Patrick Cégielski Yuri Matiyasevich
+ PDF Chat	Multiple serial episode matching	2005	Patrick Cégielski Irène Guessarian Yuri Matiyasevich
+	Elimination of quantifiers from arithmetical formulas defining recursively enumerable sets	2004	Yuri Matiyasevich
+	Some Properties of the Persidskii Spectrum	2004	Yuri Matiyasevich
+	Some probabilistic restatements of the Four Color Conjecture	2004	Yuri Matiyasevich
+	One Probabilistic Equivalent of the Four Color Conjecture	2004	Yuri Matiyasevich
+	Some arithmetical restatements of the Four Color Conjecture	2001	Yuri Matiyasevich
+	Hilbert’s tenth problem: what was done and what is to be done	2000	Yuri Matiyasevich
+ PDF Chat	A binomial representation of the 3x + 1 problem	1999	Maurice Margenstern Yuri Matiyasevich
+	Hilbert's Tenth Problem.	1995	Martin Davis Yuri Matiyasevich
+	On some Works of Avi Wigderson	1995	Yuri Matiyasevich
+	Hilbert's 10th Problem	1993	Yuri Matiyasevich
+	What Divisibility Properties Do Generalized Harmonic Numbers Have?	1992	Yuri Matiyasevich
+ PDF Chat	Diophantine complexity	1991	Yuri Matiyasevich
+	A relationship between certain sums over trivial and nontrivial zeros of the Riemann zeta-function	1989	Yuri Matiyasevich
+	A New Formula for &#960	1986	Yuri Matiyasevich
+	A New Formula for Π	1986	Yuri Matiyasevich Richard K. Guy
+	A class of primality criteria formulated in terms of the divisibility of binomial coefficients	1981	Yuri Matiyasevich
+	A new proof of the theorem on exponential diophantine representation of enumerable sets	1980	Yuri Matiyasevich
+	The application of the methods of the theory of logical derivation to graph theory	1972	Yuri Matiyasevich
+	A sufficient condition for the convergence of monotone sequences	1972	Yuri Matiyasevich

Common Coauthors

Coauthor	Papers Together
Gleb Beliakov	6
Irène Guessarian	4
Patrick Cégielski	4
Zhi‐Wei Sun	3
Dierk Schleicher	2
Kevin Buzzard	2
Marco David	2
Hui-Qin Cao	2
Christoph Benzmüller	2
Jonas Bayer	2
Efim Zelmanov	2
Benedikt Stock	2
Di Liu	1
Vesa Halava	1
Martin Davis	1
Reino Niskanen	1
Richard K. Guy	1
Filip Saidak	1
Lawrence C. Paulson	1
Julia Robinson	1
Leslie Lampert	1
Joseph Oesterlé	1
Lawrence Paulsen	1
Leslie Lamport	1
Alexandru Zaharescu	1
Maurice Margenstern	1
Peter Zvengrowski	1

Commonly Cited References

Action	Title	Year	Authors	# of times referenced
+	The Decision Problem for Exponential Diophantine Equations	1961	Martin Davis Hilary Putnam Julia Robinson	9
+	Arithmetical problems and recursively enumerable predicates	1953	Martin Davis	8
+ PDF Chat	Approximation of Riemann’s Zeta Function by Finite Dirichlet Series: A Multiprecision Numerical Approach	2015	Gleb Beliakov Yuri Matiyasevich	6
+	Hilbert's Tenth Problem.	1995	Martin Davis Yuri Matiyasevich	6
+	Decidability of some Problems Pertaining to Base 2 Exponential Diophantine Equations	1985	Hilbert Levitz	5
+	Some arithmetical restatements of the Four Color Conjecture	2001	Yuri Matiyasevich	5
+	Some Purely Mathematical Results Inspired by Mathematical Logic	1977	Yu. V. Matijasevič	5
+	Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I	2006	Kurt Gödel	5
+	Hilbert’s tenth problem: Diophantine equations: positive aspects of a negative solution	1976	Martin Davis Yuri Matijasevič Julia Robinson	4
+	The Theory of the Riemann Zeta-Function	1987	E. C. Titchmarsh D. R. Heath‐Brown	4
+	Some representations of Diophantine sets	1972	Raphael M. Robinson	4
+	An unsolvable problem in number theory	1960	Hilary Putnam	4
+	New Conjectures about Zeroes of Riemann's Zeta Function	2012	Yuri Matiyasevich	3
+	Complements to Li's Criterion for the Riemann Hypothesis	1999	Enrico Bombieri Jeffrey C. Lagarias	3
+	On a new graph invariant and a criterion for planarity	1993	Yves Colin de Verdìère	3
+	Mathematical Developments Arising from Hilbert Problems	1976	Felix E. Browder	3
+	Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I	1931	Kurt Gödel	3
+	Power series solutions of algebraic differential equations	1984	Jan Denef Leonard Lipshitz	3
+	Thirteen Colorful Variations on Guthrie's Four-Color Conjecture	1972	Thomas L. Saaty	3
+	A Series Representation for Euler's Constant	1967	A. W. Addison	3
+ PDF Chat	An algebraic approach to the planar coloring problem	1993	Kauffmann Hubert Saleur	3
+ PDF Chat	Hilbert’s Tenth Problem and Mazur’s Conjecture for large subrings of $\mathbb {Q}$	2003	Bjorn Poonen	3
+	Hilbert’s tenth problem: what was done and what is to be done	2000	Yuri Matiyasevich	3
+	A necessary and sufficient condition for primality, and its source	1972	Henry B. Mann Daniel Shanks	3
+	Thirteen Colorful Variations on Guthrie's Four-Color Conjecture	1972	Thomas L. Saaty	3
+	The Undecidability of Exponential Diophantine Equations	1966	Julia Robinson	3
+	Spin Networks, Topology and Discrete Physics	1994	Louis H. Kauffman	3
+ PDF Chat	A parallel algorithm for calculation of determinants and minors using arbitrary precision arithmetic	2015	Gleb Beliakov Yuri Matiyasevich	3
+	Mathematical significance of consistency proofs	1958	G. Kreisel	3
+ PDF Chat	Hilbert’s tenth problem for quadratic rings	1975	Jan Denef	3
+	Riemann’s zeta function and finite Dirichlet series	2016	Yuri Matiyasevich	3
+ PDF Chat	The Topology of Rational Points	1992	Barry Mazur	2
+	A formal proof of the four color theorem	2009	Limin Xiang	2
+	Condensation of Determinants	2007	Abdelmalek Salem Saïd Kouachi	2
+	On the existence of a new family of Diophantine equations for Ω	2002	Toby Ord Tien D. Kieu	2
+	Topology of Diophantine sets: remarks on Mazur’s conjectures	2000	Gunther Cornelissen Karim Zahidi	2
+ PDF Chat	How to Program an Infinite Abacus	1961	Joachim Lambek	2
+	Undecidability of existential theories of rings and fields: a survey	2000	Thanases Pheidas Karim Zahidi	2
+	Computational methods and experiments in analytic number theory	2005	Michael Rubinstein	2
+	The Positivity of a Sequence of Numbers and the Riemann Hypothesis	1997	Xian‐Jin Li	2
+	History of the Theory of Numbers	1919	L. E. Dickson	2
+ PDF Chat	On proof and progress in mathematics	1994	William P. Thurston	2
+ PDF Chat	A binomial representation of the 3x + 1 problem	1999	Maurice Margenstern Yuri Matiyasevich	2
+	On the integer solutions of quadratic equations	2004	Fritz Grunewald Dan Segal	2
+ PDF Chat	Recursively enumerable sets of positive integers and their decision problems	1944	Emil L. Post	2
+	Double Integrals for Euler's Constant and In and an Analog of Hadjicostas's Formula	2005	Jonathan Sondow	2
+	Hidden Life of Riemann's Zeta Function 1. Arrow, Bow, and Targets	2007	Yuri Matiyasevich	2
+	On Wolstenholme's theorem and its converse	2007	Charles Hélou Guy Terjanian	2
+	Zeros of the Davenport-Heilbronn counterexample	2007	Eugenio P. Balanzario Jorge Sánchez-Ortiz	2
+	Notes on Binomial Coefficients I-A Generalization of Lucas' Congruence†	1974	David Singmaster	2