Another view of the Gaussian algorithm

Ali Akhavi, Céline Moreira

We introduce here a rewrite system in the group of unimodular matrices, \emph{i.e.}, matrices with integer entries and with determinant equal to $\pm 1$. We use this rewrite system…