Notice: Unexpected clearActionName after getActionName already called in /var/www/html/includes/context/RequestContext.php on line 337
Yu. V. Matiyasevich - MaRDI portal

Yu. V. Matiyasevich

From MaRDI portal
(Redirected from Person:234706)
Person:741170

Available identifiers

zbMath Open matiyasevich.yuri-vWikidataQ707119 ScholiaQ707119MaRDI QIDQ741170

List of research outcomes

PublicationDate of PublicationType
Calculation of the values of the Riemann zeta function via values of its derivatives at a single point2024-02-01Paper
Gregory Samuilovich Tseytin (obituary)2024-01-25Paper
Towards non-iterative calculation of the zeros of the Riemann zeta function2024-01-18Paper
Asymptotic structure of eigenvalues and eigenvectors of certain triangular Hankel matrices2023-08-17Paper
The Riemann hypothesis as the parity of special binomial coefficients2023-08-17Paper
On some algebraic ways to calculate zeros of the Riemann zeta function2023-07-26Paper
Boris Abramovich Trakhtenbrot2022-05-09Paper
Viktor Abramovich Zalgaller2022-04-08Paper
https://portal.mardi4nfdi.de/entity/Q51549662021-10-05Paper
Continuous crop circles drawn by Riemann's zeta function2021-09-06Paper
https://portal.mardi4nfdi.de/entity/Q51503832021-02-15Paper
Yurii Leonidovich Ershov (on his 80th birthday)2020-09-04Paper
Vladimir Petrovich Platonov2020-08-10Paper
Martin Davis and Hilbert’s Tenth Problem2020-08-06Paper
Computational Aspects of Hamburger’s Theorem2020-07-07Paper
Congruences for Apéry numbers βn =∑k=0nn k2n+k k2020-05-27Paper
Гипотеза Римана как чётность биномиальных коэффициентов2020-05-13Paper
Vladimir Andreevich Uspensky (27/11/1930–27/6/2018)2020-03-11Paper
On Diophantine equations over $\mathbb Z[i$ with $52$ unknowns]2020-02-24Paper
The Riemann hypothesis in computer science2020-01-22Paper
Plausible ways for calculating the Riemann zeta function via the Riemann-Siegel theta function2019-10-17Paper
https://portal.mardi4nfdi.de/entity/Q53843342019-06-21Paper
A few factors from the Euler product are sufficient for calculating the zeta function with high precision2018-08-16Paper
Solving trace equations using lexicographical normal forms2018-07-04Paper
Small Semi-Thue System Universal with Respect to the Termination Problem2018-01-19Paper
Calculation of Belyi functions for trees with weighted edges2018-01-04Paper
Riemann's hypothesis in terms of the eigenvalues of special Hankel matrices2017-08-24Paper
Four color theorem from three points of view2017-06-22Paper
Riemann’s zeta function and finite Dirichlet series2016-10-05Paper
A parallel algorithm for calculation of determinants and minors using arbitrary precision arithmetic2016-05-19Paper
https://portal.mardi4nfdi.de/entity/Q34647042016-01-27Paper
Approximation of Riemann’s Zeta Function by Finite Dirichlet Series: A Multiprecision Numerical Approach2015-07-27Paper
Yet another representation for reciprocals of the nontrivial zeros of the Riemann zeta function2015-07-03Paper
Horizontal monotonicity of the modulus of the zeta function, L-functions, and related functions2014-11-07Paper
Yet another representation for the sum of reciprocals of the nontrivial zeros of the Riemann zeta-function2014-10-26Paper
What can and cannot be done with Diophantine problems2014-09-10Paper
Towards finite-fold Diophantine representations2014-01-16Paper
Nikolai Aleksandrovich Shanin (obituary)2013-12-17Paper
One More Probabilistic Reformulation of the Four Colour Conjecture2013-03-13Paper
Anatolii Vladimirovich Yakovlev (on the occasion of his 70th birthday)2012-11-21Paper
Alternatives to the Euler-Maclaurin formula for calculating infinite sums2011-11-25Paper
Preface to the special issue dedicated to Nikolai Alexandrovich Shanin on the occasion of his 90th birthday2011-09-12Paper
Multiple serial episodes matching2010-01-18Paper
On Post correspondence problem for letter monotonic languages2009-08-07Paper
Existential arithmetization of Diophantine equations2009-03-25Paper
On a certain representation of the chromatic polynomial2009-03-06Paper
Tree inclusion problems2008-07-21Paper
https://portal.mardi4nfdi.de/entity/Q53849682008-04-29Paper
Two universal 3-quantifier representations of recursively enumerable sets2008-02-07Paper
A Criterion for Vertex Colorability of a Graph Stated in Terms of Edge Orientations2007-12-12Paper
Hidden Life of Riemann's Zeta Function 2. Electrons and Trains2007-09-03Paper
Hidden Life of Riemann's Zeta Function 1. Arrow, Bow, and Targets2007-07-13Paper
Window Subsequence Problems for Compressed Texts2007-05-02Paper
New Computational Paradigms2006-01-11Paper
https://portal.mardi4nfdi.de/entity/Q57033732005-11-08Paper
Some algebraic methods for calculating the number of colorings of a graph2005-06-24Paper
https://portal.mardi4nfdi.de/entity/Q46818932005-06-08Paper
Decision problems for semi-Thue systems with a few rules2005-02-22Paper
One Probabilistic Equivalent of the Four Color Conjecture2004-12-16Paper
Elimination of quantifiers from arithmetical formulas defining recursively enumerable sets2004-11-22Paper
Some probabilistic restatements of the Four Color Conjecture2004-08-04Paper
Nikolai Aleksandrovich Shanin (on his 80th birthday)2003-08-28Paper
Biography of A. O. Slissenko2003-08-17Paper
Window-accumulated subsequence matching problem is linear2002-11-27Paper
Some arithmetical restatements of the four color conjecture2001-08-20Paper
https://portal.mardi4nfdi.de/entity/Q27155282001-07-26Paper
https://portal.mardi4nfdi.de/entity/Q45016362001-03-20Paper
Solving word equations modulo partial commutations2000-01-12Paper
A binomial representation of the 3x + 1 problem2000-01-06Paper
A new technique for obtaining diophantine representations via elimination of bounded universal quantifiers1999-11-22Paper
https://portal.mardi4nfdi.de/entity/Q42639471999-09-22Paper
https://portal.mardi4nfdi.de/entity/Q42090891998-11-09Paper
https://portal.mardi4nfdi.de/entity/Q43760641998-09-22Paper
Computer evaluation of generalized Chebyshev polynomials1998-06-17Paper
Definability and decidability issues in extensions of the integers with the divisibility predicate1996-11-24Paper
https://portal.mardi4nfdi.de/entity/Q48659601996-03-04Paper
https://portal.mardi4nfdi.de/entity/Q33649811996-01-01Paper
https://portal.mardi4nfdi.de/entity/Q43124561995-04-20Paper
A direct method for simulating partial recursive functions by Diophantine equations1994-09-01Paper
https://portal.mardi4nfdi.de/entity/Q42867561994-04-10Paper
My collaboration with Julia Robinson1993-05-16Paper
https://portal.mardi4nfdi.de/entity/Q39924651993-01-23Paper
Standardization of microcomputer software using virtual-machine design1992-06-25Paper
Diophantine complexity1991-01-01Paper
https://portal.mardi4nfdi.de/entity/Q34747301990-01-01Paper
Nikolai Aleksandrovich Shanin (on his seventieth birthday)1990-01-01Paper
A relationship between certain sums over trivial and nontrivial zeros of the Riemann zeta-function1989-01-01Paper
https://portal.mardi4nfdi.de/entity/Q38138701989-01-01Paper
https://portal.mardi4nfdi.de/entity/Q38354501988-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37755391987-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37971531987-01-01Paper
On investigations on some algorithmic problems in algebra and number theory1986-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37162051986-01-01Paper
A New Formula for &#9601986-01-01Paper
An analytic representation for the sum of reciprocals of the nontrivial zeros of the Riemann zeta-function1985-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37031941985-01-01Paper
https://portal.mardi4nfdi.de/entity/Q33286191984-01-01Paper
https://portal.mardi4nfdi.de/entity/Q33442751984-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37288851984-01-01Paper
Yet another machine experiment in support of Riemann's conjecture1982-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37080031982-01-01Paper
Primes are nonnegative values of a polynomial in 10 variables1981-01-01Paper
A class of primality criteria formulated in terms of the divisibility of binomial coefficients1981-01-01Paper
A new proof of the theorem on exponential diophantine representation of enumerable sets1980-01-01Paper
https://portal.mardi4nfdi.de/entity/Q38597641980-01-01Paper
NIKOLAI ALEKSANDROVICH SHANIN (on his sixtieth birthday)1980-01-01Paper
https://portal.mardi4nfdi.de/entity/Q38598491979-01-01Paper
Metamathematical approach to proving theorems of discrete mathematics1978-01-01Paper
A proof-scheme in discrete mathematics1977-01-01Paper
Existence of noneffectivizable estimates in the theory of exponential Diophantine equations1977-01-01Paper
https://portal.mardi4nfdi.de/entity/Q38742291977-01-01Paper
https://portal.mardi4nfdi.de/entity/Q41263941977-01-01Paper
https://portal.mardi4nfdi.de/entity/Q41295361977-01-01Paper
https://portal.mardi4nfdi.de/entity/Q41567441977-01-01Paper
Arithmetical representations of enumerable sets with a small number of quantifiers1976-01-01Paper
https://portal.mardi4nfdi.de/entity/Q41151421976-01-01Paper
https://portal.mardi4nfdi.de/entity/Q41151431976-01-01Paper
https://portal.mardi4nfdi.de/entity/Q40898031975-01-01Paper
Reduction of an arbitrary diophantine equation to one in 13 unknowns1975-01-01Paper
https://portal.mardi4nfdi.de/entity/Q40521551974-01-01Paper
https://portal.mardi4nfdi.de/entity/Q40919141974-01-01Paper
https://portal.mardi4nfdi.de/entity/Q41317061974-01-01Paper
https://portal.mardi4nfdi.de/entity/Q41339631974-01-01Paper
A sufficient condition for the convergence of monotone sequences1973-01-01Paper
Real-time recognition of the inclusion relation1973-01-01Paper
The application of the methods of the theory of logical derivation to graph theory1973-01-01Paper
https://portal.mardi4nfdi.de/entity/Q41248281973-01-01Paper
https://portal.mardi4nfdi.de/entity/Q56595621972-01-01Paper
DIOPHANTINE REPRESENTATION OF ENUMERABLE PREDICATES1972-01-01Paper
DIOPHANTINE SETS1972-01-01Paper
https://portal.mardi4nfdi.de/entity/Q56221401971-01-01Paper
https://portal.mardi4nfdi.de/entity/Q56236801971-01-01Paper
https://portal.mardi4nfdi.de/entity/Q56266191971-01-01Paper
https://portal.mardi4nfdi.de/entity/Q56266391971-01-01Paper
https://portal.mardi4nfdi.de/entity/Q56267501971-01-01Paper
https://portal.mardi4nfdi.de/entity/Q56281161971-01-01Paper
https://portal.mardi4nfdi.de/entity/Q56355961971-01-01Paper
https://portal.mardi4nfdi.de/entity/Q56439741971-01-01Paper
https://portal.mardi4nfdi.de/entity/Q56139491970-01-01Paper
https://portal.mardi4nfdi.de/entity/Q56281151970-01-01Paper
https://portal.mardi4nfdi.de/entity/Q56139471968-01-01Paper
https://portal.mardi4nfdi.de/entity/Q56139481968-01-01Paper
https://portal.mardi4nfdi.de/entity/Q56440391968-01-01Paper
https://portal.mardi4nfdi.de/entity/Q55830661967-01-01Paper
https://portal.mardi4nfdi.de/entity/Q55886531967-01-01Paper

Research outcomes over time


Doctoral students

No records found.


Known relations from the MaRDI Knowledge Graph

PropertyValue
MaRDI profile typeMaRDI person profile
instance ofhuman


This page was built for person: Yu. V. Matiyasevich