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

@@ Property / cites work @@
+Formalization and Execution of Linear Algebra: From Theorems to Algorithms
+Normal rank
@@ Property / cites work @@
+Formalisation in higher-order logic and code generation to functional languages of the Gauss-Jordan algorithm
+Normal rank
@@ Property / cites work @@
+Q4827633
@@ Property / cites work: Q4827633 / rank @@
+Normal rank
@@ Property / cites work @@
+Fast parallel matrix and GCD computations
@@ Property / cites work: Fast parallel matrix and GCD computations / rank @@
+Normal rank
@@ Property / cites work @@
+Q4831098
@@ Property / cites work: Q4831098 / rank @@
+Normal rank
@@ Property / cites work @@
+Formalized linear algebra over Elementary Divisor Rings in Coq
+Normal rank
@@ Property / cites work @@
+Refinements for Free!
@@ Property / cites work: Refinements for Free! / rank @@
+Normal rank
@@ Property / cites work @@
+A Refinement-Based Approach to Computational Algebra in Coq
+Normal rank
@@ Property / cites work @@
+Q4513600
@@ Property / cites work: Q4513600 / rank @@
+Normal rank
@@ Property / cites work @@
+Commutative algebra in the Mizar system
@@ Property / cites work: Commutative algebra in the Mizar system / rank @@
+Normal rank
@@ Property / cites work @@
+The HOL Light theory of Euclidean space
@@ Property / cites work: The HOL Light theory of Euclidean space / rank @@
+Normal rank
@@ Property / cites work @@
+Lifting and Transfer: A Modular Design for Quotients in Isabelle/HOL
+Normal rank
@@ Property / cites work @@
+Q4771385
@@ Property / cites work: Q4771385 / rank @@
+Normal rank
@@ Property / cites work @@
+Animating the Formalised Semantics of a Java-Like Language
+Normal rank
@@ Property / cites work @@
+Q4517538
@@ Property / cites work: Q4517538 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3224016
@@ Property / cites work: Q3224016 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5668937
@@ Property / cites work: Q5668937 / rank @@
+Normal rank
@@ Property / cites work @@
+Formally-verified decision procedures for univariate polynomial computation based on Sturm's and Tarski's theorems
+Normal rank
@@ Property / cites work @@
+Computation of approximate polynomial GCDs and an extension
+Normal rank
@@ Property / cites work @@
+Q5195247
@@ Property / cites work: Q5195247 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5847989
@@ Property / cites work: Q5847989 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5743906
@@ Property / cites work: Q5743906 / rank @@
+Normal rank