[isabelle] New AFP entry: Gauss-Jordan Elimination for Matrices Represented as Functions



Gauss-Jordan Elimination for Matrices Represented as Functions
Tobias Nipkow

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.

http://afp.sourceforge.net/entries/Gauss-Jordan-Elim-Fun.shtml





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.