Skip to main content
Article thumbnail
Location of Repository

Gauß eliminition a term rewriting system

By P.H. Rodenburg and D.J. Hoekzema


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,\ud modulo substitution of a complete term rewriting system in its parametrizede module NUMBERS

Topics: Wijsbegeerte
Year: 1988
OAI identifier:
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • (external link)
  • Suggested articles

    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.