Inventory rows Z9
The cards of the rows of the inventory whose ids start with Z9. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
uniformly convergent series Z920VSR23B
| URI | m2://inv/Z920VSR23B |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q91257411, uniformly convergent series (unknown). Also EoM Uniformly-convergent_series
History
- 2026-10-26: add by m2/dev
Kronecker's method Z94MBE47NY
| URI | m2://inv/Z94MBE47NY |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q20877540, Kronecker's method (concept). Also EoM Kronecker_method, MathWorld KroneckersAlgorithm
History
- 2026-10-26: add by m2/dev
logos Z98Z8QEPQ1
| URI | m2://inv/Z98Z8QEPQ1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q180832, logos (unknown). Also nLab logos (in philosophy)
History
- 2026-10-26: add by m2/dev
planar graph Z99BYAE8VS
| URI | m2://inv/Z99BYAE8VS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | Planar graph 0NC9R64TXP |
Mentions
- wikidata: Wikidata Q547823, planar graph (definition). Also EoM Graph,_planar, MathWorld PlanarGraph, nLab planar graph, ProofWiki Definition:Planar_Graph
History
- 2026-10-26: add by m2/dev
power of four Z9AEZ52XFK
| URI | m2://inv/Z9AEZ52XFK |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q113401032, power of four (object). Also OEIS A000302
History
- 2026-10-26: add by m2/dev
Bing's recognition theorem Z9AKC5KBHZ
| URI | m2://inv/Z9AKC5KBHZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 54-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q4914101, Bing's recognition theorem (statement). Also Wikidata Q4914101
- thousand_plus: thousand_plus Q4914101, Bing's recognition theorem (statement). Also Wikidata Q4914101, Wikipedia Bing's recognition theorem
History
- 2026-10-26: add by m2/dev
classical mathematics Z9AWXRK3DH
| URI | m2://inv/Z9AWXRK3DH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5128339, classical mathematics (unknown). Also nLab classical mathematics
History
- 2026-10-26: add by m2/dev
Legendre symbol Z9EPYCE8YW
| URI | m2://inv/Z9EPYCE8YW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | Legendre symbol 0JTC045NNZ |
Mentions
- wikidata: Wikidata Q748339, Legendre symbol (unknown). Also MathWorld LegendreSymbol
History
- 2026-10-26: add by m2/dev
sorting algorithm Z9GCG239EX
| URI | m2://inv/Z9GCG239EX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q181593, sorting algorithm (unknown). Also MathWorld Sorting
History
- 2026-10-26: add by m2/dev
Archimedean graph Z9H60JXYTF
| URI | m2://inv/Z9H60JXYTF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q22093490, Archimedean graph (unknown). Also MathWorld ArchimedeanGraph
History
- 2026-10-26: add by m2/dev
connected components Z9J7J46P4S
| URI | m2://inv/Z9J7J46P4S |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Topology > Topology and Metric Spaces > connected components, connected components (unknown). Also Mathlib connectedComponent
History
- 2026-10-26: add by m2/dev
Szekeres snark Z9JJYNGQ5D
| URI | m2://inv/Z9JJYNGQ5D |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3487139, Szekeres snark (concept). Also House of Graphs 1338, MathWorld SzekeresSnark
History
- 2026-10-26: add by m2/dev
A Brief History of Time Z9JKHYMKD9
| URI | m2://inv/Z9JKHYMKD9 |
|---|---|
| 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 Q471726, A Brief History of Time (unknown). Also ProofWiki Book:Stephen_W._Hawking/A_Brief_History_of_Time
History
- 2026-10-26: add by m2/dev
tractor bundle Z9KXX7GX68
| URI | m2://inv/Z9KXX7GX68 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7831649, tractor bundle (unknown). Also nLab tractor bundle
History
- 2026-10-26: add by m2/dev
von Neumann bicommutant theorem Z9P1ENKF2Z
| URI | m2://inv/Z9P1ENKF2Z |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 46-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q528987, Von Neumann bicommutant theorem (statement). Also Wikidata Q528987
- thousand_plus: thousand_plus Q528987, Von Neumann bicommutant theorem (statement). Also Wikidata Q528987, Wikipedia Von Neumann bicommutant theorem
- wikidata: Wikidata Q528987, von Neumann bicommutant theorem (statement). Also nLab bicommutant theorem
History
- 2026-10-26: add by m2/dev
multitape Turing machine Z9VESAEJMZ
| URI | m2://inv/Z9VESAEJMZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1392048, multitape Turing machine (definition). Also ProofWiki Definition:Multitape_Turing_Machine
History
- 2026-10-26: add by m2/dev
multiplication by a smooth function Z9W6ZPC27W
| URI | m2://inv/Z9W6ZPC27W |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Distribution calculus > Distributions on $\R^d$ > multiplication by a smooth function, multiplication by a smooth function (unknown)
History
- 2026-10-26: add by m2/dev
Stolz–Cesàro theorem Z9YDMJC0EZ
| URI | m2://inv/Z9YDMJC0EZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 26-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q1052752, Stolz–Cesàro theorem (statement). Also Wikidata Q1052752
- thousand_plus: thousand_plus Q1052752, Stolz–Cesàro theorem (statement). Also Wikidata Q1052752, Wikipedia Stolz–Cesàro theorem
History
- 2026-10-26: add by m2/dev
Skewes' number Z9Z64ZKP8Z
| URI | m2://inv/Z9Z64ZKP8Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q477645, Skewes' number (definition). Also MathWorld SkewesNumber, ProofWiki Definition:Skewes'_Number
History
- 2026-10-26: add by m2/dev