On Euclid’s algorithm and elementary number theory

Algorithms can be used to prove and to discover new theorems. This paper shows how algorithmic skills in general, and the notion of invariance in particular, can be used to derive many results from Euclid’s algorithm. We illustrate how to use the algorithm as a verification interface (i.e., how to v...

Full description

Bibliographic Details
Main Authors: Backhouse, Roland, Ferreira, João F.
Format: Article
Published: Elsevier B.V. 2011
Subjects:
Online Access:https://eprints.nottingham.ac.uk/1856/