Gauss-Jordan Elimination for Matrices Represented as Functions

Tobias Nipkow 🌐

August 19, 2011

This is a development version of this entry. It might change over time and is not stable. Please refer to release versions for citations.


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


Session Gauss-Jordan-Elim-Fun

Used by