Gauss-Jordan
From MaRDI portal
Software:40278
swMATH28564MaRDI QIDQ40278FDOQ40278
Author name not available (Why is that?)
Cited In (4)
- A formalisation in HOL of the fundamental theorem of linear algebra and its application to the solution of the least squares problem
- Formalisation in higher-order logic and code generation to functional languages of the Gauss-Jordan algorithm
- Formalization and execution of linear algebra: from theorems to algorithms
- Formalisation of the computation of the echelon form of a matrix in Isabelle/HOL
This page was built for software: Gauss-Jordan
