Gauss Jordan Elimination

swMATH28604MaRDI QIDQ40318FDOQ40318

Author name not available (Why is that?)

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