Search filters

List of works by Yuri Matiyasevich

Continuous crop circles drawn by Riemann's zeta function

scientific article published in 2021

Definability and decidability issues in extensions of the integers with the divisibility predicate

Elimination of quantifiers from arithmetical formulas defining recursively enumerable sets

article

Existential arithmetization of Diophantine equations

Multiple serial episodes matching

On post correspondence problem for letter monotonic languages

scientific article published in August 2009

Solving word equations modulo partial commutations

Some probabilistic restatements of the Four Color Conjecture

article by Yuri Matiyasevich published 2 April 2004 in Journal of Graph Theory

Tree inclusion problems

What Divisibility Properties Do Generalized Harmonic Numbers Have?

Paulina is supported by:

About Paulina

Help