Gauss-Jordan Elimination for Matrices Represented as Functions

From MaRDI portal


MaRDI QIDQ7361848FDO


Authors Tobias Nipkow

Publication date 19 August 2011






Cited in
(1)


This page was built for software: Gauss-Jordan Elimination for Matrices Represented as Functions

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Gauss-Jordan_Elimination_for_Matrices_Represented_as_Functions&oldid=105369803"
Powered by MediaWiki