Q5875423 (Q5875423): Difference between revisions

@@ Property / describes a project that uses @@
+Archive Formal Proofs
@@ Property / describes a project that uses: Archive Formal Proofs / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Formalization and Execution of Linear Algebra: From Theorems to Algorithms
+Normal rank
@@ Property / cites work @@
+A corrected quantitative version of the Morse lemma
+Normal rank
@@ Property / cites work @@
+Q3178604
@@ Property / cites work: Q3178604 / rank @@
+Normal rank
@@ Property / cites work @@
+A FORMAL PROOF OF THE KEPLER CONJECTURE
@@ Property / cites work: A FORMAL PROOF OF THE KEPLER CONJECTURE / 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 @@
+Type classes for mathematics in type theory
@@ Property / cites work: Type classes for mathematics in type theory / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic combinatorial geometry: the polynomial method in arithmetic combinatorics, incidence combinatorics, and number theory
+Normal rank
@@ Property / cites work @@
+Homotopy type theory in Lean
@@ Property / cites work: Homotopy type theory in Lean / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5875423