Gauss-Jordan Elimination for Matrices Represented as Functions

Tobias Nipkow

19 August 2011

Abstract

This theory provides a compact formulation of Gauss-Jordan elimination for matrices represented as functions. Its distinctive feature is succinctness. It is not meant for large computations.
BSD License

Used by

Topics

Theories