Inventory rows D4
The cards of the rows of the inventory whose ids start with D4. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
algebraic cycle D40GNYAHAG
| URI | m2://inv/D40GNYAHAG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4723996, algebraic cycle (unknown). Also EoM Algebraic_cycle, nLab algebraic cycle
History
- 2026-10-26: add by m2/dev
Wiener measure D41HTFH3BF
| URI | m2://inv/D41HTFH3BF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q124251629, Wiener measure (unknown). Also EoM Wiener measure, MathWorld WienerMeasure, nLab Wiener measure
History
- 2026-10-26: add by m2/dev
regularization by convolution D430NQDB1K
| URI | m2://inv/D430NQDB1K |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Analysis > Measures and integral calculus > regularization by convolution, regularization by convolution (unknown). Also Mathlib HasCompactSupport.contDiff_convolution_left
- mathlib_undergrad: mathlib_undergrad Measures and integral calculus > Integration > regularization by convolution, regularization by convolution (unknown). Also Mathlib HasCompactSupport.contDiff_convolution_left
History
- 2026-10-26: add by m2/dev
science D436081TFM
| URI | m2://inv/D436081TFM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q336, science (definition). Also nLab science, ProofWiki Definition:Science
History
- 2026-10-26: add by m2/dev
holomorphic stability under uniform convergence D4413YK98N
| URI | m2://inv/D4413YK98N |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Single Variable Complex Analysis > Functions on one complex variable > holomorphic stability under uniform convergence, holomorphic stability under uniform convergence (unknown). Also Mathlib TendstoLocallyUniformlyOn.differentiableOn
History
- 2026-10-26: add by m2/dev
monic polynomial D443QFJQ5K
| URI | m2://inv/D443QFJQ5K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | Monic polynomial 0C3QBCR46M |
Mentions
- wikidata: Wikidata Q3099696, monic polynomial (definition). Also MathWorld MonicPolynomial, nLab monic polynomial, ProofWiki Definition:Monic_Polynomial
History
- 2026-10-26: add by m2/dev
Jeffrey Lagarias D47JYSRDCP
| URI | m2://inv/D47JYSRDCP |
|---|---|
| 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 Q1686462, Jeffrey Lagarias (unknown). Also nLab Jeffrey Lagarias
History
- 2026-10-26: add by m2/dev
Peirce's law D48456BFEX
| URI | m2://inv/D48456BFEX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2387196, Peirce's law (statement). Also nLab Peirce's law, ProofWiki Peirce's_Law
History
- 2026-10-26: add by m2/dev
square root of 8 D48YQ2QDTJ
| URI | m2://inv/D48YQ2QDTJ |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q140378115, square root of 8 (object). Also OEIS A010466
History
- 2026-10-26: add by m2/dev
D4FG761QQR D4FG761QQR
| URI | m2://inv/D4FG761QQR |
|---|---|
| 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 Q18719230 (unknown). Also nLab Brooke Shipley
History
- 2026-10-26: add by m2/dev
Hausdorff space D4FKCK28GS
| URI | m2://inv/D4FKCK28GS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | Hausdorff space 0S1FJ8VEX9 |
Mentions
- wikidata: Wikidata Q326908, Hausdorff space (definition). Also MathWorld T2-Space, nLab Hausdorff space, ProofWiki Definition:Hausdorff_Space
History
- 2026-10-26: add by m2/dev
Implicit derivatives D4JXRJ1WMP
| URI | m2://inv/D4JXRJ1WMP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1311643, Implicit derivatives (unknown). Also MathWorld ImplicitDifferentiation
History
- 2026-10-26: add by m2/dev
closure operator D4MK63WNTM
| URI | m2://inv/D4MK63WNTM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q10564851, closure operator (unknown). Also nLab closure operator
History
- 2026-10-26: add by m2/dev
Gale–Ryser theorem D4QSS87E2Z
| URI | m2://inv/D4QSS87E2Z |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q17015268, Gale–Ryser theorem (statement). Also MathWorld Gale-RyserTheorem
History
- 2026-10-26: add by m2/dev
real closed field D4TPXZZKYE
| URI | m2://inv/D4TPXZZKYE |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 11-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q2068227, Artin–Schreier theorem (statement). Also Wikidata Q2068227
- thousand_plus: thousand_plus Q2068227, Artin–Schreier theorem (statement). Also Wikidata Q2068227, Wikipedia Artin–Schreier theorem
- wikidata: Wikidata Q2068227, real closed field (unknown). Also nLab real closed field
History
- 2026-10-26: add by m2/dev