Pages that link to "Item:Q1795565"
From MaRDI portal
The following pages link to The Matiyasevich theorem. Preliminaries (Q1795565):
Displaying 8 items.
- Diophantine sets. Preliminaries (Q1796771) (← links)
- Prime representing polynomial (Q2171524) (← links)
- Basic Diophantine relations (Q2311525) (← links)
- Formalization of the MRDP theorem in the Mizar system (Q2337340) (← links)
- Hilbert's Tenth Problem in Coq (Q5089029) (← links)
- On the Relationship Between Matiyasevich's and Smorynski's Theorems (Q5089608) (← links)
- (Q5094119) (← links)
- Prime representing polynomial with 10 unknowns -- introduction. II (Q6557224) (← links)