Gauss-Jordan Elimination for Matrices Represented as Functions

Tobias Nipkow 🌐

August 19, 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

Topics

Theories of Gauss-Jordan-Elim-Fun

Used by