Inventory rows B0
The cards of the rows of the inventory whose ids start with B0. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
double category B03WASTEND
| URI | m2://inv/B03WASTEND |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q99613675, double category (unknown). Also nLab double category
History
- 2026-10-26: add by m2/dev
smooth or analytic manifold (with boundary and corners) B04P6SYJJK
| URI | m2://inv/B04P6SYJJK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Geometry > Differentiable manifolds > smooth or analytic manifold (with boundary and corners), smooth or analytic manifold (with boundary and corners) (unknown). Also Mathlib IsManifold
History
- 2026-10-26: add by m2/dev
cellular homology B070NRQC3R
| URI | m2://inv/B070NRQC3R |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3139849, cellular homology (unknown). Also nLab cellular homology
History
- 2026-10-26: add by m2/dev
Fermat's theorem on sums of two squares B09NBFQBSH
| URI | m2://inv/B09NBFQBSH |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 11-XX |
| Sources | 5 |
| Outcome | open |
| Node | Fermat's theorem on sums of two squares 043B3ENSTY |
Mentions
- mathlib_100: mathlib_100 20, All Primes (1 mod 4) Equal the Sum of Two Squares (statement). Also Mathlib Nat.Prime.sq_add_sq
- mathlib_1000: mathlib_1000 Q914517, Fermat's theorem on sums of two squares (statement). Also Mathlib Nat.Prime.sq_add_sq, Wikidata Q914517
- mathlib_overview: mathlib_overview General algebra > Number theory > sum of two squares, sum of two squares (unknown). Also Mathlib Nat.Prime.sq_add_sq
- thousand_plus: thousand_plus Q914517, Fermat's theorem on sums of two squares (statement). Also Mathlib Nat.Prime.sq_add_sq, Wikidata Q914517, Wikipedia Fermat's theorem on sums of two squares
- wikidata: Wikidata Q914517, Fermat's theorem on sums of two squares (statement). Also MathWorld Fermats4nPlus1Theorem
History
- 2026-10-26: add by m2/dev
Kynea number B0F6ZX3EWX
| URI | m2://inv/B0F6ZX3EWX |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1122670, Kynea number (object). Also OEIS A093069
History
- 2026-10-26: add by m2/dev
discrete measure B0FXQHVXW2
| URI | m2://inv/B0FXQHVXW2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3859392, discrete measure (definition). Also EoM Discrete_measure, ProofWiki Definition:Discrete_Measure
History
- 2026-10-26: add by m2/dev
complex polynomial B0HJTE0T88
| URI | m2://inv/B0HJTE0T88 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q120493782, complex polynomial (unknown). Also MathWorld ComplexPolynomial
History
- 2026-10-26: add by m2/dev
cyclic vector B0Q22YRZVG
| URI | m2://inv/B0Q22YRZVG |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q60748035, cyclic vector (concept). Also MathWorld CyclicVector, nLab cyclic vector
History
- 2026-10-26: add by m2/dev
asymptotic dimension B0R9V2RYH5
| URI | m2://inv/B0R9V2RYH5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q28456166, asymptotic dimension (unknown). Also nLab asymptotic dimension
History
- 2026-10-26: add by m2/dev
Saccheri–Legendre theorem B0W2J9W54V
| URI | m2://inv/B0W2J9W54V |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 51-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q7396621, Saccheri–Legendre theorem (statement). Also Wikidata Q7396621
- thousand_plus: thousand_plus Q7396621, Saccheri–Legendre theorem (statement). Also Wikidata Q7396621, Wikipedia Saccheri–Legendre theorem
History
- 2026-10-26: add by m2/dev
Abi-Khuzam inequality B0WNWTX608
| URI | m2://inv/B0WNWTX608 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q122889520, Abi-Khuzam inequality (statement). Also MathWorld Abi-KhuzamInequality, ProofWiki Abi-Khuzam_Inequality
History
- 2026-10-26: add by m2/dev
Misha Verbitsky B0YKQJBA97
| URI | m2://inv/B0YKQJBA97 |
|---|---|
| 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 Q3710038, Misha Verbitsky (unknown). Also nLab Misha Verbitsky
History
- 2026-10-26: add by m2/dev