Inventory rows NE
The cards of the rows of the inventory whose ids start with NE. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Smash product NE03PGR862
| URI | m2://inv/NE03PGR862 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic topology topics#P6GU, Smash product (definition)
- wikipedia: Wikipedia List of general topology topics#9EQO, Smash product (definition)
History
- 2026-11-02: add by m2/dev
Properties NE0DXXQKX5
| URI | m2://inv/NE0DXXQKX5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Covering space#J60T, Properties (statement)
History
- 2026-11-02: add by m2/dev
Direction-covering boundary mass yields quadratic growth NE0HFWKDTK
| URI | m2://inv/NE0HFWKDTK |
|---|---|
| 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 2609.33472#MI9D, Direction-covering boundary mass yields quadratic growth (statement). In WBQQBZ4FCJ/e1, theorem 8.7
History
- 2026-10-30: add by m2/v0.4.12
Derivative of the terminal residual NE0QPEGASQ
| URI | m2://inv/NE0QPEGASQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 49-XX, 58-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.05164#729B, Derivative of the terminal residual (statement). In JY6RYSNXMJ/e1, lemma 2
History
- 2026-10-29: add by m2/v0.4.10
Lemma NE0QWGCNZV
| URI | m2://inv/NE0QWGCNZV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bolzano–Weierstrass theorem#XRCH, Lemma (statement)
History
- 2026-11-02: add by m2/dev
NE1095VZFT NE1095VZFT
| URI | m2://inv/NE1095VZFT |
|---|---|
| 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 2510.12502#2P8K (statement). In 3A4K47Y9F2/e1, lemma 3.37
History
- 2026-10-27: add by m2/v0.4.0
The (10^n)-th 4-almost prime. NE11PD655F
| URI | m2://inv/NE11PD655F |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q100193499, The (10^n)-th 4-almost prime. (object). Also OEIS A120045
History
- 2026-10-26: add by m2/dev
Alternative definition NE18T6S8F9
| URI | m2://inv/NE18T6S8F9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pseudoscience#7DBX, Alternative definition (definition)
History
- 2026-11-02: add by m2/dev
Johannes Hancke NE1FE70YR4
| URI | m2://inv/NE1FE70YR4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#7XO5, Johannes Hancke (unknown)
History
- 2026-11-02: add by m2/dev
The harmonic homology martingale NE1K3N4HY1
| URI | m2://inv/NE1K3N4HY1 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 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 2609.27851#F5GQ, The harmonic homology martingale (definition)
History
- 2026-11-01: add by m2/v0.6.15
Two-ends condition NE1N04AGSN
| URI | m2://inv/NE1N04AGSN |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 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 2610.12480#SLUG, Two-ends condition (definition). In 585QYGX4X6/e1, definition 6
History
- 2026-10-28: add by m2/v0.4.2
Sufficient $\lambda$ for a given additive error NE1TJJDTC8
| URI | m2://inv/NE1TJJDTC8 |
|---|---|
| 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 2609.39992#CBRN, Sufficient $\lambda$ for a given additive error (statement). In WF64CGYVK1/e1, corollary S4
History
- 2026-10-30: add by m2/v0.4.12
Ugo Morin NE1YXCCGYV
| URI | m2://inv/NE1YXCCGYV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ugo Morin, Ugo Morin (topic). Also Wikidata Q672372
History
- 2026-11-02: add by m2/dev
Ruben Minasian NE209QMNFY
| URI | m2://inv/NE209QMNFY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q53973796, Ruben Minasian (unknown). Also nLab Ruben Minasian
History
- 2026-10-26: add by m2/dev
Vito Volterra NE26DA8HV1
| URI | m2://inv/NE26DA8HV1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#QSB2, Vito Volterra (unknown)
History
- 2026-11-02: add by m2/dev
NE296VCNEA NE296VCNEA
| URI | m2://inv/NE296VCNEA |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 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 2610.21181#W76X (example). In 3D0GJXDY11/e1, example 5.5
History
- 2026-10-27: add by m2/v0.4.2
Definition NE2C2VPSBW
| URI | m2://inv/NE2C2VPSBW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euler–Rodrigues formula#LO52, Definition (definition)
History
- 2026-11-02: add by m2/dev
The Jacobian at the non-identity fixed points NE2EA8P59N
| URI | m2://inv/NE2EA8P59N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-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.18512#IO2R, The Jacobian at the non-identity fixed points (statement). In 11JNM66Z09/e1, proposition 12.6
History
- 2026-10-28: add by m2/v0.4.2
Examples NE2JQPHA4Q
| URI | m2://inv/NE2JQPHA4Q |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dependency relation#5V89, Examples (example)
History
- 2026-11-02: add by m2/dev
NE2WF4S01G NE2WF4S01G
| URI | m2://inv/NE2WF4S01G |
|---|---|
| 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 2504.00267#BX1V (statement). In 38XJWDZ2PH/e1, proposition 4.7
History
- 2026-10-27: add by m2/v0.3.5
NE2X5EK106 NE2X5EK106
| URI | m2://inv/NE2X5EK106 |
|---|---|
| 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.05259#PA6B (statement). In X1J5HKPS3R/e1, theorem 3.5
History
- 2026-10-29: add by m2/v0.4.10
flux invariance NE3484K8T5
| URI | m2://inv/NE3484K8T5 |
|---|---|
| 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.22355#4QA5, flux invariance (statement)
History
- 2026-11-02: add by m2/v0.6.17
NE3CJSAFKD NE3CJSAFKD
| URI | m2://inv/NE3CJSAFKD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX, 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.23469#ZA2J (statement)
History
- 2026-11-02: add by m2/v0.6.17
NE3EBGCHWB NE3EBGCHWB
| URI | m2://inv/NE3EBGCHWB |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-contfunc.tex#proof-19 (proof). In E59CDZA4DP, proof, section 2.6.1
History
- 2026-11-01: add by m2/v0.6.13
Multivariate probit NE3F19G06T
| URI | m2://inv/NE3F19G06T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#0Y2C, Multivariate probit (definition)
History
- 2026-11-02: add by m2/dev
Definition NE3MZD92BQ
| URI | m2://inv/NE3MZD92BQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ore algebra#0UYD, Definition (definition)
History
- 2026-11-02: add by m2/dev
NE3QS4W8WS NE3QS4W8WS
| URI | m2://inv/NE3QS4W8WS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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.08074#U6DD (statement). In ZRPYF750AV/e1, lemma 7.1
History
- 2026-10-29: add by m2/v0.4.10
Complex laws NE3R15BT3C
| URI | m2://inv/NE3R15BT3C |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rate equation#B31M, Complex laws (statement)
History
- 2026-11-02: add by m2/dev
Theorem NE3RNQDM7B
| URI | m2://inv/NE3RNQDM7B |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inverse problem for Lagrangian mechanics#QW99, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Henry P. McKean, Jr NE3TJXK4HQ
| URI | m2://inv/NE3TJXK4HQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical probabilists#OPS6, Henry P. McKean, Jr (unknown)
History
- 2026-11-02: add by m2/dev
David Aldous NE43NFC7BD
| URI | m2://inv/NE43NFC7BD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia David Aldous, David Aldous (topic). Also Wikidata Q1173544
History
- 2026-11-02: add by m2/dev
Sharp variational inequality NE47MK2H9N
| URI | m2://inv/NE47MK2H9N |
|---|---|
| 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.35548#0UIR, Sharp variational inequality (statement). In 12AXZ0DFD9/e1, lemma 5.1
History
- 2026-10-30: add by m2/v0.4.12
NE49D6397S NE49D6397S
| URI | m2://inv/NE49D6397S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-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.34020#JGLP (statement). In DAMYG8BFAK/e1, lemma 4.11
History
- 2026-10-30: add by m2/v0.4.12
relation, antisymmetric NE4EWZBY9K
| URI | m2://inv/NE4EWZBY9K |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/2.1/relation-antisymmetric, relation, antisymmetric (concept). In N54F33XE07, index, section 2.1
History
- 2026-11-01: add by m2/v0.6.13
NE4KC46AZV NE4KC46AZV
| URI | m2://inv/NE4KC46AZV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 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.31445#F6JI (statement). In 7V2PVZS04C/e1, proposition 5.2
History
- 2026-10-31: add by m2/v0.5.6
diminished polyhedron NE4R94ZMX3
| URI | m2://inv/NE4R94ZMX3 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q116672054, diminished polyhedron (concept). Also MathWorld DiminishedPolyhedron
History
- 2026-10-26: add by m2/dev
Filling radius NE56SX95HD
| URI | m2://inv/NE56SX95HD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Filling radius, Filling radius (definition). Also Wikidata Q2602832
History
- 2026-11-02: add by m2/dev
NE59CZBZ24 NE59CZBZ24
| URI | m2://inv/NE59CZBZ24 |
|---|---|
| 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 2609.20900#IHE4 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Erotetics NE5AC7QC1Q
| URI | m2://inv/NE5AC7QC1Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Erotetics, Erotetics (definition). Also Wikidata Q362327
History
- 2026-11-02: add by m2/dev
NE5BEM25B3 NE5BEM25B3
| URI | m2://inv/NE5BEM25B3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-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 0808.1331#BH4Y (statement). In RB2B1N73P0/e1, theorem 4.6
History
- 2026-10-27: add by m2/v0.3.5
Finiteness NE5BZWHC40
| URI | m2://inv/NE5BZWHC40 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Finiteness, Finiteness (definition). Also Wikidata Q3072626
History
- 2026-11-02: add by m2/dev
Example NE5DN2QX5D
| URI | m2://inv/NE5DN2QX5D |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Formal power series#AENJ, Example (example)
History
- 2026-11-02: add by m2/dev
NE5E90X898 NE5E90X898
| URI | m2://inv/NE5E90X898 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-vol1-intro.tex#proof-3 (proof). In E59CDZA4DP, proof, section 11.9.3
History
- 2026-11-01: add by m2/v0.6.13
Symmetry NE5KBN0Q9P
| URI | m2://inv/NE5KBN0Q9P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Indefinite sum#RAIK, Symmetry (statement)
History
- 2026-11-02: add by m2/dev
Varignon's theorem NE5PCPZJPV
| URI | m2://inv/NE5PCPZJPV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Commandino's theorem#2RH6, Varignon's theorem (statement)
History
- 2026-11-02: add by m2/dev
Orbital overlap NE5QVVRF1J
| URI | m2://inv/NE5QVVRF1J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orbital overlap, Orbital overlap (definition). Also Wikidata Q1838870
History
- 2026-11-02: add by m2/dev
NE5QWHVX16 NE5QWHVX16
| URI | m2://inv/NE5QWHVX16 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book preliminaries.tex#ex:sum-via-bool (exercise). In N54F33XE07, ex, section A.12.3
History
- 2026-11-01: add by m2/v0.6.13
Bounds on Total Area for Large $s$ NE5X5D49ZS
| URI | m2://inv/NE5X5D49ZS |
|---|---|
| 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 2610.07671#7RV4, Bounds on Total Area for Large $s$ (statement). In XHHBGCVG90/e1, lemma 6.2.2
History
- 2026-10-29: add by m2/v0.4.10
quota sampling NE5X9221PT
| URI | m2://inv/NE5X9221PT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of probability and statistics#Y080, quota sampling (definition)
History
- 2026-11-02: add by m2/dev
Finite-index bounds and duality NE62KFDKR5
| URI | m2://inv/NE62KFDKR5 |
|---|---|
| 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.15125#O7J9, Finite-index bounds and duality (statement). In V5GT8NJKCM/e1, proposition B.3
History
- 2026-10-28: add by m2/v0.4.2
NE66ZX0AHC NE66ZX0AHC
| URI | m2://inv/NE66ZX0AHC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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 2610.06645#6AEW (statement). In 79H1DEK4M9/e1, theorem 5.7
History
- 2026-10-29: add by m2/v0.4.10
NE688M7HJB NE688M7HJB
| URI | m2://inv/NE688M7HJB |
|---|---|
| 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 2609.30527#HIIU (statement). In E3WQDZY388/e1, corollary 6.1
History
- 2026-10-31: add by m2/v0.5.6
NE6C080WM2 NE6C080WM2
| URI | m2://inv/NE6C080WM2 |
|---|---|
| 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 2108.03672#GMSU (definition). In EZZSZ1F071/e1, definition 1.2
History
- 2026-10-27: add by m2/v0.4.0
graph, incomparability NE6C6G0WGP
| URI | m2://inv/NE6C6G0WGP |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/6.1/graph-incomparability, graph, incomparability (concept). In QKM9DD2H56, index, section 6.1
History
- 2026-11-01: add by m2/v0.6.13
Animal rhetoric NE6NSFKGST
| URI | m2://inv/NE6NSFKGST |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rhetoric#P0PD, Animal rhetoric (unknown)
History
- 2026-11-02: add by m2/dev
Darboux's theorem NE6R6FJEHJ
| URI | m2://inv/NE6R6FJEHJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 57-XX |
| Sources | 4 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q1058662, Darboux's theorem (statement). Also Wikidata Q1058662
- thousand_plus: thousand_plus Q1058662, Darboux's theorem (statement). Also Wikidata Q1058662, Wikipedia Darboux's theorem
- wikidata: Wikidata Q1058662, Darboux's theorem (statement). Also nLab Darboux's theorem
- wikipedia: Wikipedia Darboux's theorem, Darboux's theorem (statement). Also Wikidata Q1058662
History
- 2026-10-26: add by m2/dev
NE6TF1FCQ9 NE6TF1FCQ9
| URI | m2://inv/NE6TF1FCQ9 |
|---|---|
| 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 2609.38567#HJ0V (statement). In 59AXA7QFTE/e1, lemma 2
History
- 2026-10-30: add by m2/v0.4.12
Neighborhood of a set NE70K2VXHS
| URI | m2://inv/NE70K2VXHS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Neighbourhood (mathematics)#LF6M, Neighborhood of a set (unknown)
History
- 2026-11-02: add by m2/dev
NE72597VRA NE72597VRA
| URI | m2://inv/NE72597VRA |
|---|---|
| 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.33015#WV1H (statement). In W6Y6NPK648/e1, proposition 3.9
History
- 2026-10-27: add by m2/v0.3.5
NE74VG68QB NE74VG68QB
| URI | m2://inv/NE74VG68QB |
|---|---|
| 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.14741#JULN (statement). In RK1VPWWX9E/e1, theorem 4.19
History
- 2026-10-28: add by m2/v0.4.2
NE7524SNVD NE7524SNVD
| URI | m2://inv/NE7524SNVD |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise:averageDelta (exercise). In VNMV985MXX, exercise, section 1.2
History
- 2026-11-01: add by m2/v0.6.13
NE7530P70T NE7530P70T
| URI | m2://inv/NE7530P70T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX, 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.33263#JUAV (statement). In 6S5EH3388Z/e1, lemma 2.9
History
- 2026-10-30: add by m2/v0.4.12
Definition NE79SRJAP9
| URI | m2://inv/NE79SRJAP9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Uncorrelatedness#0KQT, Definition (definition)
History
- 2026-11-02: add by m2/dev
NE7HAMHEN4 NE7HAMHEN4
| URI | m2://inv/NE7HAMHEN4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2209.08186#0QAT (statement). In X6VGVPQH8V/e1, lemma 3.2
History
- 2026-10-27: add by m2/v0.3.5
NE7HN10VHY NE7HN10VHY
| URI | m2://inv/NE7HN10VHY |
|---|---|
| Kind | definition |
| 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 1009.2043#NPW3 (definition). In 7DCNHRBK5A/e1, definition 2.2
History
- 2026-10-27: add by m2/v0.3.5
A small upper tail lies above the mean NE7KHFE4ZN
| URI | m2://inv/NE7KHFE4ZN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 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.16069#V5SO, A small upper tail lies above the mean (statement). In MBJA03ES8N/e1, lemma 6.2
History
- 2026-10-28: add by m2/v0.4.2
NE7WQSAYAF NE7WQSAYAF
| URI | m2://inv/NE7WQSAYAF |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/gt-trees.ptx#exercise-13 (exercise). In Y91XFCEVHQ, exercise, section 5.2
History
- 2026-11-01: add by m2/v0.6.13
NE844MA1MS NE844MA1MS
| URI | m2://inv/NE844MA1MS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book basics.tex#defn-1 (definition). In N54F33XE07, defn, section 1.14
History
- 2026-11-01: add by m2/v0.6.13
Energy estimate including all events NE8RJV2BGF
| URI | m2://inv/NE8RJV2BGF |
|---|---|
| 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 2610.21991#7KBD, Energy estimate including all events (statement). In KRBDK9J44X/e1, lemma 4.5
History
- 2026-10-27: add by m2/v0.4.2
Dispersion point NE8W9A9NKH
| URI | m2://inv/NE8W9A9NKH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of general topology#ATDH, Dispersion point (definition)
History
- 2026-11-02: add by m2/dev
NE8YTJ1VR4 NE8YTJ1VR4
| URI | m2://inv/NE8YTJ1VR4 |
|---|---|
| Kind | definition |
| 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.18016#8A6Y (definition). In V5PVKDKGGG/e1, definition 1.10
History
- 2026-10-28: add by m2/v0.4.2
NE93655J21 NE93655J21
| URI | m2://inv/NE93655J21 |
|---|---|
| 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#RMB6 (statement). In Y8QQAH7VCF/e1, lemma E.10
History
- 2026-10-28: add by m2/v0.4.2
Pasting Lemma for Relative Trisections with Empty Binding NE97J1ME3B
| URI | m2://inv/NE97J1ME3B |
|---|---|
| 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 1911.06467#NAQE, Pasting Lemma for Relative Trisections with Empty Binding (statement). In G35G1NJKBX/e1, corollary 5.3
History
- 2026-10-27: add by m2/v0.3.5
Counter machine NE9AFP923X
| URI | m2://inv/NE9AFP923X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Counter machine, Counter machine (definition). Also Wikidata Q7879073
History
- 2026-11-02: add by m2/dev
Sampling costs of radial selection NE9BDPMXCW
| URI | m2://inv/NE9BDPMXCW |
|---|---|
| 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.15202#9H9B, Sampling costs of radial selection (statement). In X1FPG0KYBM/e1, lemma K.3
History
- 2026-10-28: add by m2/v0.4.2
NE9DC4CBG8 NE9DC4CBG8
| URI | m2://inv/NE9DC4CBG8 |
|---|---|
| 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 2610.07927#XU8L (statement). In GKM19DHQTM/e1, lemma 6.37
History
- 2026-10-29: add by m2/v0.4.10
Definition NE9GDW94YW
| URI | m2://inv/NE9GDW94YW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fundamental pair of periods#UJIE, Definition (definition)
History
- 2026-11-02: add by m2/dev
State-transition equation NE9GTGFP1A
| URI | m2://inv/NE9GTGFP1A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia State-transition equation, State-transition equation (definition). Also Wikidata Q17014424
History
- 2026-11-02: add by m2/dev
NE9H0611D1 NE9H0611D1
| URI | m2://inv/NE9H0611D1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-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.21668#0PKV (statement)
History
- 2026-11-02: add by m2/v0.6.18
Confocal conic sections NE9JSYX4WT
| URI | m2://inv/NE9JSYX4WT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Confocal conic sections, Confocal conic sections (definition). Also Wikidata Q30059111
History
- 2026-11-02: add by m2/dev
Interpolation in Lorentz spaces NE9KFGBMJ5
| URI | m2://inv/NE9KFGBMJ5 |
|---|---|
| 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.28454#XE8F, Interpolation in Lorentz spaces (statement)
History
- 2026-11-01: add by m2/v0.6.15
Glenn M. Anderson NE9SGPKNFB
| URI | m2://inv/NE9SGPKNFB |
|---|---|
| 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#SP9A, Glenn M. Anderson (unknown)
History
- 2026-11-02: add by m2/dev
NE9Z645FYG NE9Z645FYG
| URI | m2://inv/NE9Z645FYG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2610.00909#4O9W (statement). In Z4TD36VFPW/e1, theorem 1.7
History
- 2026-10-29: add by m2/v0.4.12
geometric multiplicity NEA317H3TC
| URI | m2://inv/NEA317H3TC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eigenvalues and eigenvectors#ST9K, geometric multiplicity (definition)
History
- 2026-11-02: add by m2/dev
NEA3E6NV08 NEA3E6NV08
| URI | m2://inv/NEA3E6NV08 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/lambda-calculus/syntax/unique-readability.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 39.3
History
- 2026-11-01: add by m2/v0.6.13
NEA4FHYGTY NEA4FHYGTY
| URI | m2://inv/NEA4FHYGTY |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-systems.tex#exercise-81 (exercise). In E9HS8K3A52, exercise, section 10.7.3
History
- 2026-11-01: add by m2/v0.6.13
NEACQFPT3W NEACQFPT3W
| URI | m2://inv/NEACQFPT3W |
|---|---|
| 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.29304#D7L8 (statement)
History
- 2026-11-01: add by m2/v0.6.15
NEAK7E3M50 NEAK7E3M50
| URI | m2://inv/NEAK7E3M50 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-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.20718#OCIS (statement)
History
- 2026-11-02: add by m2/v0.6.18
Theorem NEAPST1WGH
| URI | m2://inv/NEAPST1WGH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hopf decomposition#54JQ, Theorem (statement)
History
- 2026-11-02: add by m2/dev
NEAQ3A9B47 NEAQ3A9B47
| URI | m2://inv/NEAQ3A9B47 |
|---|---|
| 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 2609.34283#SN6A (statement). In DF1S2FHKJE/e1, lemma 8
History
- 2026-10-30: add by m2/v0.4.12
Properties NEARBBA0EA
| URI | m2://inv/NEARBBA0EA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vector-valued Hahn–Banach theorems#S6D3, Properties (statement)
History
- 2026-11-02: add by m2/dev
NEAS1VBQRZ NEAS1VBQRZ
| URI | m2://inv/NEAS1VBQRZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-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 2610.04314#CJ9O (statement). In AKWTE0M6PE/e1, lemma 13
History
- 2026-10-29: add by m2/v0.4.12
Definition NEAW9ZAFWA
| URI | m2://inv/NEAW9ZAFWA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Continuous q-Legendre polynomials#QEIH, Definition (definition)
History
- 2026-11-02: add by m2/dev
compact closed category NEB112VMX6
| URI | m2://inv/NEB112VMX6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5155301, compact closed category (unknown). Also nLab compact closed category
- wikipedia: Wikipedia Compact closed category, Compact closed category (definition). Also Wikidata Q5155301
History
- 2026-10-26: add by m2/dev
Jessica Staddon NEB1MR7JCQ
| URI | m2://inv/NEB1MR7JCQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#EXVQ, Jessica Staddon (unknown)
History
- 2026-11-02: add by m2/dev
NEB79ZY18B NEB79ZY18B
| URI | m2://inv/NEB79ZY18B |
|---|---|
| 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 2610.00144#S7CO (definition). In HAZGBX88B3/e1, definition 2.1
History
- 2026-10-30: add by m2/v0.4.12
Properties NEB7J58ZDQ
| URI | m2://inv/NEB7J58ZDQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia K-nearest neighbors algorithm#ZF1W, Properties (statement)
History
- 2026-11-02: add by m2/dev
NEB8BR510G NEB8BR510G
| URI | m2://inv/NEB8BR510G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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 2604.07243#3FVV (statement). In 9RH8C8RYW3/e1, theorem 5.4
History
- 2026-10-27: add by m2/v0.3.5
Hill tetrahedron NEBD0DZ3MC
| URI | m2://inv/NEBD0DZ3MC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hill tetrahedron, Hill tetrahedron (definition). Also Wikidata Q5762456
History
- 2026-11-02: add by m2/dev
Correspondence (von Neumann algebra) NEBG77A0ND
| URI | m2://inv/NEBG77A0ND |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Von Neumann algebra#6JIY, Correspondence (von Neumann algebra) (unknown)
History
- 2026-11-02: add by m2/dev
NEBGCDBZ07 NEBGCDBZ07
| URI | m2://inv/NEBGCDBZ07 |
|---|---|
| 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 2305.08210#QPR6 (statement). In D4VDVX74FT/e1, theorem 0.5
History
- 2026-10-27: add by m2/v0.3.6
Revelation principle: Non-honest solutions NEBH1Y993Z
| URI | m2://inv/NEBH1Y993Z |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Proof of impossibility#YPFI, Revelation principle: Non-honest solutions (statement)
History
- 2026-11-02: add by m2/dev
Logarithmic potential at the edge NEBJP93YNT
| URI | m2://inv/NEBJP93YNT |
|---|---|
| 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#J8BN, Logarithmic potential at the edge (statement). In NKXTXH59P1/e1, lemma E.21
History
- 2026-10-29: add by m2/v0.4.10
NEBSG3SBWX NEBSG3SBWX
| URI | m2://inv/NEBSG3SBWX |
|---|---|
| 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 2609.25190#LHVE (statement)
History
- 2026-11-01: add by m2/v0.6.15
NEBYJ9K0W5 NEBYJ9K0W5
| URI | m2://inv/NEBYJ9K0W5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/AxiomsRealNumbers.tex#theorem-8 (statement). In P1C114YBXG, theorem, section u1
History
- 2026-11-01: add by m2/v0.6.13
Perron-Frobenius NEBYPV5SCG
| URI | m2://inv/NEBYPV5SCG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section4-5.xml#theorem-perron, Perron-Frobenius (statement). In 649HGZKE96, theorem, section 4.5.3
History
- 2026-11-01: add by m2/v0.6.13
NEC104N80Q NEC104N80Q
| URI | m2://inv/NEC104N80Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2509.10268#5BLW (statement). In YR15TN4V4F/e1, lemma 3
History
- 2026-10-27: add by m2/v0.3.5
Doubly symmetric binary symmetric channel NEC2Z3RKEB
| URI | m2://inv/NEC2Z3RKEB |
|---|---|
| Kind | example |
| 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.13030#878C, Doubly symmetric binary symmetric channel (example). In 6NZ0YS5MJ7/e1, example V.7
History
- 2026-10-28: add by m2/v0.4.2
Gauss Moutinho Cordeiro NEC5QDNA0S
| URI | m2://inv/NEC5QDNA0S |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gauss Moutinho Cordeiro, Gauss Moutinho Cordeiro (topic). Also Wikidata Q4845722
History
- 2026-11-02: add by m2/dev
Definition NEC9HVDFC7
| URI | m2://inv/NEC9HVDFC7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Demonic composition#X4M6, Definition (definition)
History
- 2026-11-02: add by m2/dev
Bogomol'nyi–Prasad–Sommerfield bound NECK0D7WCD
| URI | m2://inv/NECK0D7WCD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of string theory topics#BRO1, Bogomol'nyi–Prasad–Sommerfield bound (definition)
History
- 2026-11-02: add by m2/dev
Theorem NECK424MB0
| URI | m2://inv/NECK424MB0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vector potential#BJR9, Theorem (statement)
History
- 2026-11-02: add by m2/dev
NECPE7GWPC NECPE7GWPC
| URI | m2://inv/NECPE7GWPC |
|---|---|
| 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 2109.11684#8WSX (statement). In CHE1JCV3EK/e1, corollary B.4
History
- 2026-10-27: add by m2/v0.3.5
Two-redundancy, measures and orbits NECRKSY04J
| URI | m2://inv/NECRKSY04J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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.27204#DPGQ, Two-redundancy, measures and orbits (statement)
History
- 2026-11-01: add by m2/v0.6.15
NECW2D4QY6 NECW2D4QY6
| URI | m2://inv/NECW2D4QY6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/quasi-proj.tex#definition-3 (definition). In RZP28ERRZV, definition, section 24.3
History
- 2026-11-01: add by m2/v0.6.13
Commutative ring spectrum NED57758KT
| URI | m2://inv/NED57758KT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Commutative ring spectrum, Commutative ring spectrum (definition). Also Wikidata Q16950624
History
- 2026-11-02: add by m2/dev
Results NEDBGZZV9P
| URI | m2://inv/NEDBGZZV9P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia De Broglie–Bohm theory#2VPH, Results (statement)
History
- 2026-11-02: add by m2/dev
Local analysis NEDH3C7KSP
| URI | m2://inv/NEDH3C7KSP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Local analysis, Local analysis (definition). Also Wikidata Q865899
History
- 2026-11-02: add by m2/dev
NEDH42103A NEDH42103A
| URI | m2://inv/NEDH42103A |
|---|---|
| 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 2610.02681#QQLO (statement). In 7BBJMB97N7/e1, lemma 4.1
History
- 2026-10-29: add by m2/v0.4.12
NEDKAFKV2H NEDKAFKV2H
| URI | m2://inv/NEDKAFKV2H |
|---|---|
| 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.38664#VFBW (statement). In 7BCDS9M8MC/e1, lemma 2.3
History
- 2026-10-30: add by m2/v0.4.12
NEDRMZN9MG NEDRMZN9MG
| URI | m2://inv/NEDRMZN9MG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/sheaves.tex#example-7 (example). In RZP28ERRZV, example, section 25.6
History
- 2026-11-01: add by m2/v0.6.13
measurable function NEDTD0EH9T
| URI | m2://inv/NEDTD0EH9T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of real and complex analysis#MTSO, measurable function (definition)
History
- 2026-11-02: add by m2/dev
Good–Turing frequency estimation NEDWYVH565
| URI | m2://inv/NEDWYVH565 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Good–Turing frequency estimation, Good–Turing frequency estimation (definition). Also Wikidata Q5583769
History
- 2026-11-02: add by m2/dev
Garrett Birkhoff NEEAE8HDCN
| URI | m2://inv/NEEAE8HDCN |
|---|---|
| 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 Q538846, Garrett Birkhoff (unknown). Also nLab Garrett Birkhoff
- wikipedia: Wikipedia Garrett Birkhoff, Garrett Birkhoff (topic). Also Wikidata Q538846
History
- 2026-10-26: add by m2/dev
Proposition NEEB2NBPGT
| URI | m2://inv/NEEB2NBPGT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vitali–Hahn–Saks theorem#JR7G, Proposition (statement)
History
- 2026-11-02: add by m2/dev
NEEGSDZZA9 NEEGSDZZA9
| URI | m2://inv/NEEGSDZZA9 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises7-2.xml#exercise-1 (exercise). In 649HGZKE96, exercise, section 7.2
History
- 2026-11-01: add by m2/v0.6.13
Quasipolynomial structure theorem for Freiman multihomomorphisms NEEMT1A3J5
| URI | m2://inv/NEEMT1A3J5 |
|---|---|
| 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 2609.33733#NJMR, Quasipolynomial structure theorem for Freiman multihomomorphisms (statement). In QBAP8C82FG/e1, theorem 4
History
- 2026-10-30: add by m2/v0.4.12
Consensus dynamics NEEMY7QNRY
| URI | m2://inv/NEEMY7QNRY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Consensus dynamics, Consensus dynamics (definition). Also Wikidata Q5162845
History
- 2026-11-02: add by m2/dev
NEEX01AD0C NEEX01AD0C
| URI | m2://inv/NEEX01AD0C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.03517#AZU1 (statement). In 3CGS9GSKTQ/e1, lemma 8.8
History
- 2026-10-29: add by m2/v0.4.12
Fundamental Principles of Official Statistics NEEX858YZC
| URI | m2://inv/NEEX858YZC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fundamental Principles of Official Statistics, Fundamental Principles of Official Statistics (statement). Also Wikidata Q138755191
History
- 2026-11-02: add by m2/dev
NEEXCQWF4F NEEXCQWF4F
| URI | m2://inv/NEEXCQWF4F |
|---|---|
| Kind | statement |
| 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 2610.04434#GADR (statement). In EY0QS456EC/e1, lemma 7.2
History
- 2026-10-29: add by m2/v0.4.12
Tentai Show NEEYC80FC6
| URI | m2://inv/NEEYC80FC6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of NP-complete problems#HNW3, Tentai Show (unknown)
History
- 2026-11-02: add by m2/dev
NEF0RJRM3V NEF0RJRM3V
| URI | m2://inv/NEF0RJRM3V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 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.25168#1UIX (statement)
History
- 2026-11-01: add by m2/v0.6.15
NEF1V8NNAN NEF1V8NNAN
| URI | m2://inv/NEF1V8NNAN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2609.28357#UGGP (statement)
History
- 2026-11-01: add by m2/v0.6.15
Ever attacking is rule-independent NEF4K35DQN
| URI | m2://inv/NEF4K35DQN |
|---|---|
| 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.00902#VTW7, Ever attacking is rule-independent (statement). In 1BYMXTH5MW/e1, lemma 3.3
History
- 2026-10-29: add by m2/v0.4.12
NEF4XXASZ1 NEF4XXASZ1
| URI | m2://inv/NEF4XXASZ1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 1502.03309#11VB (statement). In HSW1350PNY/e1, lemma 1
History
- 2026-10-27: add by m2/v0.3.5
derivative, complex-valued function NEFF75M18D
| URI | m2://inv/NEFF75M18D |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/1.1.3/derivative-complex-valued-function, derivative, complex-valued function (concept). In E59CDZA4DP, index, section 1.1.3
History
- 2026-11-01: add by m2/v0.6.13
Examples in law NEFHSZE9Y4
| URI | m2://inv/NEFHSZE9Y4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Base rate fallacy#CWBQ, Examples in law (example)
History
- 2026-11-02: add by m2/dev
Classification of low-dimensional real Lie algebras NEFNDDZNC1
| URI | m2://inv/NEFNDDZNC1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Classification of low-dimensional real Lie algebras, Classification of low-dimensional real Lie algebras (definition). Also Wikidata Q60792514
History
- 2026-11-02: add by m2/dev
Geometry Center NEFPCKCXTY
| URI | m2://inv/NEFPCKCXTY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geometry Center, Geometry Center (definition). Also Wikidata Q7736159
History
- 2026-11-02: add by m2/dev
Comparison of disk encryption software NEFTVE8098
| URI | m2://inv/NEFTVE8098 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Comparison of disk encryption software, Comparison of disk encryption software (definition). Also Wikidata Q5155865
History
- 2026-11-02: add by m2/dev
Theorem NEFZRKCMJN
| URI | m2://inv/NEFZRKCMJN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zero–one law (logic)#HTLQ, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Threema Work NEG8PH3YW3
| URI | m2://inv/NEG8PH3YW3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Threema#PYKQ, Threema Work (unknown)
History
- 2026-11-02: add by m2/dev
Applications NEG8SA1BER
| URI | m2://inv/NEG8SA1BER |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Punched tape#EMAO, Applications (example)
History
- 2026-11-02: add by m2/dev
Reuben Hersh NEGCJHQPE3
| URI | m2://inv/NEGCJHQPE3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#UK31, Reuben Hersh (unknown)
History
- 2026-11-02: add by m2/dev
S-brane NEGEPR9VCE
| URI | m2://inv/NEGEPR9VCE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7387096, S-brane (unknown). Also nLab S-brane
History
- 2026-10-26: add by m2/dev
NEGNCSVASC NEGNCSVASC
| URI | m2://inv/NEGNCSVASC |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/many-valued-logic/three-valued-logics/lukasiewicz.tex#prob-3 (exercise). In PKGMM3P5QY, prob, section 42.5
History
- 2026-11-01: add by m2/v0.6.13
Applications NEGQ2V64W7
| URI | m2://inv/NEGQ2V64W7 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Predictive analytics#TYWE, Applications (example)
History
- 2026-11-02: add by m2/dev
System F-sub NEGQMPMET4
| URI | m2://inv/NEGQMPMET4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia System F#5KB3, System F-sub (unknown)
History
- 2026-11-02: add by m2/dev
Algorithm NEGS1R7QHB
| URI | m2://inv/NEGS1R7QHB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chambolle–Pock algorithm#SKCW, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
Generic formula NEGWEZSDK8
| URI | m2://inv/NEGWEZSDK8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Loop integral#RF2T, Generic formula (statement)
History
- 2026-11-02: add by m2/dev
NEGXY2607G NEGXY2607G
| URI | m2://inv/NEGXY2607G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-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.01087#6B27 (statement). In 7QXAZXGNPQ/e1, lemma 9.2
History
- 2026-10-29: add by m2/v0.4.12
NEH05EQTSG NEH05EQTSG
| URI | m2://inv/NEH05EQTSG |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/measure/lebesgue-int.tex#prob:1QQ (exercise). In RZP28ERRZV, sproblem, section 65.4
History
- 2026-11-01: add by m2/v0.6.13
Judah ibn Verga NEHDZ0R62X
| URI | m2://inv/NEHDZ0R62X |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#VPM1, Judah ibn Verga (unknown)
History
- 2026-11-02: add by m2/dev
Black swan theory NEHFA6ASVQ
| URI | m2://inv/NEHFA6ASVQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Black swan theory, Black swan theory (topic). Also Wikidata Q2074634
History
- 2026-11-02: add by m2/dev
NEHSFK7H6F NEHSFK7H6F
| URI | m2://inv/NEHSFK7H6F |
|---|---|
| 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.06206#8280 (statement). In A7611PTXVQ/e1, proposition 2.4
History
- 2026-10-29: add by m2/v0.4.10
NEJA174G3H NEJA174G3H
| URI | m2://inv/NEJA174G3H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/set-theory/cardinal.tex#definition-8 (definition). In RZP28ERRZV, definition, section 89.4
History
- 2026-11-01: add by m2/v0.6.13
Syndie NEJBSW1BKM
| URI | m2://inv/NEJBSW1BKM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia I2P#BK3U, Syndie (unknown)
History
- 2026-11-02: add by m2/dev
NEJF4C2XHV NEJF4C2XHV
| URI | m2://inv/NEJF4C2XHV |
|---|---|
| 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 2506.07061#RK2D (statement). In G2PA4KAGRP/e1, lemma 2.18
History
- 2026-10-27: add by m2/v0.3.6
Arnold S. Shapiro NEJP075E53
| URI | m2://inv/NEJP075E53 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4795236, Arnold S. Shapiro (unknown). Also nLab Arnold Shapiro
History
- 2026-10-26: add by m2/dev
Trirectified 9-cube NEK03PNHYB
| URI | m2://inv/NEK03PNHYB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rectified 9-cubes#OEOC, Trirectified 9-cube (unknown)
History
- 2026-11-02: add by m2/dev
Goswin Karl Uphues NEKGAQ2XX9
| URI | m2://inv/NEKGAQ2XX9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Goswin Karl Uphues, Goswin Karl Uphues (topic). Also Wikidata Q1592113
History
- 2026-11-02: add by m2/dev
C*-algebra NEKH5FFRZ1
| URI | m2://inv/NEKH5FFRZ1 |
|---|---|
| Kind | definition |
| 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 2609.37074#LFMQ, C*-algebra (definition). In VTNV72MCVD/e1, definition 4.4
History
- 2026-10-30: add by m2/v0.4.12
Generalizations NEKNBY609S
| URI | m2://inv/NEKNBY609S |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Numerical methods for ordinary differential equations#CNTA, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
NEKVDH7MA4 NEKVDH7MA4
| URI | m2://inv/NEKVDH7MA4 |
|---|---|
| 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.13792#PNK9 (statement). In ZH0PFTZ12Y/e1, lemma 2.8
History
- 2026-10-28: add by m2/v0.4.2
Examples NEKWVSR21Z
| URI | m2://inv/NEKWVSR21Z |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Klein geometry#0XFO, Examples (example)
History
- 2026-11-02: add by m2/dev
NEKYE6Z9WZ NEKYE6Z9WZ
| URI | m2://inv/NEKYE6Z9WZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2610.08039#HODE (statement). In Y1K8WE4MDP/e1, theorem 5.5
History
- 2026-10-29: add by m2/v0.4.10
NEKZWQ92SA NEKZWQ92SA
| URI | m2://inv/NEKZWQ92SA |
|---|---|
| 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 2510.12502#F210 (statement). In 3A4K47Y9F2/e1, lemma 3.11
History
- 2026-10-27: add by m2/v0.4.0
Lightning NEMG3MGFKX
| URI | m2://inv/NEMG3MGFKX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of common misconceptions about science, technology, and mathematics#4YON, Lightning (unknown)
History
- 2026-11-02: add by m2/dev
NEMK7Q57ZP NEMK7Q57ZP
| URI | m2://inv/NEMK7Q57ZP |
|---|---|
| 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.36909#H35K (statement). In S5SKFZB5WH/e1, theorem 1.2
History
- 2026-10-30: add by m2/v0.4.12
Bessel integral NEMKDJ54KA
| URI | m2://inv/NEMKDJ54KA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bessel function#LIO8, Bessel integral (unknown)
History
- 2026-11-02: add by m2/dev
potassium NEMTR2VM7R
| URI | m2://inv/NEMTR2VM7R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q703, potassium (definition). Also ProofWiki Definition:Potassium
History
- 2026-10-26: add by m2/dev
NEN22DE1K5 NEN22DE1K5
| URI | m2://inv/NEN22DE1K5 |
|---|---|
| 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 2506.08233#UUIO (statement). In 2TXXQ2575Y/e1, theorem 5.14
History
- 2026-10-27: add by m2/v0.3.5
set NEN3YGGD0Y
| URI | m2://inv/NEN3YGGD0Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Set 0BSJ7RQ9BW |
Mentions
- wikidata: Wikidata Q1514741, set (unknown). Also EoM Set
- wikidata: Wikidata Q2518298, category of sets (definition). Also nLab Set, ProofWiki Definition:Category_of_Sets
- wikidata: Wikidata Q36161, set (definition). Also EoM Set, MathWorld Set, nLab set, ProofWiki Definition:Set
- wikipedia: Wikipedia Set (mathematics), Set (definition). Also Wikidata Q36161
- wikipedia: Wikipedia Category of sets, Category of sets (definition). Also Wikidata Q2518298
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Formal definition NEN5ZX4M8F
| URI | m2://inv/NEN5ZX4M8F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hausdorff dimension#0YSV, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
NEN63PQJR8 NEN63PQJR8
| URI | m2://inv/NEN63PQJR8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 18-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.37520#ARZ8 (statement). In BDN507RN7J/e1, proposition 5.1.2
History
- 2026-10-30: add by m2/v0.4.12
Cyclic polygon NEN89FCRSG
| URI | m2://inv/NEN89FCRSG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of two-dimensional geometric shapes#5IGD, Cyclic polygon (definition)
- wikipedia: Wikipedia List of mathematical shapes#ORMP, Cyclic polygon (definition)
- wikipedia: Wikipedia List of mathematical shapes#TMD7, Cyclic polygon (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#SHSC, Cyclic polygon (definition)
History
- 2026-11-02: add by m2/dev
Barry Loewer NENAS4M9K2
| URI | m2://inv/NENAS4M9K2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Barry Loewer, Barry Loewer (topic). Also Wikidata Q4864434
History
- 2026-11-02: add by m2/dev
Cauchy filter NENB0PSS1D
| URI | m2://inv/NENB0PSS1D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Augustin-Louis Cauchy#HTVG, Cauchy filter (definition)
History
- 2026-11-02: add by m2/dev
NENB5WJMWS NENB5WJMWS
| URI | m2://inv/NENB5WJMWS |
|---|---|
| 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.21355#JH91 (statement). In XKJ7VKN4P0/e1, lemma 12
History
- 2026-10-27: add by m2/v0.4.2
Deane Montgomery NENEGYTPY7
| URI | m2://inv/NENEGYTPY7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Deane Montgomery, Deane Montgomery (topic). Also Wikidata Q931348
History
- 2026-11-02: add by m2/dev
NENGB7AGEF NENGB7AGEF
| URI | m2://inv/NENGB7AGEF |
|---|---|
| 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.02743#LUUG (statement). In GQH4ZPDWET/e1, proposition 8.5
History
- 2026-10-29: add by m2/v0.4.12
Examples NENHDMQD3V
| URI | m2://inv/NENHDMQD3V |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Integral polytope#SYDP, Examples (example)
History
- 2026-11-02: add by m2/dev
Spectrum of a ring NENVCFK4BS
| URI | m2://inv/NENVCFK4BS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#FA4C, Spectrum of a ring (definition)
History
- 2026-11-02: add by m2/dev
phase function NENWB43Y3W
| URI | m2://inv/NENWB43Y3W |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-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 2210.06147#917B, phase function (definition). In 94RBNQA07A/e1, definition 3.6
History
- 2026-10-27: add by m2/v0.3.5
Lemma 2 NEP4VM8A1F
| URI | m2://inv/NEP4VM8A1F |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia NC (complexity)#4Y31, Lemma 2 (statement)
History
- 2026-11-02: add by m2/dev
NEP84E8JC2 NEP84E8JC2
| URI | m2://inv/NEP84E8JC2 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_background_mult.ptx#proof-1 (proof). In QKM9DD2H56, proof, section B.8
History
- 2026-11-01: add by m2/v0.6.13
Definitions NEPCMRHCW5
| URI | m2://inv/NEPCMRHCW5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Normal form (abstract rewriting)#8MSE, Definitions (definition)
History
- 2026-11-02: add by m2/dev
NEPGHZDH8D NEPGHZDH8D
| URI | m2://inv/NEPGHZDH8D |
|---|---|
| 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.15831#3B90 (statement). In CVESAPNMCQ/e1, lemma 3.8
History
- 2026-10-28: add by m2/v0.4.2
NEPJWZRZ1Y NEPJWZRZ1Y
| URI | m2://inv/NEPJWZRZ1Y |
|---|---|
| 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 2209.01576#F2WR (statement). In EF0X4TKTR4/e1, corollary 1.4
History
- 2026-10-27: add by m2/v0.3.5
independent sigma-algebras NEPTH3W7R9
| URI | m2://inv/NEPTH3W7R9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Independent sigma-algebras 09T8ZHST1V |
Mentions
- mathlib_overview: mathlib_overview Probability Theory > Definitions in probability theory > independent sigma-algebras, independent sigma-algebras (unknown). Also Mathlib ProbabilityTheory.iIndep
- mathlib_undergrad: mathlib_undergrad Probability Theory > Definitions of a probability space > independent sigma-algebra, independent sigma-algebra (unknown). Also Mathlib ProbabilityTheory.iIndep
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
NEQ63BND33 NEQ63BND33
| URI | m2://inv/NEQ63BND33 |
|---|---|
| Kind | example |
| 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 2401.14162#L5O5 (example). In JC1XF1JE6J/e1, example 3.18
History
- 2026-10-27: add by m2/v0.3.5
From stationary action principle to Hamilton's equations NEQ8DF7N3Y
| URI | m2://inv/NEQ8DF7N3Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hamiltonian mechanics#4QCM, From stationary action principle to Hamilton's equations (statement)
History
- 2026-11-02: add by m2/dev
Witt NEQC8YGSCC
| URI | m2://inv/NEQC8YGSCC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#MHK9, Witt (definition)
History
- 2026-11-02: add by m2/dev
NEQF45W4TA NEQF45W4TA
| URI | m2://inv/NEQF45W4TA |
|---|---|
| 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 1009.3308#2GZR (statement). In KGBKNQB52Z/e1, theorem 2.3
History
- 2026-10-27: add by m2/v0.3.5
fixed-interface best approximation NEQHJ001X6
| URI | m2://inv/NEQHJ001X6 |
|---|---|
| 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 2610.08016#DVQG, fixed-interface best approximation (statement). In YR3CSTYEJW/e1, corollary 4.8
History
- 2026-10-29: add by m2/v0.4.10
NEQWAV5D4E NEQWAV5D4E
| URI | m2://inv/NEQWAV5D4E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 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 2610.15169#MHKX (statement). In V7SN19J84T/e1, theorem 4.6
History
- 2026-10-28: add by m2/v0.4.2
Cauchy, sequence NEQYB7BZH5
| URI | m2://inv/NEQYB7BZH5 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/B.4/cauchy-sequence, Cauchy, sequence (concept). In N54F33XE07, index, section B.4
History
- 2026-11-01: add by m2/v0.6.13
James Heckman NEQZJB84S2
| URI | m2://inv/NEQZJB84S2 |
|---|---|
| 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#L105, James Heckman (unknown)
History
- 2026-11-02: add by m2/dev
Reversible dynamics NER24J29J8
| URI | m2://inv/NER24J29J8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#4OS3, Reversible dynamics (definition)
History
- 2026-11-02: add by m2/dev
NER6S88CXY NER6S88CXY
| URI | m2://inv/NER6S88CXY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 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 2610.10804#3JZ8 (statement). In 6M5WR7KB80/e1, theorem 4.1
History
- 2026-10-28: add by m2/v0.4.3
Terminology NERXVPNVKZ
| URI | m2://inv/NERXVPNVKZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Receiver operating characteristic#9JE0, Terminology (definition)
History
- 2026-11-02: add by m2/dev
Relationship to Vopěnka's Principle NES3892BJ4
| URI | m2://inv/NES3892BJ4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Subtle cardinal#PZXG, Relationship to Vopěnka's Principle (statement)
History
- 2026-11-02: add by m2/dev
Definition NES3FHEJ1J
| URI | m2://inv/NES3FHEJ1J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hrushovski construction#H7HP, Definition (definition)
History
- 2026-11-02: add by m2/dev
NES4B2M2YG NES4B2M2YG
| URI | m2://inv/NES4B2M2YG |
|---|---|
| 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.28075#CYUL (statement)
History
- 2026-11-01: add by m2/v0.6.15
NES5DY0H30 NES5DY0H30
| URI | m2://inv/NES5DY0H30 |
|---|---|
| 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 2411.07061#ICJ0 (statement). In S988ZVA1QE/e1, lemma 7
History
- 2026-10-27: add by m2/v0.3.6
NES6XM8J4N NES6XM8J4N
| URI | m2://inv/NES6XM8J4N |
|---|---|
| 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 2610.11757#F11L (statement). In VSJRVTHWWA/e1, lemma 4.3
History
- 2026-10-28: add by m2/v0.4.3
Descriptive phenomenological method in psychology NES7TDHXM2
| URI | m2://inv/NES7TDHXM2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Descriptive phenomenological method in psychology, Descriptive phenomenological method in psychology (definition). Also Wikidata Q5263799
History
- 2026-11-02: add by m2/dev
NESHBFTQKB NESHBFTQKB
| URI | m2://inv/NESHBFTQKB |
|---|---|
| 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 2204.13401#Z4IT (definition). In B8MJT0GGW8/e1, definition 3.3
History
- 2026-10-27: add by m2/v0.4.0
NESNP9EM1Q NESNP9EM1Q
| URI | m2://inv/NESNP9EM1Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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.30200#PCA0 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Example NETD2NKBT5
| URI | m2://inv/NETD2NKBT5 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quine–McCluskey algorithm#H58V, Example (example)
History
- 2026-11-02: add by m2/dev
Trigrad Gap NETECJKFTF
| URI | m2://inv/NETECJKFTF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#ZYF2, Trigrad Gap (unknown)
History
- 2026-11-02: add by m2/dev
NETGJZSVBT NETGJZSVBT
| URI | m2://inv/NETGJZSVBT |
|---|---|
| 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#VR3N (statement). In MF0H78XZXC/e1, lemma A.4
History
- 2026-10-28: add by m2/v0.4.3
NETH22D95E NETH22D95E
| URI | m2://inv/NETH22D95E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-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 2609.28780#YGC0 (statement)
History
- 2026-11-01: add by m2/v0.6.15
NETMNSAFV0 NETMNSAFV0
| URI | m2://inv/NETMNSAFV0 |
|---|---|
| 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.09001#5SWV (statement). In HJC1JJZRSH/e1, lemma 4.6
History
- 2026-10-29: add by m2/v0.4.10
NETXDJSD17 NETXDJSD17
| URI | m2://inv/NETXDJSD17 |
|---|---|
| Kind | conjecture |
| 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.38664#F54O (conjecture). In 7BCDS9M8MC/e1, conjecture 1.2
History
- 2026-10-30: add by m2/v0.4.12
NETYMVK8Z2 NETYMVK8Z2
| URI | m2://inv/NETYMVK8Z2 |
|---|---|
| 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 2610.02489#WMI8 (statement). In ZCJDWDR16Z/e1, corollary 3.5
History
- 2026-10-29: add by m2/v0.4.12
NETZCPBS0P NETZCPBS0P
| URI | m2://inv/NETZCPBS0P |
|---|---|
| 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 2610.19296#RLKU (statement). In WFR2WNW8NB/e1, proposition 4.5
History
- 2026-10-28: add by m2/v0.4.2
NEV7X0Z2M4 NEV7X0Z2M4
| URI | m2://inv/NEV7X0Z2M4 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-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.25353#EWLY (definition)
History
- 2026-11-01: add by m2/v0.6.15
NEVAT10XQ4 NEVAT10XQ4
| URI | m2://inv/NEVAT10XQ4 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/diffgeo/forms.tex#ques-4 (exercise). In RZP28ERRZV, ques, section 43.7
History
- 2026-11-01: add by m2/v0.6.13
Valerie Thomas NEVD803RMC
| URI | m2://inv/NEVD803RMC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Valerie Thomas, Valerie Thomas (topic). Also Wikidata Q21469
History
- 2026-11-02: add by m2/dev
proposition NEVF52G5XM
| URI | m2://inv/NEVF52G5XM |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi index/4.1/proposition, proposition (concept). In Y91XFCEVHQ, index, section 4.1
History
- 2026-11-01: add by m2/v0.6.13
National and international statistical services NEVKQJY2PG
| URI | m2://inv/NEVKQJY2PG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#J02M, National and international statistical services (topic)
History
- 2026-11-02: add by m2/dev
NEVMWG6HQ7 NEVMWG6HQ7
| URI | m2://inv/NEVMWG6HQ7 |
|---|---|
| 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 1610.01054#3F80 (statement). In WNTFRFJ8SE/e1, corollary III.3
History
- 2026-10-27: add by m2/v0.3.5
Finite Mach number periodic waves NEW0R2WA6C
| URI | m2://inv/NEW0R2WA6C |
|---|---|
| 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.01883#7AH6, Finite Mach number periodic waves (statement). In CYV4P9TDV0/e1, theorem 1.5
History
- 2026-10-29: add by m2/v0.4.12
Discounted hitting domination NEW38ZARN5
| URI | m2://inv/NEW38ZARN5 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 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 2609.31535#1UU2, Discounted hitting domination (definition). In BAWCMJQGVA/e1, definition 2.5
History
- 2026-10-31: add by m2/v0.5.6
N = 2 superconformal algebra NEW9BHWAJP
| URI | m2://inv/NEW9BHWAJP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia N = 2 superconformal algebra, N = 2 superconformal algebra (definition). Also Wikidata Q6956294
History
- 2026-11-02: add by m2/dev
Alexander NEWA6MEQGG
| URI | m2://inv/NEWA6MEQGG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of works by Averroes#5M2P, Alexander (topic)
History
- 2026-11-02: add by m2/dev
NEWEMN5M6R NEWEMN5M6R
| URI | m2://inv/NEWEMN5M6R |
|---|---|
| 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.20881#3NLT (statement)
History
- 2026-11-02: add by m2/v0.6.18
Bounded odd parts NEWEV163QA
| URI | m2://inv/NEWEV163QA |
|---|---|
| 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.14509#UDQF, Bounded odd parts (statement). In N6GD8392QB/e1, corollary 18.2
History
- 2026-10-28: add by m2/v0.4.2
NEWF53VDBR NEWF53VDBR
| URI | m2://inv/NEWF53VDBR |
|---|---|
| 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 2609.37425#WINR (statement). In E02TSC01RN/e1, lemma 6
History
- 2026-10-30: add by m2/v0.4.12
Defects of ideals NEWG10N1DP
| URI | m2://inv/NEWG10N1DP |
|---|---|
| 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.15262#YCY9, Defects of ideals (statement). In C44HVXWYRF/e1, lemma 3.2
History
- 2026-10-28: add by m2/v0.4.2
Definitions NEWMHVKTKM
| URI | m2://inv/NEWMHVKTKM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Feller process#NPSU, Definitions (definition)
History
- 2026-11-02: add by m2/dev
NEWPRTQ9A1 NEWPRTQ9A1
| URI | m2://inv/NEWPRTQ9A1 |
|---|---|
| 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.20760#5OOV (statement). In 6G9JSJ5JMP/e1, corollary 38
History
- 2026-10-27: add by m2/v0.4.2
Predictive inference NEWR4G1A58
| URI | m2://inv/NEWR4G1A58 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#U4AY, Predictive inference (definition)
History
- 2026-11-02: add by m2/dev
NEWV8TR1R6 NEWV8TR1R6
| URI | m2://inv/NEWV8TR1R6 |
|---|---|
| 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.35950#RS8G (statement). In BZN1G5W5FX/e1, lemma 13.1
History
- 2026-10-30: add by m2/v0.4.12
NEWVS4ZT5S NEWVS4ZT5S
| URI | m2://inv/NEWVS4ZT5S |
|---|---|
| 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 2511.08099#G243 (statement). In 5NK801XBGA/e1, lemma 3.2
History
- 2026-10-27: add by m2/v0.3.5
Teichmüller space NEWW05RK41
| URI | m2://inv/NEWW05RK41 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Teichmüller space, Teichmüller space (definition). Also Wikidata Q2400539
History
- 2026-11-02: add by m2/dev
NEWZD4NHNA NEWZD4NHNA
| URI | m2://inv/NEWZD4NHNA |
|---|---|
| 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.10527#I7PR (statement). In 9AXPPWBA9R/e1, lemma 1
History
- 2026-10-29: add by m2/v0.4.10
NEXA2GQYF3 NEXA2GQYF3
| URI | m2://inv/NEXA2GQYF3 |
|---|---|
| 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.11700#SQPH (statement). In RW9AZQ1YZ2/e1, proposition 8
History
- 2026-10-28: add by m2/v0.4.3
NEXD8AEWYG NEXD8AEWYG
| URI | m2://inv/NEXD8AEWYG |
|---|---|
| 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 2204.13401#4G2L (definition). In B8MJT0GGW8/e1, definition 4.14
History
- 2026-10-27: add by m2/v0.4.0
NEXDVQZAXD NEXDVQZAXD
| URI | m2://inv/NEXDVQZAXD |
|---|---|
| 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 2211.15302#BK45 (example). In FAZF2RBE6Y/e1, example 1
History
- 2026-10-27: add by m2/v0.3.5
NEXE10MW79 NEXE10MW79
| URI | m2://inv/NEXE10MW79 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/homology/cellular.tex#theorem-4 (statement). In RZP28ERRZV, theorem, section 50.5
History
- 2026-11-01: add by m2/v0.6.13
Homogeneous counting lemma NEXEKJ323Q
| URI | m2://inv/NEXEKJ323Q |
|---|---|
| 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 1806.05002#JH0Z, Homogeneous counting lemma (statement). In JBAQ7DTW7B/e1, lemma 7.2
History
- 2026-10-27: add by m2/v0.3.5
GAUSS Applications NEXHSEH0ME
| URI | m2://inv/NEXHSEH0ME |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia GAUSS (software)#J0X8, GAUSS Applications (example)
History
- 2026-11-02: add by m2/dev
Quasi-quotation NEXNB0DZK1
| URI | m2://inv/NEXNB0DZK1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quasi-quotation, Quasi-quotation (definition). Also Wikidata Q7269471
History
- 2026-11-02: add by m2/dev
Properties NEXRWQTH1W
| URI | m2://inv/NEXRWQTH1W |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Feferman–Schütte ordinal#GK57, Properties (statement)
History
- 2026-11-02: add by m2/dev
Kemer NEXX64KJZ7
| URI | m2://inv/NEXX64KJZ7 |
|---|---|
| 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.17408#048E, Kemer (statement). In QR8H4M1X4N/e1, theorem 2.1
History
- 2026-10-28: add by m2/v0.4.2
Vsevolod Romanovsky NEY7P11T3K
| URI | m2://inv/NEY7P11T3K |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vsevolod Romanovsky, Vsevolod Romanovsky (topic). Also Wikidata Q4397349
History
- 2026-11-02: add by m2/dev
Robert H. Shumway NEY8Q998JB
| URI | m2://inv/NEY8Q998JB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Robert H. Shumway, Robert H. Shumway (topic). Also Wikidata Q102078377
History
- 2026-11-02: add by m2/dev
NEYC0K4HM9 NEYC0K4HM9
| URI | m2://inv/NEYC0K4HM9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2404.18690#0H70 (statement). In MDCJJJRQ2X/e1, lemma 2.3
History
- 2026-10-27: add by m2/v0.3.5
NEYDZ4C8FW NEYDZ4C8FW
| URI | m2://inv/NEYDZ4C8FW |
|---|---|
| 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.05506#UKUW (statement). In FT53PMB1TE/e1, lemma 6.3.3
History
- 2026-10-29: add by m2/v0.4.10
Godbersen conjecture NEYG13K9RM
| URI | m2://inv/NEYG13K9RM |
|---|---|
| Kind | conjecture |
| 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.06806#L10I, Godbersen conjecture (conjecture). In ZZQT0GFMT2/e1, conjecture 1.1
History
- 2026-10-29: add by m2/v0.4.10
An off-backbone-depth bound for adaptive selection NEYPQA0Q20
| URI | m2://inv/NEYPQA0Q20 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 65-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 2609.34025#NJ6Y, An off-backbone-depth bound for adaptive selection (statement). In VCG579E7MM/e1, corollary 3
History
- 2026-10-30: add by m2/v0.4.12
Definition NEYX789D6C
| URI | m2://inv/NEYX789D6C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Search problem#GOZF, Definition (definition)
History
- 2026-11-02: add by m2/dev
ideal NEYYM2VZ6Z
| URI | m2://inv/NEYYM2VZ6Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of ring theory#EPDP, ideal (definition)
History
- 2026-11-02: add by m2/dev
NEYYW04DQF NEYYW04DQF
| URI | m2://inv/NEYYW04DQF |
|---|---|
| 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.26477#W6J7 (statement)
History
- 2026-11-01: add by m2/v0.6.15
NEZ3AZ97DZ NEZ3AZ97DZ
| URI | m2://inv/NEZ3AZ97DZ |
|---|---|
| Kind | statement |
| 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 1002.0879#R4NB (statement). In M0SQY5EZN5/e1, lemma 4.6.4
History
- 2026-10-27: add by m2/v0.3.5
Distinguished-edge configuration principle NEZ57JS48W
| URI | m2://inv/NEZ57JS48W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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.06081#WCR4, Distinguished-edge configuration principle (statement). In 7Z3KQRFEVG/e1, theorem 1.2
History
- 2026-10-29: add by m2/v0.4.10
NEZAS4SRJQ NEZAS4SRJQ
| URI | m2://inv/NEZAS4SRJQ |
|---|---|
| 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.03353#KYIB (definition). In 8W61T5CSRB/e1, definition 2.1
History
- 2026-10-29: add by m2/v0.4.12
NEZB1BCWE0 NEZB1BCWE0
| URI | m2://inv/NEZB1BCWE0 |
|---|---|
| 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.15700#7N0V (statement). In S95MSZ7MDR/e1, lemma 3.4
History
- 2026-10-28: add by m2/v0.4.2
Definition NEZFQMVNCJ
| URI | m2://inv/NEZFQMVNCJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Random group#O7J5, Definition (definition)
History
- 2026-11-02: add by m2/dev
Wrigley, E. A. NEZFW9PNDV
| URI | m2://inv/NEZFW9PNDV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#829Q, Wrigley, E. A. (unknown)
History
- 2026-11-02: add by m2/dev
Big q-Legendre polynomials NEZSXJZ8ZW
| URI | m2://inv/NEZSXJZ8ZW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Big q-Legendre polynomials, Big q-Legendre polynomials (definition). Also Wikidata Q19799635
History
- 2026-11-02: add by m2/dev
Edith Hirsch Luchins NEZVRT6MQK
| URI | m2://inv/NEZVRT6MQK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#01EL, Edith Hirsch Luchins (topic)
History
- 2026-11-02: add by m2/dev