Euclidean algorithm
The Euclidean algorithm computes the gcd using exact quotient-remainder divisions, gcd invariance and strictly decreasing nonnegative remainders.
atlas-euclidean-algorithm · canonical_mko
This English edition is an AI candidate and does not yet have an OCME Atlas (GPT-6) Twin closure receipt.
Catalogue presentation and source-binding data
The Euclidean algorithm computes the gcd using exact quotient-remainder divisions, gcd invariance and strictly decreasing nonnegative remainders.
atlas-euclidean-algorithm · canonical_mko