Inventory rows 4C
The cards of the rows of the inventory whose ids start with 4C. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Construction 4C00AA7YRH
| URI | m2://inv/4C00AA7YRH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Divisor topology#ZUN8, Construction (definition)
History
- 2026-11-02: add by m2/dev
4C03Q3GERQ 4C03Q3GERQ
| URI | m2://inv/4C03Q3GERQ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/EquivalenceRelations.tex#ex:last name (example). In P1C114YBXG, example, section A
History
- 2026-11-01: add by m2/v0.6.13
4C08C4GVSS 4C08C4GVSS
| URI | m2://inv/4C08C4GVSS |
|---|---|
| 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.09765#GLHT (statement). In 79JJCQ63R3/e1, lemma 3.2
History
- 2026-10-29: add by m2/v0.4.10
Stationarity properties of the Moreau gap 4C08NG450W
| URI | m2://inv/4C08NG450W |
|---|---|
| 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.39736#8ZPU, Stationarity properties of the Moreau gap (statement). In BB1XJ47PVW/e1, proposition 12
History
- 2026-10-30: add by m2/v0.4.12
4C0GAZZYCM 4C0GAZZYCM
| URI | m2://inv/4C0GAZZYCM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 18-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21507#FOSZ (statement). In 879ZDHVK7N/e1, theorem 3.18
History
- 2026-10-27: add by m2/v0.4.2
Carlini & Wagner attack 4C16D7GZNR
| URI | m2://inv/4C16D7GZNR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Adversarial machine learning#I104, Carlini & Wagner attack (unknown)
History
- 2026-11-02: add by m2/dev
John M. Abowd 4C170G28QR
| URI | m2://inv/4C170G28QR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#JG0O, John M. Abowd (unknown)
History
- 2026-11-02: add by m2/dev
Examples 4C1QB51H9K
| URI | m2://inv/4C1QB51H9K |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Poset game#DS9B, Examples (example)
History
- 2026-11-02: add by m2/dev
Properties 4C1T9S2GZJ
| URI | m2://inv/4C1T9S2GZJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cox–Ingersoll–Ross model#FHQU, Properties (statement)
History
- 2026-11-02: add by m2/dev
Gelfand, Israel Moiseevich 4C1V1GD82Q
| URI | m2://inv/4C1V1GD82Q |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian mathematicians#59WM, Gelfand, Israel Moiseevich (topic)
History
- 2026-11-02: add by m2/dev
Concurrent lines 4C1X8NCKQE
| URI | m2://inv/4C1X8NCKQE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Concurrent lines, Concurrent lines (definition). Also Wikidata Q2191117
History
- 2026-11-02: add by m2/dev
Cramér's V 4C1YZ78YYV
| URI | m2://inv/4C1YZ78YYV |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2905588, Cramér's V (concept). Also MathWorld CramersV
- wikipedia: Wikipedia Cramér's V, Cramér's V (definition). Also Wikidata Q2905588
History
- 2026-10-26: add by m2/dev
Definitions 4C1Z4N17H2
| URI | m2://inv/4C1Z4N17H2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Love number#BPXC, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Precomputation 4C25HT4J44
| URI | m2://inv/4C25HT4J44 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Precomputation, Precomputation (definition). Also Wikidata Q7239568
History
- 2026-11-02: add by m2/dev
Finite product-square logarithmic contraction 4C25W8A3PY
| URI | m2://inv/4C25W8A3PY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2609.27799#JXB5, Finite product-square logarithmic contraction (statement)
History
- 2026-11-01: add by m2/v0.6.15
digital identity 4C2ACT9WY1
| URI | m2://inv/4C2ACT9WY1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q528053, digital identity (unknown). Also nLab digital identity
History
- 2026-10-26: add by m2/dev
Leroy P. Steele Prize 4C2B5DRXB2
| URI | m2://inv/4C2B5DRXB2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Leroy P. Steele Prize, Leroy P. Steele Prize (definition). Also Wikidata Q925929
History
- 2026-11-02: add by m2/dev
Bulk strain 4C2CN7TJD9
| URI | m2://inv/4C2CN7TJD9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Infinitesimal strain theory#SKYH, Bulk strain (unknown)
History
- 2026-11-02: add by m2/dev
Positive remaining mass 4C2D4VQCC5
| URI | m2://inv/4C2D4VQCC5 |
|---|---|
| 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.13613#PNN6, Positive remaining mass (statement). In 3HCT4TQ5PM/e1, lemma 8.4
History
- 2026-10-28: add by m2/v0.4.2
Access deficit hypothesis 4C2FY0K3EP
| URI | m2://inv/4C2FY0K3EP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dyscalculia#YC9M, Access deficit hypothesis (statement)
History
- 2026-11-02: add by m2/dev
Babenko 4C2GWAPKA1
| URI | m2://inv/4C2GWAPKA1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2503.19729#GL59, Babenko (statement). In 40YZ43TS8K/e1, theorem 4.2
History
- 2026-10-27: add by m2/v0.3.5
Grigori Perelman 4C3CXK4RZD
| URI | m2://inv/4C3CXK4RZD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Russian mathematicians#X4EX, Grigori Perelman (topic)
History
- 2026-11-02: add by m2/dev
Trekroner 4C3HAM1F1T
| URI | m2://inv/4C3HAM1F1T |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#GWMP, Trekroner (unknown)
History
- 2026-11-02: add by m2/dev
Computation 4C3JDCA0B4
| URI | m2://inv/4C3JDCA0B4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Omega constant#2LYF, Computation (definition)
History
- 2026-11-02: add by m2/dev
4C3K4W88HM 4C3K4W88HM
| URI | m2://inv/4C3K4W88HM |
|---|---|
| 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-29 (exercise). In E9HS8K3A52, exercise, section 6.2.4
History
- 2026-11-01: add by m2/v0.6.13
presentation, of a group 4C3QZ8JC87
| URI | m2://inv/4C3QZ8JC87 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/7.7.2/presentation-of-a-group, presentation, of a group (concept). In N54F33XE07, index, section 7.7.2
History
- 2026-11-01: add by m2/v0.6.13
4C3V5717R0 4C3V5717R0
| URI | m2://inv/4C3V5717R0 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/IndexingSets.tex#problem-7 (exercise). In P1C114YBXG, problem, section C
History
- 2026-11-01: add by m2/v0.6.13
4C3W23QAYD 4C3W23QAYD
| URI | m2://inv/4C3W23QAYD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15169#LKZ2 (statement). In V7SN19J84T/e1, proposition 7.18
History
- 2026-10-28: add by m2/v0.4.2
Example 1 4C3XPKHHQ6
| URI | m2://inv/4C3XPKHHQ6 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elementary recursive function#WKB1, Example 1 (example)
History
- 2026-11-02: add by m2/dev
Examples 4C3ZT4JS64
| URI | m2://inv/4C3ZT4JS64 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cryptovirology#7XPA, Examples (example)
History
- 2026-11-02: add by m2/dev
4C439JHDBQ 4C439JHDBQ
| URI | m2://inv/4C439JHDBQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16339#J3OA (statement). In ER5EH4W919/e1, lemma 9.2
History
- 2026-10-28: add by m2/v0.4.2
4C44PF6E42 4C44PF6E42
| URI | m2://inv/4C44PF6E42 |
|---|---|
| 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#E46Y (statement)
History
- 2026-11-01: add by m2/v0.6.15
Gehring's Lemma 4C45D2PBQW
| URI | m2://inv/4C45D2PBQW |
|---|---|
| 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 2512.08487#TU2P, Gehring's Lemma (statement). In 77TVQVYN0Z/e1, lemma 32
History
- 2026-10-27: add by m2/v0.3.6
The Dirichlet Problem on a Box 4C46X4JHXE
| URI | m2://inv/4C46X4JHXE |
|---|---|
| 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.13222#6ZXN, The Dirichlet Problem on a Box (statement). In Z6WA2R0J50/e1, lemma A.3
History
- 2026-10-28: add by m2/v0.4.2
Sergei Gukov 4C486DFM2D
| URI | m2://inv/4C486DFM2D |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of string theory topics#08RR, Sergei Gukov (unknown)
History
- 2026-11-02: add by m2/dev
Monotone comparative statics 4C49KKCJPA
| URI | m2://inv/4C49KKCJPA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Monotone comparative statics, Monotone comparative statics (definition). Also Wikidata Q18391017
History
- 2026-11-02: add by m2/dev
Applications 4C4CC28NV2
| URI | m2://inv/4C4CC28NV2 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Analytics#ZXIK, Applications (example)
History
- 2026-11-02: add by m2/dev
Three caps do not meet 4C4EZESKRJ
| URI | m2://inv/4C4EZESKRJ |
|---|---|
| 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.25120#1WNM, Three caps do not meet (statement)
History
- 2026-11-01: add by m2/v0.6.15
Doob's h-transform 4C4F8B939K
| URI | m2://inv/4C4F8B939K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Doob's h-transform, Doob's h-transform (definition). Also Wikidata Q140753206
History
- 2026-11-02: add by m2/dev
It\^o's formula along the branch 4C4K5Y6V8J
| URI | m2://inv/4C4K5Y6V8J |
|---|---|
| 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.18350#RZLE, It\^o's formula along the branch (statement). In A20E8FZS21/e1, lemma 2.5
History
- 2026-10-28: add by m2/v0.4.2
Cesàro summation 4C4NEVFKPT
| URI | m2://inv/4C4NEVFKPT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cesàro summation, Cesàro summation (definition). Also Wikidata Q2082317
History
- 2026-11-02: add by m2/dev
Fourier transform on $\mathrm{L}^2(\R^d)$ 4C4NRFEZN9
| URI | m2://inv/4C4NRFEZN9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Measures and integral calculus > Fourier analysis > Fourier transform on $\mathrm{L}^2(\R^d)$, Fourier transform on $\mathrm{L}^2(\R^d)$ (unknown). Also Mathlib MeasureTheory.Lp.fourierTransformₗᵢ
History
- 2026-10-26: add by m2/dev
Algebraic Riccati equation 4C51ESD248
| URI | m2://inv/4C51ESD248 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#GX6N, Algebraic Riccati equation (definition)
History
- 2026-11-02: add by m2/dev
Spherical multipole moments 4C54JJ8BN1
| URI | m2://inv/4C54JJ8BN1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spherical multipole moments, Spherical multipole moments (definition). Also Wikidata Q7576712
History
- 2026-11-02: add by m2/dev
4C5813TA78 4C5813TA78
| URI | m2://inv/4C5813TA78 |
|---|---|
| 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#05Y3 (statement). In E22A2MFR4Y/e1, theorem 5.2
History
- 2026-10-27: add by m2/v0.3.6
4C5EMPC26F 4C5EMPC26F
| URI | m2://inv/4C5EMPC26F |
|---|---|
| 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.16844#B9Z5 (statement). In MAY0WVXT07/e1, theorem 4.1
History
- 2026-10-28: add by m2/v0.4.2
4C5EZBDAY9 4C5EZBDAY9
| URI | m2://inv/4C5EZBDAY9 |
|---|---|
| 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.40355#XXW0 (statement). In SBP98GWKC8/e1, proposition 4
History
- 2026-10-30: add by m2/v0.4.12
Babaoshan 4C5WAYM4AK
| URI | m2://inv/4C5WAYM4AK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#5KDT, Babaoshan (unknown)
History
- 2026-11-02: add by m2/dev
4C5WFRY80B 4C5WFRY80B
| URI | m2://inv/4C5WFRY80B |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/set-theory/models.tex#ques-1 (exercise). In RZP28ERRZV, ques, section 91.2
History
- 2026-11-01: add by m2/v0.6.13
4C61YV2PRW 4C61YV2PRW
| URI | m2://inv/4C61YV2PRW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05506#2NJN (statement). In FT53PMB1TE/e1, lemma 2.3.3
History
- 2026-10-29: add by m2/v0.4.10
4C626YV4W0 4C626YV4W0
| URI | m2://inv/4C626YV4W0 |
|---|---|
| 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#OBFP (statement). In XXN6KKXPYF/e1, lemma 4.3
History
- 2026-10-28: add by m2/v0.4.2
Definition 4C646C2Z2X
| URI | m2://inv/4C646C2Z2X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Carleson measure#5YWA, Definition (definition)
History
- 2026-11-02: add by m2/dev
4C6DNEDXF5 4C6DNEDXF5
| URI | m2://inv/4C6DNEDXF5 |
|---|---|
| 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 2306.07511#YRJ9 (statement). In 652CJVBF7C/e1, lemma 4.1
History
- 2026-10-27: add by m2/v0.3.6
4C6DVQS3K8 4C6DVQS3K8
| URI | m2://inv/4C6DVQS3K8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25468#H6D0 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Underlying principle 4C6E8S39EY
| URI | m2://inv/4C6E8S39EY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalized Stokes theorem#8KDK, Underlying principle (statement)
History
- 2026-11-02: add by m2/dev
Deng--Hu--Zhang 4C6F59AMQ7
| URI | m2://inv/4C6F59AMQ7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03310#U280, Deng--Hu--Zhang (statement). In 2CQ2KPV3CG/e1, theorem 2.1
History
- 2026-10-29: add by m2/v0.4.12
4C6H5HCQ5V 4C6H5HCQ5V
| URI | m2://inv/4C6H5HCQ5V |
|---|---|
| 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.21532#JWJR (statement)
History
- 2026-11-02: add by m2/v0.6.18
4C7103SCHR 4C7103SCHR
| URI | m2://inv/4C7103SCHR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/model-theory/basics/partial-iso.tex#cor:b-n-f (statement). In PKGMM3P5QY, cor, section 46.5
History
- 2026-11-01: add by m2/v0.6.13
Vapnik–Chervonenkis theory 4C7D9DX8Q0
| URI | m2://inv/4C7D9DX8Q0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vapnik–Chervonenkis theory, Vapnik–Chervonenkis theory (topic). Also Wikidata Q819095
History
- 2026-11-02: add by m2/dev
4C7QTFVSCV 4C7QTFVSCV
| URI | m2://inv/4C7QTFVSCV |
|---|---|
| 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.17258#LPQL (statement). In F4M67ZVBF2/e1, proposition 1.6
History
- 2026-10-28: add by m2/v0.4.2
4C7WPNNSKN 4C7WPNNSKN
| URI | m2://inv/4C7WPNNSKN |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ap-linear-algebra.tex#exercise-41 (exercise). In E9HS8K3A52, exercise, section 2.3.6
History
- 2026-11-01: add by m2/v0.6.13
VisSim 4C7YXR3VTQ
| URI | m2://inv/4C7YXR3VTQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical-analysis software#I4TG, VisSim (unknown)
History
- 2026-11-02: add by m2/dev
Hypergeometric function 4C881Q865V
| URI | m2://inv/4C881Q865V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of eponyms of special functions#AGIB, Hypergeometric function (definition)
History
- 2026-11-02: add by m2/dev
4C8NQGPNWD 4C8NQGPNWD
| URI | m2://inv/4C8NQGPNWD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-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.10505#EDK1 (statement). In JW8HH6EPG2/e1, lemma 3.51
History
- 2026-10-29: add by m2/v0.4.10
4C8PHSV0DS 4C8PHSV0DS
| URI | m2://inv/4C8PHSV0DS |
|---|---|
| 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.20077#SA9S (statement). In W5XRKWDADE/e1, lemma 6.2
History
- 2026-10-27: add by m2/v0.4.2
PDE 4C8Z14772Y
| URI | m2://inv/4C8Z14772Y |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs index/6.9/pde, PDE (concept). In E9HS8K3A52, index, section 6.9
History
- 2026-11-01: add by m2/v0.6.13
The linear temperature equation 4C98SQZM1K
| URI | m2://inv/4C98SQZM1K |
|---|---|
| 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.14555#KZK4, The linear temperature equation (statement). In NHW0VEJ09F/e1, lemma 2.6
History
- 2026-10-28: add by m2/v0.4.2
Row and column spaces 4C9DZ6DVYP
| URI | m2://inv/4C9DZ6DVYP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Row and column spaces, Row and column spaces (definition). Also Wikidata Q2088159
History
- 2026-11-02: add by m2/dev
Marching tetrahedra 4C9HCHEJVV
| URI | m2://inv/4C9HCHEJVV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#AMTZ, Marching tetrahedra (unknown)
History
- 2026-11-02: add by m2/dev
4C9KT9YWDP 4C9KT9YWDP
| URI | m2://inv/4C9KT9YWDP |
|---|---|
| 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.06724#1WHR (statement). In W5XG3PGVF1/e1, lemma A.1
History
- 2026-10-29: add by m2/v0.4.10
4C9M9CSQGX 4C9M9CSQGX
| URI | m2://inv/4C9M9CSQGX |
|---|---|
| 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.21278#UNME (statement). In DCH1JJGGYH/e1, proposition 2.2
History
- 2026-10-27: add by m2/v0.4.2
4C9P0SDRC1 4C9P0SDRC1
| URI | m2://inv/4C9P0SDRC1 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 54-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.33841#2NIF (definition). In 3CVQHT206K/e1, definition 2.2
History
- 2026-10-30: add by m2/v0.4.12
Lemma 4C9SM28K67
| URI | m2://inv/4C9SM28K67 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Approximately finite-dimensional C*-algebra#WHRD, Lemma (statement)
History
- 2026-11-02: add by m2/dev
4C9W95QGCG 4C9W95QGCG
| URI | m2://inv/4C9W95QGCG |
|---|---|
| Kind | problem |
| 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.07546#93MZ (problem). In H9YE46CGFN/e1, problem 4
History
- 2026-10-29: add by m2/v0.4.10
Search analytics 4C9Y40EPY5
| URI | m2://inv/4C9Y40EPY5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Search analytics, Search analytics (definition). Also Wikidata Q7441639
History
- 2026-11-02: add by m2/dev
4C9YCRY2EH 4C9YCRY2EH
| URI | m2://inv/4C9YCRY2EH |
|---|---|
| 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 1512.06981#72EG (statement). In X923ZEY423/e1, proposition 1.5.1
History
- 2026-10-27: add by m2/v0.3.5
Neyman–Pearson lemma 4CAZGWD6D2
| URI | m2://inv/4CAZGWD6D2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Neyman–Pearson lemma 0EE19CFEEF |
Mentions
- wikidata: Wikidata Q1375989, Neyman–Pearson lemma (statement). Also MathWorld Neyman-PearsonLemma
- wikipedia: Wikipedia Neyman–Pearson lemma, Neyman–Pearson lemma (statement). Also Wikidata Q1375989
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
4CB677X24P 4CB677X24P
| URI | m2://inv/4CB677X24P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2607.25960#KFZ6 (statement). In 13GSWBXPCM/e1, lemma C.2
History
- 2026-10-27: add by m2/v0.3.5
Closeness to Hyperelliptic Weierstrass Points 4CB8DKBMB1
| URI | m2://inv/4CB8DKBMB1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 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.27751#BJLE, Closeness to Hyperelliptic Weierstrass Points (statement)
History
- 2026-11-01: add by m2/v0.6.15
4CBNYPDBAN 4CBNYPDBAN
| URI | m2://inv/4CBNYPDBAN |
|---|---|
| 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.03062#6MRL (statement). In 5H7985A5SD/e1, corollary 2.4
History
- 2026-10-29: add by m2/v0.4.12
Alexander Gelfond 4CBTPME5MH
| URI | m2://inv/4CBTPME5MH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#80DX, Alexander Gelfond (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#WVW7, Alexander Gelfond (topic)
History
- 2026-11-02: add by m2/dev
partial pivoting 4CBTSNA8S5
| URI | m2://inv/4CBTSNA8S5 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula index/5.1.2/partial-pivoting, partial pivoting (concept). In 649HGZKE96, index, section 5.1.2
History
- 2026-11-01: add by m2/v0.6.13
Law of total probability 4CBXJ31ZXN
| URI | m2://inv/4CBXJ31ZXN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Law of total probability, Law of total probability (statement). Also Wikidata Q1989192
History
- 2026-11-02: add by m2/dev
4CC099F5MD 4CC099F5MD
| URI | m2://inv/4CC099F5MD |
|---|---|
| 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.39700#0JK8 (statement). In E7W2HDNEKJ/e1, theorem 5.8
History
- 2026-10-30: add by m2/v0.4.12
Maximising measure 4CC0GNKY97
| URI | m2://inv/4CC0GNKY97 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Maximising measure, Maximising measure (definition). Also Wikidata Q6795795
History
- 2026-11-02: add by m2/dev
4CC3P4ASP6 4CC3P4ASP6
| URI | m2://inv/4CC3P4ASP6 |
|---|---|
| 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.21752#UM90 (statement). In E4DJTPKHAX/e1, proposition 2.11
History
- 2026-10-27: add by m2/v0.4.2
4CC3VZTAB6 4CC3VZTAB6
| URI | m2://inv/4CC3VZTAB6 |
|---|---|
| Kind | problem |
| 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.02481#PKPR (problem). In 5HACFNFY0P/e1, problem 2.9
History
- 2026-10-29: add by m2/v0.4.12
singular cohomology 4CC4S05A5Z
| URI | m2://inv/4CC4S05A5Z |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q15847656, singular cohomology (unknown). Also nLab singular cohomology
History
- 2026-10-26: add by m2/dev
J. Schröder 4CC4TK8Q4S
| URI | m2://inv/4CC4TK8Q4S |
|---|---|
| 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#P3C0, J. Schröder (topic)
History
- 2026-11-02: add by m2/dev
4CCEQVTB3P 4CCEQVTB3P
| URI | m2://inv/4CCEQVTB3P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.10973#Y4SD (statement). In H8NGNDP0XT/e1, corollary 18
History
- 2026-10-28: add by m2/v0.4.3
inductive hypothesis 4CCJG4C3W9
| URI | m2://inv/4CCJG4C3W9 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi index/3.5.2/inductive-hypothesis, inductive hypothesis (concept). In Y91XFCEVHQ, index, section 3.5.2
History
- 2026-11-01: add by m2/v0.6.13
Likelihood comparison 4CD2EJW9MQ
| URI | m2://inv/4CD2EJW9MQ |
|---|---|
| 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.27200#KG7T, Likelihood comparison (statement)
History
- 2026-11-01: add by m2/v0.6.15
No capped-budget universal exactness 4CD42C5FDB
| URI | m2://inv/4CD42C5FDB |
|---|---|
| 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.31607#WW88, No capped-budget universal exactness (statement). In H9X9WZ17TT/e1, theorem 23
History
- 2026-10-31: add by m2/v0.5.6
4CD45WX3QV 4CD45WX3QV
| URI | m2://inv/4CD45WX3QV |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/Counting.tex#exercise-22 (exercise). In P1C114YBXG, exercise, section 1.2
History
- 2026-11-01: add by m2/v0.6.13
congruence subgroup 4CD5KJJ7SN
| URI | m2://inv/4CD5KJJ7SN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Congruence subgroup 1H6R856P3C |
Mentions
- wikidata: Wikidata Q5161000, congruence subgroup (unknown). Also nLab congruence subgroup
- wikipedia: Wikipedia Congruence subgroup, Congruence subgroup (definition). Also Wikidata Q5161000
History
- 2026-10-26: add by m2/dev
4CDCS30WVX 4CDCS30WVX
| URI | m2://inv/4CDCS30WVX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 37-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13100#YZU7 (statement). In CC6S1HVK0T/e1, lemma 5.20
History
- 2026-10-28: add by m2/v0.4.2
Monomial conjecture 4CDVKQNKPE
| URI | m2://inv/4CDVKQNKPE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#82CZ, Monomial conjecture (statement)
History
- 2026-11-02: add by m2/dev
Results 4CDXP2TYKC
| URI | m2://inv/4CDXP2TYKC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dehn surgery#AN5P, Results (statement)
History
- 2026-11-02: add by m2/dev
Pluripolar set 4CDYFKXV0D
| URI | m2://inv/4CDYFKXV0D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pluripolar set, Pluripolar set (definition). Also Wikidata Q7205562
History
- 2026-11-02: add by m2/dev
4CE0K71TWD 4CE0K71TWD
| URI | m2://inv/4CE0K71TWD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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.21960#NHON (statement). In QX77AN49J0/e1, theorem 8.3
History
- 2026-10-27: add by m2/v0.4.2
4CE2XT2NE4 4CE2XT2NE4
| URI | m2://inv/4CE2XT2NE4 |
|---|---|
| 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.09390#FUHY (statement). In 7SSKW778T8/e1, proposition 8.7
History
- 2026-10-29: add by m2/v0.4.10
Local sensitivity interpretation 4CEMKPTH3K
| URI | m2://inv/4CEMKPTH3K |
|---|---|
| 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.05504#STUU, Local sensitivity interpretation (statement). In 5PY98FZVJW/e1, proposition 3.6
History
- 2026-10-29: add by m2/v0.4.10
4CESJ3YQB5 4CESJ3YQB5
| URI | m2://inv/4CESJ3YQB5 |
|---|---|
| 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.30203#GE3C (statement)
History
- 2026-11-01: add by m2/v0.6.15
Symmetry 4CF7P25RZQ
| URI | m2://inv/4CF7P25RZQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trapezohedron#FTOV, Symmetry (statement)
History
- 2026-11-02: add by m2/dev
Schur's inequality 4CF8YN72CC
| URI | m2://inv/4CF8YN72CC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of inequalities#MQ3W, Schur's inequality (statement)
History
- 2026-11-02: add by m2/dev
Easy 4CFB30WKCS
| URI | m2://inv/4CFB30WKCS |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-61, Easy (exercise). In VNMV985MXX, exercise, section 2.1
History
- 2026-11-01: add by m2/v0.6.13
Hui-Hsiung Kuo 4CFECBM8H9
| URI | m2://inv/4CFECBM8H9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hui-Hsiung Kuo, Hui-Hsiung Kuo (topic). Also Wikidata Q102141248
History
- 2026-11-02: add by m2/dev
4CFF7GY24T 4CFF7GY24T
| URI | m2://inv/4CFF7GY24T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2603.26376#BW3D (statement). In PJAT9YDX7Y/e1, proposition 4.6
History
- 2026-10-27: add by m2/v0.4.0
Use 4CFNHJT7Z9
| URI | m2://inv/4CFNHJT7Z9 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Limitation of size#H3S3, Use (example)
History
- 2026-11-02: add by m2/dev
4CFPS32VF5 4CFPS32VF5
| URI | m2://inv/4CFPS32VF5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 51-XX, 52-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 2503.19528#OVFY (statement). In EM5955MDHN/e1, proposition 2.5
History
- 2026-10-27: add by m2/v0.3.5
4CFSKSQHBZ 4CFSKSQHBZ
| URI | m2://inv/4CFSKSQHBZ |
|---|---|
| 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 2610.09945#SSGI (example). In V7VCEA0VAA/e1, example 5.3
History
- 2026-10-29: add by m2/v0.4.10
Equating coefficients 4CFSR8Z34J
| URI | m2://inv/4CFSR8Z34J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Equating coefficients, Equating coefficients (definition). Also Wikidata Q1778269
History
- 2026-11-02: add by m2/dev
4CG28KXWQ0 4CG28KXWQ0
| URI | m2://inv/4CG28KXWQ0 |
|---|---|
| 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.03144#KQXK (statement). In 9QW88325GS/e1, theorem 4.15
History
- 2026-10-29: add by m2/v0.4.12
4CG4TXYNWA 4CG4TXYNWA
| URI | m2://inv/4CG4TXYNWA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#lemma:bergmanKbound (statement). In VNMV985MXX, lemma, section 5.2
History
- 2026-11-01: add by m2/v0.6.13
Accumulation function 4CG5KHD5ZG
| URI | m2://inv/4CG5KHD5ZG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Accumulation function, Accumulation function (definition). Also Wikidata Q4672905
History
- 2026-11-02: add by m2/dev
Multivariate exchange inequality 4CG5MCE33C
| URI | m2://inv/4CG5MCE33C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.00137#D7KP, Multivariate exchange inequality (statement). In NKW6YQ04QW/e1, lemma 5.3
History
- 2026-10-30: add by m2/v0.4.12
4CG6HNB7Q1 4CG6HNB7Q1
| URI | m2://inv/4CG6HNB7Q1 |
|---|---|
| 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.38838#DOW0 (statement). In 3EH8M9GWTX/e1, theorem 3.11
History
- 2026-10-30: add by m2/v0.4.12
4CGKR5532H 4CGKR5532H
| URI | m2://inv/4CGKR5532H |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/UncountableSets.tex#thm:(0,1)uncountable (statement). In P1C114YBXG, theorem, section K
History
- 2026-11-01: add by m2/v0.6.13
Direct Jacobi--Hermite confluence 4CGN32BG08
| URI | m2://inv/4CGN32BG08 |
|---|---|
| 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.22027#U5CL, Direct Jacobi--Hermite confluence (statement)
History
- 2026-11-02: add by m2/v0.6.17
4CGZKSV0ZP 4CGZKSV0ZP
| URI | m2://inv/4CGZKSV0ZP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/size-of-sets/enumerability.tex#prop:enum-shift (statement). In PKGMM3P5QY, prop, section 83.5
History
- 2026-11-01: add by m2/v0.6.13
Futile game 4CH7XC2DCJ
| URI | m2://inv/4CH7XC2DCJ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q30681699, Futile game (concept). Also MathWorld FutileGame
History
- 2026-10-26: add by m2/dev
Null sign 4CHA144528
| URI | m2://inv/4CHA144528 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Null sign, Null sign (definition). Also Wikidata Q141270540
History
- 2026-11-02: add by m2/dev
WalkSAT 4CHBCWGRCS
| URI | m2://inv/4CHBCWGRCS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia WalkSAT, WalkSAT (definition). Also Wikidata Q7961996
History
- 2026-11-02: add by m2/dev
Definition 4CHDEXR1WR
| URI | m2://inv/4CHDEXR1WR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Computational Diffie–Hellman assumption#JJ5I, Definition (definition)
History
- 2026-11-02: add by m2/dev
Multicollinearity 4CHJJB5RWC
| URI | m2://inv/4CHJJB5RWC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#11TJ, Multicollinearity (definition)
History
- 2026-11-02: add by m2/dev
Sansha 4CHV42EKP8
| URI | m2://inv/4CHV42EKP8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#GQ8I, Sansha (unknown)
History
- 2026-11-02: add by m2/dev
Formulations 4CJ0TWF9AV
| URI | m2://inv/4CJ0TWF9AV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Abc conjecture#A3KA, Formulations (definition)
History
- 2026-11-02: add by m2/dev
Hyperbolic cosecant 4CJ0Z2Q4XR
| URI | m2://inv/4CJ0Z2Q4XR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#JCDJ, Hyperbolic cosecant (definition)
History
- 2026-11-02: add by m2/dev
Existence of motions on analytic manifolds 4CJ1F8TAG0
| URI | m2://inv/4CJ1F8TAG0 |
|---|---|
| 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 2610.17004#EPGT, Existence of motions on analytic manifolds (statement). In XNJGNMS6H0/e1, theorem 4.9
History
- 2026-10-28: add by m2/v0.4.2
4CJ541SSZE 4CJ541SSZE
| URI | m2://inv/4CJ541SSZE |
|---|---|
| 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 2610.15444#I2MS (statement). In M2X9TEYRPC/e1, lemma 2.7
History
- 2026-10-28: add by m2/v0.4.2
Example 4CJC3PKVA9
| URI | m2://inv/4CJC3PKVA9 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quantization (signal processing)#5RN8, Example (example)
History
- 2026-11-02: add by m2/dev
Sufficient Compression Wins When Compatibility Beats Tax 4CJC6389DS
| URI | m2://inv/4CJC6389DS |
|---|---|
| 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.03769#N2GS, Sufficient Compression Wins When Compatibility Beats Tax (statement). In 35DNCV14M4/e1, corollary B.5
History
- 2026-10-29: add by m2/v0.4.12
A fixed-state ratio limit 4CJKD1A302
| URI | m2://inv/4CJKD1A302 |
|---|---|
| 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.27335#JL60, A fixed-state ratio limit (statement)
History
- 2026-11-01: add by m2/v0.6.15
Paul Meier 4CJRSTJP8Q
| URI | m2://inv/4CJRSTJP8Q |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#FZM1, Paul Meier (topic)
History
- 2026-11-02: add by m2/dev
Sauer–Shelah lemma 4CK16PW9E4
| URI | m2://inv/4CK16PW9E4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sauer–Shelah lemma, Sauer–Shelah lemma (statement). Also Wikidata Q17156650
History
- 2026-11-02: add by m2/dev
James Michael Gardner Fell 4CK35KYW1A
| URI | m2://inv/4CK35KYW1A |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia James Michael Gardner Fell, James Michael Gardner Fell (topic). Also Wikidata Q47512087
History
- 2026-11-02: add by m2/dev
Arnold–Givental conjecture 4CK4S9SQD1
| URI | m2://inv/4CK4S9SQD1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arnold conjecture#V7AG, Arnold–Givental conjecture (statement)
History
- 2026-11-02: add by m2/dev
Uniform k 21 polytope 4CK5B7WYBP
| URI | m2://inv/4CK5B7WYBP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Uniform k 21 polytope, Uniform k 21 polytope (definition). Also Wikidata Q7885104
History
- 2026-11-02: add by m2/dev
Chandrasekhar–Page equations 4CK61J0F8C
| URI | m2://inv/4CK61J0F8C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chandrasekhar–Page equations, Chandrasekhar–Page equations (definition). Also Wikidata Q85751457
History
- 2026-11-02: add by m2/dev
Willmore energy 4CKADJ9FTS
| URI | m2://inv/4CKADJ9FTS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of differential geometry topics#N070, Willmore energy (definition)
History
- 2026-11-02: add by m2/dev
Adela Świątek 4CKD3J3RF4
| URI | m2://inv/4CKD3J3RF4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Adela Świątek, Adela Świątek (topic). Also Wikidata Q86921282
History
- 2026-11-02: add by m2/dev
\rm It$\hat{o}$-Michler 4CKP4M9ZQK
| URI | m2://inv/4CKP4M9ZQK |
|---|---|
| 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.26471#KUGS, \rm It$\hat{o}$-Michler (statement)
History
- 2026-11-01: add by m2/v0.6.15
4CM3JQRQT7 4CM3JQRQT7
| URI | m2://inv/4CM3JQRQT7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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.21892#JQF1 (statement)
History
- 2026-11-02: add by m2/v0.6.17
4CM655JCV6 4CM655JCV6
| URI | m2://inv/4CM655JCV6 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2308.05715#V0RL (definition). In FC0SB9JFWH/e1, definition 3.8
History
- 2026-10-27: add by m2/v0.3.5
Supporting hyperplane theorem 4CMGF4SVJY
| URI | m2://inv/4CMGF4SVJY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Convexity in economics#LAZP, Supporting hyperplane theorem (statement)
History
- 2026-11-02: add by m2/dev
infinite loop space machine 4CMHJZVT2S
| URI | m2://inv/4CMHJZVT2S |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q16926157, infinite loop space machine (concept). Also MathWorld Machine
- wikipedia: Wikipedia Infinite loop space machine, Infinite loop space machine (definition). Also Wikidata Q16926157
History
- 2026-10-26: add by m2/dev
Ogee 4CMHMFKW1N
| URI | m2://inv/4CMHMFKW1N |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#SGWB, Ogee (unknown)
- wikipedia: Wikipedia List of curves#BY3O, Ogee (unknown)
History
- 2026-11-02: add by m2/dev
International Society for Bayesian Analysis 4CMPWJ6X4H
| URI | m2://inv/4CMPWJ6X4H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia International Society for Bayesian Analysis, International Society for Bayesian Analysis (definition). Also Wikidata Q15995201
History
- 2026-11-02: add by m2/dev
contraction 4CMW7GM93H
| URI | m2://inv/4CMW7GM93H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#DB0Y, contraction (definition)
History
- 2026-11-02: add by m2/dev
4CN36Y3KT6 4CN36Y3KT6
| URI | m2://inv/4CN36Y3KT6 |
|---|---|
| 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.14450#WVGW (statement). In ZHTGQT07PE/e1, theorem 5.1
History
- 2026-10-28: add by m2/v0.4.2
odd 4CNC8B67TJ
| URI | m2://inv/4CNC8B67TJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lists of integrals#QWSI, odd (definition)
History
- 2026-11-02: add by m2/dev
4CNGWVNZKC 4CNGWVNZKC
| URI | m2://inv/4CNGWVNZKC |
|---|---|
| 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.30097#BJBH (statement)
History
- 2026-11-01: add by m2/v0.6.15
complexity class 4CNV5DR688
| URI | m2://inv/4CNV5DR688 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#4EBP, complexity class (definition)
History
- 2026-11-02: add by m2/dev
Normalized reduced orbifold operator 4CP89QV1WX
| URI | m2://inv/4CP89QV1WX |
|---|---|
| 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 2610.03520#OL5O, Normalized reduced orbifold operator (definition). In CSRZ9CWK69/e1, definition 4.4
History
- 2026-10-29: add by m2/v0.4.12
Affine group 4CP8DWF26N
| URI | m2://inv/4CP8DWF26N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Lie groups topics#OPCU, Affine group (definition)
History
- 2026-11-02: add by m2/dev
4CP8VGNCW0 4CP8VGNCW0
| URI | m2://inv/4CP8VGNCW0 |
|---|---|
| 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 2606.20229#JUC1 (statement). In 1B85G2QJC2/e1, theorem 5.5
History
- 2026-10-27: add by m2/v0.3.6
Constant row weight 4CP9ZYMASK
| URI | m2://inv/4CP9ZYMASK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02407#F74M, Constant row weight (statement). In ZZER8ZBSCR/e1, lemma 6.25
History
- 2026-10-29: add by m2/v0.4.12
Constructions 4CPHC7DK02
| URI | m2://inv/4CPHC7DK02 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sierpiński triangle#SML6, Constructions (definition)
History
- 2026-11-02: add by m2/dev
strong counterexample 4CPMZ5FWTR
| URI | m2://inv/4CPMZ5FWTR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#RJAF, strong counterexample (definition)
History
- 2026-11-02: add by m2/dev
4CPP2G82BD 4CPP2G82BD
| URI | m2://inv/4CPP2G82BD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23833#NYOT (statement)
History
- 2026-11-02: add by m2/v0.6.17
Basic properties 4CPRV432PQ
| URI | m2://inv/4CPRV432PQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gauss–Markov process#54S2, Basic properties (statement)
History
- 2026-11-02: add by m2/dev
4CPSYD05T2 4CPSYD05T2
| URI | m2://inv/4CPSYD05T2 |
|---|---|
| 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.30097#RLY6 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Hybrid cryptosystem 4CQ75GTSDM
| URI | m2://inv/4CQ75GTSDM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hybrid cryptosystem, Hybrid cryptosystem (definition). Also Wikidata Q1639918
History
- 2026-11-02: add by m2/dev
4CQF381VRJ 4CQF381VRJ
| URI | m2://inv/4CQF381VRJ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04870#5W3O (definition). In X765ZXXVC3/e1, definition 2.6
History
- 2026-10-29: add by m2/v0.4.12
proposition 4CQGV3AHTS
| URI | m2://inv/4CQGV3AHTS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#X16I, proposition (definition)
History
- 2026-11-02: add by m2/dev
4CQM4ND8G9 4CQM4ND8G9
| URI | m2://inv/4CQM4ND8G9 |
|---|---|
| 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 2305.10202#U5LH (statement). In ER06JKXR8B/e1, corollary 3.2
History
- 2026-10-27: add by m2/v0.4.0
4CQVG303A7 4CQVG303A7
| URI | m2://inv/4CQVG303A7 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/choice/vitali.tex#proof-3 (proof). In PKGMM3P5QY, proof, section 71.6
History
- 2026-11-01: add by m2/v0.6.13
4CQXWX8DFF 4CQXWX8DFF
| URI | m2://inv/4CQXWX8DFF |
|---|---|
| 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.20025#R41P (statement). In 4W1WR4JB89/e1, lemma 3.2
History
- 2026-10-27: add by m2/v0.4.2
4CR1Y0FPNY 4CR1Y0FPNY
| URI | m2://inv/4CR1Y0FPNY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21969#2KSX (statement)
History
- 2026-11-02: add by m2/v0.6.17
Boente, Graciela 4CR3JA0HWZ
| URI | m2://inv/4CR3JA0HWZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#PJWO, Boente, Graciela (topic)
History
- 2026-11-02: add by m2/dev
4CR686T6JZ 4CR686T6JZ
| URI | m2://inv/4CR686T6JZ |
|---|---|
| Kind | conjecture |
| 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#9XXZ (conjecture)
History
- 2026-11-01: add by m2/v0.6.15
Unitary transformation 4CREZK9J87
| URI | m2://inv/4CREZK9J87 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Unitary transformation (quantum mechanics), Unitary transformation (definition). Also Wikidata Q56276344
History
- 2026-11-02: add by m2/dev
Definition 4CRJ492FDB
| URI | m2://inv/4CRJ492FDB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia P-recursive equation#03EO, Definition (definition)
History
- 2026-11-02: add by m2/dev
Circular error probable 4CRK8C20EC
| URI | m2://inv/4CRK8C20EC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Circular error probable, Circular error probable (definition). Also Wikidata Q843368
History
- 2026-11-02: add by m2/dev
4CRK9JQHRK 4CRK9JQHRK
| URI | m2://inv/4CRK9JQHRK |
|---|---|
| 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 2405.05684#R63Q (statement). In 1PR73ECTZB/e1, proposition 4
History
- 2026-10-27: add by m2/v0.3.5
Joachim Lohkamp 4CRNME1CZ2
| URI | m2://inv/4CRNME1CZ2 |
|---|---|
| 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#7898, Joachim Lohkamp (unknown)
History
- 2026-11-02: add by m2/dev
List of largest metropolitan areas in the Middle East 4CRWRD2MZA
| URI | m2://inv/4CRWRD2MZA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of largest metropolitan areas in the Middle East, List of largest metropolitan areas in the Middle East (topic). Also Wikidata Q3245705
History
- 2026-11-02: add by m2/dev
4CRXHXA19Q 4CRXHXA19Q
| URI | m2://inv/4CRXHXA19Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2603.21971#YU05 (statement). In R6KSZ9H8CY/e1, lemma 7.2
History
- 2026-10-27: add by m2/v0.3.5
Block sensitivity versus certificate complexity 4CRYXD7XEE
| URI | m2://inv/4CRYXD7XEE |
|---|---|
| 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.23781#F5DS, Block sensitivity versus certificate complexity (statement)
History
- 2026-11-02: add by m2/v0.6.17
Graeco-Latin square 4CS628C1QZ
| URI | m2://inv/4CS628C1QZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#KAP6, Graeco-Latin square (definition)
History
- 2026-11-02: add by m2/dev
\textbf{Mixing time of randomized ULMC under log-concavity 4CSC5N9MPV
| URI | m2://inv/4CSC5N9MPV |
|---|---|
| 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#AR2P, \textbf{Mixing time of randomized ULMC under log-concavity (statement)
History
- 2026-11-02: add by m2/v0.6.18
Riesz projector 4CSJKFX1VY
| URI | m2://inv/4CSJKFX1VY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Riesz projector, Riesz projector (definition). Also Wikidata Q96401996
History
- 2026-11-02: add by m2/dev
enneahedron 4CSRQZ4D6J
| URI | m2://inv/4CSRQZ4D6J |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5379147, enneahedron (unknown). Also MathWorld Nonahedron
- wikipedia: Wikipedia Enneahedron, Enneahedron (object). Also Wikidata Q5379147
History
- 2026-10-26: add by m2/dev
5-manifold 4CSSRSNGRA
| URI | m2://inv/4CSSRSNGRA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4639668, 5-manifold (unknown). Also nLab 5-manifold
- wikipedia: Wikipedia 5-manifold, 5-manifold (definition). Also Wikidata Q4639668
History
- 2026-10-26: add by m2/dev
Applications 4CT9MQF4J7
| URI | m2://inv/4CT9MQF4J7 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Odds#AI3M, Applications (example)
History
- 2026-11-02: add by m2/dev
4CT9SX4SJR 4CT9SX4SJR
| URI | m2://inv/4CT9SX4SJR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.00516#THVF (statement). In PJEV6WWX0C/e1, theorem 2
History
- 2026-10-30: add by m2/v0.4.12
Eric Lander 4CTC228TJP
| URI | m2://inv/4CTC228TJP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eric Lander, Eric Lander (topic). Also Wikidata Q970550
History
- 2026-11-02: add by m2/dev
Jellyfish Hearts sequence 4CTFSDH43V
| URI | m2://inv/4CTFSDH43V |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q107209392, Jellyfish Hearts sequence (object). Also OEIS A344856
History
- 2026-10-26: add by m2/dev
Related formulas 4CTG290PE8
| URI | m2://inv/4CTG290PE8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hook length formula#U2ZN, Related formulas (statement)
History
- 2026-11-02: add by m2/dev
4CTG56G8AT 4CTG56G8AT
| URI | m2://inv/4CTG56G8AT |
|---|---|
| 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.29510#TTUR (statement)
History
- 2026-11-01: add by m2/v0.6.15
Jonathan Kellerman 4CTHSAAZA2
| URI | m2://inv/4CTHSAAZA2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#4FJU, Jonathan Kellerman (unknown)
History
- 2026-11-02: add by m2/dev
4CTT3N28T1 4CTT3N28T1
| URI | m2://inv/4CTT3N28T1 |
|---|---|
| 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.09882#4D6B (statement). In 7XV6T4N79V/e1, lemma 6.1
History
- 2026-10-29: add by m2/v0.4.10
Michèle Vergne 4CTX83NSTE
| URI | m2://inv/4CTX83NSTE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#0WW4, Michèle Vergne (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#5VTD, Michèle Vergne (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#R58C, Michèle Vergne (topic)
History
- 2026-11-02: add by m2/dev
the $2$-skeleton does not determine a quotient flag complex either 4CTY9K7REJ
| URI | m2://inv/4CTY9K7REJ |
|---|---|
| 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 2609.32733#N4T5, the $2$-skeleton does not determine a quotient flag complex either (statement). In PCAS8S14J6/e1, proposition 2.7
History
- 2026-10-31: add by m2/v0.5.6
Viterbi semiring 4CTYG8ZYN8
| URI | m2://inv/4CTYG8ZYN8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Viterbi semiring, Viterbi semiring (definition). Also Wikidata Q135921296
History
- 2026-11-02: add by m2/dev
maximization 4CTYMJZDYN
| URI | m2://inv/4CTYMJZDYN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q70467272, maximization (unknown). Also MathWorld Maximization
History
- 2026-10-26: add by m2/dev
4CTZFJ6VKT 4CTZFJ6VKT
| URI | m2://inv/4CTZFJ6VKT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22297#AZ8V (statement)
History
- 2026-11-02: add by m2/v0.6.17
Theorem 4CTZFN8E31
| URI | m2://inv/4CTZFN8E31 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Indefinite sum#9XZK, Theorem (statement)
History
- 2026-11-02: add by m2/dev
4CVCD1B5GJ 4CVCD1B5GJ
| URI | m2://inv/4CVCD1B5GJ |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/complex-ana/meromorphic.tex#proof-3 (proof). In RZP28ERRZV, proof, section 41.4
History
- 2026-11-01: add by m2/v0.6.13
4CVGX3V9Z8 4CVGX3V9Z8
| URI | m2://inv/4CVGX3V9Z8 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26337#LLQ2 (example)
History
- 2026-11-01: add by m2/v0.6.15
Equality and failure of a universal linear bound 4CVH04ADMP
| URI | m2://inv/4CVH04ADMP |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04948#ZB8S, Equality and failure of a universal linear bound (example). In TKHA291X5N/e1, example 11
History
- 2026-10-29: add by m2/v0.4.12
Lucasian professor 4CVRYZ0YF5
| URI | m2://inv/4CVRYZ0YF5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematics history topics#R7F4, Lucasian professor (definition)
History
- 2026-11-02: add by m2/dev
4CVSC4SZ70 4CVSC4SZ70
| URI | m2://inv/4CVSC4SZ70 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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.04623#RVKX (statement). In 6CK4CTQWQH/e1, proposition 2.2
History
- 2026-10-29: add by m2/v0.4.12
Finite language 4CVVZ4R7KR
| URI | m2://inv/4CVVZ4R7KR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Regular language#6VDP, Finite language (unknown)
History
- 2026-11-02: add by m2/dev
4CW7MACFSZ 4CW7MACFSZ
| URI | m2://inv/4CW7MACFSZ |
|---|---|
| Kind | problem |
| 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.32439#WIUD (problem). In GD8D1YH7K4/e1, problem
History
- 2026-10-31: add by m2/v0.5.6
4CWA40HS6S 4CWA40HS6S
| URI | m2://inv/4CWA40HS6S |
|---|---|
| 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.16700#Y7W4 (statement). In 3JPKD7NBEN/e1, theorem 4.5
History
- 2026-10-28: add by m2/v0.4.2
4CWDJ5QF6J 4CWDJ5QF6J
| URI | m2://inv/4CWDJ5QF6J |
|---|---|
| Kind | definition |
| 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 2111.07717#RDLE (definition). In AXFXGWG7ZG/e1, definition 4.1
History
- 2026-10-27: add by m2/v0.4.0
4CWNY1XSEG 4CWNY1XSEG
| URI | m2://inv/4CWNY1XSEG |
|---|---|
| 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#NDYM (statement)
History
- 2026-11-01: add by m2/v0.6.15
Ishikawa diagram 4CWRFQWM1Q
| URI | m2://inv/4CWRFQWM1Q |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of graphical methods#8W1A, Ishikawa diagram (unknown)
History
- 2026-11-02: add by m2/dev
4CWV59JPWH 4CWV59JPWH
| URI | m2://inv/4CWV59JPWH |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book basics.tex#ex:coprod-ump (exercise). In N54F33XE07, ex, section 1.15
History
- 2026-11-01: add by m2/v0.6.13
Definitions 4CWVSCCZF4
| URI | m2://inv/4CWVSCCZF4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Strong subadditivity of quantum entropy#K3IN, Definitions (definition)
History
- 2026-11-02: add by m2/dev
4CX0KJF1EX 4CX0KJF1EX
| URI | m2://inv/4CX0KJF1EX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic geometry#50DL (definition)
History
- 2026-11-02: add by m2/dev
Independence of activation-derivative polynomial functions 4CXBMZ1XGY
| URI | m2://inv/4CXBMZ1XGY |
|---|---|
| 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.04357#EIUS, Independence of activation-derivative polynomial functions (statement). In 6FY8BVP1F3/e1, lemma D.1
History
- 2026-10-29: add by m2/v0.4.12
4CXD5VBJCZ 4CXD5VBJCZ
| URI | m2://inv/4CXD5VBJCZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20153#CRPV (statement)
History
- 2026-11-02: add by m2/v0.6.18
Single-fragment swap and activity 4CXEG85TYS
| URI | m2://inv/4CXEG85TYS |
|---|---|
| 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.19207#LE0E, Single-fragment swap and activity (statement). In BH3R0BA3PC/e1, lemma 5
History
- 2026-10-28: add by m2/v0.4.2
4CXPXADBXP 4CXPXADBXP
| URI | m2://inv/4CXPXADBXP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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.34081#I07Y (statement). In 3RVGEKGX46/e1, lemma 5.2
History
- 2026-10-30: add by m2/v0.4.12
Nonsymmetric directional endpoints 4CXQFSCEA9
| URI | m2://inv/4CXQFSCEA9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15202#45DW, Nonsymmetric directional endpoints (statement). In X1FPG0KYBM/e1, proposition B.3
History
- 2026-10-28: add by m2/v0.4.2
4CXR2WRA1W 4CXR2WRA1W
| URI | m2://inv/4CXR2WRA1W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32599#8V0U (statement). In E1Y93JNBJA/e1, theorem 6.3
History
- 2026-10-31: add by m2/v0.5.6
4CXTFR5XC2 4CXTFR5XC2
| URI | m2://inv/4CXTFR5XC2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09133#LCS8 (statement). In E7BPGPP9Z5/e1, theorem 5.3
History
- 2026-10-29: add by m2/v0.4.10
Unitary normalizer 4CXX2EKZ2R
| URI | m2://inv/4CXX2EKZ2R |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX, 47-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15180#K1K0, Unitary normalizer (definition). In AMRWRJDNKJ/e1, definition 6.1
History
- 2026-10-28: add by m2/v0.4.2
4CY14T5FHG 4CY14T5FHG
| URI | m2://inv/4CY14T5FHG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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.36403#TZYS (statement). In A4XGTS3QXQ/e1, proposition 4.1
History
- 2026-10-30: add by m2/v0.4.12
Differential dynamic programming 4CY6NQ250Y
| URI | m2://inv/4CY6NQ250Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#D2K4, Differential dynamic programming (definition)
History
- 2026-11-02: add by m2/dev
Pure mathematics in Ancient Greece 4CY7XKESTG
| URI | m2://inv/4CY7XKESTG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pure mathematics#5BH5, Pure mathematics in Ancient Greece (unknown)
History
- 2026-11-02: add by m2/dev
4CYA4SWWRY 4CYA4SWWRY
| URI | m2://inv/4CYA4SWWRY |
|---|---|
| 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.38772#EAWL (statement). In 1C3R5NAQAP/e1, corollary 3.10
History
- 2026-10-30: add by m2/v0.4.12
Semi-log graph 4CYFW05ACV
| URI | m2://inv/4CYFW05ACV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#5AUD, Semi-log graph (definition)
History
- 2026-11-02: add by m2/dev
4CYG2TBEKP 4CYG2TBEKP
| URI | m2://inv/4CYG2TBEKP |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book hlevels.tex#proof-29 (proof). In N54F33XE07, proof, section 6.4
History
- 2026-11-01: add by m2/v0.6.13
4CYJ7M5AMY 4CYJ7M5AMY
| URI | m2://inv/4CYJ7M5AMY |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15217#3WYN (definition). In G70Q2FB591/e1, definition 2.3
History
- 2026-10-28: add by m2/v0.4.2
4CYJA6MXV6 4CYJA6MXV6
| URI | m2://inv/4CYJA6MXV6 |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29878#2PRV (problem)
History
- 2026-11-01: add by m2/v0.6.15
lax functor 4CYMKY6TVS
| URI | m2://inv/4CYMKY6TVS |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q18345526, lax functor (concept). Also nLab lax functor
History
- 2026-10-26: add by m2/dev
4CYQ0XXN35 4CYQ0XXN35
| URI | m2://inv/4CYQ0XXN35 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_strings_exercises.ptx#exercise-29 (exercise). In QKM9DD2H56, exercise, section 2
History
- 2026-11-01: add by m2/v0.6.13
Construction 4CYZFD0F94
| URI | m2://inv/4CYZFD0F94 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bicentric quadrilateral#AB2S, Construction (definition)
History
- 2026-11-02: add by m2/dev
Rosemary A. Bailey 4CZ1VT2EK2
| URI | m2://inv/4CZ1VT2EK2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rosemary A. Bailey, Rosemary A. Bailey (topic). Also Wikidata Q7368302
History
- 2026-11-02: add by m2/dev
4CZ4R6F7GC 4CZ4R6F7GC
| URI | m2://inv/4CZ4R6F7GC |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/zariski.tex#ques-3 (exercise). In RZP28ERRZV, ques, section 29.5
History
- 2026-11-01: add by m2/v0.6.13
4CZAAGB4Y8 4CZAAGB4Y8
| URI | m2://inv/4CZAAGB4Y8 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/lambda-calculus/syntax/alpha.tex#prob-5 (exercise). In PKGMM3P5QY, prob, section 38.9
History
- 2026-11-01: add by m2/v0.6.13
Ideal \(L^2\) contraction 4CZXQT8Y3K
| URI | m2://inv/4CZXQT8Y3K |
|---|---|
| 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.16248#QGVN, Ideal \(L^2\) contraction (statement). In TP61DYMBMK/e1, proposition 6
History
- 2026-10-28: add by m2/v0.4.2
4CZXTC43JZ 4CZXTC43JZ
| URI | m2://inv/4CZXTC43JZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2609.33590#IRMQ (statement). In WRE0P7V6Z3/e1, theorem 1.27
History
- 2026-10-30: add by m2/v0.4.12
4CZZT14BKY 4CZZT14BKY
| URI | m2://inv/4CZZT14BKY |
|---|---|
| Kind | example |
| 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 2402.05875#7KVP (example). In 35FDBKEDC0/e1, example 3.1
History
- 2026-10-27: add by m2/v0.3.5