Inventory rows TP
The cards of the rows of the inventory whose ids start with TP. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
homotopy theory TP1A9981E1
| URI | m2://inv/TP1A9981E1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 55Pxx |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q9357062, homotopy theory (topic). Also MathWorld HomotopyTheory, nLab homotopy theory
History
- 2026-10-26: add by m2/dev
Heaviside step function TP5BMK8N6K
| URI | m2://inv/TP5BMK8N6K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | Heaviside step function 09C4JP7Y0M |
Mentions
- wikidata: Wikidata Q322339, Heaviside step function (definition). Also MathWorld HeavisideStepFunction, ProofWiki Definition:Heaviside_Step_Function
History
- 2026-10-26: add by m2/dev
preconditioner TP7A8VY20K
| URI | m2://inv/TP7A8VY20K |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 65F10 |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1754327, preconditioner (topic). Also MathWorld Preconditioner, nLab preconditioner
History
- 2026-10-26: add by m2/dev
trivial representation TPAEWEH9HX
| URI | m2://inv/TPAEWEH9HX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7844662, trivial representation (unknown). Also nLab trivial representation
History
- 2026-10-26: add by m2/dev
fuzzy sphere TPCNY5XZJ7
| URI | m2://inv/TPCNY5XZJ7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5511135, fuzzy sphere (unknown). Also nLab fuzzy sphere
History
- 2026-10-26: add by m2/dev
Tony Skyrme TPCQ268TKB
| URI | m2://inv/TPCQ268TKB |
|---|---|
| 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 Q1665938, Tony Skyrme (unknown). Also nLab Tony Skyrme
History
- 2026-10-26: add by m2/dev
Lean TPESPCMYJV
| URI | m2://inv/TPESPCMYJV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6509476, Lean (unknown). Also nLab Lean
History
- 2026-10-26: add by m2/dev
trifolium TPJFKVEMWP
| URI | m2://inv/TPJFKVEMWP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q9361580, trifolium (unknown). Also MathWorld Trifolium
History
- 2026-10-26: add by m2/dev
vector triple product TPQYVR234A
| URI | m2://inv/TPQYVR234A |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5812140, vector triple product (unknown). Also MathWorld VectorTripleProduct
History
- 2026-10-26: add by m2/dev
Japanese theorem for cyclic polygons TPW7FV5REY
| URI | m2://inv/TPW7FV5REY |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 51-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q1317367, Japanese theorem for concyclic polygons (statement). Also Wikidata Q1317367
- thousand_plus: thousand_plus Q1317367, Japanese theorem for concyclic polygons (statement). Also Wikidata Q1317367, Wikipedia Japanese theorem for concyclic polygons
- wikidata: Wikidata Q1317367, Japanese theorem for cyclic polygons (statement). Also MathWorld JapaneseTheorem
History
- 2026-10-26: add by m2/dev
limit set TPXM8S6WJG
| URI | m2://inv/TPXM8S6WJG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1825444, limit set (unknown). Also EoM Limit_point_of_a_trajectory
History
- 2026-10-26: add by m2/dev
interpretation of quantum mechanics TPXZW2GWG2
| URI | m2://inv/TPXZW2GWG2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q899137, interpretation of quantum mechanics (unknown). Also nLab interpretation of quantum mechanics
History
- 2026-10-26: add by m2/dev
uniqueness theorem TPYT3GNJQW
| URI | m2://inv/TPYT3GNJQW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q26261907, uniqueness theorem (definition). Also MathWorld UniquenessTheorem, ProofWiki Definition:Uniqueness_Theorem
History
- 2026-10-26: add by m2/dev
acute triangle TPZ13R3HBA
| URI | m2://inv/TPZ13R3HBA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3998560, acute triangle (unknown). Also MathWorld AcuteTriangle
History
- 2026-10-26: add by m2/dev
Cantor–Bernstein–Schroeder theorem TPZZBT23E4
| URI | m2://inv/TPZZBT23E4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 03-XX |
| Sources | 4 |
| Outcome | open |
| Node | Schröder–Bernstein theorem 0A9V6RKQG6 |
Mentions
- mathlib_100: mathlib_100 25, Schroeder-Bernstein Theorem (statement). Also Mathlib Function.Embedding.schroeder_bernstein
- mathlib_1000: mathlib_1000 Q1033910, Cantor–Bernstein–Schroeder theorem (statement). Also Mathlib Function.Embedding.schroeder_bernstein, Wikidata Q1033910
- thousand_plus: thousand_plus Q1033910, Cantor–Bernstein–Schroeder theorem (statement). Also Mathlib Function.Embedding.schroeder_bernstein, Wikidata Q1033910, Wikipedia Cantor–Bernstein–Schroeder theorem
- wikidata: Wikidata Q1033910, Cantor–Bernstein–Schroeder theorem (statement). Also MathWorld Schroeder-BernsteinTheorem, nLab Cantor-Schroeder-Bernstein theorem, ProofWiki Cantor-Bernstein-Schröder_Theorem
History
- 2026-10-26: add by m2/dev