Una variante del algoritmo de Euclides que, dadas dos enteras a y b, calcula su máximo común divisor g y también devuelve enteros x e y tales que ax + by = g (coeficientes de Bézout).
Algoritmo que calcula el máximo común divisor (mcd) de dos enteros y, simultáneamente, coeficientes enteros u y v tales que u·a + v·b = mcd(a,b). Es el algoritmo de Euclides ampliado para devolver los coeficientes de Bézout.