最大公约数的多种算法

本文总结了四大类计算最大公约数的方法。与其他类似的文章不同，本文给出了最大公约数的格式严格的数学定义，对两种主要算法（欧几里德算法和Steh算法）的正确性给出了形式化的数学证明：同时，对每种算法作者还以标准C语言给出了可移植的实现。