Inventory rows KZ
The cards of the rows of the inventory whose ids start with KZ. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Tarski–Grothendieck set theory KZ0YR7RT89
| URI | m2://inv/KZ0YR7RT89 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3984085, Tarski–Grothendieck set theory (definition). Also ProofWiki Definition:Tarski-Grothendieck_Set_Theory
History
- 2026-10-26: add by m2/dev
stable vector bundle KZ3B3JDF8R
| URI | m2://inv/KZ3B3JDF8R |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2325488, stable vector bundle (unknown). Also nLab stable vector bundle
History
- 2026-10-26: add by m2/dev
positive-semidefinite quadratic form KZ5C43DVJZ
| URI | m2://inv/KZ5C43DVJZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q77594945, positive-semidefinite quadratic form (unknown). Also MathWorld PositiveSemidefiniteQuadraticForm
History
- 2026-10-26: add by m2/dev
Schubert calculus KZ5CCJR19P
| URI | m2://inv/KZ5CCJR19P |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7432936, Schubert calculus (topic). Also nLab Schubert calculus
History
- 2026-10-26: add by m2/dev
Koszul duality KZ9WDFHSK0
| URI | m2://inv/KZ9WDFHSK0 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q16981474, Koszul duality (concept). Also nLab Koszul duality
History
- 2026-10-26: add by m2/dev
Euler's number KZBD0BWASP
| URI | m2://inv/KZBD0BWASP |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | e 0MVCFMW7S4 |
Mentions
- wikidata: Wikidata Q82435, Euler's number (object). Also MathWorld e, nLab e, OEIS A001113, ProofWiki Definition:Euler's_Number
History
- 2026-10-26: add by m2/dev
pronic number KZCYWCGGHB
| URI | m2://inv/KZCYWCGGHB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1486643, pronic number (unknown). Also MathWorld PronicNumber, OEIS A002378
History
- 2026-10-26: add by m2/dev
multinomial distribution KZDSF89CTE
| URI | m2://inv/KZDSF89CTE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1147928, multinomial distribution (unknown). Also MathWorld MultinomialDistribution
History
- 2026-10-26: add by m2/dev
forgetful functor KZHDEKW0Z3
| URI | m2://inv/KZHDEKW0Z3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2646117, forgetful functor (unknown). Also nLab forgetful functor
History
- 2026-10-26: add by m2/dev
space-filling curve KZP8HX5VZ1
| URI | m2://inv/KZP8HX5VZ1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 54-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q567843, Hahn–Mazurkiewicz theorem (statement). Also Wikidata Q567843
- thousand_plus: thousand_plus Q567843, Hahn–Mazurkiewicz theorem (statement). Also Wikidata Q567843, Wikipedia Hahn–Mazurkiewicz theorem
- wikidata: Wikidata Q567843, space-filling curve (unknown). Also MathWorld Space-FillingFunction
History
- 2026-10-26: add by m2/dev