Gauss Jordan Elimination

MaRDI QIDQ40318swMATHFDO

Authors Tobias Nipkow

Publication date 19 August 2011

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
• Formalization and execution of linear algebra: from theorems to algorithms
• Rank Nullity

This page was built for software: Gauss Jordan Elimination