Formalisation of the computation of the echelon form of a matrix in Isabelle/HOL (Q333325): Difference between revisions

@@ Property / describes a project that uses @@
+Lifting
@@ Property / describes a project that uses: Lifting / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Transfer
@@ Property / describes a project that uses: Transfer / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ACL2
@@ Property / describes a project that uses: ACL2 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Isabelle
@@ Property / describes a project that uses: Isabelle / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Archive Formal Proofs
@@ Property / describes a project that uses: Archive Formal Proofs / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Isabelle/HOL
@@ Property / describes a project that uses: Isabelle/HOL / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Poly/ML
@@ Property / describes a project that uses: Poly/ML / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+kepler98
@@ Property / describes a project that uses: kepler98 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Cayley-Hamilton
@@ Property / describes a project that uses: Cayley-Hamilton / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Gauss-Jordan
@@ Property / describes a project that uses: Gauss-Jordan / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+QR Decomposition
@@ Property / describes a project that uses: QR Decomposition / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Jordan Normal Forms
@@ Property / describes a project that uses: Jordan Normal Forms / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s00165-016-0383-1
+Normal rank
@@ Property / OpenAlex ID @@
+W2471798638
@@ Property / OpenAlex ID: W2471798638 / rank @@
+Normal rank