Gauss Jordan Elimination

MaRDI QIDQ40318swMATHFDO

Official website https://www.isa-afp.org/entries/Gauss-Jordan-Elim-Fun.html

Cited in

(3)

• A formalisation of the Myhill-Nerode theorem based on regular expressions
• Rank Nullity
• Formalization and execution of linear algebra: from theorems to algorithms

This page was built for software: Gauss Jordan Elimination