DIOPHANTINE SETS

DOI10.1070/RM1972V027N05ABEH001386MaRDI QIDQ5686030zbMATH OpenOpenAlexFDO

Authors Yu. Matiyasevich

Publication date 1972

Published in Russian Mathematical Surveys (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1070/rm1972v027n05abeh001386

Mathematics Subject Classification ID

Applications of computability and recursion theory (03D80)

Cited in

(9)

• An asymptotic formula for \(\pi\)
• Some nonstationary linear and quasilinear systems occuring in the investigation of the motion of viscous fluids
• Existence of noneffectivizable estimates in the theory of exponential Diophantine equations
• Unification problem in equational theories
• A new technique for obtaining diophantine representations via elimination of bounded universal quantifiers
• Elimination of quantifiers from arithmetical formulas defining recursively enumerable sets
• Martin Davis and Hilbert's tenth problem
• scientific article; zbMATH DE number 7120872 (Why is no real title available?)
• Embedding of provably unsolvable problems into stream ciphers;Встраивание доказуемо неразрешимых задач в шифры гаммирования

This page was built for publication: DIOPHANTINE SETS

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5686030)