Inventory rows F2
The cards of the rows of the inventory whose ids start with F2. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
rhumb line F22CPV2999
| URI | m2://inv/F22CPV2999 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q215169, rhumb line (unknown). Also MathWorld Loxodrome
History
- 2026-10-26: add by m2/dev
vinculum F24Z1RK11N
| URI | m2://inv/F24Z1RK11N |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a notation: the notation register holds it (corpus spec K10.4)) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2917134, vinculum (unknown). Also MathWorld Vinculum, ProofWiki Symbols:Brackets/Vinculum
History
- 2026-10-26: add by m2/dev
Segal category F289G7GGJ9
| URI | m2://inv/F289G7GGJ9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7446188, Segal category (unknown). Also nLab Segal category
History
- 2026-10-26: add by m2/dev
Cauchy-Davenport theorem F29V1SBD85
| URI | m2://inv/F29V1SBD85 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Combinatorics > Additive combinatorics > Cauchy-Davenport theorem, Cauchy-Davenport theorem (unknown). Also Mathlib ZMod.cauchy_davenport
History
- 2026-10-26: add by m2/dev
Alexander Vilenkin F2CV3BKZA2
| URI | m2://inv/F2CV3BKZA2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1399445, Alexander Vilenkin (unknown). Also nLab Alexander Vilenkin
History
- 2026-10-26: add by m2/dev
Lagrangian Grassmannian F2D2VN6N1N
| URI | m2://inv/F2D2VN6N1N |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3150398, Lagrangian Grassmannian (unknown). Also nLab Lagrangian Grassmannian
History
- 2026-10-26: add by m2/dev
square-free integer F2EAN3B8SV
| URI | m2://inv/F2EAN3B8SV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | Square-free integer 08X0VCR2NW |
Mentions
- wikidata: Wikidata Q50706, square-free integer (definition). Also MathWorld Squarefree, OEIS A005117, ProofWiki Definition:Square-Free_Integer
History
- 2026-10-26: add by m2/dev
p-adic absolute value F2FQG9SG5M
| URI | m2://inv/F2FQG9SG5M |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q18470053, p-adic absolute value (unknown). Also MathWorld p-adicNorm
History
- 2026-10-26: add by m2/dev
Dupin cyclide F2HTT5PDTT
| URI | m2://inv/F2HTT5PDTT |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4907706, Dupin cyclide (concept). Also MathWorld Cyclide
History
- 2026-10-26: add by m2/dev
matrix representation F2HWK7GAK1
| URI | m2://inv/F2HWK7GAK1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Linear algebra > Bilinear and quadratic forms > matrix representation, matrix representation (unknown). Also Mathlib LinearMap.BilinForm.toMatrix
- mathlib_undergrad: mathlib_undergrad Bilinear and Quadratic Forms Over a Vector Space > Bilinear forms > matrix representation, matrix representation (unknown). Also Mathlib LinearMap.BilinForm.toMatrix
History
- 2026-10-26: add by m2/dev
Γ F2R46HDT5G
| URI | m2://inv/F2R46HDT5G |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a notation: the notation register holds it (corpus spec K10.4)) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q14387, Γ (unknown). Also ProofWiki Symbols:Greek/Gamma
History
- 2026-10-26: add by m2/dev
Étienne Pascal F2VQZ90KCZ
| URI | m2://inv/F2VQZ90KCZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2140187, Étienne Pascal (unknown). Also ProofWiki Mathematician:Étienne_Pascal
History
- 2026-10-26: add by m2/dev
complete graph F2W25AJ93X
| URI | m2://inv/F2W25AJ93X |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | Complete graph 03WKB2H474 |
Mentions
- wikidata: Wikidata Q45715, complete graph (unknown). Also EoM Complete_graph, Mathlib SimpleGraph.completeGraph, MathWorld CompleteGraph
History
- 2026-10-26: add by m2/dev
F2WGZ8XE23 F2WGZ8XE23
| URI | m2://inv/F2WGZ8XE23 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q134661 (unknown). Also EoM Boole,_George, nLab George Boole, ProofWiki Mathematician:George_Boole
History
- 2026-10-26: add by m2/dev
Kodaira vanishing theorem F2XCJMXY07
| URI | m2://inv/F2XCJMXY07 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 32-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q2518048, Kodaira vanishing theorem (statement). Also Wikidata Q2518048
- thousand_plus: thousand_plus Q2518048, Kodaira vanishing theorem (statement). Also Wikidata Q2518048, Wikipedia Kodaira vanishing theorem
- wikidata: Wikidata Q2518048, Kodaira vanishing theorem (statement). Also nLab Kodaira vanishing theorem
History
- 2026-10-26: add by m2/dev