Gauss Jordan Elimination

swMATH28604MaRDI QIDQ40318FDOQ40318

Author name not available (Why is that?)

Cited In (2)

• A formalisation of the Myhill-Nerode theorem based on regular expressions
• Formalization and Execution of Linear Algebra: From Theorems to Algorithms

This page was built for software: Gauss Jordan Elimination