The following pages link to On a theorem of Matiyasevich (Q2210378):
Displaying 8 items.
- A polynomial encoding provability in pure mathematics (outline of an explicit construction) (Q351271) (← links)
- Diophantine equations and the generalized Riemann hypothesis (Q548056) (← links)
- On the Mathon plane (Q1375937) (← links)
- (Q4075519) (← links)
- On the Relationship Between Matiyasevich's and Smorynski's Theorems (Q5089608) (← links)
- (Q5702866) (← links)
- On a theorem of Yulmukhametov (Q5942059) (← links)
- The Riemann hypothesis as the parity of special binomial coefficients (Q6132479) (← links)