Inventory rows R1
The cards of the rows of the inventory whose ids start with R1. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
longhorn graph R11AB3ZWZF
| URI | m2://inv/R11AB3ZWZF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3115583, longhorn graph (unknown). Also House of Graphs 482, MathWorld LonghornGraph
History
- 2026-10-26: add by m2/dev
reaction R11GZSPWD1
| URI | m2://inv/R11GZSPWD1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q343546, reaction (definition). Also ProofWiki Definition:Opposite_Force
History
- 2026-10-26: add by m2/dev
time R11ZNVC2EH
| URI | m2://inv/R11ZNVC2EH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q11471, time (definition). Also ProofWiki Definition:Time
History
- 2026-10-26: add by m2/dev
binary quadratic form R12CT5MEXJ
| URI | m2://inv/R12CT5MEXJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q864134, binary quadratic form (unknown). Also EoM Binary_quadratic_form, MathWorld BinaryQuadraticForm
History
- 2026-10-26: add by m2/dev
determinant of endomorphisms R137C8CXBP
| URI | m2://inv/R137C8CXBP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Linear algebra > Multilinearity > determinant of endomorphisms, determinant of endomorphisms (unknown). Also Mathlib LinearMap.det
History
- 2026-10-26: add by m2/dev
random matrix R18A630E79
| URI | m2://inv/R18A630E79 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q176604, random matrix (unknown). Also MathWorld RandomMatrix, nLab random matrix
History
- 2026-10-26: add by m2/dev
logical formula R18V3HYG9D
| URI | m2://inv/R18V3HYG9D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2627911, logical formula (definition). Also ProofWiki Definition:Logical_Formula
History
- 2026-10-26: add by m2/dev
sensitivity R1G4XKXX3X
| URI | m2://inv/R1G4XKXX3X |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6842789, sensitivity (unknown). Also MathWorld Sensitivity
History
- 2026-10-26: add by m2/dev
Fourier transform and derivation R1PRJZXFS8
| URI | m2://inv/R1PRJZXFS8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Distribution calculus > Tempered distributions > Fourier transform and derivation, Fourier transform and derivation (unknown)
History
- 2026-10-26: add by m2/dev
Bartel Leendert van der Waerden R1T6SHR81M
| URI | m2://inv/R1T6SHR81M |
|---|---|
| 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 Q287097, Bartel Leendert van der Waerden (unknown). Also ProofWiki Mathematician:Bartel_Leendert_van_der_Waerden
History
- 2026-10-26: add by m2/dev
Borel determinacy theorem R1WTKV2RW4
| URI | m2://inv/R1WTKV2RW4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 03-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q4944906, Borel determinacy theorem (statement). Also Wikidata Q4944906
- thousand_plus: thousand_plus Q4944906, Borel determinacy theorem (statement). Also Wikidata Q4944906, Wikipedia Borel determinacy theorem
History
- 2026-10-26: add by m2/dev
dual groups R1XBGGZFYC
| URI | m2://inv/R1XBGGZFYC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Group Theory > Representation theory of finite groups > dual groups, dual groups (unknown)
History
- 2026-10-26: add by m2/dev