Inventory rows N4
The cards of the rows of the inventory whose ids start with N4. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
N401TTHE3A N401TTHE3A
| URI | m2://inv/N401TTHE3A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09278#8X8B (statement). In XREKHJHAT7/e1, proposition 3.8
History
- 2026-10-29: add by m2/v0.4.10
Bestvina–Handel theorem for irreducible automorphisms N404J0NYTA
| URI | m2://inv/N404J0NYTA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Train track map#PWOB, Bestvina–Handel theorem for irreducible automorphisms (statement)
History
- 2026-11-02: add by m2/dev
N406DERRV3 N406DERRV3
| URI | m2://inv/N406DERRV3 |
|---|---|
| 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.20775#NKWS (statement). In XG27B81T0G/e1, theorem 4.1
History
- 2026-10-27: add by m2/v0.4.2
Resolvent factorization N406MQZYEJ
| URI | m2://inv/N406MQZYEJ |
|---|---|
| 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.01501#6EFZ, Resolvent factorization (statement). In 8Q2PXZDGB5/e1, lemma 3.4
History
- 2026-10-29: add by m2/v0.4.12
History of population genetics N407JBS2WC
| URI | m2://inv/N407JBS2WC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Population genetics#9OUL, History of population genetics (unknown)
History
- 2026-11-02: add by m2/dev
Arthur Korn N409MYMK8N
| URI | m2://inv/N409MYMK8N |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#JWC5, Arthur Korn (unknown)
History
- 2026-11-02: add by m2/dev
N40DNMMCM7 N40DNMMCM7
| URI | m2://inv/N40DNMMCM7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2601.01000#4ZFJ (statement). In RYFV9HGWWZ/e1, proposition 12
History
- 2026-10-27: add by m2/v0.3.5
N40GRDYPK9 N40GRDYPK9
| URI | m2://inv/N40GRDYPK9 |
|---|---|
| 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 2609.39531#DDJY (statement). In SN9RSTHQ07/e1, proposition E.4
History
- 2026-10-30: add by m2/v0.4.12
N40NRWTG0A N40NRWTG0A
| URI | m2://inv/N40NRWTG0A |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 37-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.19194#D8NN (definition). In P9D8W64P7X/e1, definition 2.5
History
- 2026-10-28: add by m2/v0.4.2
Near-Optimal Tomography for Pure Gaussian States, Theorem S7 N40TAYFNDR
| URI | m2://inv/N40TAYFNDR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06810#BAXM, Near-Optimal Tomography for Pure Gaussian States, Theorem S7 (statement). In 1NY2SA03XF/e1, theorem 3.5
History
- 2026-10-29: add by m2/v0.4.10
N40VXRTG3R N40VXRTG3R
| URI | m2://inv/N40VXRTG3R |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-higher-order-ode.tex#exercise-61 (exercise). In E9HS8K3A52, exercise, section 6.5.4
History
- 2026-11-01: add by m2/v0.6.13
N411M0252R N411M0252R
| URI | m2://inv/N411M0252R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 57-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.08638#YDKM (statement). In 113VZ5XX7J/e1, theorem 2.1
History
- 2026-10-29: add by m2/v0.4.10
Edward Jarvis N414KZJ36H
| URI | m2://inv/N414KZJ36H |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Edward Jarvis (physician), Edward Jarvis (topic). Also Wikidata Q16063003
History
- 2026-11-02: add by m2/dev
M N41AKNY0TQ
| URI | m2://inv/N41AKNY0TQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#VCI4, M (definition)
History
- 2026-11-02: add by m2/dev
finite map N41DJG1Y37
| URI | m2://inv/N41DJG1Y37 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Data structures > Maps > finite map, finite map (unknown). Also Mathlib Finmap
History
- 2026-10-26: add by m2/dev
Nucleus N41P3AKNRW
| URI | m2://inv/N41P3AKNRW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nucleus (order theory), Nucleus (definition). Also Wikidata Q113669061
History
- 2026-11-02: add by m2/dev
N41P7KS1MV N41P7KS1MV
| URI | m2://inv/N41P7KS1MV |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20801#MT76 (definition). In A1GWWGRXPA/e1, definition 1.8
History
- 2026-10-27: add by m2/v0.4.2
N41R58NHXE N41R58NHXE
| URI | m2://inv/N41R58NHXE |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 03-XX, 18-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07695#0FH7 (example). In 8Z47D12KSX/e1, example 10.11
History
- 2026-10-29: add by m2/v0.4.10
N41TZA9WSB N41TZA9WSB
| URI | m2://inv/N41TZA9WSB |
|---|---|
| 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.30207#A76K (statement)
History
- 2026-11-01: add by m2/v0.6.15
N41YDXWAA3 N41YDXWAA3
| URI | m2://inv/N41YDXWAA3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/lambda-calculus/syntax/unique-readability.tex#lem:term-start (statement). In PKGMM3P5QY, lem, section 39.3
History
- 2026-11-01: add by m2/v0.6.13
N425N4KJ1Y N425N4KJ1Y
| URI | m2://inv/N425N4KJ1Y |
|---|---|
| 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 2308.02672#AQHL (statement). In ETRT1R1CQ8/e1, theorem 1.2
History
- 2026-10-27: add by m2/v0.4.0
Ridgeline plot N426MSK3QC
| URI | m2://inv/N426MSK3QC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ridgeline plot, Ridgeline plot (definition). Also Wikidata Q118874506
History
- 2026-11-02: add by m2/dev
Fluctuation theorem N42D92M6A9
| URI | m2://inv/N42D92M6A9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#XNKU, Fluctuation theorem (statement)
History
- 2026-11-02: add by m2/dev
N42X6KDHCE N42X6KDHCE
| URI | m2://inv/N42X6KDHCE |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27360#MRPR (definition)
History
- 2026-11-01: add by m2/v0.6.15
LDP at logarithmic speed for quantum depletion N42YYJMTKP
| URI | m2://inv/N42YYJMTKP |
|---|---|
| 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 2609.10840#9ANU, LDP at logarithmic speed for quantum depletion (statement). In P0HKF5DY7M/e1, theorem 3.6
History
- 2026-10-27: add by m2/v0.3.5
N42ZPZZV7T N42ZPZZV7T
| URI | m2://inv/N42ZPZZV7T |
|---|---|
| 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#2SXK (statement)
History
- 2026-11-02: add by m2/v0.6.18
\textbf{Uniform-in-time second-moment bounds of U-ULMC N4318XYAB0
| URI | m2://inv/N4318XYAB0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20713#LN7Y, \textbf{Uniform-in-time second-moment bounds of U-ULMC (statement)
History
- 2026-11-02: add by m2/v0.6.18
Logarithmic coordinates on unit quotients N4319NCV48
| URI | m2://inv/N4319NCV48 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30301#951L, Logarithmic coordinates on unit quotients (statement). In 7NS75J7HAM/e1, lemma 7.2
History
- 2026-10-31: add by m2/v0.5.6
Definition N438W2RSRD
| URI | m2://inv/N438W2RSRD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kervaire–Milnor group#KVNF, Definition (definition)
History
- 2026-11-02: add by m2/dev
Bounded variation N43FR37866
| URI | m2://inv/N43FR37866 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of real analysis topics#X602, Bounded variation (definition)
- wikipedia: Wikipedia List of integration and measure theory topics#Z9VX, Bounded variation (definition)
History
- 2026-11-02: add by m2/dev
N43NMM0DN1 N43NMM0DN1
| URI | m2://inv/N43NMM0DN1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/TasteNumberTheory.tex#thm:n even implies n^2 even (statement). In P1C114YBXG, theorem, section J
History
- 2026-11-01: add by m2/v0.6.13
R\'enyi-private design N43QCJF8X9
| URI | m2://inv/N43QCJF8X9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13685#B81G, R\'enyi-private design (statement). In 4XQWY8C4AV/e1, corollary 2
History
- 2026-10-28: add by m2/v0.4.2
Tova Milo N43XYZS7A4
| URI | m2://inv/N43XYZS7A4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#9BUD, Tova Milo (unknown)
History
- 2026-11-02: add by m2/dev
N4412XTBCF N4412XTBCF
| URI | m2://inv/N4412XTBCF |
|---|---|
| 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 2010.14428#38KN (statement). In VTTVY2ZRAN/e1, theorem 2
History
- 2026-10-27: add by m2/v0.3.5
N441VNWWBH N441VNWWBH
| URI | m2://inv/N441VNWWBH |
|---|---|
| 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.39539#X9AT (statement). In GVR218P3ZR/e1, lemma 8.2.3
History
- 2026-10-30: add by m2/v0.4.12
Samuel Clarke N4440DRR39
| URI | m2://inv/N4440DRR39 |
|---|---|
| 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 Q381073, Samuel Clarke (unknown). Also nLab Samuel Clarke
History
- 2026-10-26: add by m2/dev
N4458HBPFS N4458HBPFS
| URI | m2://inv/N4458HBPFS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 37-XX, 57-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19787#742U (statement). In A4VP56CT7B/e1, lemma 2.4
History
- 2026-10-28: add by m2/v0.4.2
Balanced trees with bounded degree N446VJQP3F
| URI | m2://inv/N446VJQP3F |
|---|---|
| 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#26OE, Balanced trees with bounded degree (statement). In VCG579E7MM/e1, proposition 6
History
- 2026-10-30: add by m2/v0.4.12
N44ABR37SH N44ABR37SH
| URI | m2://inv/N44ABR37SH |
|---|---|
| Kind | example |
| 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.14985#AV91 (example). In DGXJW3SCBR/e1, example 30
History
- 2026-10-28: add by m2/v0.4.2
Placed principal ideals N44C5320TQ
| URI | m2://inv/N44C5320TQ |
|---|---|
| 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#6ILS, Placed principal ideals (statement). In C44HVXWYRF/e1, theorem 5.5
History
- 2026-10-28: add by m2/v0.4.2
Lee–Yang theorem N44DGXTCMM
| URI | m2://inv/N44DGXTCMM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#71ZW, Lee–Yang theorem (statement)
History
- 2026-11-02: add by m2/dev
Formal definition N44DNHYGMA
| URI | m2://inv/N44DNHYGMA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Register machine#5MXU, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
N44GEYBWN2 N44GEYBWN2
| URI | m2://inv/N44GEYBWN2 |
|---|---|
| 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.23006#32HD (statement)
History
- 2026-11-02: add by m2/v0.6.17
Definition N44JEX5Z3F
| URI | m2://inv/N44JEX5Z3F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inflection point#H26X, Definition (definition)
History
- 2026-11-02: add by m2/dev
N44T8WD7X7 N44T8WD7X7
| URI | m2://inv/N44T8WD7X7 |
|---|---|
| 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.18106#IIL0 (statement). In VZDPG7NJCX/e1, corollary 3
History
- 2026-10-28: add by m2/v0.4.2
Regularized Gamma function N44VF148HW
| URI | m2://inv/N44VF148HW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Incomplete gamma function#ZC3U, Regularized Gamma function (unknown)
History
- 2026-11-02: add by m2/dev
Notation N450PM22JV
| URI | m2://inv/N450PM22JV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Antisymmetric tensor#P9LG, Notation (definition)
History
- 2026-11-02: add by m2/dev
Applications N45ARRZ0A1
| URI | m2://inv/N45ARRZ0A1 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Projective unitary group#22HH, Applications (example)
History
- 2026-11-02: add by m2/dev
Results N45DTPS8P7
| URI | m2://inv/N45DTPS8P7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 2017 Pakistani census#MS1C, Results (statement)
History
- 2026-11-02: add by m2/dev
N45S8TFSFF N45S8TFSFF
| URI | m2://inv/N45S8TFSFF |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/proj-var.tex#example-5 (example). In RZP28ERRZV, example, section 23.3
History
- 2026-11-01: add by m2/v0.6.13
N45ZM1RAE7 N45ZM1RAE7
| URI | m2://inv/N45ZM1RAE7 |
|---|---|
| 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 2609.21972#02SS (statement)
History
- 2026-11-02: add by m2/v0.6.17
N464V5KQH4 N464V5KQH4
| URI | m2://inv/N464V5KQH4 |
|---|---|
| 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 2609.29531#WWBP (statement)
History
- 2026-11-01: add by m2/v0.6.15
type, identity N466077SWR
| URI | m2://inv/N466077SWR |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/4.2.10/type-identity, type, identity (concept). In N54F33XE07, index, section 4.2.10
History
- 2026-11-01: add by m2/v0.6.13
N46A0EV1NA N46A0EV1NA
| URI | m2://inv/N46A0EV1NA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26600#QVTI (statement)
History
- 2026-11-01: add by m2/v0.6.15
N46BWPCHD8 N46BWPCHD8
| URI | m2://inv/N46BWPCHD8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 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 2609.38030#TOUF (statement). In XYYEJN00D8/e1, lemma A.2
History
- 2026-10-30: add by m2/v0.4.12
Properties N46D3DTPV3
| URI | m2://inv/N46D3DTPV3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia S-unit#G2CZ, Properties (statement)
History
- 2026-11-02: add by m2/dev
Homogeneous component N46NDERSV7
| URI | m2://inv/N46NDERSV7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graded ring#UADK, Homogeneous component (unknown)
History
- 2026-11-02: add by m2/dev
Permutation (music) N46RP53RB7
| URI | m2://inv/N46RP53RB7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of permutation topics#2JYA, Permutation (music) (unknown)
History
- 2026-11-02: add by m2/dev
Applications N46VQ7KNC0
| URI | m2://inv/N46VQ7KNC0 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Error analysis (mathematics)#ZKBG, Applications (example)
History
- 2026-11-02: add by m2/dev
Frenet vector N473MW6VMB
| URI | m2://inv/N473MW6VMB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Differentiable curve#ZHLY, Frenet vector (unknown)
History
- 2026-11-02: add by m2/dev
Definition 5.29, page 168 N479AF8AA9
| URI | m2://inv/N479AF8AA9 |
|---|---|
| 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.22759#QKJV, Definition 5.29, page 168 (definition)
History
- 2026-11-02: add by m2/v0.6.17
N47CBAYPNS N47CBAYPNS
| URI | m2://inv/N47CBAYPNS |
|---|---|
| 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.35186#FT8W (statement). In VFNPANY3HD/e1, fact 2
History
- 2026-10-30: add by m2/v0.4.12
Theorem (Burst error detection ability) N47JQ90F9R
| URI | m2://inv/N47JQ90F9R |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Burst error-correcting code#EKAK, Theorem (Burst error detection ability) (statement)
History
- 2026-11-02: add by m2/dev
Definitions N47MV9FHMQ
| URI | m2://inv/N47MV9FHMQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Overring#HWAD, Definitions (definition)
History
- 2026-11-02: add by m2/dev
N47QM80TQJ N47QM80TQJ
| URI | m2://inv/N47QM80TQJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.03499#5SNM (statement). In NAE99N03W3/e1, lemma 8.2
History
- 2026-10-29: add by m2/v0.4.12
De Bruijn graph N47SH1FQGG
| URI | m2://inv/N47SH1FQGG |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3066095, De Bruijn graph (concept). Also MathWorld deBruijnGraph
- wikipedia: Wikipedia De Bruijn graph, De Bruijn graph (definition). Also Wikidata Q3066095
History
- 2026-10-26: add by m2/dev
multiple Birkhoff recurrence theorem (Furstenberg and Weiss, 1978) N480F5CMM9
| URI | m2://inv/N480F5CMM9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Van der Waerden's theorem#UOYG, multiple Birkhoff recurrence theorem (Furstenberg and Weiss, 1978) (statement)
History
- 2026-11-02: add by m2/dev
Expander mixing lemma N48FZ61T2D
| URI | m2://inv/N48FZ61T2D |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of lemmas#BS2W, Expander mixing lemma (statement)
History
- 2026-11-02: add by m2/dev
N48QPQNK8R N48QPQNK8R
| URI | m2://inv/N48QPQNK8R |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/calculus/limits.tex#dproblem-1 (exercise). In RZP28ERRZV, dproblem, section 32.8
History
- 2026-11-01: add by m2/v0.6.13
N48YM2S8FZ N48YM2S8FZ
| URI | m2://inv/N48YM2S8FZ |
|---|---|
| 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.38194#3L3T (statement). In M9BZSET9ZV/e1, lemma 3.2
History
- 2026-10-30: add by m2/v0.4.12
Examples N48ZAB50JM
| URI | m2://inv/N48ZAB50JM |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kasch ring#5R8I, Examples (example)
History
- 2026-11-02: add by m2/dev
Neighbourhood components analysis N490YD4TZM
| URI | m2://inv/N490YD4TZM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#PMH7, Neighbourhood components analysis (definition)
History
- 2026-11-02: add by m2/dev
N491QC9742 N491QC9742
| URI | m2://inv/N491QC9742 |
|---|---|
| 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.28211#5U14 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Elizabeth O'Neil N4933A3JYQ
| URI | m2://inv/N4933A3JYQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#62IL, Elizabeth O'Neil (unknown)
History
- 2026-11-02: add by m2/dev
N494WHTBCS N494WHTBCS
| URI | m2://inv/N494WHTBCS |
|---|---|
| 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 2609.23237#PZOJ (statement)
History
- 2026-11-02: add by m2/v0.6.17
Three Rivers South, Oregon N494Z124GJ
| URI | m2://inv/N494Z124GJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#R7KT, Three Rivers South, Oregon (unknown)
History
- 2026-11-02: add by m2/dev
Theorems N49DGMVXDF
| URI | m2://inv/N49DGMVXDF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/natural-deduction/proof-theoretic-notions.tex#defn-1, Theorems (definition). In PKGMM3P5QY, defn, section 15.1
History
- 2026-11-01: add by m2/v0.6.13
N49ETTD0SN N49ETTD0SN
| URI | m2://inv/N49ETTD0SN |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 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.21052#N75K (example)
History
- 2026-11-02: add by m2/v0.6.18
N49KG5B48W N49KG5B48W
| URI | m2://inv/N49KG5B48W |
|---|---|
| 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.02751#SIQZ (statement). In MWGXPXF3BW/e1, lemma 17
History
- 2026-10-29: add by m2/v0.4.12
N49MCWWGGD N49MCWWGGD
| URI | m2://inv/N49MCWWGGD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 49-XX, 51-XX, 52-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.34845#9UE5 (statement). In SBZNH932ZV/e1, theorem A.2
History
- 2026-10-30: add by m2/v0.4.12
Pierre Ossian Bonnet N49N9YKREZ
| URI | m2://inv/N49N9YKREZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of geometers#XCZI, Pierre Ossian Bonnet (topic)
History
- 2026-11-02: add by m2/dev
graph, acyclic N49WJ4CJHD
| URI | m2://inv/N49WJ4CJHD |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/5.1/graph-acyclic, graph, acyclic (concept). In QKM9DD2H56, index, section 5.1
History
- 2026-11-01: add by m2/v0.6.13
Normalized martingale functional approximation N4A1TSQ2T8
| URI | m2://inv/N4A1TSQ2T8 |
|---|---|
| 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 2609.40338#RLNA, Normalized martingale functional approximation (statement). In K5H6GS0SGQ/e1, lemma 4.11
History
- 2026-10-30: add by m2/v0.4.12
N4A3ECN6E5 N4A3ECN6E5
| URI | m2://inv/N4A3ECN6E5 |
|---|---|
| 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 2609.34675#EFEA (definition). In C93BAXKJVD/e1, definition 2
History
- 2026-10-30: add by m2/v0.4.12
Kevin Buzzard N4A4D9BWVD
| URI | m2://inv/N4A4D9BWVD |
|---|---|
| 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 Q1740098, Kevin Buzzard (unknown). Also nLab Kevin Buzzard
- wikipedia: Wikipedia Kevin Buzzard, Kevin Buzzard (topic). Also Wikidata Q1740098
History
- 2026-10-26: add by m2/dev
N4A5NTZ8BP N4A5NTZ8BP
| URI | m2://inv/N4A5NTZ8BP |
|---|---|
| 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.32906#YYCI (statement). In R589MXXHX4/e1, proposition 6.6
History
- 2026-10-31: add by m2/v0.5.6
Haïm Brezis N4A76PJA8N
| URI | m2://inv/N4A76PJA8N |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Haïm Brezis, Haïm Brezis (topic). Also Wikidata Q1265142
History
- 2026-11-02: add by m2/dev
N4ACZ4GV82 N4ACZ4GV82
| URI | m2://inv/N4ACZ4GV82 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27775#9UKH (statement)
History
- 2026-11-01: add by m2/v0.6.15
Theorem N4AF95YC9W
| URI | m2://inv/N4AF95YC9W |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Carnot's theorem (perpendiculars)#EZG5, Theorem (statement)
History
- 2026-11-02: add by m2/dev
N4AN97NJDR N4AN97NJDR
| URI | m2://inv/N4AN97NJDR |
|---|---|
| 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 2102.12931#J7HU (statement). In PQHTR84RAJ/e1, lemma 4.6
History
- 2026-10-27: add by m2/v0.4.0
N4AVYAJD9Q N4AVYAJD9Q
| URI | m2://inv/N4AVYAJD9Q |
|---|---|
| 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.31858#ABFP (statement). In QV16PHDXKJ/e1, lemma A.6
History
- 2026-10-31: add by m2/v0.5.6
Serre's conjecture II N4AWBSVC2B
| URI | m2://inv/N4AWBSVC2B |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Serre's conjecture II, Serre's conjecture II (conjecture). Also Wikidata Q17103221
History
- 2026-11-02: add by m2/dev
Itay Neeman N4AWX6HWMR
| URI | m2://inv/N4AWX6HWMR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Itay Neeman, Itay Neeman (topic). Also Wikidata Q102173229
History
- 2026-11-02: add by m2/dev
N4B0D2NNAB N4B0D2NNAB
| URI | m2://inv/N4B0D2NNAB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/measure/randvar.tex#definition-2 (definition). In RZP28ERRZV, definition, section 69.1
History
- 2026-11-01: add by m2/v0.6.13
N4BANZQXZW N4BANZQXZW
| URI | m2://inv/N4BANZQXZW |
|---|---|
| Kind | definition |
| 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.32599#YDN9 (definition). In E1Y93JNBJA/e1, definition 4.1
History
- 2026-10-31: add by m2/v0.5.6
BCH code N4BRD5SD5T
| URI | m2://inv/N4BRD5SD5T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic coding theory topics#UUNI, BCH code (definition)
History
- 2026-11-02: add by m2/dev
N4BSJZVR0F N4BSJZVR0F
| URI | m2://inv/N4BSJZVR0F |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 11-XX, 14-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.11545#4NZO (example). In VN084GGZGK/e1, example 2.2
History
- 2026-10-28: add by m2/v0.4.3
Brian LaMacchia N4BVN6FPRA
| URI | m2://inv/N4BVN6FPRA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#N3VV, Brian LaMacchia (unknown)
History
- 2026-11-02: add by m2/dev
\bf Discounted regret N4BW35JQ6C
| URI | m2://inv/N4BW35JQ6C |
|---|---|
| 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 2411.07061#OFSD, \bf Discounted regret (definition). In S988ZVA1QE/e1, definition 2
History
- 2026-10-27: add by m2/v0.3.6
N4BXSKMGHW N4BXSKMGHW
| URI | m2://inv/N4BXSKMGHW |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-ser.tex#example-1 (example). In E59CDZA4DP, example, section 10.1
History
- 2026-11-01: add by m2/v0.6.13
N4BYHSQSFV N4BYHSQSFV
| URI | m2://inv/N4BYHSQSFV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 53-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25289#20XL (statement)
History
- 2026-11-01: add by m2/v0.6.15
Levi-Civita connection N4C5GAXG8E
| URI | m2://inv/N4C5GAXG8E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of differential geometry topics#0RYV, Levi-Civita connection (definition)
- wikipedia: Wikipedia List of differential geometry topics#4IVF, Levi-Civita connection (definition)
History
- 2026-11-02: add by m2/dev
Supporting hyperplane theorem N4CN1WB03A
| URI | m2://inv/N4CN1WB03A |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#thm-54, Supporting hyperplane theorem (statement). In VNMV985MXX, thm, section E.2
History
- 2026-11-01: add by m2/v0.6.13
paper folding limit N4CV7HE9V3
| URI | m2://inv/N4CV7HE9V3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4331241, paper folding limit (unknown). Also MathWorld Folding
History
- 2026-10-26: add by m2/dev
23 N4CW62KCC4
| URI | m2://inv/N4CW62KCC4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 23 (number), 23 (definition). Also Wikidata Q48240
History
- 2026-11-02: add by m2/dev
Margaret Hayman N4CXERV3YH
| URI | m2://inv/N4CXERV3YH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Margaret Hayman, Margaret Hayman (topic). Also Wikidata Q57239292
History
- 2026-11-02: add by m2/dev
Radicial morphism N4D2J95JFD
| URI | m2://inv/N4D2J95JFD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Radicial morphism, Radicial morphism (definition). Also Wikidata Q17099707
History
- 2026-11-02: add by m2/dev
Positive-area transfer of the lower mean N4D3CY4DAN
| URI | m2://inv/N4D3CY4DAN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 35-XX, 53-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.18788#8T22, Positive-area transfer of the lower mean (statement). In KFEASG3ZHS/e1, lemma 7.1
History
- 2026-10-28: add by m2/v0.4.2
N4D86AKQHR N4D86AKQHR
| URI | m2://inv/N4D86AKQHR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2608.23797#XJUW (statement). In PZCA01JXVR/e1, proposition 5.12
History
- 2026-10-27: add by m2/v0.3.5
N4DGEWFHZ1 N4DGEWFHZ1
| URI | m2://inv/N4DGEWFHZ1 |
|---|---|
| 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.24185#8ZTX (statement)
History
- 2026-11-01: add by m2/v0.6.15
N4DM1XZEGP N4DM1XZEGP
| URI | m2://inv/N4DM1XZEGP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2205.09049#IYH7 (statement). In 37S7MNMZ2F/e1, proposition 74
History
- 2026-10-27: add by m2/v0.3.5
Closed Form of the Entropy-Only Variational Problem N4DQZ7XHTS
| URI | m2://inv/N4DQZ7XHTS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 26-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.12239#31ZU, Closed Form of the Entropy-Only Variational Problem (statement). In CW9MNA6K58/e1, proposition 3.1
History
- 2026-10-28: add by m2/v0.4.2
Resampling (statistics) N4DRDWTN3S
| URI | m2://inv/N4DRDWTN3S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#7ODJ, Resampling (statistics) (definition)
- wikipedia: Wikipedia List of permutation topics#48P5, Resampling (statistics) (definition)
History
- 2026-11-02: add by m2/dev
Chern's conjecture for hypersurfaces in spheres N4DS3EP1X1
| URI | m2://inv/N4DS3EP1X1 |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chern's conjecture for hypersurfaces in spheres, Chern's conjecture for hypersurfaces in spheres (conjecture). Also Wikidata Q65079643
History
- 2026-11-02: add by m2/dev
product of five distinct primes N4E0327P7V
| URI | m2://inv/N4E0327P7V |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q115113253, product of five distinct primes (object). Also OEIS A046387
History
- 2026-10-26: add by m2/dev
N4E6NTM5X1 N4E6NTM5X1
| URI | m2://inv/N4E6NTM5X1 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-ser.tex#proof-13 (proof). In E59CDZA4DP, proof, section 10.2.4
History
- 2026-11-01: add by m2/v0.6.13
N4ED4PB5K8 N4ED4PB5K8
| URI | m2://inv/N4ED4PB5K8 |
|---|---|
| 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.35836#C8PL (statement). In Z79B37XGE9/e1, lemma 2
History
- 2026-10-30: add by m2/v0.4.12
tetracategory N4EE9WP9E7
| URI | m2://inv/N4EE9WP9E7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7706224, tetracategory (unknown). Also nLab tetracategory
- wikipedia: Wikipedia Tetracategory, Tetracategory (definition). Also Wikidata Q7706224
History
- 2026-10-26: add by m2/dev
Betti number N4EJ92K6RH
| URI | m2://inv/N4EJ92K6RH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of complex and algebraic surfaces#2Y6T, Betti number (definition)
History
- 2026-11-02: add by m2/dev
McDiarmid's Inequality (Sub-exponential norm) N4EQEN0KJN
| URI | m2://inv/N4EQEN0KJN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia McDiarmid's inequality#Y05J, McDiarmid's Inequality (Sub-exponential norm) (statement)
History
- 2026-11-02: add by m2/dev
3517 (number) N4ER9JNGNK
| URI | m2://inv/N4ER9JNGNK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 3000 (number)#MMRN, 3517 (number) (unknown)
History
- 2026-11-02: add by m2/dev
Extracting $\pi(n)$ from the packed sieve N4ETYGBA9W
| URI | m2://inv/N4ETYGBA9W |
|---|---|
| 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.13365#CVM0, Extracting $\pi(n)$ from the packed sieve (statement). In YMBTSX10FF/e1, corollary 3.5
History
- 2026-10-28: add by m2/v0.4.2
the category of algebras over a ring N4EVNEZE2G
| URI | m2://inv/N4EVNEZE2G |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview General algebra > Algebras over a ring > the category of algebras over a ring, the category of algebras over a ring (unknown). Also Mathlib AlgCat
History
- 2026-10-26: add by m2/dev
cactus N4EXWN4R8T
| URI | m2://inv/N4EXWN4R8T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#OT9R, cactus (definition)
History
- 2026-11-02: add by m2/dev
Restriction under a Frostman condition N4F3AJ52D4
| URI | m2://inv/N4F3AJ52D4 |
|---|---|
| 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 2609.20643#I45N, Restriction under a Frostman condition (statement)
History
- 2026-11-02: add by m2/v0.6.18
N4F77DW0DY N4F77DW0DY
| URI | m2://inv/N4F77DW0DY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28514#VDBG (statement)
History
- 2026-11-01: add by m2/v0.6.15
Jean-Victor Poncelet N4FAE7QS1W
| URI | m2://inv/N4FAE7QS1W |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jean-Victor Poncelet, Jean-Victor Poncelet (topic). Also Wikidata Q168452
History
- 2026-11-02: add by m2/dev
Symbolic method N4FBRQ62Q3
| URI | m2://inv/N4FBRQ62Q3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Symbolic method, Symbolic method (definition). Also Wikidata Q7661183
History
- 2026-11-02: add by m2/dev
N4FPB2F3AG N4FPB2F3AG
| URI | m2://inv/N4FPB2F3AG |
|---|---|
| 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.21501#QG0J (statement). In 1H64QT301C/e1, lemma 4.7
History
- 2026-10-27: add by m2/v0.4.2
Formulation N4FRFB3MHN
| URI | m2://inv/N4FRFB3MHN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jacobi rotation#PVU5, Formulation (definition)
History
- 2026-11-02: add by m2/dev
N4FRTE905W N4FRTE905W
| URI | m2://inv/N4FRTE905W |
|---|---|
| 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 0809.1307#PASQ (statement). In TP09MNWY6B/e1, proposition 2.13
History
- 2026-10-27: add by m2/v0.3.5
Examples N4FZM77K6Q
| URI | m2://inv/N4FZM77K6Q |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reciprocal polynomial#RJM1, Examples (example)
History
- 2026-11-02: add by m2/dev
N4G54YMZW4 N4G54YMZW4
| URI | m2://inv/N4G54YMZW4 |
|---|---|
| Kind | problem |
| 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 2609.39169#1F3R (problem). In ANHWXYPQFX/e1, problem 4.11
History
- 2026-10-30: add by m2/v0.4.12
N4G5SKR62A N4G5SKR62A
| URI | m2://inv/N4G5SKR62A |
|---|---|
| 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.22237#YI8I (statement). In 2FWTWMHA2W/e1, theorem 1.3
History
- 2026-10-27: add by m2/v0.4.0
Abel's identity N4G7KSQYMK
| URI | m2://inv/N4G7KSQYMK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Abel's identity 0VGWKX2JHB |
Mentions
- wikidata: Wikidata Q318714, Abel's identity (statement). Also MathWorld AbelsDifferentialEquationIdentity
- wikipedia: Wikipedia Abel's identity, Abel's identity (statement). Also Wikidata Q318714
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Applications N4G871VK39
| URI | m2://inv/N4G871VK39 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia InterPlanetary File System#4KMA, Applications (example)
History
- 2026-11-02: add by m2/dev
Psychologist's fallacy N4GBY5C73Y
| URI | m2://inv/N4GBY5C73Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Psychologist's fallacy, Psychologist's fallacy (definition). Also Wikidata Q7256395
History
- 2026-11-02: add by m2/dev
Alexander Goncharov N4GJSY10PY
| URI | m2://inv/N4GJSY10PY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#7Y64, Alexander Goncharov (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#AKOW, Alexander Goncharov (topic)
History
- 2026-11-02: add by m2/dev
Euclidean plane N4GQ8MKPWZ
| URI | m2://inv/N4GQ8MKPWZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3391320, Euclidean plane (unknown). Also MathWorld EuclideanPlane
History
- 2026-10-26: add by m2/dev
Schröder–Bernstein theorems for operator algebras N4GSR59M7D
| URI | m2://inv/N4GSR59M7D |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#AFWC, Schröder–Bernstein theorems for operator algebras (statement)
History
- 2026-11-02: add by m2/dev
Generalized linear mixed model N4H0E9SM10
| URI | m2://inv/N4H0E9SM10 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#HQYV, Generalized linear mixed model (definition)
History
- 2026-11-02: add by m2/dev
Theorem N4H846QQJD
| URI | m2://inv/N4H846QQJD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Extreme value theorem#K2DF, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Harry C. Carver N4HMY8V7XW
| URI | m2://inv/N4HMY8V7XW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Harry C. Carver, Harry C. Carver (topic). Also Wikidata Q5667695
History
- 2026-11-02: add by m2/dev
Benktander type I distribution N4HYT2S80Y
| URI | m2://inv/N4HYT2S80Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Benktander type I distribution, Benktander type I distribution (definition). Also Wikidata Q3258303
History
- 2026-11-02: add by m2/dev
Average rank profile N4J1VJAPDY
| URI | m2://inv/N4J1VJAPDY |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 16-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.06739#H5BH, Average rank profile (definition). In HA9B7PD0YV/e1, definition 28
History
- 2026-10-29: add by m2/v0.4.10
Equipollence N4J5YJ1R6J
| URI | m2://inv/N4J5YJ1R6J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Equipollence (geometry), Equipollence (definition). Also Wikidata Q3590896
History
- 2026-11-02: add by m2/dev
N4J8EDKCWF N4J8EDKCWF
| URI | m2://inv/N4J8EDKCWF |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2106.11898#4C8M (definition). In KXXV5X8AG4/e1, definition 2.3
History
- 2026-10-27: add by m2/v0.3.6
Effective results in number theory N4J8MPFAV6
| URI | m2://inv/N4J8MPFAV6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Effective results in number theory, Effective results in number theory (definition). Also Wikidata Q3458027
History
- 2026-11-02: add by m2/dev
eta invariant N4JCV5B4CJ
| URI | m2://inv/N4JCV5B4CJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Eta invariant PRJCH788AM |
Mentions
- wikidata: Wikidata Q5402374, eta invariant (unknown). Also nLab eta invariant
- wikipedia: Wikipedia Eta invariant, Eta invariant (definition). Also Wikidata Q5402374
History
- 2026-10-26: add by m2/dev
Classical and reduced coefficient estimates N4JDTT7MRX
| URI | m2://inv/N4JDTT7MRX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05652#D059, Classical and reduced coefficient estimates (statement). In 8BNPFYQDQX/e1, corollary 3.20
History
- 2026-10-29: add by m2/v0.4.10
N4JMFMZQM7 N4JMFMZQM7
| URI | m2://inv/N4JMFMZQM7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38970#FU45 (statement). In VE6WBAMDSA/e1, theorem 1.2
History
- 2026-10-30: add by m2/v0.4.12
John Greig N4K3HRX50C
| URI | m2://inv/N4K3HRX50C |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia John Greig (mathematician), John Greig (topic). Also Wikidata Q6236277
History
- 2026-11-02: add by m2/dev
Page 491, Theorem 7.4 N4KPBZGBR2
| URI | m2://inv/N4KPBZGBR2 |
|---|---|
| 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.06546#VB2A, Page 491, Theorem 7.4 (statement). In G6DK297DQN/e1, proposition 1
History
- 2026-10-29: add by m2/v0.4.10
N4KR5DDMWM N4KR5DDMWM
| URI | m2://inv/N4KR5DDMWM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-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.27931#M4U4 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Bloch's higher Chow group N4KS4CJZ5F
| URI | m2://inv/N4KS4CJZ5F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bloch's higher Chow group, Bloch's higher Chow group (definition). Also Wikidata Q55605608
History
- 2026-11-02: add by m2/dev
Applications N4KW5QRXC7
| URI | m2://inv/N4KW5QRXC7 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ryll-Nardzewski fixed-point theorem#SK5V, Applications (example)
History
- 2026-11-02: add by m2/dev
Adolph Winkler Goodman N4M6FJ355X
| URI | m2://inv/N4M6FJ355X |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#WP6Y, Adolph Winkler Goodman (topic)
History
- 2026-11-02: add by m2/dev
N4M818PWEH N4M818PWEH
| URI | m2://inv/N4M818PWEH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.40123#WRJR (statement). In WK2YHYEDZ9/e1, corollary 3.9
History
- 2026-10-30: add by m2/v0.4.12
SIAM J. N4MMWSGV06
| URI | m2://inv/N4MMWSGV06 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Society for Industrial and Applied Mathematics#OSN5, SIAM J. (unknown)
History
- 2026-11-02: add by m2/dev
N4MPGG90M6 N4MPGG90M6
| URI | m2://inv/N4MPGG90M6 |
|---|---|
| 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.16706#B2GC (statement). In KXZ5VFD9XM/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.2
Thomas Fantet de Lagny N4N0ZJJ5PY
| URI | m2://inv/N4N0ZJJ5PY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thomas Fantet de Lagny, Thomas Fantet de Lagny (topic). Also Wikidata Q17516066
History
- 2026-11-02: add by m2/dev
N4N5B480S4 N4N5B480S4
| URI | m2://inv/N4N5B480S4 |
|---|---|
| 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#BBAS (statement)
History
- 2026-11-01: add by m2/v0.6.15
OCB mode N4NB3JR8QV
| URI | m2://inv/N4NB3JR8QV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia OCB mode, OCB mode (definition). Also Wikidata Q7072347
History
- 2026-11-02: add by m2/dev
N4NEK17D3F N4NEK17D3F
| URI | m2://inv/N4NEK17D3F |
|---|---|
| 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.33552#36RF (statement). In SRAS2DJJQH/e1, proposition 6.8
History
- 2026-10-30: add by m2/v0.4.12
Statement of the theorem N4NPSRSAPV
| URI | m2://inv/N4NPSRSAPV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Van Cittert–Zernike theorem#GBCX, Statement of the theorem (statement)
History
- 2026-11-02: add by m2/dev
The generalized Fourier-slice theorem N4P0V2KKZJ
| URI | m2://inv/N4P0V2KKZJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Projection-slice theorem#4B2P, The generalized Fourier-slice theorem (statement)
History
- 2026-11-02: add by m2/dev
Fluent N4P17GEET6
| URI | m2://inv/N4P17GEET6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fluent (artificial intelligence), Fluent (definition). Also Wikidata Q5462653
History
- 2026-11-02: add by m2/dev
N4P2AJRCNM N4P2AJRCNM
| URI | m2://inv/N4P2AJRCNM |
|---|---|
| Kind | example |
| 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.20656#OCJW (example)
History
- 2026-11-02: add by m2/v0.6.18
N4P6DBRJ86 N4P6DBRJ86
| URI | m2://inv/N4P6DBRJ86 |
|---|---|
| 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.39103#DXDS (statement). In VGB0N93ES8/e1, lemma 9
History
- 2026-10-30: add by m2/v0.4.12
N4P7E69R73 N4P7E69R73
| URI | m2://inv/N4P7E69R73 |
|---|---|
| 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 2609.25843#02M3 (statement)
History
- 2026-11-01: add by m2/v0.6.15
N4PBX4B8E0 N4PBX4B8E0
| URI | m2://inv/N4PBX4B8E0 |
|---|---|
| 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 2208.05288#NNMG (statement). In RTW3GDYPND/e1, theorem 1.3
History
- 2026-10-27: add by m2/v0.4.0
Positive Half-Cauchy common-factor phase diagram N4PF3949A1
| URI | m2://inv/N4PF3949A1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29658#DDXO, Positive Half-Cauchy common-factor phase diagram (statement)
History
- 2026-11-01: add by m2/v0.6.15
Gauss circle problem N4PFHBBNYZ
| URI | m2://inv/N4PFHBBNYZ |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Gauss circle problem 26XTJJT267 |
Mentions
- wikidata: Wikidata Q2096220, Gauss circle problem (problem). Also MathWorld GausssCircleProblem
- wikipedia: Wikipedia Gauss circle problem, Gauss circle problem (conjecture). Also Wikidata Q2096220
History
- 2026-10-26: add by m2/dev
Basic properties N4PGF9KT44
| URI | m2://inv/N4PGF9KT44 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Random matrix#UM49, Basic properties (statement)
History
- 2026-11-02: add by m2/dev
N4PHHHJMMX N4PHHHJMMX
| URI | m2://inv/N4PHHHJMMX |
|---|---|
| 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.20588#PMBE (statement)
History
- 2026-11-02: add by m2/v0.6.18
Symmetry N4PQ97BTNS
| URI | m2://inv/N4PQ97BTNS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Myriagon#NNFX, Symmetry (statement)
History
- 2026-11-02: add by m2/dev
N4PTGHVA3H N4PTGHVA3H
| URI | m2://inv/N4PTGHVA3H |
|---|---|
| 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 2609.29699#2QHP (statement)
History
- 2026-11-01: add by m2/v0.6.15
Lie algebra representation N4PXXYYPJP
| URI | m2://inv/N4PXXYYPJP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1136782, Lie algebra representation (unknown). Also nLab Lie algebra representation
- wikipedia: Wikipedia Lie algebra representation, Lie algebra representation (definition). Also Wikidata Q1136782
History
- 2026-10-26: add by m2/dev
John Robert Stallings, Jr. N4QACYAQDX
| URI | m2://inv/N4QACYAQDX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#4YQ8, John Robert Stallings, Jr. (topic)
History
- 2026-11-02: add by m2/dev
Statements of theorems N4QE6QMVXJ
| URI | m2://inv/N4QE6QMVXJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stars and bars (combinatorics)#5ROY, Statements of theorems (statement)
History
- 2026-11-02: add by m2/dev
Process function N4QGX9478F
| URI | m2://inv/N4QGX9478F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Process function, Process function (definition). Also Wikidata Q900800
History
- 2026-11-02: add by m2/dev
Unbiasedness of the estimator $\widehat F_{n,\mathbf{H}}(\mathbf{x})$ N4QPK12V21
| URI | m2://inv/N4QPK12V21 |
|---|---|
| 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 2610.11760#W2EH, Unbiasedness of the estimator $\widehat F_{n,\mathbf{H}}(\mathbf{x})$ (statement). In NBNERWXW53/e1, proposition S3.1
History
- 2026-10-28: add by m2/v0.4.3
Definition N4QW34KR5K
| URI | m2://inv/N4QW34KR5K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Co-NP-complete#1KF6, Definition (definition)
History
- 2026-11-02: add by m2/dev
Bi-marginal stability of optimal plans N4R3BG8KR3
| URI | m2://inv/N4R3BG8KR3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 49-XX, 62-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.35574#NF2V, Bi-marginal stability of optimal plans (statement). In 3Q70DMD7Z7/e1, theorem 4.8
History
- 2026-10-30: add by m2/v0.4.12
Axiom of reducibility N4RAWC22K4
| URI | m2://inv/N4RAWC22K4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Axiom of reducibility, Axiom of reducibility (statement). Also Wikidata Q4830560
History
- 2026-11-02: add by m2/dev
Michael Schlessinger N4RB8KY61D
| URI | m2://inv/N4RB8KY61D |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#SKJH, Michael Schlessinger (topic)
History
- 2026-11-02: add by m2/dev
Asymptotic distribution N4RF045AEX
| URI | m2://inv/N4RF045AEX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#DIQR, Asymptotic distribution (definition)
History
- 2026-11-02: add by m2/dev
N4RFY4GNPD N4RFY4GNPD
| URI | m2://inv/N4RFY4GNPD |
|---|---|
| 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 2306.08237#OLPE (statement). In E22A2MFR4Y/e1, lemma 4.4
History
- 2026-10-27: add by m2/v0.3.6
Double large sieve N4RGSY033P
| URI | m2://inv/N4RGSY033P |
|---|---|
| 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.21730#QUPF, Double large sieve (statement). In BM64QM6Q7J/e1, lemma B.1
History
- 2026-10-27: add by m2/v0.4.2
Left split N4RHY6SJ8Q
| URI | m2://inv/N4RHY6SJ8Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Splitting lemma#DXWN, Left split (definition)
History
- 2026-11-02: add by m2/dev
Applications N4RJ5J5WPZ
| URI | m2://inv/N4RJ5J5WPZ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Yangian#0GU4, Applications (example)
History
- 2026-11-02: add by m2/dev
\bf Accuracy of lazy reuse N4RKR98EVY
| URI | m2://inv/N4RKR98EVY |
|---|---|
| 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.02791#HNA1, \bf Accuracy of lazy reuse (statement). In TT9BA4VMTW/e1, lemma D.5
History
- 2026-10-29: add by m2/v0.4.12
N4RM55E39C N4RM55E39C
| URI | m2://inv/N4RM55E39C |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_probability_bernoulli-trials.ptx#example-2 (example). In QKM9DD2H56, example, section 10.3
History
- 2026-11-01: add by m2/v0.6.13
Cocycle-hyperlinear regular wreath products N4RPPPEVM7
| URI | m2://inv/N4RPPPEVM7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-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 2610.03424#TIP9, Cocycle-hyperlinear regular wreath products (statement). In Q6HRJP4AWA/e1, corollary 7.2
History
- 2026-10-29: add by m2/v0.4.12
N4RREQWQPR N4RREQWQPR
| URI | m2://inv/N4RREQWQPR |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-first-order-ode.tex#exercise-122 (exercise). In E9HS8K3A52, exercise, section 4.9.1
History
- 2026-11-01: add by m2/v0.6.13
N4RV99JD0R N4RV99JD0R
| URI | m2://inv/N4RV99JD0R |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-fourier-and-pde.tex#exercise-43 (exercise). In E9HS8K3A52, exercise, section 5.4.1
History
- 2026-11-01: add by m2/v0.6.13
absolute value N4RXDQQK1E
| URI | m2://inv/N4RXDQQK1E |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/B.3.3/absolute-value, absolute value (concept). In N54F33XE07, index, section B.3.3
History
- 2026-11-01: add by m2/v0.6.13
John F. MacGregor N4RY1DC8P6
| URI | m2://inv/N4RY1DC8P6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia John F. MacGregor, John F. MacGregor (topic). Also Wikidata Q6232436
History
- 2026-11-02: add by m2/dev
Phylogenetic network N4S0PCHJFJ
| URI | m2://inv/N4S0PCHJFJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Phylogenetic network, Phylogenetic network (definition). Also Wikidata Q3142246
History
- 2026-11-02: add by m2/dev
myriagonal number N4S4KPD95G
| URI | m2://inv/N4S4KPD95G |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q18452177, myriagonal number (object). Also OEIS A167149
History
- 2026-10-26: add by m2/dev
Formulation N4SV7EHRRV
| URI | m2://inv/N4SV7EHRRV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Homogeneous coordinate ring#E4KY, Formulation (definition)
History
- 2026-11-02: add by m2/dev
N4SVDSK5Y7 N4SVDSK5Y7
| URI | m2://inv/N4SVDSK5Y7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.05914#M0WA (statement). In V8MYP6MBAZ/e1, theorem 4
History
- 2026-10-29: add by m2/v0.4.10
N4SY0KXZR2 N4SY0KXZR2
| URI | m2://inv/N4SY0KXZR2 |
|---|---|
| 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#DWNZ (statement). In BDN507RN7J/e1, theorem 4.2.13
History
- 2026-10-30: add by m2/v0.4.12
Definition N4T0V14RMV
| URI | m2://inv/N4T0V14RMV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Invariant sigma-algebra#7DUA, Definition (definition)
History
- 2026-11-02: add by m2/dev
stable N4TC0N7ZJ9
| URI | m2://inv/N4TC0N7ZJ9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of first-order theories#OYOM, stable (definition)
History
- 2026-11-02: add by m2/dev
Jennifer Hill N4TDEFVV2E
| URI | m2://inv/N4TDEFVV2E |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jennifer Hill, Jennifer Hill (topic). Also Wikidata Q102291008
History
- 2026-11-02: add by m2/dev
Joseph Fourier N4TKP9VSE7
| URI | m2://inv/N4TKP9VSE7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of calculus topics#X70J, Joseph Fourier (topic)
History
- 2026-11-02: add by m2/dev
N4TQ7J8390 N4TQ7J8390
| URI | m2://inv/N4TQ7J8390 |
|---|---|
| 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.18101#7GJ1 (statement). In XXN6KKXPYF/e1, lemma 9.6
History
- 2026-10-28: add by m2/v0.4.2
Pio Scatizzi N4TS2J4ES4
| URI | m2://inv/N4TS2J4ES4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#A0G4, Pio Scatizzi (unknown)
History
- 2026-11-02: add by m2/dev
Definition N4TSFYNTMS
| URI | m2://inv/N4TSFYNTMS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dirichlet beta function#PS7C, Definition (definition)
History
- 2026-11-02: add by m2/dev
Łoś–Tarski preservation theorem N4V0XRTGZ3
| URI | m2://inv/N4V0XRTGZ3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Łoś–Tarski preservation theorem, Łoś–Tarski preservation theorem (statement). Also Wikidata Q8080822
History
- 2026-11-02: add by m2/dev
N4V3K4NBGN N4V3K4NBGN
| URI | m2://inv/N4V3K4NBGN |
|---|---|
| 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.11210#A1ZB (statement). In CRFDGFZHBF/e1, proposition 7.7
History
- 2026-10-28: add by m2/v0.4.3
Michael Glanzberg N4VP2Y91GE
| URI | m2://inv/N4VP2Y91GE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Michael Glanzberg, Michael Glanzberg (topic). Also Wikidata Q99797474
History
- 2026-11-02: add by m2/dev
N4VRGTSMBA N4VRGTSMBA
| URI | m2://inv/N4VRGTSMBA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28774#HSS5 (statement)
History
- 2026-11-01: add by m2/v0.6.15
N4VSQ8XGMP N4VSQ8XGMP
| URI | m2://inv/N4VSQ8XGMP |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 35-XX, 65-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13680#9I03 (unknown). In QNBFHFZ3H0/e1, unknown 118
History
- 2026-10-28: add by m2/v0.4.2
N4VV6X2DKY N4VV6X2DKY
| URI | m2://inv/N4VV6X2DKY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-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.00843#XH92 (statement). In 1K7M5TD0M2/e1, theorem A.1
History
- 2026-10-29: add by m2/v0.4.12
regular local ring N4VZC76E6P
| URI | m2://inv/N4VZC76E6P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Regular local ring 63XXTF6B5M |
Mentions
- wikidata: Wikidata Q2138875, regular local ring (unknown). Also EoM Regular_ring, MathWorld RegularLocalRing, nLab regular local ring
- wikipedia: Wikipedia Regular local ring, Regular local ring (definition). Also Wikidata Q2138875
History
- 2026-10-26: add by m2/dev
Modular symbol N4W1XHWX85
| URI | m2://inv/N4W1XHWX85 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Modular symbol, Modular symbol (definition). Also Wikidata Q6889737
History
- 2026-11-02: add by m2/dev
Overdispersion N4WBR7MPZQ
| URI | m2://inv/N4WBR7MPZQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#3DGA, Overdispersion (definition)
History
- 2026-11-02: add by m2/dev
N4WF35JXMK N4WF35JXMK
| URI | m2://inv/N4WF35JXMK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31523#GH66 (statement). In 2BET1RE1F6/e1, theorem 2.8
History
- 2026-10-31: add by m2/v0.5.6
Comparison with a comparison profile N4WFCME7V3
| URI | m2://inv/N4WFCME7V3 |
|---|---|
| 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#K0UP, Comparison with a comparison profile (statement). In JY6RYSNXMJ/e1, lemma 12
History
- 2026-10-29: add by m2/v0.4.10
N4WFEGEDJF N4WFEGEDJF
| URI | m2://inv/N4WFEGEDJF |
|---|---|
| Kind | definition |
| 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.01802#53HK (definition). In XGPZ0G9E1Q/e1, definition 7.4
History
- 2026-10-29: add by m2/v0.4.12
N4WFM3HYT7 N4WFM3HYT7
| URI | m2://inv/N4WFM3HYT7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38206#9TIA (statement). In F71MS1F637/e1, lemma 5.20
History
- 2026-10-30: add by m2/v0.4.12
Algebraic version of the Malgrange preparation theorem N4WFN2TDPD
| URI | m2://inv/N4WFN2TDPD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Malgrange preparation theorem#RPXD, Algebraic version of the Malgrange preparation theorem (statement)
History
- 2026-11-02: add by m2/dev
ROCA vulnerability N4WGTFSDDA
| URI | m2://inv/N4WGTFSDDA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia ROCA vulnerability, ROCA vulnerability (definition). Also Wikidata Q42936978
History
- 2026-11-02: add by m2/dev
N4WN2T8NKS N4WN2T8NKS
| URI | m2://inv/N4WN2T8NKS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31781#DL9O (statement). In WTTVKKNPE6/e1, proposition 1
History
- 2026-10-31: add by m2/v0.5.6
torus embedding N4WPGZ92K7
| URI | m2://inv/N4WPGZ92K7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic geometry#KR6N, torus embedding (definition)
History
- 2026-11-02: add by m2/dev
Properties N4X3XYANJC
| URI | m2://inv/N4X3XYANJC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Grünbaum–Rigby configuration#BOSD, Properties (statement)
History
- 2026-11-02: add by m2/dev
Game theory in communication networks N4X58QEZYJ
| URI | m2://inv/N4X58QEZYJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Game theory in communication networks, Game theory in communication networks (definition). Also Wikidata Q5519906
History
- 2026-11-02: add by m2/dev
Index of a Lie algebra N4XBB2EZDY
| URI | m2://inv/N4XBB2EZDY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Index of a Lie algebra, Index of a Lie algebra (topic). Also Wikidata Q85769258
History
- 2026-11-02: add by m2/dev
Sylvain Edward Cappell N4XJA4GMQ8
| URI | m2://inv/N4XJA4GMQ8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#L8PV, Sylvain Edward Cappell (topic)
History
- 2026-11-02: add by m2/dev
Triaugmented hexagonal prism N4XPKFV0JE
| URI | m2://inv/N4XPKFV0JE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#FNXC, Triaugmented hexagonal prism (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#PIVL, Triaugmented hexagonal prism (definition)
History
- 2026-11-02: add by m2/dev
N4XSTDCVYB N4XSTDCVYB
| URI | m2://inv/N4XSTDCVYB |
|---|---|
| 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.10248#AGX5 (statement). In TMV74X2725/e1, lemma 2.2
History
- 2026-10-29: add by m2/v0.4.10
P-curve N4XVBMQ9KJ
| URI | m2://inv/N4XVBMQ9KJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia P-value#YF4G, P-curve (unknown)
History
- 2026-11-02: add by m2/dev
Generalizations N4XWZ7A57D
| URI | m2://inv/N4XWZ7A57D |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nimber#SL09, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
N4Y0NNPW7X N4Y0NNPW7X
| URI | m2://inv/N4Y0NNPW7X |
|---|---|
| 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 2308.02672#IXPC (definition). In ETRT1R1CQ8/e1, definition 3.1
History
- 2026-10-27: add by m2/v0.4.0
quippian N4Y0ZY24FH
| URI | m2://inv/N4Y0ZY24FH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of invariant theory#6YPX, quippian (definition)
History
- 2026-11-02: add by m2/dev
Pythagorean addition N4Y4QVGXK1
| URI | m2://inv/N4Y4QVGXK1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pythagorean addition, Pythagorean addition (definition). Also Wikidata Q7263846
History
- 2026-11-02: add by m2/dev
Bayes risk asymptotics over all POVMs N4Y58P357G
| URI | m2://inv/N4Y58P357G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-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.29348#YLW9, Bayes risk asymptotics over all POVMs (statement)
History
- 2026-11-01: add by m2/v0.6.15
N4YM8MBY40 N4YM8MBY40
| URI | m2://inv/N4YM8MBY40 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/counterfactuals/introduction/strict-conditional.tex#prob-2 (exercise). In PKGMM3P5QY, prob, section 5.3
History
- 2026-11-01: add by m2/v0.6.13
Lie theorems N4YNQY07PY
| URI | m2://inv/N4YNQY07PY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lie algebroid#25F3, Lie theorems (statement)
History
- 2026-11-02: add by m2/dev
Isadore Manuel Singer N4Z0058NVH
| URI | m2://inv/N4Z0058NVH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#RYO7, Isadore Manuel Singer (topic)
History
- 2026-11-02: add by m2/dev
Direct roots N4ZA4MMQAR
| URI | m2://inv/N4ZA4MMQAR |
|---|---|
| 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.20817#MFDX, Direct roots (statement). In M1YRBSZT4H/e1, lemma 14
History
- 2026-10-27: add by m2/v0.4.2
Alfred Goldie N4ZFGRA557
| URI | m2://inv/N4ZFGRA557 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alfred Goldie, Alfred Goldie (topic). Also Wikidata Q2603360
History
- 2026-11-02: add by m2/dev
nerve theorem naturality N4ZFVPTBQ7
| URI | m2://inv/N4ZFVPTBQ7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-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.15099#TQER, nerve theorem naturality (statement). In PF5JJ9DS8Q/e1, proposition 7.3.2
History
- 2026-10-28: add by m2/v0.4.2
Applications N4ZG975MJ6
| URI | m2://inv/N4ZG975MJ6 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Drinfeld module#NC3T, Applications (example)
History
- 2026-11-02: add by m2/dev
Leray spectral sequence N4ZM1NH6V7
| URI | m2://inv/N4ZM1NH6V7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#GNNF, Leray spectral sequence (definition)
History
- 2026-11-02: add by m2/dev
Examples N4ZTGD77HJ
| URI | m2://inv/N4ZTGD77HJ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia A priori and a posteriori#G87D, Examples (example)
History
- 2026-11-02: add by m2/dev