Skip to main content
Article thumbnail
Location of Repository

Gauß eliminition a term rewriting system

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

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

Topics: Wijsbegeerte
Year: 1988
OAI identifier: oai:dspace.library.uu.nl:1874/26306
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://dspace.library.uu.nl:80... (external link)
  • Suggested articles


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