Inventory rows TN
The cards of the rows of the inventory whose ids start with TN. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Tverberg's theorem TN4702ZSHA
| URI | m2://inv/TN4702ZSHA |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 52-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q7857350, Tverberg's theorem (statement). Also Wikidata Q7857350
- thousand_plus: thousand_plus Q7857350, Tverberg's theorem (statement). Also Wikidata Q7857350, Wikipedia Tverberg's theorem
History
- 2026-10-26: add by m2/dev
stochastic differential equation TNC12RXMXQ
| URI | m2://inv/TNC12RXMXQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 93E20 |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1545585, stochastic differential equation (topic)
History
- 2026-10-26: add by m2/dev
difference quotient TNKVJ9H5W5
| URI | m2://inv/TNKVJ9H5W5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1224446, difference quotient (unknown). Also MathWorld DifferenceQuotient
History
- 2026-10-26: add by m2/dev
rotation group SO(3) TNN4XP7CS9
| URI | m2://inv/TNN4XP7CS9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1256500, rotation group SO(3) (unknown). Also nLab SO(3)
History
- 2026-10-26: add by m2/dev
∈ TNQGPT1KZW
| URI | m2://inv/TNQGPT1KZW |
|---|---|
| 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 Q2221333, ∈ (unknown). Also ProofWiki Symbols:Set_Theory/Element
History
- 2026-10-26: add by m2/dev
boolean satisfiability problem TNRT8MF2DD
| URI | m2://inv/TNRT8MF2DD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q875276, boolean satisfiability problem (unknown). Also MathWorld SatisfiabilityProblem
History
- 2026-10-26: add by m2/dev
David Vogan TNVGMMBF1B
| URI | m2://inv/TNVGMMBF1B |
|---|---|
| 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 Q470480, David Vogan (unknown). Also nLab David Vogan
History
- 2026-10-26: add by m2/dev
adjoint functor TNX3NV766J
| URI | m2://inv/TNX3NV766J |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 18-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q357858, Freyd's adjoint functor theorem (statement). Also Wikidata Q357858
- thousand_plus: thousand_plus Q357858, Freyd's adjoint functor theorem (statement). Also Wikidata Q357858, Wikipedia Freyd's adjoint functor theorem
- wikidata: Wikidata Q357858, adjoint functor (unknown). Also EoM Adjoint_functor, MathWorld AdjointFunctor, nLab adjoint functor
History
- 2026-10-26: add by m2/dev
biquaternions TNZN946NH8
| URI | m2://inv/TNZN946NH8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 30G35 |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2590607, biquaternions (topic). Also MathWorld Biquaternion
History
- 2026-10-26: add by m2/dev