On Euclid’s algorithm and elementary number theory

QR Code

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:	Number theory; Calculational method; Greatest common divisor; Euclid’s algorithm; Invariant; Eisenstein array; Eisenstein–Stern tree (aka Calkin–Wilf tree); Stern–Brocot tree; Algorithm derivation; Enumeration algorithm; Rational number
Online Access:	https://eprints.nottingham.ac.uk/1856/

Similar Items

The algorithmics of solitaire-like games
by: Backhouse, Roland, et al.
Published: (2012)

Optimizing tree planting areas through integer programming and improved genetic algorithm
by: Md Badarudin, Ismadi
Published: (2012)

On conjugate product of complex polynomials
by: Wu, A., et al.
Published: (2011)

Principles and applications of algorithmic problem solving
by: Ferreira, Joao Fernando Peixoto
Published: (2011)

A correspondence of modular forms and applications to values of L-series
by: Diamantis, Nikolaos, et al.
Published: (2015)

Energy Eigenequation Expansion for a Particle on Singly Punctured Two-Torus and Triply Punctured Two-Sphere Systems
by: Mohd Shah, Nurisya
Published: (2008)

Predicting the distribution of ancient and other noteworthy trees across the UK
by: Nolan, Victoria Jayne
Published: (2021)

Dynamic Memory Allocation for CMAC using Binary Search Trees
by: Scarfe, Peter, et al.
Published: (2007)

Tree model guided candidate generation for mining frequent subtrees from XML
by: Tan, Henry, et al.
Published: (2008)

Visual inspection of hazardous trees assessment methods in amenity forests of Peninsular Malaysia
by: Othman, Helmy Tariq
Published: (2017)

Model guided algorithm for mining unordered embedded subtrees
by: Hadzic, Fedja, et al.
Published: (2010)

Towards an automated approach for detecting P. ramorum in Welsh forests with hyperspectral imaging
by: Causon, Matthew
Published: (2024)

Arthropods on street trees: a food resource for wildlife
by: Bhuller, S., et al.
Published: (2000)

Studies on Germination and Seedling Growth of Neobalanocarpus Heimii (King) Ashton
by: Zainudin, Siti Rubiah
Published: (1990)

The Isolation Of Kojic Acid Producing Fungi And The Optimization Of Kojic Acid Production
by: Md Salleh, Madihah
Published: (1996)

Estimating the economic benefits of urban trees using contingent valuation method
by: Yeo, Sok Cheng
Published: (2012)

Provenance performance of Macaranga tanarius (L.) Mull. Arg. in Peninsular Malaysia
by: Koter, Rosdi
Published: (2019)

MB3-Miner: Efficient mining eMBedded subTREEs using tree model guided candidate generation
by: Chang, Elizabeth, et al.
Published: (2005)

Modified Miller-Rabin primality test algorithm to detect prime numbers for generating RSA keys
by: Shereek, Balkees Mohamed
Published: (2016)

Effects of Sewage Sludge on Tree Growth, Soil Properties and Groundwater Quality
by: Abdu, Arifin
Published: (2005)

A structure preserving flat data format representation for tree-structured data
by: Hadzic, Fedja
Published: (2012)

Potensi tanaman nangka (Artocarpus Heterophyllus) sebagai tanaman perladangan di Malaysia / Norman Hj Kasiran
by: Hj Kasiran, Norman
Published: (2005)

Development of a 4wd prime mover With front mounted sprayer unit for circle spraying of immature oil palms
by: El Pebrian, Darius, et al.
Published: (2008)

Condensed tannins from Leucaena leucocephala hybrid and its potential in the manipulation of methanogenesis
by: Tan, H. Y., et al.
Published: (2011)

Periodicity of Xylem Growth of Four Planted Tree Species from Malaysian Forest
by: Abdul Jalil, Nor Rahmat
Published: (1995)

Studies on Incompatibility Pollination and Floral Morphological Polymorphism of Carambola (Averrhoa Corambola L)
by: Fushimi, Nobuhiko
Published: (1998)

Response of Three Shade Tree Species to Grass and Woodchip Mulching
by: Tasan, John
Published: (2002)

The Identification of Criteria and Indicators to Evaluate Hazardous Street Trees: A Delphi Study.
by: Maruthaveeran, Sreetheran
Published: (2002)

Effect Of Light Level On Growth And Shoot Development Of Five Species Of Tropical Saplings.
by: Tong, Pei Sin
Published: (2006)

Effects of condensed tannins from Leucaena leucocephala (LAM.) de wit hybrid on methane mitigation, rumen fermentation, and populations of methanogens and protozoa in vitro
by: Tan, Hui Yin
Published: (2012)

Optimisation of a crossdocking distribution centre simulation model
by: Adewunmi, Adrian, et al.
Published: (2008)

Dynamics and aerodynamics of deciduous urban trees
by: Roodbaraky, Hilary Jane
Published: (1994)

Stand age model for mapping spatial distribution of rubber tree using remotely sensed data in Kedah, Malaysia
by: Shidiq, Iqbal Putut Ash, et al.
Published: (2016)

Numerical algorithm for the computation of compressible turbulent flows at arbitrary Mach number regimes
by: Ong, Kian Chuan
Published: (2017)

Reducing variance in a crossdocking simulation model using common random numbers and antithetic variates
by: Adewunmi, Adrian, et al.
Published: (2008)

Proportional-integral control optimization using imperialist competitive algorithm
by: Soheilirad, Mohammadsoroush
Published: (2012)

The effect of changing land use on the availability of potential nest trees for the endangered Muir’s corella (Cacatua pastinator pastinator): a case study of the establishment of commercial Tasmanian Blue Gum plantations in Western Australia
by: Mawson, P., et al.
Published: (2015)

Restricted spanning trees and graph partitioning.
by: Lam, Bee K.
Published: (1999)

A tree-based measure for hierarchical data in mixed databases
by: Hassan, Diman
Published: (2016)

Motif bunga dalam kehidupan masyarakat / Noor Hafizah Ismail
by: Ismail, Noor Hafizah
Published: (2014)