Pages that link to "Item:Q1147132"
From MaRDI portal
The following pages link to A new proof of the theorem on exponential diophantine representation of enumerable sets (Q1147132):
Displaying 6 items.
- A normal form for arithmetical representation of \({\mathcal N}{\mathcal P}\)-sets (Q790804) (← links)
- The complexity of antidifferentiation (Q1178488) (← links)
- A direct method for simulating partial recursive functions by Diophantine equations (Q1326783) (← links)
- Martin Davis and Hilbert’s Tenth Problem (Q3305315) (← links)
- A Story of Hilbert’s Tenth Problem (Q3305317) (← links)
- How to Compute Antiderivatives (Q4858804) (← links)