The following pages link to Yu. V. Matiyasevich (Q741170):
Displaying 50 items.
- (Q234706) (redirect page) (← links)
- A parallel algorithm for calculation of determinants and minors using arbitrary precision arithmetic (Q285264) (← links)
- (Q393228) (redirect page) (← links)
- Towards finite-fold Diophantine representations (Q393229) (← links)
- Preface to the special issue dedicated to Nikolai Alexandrovich Shanin on the occasion of his 90th birthday (Q638481) (← links)
- Alternatives to the Euler-Maclaurin formula for calculating infinite sums (Q650311) (← links)
- What can and cannot be done with Diophantine problems (Q741171) (← links)
- Multiple serial episodes matching (Q844201) (← links)
- Existential arithmetization of Diophantine equations (Q1006616) (← links)
- An analytic representation for the sum of reciprocals of the nontrivial zeros of the Riemann zeta-function (Q1070270) (← links)
- Primes are nonnegative values of a polynomial in 10 variables (Q1145721) (← links)
- A new proof of the theorem on exponential diophantine representation of enumerable sets (Q1147132) (← links)
- A class of primality criteria formulated in terms of the divisibility of binomial coefficients (Q1148934) (← links)
- Standardization of microcomputer software using virtual-machine design (Q1173937) (← links)
- My collaboration with Julia Robinson (Q1208619) (← links)
- Arithmetical representations of enumerable sets with a small number of quantifiers (Q1245954) (← links)
- Metamathematical approach to proving theorems of discrete mathematics (Q1255328) (← links)
- A proof-scheme in discrete mathematics (Q1256323) (← links)
- Existence of noneffectivizable estimates in the theory of exponential Diophantine equations (Q1256452) (← links)
- A direct method for simulating partial recursive functions by Diophantine equations (Q1326783) (← links)
- Computer evaluation of generalized Chebyshev polynomials (Q1389348) (← links)
- Biography of A. O. Slissenko (Q1401345) (← links)
- A few factors from the Euler product are sufficient for calculating the zeta function with high precision (Q1661316) (← links)
- Calculation of Belyi functions for trees with weighted edges (Q1687948) (← links)
- Anatolii Vladimirovich Yakovlev (on the occasion of his 70th birthday) (Q1759458) (← links)
- Decision problems for semi-Thue systems with a few rules (Q1763707) (← links)
- Some algebraic methods for calculating the number of colorings of a graph (Q1781373) (← links)
- A new technique for obtaining diophantine representations via elimination of bounded universal quantifiers (Q1807463) (← links)
- On investigations on some algorithmic problems in algebra and number theory (Q1820152) (← links)
- A relationship between certain sums over trivial and nontrivial zeros of the Riemann zeta-function (Q1824656) (← links)
- Elimination of quantifiers from arithmetical formulas defining recursively enumerable sets (Q1887829) (← links)
- Solving word equations modulo partial commutations (Q1960424) (← links)
- Continuous crop circles drawn by Riemann's zeta function (Q1981593) (← links)
- On Post correspondence problem for letter monotonic languages (Q2271434) (← links)
- Diophantine complexity (Q2276953) (← links)
- The Riemann hypothesis in computer science (Q2286749) (← links)
- Plausible ways for calculating the Riemann zeta function via the Riemann-Siegel theta function (Q2329283) (← links)
- Yet another representation for reciprocals of the nontrivial zeros of the Riemann zeta function (Q2352598) (← links)
- Four color theorem from three points of view (Q2359549) (← links)
- Riemann's hypothesis in terms of the eigenvalues of special Hankel matrices (Q2399706) (← links)
- A sufficient condition for the convergence of monotone sequences (Q2557252) (← links)
- Real-time recognition of the inclusion relation (Q2557695) (← links)
- The application of the methods of the theory of logical derivation to graph theory (Q2558225) (← links)
- (Q2715528) (← links)
- Riemann’s zeta function and finite Dirichlet series (Q2822787) (← links)
- Nikolai Aleksandrovich Shanin (obituary) (Q2868459) (← links)
- Horizontal monotonicity of the modulus of the zeta function, L-functions, and related functions (Q2928543) (← links)
- Computational Aspects of Hamburger’s Theorem (Q3296315) (← links)
- Martin Davis and Hilbert’s Tenth Problem (Q3305315) (← links)
- Vladimir Petrovich Platonov (Q3305707) (← links)
