| Publication | Date of Publication | Type |
|---|
| Mathematical proof between generations | 2024-09-26 | Paper |
| Calculation of the values of the Riemann zeta function via values of its derivatives at a single point | 2024-02-01 | Paper |
| Gregory Samuilovich Tseytin (obituary) | 2024-01-25 | Paper |
| Towards non-iterative calculation of the zeros of the Riemann zeta function | 2024-01-18 | Paper |
| Asymptotic structure of eigenvalues and eigenvectors of certain triangular Hankel matrices | 2023-08-17 | Paper |
| The Riemann hypothesis as the parity of special binomial coefficients | 2023-08-17 | Paper |
| On some algebraic ways to calculate zeros of the Riemann zeta function | 2023-07-26 | Paper |
| Boris Abramovich Trakhtenbrot | 2022-05-09 | Paper |
| Viktor Abramovich Zalgaller | 2022-04-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5154966 | 2021-10-05 | Paper |
| Continuous crop circles drawn by Riemann's zeta function | 2021-09-06 | Paper |
| Asymptotic structure of eigenvalues and eigenvectors of certain triangular Hankel matrices | 2021-02-15 | Paper |
| Yurii Leonidovich Ershov (on his 80th birthday) | 2020-09-04 | Paper |
| Vladimir Petrovich Platonov (on his 80th birthday) | 2020-08-10 | Paper |
| Martin Davis and Hilbert's tenth problem | 2020-08-06 | Paper |
| Computational aspects of Hamburger's theorem | 2020-07-07 | Paper |
| Congruences for Apéry numbers \(\beta_n = \sum_{k = 0}^n \binom{n}{k}^2 \binom{n + k}{k}\) | 2020-05-27 | Paper |
| Гипотеза Римана как чётность биномиальных коэффициентов | 2020-05-13 | Paper |
| Vladimir Andreevich Uspensky (27/11/1930–27/6/2018) | 2020-03-11 | Paper |
| On Diophantine equations over $\mathbb Z[i]$ with $52$ unknowns | 2020-02-24 | Paper |
| The Riemann hypothesis in computer science | 2020-01-22 | Paper |
| Plausible ways for calculating the Riemann zeta function via the Riemann-Siegel theta function | 2019-10-17 | Paper |
| Computational rediscovery of Ramanujan's tau numbers | 2019-06-21 | Paper |
| A few factors from the Euler product are sufficient for calculating the zeta function with high precision | 2018-08-16 | Paper |
| Solving trace equations using lexicographical normal forms | 2018-07-04 | Paper |
| Small Semi-Thue System Universal with Respect to the Termination Problem | 2018-01-19 | Paper |
| Calculation of Belyi functions for trees with weighted edges | 2018-01-04 | Paper |
| Riemann's hypothesis in terms of the eigenvalues of special Hankel matrices | 2017-08-24 | Paper |
| Four color theorem from three points of view | 2017-06-22 | Paper |
| Riemann's zeta function and finite Dirichlet series | 2016-10-05 | Paper |
| A parallel algorithm for calculation of determinants and minors using arbitrary precision arithmetic | 2016-05-19 | Paper |
| Riemann's zeta function: more computations and conjectures | 2016-01-27 | Paper |
| Approximation of Riemann's zeta function by finite Dirichlet series: a multiprecision numerical approach | 2015-07-27 | Paper |
| Yet another representation for reciprocals of the nontrivial zeros of the Riemann zeta function | 2015-07-03 | Paper |
| Horizontal monotonicity of the modulus of the zeta function, \(L\)-functions, and related functions | 2014-11-07 | Paper |
| Yet another representation for the sum of reciprocals of the nontrivial zeros of the Riemann zeta-function | 2014-10-26 | Paper |
| What can and cannot be done with Diophantine problems | 2014-09-10 | Paper |
| Towards finite-fold Diophantine representations | 2014-01-16 | Paper |
| Obituary: Nikolai Aleksandrovich Shanin (1919--2011) | 2013-12-17 | Paper |
| One More Probabilistic Reformulation of the Four Colour Conjecture | 2013-03-13 | Paper |
| Anatolii Vladimirovich Yakovlev (on the occasion of his 70th birthday) | 2012-11-21 | Paper |
| Alternatives to the Euler-Maclaurin formula for calculating infinite sums | 2011-11-25 | Paper |
| Preface to the special issue dedicated to Nikolai Alexandrovich Shanin on the occasion of his 90th birthday | 2011-09-12 | Paper |
| Multiple serial episodes matching | 2010-01-18 | Paper |
| On Post correspondence problem for letter monotonic languages | 2009-08-07 | Paper |
| Existential arithmetization of Diophantine equations | 2009-03-25 | Paper |
| On a certain representation of the chromatic polynomial | 2009-03-06 | Paper |
| Tree inclusion problems | 2008-07-21 | Paper |
| Computation paradigms in light of Hilbert's tenth problem | 2008-04-29 | Paper |
| Two universal 3-quantifier representations of recursively enumerable sets | 2008-02-07 | Paper |
| A Criterion for Vertex Colorability of a Graph Stated in Terms of Edge Orientations | 2007-12-12 | Paper |
| Hidden Life of Riemann's Zeta Function 2. Electrons and Trains | 2007-09-03 | Paper |
| Hidden Life of Riemann's Zeta Function 1. Arrow, Bow, and Targets | 2007-07-13 | Paper |
| Window Subsequence Problems for Compressed Texts | 2007-05-02 | Paper |
| New Computational Paradigms | 2006-01-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5703373 | 2005-11-08 | Paper |
| Some algebraic methods for calculating the number of colorings of a graph | 2005-06-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4681893 | 2005-06-08 | Paper |
| Decision problems for semi-Thue systems with a few rules | 2005-02-22 | Paper |
| One Probabilistic Equivalent of the Four Color Conjecture | 2004-12-16 | Paper |
| Elimination of quantifiers from arithmetical formulas defining recursively enumerable sets | 2004-11-22 | Paper |
| Some probabilistic restatements of the Four Color Conjecture | 2004-08-04 | Paper |
| Nikolai Aleksandrovich Shanin (on his 80th birthday) | 2003-08-28 | Paper |
| Biography of A. O. Slissenko | 2003-08-17 | Paper |
| Window-accumulated subsequence matching problem is linear | 2002-11-27 | Paper |
| Some arithmetical restatements of the four color conjecture | 2001-08-20 | Paper |
| Hilbert's Tenth Problem: What was done and what is to be done | 2001-07-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4501636 | 2001-03-20 | Paper |
| Solving word equations modulo partial commutations | 2000-01-12 | Paper |
| A binomial representation of the 3x + 1 problem | 2000-01-06 | Paper |
| A new technique for obtaining diophantine representations via elimination of bounded universal quantifiers | 1999-11-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4263947 | 1999-09-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4209089 | 1998-11-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4376064 | 1998-09-22 | Paper |
| Computer evaluation of generalized Chebyshev polynomials | 1998-06-17 | Paper |
| Definability and decidability issues in extensions of the integers with the divisibility predicate | 1996-11-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4865960 | 1996-03-04 | Paper |
| Computation of generalized Chebyshev polynomials by computer | 1996-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4312456 | 1995-04-20 | Paper |
| A direct method for simulating partial recursive functions by Diophantine equations | 1994-09-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4286756 | 1994-04-10 | Paper |
| My collaboration with Julia Robinson | 1993-05-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3992465 | 1993-01-23 | Paper |
| Standardization of microcomputer software using virtual-machine design | 1992-06-25 | Paper |
| Diophantine complexity | 1991-01-01 | Paper |
| Nikolai Aleksandrovich Shanin (on his seventieth birthday) | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3474730 | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3813870 | 1989-01-01 | Paper |
| A relationship between certain sums over trivial and nontrivial zeros of the Riemann zeta-function | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3835450 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3775539 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3797153 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3716205 | 1986-01-01 | Paper |
| A New Formula for π | 1986-01-01 | Paper |
| On investigations on some algorithmic problems in algebra and number theory | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3703194 | 1985-01-01 | Paper |
| An analytic representation for the sum of reciprocals of the nontrivial zeros of the Riemann zeta-function | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3328619 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3728885 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3344275 | 1984-01-01 | Paper |
| Yet another machine experiment in support of Riemann's conjecture | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3708003 | 1982-01-01 | Paper |
| Primes are nonnegative values of a polynomial in 10 variables | 1981-01-01 | Paper |
| A class of primality criteria formulated in terms of the divisibility of binomial coefficients | 1981-01-01 | Paper |
| NIKOLAI ALEKSANDROVICH SHANIN (on his sixtieth birthday) | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3859764 | 1980-01-01 | Paper |
| A new proof of the theorem on exponential diophantine representation of enumerable sets | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3859849 | 1979-01-01 | Paper |
| Metamathematical approach to proving theorems of discrete mathematics | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4156744 | 1977-01-01 | Paper |
| Existence of noneffectivizable estimates in the theory of exponential Diophantine equations | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4126394 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4129536 | 1977-01-01 | Paper |
| A proof-scheme in discrete mathematics | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3874229 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4115142 | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4115143 | 1976-01-01 | Paper |
| Arithmetical representations of enumerable sets with a small number of quantifiers | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4089803 | 1975-01-01 | Paper |
| Reduction of an arbitrary diophantine equation to one in 13 unknowns | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4091914 | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4133963 | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4131706 | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4052155 | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4124828 | 1973-01-01 | Paper |
| Real-time recognition of the inclusion relation | 1973-01-01 | Paper |
| A sufficient condition for the convergence of monotone sequences | 1973-01-01 | Paper |
| The application of the methods of the theory of logical derivation to graph theory | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5659562 | 1972-01-01 | Paper |
| DIOPHANTINE REPRESENTATION OF ENUMERABLE PREDICATES | 1972-01-01 | Paper |
| DIOPHANTINE SETS | 1972-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5623680 | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5622140 | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5626619 | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5626639 | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5635596 | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5643974 | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5626750 | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5628116 | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5628115 | 1970-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5613949 | 1970-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5613948 | 1968-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5644039 | 1968-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5613947 | 1968-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5583066 | 1967-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5588653 | 1967-01-01 | Paper |
