Gauss-Jordan
From MaRDI portal
Software:40278
No author found.
Related Items (4)
A formalisation in HOL of the fundamental theorem of linear algebra and its application to the solution of the least squares problem ⋮ Formalization and Execution of Linear Algebra: From Theorems to Algorithms ⋮ Formalisation of the computation of the echelon form of a matrix in Isabelle/HOL ⋮ Formalisation in higher-order logic and code generation to functional languages of the Gauss-Jordan algorithm
This page was built for software: Gauss-Jordan
