Inventory rows 4Z
The cards of the rows of the inventory whose ids start with 4Z. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
non-deterministic Turing machine 4Z0F289903
| URI | m2://inv/4Z0F289903 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1190223, non-deterministic Turing machine (concept). Also ProofWiki Definition:Nondeterministic_Turing_Machine
History
- 2026-10-26: add by m2/dev
polykite 4Z0PD7S6SP
| URI | m2://inv/4Z0PD7S6SP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q12405820, polykite (unknown). Also MathWorld Polykite
History
- 2026-10-26: add by m2/dev
Gibbs phenomenon 4Z5Z56A45Y
| URI | m2://inv/4Z5Z56A45Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5374, Gibbs phenomenon (statement). Also MathWorld GibbsPhenomenon, ProofWiki Gibbs_Phenomenon
History
- 2026-10-26: add by m2/dev
ordered tree 4Z6THC6VT8
| URI | m2://inv/4Z6THC6VT8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q10396021, ordered tree (unknown). Also MathWorld OrderedTree
History
- 2026-10-26: add by m2/dev
compact Lie group 4Z88E0DCJT
| URI | m2://inv/4Z88E0DCJT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3117689, compact Lie group (unknown). Also nLab compact Lie group
History
- 2026-10-26: add by m2/dev
Gottfried Wilhelm Leibniz 4Z8NE0WRJ2
| URI | m2://inv/4Z8NE0WRJ2 |
|---|---|
| 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 Q9047, Gottfried Wilhelm Leibniz (unknown). Also nLab Gottfried Leibniz, ProofWiki Mathematician:Gottfried_Wilhelm_von_Leibniz
History
- 2026-10-26: add by m2/dev
yocto 4Z94FCNH3Q
| URI | m2://inv/4Z94FCNH3Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q110823, yocto (definition). Also ProofWiki Definition:Metric_System/Scaling_Prefixes/yocto-
History
- 2026-10-26: add by m2/dev
The Strand Magazine 4ZAYN7V5A5
| URI | m2://inv/4ZAYN7V5A5 |
|---|---|
| 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 Q1126800, The Strand Magazine (unknown). Also ProofWiki Book:Journal/The_Strand_Magazine
History
- 2026-10-26: add by m2/dev
separable algebra 4ZCDR99131
| URI | m2://inv/4ZCDR99131 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2836018, separable algebra (unknown). Also LMFDB knowl nf.separable_algebra
History
- 2026-10-26: add by m2/dev
point charge 4ZDNN787Z2
| URI | m2://inv/4ZDNN787Z2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q439029, point charge (definition). Also ProofWiki Definition:Point_Charge
History
- 2026-10-26: add by m2/dev
convergence in distribution 4ZDWH5CW23
| URI | m2://inv/4ZDWH5CW23 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Probability Theory > Convergence of a sequence of random variables > convergence in distribution, convergence in distribution (unknown). Also Mathlib MeasureTheory.ProbabilityMeasure.tendsto_iff_forall_integral_tendsto
History
- 2026-10-26: add by m2/dev
Frederic W. Shultz 4ZP51E89HV
| URI | m2://inv/4ZP51E89HV |
|---|---|
| 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 Q64141149, Frederic W. Shultz (unknown). Also nLab Frederic Shultz
History
- 2026-10-26: add by m2/dev
filter 4ZVSPDR1MM
| URI | m2://inv/4ZVSPDR1MM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Topology > General topology > filter, filter (unknown). Also Mathlib Filter
History
- 2026-10-26: add by m2/dev
symplectic Lie algebra 4ZWS0JQYCG
| URI | m2://inv/4ZWS0JQYCG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q52241637, symplectic Lie algebra (unknown). Also MathWorld SymplecticLieAlgebra, nLab symplectic Lie algebra
History
- 2026-10-26: add by m2/dev
Cheng's eigenvalue comparison theorem 4ZWZP89B47
| URI | m2://inv/4ZWZP89B47 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 53-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q5091194, Cheng's eigenvalue comparison theorem (statement). Also Wikidata Q5091194
- thousand_plus: thousand_plus Q5091194, Cheng's eigenvalue comparison theorem (statement). Also Wikidata Q5091194, Wikipedia Cheng's eigenvalue comparison theorem
History
- 2026-10-26: add by m2/dev
Helga Baum 4ZY4YZAFC1
| URI | m2://inv/4ZY4YZAFC1 |
|---|---|
| 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 Q1602142, Helga Baum (unknown). Also nLab Helga Baum
History
- 2026-10-26: add by m2/dev