A proof that the three-dimensional Gauss algorithm is strongly convergent almost everywhere is given. This algorithm is equivalent to Brun's algorithm and to the modified Jacobi-Perron algorithm considered by Podsypanin and Schweiger. The proof involves the rigorous computer assisted estimation of the largest Lyapunov exponent of a cocycle associated to the algorithm. To the best of my knowledge, this is the first proof of almost everywhere strong convergence of a Jacobi-Perron type algorithm in dimension greater than two.
"The Three-Dimensional Gauss Algorithm is Strongly Convergent Almost Everywhere." Experiment. Math. 11 (1) 131 - 141, 2002.