The Decision Problem for Exponential Diophantine Equations
Citations
927Â citations
649Â citations
Cites background or methods from "The Decision Problem for Exponentia..."
...To give the reader a sense of the generality of nonlinear equation solving, we .rst explain, in very simpli.ed form, the connection of quadratic systems to the Halting Problem established in the seminal works [Davis et al. 1961; Matijasevi. c 1970]....
[...]
...he reader a sense of the generality of nonlinear equation solving, we rst explain, in very simplied form, the connection of quadratic systems to the Halting Problem established in the seminal works [Davis et al. 1961; Matijasevic 1970]. Collectively, these papers resolve (in the negative) Hilbert’s 10th Problem [Hilbert 1902]: Is there a nite procedure to decide the solvability of general polynomial equations ov...
[...]
402Â citations
321Â citations
265Â citations