Existence of a Limiting Distribution for the Binary GCD Algorithm

Gerard Maze

In this article, we prove the existence and uniqueness of a certain distribution function on the unit interval. This distribution appears in Brent's model of the analysis of the bi…