Generating the Greatest Common Divisor, and Limitations of Primitive Recursive Algorithms

Lou van den Dries. Generating the Greatest Common Divisor, and Limitations of Primitive Recursive Algorithms. Foundations of Computational Mathematics, 3(3):297-324, 2003. [doi]

Abstract

Abstract is missing.