Inventory rows 9H
The cards of the rows of the inventory whose ids start with 9H. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
fundamental theorem of calculus, part 1 9H06W659XA
| URI | m2://inv/9H06W659XA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Analysis > Measures and integral calculus > fundamental theorem of calculus, part 1, fundamental theorem of calculus, part 1 (unknown). Also Mathlib intervalIntegral.integral_hasFDerivAt_of_tendsto_ae
History
- 2026-10-26: add by m2/dev
existentially closed model 9H0XK58TTN
| URI | m2://inv/9H0XK58TTN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5420362, existentially closed model (unknown). Also nLab existentially closed model
History
- 2026-10-26: add by m2/dev
inverse hyperbolic trigonometric functions 9H7ZTB5Z7S
| URI | m2://inv/9H7ZTB5Z7S |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Analysis > Special functions > inverse hyperbolic trigonometric functions, inverse hyperbolic trigonometric functions (unknown). Also Mathlib Real.arsinh
- mathlib_undergrad: mathlib_undergrad Single Variable Real Analysis > Elementary functions (trigonometric, rational, $\exp$, $\log$, etc) > inverse hyperbolic trigonometric functions, inverse hyperbolic trigonometric functions (unknown). Also Mathlib Real.arsinh
History
- 2026-10-26: add by m2/dev
root locus 9H95PMQ367
| URI | m2://inv/9H95PMQ367 |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 93C55 |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q957693, root locus (topic)
History
- 2026-10-26: add by m2/dev
writhe of a link diagram 9HBRZG414F
| URI | m2://inv/9HBRZG414F |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q778947, writhe of a link diagram (unknown). Also MathWorld Writhe
History
- 2026-10-26: add by m2/dev
contour line 9HDNDMADW6
| URI | m2://inv/9HDNDMADW6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q14905927, contour line (unknown). Also MathWorld ContourLine
History
- 2026-10-26: add by m2/dev
De Gua's theorem 9HF4E4TPDP
| URI | m2://inv/9HF4E4TPDP |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 51-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q1202608, De Gua's theorem (statement). Also Wikidata Q1202608
- thousand_plus: thousand_plus Q1202608, De Gua's theorem (statement). Also Wikidata Q1202608, Wikipedia De Gua's theorem
- wikidata: Wikidata Q1202608, De Gua's theorem (statement). Also MathWorld deGuasTheorem
History
- 2026-10-26: add by m2/dev
Stanley Mandelstam 9HFH6KWF4Z
| URI | m2://inv/9HFH6KWF4Z |
|---|---|
| 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 Q348152, Stanley Mandelstam (unknown). Also nLab Stanley Mandelstam
History
- 2026-10-26: add by m2/dev
Huffman coding 9HHH1W2D8A
| URI | m2://inv/9HHH1W2D8A |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2647, Huffman coding (unknown). Also MathWorld HuffmanCoding
History
- 2026-10-26: add by m2/dev
Matt Parker 9HJA3XQZ1V
| URI | m2://inv/9HJA3XQZ1V |
|---|---|
| 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 Q21063802, Matt Parker (unknown). Also ProofWiki Mathematician:Matthew_Thomas_Parker
History
- 2026-10-26: add by m2/dev
index of a subgroup 9HKBTQBK78
| URI | m2://inv/9HKBTQBK78 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview General algebra > Group theory > index of a subgroup, index of a subgroup (unknown). Also Mathlib Subgroup.index
History
- 2026-10-26: add by m2/dev
central angle 9HMJXDSGPA
| URI | m2://inv/9HMJXDSGPA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1094399, central angle (unknown). Also MathWorld CentralAngle
History
- 2026-10-26: add by m2/dev
Berlekamp–Massey algorithm 9HSBSWZPD1
| URI | m2://inv/9HSBSWZPD1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q821007, Berlekamp–Massey algorithm (unknown). Also EoM Berlekamp-Massey_algorithm, MathWorld Berlekamp-MasseyAlgorithm
History
- 2026-10-26: add by m2/dev
Donaldson's theorem 9HX00Z4D0E
| URI | m2://inv/9HX00Z4D0E |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 57-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q5295351, Donaldson's theorem (statement). Also Wikidata Q5295351
- thousand_plus: thousand_plus Q5295351, Donaldson's theorem (statement). Also Wikidata Q5295351, Wikipedia Donaldson's theorem
History
- 2026-10-26: add by m2/dev