𝔖 Bobbio Scriptorium
✦   LIBER   ✦

On the equivalence between Berlekamp's and Euclid's algorithms (Corresp.)

✍ Scribed by Dornstetter, J.


Book ID
114636649
Publisher
IEEE
Year
1987
Tongue
English
Weight
617 KB
Volume
33
Category
Article
ISSN
0018-9448

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


On Euclid’s algorithm and elementary num
✍ Roland Backhouse; JoΓ£o F. Ferreira πŸ“‚ Article πŸ“… 2011 πŸ› Elsevier Science 🌐 English βš– 397 KB

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