Yuri V. Matiyasevich

46 papers A* 4A 1C 1Misc 3Journal 31Unranked 5
YearRankTypeTitle / Venue / Authors
2025 J jnl
Diophantine Equations over ℤ: Universal Bounds and Parallel Formalization.
CoRR
Jonas Bayer, Marco David, Malte Hassler, Yuri V. Matiyasevich, Dierk Schleicher
2025 J jnl
Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy.
CoRR
Liesbeth De Mol, Yuri V. Matiyasevich, Eugenio G. Omodeo, Alberto Policriti, Wilfried Sieg, Elaine J. Weyuker
2024 J jnl
Towards non-iterative calculation of the zeros of the Riemann zeta function.
Inf. Comput.
Yuri V. Matiyasevich
2022 J jnl
Diophantine Equations and the DPRM Theorem.
Arch. Formal Proofs
Jonas Bayer, Marco David, Benedikt Stock, Abhik Pal, Yuri V. Matiyasevich, Dierk Schleicher
2022 J jnl
Mathematical Proof Between Generations.
CoRR
Jonas Bayer, Christoph Benzmüller, Kevin Buzzard, Marco David, Leslie Lamport, Yuri V. Matiyasevich, Lawrence C. Paulson, Dierk Schleicher, Benedikt Stock, Efim I. Zelmanov
2022 — conf
On Some Algebraic Ways to Calculate Zeros of the Riemann Zeta Function.
CAI
Yuri V. Matiyasevich
2018 J jnl
Computational Rediscovery of Ramanujan's Tau Numbers.
Integers
Yuri V. Matiyasevich
2018 J jnl
Perface.
Fundam. Informaticae
Vesa Halava, Juhani Karhumäki, Yuri V. Matiyasevich, Mikhail V. Volkov
2017 J jnl
Small Semi-Thue System Universal with Respect to the Termination Problem.
Fundam. Informaticae
Vesa Halava, Yuri V. Matiyasevich, Reino Niskanen
2016 — ch.
Martin Davis and Hilbert's Tenth Problem.
Martin Davis on Computability, Computational Logic, and Mathematical Foundations
Yuri V. Matiyasevich
2016 J jnl
Preface.
Fundam. Informaticae
Juhani Karhumäki, Vladimir V. Mazalov, Yuri V. Matiyasevich
2015 J jnl
Approximation of Riemann's Zeta Function by Finite Dirichlet Series: A Multiprecision Numerical Approach.
Exp. Math.
Gleb Beliakov, Yuri V. Matiyasevich
2014 J jnl
Preface.
Fundam. Informaticae
Vesa Halava, Juhani Karhumäki, Yuri V. Matiyasevich
2013 J jnl
A Parallel Algorithm for Calculation of Large Determinants with High Accuracy for GPUs and MPI clusters.
CoRR
Gleb Beliakov, Yuri V. Matiyasevich
2012 A conf
Enlarging the Scope of Applicability of Successful Techniques for Automated Reasoning in Mathematics.
IJCAR
Yuri V. Matiyasevich
2010 J jnl
One More Probabilistic Reformulation of the Four Colour Conjecture.
Comb. Probab. Comput.
Yuri V. Matiyasevich
2010 J jnl
Preface.
Ann. Pure Appl. Log.
Sergei N. Artëmov, Yuri V. Matiyasevich, Grigori Mints, Anatol Slissenko
2009 J jnl
Existential arithmetization of Diophantine equations.
Ann. Pure Appl. Log.
Yuri V. Matiyasevich
2009 J jnl
On post correspondence problem for letter monotonic languages.
Theor. Comput. Sci.
Vesa Halava, Jarkko Kari, Yuri V. Matiyasevich
2008 J jnl
Tree inclusion problems.
RAIRO Theor. Informatics Appl.
Patrick Cégielski, Irène Guessarian, Yuri V. Matiyasevich
2006 J jnl
Multiple serial episode matching
CoRR
Patrick Cégielski, Irène Guessarian, Yuri V. Matiyasevich
2006 J jnl
Multiple serial episodes matching.
Inf. Process. Lett.
Patrick Cégielski, Irène Guessarian, Yuri V. Matiyasevich
2006 J jnl
Preface.
Ann. Pure Appl. Log.
Yuri V. Matiyasevich, Sergei N. Artëmov
2006 Misc conf
Window Subsequence Problems for Compressed Texts.
CSR
Patrick Cégielski, Irène Guessarian, Yury Lifshits, Yuri V. Matiyasevich
2005 J jnl
Decision problems for semi-Thue systems with a few rules.
Theor. Comput. Sci.
Yuri V. Matiyasevich, Géraud Sénizergues
2005 C conf
Hilbert's Tenth Problem and Paradigms of Computation.
CiE
Yuri V. Matiyasevich
2004 J jnl
Elimination of quantifiers from arithmetical formulas defining recursively enumerable sets.
Math. Comput. Simul.
Yuri V. Matiyasevich
2004 J jnl
Some probabilistic restatements of the Four Color Conjecture.
J. Graph Theory
Yuri V. Matiyasevich
2003 J jnl
Biography of A.O. Slissenko.
Theor. Comput. Sci.
Danièle Beauquier, Dimitri Grigoriev, Yuri V. Matiyasevich
2001 J jnl
Preface.
Ann. Pure Appl. Log.
Yuri V. Matiyasevich
2001 J jnl
Some arithmetical restatements of the Four Color Conjecture.
Theor. Comput. Sci.
Yuri V. Matiyasevich
2001 J jnl
Window-accumulated subsequence matching problem is linear.
Ann. Pure Appl. Log.
Luc Boasson, Patrick Cégielski, Irène Guessarian, Yuri V. Matiyasevich
1999 J jnl
Solving Word Equations modulo Partial Commutations.
Theor. Comput. Sci.
Volker Diekert, Yuri V. Matiyasevich, Anca Muscholl
1999 A* conf
Window-Accumulated Subsequence Matching Problem is Linear.
PODS
Luc Boasson, Patrick Cégielski, Irène Guessarian, Yuri V. Matiyasevich
1998 — conf
Universal Polynomials.
MCU (1)
Yuri V. Matiyasevich
1997 A* conf
Solving Trace Equations Using Lexicographical Normal Forms.
ICALP
Volker Diekert, Yuri V. Matiyasevich, Anca Muscholl
1997 Misc conf
Some Decision Problems for Traces.
LFCS
Yuri V. Matiyasevich
1996 A* conf
Decision Problems for Semi-Thue Systems with a Few Rules.
LICS
Yuri V. Matiyasevich, Géraud Sénizergues
1996 J jnl
Definability and Decidability Issues in Extensions of the Integers with the Divisibility Predicate.
J. Symb. Log.
Patrick Cégielski, Yuri V. Matiyasevich, Denis Richard
1996 J jnl
Preface - Papers in honor of the Symposium on Logical Foundations of Computer Science "Logic at St. Petersburg".
Ann. Pure Appl. Log.
Yuri V. Matiyasevich, Anil Nerode
1996 A* conf
Simultaneous E-Unification and Related Algorithmic Problems.
LICS
Anatoli Degtyarev, Yuri V. Matiyasevich, Andrei Voronkov
1995 — conf
On Some Mathematical Logic Contributions to Rewriting Techniques: Lost Heritage (Abstract).
RTA
Yuri V. Matiyasevich
1994 J jnl
A Direct Method for Simulating Partial Recursive Functions by Diophantine Equations.
Ann. Pure Appl. Log.
Yuri V. Matiyasevich
1994 Misc ed.
Logical Foundations of Computer Science, Third International Symposium, LFCS'94, St. Petersburg, Russia, July 11-14, 1994, Proceedings
LFCS
Anil Nerode, Yuri V. Matiyasevich
1993 — conf
Interval Computations as Propagation of Constraints.
NATO ASI CP
Yuri V. Matiyasevich
1993 — conf
Word Problem for Thue Systems with a Few Relations.
Term Rewriting
Yuri V. Matiyasevich