Pages that link to "Item:Q4404870"
From MaRDI portal
The following pages link to A proof of negative answer to Hilbert's $10$th problem (Q4404870):
Displayed 4 items.
- A new proof of the theorem on exponential diophantine representation of enumerable sets (Q1147132) (← links)
- A direct method for simulating partial recursive functions by Diophantine equations (Q1326783) (← links)
- A new technique for obtaining diophantine representations via elimination of bounded universal quantifiers (Q1807463) (← links)
- Register machine proof of the theorem on exponential diophantine representation of enumerable sets (Q3734384) (← links)