Inventory rows BT
The cards of the rows of the inventory whose ids start with BT. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
gradient theorem BT2AZFVJ27
| URI | m2://inv/BT2AZFVJ27 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 26-XX |
| Sources | 3 |
| Outcome | open |
| Node | Gradient theorem 0SD237FEJD |
Mentions
- mathlib_1000: mathlib_1000 Q287347, Gradient theorem (statement). Also Wikidata Q287347
- thousand_plus: thousand_plus Q287347, Gradient theorem (statement). Also Wikidata Q287347, Wikipedia Gradient theorem
- wikidata: Wikidata Q287347, gradient theorem (statement). Also MathWorld GradientTheorem
History
- 2026-10-26: add by m2/dev
Ernst Schröder BT7CGJ9F3W
| URI | m2://inv/BT7CGJ9F3W |
|---|---|
| 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 Q77297, Ernst Schröder (unknown). Also ProofWiki Mathematician:Friedrich_Wilhelm_Karl_Ernst_Schröder
History
- 2026-10-26: add by m2/dev
Gerard 't Hooft BTAPF6XP3B
| URI | m2://inv/BTAPF6XP3B |
|---|---|
| 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 Q184592, Gerard 't Hooft (unknown). Also nLab Gerard ’t Hooft
History
- 2026-10-26: add by m2/dev
Hilbert's basis theorem BTBNG3SEHX
| URI | m2://inv/BTBNG3SEHX |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 13-XX |
| Sources | 4 |
| Outcome | open |
| Node | Hilbert's basis theorem 0YKA9J3XEE |
Mentions
- mathlib_1000: mathlib_1000 Q656645, Hilbert's basis theorem (statement). Also Mathlib Polynomial.isNoetherianRing, Wikidata Q656645
- mathlib_overview: mathlib_overview General algebra > Polynomials and power series > Hilbert basis theorem, Hilbert basis theorem (unknown). Also Mathlib Polynomial.isNoetherianRing
- thousand_plus: thousand_plus Q656645, Hilbert's basis theorem (statement). Also Mathlib Polynomial.isNoetherianRing, Wikidata Q656645, Wikipedia Hilbert's basis theorem
- wikidata: Wikidata Q656645, Hilbert's basis theorem (statement). Also MathWorld HilbertBasisTheorem, nLab Hilbert's basis theorem
History
- 2026-10-26: add by m2/dev
polynomial derivative BTBP5XPK1V
| URI | m2://inv/BTBP5XPK1V |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Ring Theory > Polynomial rings > polynomial derivative, polynomial derivative (unknown). Also Mathlib Polynomial.derivative
History
- 2026-10-26: add by m2/dev
The Collapse of Chaos BTEMMGATV2
| URI | m2://inv/BTEMMGATV2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a book, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7726652, The Collapse of Chaos (unknown). Also ProofWiki Book:Ian_Stewart/The_Collapse_of_Chaos
History
- 2026-10-26: add by m2/dev
Daniel Lazard BTJK3JNBPX
| URI | m2://inv/BTJK3JNBPX |
|---|---|
| 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 Q5217886, Daniel Lazard (unknown). Also nLab Daniel Lazard
History
- 2026-10-26: add by m2/dev
Chevalley group BTQ8F1DZNP
| URI | m2://inv/BTQ8F1DZNP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q124457730, Chevalley group (unknown). Also EoM Chevalley_group, MathWorld ChevalleyGroups, nLab Chevalley group
History
- 2026-10-26: add by m2/dev
cone BTQFHEN8YH
| URI | m2://inv/BTQFHEN8YH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1850712, cone (unknown). Also nLab cone
History
- 2026-10-26: add by m2/dev
route inspection problem BTQWDBVCC5
| URI | m2://inv/BTQWDBVCC5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q901096, route inspection problem (definition). Also MathWorld ChinesePostmanProblem, ProofWiki Definition:Chinese_Postman_Problem
History
- 2026-10-26: add by m2/dev
googol BTX8Q3CDFR
| URI | m2://inv/BTX8Q3CDFR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q507, googol (definition). Also EoM Googol, MathWorld Googol, ProofWiki Definition:Googol
History
- 2026-10-26: add by m2/dev