Journal ArticleDOI
The Decision Problem for Exponential Diophantine Equations
Reads0
Chats0
About:
This article is published in Journal of Symbolic Logic.The article was published on 1970-03-01. It has received 247 citations till now. The article focuses on the topics: Diophantine equation & Diophantine set.read more
Citations
More filters
Journal ArticleDOI
A light-weight integration of automated and interactive theorem proving
Karim Kanso,Anton Setzer +1 more
TL;DR: This paper demonstrates how to formulate safety directly and show using interactive theorem proving that signalling principles imply safety, and a proof by an automated theorem prover that the signalling principles hold for a concrete system implies the overall safety.
Journal ArticleDOI
A binomial representation of the 3x + 1 problem
Journal ArticleDOI
Diophantine representations of the sequence of solutions of the Pell equation
Book ChapterDOI
Hilbert's tenth problem and paradigms of computation
TL;DR: This is a survey of a century long history of interplay between Hilbert's tenth problem (about solvability of Diophantine equations) and different notions and ideas from the Computability Theory.