Inventory rows N3
The cards of the rows of the inventory whose ids start with N3. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
David Hilbert N310P0Z36N
| URI | m2://inv/N310P0Z36N |
|---|---|
| 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 Q41585, David Hilbert (unknown). Also nLab David Hilbert
History
- 2026-10-26: add by m2/dev
constructible set N31V8GPAKQ
| URI | m2://inv/N31V8GPAKQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3366885, constructible set (unknown). Also nLab constructible set
History
- 2026-10-26: add by m2/dev
tangram N3320BFJSW
| URI | m2://inv/N3320BFJSW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q245336, tangram (unknown). Also MathWorld tangram
History
- 2026-10-26: add by m2/dev
Debye length N334RBH4Z6
| URI | m2://inv/N334RBH4Z6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q898268, Debye length (unknown). Also EoM Debye_length
History
- 2026-10-26: add by m2/dev
Riesz' lemma (unit-ball characterization of finite dimension) N37NKTHZ1A
| URI | m2://inv/N37NKTHZ1A |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Topology > Normed vector spaces on $\R$ and $\C$ > Riesz' lemma (unit-ball characterization of finite dimension), Riesz' lemma (unit-ball characterization of finite dimension) (unknown). Also Mathlib FiniteDimensional.of_isCompact_closedBall
History
- 2026-10-26: add by m2/dev
Detlev Buchholz N3AJQ7RMR0
| URI | m2://inv/N3AJQ7RMR0 |
|---|---|
| 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 Q91454, Detlev Buchholz (unknown). Also nLab Detlev Buchholz
History
- 2026-10-26: add by m2/dev
prism N3ASVJBP64
| URI | m2://inv/N3ASVJBP64 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q180544, prism (unknown). Also EoM Prism, MathWorld Prism
History
- 2026-10-26: add by m2/dev
dual bundle N3CNACAYMA
| URI | m2://inv/N3CNACAYMA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5310186, dual bundle (unknown). Also MathWorld DualBundle
History
- 2026-10-26: add by m2/dev
computable number N3MP3W9AYR
| URI | m2://inv/N3MP3W9AYR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q818895, computable number (unknown). Also MathWorld ComputableNumber
History
- 2026-10-26: add by m2/dev
Gaussian quadrature N3REWJ80HN
| URI | m2://inv/N3REWJ80HN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q767680, Gaussian quadrature (definition). Also MathWorld GaussianQuadrature, MathWorld Legendre-GaussQuadrature, ProofWiki Definition:Gaussian_Integration_Rule
History
- 2026-10-26: add by m2/dev
scalar meson N3RMB03528
| URI | m2://inv/N3RMB03528 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7429686, scalar meson (unknown). Also nLab scalar meson
History
- 2026-10-26: add by m2/dev
Linear speedup theorem N3V9C7VECP
| URI | m2://inv/N3V9C7VECP |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 68-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q3527226, Linear speedup theorem (statement). Also Wikidata Q3527226
- thousand_plus: thousand_plus Q3527226, Linear speedup theorem (statement). Also Wikidata Q3527226, Wikipedia Linear speedup theorem
History
- 2026-10-26: add by m2/dev
zetta N3W25QJANW
| URI | m2://inv/N3W25QJANW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q110796, zetta (definition). Also ProofWiki Definition:Metric_System/Scaling_Prefixes/zetta-
History
- 2026-10-26: add by m2/dev
John Wallis N3W95W66T3
| URI | m2://inv/N3W95W66T3 |
|---|---|
| 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 Q208359, John Wallis (unknown). Also ProofWiki Mathematician:John_Wallis
History
- 2026-10-26: add by m2/dev
Riemann hypothesis N3YJ4KEKYW
| URI | m2://inv/N3YJ4KEKYW |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 11-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q205966, Critical line theorem (statement). Also Wikidata Q205966
- thousand_plus: thousand_plus Q205966, Critical line theorem (statement). Also Wikidata Q205966, Wikipedia Critical line theorem
- wikidata: Wikidata Q205966, Riemann hypothesis (problem). Also EoM Riemann_hypotheses, Mathlib RiemannHypothesis, MathWorld RiemannHypothesis, nLab Riemann hypothesis, nLab Riemann hypothesis and physics, ProofWiki Riemann_Hypothesis
History
- 2026-10-26: add by m2/dev