Q5875423 (Q5875423): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
ReferenceBot (talk | contribs) Changed an Item |
||
| Property / cites work | |||
| Property / cites work: Formalization and Execution of Linear Algebra: From Theorems to Algorithms / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: A corrected quantitative version of the Morse lemma / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q3178604 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: A FORMAL PROOF OF THE KEPLER CONJECTURE / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: The HOL Light theory of Euclidean space / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Type classes for mathematics in type theory / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Algebraic combinatorial geometry: the polynomial method in arithmetic combinatorics, incidence combinatorics, and number theory / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Homotopy type theory in Lean / rank | |||
Normal rank | |||
Latest revision as of 11:48, 31 July 2024
scientific article; zbMATH DE number 7649964
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 7649964 |
Statements
3 February 2023
0 references
formal proof
0 references
combinatorics
0 references
cap set problem
0 references
lean
0 references
