Inventory rows ND
The cards of the rows of the inventory whose ids start with ND. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Rouch\'e's theorem ND00613639
| URI | m2://inv/ND00613639 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv index/B/rouch-e-s-theorem, Rouch\'e's theorem (concept). In VNMV985MXX, index, section B
History
- 2026-11-01: add by m2/v0.6.13
parallelohedron ND018JC57T
| URI | m2://inv/ND018JC57T |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Parallelohedron MR2JWBCZQZ |
Mentions
- wikidata: Wikidata Q23823961, parallelohedron (unknown). Also MathWorld PrimaryParallelohedron
- wikipedia: Wikipedia Parallelohedron, Parallelohedron (object). Also Wikidata Q23823961
History
- 2026-10-26: add by m2/dev
ND01K1BHV1 ND01K1BHV1
| URI | m2://inv/ND01K1BHV1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30648#UJIA (statement). In 2P83KYQCMA/e1, corollary 5
History
- 2026-10-31: add by m2/v0.5.6
ND01PSQDPR ND01PSQDPR
| URI | m2://inv/ND01PSQDPR |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35740#G9X5 (conjecture). In N7C6C0QGJM/e1, conjecture 3.8
History
- 2026-10-30: add by m2/v0.4.12
ND05CVC89Y ND05CVC89Y
| URI | m2://inv/ND05CVC89Y |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-contfunc.tex#exercise:contlimitcomposition (exercise). In E59CDZA4DP, exercise, section 2.1.5
History
- 2026-11-01: add by m2/v0.6.13
ND06JF030B ND06JF030B
| URI | m2://inv/ND06JF030B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35229#J5OK (statement). In XBAXW1YBAK/e1, lemma 2.2
History
- 2026-10-30: add by m2/v0.4.12
Change of kernel basis ND06JVEZ15
| URI | m2://inv/ND06JVEZ15 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27966#RXKB, Change of kernel basis (statement)
History
- 2026-11-01: add by m2/v0.6.15
Invariant before the first overflow ND072D7ZTE
| URI | m2://inv/ND072D7ZTE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01329#L6NC, Invariant before the first overflow (statement). In 7XEVYJKJ5C/e1, lemma 3.4
History
- 2026-10-29: add by m2/v0.4.12
Mona Merling ND0E1EG4RM
| URI | m2://inv/ND0E1EG4RM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mona Merling, Mona Merling (topic). Also Wikidata Q102423652
History
- 2026-11-02: add by m2/dev
Jordan matrix ND0G4AM64F
| URI | m2://inv/ND0G4AM64F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jordan matrix, Jordan matrix (definition). Also Wikidata Q3738073
History
- 2026-11-02: add by m2/dev
Kelvin wake pattern ND0QQQ3BNF
| URI | m2://inv/ND0QQQ3BNF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kelvin wake pattern, Kelvin wake pattern (definition). Also Wikidata Q53111159
History
- 2026-11-02: add by m2/dev
Square tiling honeycomb ND0TTXZ6ZR
| URI | m2://inv/ND0TTXZ6ZR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Square tiling honeycomb, Square tiling honeycomb (definition). Also Wikidata Q14629797
History
- 2026-11-02: add by m2/dev
ND0YE3JXTM ND0YE3JXTM
| URI | m2://inv/ND0YE3JXTM |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38742#4B3G (definition). In TSXBJB0EXK/e1, definition 5.1
History
- 2026-10-30: add by m2/v0.4.12
Ultimate reality ND13BDK2JJ
| URI | m2://inv/ND13BDK2JJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ultimate reality, Ultimate reality (definition). Also Wikidata Q65088854
History
- 2026-11-02: add by m2/dev
Statement ND16EB4WBZ
| URI | m2://inv/ND16EB4WBZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Peano kernel theorem#9BIZ, Statement (statement)
History
- 2026-11-02: add by m2/dev
Wiener's tauberian theorem ND1D2SZC0H
| URI | m2://inv/ND1D2SZC0H |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#AFCH, Wiener's tauberian theorem (statement)
History
- 2026-11-02: add by m2/dev
ND1F0GMKM2 ND1F0GMKM2
| URI | m2://inv/ND1F0GMKM2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2603.21971#US7Q (statement). In R6KSZ9H8CY/e1, proposition 1.2
History
- 2026-11-02: add by m2/v0.6.18
The switching semigroup in the weighted space ND1KBRS9FB
| URI | m2://inv/ND1KBRS9FB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32585#8J5I, The switching semigroup in the weighted space (statement). In FJFJ3WR1SS/e1, lemma 8.1
History
- 2026-10-31: add by m2/v0.5.6
Pfeiffer, Georgii Yurii ND1M5AB8W7
| URI | m2://inv/ND1M5AB8W7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian mathematicians#RK5U, Pfeiffer, Georgii Yurii (unknown)
History
- 2026-11-02: add by m2/dev
ND1NKCCVYE ND1NKCCVYE
| URI | m2://inv/ND1NKCCVYE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32077#MDWB (statement). In WYXQDSQR9B/e1, lemma 3.14
History
- 2026-10-31: add by m2/v0.5.6
ND21HK8YGY ND21HK8YGY
| URI | m2://inv/ND21HK8YGY |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section3-5.xml#example-col-basis (example). In 649HGZKE96, example, section 3.5.3
History
- 2026-11-01: add by m2/v0.6.13
ND264JEVWM ND264JEVWM
| URI | m2://inv/ND264JEVWM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/Partitions.tex#thm:equiv yields partition2 (statement). In P1C114YBXG, theorem, section G
History
- 2026-11-01: add by m2/v0.6.13
ND26KA5W23 ND26KA5W23
| URI | m2://inv/ND26KA5W23 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36811#XH12 (statement). In ZQDX8E43SQ/e1, proposition 6.5
History
- 2026-10-30: add by m2/v0.4.12
Turing Award ND29GFCH3W
| URI | m2://inv/ND29GFCH3W |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Alan Turing#3ZWP, Turing Award (unknown)
History
- 2026-11-02: add by m2/dev
Niche apportionment models ND2D04MW0E
| URI | m2://inv/ND2D04MW0E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Niche apportionment models, Niche apportionment models (definition). Also Wikidata Q7024791
History
- 2026-11-02: add by m2/dev
John B. Garnett ND2H9MWC24
| URI | m2://inv/ND2H9MWC24 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#JAXA, John B. Garnett (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#GHDD, John B. Garnett (topic)
History
- 2026-11-02: add by m2/dev
ND2KG68QBD ND2KG68QBD
| URI | m2://inv/ND2KG68QBD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09319#UZX1 (statement). In GMRT5GHBZS/e1, lemma C.3
History
- 2026-10-29: add by m2/v0.4.10
ND2P7KD5BR ND2P7KD5BR
| URI | m2://inv/ND2P7KD5BR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39706#8AKQ (statement). In 79Y8JJMKP4/e1, theorem 1.7
History
- 2026-10-30: add by m2/v0.4.12
Typical rings ND2TK9ESZ6
| URI | m2://inv/ND2TK9ESZ6 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/ring-intro.tex#example-1, Typical rings (example). In RZP28ERRZV, example, section 5.3
History
- 2026-11-01: add by m2/v0.6.13
Implementation ND2Y6C7FHE
| URI | m2://inv/ND2Y6C7FHE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trigonometric interpolation#C22T, Implementation (definition)
History
- 2026-11-02: add by m2/dev
ND30S5ME75 ND30S5ME75
| URI | m2://inv/ND30S5ME75 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09561#E7T4 (statement). In WDV5E2CVTR/e1, theorem 7.2
History
- 2026-10-29: add by m2/v0.4.10
ACORN (tool) ND3DND6RFV
| URI | m2://inv/ND3DND6RFV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geodemographic segmentation#U1DZ, ACORN (tool) (unknown)
History
- 2026-11-02: add by m2/dev
Properties ND3JAFV937
| URI | m2://inv/ND3JAFV937 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Minimal prime ideal#5GM4, Properties (statement)
History
- 2026-11-02: add by m2/dev
ND488VG7Z6 ND488VG7Z6
| URI | m2://inv/ND488VG7Z6 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22657#W6EB (definition)
History
- 2026-11-02: add by m2/v0.6.17
ND4ASC9G2H ND4ASC9G2H
| URI | m2://inv/ND4ASC9G2H |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 03-XX, 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16475#TRM0 (example). In FM9SKN560Q/e1, example 4.3
History
- 2026-10-28: add by m2/v0.4.2
ND4CR0NS1X ND4CR0NS1X
| URI | m2://inv/ND4CR0NS1X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16002#MZOV (statement). In MWXDTQ7XC4/e1, lemma 3.3
History
- 2026-10-28: add by m2/v0.4.2
ND4JYT62RR ND4JYT62RR
| URI | m2://inv/ND4JYT62RR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19658#NIHW (statement). In G00EYA9DXG/e1, proposition 3.1
History
- 2026-10-28: add by m2/v0.4.2
Gram matrix ND4KXMVTAS
| URI | m2://inv/ND4KXMVTAS |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula index/7.4.2/gram-matrix, Gram matrix (concept). In 649HGZKE96, index, section 7.4.2
History
- 2026-11-01: add by m2/v0.6.13
ND4T283191 ND4T283191
| URI | m2://inv/ND4T283191 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/turing-machines/undecidability/verification.tex#prob-2 (exercise). In PKGMM3P5QY, prob, section 87.3
History
- 2026-11-01: add by m2/v0.6.13
Delay ND513NRPRA
| URI | m2://inv/ND513NRPRA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11007#TCVN, Delay (statement). In MF0H78XZXC/e1, lemma C.9
History
- 2026-10-28: add by m2/v0.4.3
Definition 1 ND5DAZ3XW2
| URI | m2://inv/ND5DAZ3XW2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Amenable group#7JPV, Definition 1 (definition)
History
- 2026-11-02: add by m2/dev
small icosihemidodecahedron ND5GVGAV6C
| URI | m2://inv/ND5GVGAV6C |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3100389, small icosihemidodecahedron (unknown). Also MathWorld SmallIcosihemidodecahedron
- wikipedia: Wikipedia Small icosihemidodecahedron, Small icosihemidodecahedron (object). Also Wikidata Q3100389
History
- 2026-10-26: add by m2/dev
Cantor's paradox ND5M2JGRFX
| URI | m2://inv/ND5M2JGRFX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q379078, Cantor's paradox (unknown). Also MathWorld CantorsParadox, nLab Cantor's paradox
- wikipedia: Wikipedia Cantor's paradox, Cantor's paradox (statement). Also Wikidata Q379078
History
- 2026-10-26: add by m2/dev
Examples ND5SQZKMT7
| URI | m2://inv/ND5SQZKMT7 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Airy disk#2SH6, Examples (example)
History
- 2026-11-02: add by m2/dev
GIT quotient ND60DM89KE
| URI | m2://inv/ND60DM89KE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic geometry#472L, GIT quotient (definition)
History
- 2026-11-02: add by m2/dev
Udayana ND64WEPP70
| URI | m2://inv/ND64WEPP70 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Udayana, Udayana (topic). Also Wikidata Q3633956
History
- 2026-11-02: add by m2/dev
ND68MXMC3K ND68MXMC3K
| URI | m2://inv/ND68MXMC3K |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/cats/categories.tex#exercise-4 (exercise). In RZP28ERRZV, exercise, section 36.4
History
- 2026-11-01: add by m2/v0.6.13
Generalizations ND69WXHMQQ
| URI | m2://inv/ND69WXHMQQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Prouhet–Tarry–Escott problem#WFT4, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Brownian motion on sphere ND6ANZRP8H
| URI | m2://inv/ND6ANZRP8H |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03264#XC33, Brownian motion on sphere (example). In 5TXRSPPTHP/e1, example 1
History
- 2026-10-29: add by m2/v0.4.12
Distributive polytope ND6CH9SNPF
| URI | m2://inv/ND6CH9SNPF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Distributive polytope, Distributive polytope (definition). Also Wikidata Q85757142
History
- 2026-11-02: add by m2/dev
ND6H00C6GC ND6H00C6GC
| URI | m2://inv/ND6H00C6GC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1303.4328#IYKX (statement). In HCTYW6VH87/e1, lemma 8.12
History
- 2026-10-27: add by m2/v0.3.5
compact cardinal ND6J2H5R59
| URI | m2://inv/ND6J2H5R59 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#TVQS, compact cardinal (definition)
History
- 2026-11-02: add by m2/dev
ND6RH24PTC ND6RH24PTC
| URI | m2://inv/ND6RH24PTC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2601.01000#9H30 (statement). In RYFV9HGWWZ/e1, lemma 24
History
- 2026-10-27: add by m2/v0.3.5
Example ND6TP9X8BK
| URI | m2://inv/ND6TP9X8BK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Iterative proportional fitting#ZAOH, Example (example)
History
- 2026-11-02: add by m2/dev
ND6VS5MAS3 ND6VS5MAS3
| URI | m2://inv/ND6VS5MAS3 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_graphs_exercises.ptx#ex_graphs_degseq (exercise). In QKM9DD2H56, exercise, section 5
History
- 2026-11-01: add by m2/v0.6.13
Fibres and point kernels of a module ND6WFZ20X4
| URI | m2://inv/ND6WFZ20X4 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 13-XX, 14-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15887#WK4J, Fibres and point kernels of a module (definition). In 87QYNZZ67Z/e1, definition 4.1
History
- 2026-10-28: add by m2/v0.4.2
Naive Bayes classifier ND6YTHEMPV
| URI | m2://inv/ND6YTHEMPV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#BM68, Naive Bayes classifier (definition)
History
- 2026-11-02: add by m2/dev
ND75EACDM1 ND75EACDM1
| URI | m2://inv/ND75EACDM1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02852#WWCH (statement). In HX6FXCYGKA/e1, lemma 3.1
History
- 2026-10-29: add by m2/v0.4.12
ND78PV0BMP ND78PV0BMP
| URI | m2://inv/ND78PV0BMP |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 11-XX, 26-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14160#ZXKX (problem). In Y4TP36M0C7/e1, problem
History
- 2026-10-28: add by m2/v0.4.2
ND7AFQ3DPV ND7AFQ3DPV
| URI | m2://inv/ND7AFQ3DPV |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0904.0817#YHHW (definition). In 569FZDANV3/e1, definition 1.3
History
- 2026-10-27: add by m2/v0.3.5
tromino ND7Q0V6GJ7
| URI | m2://inv/ND7Q0V6GJ7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2981223, tromino (unknown). Also MathWorld Triomino
- wikipedia: Wikipedia Tromino, Tromino (definition). Also Wikidata Q2981223
History
- 2026-10-26: add by m2/dev
ND85EE0PDS ND85EE0PDS
| URI | m2://inv/ND85EE0PDS |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/CompleteInduction.tex#problem-5 (exercise). In P1C114YBXG, problem, section 1
History
- 2026-11-01: add by m2/v0.6.13
De divina proportione ND873X55RE
| URI | m2://inv/ND873X55RE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a book, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1067971, De divina proportione (unknown). Also ProofWiki Book:Fra_Luca_Pacioli/De_Divina_Proportione
- wikipedia: Wikipedia Divina proportione, Divina proportione (definition). Also Wikidata Q1067971
History
- 2026-10-26: add by m2/dev
\lean{worldly\_rule ND89C9XWV0
| URI | m2://inv/ND89C9XWV0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23143#5O5R, \lean{worldly\_rule (statement)
History
- 2026-11-02: add by m2/v0.6.17
Rothaus inequality on the entropy domain ND8CMA54WJ
| URI | m2://inv/ND8CMA54WJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06764#IHOW, Rothaus inequality on the entropy domain (statement). In MSWV3MJ5CE/e1, lemma 2.4
History
- 2026-10-29: add by m2/v0.4.10
ND8JM4BWTJ ND8JM4BWTJ
| URI | m2://inv/ND8JM4BWTJ |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2401.13523#68RG (example). In DDA62XQTWW/e1, example 2.12
History
- 2026-10-27: add by m2/v0.3.5
Pseudonymous remailer ND8NMFFQCY
| URI | m2://inv/ND8NMFFQCY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pseudonymous remailer, Pseudonymous remailer (definition). Also Wikidata Q944629
History
- 2026-11-02: add by m2/dev
ND8P3PDTJD ND8P3PDTJD
| URI | m2://inv/ND8P3PDTJD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2501.18744#ZPU7 (statement). In YRWZ02BGEF/e1, theorem 1.2
History
- 2026-10-27: add by m2/v0.3.5
Unipotent ND8PH552P1
| URI | m2://inv/ND8PH552P1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Unipotent, Unipotent (definition). Also Wikidata Q2494915
History
- 2026-11-02: add by m2/dev
regular relative degree ND8PRJ1CFK
| URI | m2://inv/ND8PRJ1CFK |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20018#25WL, regular relative degree (definition)
History
- 2026-11-02: add by m2/v0.6.18
Oblivious HTTP ND8T8DTM2M
| URI | m2://inv/ND8T8DTM2M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Oblivious HTTP, Oblivious HTTP (definition). Also Wikidata Q132951464
History
- 2026-11-02: add by m2/dev
Tipping points in the climate system ND8YM8VHJW
| URI | m2://inv/ND8YM8VHJW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tipping points in the climate system, Tipping points in the climate system (definition). Also Wikidata Q1011078
History
- 2026-11-02: add by m2/dev
pressure ND8YZXVTFF
| URI | m2://inv/ND8YZXVTFF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q39552, pressure (definition). Also nLab pressure, ProofWiki Definition:Pressure
History
- 2026-10-26: add by m2/dev
ND90DZ8QCY ND90DZ8QCY
| URI | m2://inv/ND90DZ8QCY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10790#07W0 (statement). In HHQ6P3RRB8/e1, proposition 3.3
History
- 2026-10-28: add by m2/v0.4.3
Weak order of permutations ND937S4QRW
| URI | m2://inv/ND937S4QRW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inversion (discrete mathematics)#H4CW, Weak order of permutations (unknown)
History
- 2026-11-02: add by m2/dev
eigenline ND94S9W6ZR
| URI | m2://inv/ND94S9W6ZR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eigenvalues and eigenvectors#OD8R, eigenline (definition)
History
- 2026-11-02: add by m2/dev
Example ND97DMBGMJ
| URI | m2://inv/ND97DMBGMJ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Periodic continued fraction#YTVU, Example (example)
History
- 2026-11-02: add by m2/dev
Thought-terminating cliché ND99TCQTD9
| URI | m2://inv/ND99TCQTD9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fallacies#L4GY, Thought-terminating cliché (unknown)
History
- 2026-11-02: add by m2/dev
ND9CDA87DN ND9CDA87DN
| URI | m2://inv/ND9CDA87DN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-XX, 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01208#TWO4 (statement). In 317GZJ38HS/e1, lemma 5.2
History
- 2026-10-29: add by m2/v0.4.12
ND9FX59HPQ ND9FX59HPQ
| URI | m2://inv/ND9FX59HPQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39505#GIIN (statement). In WAXS6FS388/e1, lemma 4.14
History
- 2026-10-30: add by m2/v0.4.12
distributivity ND9GKV6JXB
| URI | m2://inv/ND9GKV6JXB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#CZB2, distributivity (definition)
History
- 2026-11-02: add by m2/dev
Examples ND9NNKSZYM
| URI | m2://inv/ND9NNKSZYM |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Secure cryptoprocessor#03H6, Examples (example)
History
- 2026-11-02: add by m2/dev
Masyu ND9P8HD7B8
| URI | m2://inv/ND9P8HD7B8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Masyu, Masyu (definition). Also Wikidata Q477458
History
- 2026-11-02: add by m2/dev
ND9PH6BXAG ND9PH6BXAG
| URI | m2://inv/ND9PH6BXAG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2603.26376#JUKT (statement). In PJAT9YDX7Y/e1, corollary 3.11
History
- 2026-10-27: add by m2/v0.4.0
Microplasticity ND9PYGAV5T
| URI | m2://inv/ND9PYGAV5T |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Plasticity (physics)#8EBA, Microplasticity (unknown)
History
- 2026-11-02: add by m2/dev
Joint probability distribution NDA5MVC20H
| URI | m2://inv/NDA5MVC20H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#1G7O, Joint probability distribution (definition)
History
- 2026-11-02: add by m2/dev
Vasa Mihich NDA9N2SSBW
| URI | m2://inv/NDA9N2SSBW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#6F7W, Vasa Mihich (unknown)
History
- 2026-11-02: add by m2/dev
NDAGGQP3MK NDAGGQP3MK
| URI | m2://inv/NDAGGQP3MK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31127#RHXI (statement). In NS3RZ26JC7/e1, lemma 9
History
- 2026-10-31: add by m2/v0.5.6
Consequence NDAKQAF5WC
| URI | m2://inv/NDAKQAF5WC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08198#IOYA, Consequence (statement). In 50K0H8HRED/e1, theorem 3.3
History
- 2026-10-29: add by m2/v0.4.10
completion, Rezk NDAPH80P1V
| URI | m2://inv/NDAPH80P1V |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/C.1.3/completion-rezk, completion, Rezk (concept). In N54F33XE07, index, section C.1.3
History
- 2026-11-01: add by m2/v0.6.13
Convergence theorems NDAT377W5S
| URI | m2://inv/NDAT377W5S |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fourier series#X3L6, Convergence theorems (statement)
History
- 2026-11-02: add by m2/dev
NDB0NZ9NVA NDB0NZ9NVA
| URI | m2://inv/NDB0NZ9NVA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16563#UMZF (statement). In V51HCA9ZAA/e1, lemma 2.3
History
- 2026-10-28: add by m2/v0.4.2
NDB9QNPFG8 NDB9QNPFG8
| URI | m2://inv/NDB9QNPFG8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13799#L5XD (statement). In HECT28CM5V/e1, lemma 3
History
- 2026-10-28: add by m2/v0.4.2
10^27 NDBADGS5J1
| URI | m2://inv/NDBADGS5J1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3412616, 10^27 (unknown). Also MathWorld Octillion
History
- 2026-10-26: add by m2/dev
Circle NDBDT7RH4Z
| URI | m2://inv/NDBDT7RH4Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of manifolds#XPLJ, Circle (definition)
History
- 2026-11-02: add by m2/dev
NDBFEXXNW1 NDBFEXXNW1
| URI | m2://inv/NDBFEXXNW1 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/quotient.tex#problem-7 (exercise). In RZP28ERRZV, problem, section 3.6
History
- 2026-11-01: add by m2/v0.6.13
Gary Blackney NDBH6N0JHB
| URI | m2://inv/NDBH6N0JHB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#ZGCN, Gary Blackney (unknown)
History
- 2026-11-02: add by m2/dev
NDBMJBA890 NDBMJBA890
| URI | m2://inv/NDBMJBA890 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16362#R6JQ (statement). In 4NJ4T3DEQB/e1, lemma 1.3
History
- 2026-10-28: add by m2/v0.4.2
Linear inequality NDBNF83PPE
| URI | m2://inv/NDBNF83PPE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#TB5B, Linear inequality (statement)
History
- 2026-11-02: add by m2/dev
Wilhelm Ackermann NDBQSTQWBD
| URI | m2://inv/NDBQSTQWBD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q61037, Wilhelm Ackermann (unknown). Also nLab Wilhelm Ackermann
- wikipedia: Wikipedia Wilhelm Ackermann, Wilhelm Ackermann (topic). Also Wikidata Q61037
History
- 2026-10-26: add by m2/dev
Cartesian product structure NDBT1FSY3G
| URI | m2://inv/NDBT1FSY3G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13429#L86Q, Cartesian product structure (statement). In B2VB5T5WQD/e1, lemma 2.6
History
- 2026-10-28: add by m2/v0.4.2
Query budget and sampling error NDBTBTVRHP
| URI | m2://inv/NDBTBTVRHP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30808#HV9X, Query budget and sampling error (statement). In 4JCFPV48VG/e1, corollary 6.2
History
- 2026-10-31: add by m2/v0.5.6
NDC24WBBBK NDC24WBBBK
| URI | m2://inv/NDC24WBBBK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14616#E556 (statement). In 17ACAG0N9C/e1, lemma 5.9
History
- 2026-10-28: add by m2/v0.4.2
Wolfgang Dahmen NDC7SP4TRD
| URI | m2://inv/NDC7SP4TRD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#8FD8, Wolfgang Dahmen (topic)
History
- 2026-11-02: add by m2/dev
NDC89MA632 NDC89MA632
| URI | m2://inv/NDC89MA632 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2207.07461#Q1VE (statement). In GAG532VMPF/e1, proposition 6.1.2
History
- 2026-10-27: add by m2/v0.3.5
The marks NDCDY4Z4QG
| URI | m2://inv/NDCDY4Z4QG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06490#UI17, The marks (statement). In NKXTXH59P1/e1, lemma E.13
History
- 2026-10-29: add by m2/v0.4.10
NDCMEZY0Y7 NDCMEZY0Y7
| URI | m2://inv/NDCMEZY0Y7 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/IntroQuantification.tex#problem-7 (exercise). In P1C114YBXG, problem, section D
History
- 2026-11-01: add by m2/v0.6.13
Sarah Woodhead NDCQGYBDXW
| URI | m2://inv/NDCQGYBDXW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sarah Woodhead, Sarah Woodhead (topic). Also Wikidata Q21062218
History
- 2026-11-02: add by m2/dev
NDCZE26B7E NDCZE26B7E
| URI | m2://inv/NDCZE26B7E |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia NC (complexity)#YJW6 (problem)
History
- 2026-11-02: add by m2/dev
NDD1YDDES8 NDD1YDDES8
| URI | m2://inv/NDD1YDDES8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 37-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2409.00806#EIMO (statement). In SBN06J39DG/e1, lemma 2.3
History
- 2026-10-27: add by m2/v0.3.5
Theorem NDD3QW063M
| URI | m2://inv/NDD3QW063M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exponential mechanism#S2GH, Theorem (statement)
History
- 2026-11-02: add by m2/dev
NDDHGEDTA6 NDDHGEDTA6
| URI | m2://inv/NDDHGEDTA6 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01737#4NIA (definition). In M4JGP708F4/e1, definition 4.24
History
- 2026-10-29: add by m2/v0.4.12
Properties NDDN2NJ23K
| URI | m2://inv/NDDN2NJ23K |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Perverse sheaf#4X24, Properties (statement)
History
- 2026-11-02: add by m2/dev
Compound of two great inverted snub icosidodecahedra NDDXJ2Z2DF
| URI | m2://inv/NDDXJ2Z2DF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Compound of two great inverted snub icosidodecahedra, Compound of two great inverted snub icosidodecahedra (definition). Also Wikidata Q5156911
History
- 2026-11-02: add by m2/dev
NDE0XK9HNG NDE0XK9HNG
| URI | m2://inv/NDE0XK9HNG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 37-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31883#W4TI (statement). In XBHQRTBH62/e1, lemma 1.8
History
- 2026-10-31: add by m2/v0.5.6
Statement NDE6ETN17P
| URI | m2://inv/NDE6ETN17P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Frobenius's theorem (group theory)#Q0SY, Statement (statement)
History
- 2026-11-02: add by m2/dev
Cathy A. Cowan NDEFC1FJER
| URI | m2://inv/NDEFC1FJER |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cathy A. Cowan, Cathy A. Cowan (topic). Also Wikidata Q21449955
History
- 2026-11-02: add by m2/dev
NDEFHHPRNS NDEFHHPRNS
| URI | m2://inv/NDEFHHPRNS |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 13-XX, 19-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2505.05539#630K (definition). In 8SVVEVGMNE/e1, definition 2.4
History
- 2026-10-27: add by m2/v0.3.5
NDEH1A8ZV9 NDEH1A8ZV9
| URI | m2://inv/NDEH1A8ZV9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29326#G518 (statement). In 3F83V6VKKA/e1, lemma 4.3
History
- 2026-10-27: add by m2/v0.3.6
NDERM0QCZH NDERM0QCZH
| URI | m2://inv/NDERM0QCZH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31220#YE30 (statement). In JMWCGMNE84/e1, lemma 5.1
History
- 2026-10-31: add by m2/v0.5.6
NDEW8CX6P6 NDEW8CX6P6
| URI | m2://inv/NDEW8CX6P6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20466#IHFI (statement). In M4ZVJWM8YA/e1, lemma 3.6
History
- 2026-10-27: add by m2/v0.4.2
Definitions NDEYW1ZHQN
| URI | m2://inv/NDEYW1ZHQN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Poisson binomial distribution#FFFM, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Unknotting problem NDEZE3Q0B9
| URI | m2://inv/NDEZE3Q0B9 |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of knot theory topics#CQDY, Unknotting problem (conjecture)
History
- 2026-11-02: add by m2/dev
NDF60NE52A NDF60NE52A
| URI | m2://inv/NDF60NE52A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21528#09XO (statement)
History
- 2026-11-02: add by m2/v0.6.18
Call-by-need NDF818Z11P
| URI | m2://inv/NDF818Z11P |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Evaluation strategy#DG9K, Call-by-need (unknown)
History
- 2026-11-02: add by m2/dev
NDF9N8XZ4C NDF9N8XZ4C
| URI | m2://inv/NDF9N8XZ4C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16886#DWH7 (statement). In Y8QQAH7VCF/e1, proposition 2.1
History
- 2026-10-28: add by m2/v0.4.2
Criminal law NDFKK81AC4
| URI | m2://inv/NDFKK81AC4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Noise: A Flaw in Human Judgment#EJFJ, Criminal law (statement)
History
- 2026-11-02: add by m2/dev
NDG0CM8X9W NDG0CM8X9W
| URI | m2://inv/NDG0CM8X9W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2205.15365#JLX6 (statement). In R2XC1SC9NZ/e1, theorem 8
History
- 2026-10-27: add by m2/v0.3.5
successor ordinal NDG25ER8Q5
| URI | m2://inv/NDG25ER8Q5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1191286, successor ordinal (definition). Also MathWorld Successor, nLab successor, ProofWiki Definition:Successor_Ordinal
- wikipedia: Wikipedia Successor ordinal, Successor ordinal (definition). Also Wikidata Q1191286
History
- 2026-10-26: add by m2/dev
Notation NDG511F5E0
| URI | m2://inv/NDG511F5E0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spaces of test functions and distributions#ARMO, Notation (definition)
History
- 2026-11-02: add by m2/dev
Conservation of momentum NDG7RM2QE4
| URI | m2://inv/NDG7RM2QE4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical topics in classical mechanics#HCED, Conservation of momentum (definition)
History
- 2026-11-02: add by m2/dev
Construction NDG90B8W6V
| URI | m2://inv/NDG90B8W6V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pentagonal gyrobicupola#X2HR, Construction (definition)
History
- 2026-11-02: add by m2/dev
Audio compression (data) NDGB2HZXSR
| URI | m2://inv/NDGB2HZXSR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Data compression#CEX3, Audio compression (data) (unknown)
History
- 2026-11-02: add by m2/dev
Statistical geography NDGKD7CSPN
| URI | m2://inv/NDGKD7CSPN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#XURU, Statistical geography (topic)
History
- 2026-11-02: add by m2/dev
NDGNWVF43P NDGNWVF43P
| URI | m2://inv/NDGNWVF43P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23287#UAIH (statement)
History
- 2026-11-02: add by m2/v0.6.17
the second-order system to the first-order form NDGQB512YM
| URI | m2://inv/NDGQB512YM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27966#7JO3, the second-order system to the first-order form (statement)
History
- 2026-11-01: add by m2/v0.6.15
NDGTAT7PGT NDGTAT7PGT
| URI | m2://inv/NDGTAT7PGT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2607.00146#QVA0 (statement). In 6KR7Z5ETRY/e1, proposition 2.15
History
- 2026-10-27: add by m2/v0.3.5
Gauss map NDGZJY5CYJ
| URI | m2://inv/NDGZJY5CYJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q575710, Gauss map (unknown). Also MathWorld GaussMap
- wikipedia: Wikipedia Gauss map, Gauss map (definition). Also Wikidata Q575710
History
- 2026-10-26: add by m2/dev
NDH50P9K13 NDH50P9K13
| URI | m2://inv/NDH50P9K13 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 01-XX, 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06338#2RJ3 (statement). In F1CYVYK7YB/e1, proposition 9.10
History
- 2026-10-29: add by m2/v0.4.10
NDH902CC3G NDH902CC3G
| URI | m2://inv/NDH902CC3G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#defn-19 (definition). In VNMV985MXX, defn, section 3.2
History
- 2026-11-01: add by m2/v0.6.13
NDHB8N4FQF NDHB8N4FQF
| URI | m2://inv/NDHB8N4FQF |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11455#KJKT (definition). In Z1EBVH5SP1/e1, definition 3.2
History
- 2026-10-28: add by m2/v0.4.3
NDHE62ZFZW NDHE62ZFZW
| URI | m2://inv/NDHE62ZFZW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17135#Z62R (statement). In XX1J2REXY2/e1, proposition 3.8
History
- 2026-10-28: add by m2/v0.4.2
Examples NDHF1YTSZ9
| URI | m2://inv/NDHF1YTSZ9 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Composition ring#M4NH, Examples (example)
History
- 2026-11-02: add by m2/dev
NDHM6VXDMS NDHM6VXDMS
| URI | m2://inv/NDHM6VXDMS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33406#VPS3 (statement). In B23TX8G4E4/e1, lemma 3.2
History
- 2026-10-30: add by m2/v0.4.12
Random Search NDHTA19BZT
| URI | m2://inv/NDHTA19BZT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#ZDO0, Random Search (definition)
History
- 2026-11-02: add by m2/dev
string, ternary NDHV0KRP80
| URI | m2://inv/NDHV0KRP80 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/2.1/string-ternary, string, ternary (concept). In QKM9DD2H56, index, section 2.1
History
- 2026-11-01: add by m2/v0.6.13
NDHVKWBDCC NDHVKWBDCC
| URI | m2://inv/NDHVKWBDCC |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-higher-order-ode.tex#exercise-62 (exercise). In E9HS8K3A52, exercise, section 6.5.4
History
- 2026-11-01: add by m2/v0.6.13
Glendalough NDHW7YC5X5
| URI | m2://inv/NDHW7YC5X5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#LM93, Glendalough (unknown)
History
- 2026-11-02: add by m2/dev
Theodore James Courant NDHWYE4ARV
| URI | m2://inv/NDHWYE4ARV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7781851, Theodore James Courant (unknown). Also nLab Theodore Courant
- wikipedia: Wikipedia Theodore James Courant, Theodore James Courant (topic). Also Wikidata Q7781851
History
- 2026-10-26: add by m2/dev
Love Triangle NDHXA88EZF
| URI | m2://inv/NDHXA88EZF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Love Triangle (book), Love Triangle (definition). Also Wikidata Q131626258
History
- 2026-11-02: add by m2/dev
Herbrand quotient NDJ206TXDF
| URI | m2://inv/NDJ206TXDF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Herbrand quotient, Herbrand quotient (definition). Also Wikidata Q5736206
History
- 2026-11-02: add by m2/dev
NDJC96P2SX NDJC96P2SX
| URI | m2://inv/NDJC96P2SX |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conway's 99-graph problem#MV0L (problem)
History
- 2026-11-02: add by m2/dev
NDJQJHK0VR NDJQJHK0VR
| URI | m2://inv/NDJQJHK0VR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09812#2X04 (statement). In NWWKD8YX57/e1, proposition 4.3
History
- 2026-10-29: add by m2/v0.4.10
Lemma NDJVQW7RME
| URI | m2://inv/NDJVQW7RME |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gordan's lemma#S0S3, Lemma (statement)
History
- 2026-11-02: add by m2/dev
NDJW9QWWAN NDJW9QWWAN
| URI | m2://inv/NDJW9QWWAN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38436#1T5V (statement). In 702AF3E4AF/e1, theorem 3.3
History
- 2026-10-30: add by m2/v0.4.12
NDK85PYAR1 NDK85PYAR1
| URI | m2://inv/NDK85PYAR1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18709#5JBX (statement). In K7VY50VFK6/e1, lemma 12.1
History
- 2026-10-28: add by m2/v0.4.2
NDK8AH7SVP NDK8AH7SVP
| URI | m2://inv/NDK8AH7SVP |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-fourier-and-pde.tex#exercise-107 (exercise). In E9HS8K3A52, exercise, section 5.9.1
History
- 2026-11-01: add by m2/v0.6.13
Study design NDKAG9XDBF
| URI | m2://inv/NDKAG9XDBF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#O0HT, Study design (definition)
History
- 2026-11-02: add by m2/dev
6128 NDKARM2GGX
| URI | m2://inv/NDKARM2GGX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 6000 (number)#7JPY, 6128 (unknown)
History
- 2026-11-02: add by m2/dev
NDKATJ87MG NDKATJ87MG
| URI | m2://inv/NDKATJ87MG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2207.07461#KSHR (statement). In GAG532VMPF/e1, proposition 6.1.5
History
- 2026-10-27: add by m2/v0.3.5
NDKE5BZPTM NDKE5BZPTM
| URI | m2://inv/NDKE5BZPTM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08145#S9MS (statement). In N0QVPPFFC3/e1, lemma 3.2
History
- 2026-10-29: add by m2/v0.4.10
NDKP62GJG9 NDKP62GJG9
| URI | m2://inv/NDKP62GJG9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0709.4546#7PMN (statement). In 7H5Q5M7W96/e1, theorem 2.3
History
- 2026-10-27: add by m2/v0.3.5
Isidore Isaac Hirschman Jr. NDKQJB2TYZ
| URI | m2://inv/NDKQJB2TYZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Isidore Isaac Hirschman Jr., Isidore Isaac Hirschman Jr. (topic). Also Wikidata Q6080929
History
- 2026-11-02: add by m2/dev
Riemann–von Mangoldt formula NDM0PRH293
| URI | m2://inv/NDM0PRH293 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Bernhard Riemann#XHKP, Riemann–von Mangoldt formula (statement)
History
- 2026-11-02: add by m2/dev
NDM6CDP39J NDM6CDP39J
| URI | m2://inv/NDM6CDP39J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 37-XX, 47-XX, 53-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29188#JCCS (statement)
History
- 2026-11-01: add by m2/v0.6.15
Scallop theorem NDMDH4FA6Q
| URI | m2://inv/NDMDH4FA6Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Scallop theorem, Scallop theorem (statement). Also Wikidata Q7429791
History
- 2026-11-02: add by m2/dev
NDMGQ2ETZ9 NDMGQ2ETZ9
| URI | m2://inv/NDMGQ2ETZ9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39317#AJ7C (statement). In QM1T8JDK4A/e1, proposition 6.12
History
- 2026-10-30: add by m2/v0.4.12
NDMYE82W5K NDMYE82W5K
| URI | m2://inv/NDMYE82W5K |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-XX, 46-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24901#W23E (definition)
History
- 2026-11-01: add by m2/v0.6.15
NDN0DMRZKR NDN0DMRZKR
| URI | m2://inv/NDN0DMRZKR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14236#FYQ8 (statement). In XEQD21EBTT/e1, theorem 1.9
History
- 2026-10-28: add by m2/v0.4.2
NDN1R0R9XP NDN1R0R9XP
| URI | m2://inv/NDN1R0R9XP |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36884#2VX5 (example). In Z7E16PFFCP/e1, example 5.3
History
- 2026-10-30: add by m2/v0.4.12
Steve Horvath NDN53B04AF
| URI | m2://inv/NDN53B04AF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#Q08H, Steve Horvath (unknown)
History
- 2026-11-02: add by m2/dev
NDN5BGH9BG NDN5BGH9BG
| URI | m2://inv/NDN5BGH9BG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01368#J19C (statement). In 4ER0Z2TGN8/e1, proposition 2
History
- 2026-10-29: add by m2/v0.4.12
Martin Eichler NDNGPR8H6V
| URI | m2://inv/NDNGPR8H6V |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#Z0YR, Martin Eichler (topic)
History
- 2026-11-02: add by m2/dev
NDNR7ARTJX NDNR7ARTJX
| URI | m2://inv/NDNR7ARTJX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15631#4NJ4 (statement). In AF465QFRGQ/e1, lemma V.2
History
- 2026-10-28: add by m2/v0.4.2
Duncan Sommerville NDNS9CDFMM
| URI | m2://inv/NDNS9CDFMM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5314611, Duncan Sommerville (unknown). Also ProofWiki Mathematician:Duncan_MacLaren_Young_Sommerville
- wikipedia: Wikipedia Duncan Sommerville, Duncan Sommerville (topic). Also Wikidata Q5314611
History
- 2026-10-26: add by m2/dev
NDNV8J42KF NDNV8J42KF
| URI | m2://inv/NDNV8J42KF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15881#QSDT (statement). In RK0JCSYK33/e1, lemma 3.12
History
- 2026-10-28: add by m2/v0.4.2
Theorem NDP7WJ1GB1
| URI | m2://inv/NDP7WJ1GB1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hilbert's fourth problem#QYHH, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Examples NDPAJNVWCC
| URI | m2://inv/NDPAJNVWCC |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Absolutely and completely monotonic functions and sequences#NDZL, Examples (example)
History
- 2026-11-02: add by m2/dev
NDPCHNQMER NDPCHNQMER
| URI | m2://inv/NDPCHNQMER |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34213#JGTW (statement). In KGP6NAY0NS/e1, lemma 4
History
- 2026-10-30: add by m2/v0.4.12
NDPD4PSQ4Y NDPD4PSQ4Y
| URI | m2://inv/NDPD4PSQ4Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04870#TSPD (statement). In X765ZXXVC3/e1, proposition 5.8
History
- 2026-10-29: add by m2/v0.4.12
NDPF61JK7S NDPF61JK7S
| URI | m2://inv/NDPF61JK7S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2605.10911#07FI (statement). In Y23VR7N90M/e1, theorem 14
History
- 2026-10-27: add by m2/v0.3.5
Abhyankar–Moh theorem NDPHM4E2RE
| URI | m2://inv/NDPHM4E2RE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#HLIH, Abhyankar–Moh theorem (statement)
History
- 2026-11-02: add by m2/dev
NDPPAE8364 NDPPAE8364
| URI | m2://inv/NDPPAE8364 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32374#ZWVM (statement). In 96D6N9AXQM/e1, theorem 2.1
History
- 2026-10-31: add by m2/v0.5.6
Jacob Fox NDPW8YFTHP
| URI | m2://inv/NDPW8YFTHP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#THZ7, Jacob Fox (unknown)
History
- 2026-11-02: add by m2/dev
NDPXS89YDS NDPXS89YDS
| URI | m2://inv/NDPXS89YDS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28365#A4GP (statement)
History
- 2026-11-01: add by m2/v0.6.15
NDQCGZF5ZB NDQCGZF5ZB
| URI | m2://inv/NDQCGZF5ZB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 18-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07695#W7QY (statement). In 8Z47D12KSX/e1, proposition 10.6
History
- 2026-10-29: add by m2/v0.4.10
NDQCR1JTPF NDQCR1JTPF
| URI | m2://inv/NDQCR1JTPF |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/set-theory/cardinal.tex#prob:strongly_inaccessible (exercise). In RZP28ERRZV, sproblem, section 89.7
History
- 2026-11-01: add by m2/v0.6.13
NDQER2C3A9 NDQER2C3A9
| URI | m2://inv/NDQER2C3A9 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/measure/martingale.tex#proof-4 (proof). In RZP28ERRZV, proof, section 66.5
History
- 2026-11-01: add by m2/v0.6.13
NDQJ62X28C NDQJ62X28C
| URI | m2://inv/NDQJ62X28C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04411#6UDB (statement). In 6AY8SX3XBW/e1, lemma 5.1
History
- 2026-10-29: add by m2/v0.4.12
Extension from a truncated weave NDQNGGQ3D7
| URI | m2://inv/NDQNGGQ3D7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12531#7GDR, Extension from a truncated weave (statement). In D6RAQZ2DSK/e1, lemma 4.3
History
- 2026-10-28: add by m2/v0.4.2
NDQSJNT7ZB NDQSJNT7ZB
| URI | m2://inv/NDQSJNT7ZB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 37-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18929#FU4M (statement). In ZRJ2DZT6P1/e1, lemma 3.3
History
- 2026-10-28: add by m2/v0.4.2
Inverse function theorem NDQXGD78DY
| URI | m2://inv/NDQXGD78DY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nakayama's lemma#YU29, Inverse function theorem (statement)
History
- 2026-11-02: add by m2/dev
NDR1TJCQQH NDR1TJCQQH
| URI | m2://inv/NDR1TJCQQH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24314#9SW6 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Maryanthe Malliaris NDR8QVWCE4
| URI | m2://inv/NDR8QVWCE4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#VE2R, Maryanthe Malliaris (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#7UQN, Maryanthe Malliaris (unknown)
History
- 2026-11-02: add by m2/dev
NDRFGCKKSE NDRFGCKKSE
| URI | m2://inv/NDRFGCKKSE |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-systems.tex#exercise-87 (exercise). In E9HS8K3A52, exercise, section 10.8.6
History
- 2026-11-01: add by m2/v0.6.13
NDRN9DJNYC NDRN9DJNYC
| URI | m2://inv/NDRN9DJNYC |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 46-XX, 47-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1711.00219#PA6I (definition). In 7V3HG30ZGW/e1, definition 3.10
History
- 2026-10-27: add by m2/v0.4.0
Example NDRP18240F
| URI | m2://inv/NDRP18240F |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia OpenMath#1EL3, Example (example)
History
- 2026-11-02: add by m2/dev
Notation NDRQAH38FF
| URI | m2://inv/NDRQAH38FF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Presentation of a group#JEAL, Notation (definition)
History
- 2026-11-02: add by m2/dev
P-space NDRQTGJDXE
| URI | m2://inv/NDRQTGJDXE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia P-space, P-space (definition). Also Wikidata Q17118682
History
- 2026-11-02: add by m2/dev
NDRYJRSV46 NDRYJRSV46
| URI | m2://inv/NDRYJRSV46 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20798#684P (statement)
History
- 2026-11-02: add by m2/v0.6.18
language NDRYV88EFY
| URI | m2://inv/NDRYV88EFY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Logic and computation > Formal languages > language, language (unknown). Also Mathlib Language
History
- 2026-10-26: add by m2/dev
NDS0CD34CE NDS0CD34CE
| URI | m2://inv/NDS0CD34CE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24078#5O87 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Hryhoriy Surkis NDS5YW5T0K
| URI | m2://inv/NDS5YW5T0K |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#O748, Hryhoriy Surkis (unknown)
History
- 2026-11-02: add by m2/dev
pseudotree NDS9YJ37WQ
| URI | m2://inv/NDS9YJ37WQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q126833802, pseudotree (unknown). Also MathWorld Pseudotree
History
- 2026-10-26: add by m2/dev
Stable-Set Bound NDSAH8QM8D
| URI | m2://inv/NDSAH8QM8D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24878#P17O, Stable-Set Bound (statement)
History
- 2026-11-01: add by m2/v0.6.15
Rung B: from $H_{1}\big(SC_{n}(R_{w,2};1;1)\big)$ to $H_{1}\big(SC_{n}(R_{w,2};1)\big)$ NDSFPZT9A8
| URI | m2://inv/NDSFPZT9A8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12633#06E6, Rung B: from $H_{1}\big(SC_{n}(R_{w,2};1;1)\big)$ to $H_{1}\big(SC_{n}(R_{w,2};1)\big)$ (statement). In NGZ5AZ70NN/e1, proposition 3.8
History
- 2026-10-28: add by m2/v0.4.2
NDSM0947BK NDSM0947BK
| URI | m2://inv/NDSM0947BK |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06707#V1HO (definition). In 9TR5E527P5/e1, definition 2.1
History
- 2026-10-29: add by m2/v0.4.10
Kantar TNS NDST6MHHZ8
| URI | m2://inv/NDST6MHHZ8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polling organizations#7O4C, Kantar TNS (unknown)
History
- 2026-11-02: add by m2/dev
harmonic oscillator NDTA24VJMF
| URI | m2://inv/NDTA24VJMF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Harmonic oscillator 0YG0ZJPTWG |
Mentions
- wikidata: Wikidata Q190070, harmonic oscillator (definition). Also nLab Harmonic oscillator, ProofWiki Definition:Harmonic_Oscillator
- wikipedia: Wikipedia Harmonic oscillator, Harmonic oscillator (definition). Also Wikidata Q190070
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
NDTBHV3KFK NDTBHV3KFK
| URI | m2://inv/NDTBHV3KFK |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27295#BHHD (definition)
History
- 2026-11-01: add by m2/v0.6.15
q-Racah polynomials NDTCMEK3H3
| URI | m2://inv/NDTCMEK3H3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of q-analogs#MR2Y, q-Racah polynomials (definition)
History
- 2026-11-02: add by m2/dev
NDTENKYJ2M NDTENKYJ2M
| URI | m2://inv/NDTENKYJ2M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15460#3UOX (statement). In T2Z3D2VQ9B/e1, proposition 3.3
History
- 2026-10-28: add by m2/v0.4.2
in $\Z$ + Weak-Reflection NDTG9TKA9M
| URI | m2://inv/NDTG9TKA9M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/replacement/refproofs.tex#thm:replacement, in $\Z$ + Weak-Reflection (statement). In PKGMM3P5QY, thm, section 73.11
History
- 2026-11-01: add by m2/v0.6.13
*{Definitions 3.1.1, 3.2.1, 3.3.2 NDTKQTJFY6
| URI | m2://inv/NDTKQTJFY6 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23341#2KYB, *{Definitions 3.1.1, 3.2.1, 3.3.2 (definition)
History
- 2026-11-02: add by m2/v0.6.17
NDTSZJZ9G0 NDTSZJZ9G0
| URI | m2://inv/NDTSZJZ9G0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26001#ITC8 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Oscar Bruno NDTWKBCJT6
| URI | m2://inv/NDTWKBCJT6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#065C, Oscar Bruno (topic)
History
- 2026-11-02: add by m2/dev
NDV5N1AXWP NDV5N1AXWP
| URI | m2://inv/NDV5N1AXWP |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book categories.tex#proof-23 (proof). In N54F33XE07, proof, section 2.5
History
- 2026-11-01: add by m2/v0.6.13
NDV7Q4594W NDV7Q4594W
| URI | m2://inv/NDV7Q4594W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19437#I25G (statement). In 9PXXGQ978Z/e1, lemma 4.13
History
- 2026-10-28: add by m2/v0.4.2
NDVAA72SJA NDVAA72SJA
| URI | m2://inv/NDVAA72SJA |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1903.07030#C9MG (definition). In 9H45HQE7AZ/e1, definition 3.3
History
- 2026-10-27: add by m2/v0.3.5
solvable group NDVKCTT0R6
| URI | m2://inv/NDVKCTT0R6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Solvable group 0FXJ7YFMMX |
Mentions
- wikidata: Wikidata Q759832, solvable group (definition). Also EoM Solvable_group, LMFDB knowl group.solvable, Mathlib IsSolvable, MathWorld SolvableGroup, nLab solvable group, ProofWiki Definition:Solvable_Group
- wikipedia: Wikipedia Solvable group, Solvable group (definition). Also Wikidata Q759832
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Calabi--Yau double cover and isolation of the local sector NDVSPT1ZK9
| URI | m2://inv/NDVSPT1ZK9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10828#HXDS, Calabi--Yau double cover and isolation of the local sector (statement). In 8PTDFHV8SQ/e1, theorem 14.3
History
- 2026-10-28: add by m2/v0.4.3
John Darwin NDVTD3VXG5
| URI | m2://inv/NDVTD3VXG5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia John Darwin (statistician), John Darwin (topic). Also Wikidata Q6228602
History
- 2026-11-02: add by m2/dev
The four statement-level objects NDW8J32R03
| URI | m2://inv/NDW8J32R03 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07905#PZMR, The four statement-level objects (definition). In 88GEN3Z5VG/e1, definition 2.1
History
- 2026-10-29: add by m2/v0.4.10
NDWA6YWQTP NDWA6YWQTP
| URI | m2://inv/NDWA6YWQTP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24355#I9K8 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Laura Guggenbühl NDWDSC8NZZ
| URI | m2://inv/NDWDSC8NZZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Laura Guggenbühl, Laura Guggenbühl (topic). Also Wikidata Q42798793
History
- 2026-11-02: add by m2/dev
NDWKYZRJY0 NDWKYZRJY0
| URI | m2://inv/NDWKYZRJY0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14435#PMWA (statement). In Y9FSN5BVNQ/e1, lemma 1
History
- 2026-10-28: add by m2/v0.4.2
NDWN62FR3G NDWN62FR3G
| URI | m2://inv/NDWN62FR3G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14811#SKFB (statement). In QA5CM6HNM1/e1, theorem 15.2
History
- 2026-10-28: add by m2/v0.4.2
NDX51KAH2A NDX51KAH2A
| URI | m2://inv/NDX51KAH2A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26762#FYYS (statement)
History
- 2026-11-01: add by m2/v0.6.15
sequence NDX8VH3K6R
| URI | m2://inv/NDX8VH3K6R |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/B.4/sequence, sequence (concept). In N54F33XE07, index, section B.4
History
- 2026-11-01: add by m2/v0.6.13
NDXE25D8P7 NDXE25D8P7
| URI | m2://inv/NDXE25D8P7 |
|---|---|
| Kind | counterexample |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33469#LFZX (counterexample). In TC5QA4AB4Z/e1, counterexample 3.10
History
- 2026-10-30: add by m2/v0.4.12
Applications NDXRY5WBEK
| URI | m2://inv/NDXRY5WBEK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Compressed sensing#YT56, Applications (example)
History
- 2026-11-02: add by m2/dev
mathematics, classical NDXS50FQGM
| URI | m2://inv/NDXS50FQGM |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/2/mathematics-classical, mathematics, classical (concept). In N54F33XE07, index, section 2
History
- 2026-11-01: add by m2/v0.6.13
Sheldon M. Ross NDXWCFF6RN
| URI | m2://inv/NDXWCFF6RN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sheldon M. Ross, Sheldon M. Ross (topic). Also Wikidata Q77084047
History
- 2026-11-02: add by m2/dev
Eremitage NDXZGW1QEW
| URI | m2://inv/NDXZGW1QEW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#RZWD, Eremitage (unknown)
History
- 2026-11-02: add by m2/dev
Cauchy, sequence NDY8F3DZSP
| URI | m2://inv/NDY8F3DZSP |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/B.6/cauchy-sequence, Cauchy, sequence (concept). In N54F33XE07, index, section B.6
History
- 2026-11-01: add by m2/v0.6.13
NDYF86GTPY NDYF86GTPY
| URI | m2://inv/NDYF86GTPY |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-multivar-int.tex#proof-24 (proof). In E59CDZA4DP, proof, section 5.7
History
- 2026-11-01: add by m2/v0.6.13
Labourie NDYJP4HVBM
| URI | m2://inv/NDYJP4HVBM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32300#XBHC, Labourie (statement). In VNE8N0D2FB/e1, theorem 4.7
History
- 2026-10-31: add by m2/v0.5.6
Georgian Mathematical Union NDYM4V9T24
| URI | m2://inv/NDYM4V9T24 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical societies#5NOG, Georgian Mathematical Union (definition)
History
- 2026-11-02: add by m2/dev
NDYPMX1JZW NDYPMX1JZW
| URI | m2://inv/NDYPMX1JZW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29158#EREI (statement)
History
- 2026-11-01: add by m2/v0.6.15
NDYSW3C7S4 NDYSW3C7S4
| URI | m2://inv/NDYSW3C7S4 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31274#7YL8 (example). In RK0ZMDJ23T/e1, example 1.3.4
History
- 2026-10-31: add by m2/v0.5.6
NDYY4K518Q NDYY4K518Q
| URI | m2://inv/NDYY4K518Q |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33015#8YEX (definition). In W6Y6NPK648/e1, definition 2.2
History
- 2026-10-27: add by m2/v0.3.5
Harada–Norton group NDZ1SJVP6A
| URI | m2://inv/NDZ1SJVP6A |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical examples#M905, Harada–Norton group (object)
History
- 2026-11-02: add by m2/dev
NDZ8AXKSK9 NDZ8AXKSK9
| URI | m2://inv/NDZ8AXKSK9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02379#PQ2G (statement). In W9E40AZJ03/e1, lemma 2.5
History
- 2026-10-29: add by m2/v0.4.12
Lagrange's notation NDZE8GWA4G
| URI | m2://inv/NDZE8GWA4G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Joseph-Louis Lagrange#XUN2, Lagrange's notation (definition)
History
- 2026-11-02: add by m2/dev
NDZNZXC0F2 NDZNZXC0F2
| URI | m2://inv/NDZNZXC0F2 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_ramsey_probability.ptx#proof-1 (proof). In QKM9DD2H56, proof, section 11.4
History
- 2026-11-01: add by m2/v0.6.13
NDZYV3S5HP NDZYV3S5HP
| URI | m2://inv/NDZYV3S5HP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 53-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/9902147#Z247 (statement). In 7CK21JGM5A/e1, corollary C
History
- 2026-10-27: add by m2/v0.4.2