Yuri V. Matiyasevich

Publication Activity (10 Years)

Years Active: 1993-2024
Publications (10 Years): 8

Top Topics

Approximation Methods

Mathematical Proofs

Top Venues

Fundam. Informaticae

Publications

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