Abstract
We specify the Gauß elimination algorithm algebraically, in a format described in our earlier report [RH]. The specification is to be considered as a term rewriting system: as such, it is complete,
modulo substitution of a complete term rewriting system in its parametrizede module NUMBERS.
