Email Gateway (Aug 18 2022 at 18:13): Email Gateway (Aug 18 2022 at 18:13):From: Tobias Nipkow <nipkow@in.tum.de>
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
Last updated: Apr 25 2024 at 16:19 UTC