scientific article; zbMATH DE number 3561327

MaRDI QIDQ4133963zbMATH OpenFDO

Authors Yu. Matiyasevich

Publication date 1974

Full work available at URL https://eudml.org/doc/66675

Mathematics Subject Classification ID

Applications of computability and recursion theory (03D80) Diophantine equations (11D99)

Cited in

(5)

• A new proof of the theorem on exponential diophantine representation of enumerable sets
• Diophantine representations of linear recurrences. I
• On the number of points of an incomplete lattice in rectangular regions
• On Diophantine singlefold specifications
• What can and cannot be done with Diophantine problems

This page was built for publication:

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