Inventory rows DB
The cards of the rows of the inventory whose ids start with DB. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
point DB0YZ7XAHF
| URI | m2://inv/DB0YZ7XAHF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q44946, point (definition). Also MathWorld Point, ProofWiki Definition:Point
History
- 2026-10-26: add by m2/dev
Lie algebra DB31ZMCW9V
| URI | m2://inv/DB31ZMCW9V |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview General algebra > Algebras over a ring > Lie algebra, Lie algebra (unknown). Also Mathlib LieAlgebra
History
- 2026-10-26: add by m2/dev
gaugino condensation DB3CSZN3G8
| URI | m2://inv/DB3CSZN3G8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5527639, gaugino condensation (unknown). Also nLab gaugino condensation
History
- 2026-10-26: add by m2/dev
Dürer graph DB3THVQ47W
| URI | m2://inv/DB3THVQ47W |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3115478, Dürer graph (unknown). Also House of Graphs 34383, MathWorld DuererGraph
History
- 2026-10-26: add by m2/dev
Gaston Gonnet DBFT5V461E
| URI | m2://inv/DBFT5V461E |
|---|---|
| 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 Q5526736, Gaston Gonnet (unknown). Also ProofWiki Mathematician:Gaston_Henry_Gonnet
History
- 2026-10-26: add by m2/dev
Hilbert's syzygy theorem DBFXW22G9Z
| URI | m2://inv/DBFXW22G9Z |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 13-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q779220, Hilbert's syzygy theorem (statement). Also Wikidata Q779220
- thousand_plus: thousand_plus Q779220, Hilbert's syzygy theorem (statement). Also Wikidata Q779220, Wikipedia Hilbert's syzygy theorem
History
- 2026-10-26: add by m2/dev
adjunction DBNJPQ39YE
| URI | m2://inv/DBNJPQ39YE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview General algebra > Category theory > adjunction, adjunction (unknown). Also Mathlib CategoryTheory.Adjunction
History
- 2026-10-26: add by m2/dev
Hamming weight DBQRF4XJ5V
| URI | m2://inv/DBQRF4XJ5V |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5645805, Hamming weight (object). Also OEIS A000120
History
- 2026-10-26: add by m2/dev
Kit Yates DBRFVZ3YQJ
| URI | m2://inv/DBRFVZ3YQJ |
|---|---|
| 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 Q112547007, Kit Yates (unknown). Also ProofWiki Mathematician:Christian_Yates
History
- 2026-10-26: add by m2/dev
Yasuyuki Kawahigashi DBRJ7PZ69X
| URI | m2://inv/DBRJ7PZ69X |
|---|---|
| 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 Q11553964, Yasuyuki Kawahigashi (unknown). Also nLab Yasuyuki Kawahigashi
History
- 2026-10-26: add by m2/dev
Daniel da Silva DBT81NA6AS
| URI | m2://inv/DBT81NA6AS |
|---|---|
| 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 Q5219175, Daniel da Silva (unknown). Also ProofWiki Mathematician:Daniel_da_Silva
History
- 2026-10-26: add by m2/dev