Inventory rows M4
The cards of the rows of the inventory whose ids start with M4. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Cyril Houdayer M400P5MXZW
| URI | m2://inv/M400P5MXZW |
|---|---|
| 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#FWBV, Cyril Houdayer (unknown)
History
- 2026-11-02: add by m2/dev
Examples M40EWVF0ZM
| URI | m2://inv/M40EWVF0ZM |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia CLRg property#FVFU, Examples (example)
History
- 2026-11-02: add by m2/dev
Federigo Enriques M40MDMQ30Z
| URI | m2://inv/M40MDMQ30Z |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#2L4Q, Federigo Enriques (topic)
History
- 2026-11-02: add by m2/dev
M413N4PGD8 M413N4PGD8
| URI | m2://inv/M413N4PGD8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 19-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2505.05539#V0P7 (statement). In 8SVVEVGMNE/e1, corollary 2.13
History
- 2026-10-27: add by m2/v0.3.5
Cayley–Hamilton formula M4142N9A96
| URI | m2://inv/M4142N9A96 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Adjugate matrix#UZM5, Cayley–Hamilton formula (statement)
History
- 2026-11-02: add by m2/dev
Online NMF M4188XVMTW
| URI | m2://inv/M4188XVMTW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#30Z9, Online NMF (definition)
History
- 2026-11-02: add by m2/dev
Properties M41BAS3F4W
| URI | m2://inv/M41BAS3F4W |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Idempotent matrix#0IS6, Properties (statement)
History
- 2026-11-02: add by m2/dev
Explication M41EFC6KW1
| URI | m2://inv/M41EFC6KW1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Explication, Explication (definition). Also Wikidata Q422898
History
- 2026-11-02: add by m2/dev
Poisson–Boltzmann equation M41H41P57Q
| URI | m2://inv/M41H41P57Q |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of named differential equations#TV5V, Poisson–Boltzmann equation (unknown)
History
- 2026-11-02: add by m2/dev
M41KSKX84D M41KSKX84D
| URI | m2://inv/M41KSKX84D |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35605#9LJW (definition). In X1KWTAA3M2/e1, definition 6
History
- 2026-10-27: add by m2/v0.3.5
The Fifty-Nine Icosahedra M41S5VZQKP
| URI | m2://inv/M41S5VZQKP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia The Fifty-Nine Icosahedra, The Fifty-Nine Icosahedra (definition). Also Wikidata Q7733784
History
- 2026-11-02: add by m2/dev
M41WRNGQ79 M41WRNGQ79
| URI | m2://inv/M41WRNGQ79 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section3-2.xml#activity-2 (exercise). In 649HGZKE96, activity, section 3.2.3
History
- 2026-11-01: add by m2/v0.6.13
Supporting functional M422TST9RG
| URI | m2://inv/M422TST9RG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Supporting functional, Supporting functional (definition). Also Wikidata Q7644621
History
- 2026-11-02: add by m2/dev
Gauss sum M429WRW3C1
| URI | m2://inv/M429WRW3C1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Carl Friedrich Gauss#N4KZ, Gauss sum (definition)
History
- 2026-11-02: add by m2/dev
Morin surface M42BWHEY6M
| URI | m2://inv/M42BWHEY6M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of surfaces#TROM, Morin surface (definition)
History
- 2026-11-02: add by m2/dev
Sophie Dabo-Niang M42P37BEVH
| URI | m2://inv/M42P37BEVH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sophie Dabo-Niang, Sophie Dabo-Niang (topic). Also Wikidata Q23704524
History
- 2026-11-02: add by m2/dev
Constructive large-cocircuit lemma M42P6CS76V
| URI | m2://inv/M42P6CS76V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20649#0QFW, Constructive large-cocircuit lemma (statement). In XDTM624YPE/e1, theorem 5.3
History
- 2026-10-27: add by m2/v0.4.2
Applications M42QDRFASB
| URI | m2://inv/M42QDRFASB |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia SMAWK algorithm#4BPX, Applications (example)
History
- 2026-11-02: add by m2/dev
Sharp two-dimensional obstruction M42QX4GZS6
| URI | m2://inv/M42QX4GZS6 |
|---|---|
| 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.33021#AH8H, Sharp two-dimensional obstruction (statement). In GG96DW33Q9/e1, proposition E.1
History
- 2026-10-31: add by m2/v0.5.6
M42TJ6HW35 M42TJ6HW35
| URI | m2://inv/M42TJ6HW35 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22074#L1BO (statement). In F3BKXXPR3K/e1, proposition 2.28
History
- 2026-10-27: add by m2/v0.4.2
Gale-Ryser theorem M42VJEA37W
| URI | m2://inv/M42VJEA37W |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/16.5.1/gale-ryser-theorem, Gale-Ryser theorem (concept). In QKM9DD2H56, index, section 16.5.1
History
- 2026-11-01: add by m2/v0.6.13
Map of representations M431DSG6YN
| URI | m2://inv/M431DSG6YN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Representation theory#OZV0, Map of representations (unknown)
History
- 2026-11-02: add by m2/dev
M433T73QQ2 M433T73QQ2
| URI | m2://inv/M433T73QQ2 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book hlevels.tex#proof-47 (proof). In N54F33XE07, proof, section 6.6
History
- 2026-11-01: add by m2/v0.6.13
Sudakov-Fernique, Theorem 2.2.3 M43AFKY89V
| URI | m2://inv/M43AFKY89V |
|---|---|
| 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.05953#HD9B, Sudakov-Fernique, Theorem 2.2.3 (statement). In P3XHJ1VB8C/e1, fact 17
History
- 2026-10-29: add by m2/v0.4.10
M43C15V7YZ M43C15V7YZ
| URI | m2://inv/M43C15V7YZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2201.04174#FT5I (statement). In NVTHDNQQ4Q/e1, theorem 2.11
History
- 2026-10-27: add by m2/v0.3.5
M43EVC83SP M43EVC83SP
| URI | m2://inv/M43EVC83SP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10095#PB6M (statement). In 2TSKFPTS0T/e1, theorem 2
History
- 2026-10-29: add by m2/v0.4.10
Amicable quadruple M43S37R7BS
| URI | m2://inv/M43S37R7BS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Amicable numbers#EP9R, Amicable quadruple (unknown)
History
- 2026-11-02: add by m2/dev
M43V668FZ2 M43V668FZ2
| URI | m2://inv/M43V668FZ2 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28892#31AC (definition)
History
- 2026-11-01: add by m2/v0.6.15
M43VSK278H M43VSK278H
| URI | m2://inv/M43VSK278H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10338#ZD62 (statement). In WZ3GXRAB00/e1, lemma 3.3
History
- 2026-10-29: add by m2/v0.4.10
\nameref{thm:new_no_fin M43Y4S7SCF
| URI | m2://inv/M43Y4S7SCF |
|---|---|
| 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 2402.05875#8ZIN, \nameref{thm:new_no_fin (statement). In 35FDBKEDC0/e1, theorem
History
- 2026-10-27: add by m2/v0.3.5
Mean value theorem M43YY0VC9X
| URI | m2://inv/M43YY0VC9X |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pettis integral#ZH63, Mean value theorem (statement)
History
- 2026-11-02: add by m2/dev
Masayoshi Nagata M43ZBG4JSV
| URI | m2://inv/M43ZBG4JSV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#5LF6, Masayoshi Nagata (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#WTAM, Masayoshi Nagata (topic)
History
- 2026-11-02: add by m2/dev
Steiner–Lehmus theorem M446D0BCCH
| URI | m2://inv/M446D0BCCH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#3AV4, Steiner–Lehmus theorem (statement)
History
- 2026-11-02: add by m2/dev
Quotient of subspace theorem M447E3D9SF
| URI | m2://inv/M447E3D9SF |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 46-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q7272898, Quotient of subspace theorem (statement). Also Wikidata Q7272898
- thousand_plus: thousand_plus Q7272898, Quotient of subspace theorem (statement). Also Wikidata Q7272898, Wikipedia Quotient of subspace theorem
- wikipedia: Wikipedia Quotient of subspace theorem, Quotient of subspace theorem (statement). Also Wikidata Q7272898
History
- 2026-10-26: add by m2/dev
Inverse eigenvalues theorem M4485NRGX8
| URI | m2://inv/M4485NRGX8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#KX86, Inverse eigenvalues theorem (definition)
History
- 2026-11-02: add by m2/dev
M44C1GD30G M44C1GD30G
| URI | m2://inv/M44C1GD30G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30086#1ZM2 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Formal system M44J96MBQY
| URI | m2://inv/M44J96MBQY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of types of systems theory#53NE, Formal system (unknown)
History
- 2026-11-02: add by m2/dev
Definitions M44MDWVS81
| URI | m2://inv/M44MDWVS81 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Electronic Signatures in Global and National Commerce Act#URGA, Definitions (definition)
History
- 2026-11-02: add by m2/dev
variable M44T7FNFYX
| URI | m2://inv/M44T7FNFYX |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/8.6/variable, variable (concept). In N54F33XE07, index, section 8.6
History
- 2026-11-01: add by m2/v0.6.13
Harold J. Kushner M451904WKB
| URI | m2://inv/M451904WKB |
|---|---|
| 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#KSCJ, Harold J. Kushner (unknown)
History
- 2026-11-02: add by m2/dev
Definition M451QKHZ20
| URI | m2://inv/M451QKHZ20 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Krawtchouk matrices#99XD, Definition (definition)
History
- 2026-11-02: add by m2/dev
M4551RQ2C1 M4551RQ2C1
| URI | m2://inv/M4551RQ2C1 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/EquivalenceRelations.tex#prob:equiv from lots of relations (exercise). In P1C114YBXG, problem, section A
History
- 2026-11-01: add by m2/v0.6.13
M45853Z1ER M45853Z1ER
| URI | m2://inv/M45853Z1ER |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 18-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07695#N4LW (statement). In 8Z47D12KSX/e1, proposition 7.8
History
- 2026-10-29: add by m2/v0.4.10
Shattering and failure of stable samplers M458TRRR9S
| URI | m2://inv/M458TRRR9S |
|---|---|
| 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.40345#TQ8U, Shattering and failure of stable samplers (statement). In WK0PT95WW1/e1, theorem 2.6
History
- 2026-10-30: add by m2/v0.4.12
Zofia Szmydt M459MCGFGT
| URI | m2://inv/M459MCGFGT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zofia Szmydt, Zofia Szmydt (topic). Also Wikidata Q21290639
History
- 2026-11-02: add by m2/dev
Restricted root system M459TTPBA5
| URI | m2://inv/M459TTPBA5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Restricted root system, Restricted root system (definition). Also Wikidata Q17099740
History
- 2026-11-02: add by m2/dev
M45AVYWVXV M45AVYWVXV
| URI | m2://inv/M45AVYWVXV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10964#NJBM (statement). In 16KVMD76PZ/e1, lemma 3.4
History
- 2026-10-28: add by m2/v0.4.3
M45GFTT7XA M45GFTT7XA
| URI | m2://inv/M45GFTT7XA |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book logic.tex#proof-11 (proof). In N54F33XE07, proof, section 9.9
History
- 2026-11-01: add by m2/v0.6.13
Gauss–Kuzmin–Wirsing operator M45SYGDPR2
| URI | m2://inv/M45SYGDPR2 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3354602, Gauss–Kuzmin–Wirsing operator (concept). Also MathWorld Gauss-Kuzmin-WirsingConstant
- wikipedia: Wikipedia Gauss–Kuzmin–Wirsing operator, Gauss–Kuzmin–Wirsing operator (definition). Also Wikidata Q3354602
History
- 2026-10-26: add by m2/dev
EMG distribution M45T3Z3WZ9
| URI | m2://inv/M45T3Z3WZ9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#NB9J, EMG distribution (definition)
History
- 2026-11-02: add by m2/dev
M45W2EVN47 M45W2EVN47
| URI | m2://inv/M45W2EVN47 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27872#A29E (definition)
History
- 2026-11-01: add by m2/v0.6.15
Special case: M45W8ZJJG6
| URI | m2://inv/M45W8ZJJG6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Autonomous system (mathematics)#GYW6, Special case: (statement)
History
- 2026-11-02: add by m2/dev
M45WH88EMV M45WH88EMV
| URI | m2://inv/M45WH88EMV |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-approximate.tex#exercise-35 (exercise). In E59CDZA4DP, exercise, section 1.4.4
History
- 2026-11-01: add by m2/v0.6.13
Harold Rugg M46F1H6NBE
| URI | m2://inv/M46F1H6NBE |
|---|---|
| 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#6IA9, Harold Rugg (unknown)
History
- 2026-11-02: add by m2/dev
Stability M46J5WNAR9
| URI | m2://inv/M46J5WNAR9 |
|---|---|
| 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.36309#6XDN, Stability (statement). In FAJ10EJMYE/e1, corollary 1
History
- 2026-10-30: add by m2/v0.4.12
M46NQT44HT M46NQT44HT
| URI | m2://inv/M46NQT44HT |
|---|---|
| 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.21367#CS42 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Euler–Lagrange equation M46RYAV7BM
| URI | m2://inv/M46RYAV7BM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Joseph-Louis Lagrange#4XA2, Euler–Lagrange equation (definition)
History
- 2026-11-02: add by m2/dev
M4763RGBES M4763RGBES
| URI | m2://inv/M4763RGBES |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ap-linear-algebra.tex#example-2 (example). In E9HS8K3A52, example, section 2.3.2
History
- 2026-11-01: add by m2/v0.6.13
imperceptible M476WYQ02N
| URI | m2://inv/M476WYQ02N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Digital watermarking#AKGA, imperceptible (definition)
- wikipedia: Wikipedia Digital watermarking#L07M, robust (definition)
History
- 2026-11-02: add by m2/dev
M47BMKH3B2 M47BMKH3B2
| URI | m2://inv/M47BMKH3B2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/lambda-calculus/introduction/primitive-recursion.tex#lem-1 (statement). In PKGMM3P5QY, lem, section 37.5
History
- 2026-11-01: add by m2/v0.6.13
M47C3K4V8D M47C3K4V8D
| URI | m2://inv/M47C3K4V8D |
|---|---|
| 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.35467#78RJ (statement). In FK89DQ9J4S/e1, corollary 4.16
History
- 2026-10-30: add by m2/v0.4.12
M47PFY4BKS M47PFY4BKS
| URI | m2://inv/M47PFY4BKS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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.20131#B6N7 (statement). In 29D4TTE3J2/e1, theorem 5.7
History
- 2026-10-27: add by m2/v0.4.2
M47TMF72D9 M47TMF72D9
| URI | m2://inv/M47TMF72D9 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus source/sec-2-5-chain.xml#example-2 (example). In 907G4C4EJ1, example, section 2.5.2
History
- 2026-11-01: add by m2/v0.6.13
M47WHTF30B M47WHTF30B
| URI | m2://inv/M47WHTF30B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.21921#08RN (statement). In CM2YEK9T4F/e1, lemma 4.6
History
- 2026-10-27: add by m2/v0.4.2
Medieval geometry M485DHM4QQ
| URI | m2://inv/M485DHM4QQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia History of mathematics#K2UV, Medieval geometry (unknown)
History
- 2026-11-02: add by m2/dev
M48EJ9B4YG M48EJ9B4YG
| URI | m2://inv/M48EJ9B4YG |
|---|---|
| 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.25656#XT9U (statement)
History
- 2026-11-01: add by m2/v0.6.15
Construction M48NEHKEWK
| URI | m2://inv/M48NEHKEWK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sponge function#LTDW, Construction (definition)
History
- 2026-11-02: add by m2/dev
O*-algebra M48XE85JJ1
| URI | m2://inv/M48XE85JJ1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia O*-algebra, O*-algebra (definition). Also Wikidata Q7071983
History
- 2026-11-02: add by m2/dev
M4909XYDXD M4909XYDXD
| URI | m2://inv/M4909XYDXD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22078#6UDA (statement). In NRF7379N9J/e1, theorem 4.2
History
- 2026-10-27: add by m2/v0.4.0
$R$-Local Neighborhood M494AFCAC0
| URI | m2://inv/M494AFCAC0 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02659#YJ0M, $R$-Local Neighborhood (definition). In EV933413SJ/e1, definition 4.5
History
- 2026-10-29: add by m2/v0.4.12
Example M499V452CS
| URI | m2://inv/M499V452CS |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mean-preserving spread#P8GA, Example (example)
History
- 2026-11-02: add by m2/dev
1 exameter M49FWBJTN4
| URI | m2://inv/M49FWBJTN4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orders of magnitude (length)#91WU, 1 exameter (unknown)
History
- 2026-11-02: add by m2/dev
H. Zassenhaus M49HM101WC
| URI | m2://inv/M49HM101WC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#FU1D, H. Zassenhaus (topic)
History
- 2026-11-02: add by m2/dev
efficiency M49RT2VBAW
| URI | m2://inv/M49RT2VBAW |
|---|---|
| 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 2602.14912#MWHN, efficiency (statement). In A87BVH5DCM/e1, theorem 3.5
History
- 2026-10-27: add by m2/v0.3.5
Kurt Grelling M4A0E7BXWG
| URI | m2://inv/M4A0E7BXWG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kurt Grelling, Kurt Grelling (topic). Also Wikidata Q87284
History
- 2026-11-02: add by m2/dev
M4A0ZHMNVT M4A0ZHMNVT
| URI | m2://inv/M4A0ZHMNVT |
|---|---|
| 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.26984#XJ2I (statement)
History
- 2026-11-01: add by m2/v0.6.15
Persistent random walk M4AAVA0AAP
| URI | m2://inv/M4AAVA0AAP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Persistent random walk, Persistent random walk (definition). Also Wikidata Q130778562
History
- 2026-11-02: add by m2/dev
Challenging M4AHGP1HX9
| URI | m2://inv/M4AHGP1HX9 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-contfunc.tex#exercise-51, Challenging (exercise). In E59CDZA4DP, exercise, section 2.4.4
History
- 2026-11-01: add by m2/v0.6.13
Arakelov height M4AQDMQNZQ
| URI | m2://inv/M4AQDMQNZQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Height function#I6ZS, Arakelov height (unknown)
History
- 2026-11-02: add by m2/dev
Wick's theorem M4AQXQSAQA
| URI | m2://inv/M4AQXQSAQA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#17N9, Wick's theorem (statement)
History
- 2026-11-02: add by m2/dev
Probability mass function M4AT9WY9FK
| URI | m2://inv/M4AT9WY9FK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#VDM8, Probability mass function (definition)
- wikipedia: Wikipedia List of probability topics#J8RN, Probability mass function (definition)
History
- 2026-11-02: add by m2/dev
Gavin Schmidt M4AVFGB7C1
| URI | m2://inv/M4AVFGB7C1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#SNDD, Gavin Schmidt (unknown)
History
- 2026-11-02: add by m2/dev
M4AX3PS3AW M4AX3PS3AW
| URI | m2://inv/M4AX3PS3AW |
|---|---|
| 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.02166#RP2G (statement). In R6RF3P6D5A/e1, lemma A.1
History
- 2026-10-29: add by m2/v0.4.12
M4B1WMPFYP M4B1WMPFYP
| URI | m2://inv/M4B1WMPFYP |
|---|---|
| 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.11468#E051 (statement). In FR4FDRHZJT/e1, proposition 3.1
History
- 2026-10-28: add by m2/v0.4.3
Gomory cut M4BCWXZW6M
| URI | m2://inv/M4BCWXZW6M |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cutting-plane method#42YY, Gomory cut (unknown)
History
- 2026-11-02: add by m2/dev
Anomalous cancellation M4BNYKG2NA
| URI | m2://inv/M4BNYKG2NA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4769935, Anomalous cancellation (unknown). Also MathWorld AnomalousCancellation
- wikipedia: Wikipedia Anomalous cancellation, Anomalous cancellation (definition). Also Wikidata Q4769935
History
- 2026-10-26: add by m2/dev
M4C4G6ZAPT M4C4G6ZAPT
| URI | m2://inv/M4C4G6ZAPT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-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 1209.3562#3VLI (statement). In KZH1DCS18C/e1, theorem 2.7
History
- 2026-10-27: add by m2/v0.3.5
Pixel connectivity M4C5QGJQRA
| URI | m2://inv/M4C5QGJQRA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pixel connectivity, Pixel connectivity (definition). Also Wikidata Q7199712
History
- 2026-11-02: add by m2/dev
M4C6XWX2PM M4C6XWX2PM
| URI | m2://inv/M4C6XWX2PM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2310.15716#CJ4D (statement). In 7WDA4MEWE2/e1, theorem 3.6
History
- 2026-10-27: add by m2/v0.3.6
Edgar Gilbert M4C86ARBNP
| URI | m2://inv/M4C86ARBNP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#V6IJ, Edgar Gilbert (topic)
History
- 2026-11-02: add by m2/dev
Relativistic velocity addition via hyperbolic law of cosines M4CA3KPP69
| URI | m2://inv/M4CA3KPP69 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hyperbolic law of cosines#YYQ2, Relativistic velocity addition via hyperbolic law of cosines (statement)
History
- 2026-11-02: add by m2/dev
M4CE2F0KAK M4CE2F0KAK
| URI | m2://inv/M4CE2F0KAK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 46-XX, 47-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1711.00219#GK2H (statement). In 7V3HG30ZGW/e1, proposition 4.2
History
- 2026-10-27: add by m2/v0.4.0
M4CG85RYZ8 M4CG85RYZ8
| URI | m2://inv/M4CG85RYZ8 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-metric.tex#exercise-16 (exercise). In E59CDZA4DP, exercise, section 4.2.4
History
- 2026-11-01: add by m2/v0.6.13
M4CGD6ECF5 M4CGD6ECF5
| URI | m2://inv/M4CGD6ECF5 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19273#98VH (definition). In T3BY4TXYT4/e1, definition 6.3
History
- 2026-10-28: add by m2/v0.4.2
M4CR2GS7HJ M4CR2GS7HJ
| URI | m2://inv/M4CR2GS7HJ |
|---|---|
| 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.23327#03BP (statement)
History
- 2026-11-02: add by m2/v0.6.17
M4CTNJPQNN M4CTNJPQNN
| URI | m2://inv/M4CTNJPQNN |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-271 (exercise). In VNMV985MXX, exercise, section 6.1
History
- 2026-11-01: add by m2/v0.6.13
Proschan, Frank M4CTP5337R
| URI | m2://inv/M4CTP5337R |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#QV4T, Proschan, Frank (topic)
History
- 2026-11-02: add by m2/dev
Method M4D47Z55S6
| URI | m2://inv/M4D47Z55S6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trial division#CYDH, Method (definition)
History
- 2026-11-02: add by m2/dev
Zbyněk Šidák M4D9TBDQ1X
| URI | m2://inv/M4D9TBDQ1X |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zbyněk Šidák, Zbyněk Šidák (topic). Also Wikidata Q30495584
History
- 2026-11-02: add by m2/dev
M4DDR02ZR7 M4DDR02ZR7
| URI | m2://inv/M4DDR02ZR7 |
|---|---|
| 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.12169#B8OV (statement). In 645GF9SFWM/e1, lemma 30
History
- 2026-10-28: add by m2/v0.4.2
Locally simply connected M4DF51D06S
| URI | m2://inv/M4DF51D06S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of general topology#I3JC, Locally simply connected (definition)
History
- 2026-11-02: add by m2/dev
Fallacy of the single cause M4DH7C048T
| URI | m2://inv/M4DH7C048T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fallacy of the single cause, Fallacy of the single cause (definition). Also Wikidata Q2892163
History
- 2026-11-02: add by m2/dev
Avogadro number M4DRH979C6
| URI | m2://inv/M4DRH979C6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q69189081, Avogadro number (definition). Also ProofWiki Definition:Avogadro's_Number
History
- 2026-10-26: add by m2/dev
M4DS6QEZ2Y M4DS6QEZ2Y
| URI | m2://inv/M4DS6QEZ2Y |
|---|---|
| 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.11905#F4AM (statement). In QQFXT31CA5/e1, lemma 5.8
History
- 2026-10-28: add by m2/v0.4.3
Hartland Four Corners, Vermont M4DXRC3AFH
| URI | m2://inv/M4DXRC3AFH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#WSMN, Hartland Four Corners, Vermont (unknown)
History
- 2026-11-02: add by m2/dev
M4E1V3WV40 M4E1V3WV40
| URI | m2://inv/M4E1V3WV40 |
|---|---|
| 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#KFVJ (statement)
History
- 2026-11-02: add by m2/v0.6.18
South Africa M4E4GFRHNP
| URI | m2://inv/M4E4GFRHNP |
|---|---|
| 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 Q258, South Africa (unknown). Also ProofWiki Mathematician:Mathematicians/Sorted_By_Nation/South_Africa
History
- 2026-10-26: add by m2/dev
M4E6WZYZ3Q M4E6WZYZ3Q
| URI | m2://inv/M4E6WZYZ3Q |
|---|---|
| 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.23803#EMLP (statement)
History
- 2026-11-02: add by m2/v0.6.17
M4E8DDW237 M4E8DDW237
| URI | m2://inv/M4E8DDW237 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33313#MOEZ (statement). In HRCEFY172P/e1, theorem 4.5
History
- 2026-10-30: add by m2/v0.4.12
M4EBB2409T M4EBB2409T
| URI | m2://inv/M4EBB2409T |
|---|---|
| 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.10365#HMWU (statement). In PRVQPSBVHK/e1, lemma 9
History
- 2026-10-29: add by m2/v0.4.10
Remark 2 M4EDYJAG87
| URI | m2://inv/M4EDYJAG87 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wigner's theorem#FY7H, Remark 2 (unknown)
History
- 2026-11-02: add by m2/dev
Reference-decision invariance M4EJ6HCEPN
| URI | m2://inv/M4EJ6HCEPN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29688#RDUE, Reference-decision invariance (statement)
History
- 2026-11-01: add by m2/v0.6.15
Rank-two reduction M4ES3VJ4ZN
| URI | m2://inv/M4ES3VJ4ZN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20649#RSKN, Rank-two reduction (statement). In XDTM624YPE/e1, proposition 5.2
History
- 2026-10-27: add by m2/v0.4.2
Second part of König's theorem M4F7SWRBKW
| URI | m2://inv/M4F7SWRBKW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia König's theorem (kinetics)#MI52, Second part of König's theorem (statement)
History
- 2026-11-02: add by m2/dev
M4F89S27HM M4F89S27HM
| URI | m2://inv/M4F89S27HM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/tableaux/provability-consistency.tex#prop:prov-incons (statement). In PKGMM3P5QY, prop, section 22.7
History
- 2026-11-01: add by m2/v0.6.13
M4FCZZ6KN1 M4FCZZ6KN1
| URI | m2://inv/M4FCZZ6KN1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33770#Z9SA (statement). In 7DJ3C4V66R/e1, corollary 1.4
History
- 2026-10-30: add by m2/v0.4.12
Theorem M4FF0P2A8J
| URI | m2://inv/M4FF0P2A8J |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stone–von Neumann theorem#QTLS, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Statement M4FRQ33CA5
| URI | m2://inv/M4FRQ33CA5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hartogs–Rosenthal theorem#TF7H, Statement (statement)
History
- 2026-11-02: add by m2/dev
M4FRWMQRJ4 M4FRWMQRJ4
| URI | m2://inv/M4FRWMQRJ4 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus source/activities/act-5-5-2.xml#act-5-5-2 (exercise). In 907G4C4EJ1, activity, section 5.5.3
History
- 2026-11-01: add by m2/v0.6.13
Example M4FTN0RQWF
| URI | m2://inv/M4FTN0RQWF |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Equivariant sheaf#P097, Example (example)
History
- 2026-11-02: add by m2/dev
Belgium M4G6VFH9GS
| URI | m2://inv/M4G6VFH9GS |
|---|---|
| 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 Q31, Belgium (unknown). Also ProofWiki Mathematician:Mathematicians/Sorted_By_Nation/Belgium
History
- 2026-10-26: add by m2/dev
M4G8F4G61Z M4G8F4G61Z
| URI | m2://inv/M4G8F4G61Z |
|---|---|
| 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.09704#KBED (statement). In FNG4B47MRV/e1, proposition 6.3
History
- 2026-10-29: add by m2/v0.4.10
M4G9B7PAWW M4G9B7PAWW
| URI | m2://inv/M4G9B7PAWW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14837#H7M6 (statement). In J4P6HXMJCH/e1, proposition 4.1
History
- 2026-10-28: add by m2/v0.4.2
Weighted cycles, faces and endpoint laws M4GJ4X2BWK
| URI | m2://inv/M4GJ4X2BWK |
|---|---|
| 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.38228#GM8W, Weighted cycles, faces and endpoint laws (statement). In 9YAE8FNQST/e1, corollary 31.8
History
- 2026-10-30: add by m2/v0.4.12
regular octagon M4GNCVEMJN
| URI | m2://inv/M4GNCVEMJN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q16156662, regular octagon (unknown). Also MathWorld RegularOctagon
History
- 2026-10-26: add by m2/dev
reduced M4GP8D4Q1Y
| URI | m2://inv/M4GP8D4Q1Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic geometry#F7N8, reduced (definition)
History
- 2026-11-02: add by m2/dev
M4GRCSSN3V M4GRCSSN3V
| URI | m2://inv/M4GRCSSN3V |
|---|---|
| Kind | definition |
| 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#P285 (definition)
History
- 2026-11-01: add by m2/v0.6.15
M4GT2S1WZY M4GT2S1WZY
| URI | m2://inv/M4GT2S1WZY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11902#OGW3 (statement). In K66QKM4N5E/e1, lemma 2.10
History
- 2026-10-28: add by m2/v0.4.3
Applications M4GTGMQM5P
| URI | m2://inv/M4GTGMQM5P |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cryptographic splitting#FLVV, Applications (example)
History
- 2026-11-02: add by m2/dev
M4GTR662GJ M4GTR662GJ
| URI | m2://inv/M4GTR662GJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 37-XX, 46-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.27458#R75L (statement)
History
- 2026-11-01: add by m2/v0.6.15
M4GVBX8WQ9 M4GVBX8WQ9
| URI | m2://inv/M4GVBX8WQ9 |
|---|---|
| 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.40156#AFK7 (statement). In PP8BEHWK33/e1, lemma 1
History
- 2026-10-30: add by m2/v0.4.12
Witt design M4GWT4MNF1
| URI | m2://inv/M4GWT4MNF1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Ernst Witt#X0DY, Witt design (definition)
History
- 2026-11-02: add by m2/dev
M4H8R97J2A M4H8R97J2A
| URI | m2://inv/M4H8R97J2A |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03612#TL7G (definition). In REDG6QVHM3/e1, definition 2.6
History
- 2026-10-29: add by m2/v0.4.12
Definition M4HBRVQW2A
| URI | m2://inv/M4HBRVQW2A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Siegel G-function#F42Z, Definition (definition)
History
- 2026-11-02: add by m2/dev
M4HBXQ83RF M4HBXQ83RF
| URI | m2://inv/M4HBXQ83RF |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/ContinuousFunctions.tex#prob:continuous image of connected set (exercise). In P1C114YBXG, problem, section 1
History
- 2026-11-01: add by m2/v0.6.13
M4HGV7ZMQ0 M4HGV7ZMQ0
| URI | m2://inv/M4HGV7ZMQ0 |
|---|---|
| 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.02993#4F1F (statement). In TJH58FRGEN/e1, proposition 8.1
History
- 2026-10-29: add by m2/v0.4.12
Pathwise Uniqueness in the Rough Regime M4HHAE3FVH
| URI | m2://inv/M4HHAE3FVH |
|---|---|
| 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 2312.06473#YTY6, Pathwise Uniqueness in the Rough Regime (statement). In P1MYSYHSGX/e1, theorem 4.10
History
- 2026-10-27: add by m2/v0.3.5
M4HK7PS7B9 M4HK7PS7B9
| URI | m2://inv/M4HK7PS7B9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/AxiomsRealNumbers.tex#theorem-13 (statement). In P1C114YBXG, theorem, section u1
History
- 2026-11-01: add by m2/v0.6.13
\emph{PIM M4HRYB3D0X
| URI | m2://inv/M4HRYB3D0X |
|---|---|
| Kind | example |
| 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 2601.13428#1V0R, \emph{PIM (example). In SM4QEDZSS6/e1, example 4
History
- 2026-10-27: add by m2/v0.3.5
$k$-restoration map M4HWVKYMHP
| URI | m2://inv/M4HWVKYMHP |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21454#HRW9, $k$-restoration map (definition). In ZP2RJFZ3V2/e1, definition 4.4
History
- 2026-10-27: add by m2/v0.4.2
M4HWXE1DC4 M4HWXE1DC4
| URI | m2://inv/M4HWXE1DC4 |
|---|---|
| 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 1912.13357#DXLO (statement). In K8CQDCYBR3/e1, theorem 2
History
- 2026-10-27: add by m2/v0.3.5
Newman's conjecture M4HYR2B5SH
| URI | m2://inv/M4HYR2B5SH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Newman's conjecture#Q5LP, Newman's conjecture (statement)
History
- 2026-11-02: add by m2/dev
M4HZRXYAJQ M4HZRXYAJQ
| URI | m2://inv/M4HZRXYAJQ |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31274#JY6V (example). In RK0ZMDJ23T/e1, example 1.1.6
History
- 2026-10-31: add by m2/v0.5.6
Powersmooth M4J460GRWC
| URI | m2://inv/M4J460GRWC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Smooth number#5XG1, Powersmooth (unknown)
History
- 2026-11-02: add by m2/dev
automorphism, fixed-point-free M4JB6WWXNT
| URI | m2://inv/M4JB6WWXNT |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/u1.u7/automorphism-fixed-point-free, automorphism, fixed-point-free (concept). In N54F33XE07, index, section u1.u7
History
- 2026-11-01: add by m2/v0.6.13
Minimizing pairwise inequality M4JDZRH6BB
| URI | m2://inv/M4JDZRH6BB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathematics of apportionment#CGTJ, Minimizing pairwise inequality (statement)
History
- 2026-11-02: add by m2/dev
Definition M4JJFF1WR0
| URI | m2://inv/M4JJFF1WR0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wilf–Zeilberger pair#SF8S, Definition (definition)
History
- 2026-11-02: add by m2/dev
Democritus M4JTW3JSNF
| URI | m2://inv/M4JTW3JSNF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Greek mathematicians#QK8M, Democritus (topic)
History
- 2026-11-02: add by m2/dev
directing M4KA04V7HX
| URI | m2://inv/M4KA04V7HX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of module theory#NCED, directing (definition)
History
- 2026-11-02: add by m2/dev
An exact curved trajectory M4KA22ESQR
| URI | m2://inv/M4KA22ESQR |
|---|---|
| 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#6O8Z, An exact curved trajectory (statement). In X1FPG0KYBM/e1, proposition R.7
History
- 2026-10-28: add by m2/v0.4.2
Characterization of stateless insertional sampling M4KEKBA9BS
| URI | m2://inv/M4KEKBA9BS |
|---|---|
| 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.14615#N5HC, Characterization of stateless insertional sampling (statement). In 7D5MMP8XB5/e1, theorem 5.6
History
- 2026-10-28: add by m2/v0.4.2
M4KG247XZA M4KG247XZA
| URI | m2://inv/M4KG247XZA |
|---|---|
| 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 2609.29399#GKU4 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Sato–Tate conjecture M4KGVPYTMF
| URI | m2://inv/M4KGVPYTMF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of arithmetic and diophantine geometry#HXYD, Sato–Tate conjecture (definition)
History
- 2026-11-02: add by m2/dev
Biholomorphy M4KKM1Y11F
| URI | m2://inv/M4KKM1Y11F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of complex analysis topics#G69C, Biholomorphy (definition)
History
- 2026-11-02: add by m2/dev
Juggler sequence M4KVRGVWX2
| URI | m2://inv/M4KVRGVWX2 |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of recreational number theory topics#G24S, Juggler sequence (conjecture)
History
- 2026-11-02: add by m2/dev
Algorithm M4M2VZBFBQ
| URI | m2://inv/M4M2VZBFBQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Abramov's algorithm#1TGP, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
M4M46GWSQ9 M4M46GWSQ9
| URI | m2://inv/M4M46GWSQ9 |
|---|---|
| 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.06326#MQK4 (statement). In DPR6B6X0JX/e1, lemma 14
History
- 2026-10-29: add by m2/v0.4.10
M4M9NJWFB6 M4M9NJWFB6
| URI | m2://inv/M4M9NJWFB6 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2404.18704#Z01G (definition). In T4MQVXFGWC/e1, definition 3
History
- 2026-10-27: add by m2/v0.3.5
M4MA6X2D5W M4MA6X2D5W
| URI | m2://inv/M4MA6X2D5W |
|---|---|
| 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 2410.18564#LQYZ (statement). In MC8ZBZ14PM/e1, theorem 3.1
History
- 2026-10-27: add by m2/v0.3.5
David A. Wagner M4MC9K5PZT
| URI | m2://inv/M4MC9K5PZT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#F7DB, David A. Wagner (topic)
History
- 2026-11-02: add by m2/dev
M4MFR40BV4 M4MFR40BV4
| URI | m2://inv/M4MFR40BV4 |
|---|---|
| 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.26041#XTRF (statement)
History
- 2026-11-01: add by m2/v0.6.15
M4MFV071T0 M4MFV071T0
| URI | m2://inv/M4MFV071T0 |
|---|---|
| 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.10029#NPZV (statement). In K7EAM152B0/e1, theorem 2.1
History
- 2026-10-29: add by m2/v0.4.10
Properties M4MJV15JMV
| URI | m2://inv/M4MJV15JMV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coefficient of multiple correlation#7JEW, Properties (statement)
History
- 2026-11-02: add by m2/dev
M4MMDPJJEK M4MMDPJJEK
| URI | m2://inv/M4MMDPJJEK |
|---|---|
| Kind | example |
| 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 2412.20238#N213 (example). In V8CA0STSPB/e1, example 5
History
- 2026-10-27: add by m2/v0.3.5
Definitions M4MNS0FD2K
| URI | m2://inv/M4MNS0FD2K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Griffiths inequality#1KO6, Definitions (definition)
History
- 2026-11-02: add by m2/dev
M4MPYHGGWW M4MPYHGGWW
| URI | m2://inv/M4MPYHGGWW |
|---|---|
| Kind | definition |
| 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#AO34 (definition). In PZCA01JXVR/e1, definition 3.10
History
- 2026-10-27: add by m2/v0.3.5
Examples M4MVXT6KNG
| URI | m2://inv/M4MVXT6KNG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spectrum (topology)#VZI7, Examples (example)
History
- 2026-11-02: add by m2/dev
M4MWWPV8MQ M4MWWPV8MQ
| URI | m2://inv/M4MWWPV8MQ |
|---|---|
| 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 2405.09294#0RAJ (statement). In 2WZQC0TKVK/e1, theorem 3.10
History
- 2026-10-27: add by m2/v0.3.5
\textbf{Coefficients M4MYQDQT31
| URI | m2://inv/M4MYQDQT31 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 30-XX, 32-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14266#8TRU, \textbf{Coefficients (statement). In 7R33E8515R/e1, proposition 2.13
History
- 2026-10-28: add by m2/v0.4.2
compound of three cubes M4MZ58TE6A
| URI | m2://inv/M4MZ58TE6A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1266920, compound of three cubes (unknown). Also MathWorld Cube3-Compound
- wikipedia: Wikipedia Compound of three cubes, Compound of three cubes (definition). Also Wikidata Q1266920
History
- 2026-10-26: add by m2/dev
Hereditary energy on good parts M4N49TYRTE
| URI | m2://inv/M4N49TYRTE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.26619#XEP7, Hereditary energy on good parts (statement)
History
- 2026-11-01: add by m2/v0.6.15
Examples M4N4WX1KQA
| URI | m2://inv/M4N4WX1KQA |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Moore space (algebraic topology)#7IZ9, Examples (example)
History
- 2026-11-02: add by m2/dev
Generalized conic M4NBV3AXQ3
| URI | m2://inv/M4NBV3AXQ3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalized conic, Generalized conic (definition). Also Wikidata Q25304533
History
- 2026-11-02: add by m2/dev
Pseudometric space M4NCDCY7AY
| URI | m2://inv/M4NCDCY7AY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of general topology#G11I, Pseudometric space (definition)
History
- 2026-11-02: add by m2/dev
The principle of complete induction M4NE4P0JJ5
| URI | m2://inv/M4NE4P0JJ5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pre-intuitionism#423M, The principle of complete induction (statement)
History
- 2026-11-02: add by m2/dev
Properties M4NE909GCE
| URI | m2://inv/M4NE909GCE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cousin prime#YUOX, Properties (statement)
History
- 2026-11-02: add by m2/dev
M4NJXBEE5W M4NJXBEE5W
| URI | m2://inv/M4NJXBEE5W |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2304.03611#FJY1 (definition). In 75E8ZB1CBV/e1, definition 5.1.2
History
- 2026-10-27: add by m2/v0.4.0
M4NKF477HV M4NKF477HV
| URI | m2://inv/M4NKF477HV |
|---|---|
| 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.21622#NVQZ (statement). In H21X3FHNYJ/e1, theorem 6.4
History
- 2026-10-27: add by m2/v0.4.2
Gross–Koblitz formula M4NPZPEFCT
| URI | m2://inv/M4NPZPEFCT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gross–Koblitz formula, Gross–Koblitz formula (statement). Also Wikidata Q5610624
History
- 2026-11-02: add by m2/dev
M4NQ9V6VE1 M4NQ9V6VE1
| URI | m2://inv/M4NQ9V6VE1 |
|---|---|
| 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.36016#SXFJ (statement). In NAM9ZMPHZ9/e1, lemma B.2
History
- 2026-10-30: add by m2/v0.4.12
Regression analysis M4NT4YNH52
| URI | m2://inv/M4NT4YNH52 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#MVGV, Regression analysis (definition)
History
- 2026-11-02: add by m2/dev
Esquisse d'un programme M4NTFKXEER
| URI | m2://inv/M4NTFKXEER |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5399266, Esquisse d'un programme (unknown). Also nLab Esquisse d'un programme
- wikipedia: Wikipedia Esquisse d'un Programme, Esquisse d'un Programme (definition). Also Wikidata Q5399266
History
- 2026-10-26: add by m2/dev
M4NXX9JSDF M4NXX9JSDF
| URI | m2://inv/M4NXX9JSDF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14509#WQO9 (statement). In N6GD8392QB/e1, lemma 15.2
History
- 2026-10-28: add by m2/v0.4.2
Laws of the four points M4P4K7Q9E0
| URI | m2://inv/M4P4K7Q9E0 |
|---|---|
| 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.26984#GXVA, Laws of the four points (statement)
History
- 2026-11-01: add by m2/v0.6.15
Definition M4P5DKGDZ7
| URI | m2://inv/M4P5DKGDZ7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia L-curve#LF02, Definition (definition)
History
- 2026-11-02: add by m2/dev
M4P8J9QX04 M4P8J9QX04
| URI | m2://inv/M4P8J9QX04 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02111#8XKF (statement). In NC5ZRF6F8N/e1, theorem 4.1
History
- 2026-10-29: add by m2/v0.4.12
Richard Arnold Shore M4PKVRZFA2
| URI | m2://inv/M4PKVRZFA2 |
|---|---|
| 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#7JDQ, Richard Arnold Shore (topic)
History
- 2026-11-02: add by m2/dev
Examples M4PPF44DMG
| URI | m2://inv/M4PPF44DMG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nichols algebra#5VOE, Examples (example)
History
- 2026-11-02: add by m2/dev
M4PTHGZSRG M4PTHGZSRG
| URI | m2://inv/M4PTHGZSRG |
|---|---|
| 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 2609.33584#VPLU (statement). In 3HFBAWQCA1/e1, lemma 8.4
History
- 2026-10-30: add by m2/v0.4.12
Assumption-free operating guarantee M4PTZEZAVZ
| URI | m2://inv/M4PTZEZAVZ |
|---|---|
| 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.04671#5OBB, Assumption-free operating guarantee (statement). In BYP65TRGDT/e1, proposition 5.21
History
- 2026-10-29: add by m2/v0.4.12
Iterated squared-residual bounds M4PXHQTZPE
| URI | m2://inv/M4PXHQTZPE |
|---|---|
| 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.21102#8H08, Iterated squared-residual bounds (statement)
History
- 2026-11-02: add by m2/v0.6.18
M4Q5EN9GZD M4Q5EN9GZD
| URI | m2://inv/M4Q5EN9GZD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20410#NWEB (statement)
History
- 2026-11-02: add by m2/v0.6.18
Trade in services statistics M4Q7QZWZDX
| URI | m2://inv/M4Q7QZWZDX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trade in services statistics, Trade in services statistics (definition). Also Wikidata Q4116667
History
- 2026-11-02: add by m2/dev
M4QEHXWCZJ M4QEHXWCZJ
| URI | m2://inv/M4QEHXWCZJ |
|---|---|
| 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.32903#FIMR (statement). In S8NB83KQX3/e1, lemma 12
History
- 2026-10-31: add by m2/v0.5.6
The clean dichotomy M4QEY349BF
| URI | m2://inv/M4QEY349BF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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 2610.04099#XH05, The clean dichotomy (statement). In QPJ6FWG5HD/e1, corollary 2.36
History
- 2026-10-29: add by m2/v0.4.12
M4QJ8H6H1J M4QJ8H6H1J
| URI | m2://inv/M4QJ8H6H1J |
|---|---|
| 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.07064#5GBX (statement). In GPK6W5XQM3/e1, theorem 2
History
- 2026-10-29: add by m2/v0.4.10
M4QK2RBVE8 M4QK2RBVE8
| URI | m2://inv/M4QK2RBVE8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28075#U6J5 (statement)
History
- 2026-11-01: add by m2/v0.6.15
epistemic modal logic M4QKEFX73Y
| URI | m2://inv/M4QKEFX73Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#DD1H, epistemic modal logic (definition)
History
- 2026-11-02: add by m2/dev
Compactness at fixed cutoff M4QKT0PND0
| URI | m2://inv/M4QKT0PND0 |
|---|---|
| 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.05204#CN0Y, Compactness at fixed cutoff (statement). In ET0TQ8YF7Z/e1, lemma 6.8
History
- 2026-10-29: add by m2/v0.4.10
Dobrushin M4QNKGEBTW
| URI | m2://inv/M4QNKGEBTW |
|---|---|
| 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#1VWX, Dobrushin (statement). In WRE0P7V6Z3/e1, theorem D.7
History
- 2026-10-30: add by m2/v0.4.12
Theorem M4QV490971
| URI | m2://inv/M4QV490971 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Poisson summation formula#Q8NS, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Mersenne prime M4QW2216QB
| URI | m2://inv/M4QW2216QB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of number theory#ZMEY, Mersenne prime (definition)
History
- 2026-11-02: add by m2/dev
Modal analysis using FEM M4QY4HHGW1
| URI | m2://inv/M4QY4HHGW1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#26BK, Modal analysis using FEM (unknown)
History
- 2026-11-02: add by m2/dev
M4QZDMGPMQ M4QZDMGPMQ
| URI | m2://inv/M4QZDMGPMQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0301148#4O16 (statement). In 5RE15848Z0/e1, lemma 2.5
History
- 2026-10-27: add by m2/v0.3.5
Interchange of limiting operations M4R1YRBPHX
| URI | m2://inv/M4R1YRBPHX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Interchange of limiting operations, Interchange of limiting operations (definition). Also Wikidata Q6045706
History
- 2026-11-02: add by m2/dev
Use M4R34RWEPB
| URI | m2://inv/M4R34RWEPB |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gnomonic projection#SNQX, Use (example)
History
- 2026-11-02: add by m2/dev
Ampheck M4R73WF8TY
| URI | m2://inv/M4R73WF8TY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Boolean algebra topics#AGR7, Ampheck (definition)
History
- 2026-11-02: add by m2/dev
Economic Statistics Centre of Excellence M4RBGQJBN4
| URI | m2://inv/M4RBGQJBN4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Economic Statistics Centre of Excellence, Economic Statistics Centre of Excellence (definition). Also Wikidata Q104870469
History
- 2026-11-02: add by m2/dev
M4REKHKVYX M4REKHKVYX
| URI | m2://inv/M4REKHKVYX |
|---|---|
| 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.15352#EK5T (statement). In R39P7AFXM8/e1, lemma 2.4
History
- 2026-10-28: add by m2/v0.4.2
Variable lifting M4RKYVPZAQ
| URI | m2://inv/M4RKYVPZAQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 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 2608.17785#G14O, Variable lifting (statement). In H3FDP8S1Z7/e1, proposition 5.3
History
- 2026-10-27: add by m2/v0.3.5
Hard M4RVKH6H74
| URI | m2://inv/M4RVKH6H74 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-one-dim-ints-sv.tex#exercise-25, Hard (exercise). In E59CDZA4DP, exercise, section 6.3.3
History
- 2026-11-01: add by m2/v0.6.13
M4RZKB7HM9 M4RZKB7HM9
| URI | m2://inv/M4RZKB7HM9 |
|---|---|
| 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 dg-ga/9612010#S9JO (statement). In CM39SWC4A6/e1, corollary 2.11
History
- 2026-10-27: add by m2/v0.4.0
M4S13FVMAB M4S13FVMAB
| URI | m2://inv/M4S13FVMAB |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section2-5.xml#example-matrix-to-mt (example). In 649HGZKE96, example, section 2.5.2
History
- 2026-11-01: add by m2/v0.6.13
Stinespring dilation theorem M4S15XE9AZ
| URI | m2://inv/M4S15XE9AZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Positive-definite kernel#SJBA, Stinespring dilation theorem (statement)
History
- 2026-11-02: add by m2/dev
M4S1ENJSXN M4S1ENJSXN
| URI | m2://inv/M4S1ENJSXN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.13888#IEE6 (statement). In 2G5K2GZTX7/e1, lemma 4.4
History
- 2026-10-27: add by m2/v0.4.0
Binary search tree M4S2FQWFHY
| URI | m2://inv/M4S2FQWFHY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Binary search tree, Binary search tree (definition). Also Wikidata Q623818
History
- 2026-11-02: add by m2/dev
M4S51TWKMA M4S51TWKMA
| URI | m2://inv/M4S51TWKMA |
|---|---|
| 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.18358#QD4E (statement). In SPZ446XNDW/e1, proposition 4.1
History
- 2026-10-28: add by m2/v0.4.2
Hitting Time Mean Spacings M4SC2QEHEG
| URI | m2://inv/M4SC2QEHEG |
|---|---|
| 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.24056#B4IB, Hitting Time Mean Spacings (statement)
History
- 2026-11-02: add by m2/v0.6.17
Intermediate Hermitian form in an orthonormal basis M4SE00NV44
| URI | m2://inv/M4SE00NV44 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25805#OQDK, Intermediate Hermitian form in an orthonormal basis (definition)
History
- 2026-11-01: add by m2/v0.6.15
Prescribed multiplicities and capped majority retention M4SETABWQJ
| URI | m2://inv/M4SETABWQJ |
|---|---|
| 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.13580#ZZRJ, Prescribed multiplicities and capped majority retention (statement). In KEQ57N9N7Z/e1, theorem 3.3
History
- 2026-10-28: add by m2/v0.4.2
Definition M4SFGBZ7Z0
| URI | m2://inv/M4SFGBZ7Z0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Η set#77WI, Definition (definition)
History
- 2026-11-02: add by m2/dev
M4SSRW1MKX M4SSRW1MKX
| URI | m2://inv/M4SSRW1MKX |
|---|---|
| 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#77OD (statement). In SBP98GWKC8/e1, lemma 6
History
- 2026-10-30: add by m2/v0.4.12
M4STBZ4TBS M4STBZ4TBS
| URI | m2://inv/M4STBZ4TBS |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/Counting.tex#exercise-9 (exercise). In P1C114YBXG, exercise, section 1.1
History
- 2026-11-01: add by m2/v0.6.13
M4SYW9G9MD M4SYW9G9MD
| URI | m2://inv/M4SYW9G9MD |
|---|---|
| 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.13580#DUOO (statement). In KEQ57N9N7Z/e1, lemma 4.8
History
- 2026-10-28: add by m2/v0.4.2
Michael Dinneen M4T2CVXRP9
| URI | m2://inv/M4T2CVXRP9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#WHE8, Michael Dinneen (topic)
History
- 2026-11-02: add by m2/dev
Unified Foundational Ontology M4T73EGS17
| URI | m2://inv/M4T73EGS17 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Unified Foundational Ontology, Unified Foundational Ontology (definition). Also Wikidata Q99543632
History
- 2026-11-02: add by m2/dev
Jarvis march M4T81AD9RP
| URI | m2://inv/M4T81AD9RP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of convexity topics#JF14, Jarvis march (definition)
History
- 2026-11-02: add by m2/dev
M4TCFTEMH7 M4TCFTEMH7
| URI | m2://inv/M4TCFTEMH7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04179#Z9V1 (statement). In D64RQ09KBP/e1, corollary 2.12
History
- 2026-10-29: add by m2/v0.4.12
M4TDPPM2VC M4TDPPM2VC
| URI | m2://inv/M4TDPPM2VC |
|---|---|
| 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.16583#7ISG (statement). In 4RPXT0YCS5/e1, lemma 5.3
History
- 2026-10-28: add by m2/v0.4.2
Center for East Europe, Russia, and Asia M4THZXVWC6
| URI | m2://inv/M4THZXVWC6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of research centers at Boston College#YX8S, Center for East Europe, Russia, and Asia (unknown)
History
- 2026-11-02: add by m2/dev
Wilson prime M4TM7R3ZJT
| URI | m2://inv/M4TM7R3ZJT |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1759811, Wilson prime (unknown). Also MathWorld WilsonPrime
- wikipedia: Wikipedia Wilson prime, Wilson prime (conjecture). Also Wikidata Q1759811
History
- 2026-10-26: add by m2/dev
Justin T. Moore M4TPAJAD6N
| URI | m2://inv/M4TPAJAD6N |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Justin T. Moore, Justin T. Moore (topic). Also Wikidata Q47308284
History
- 2026-11-02: add by m2/dev
Raghavan Narasimhan M4TPAT43YJ
| URI | m2://inv/M4TPAT43YJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Indian mathematicians#QHRE, Raghavan Narasimhan (topic)
History
- 2026-11-02: add by m2/dev
Bombieri--Giusti Lemma M4V4W0TD2S
| URI | m2://inv/M4V4W0TD2S |
|---|---|
| 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.08434#EU66, Bombieri--Giusti Lemma (statement). In VN8087G2FC/e1, lemma 4.1
History
- 2026-10-29: add by m2/v0.4.10
M4VBAHB2A0 M4VBAHB2A0
| URI | m2://inv/M4VBAHB2A0 |
|---|---|
| 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.03814#GWZO (statement). In STPNP83RJS/e1, lemma 2.1
History
- 2026-10-29: add by m2/v0.4.12
M4VBQRE921 M4VBQRE921
| URI | m2://inv/M4VBQRE921 |
|---|---|
| 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.16429#73PK (statement). In AGT1KD3WZH/e1, proposition 1
History
- 2026-10-28: add by m2/v0.4.2
M4VK3E3REV M4VK3E3REV
| URI | m2://inv/M4VK3E3REV |
|---|---|
| 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.40355#8B5M (definition). In SBP98GWKC8/e1, definition 2
History
- 2026-10-30: add by m2/v0.4.12
Chon\'{e}'s Lipschitz bound M4VR0PD6DM
| URI | m2://inv/M4VR0PD6DM |
|---|---|
| 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.24011#1QKJ, Chon\'{e}'s Lipschitz bound (statement)
History
- 2026-11-02: add by m2/v0.6.17
convex polygon M4VW2JR1S5
| URI | m2://inv/M4VW2JR1S5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3259505, convex polygon (definition). Also MathWorld ConvexPolygon, ProofWiki Definition:Convex_Polygon
- wikipedia: Wikipedia Convex polygon, Convex polygon (definition). Also Wikidata Q3259505
History
- 2026-10-26: add by m2/dev
False proof M4VWWRWPRF
| URI | m2://inv/M4VWWRWPRF |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1804.06366#Q019, False proof (proof). In 89XYDVXG38/e1, proof
History
- 2026-10-27: add by m2/v0.3.5
M4VWWTQD49 M4VWWTQD49
| URI | m2://inv/M4VWWTQD49 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10804#XSZV (statement). In 6M5WR7KB80/e1, theorem 3.7
History
- 2026-10-28: add by m2/v0.4.3
M4W46ASX64 M4W46ASX64
| URI | m2://inv/M4W46ASX64 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35691#5ZDN (definition). In G7R61RPWE2/e1, definition 2.4
History
- 2026-10-30: add by m2/v0.4.12
M4W8XFSBG9 M4W8XFSBG9
| URI | m2://inv/M4W8XFSBG9 |
|---|---|
| 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.19945#EWV9 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Geometric multiplicity of the sumsets M4WCVA6R09
| URI | m2://inv/M4WCVA6R09 |
|---|---|
| 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#B35D, Geometric multiplicity of the sumsets (statement)
History
- 2026-11-02: add by m2/v0.6.18
Minimax estimator M4WGGMAGYM
| URI | m2://inv/M4WGGMAGYM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#T29B, Minimax estimator (definition)
History
- 2026-11-02: add by m2/dev
Lila Knudsen Randolph M4WKW3G0VK
| URI | m2://inv/M4WKW3G0VK |
|---|---|
| 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#3CYT, Lila Knudsen Randolph (topic)
History
- 2026-11-02: add by m2/dev
Quadric geometric algebra M4WNF9ZQCG
| URI | m2://inv/M4WNF9ZQCG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quadric geometric algebra, Quadric geometric algebra (definition). Also Wikidata Q21072718
History
- 2026-11-02: add by m2/dev
M4WT2NK4S9 M4WT2NK4S9
| URI | m2://inv/M4WT2NK4S9 |
|---|---|
| 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.07099#P9NK (statement). In 9GNAHRCYFT/e1, lemma 3.9
History
- 2026-10-29: add by m2/v0.4.10
M4WXC5QFW9 M4WXC5QFW9
| URI | m2://inv/M4WXC5QFW9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25275#3A0I (statement)
History
- 2026-11-01: add by m2/v0.6.15
M4X09VGGR9 M4X09VGGR9
| URI | m2://inv/M4X09VGGR9 |
|---|---|
| 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.37026#MF61 (statement). In QGZPH9W8GY/e1, lemma 2.6
History
- 2026-10-30: add by m2/v0.4.12
electronvolt M4X1E8NCZX
| URI | m2://inv/M4X1E8NCZX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q83327, electronvolt (definition). Also nLab electronvolt, ProofWiki Definition:SI/Energy/Electron_Volt
History
- 2026-10-26: add by m2/dev
Definition M4X5YJBRYS
| URI | m2://inv/M4X5YJBRYS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wronskian#WSLK, Definition (definition)
History
- 2026-11-02: add by m2/dev
M4X8THCFH0 M4X8THCFH0
| URI | m2://inv/M4X8THCFH0 |
|---|---|
| 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 2609.36423#3HVQ (example). In Q5Z178SAHP/e1, example 8.3
History
- 2026-10-30: add by m2/v0.4.12
M4XBYE55GJ M4XBYE55GJ
| URI | m2://inv/M4XBYE55GJ |
|---|---|
| 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#T1CR (statement). In CRFDGFZHBF/e1, lemma 7.11
History
- 2026-10-28: add by m2/v0.4.3
scattering cross section M4XGZ530V7
| URI | m2://inv/M4XGZ530V7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4843854, scattering cross section (unknown). Also nLab scattering cross section
History
- 2026-10-26: add by m2/dev
Radial approximation of boundary values M4XHT911J1
| URI | m2://inv/M4XHT911J1 |
|---|---|
| Kind | statement |
| 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#HN8V, Radial approximation of boundary values (statement). In AMRWRJDNKJ/e1, lemma 5.3
History
- 2026-10-28: add by m2/v0.4.2
M4XJYP4D2T M4XJYP4D2T
| URI | m2://inv/M4XJYP4D2T |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31274#BIJR (example). In RK0ZMDJ23T/e1, example 4.1.10
History
- 2026-10-31: add by m2/v0.5.6
Weight--monodromy conjecture M4XNCERZVP
| URI | m2://inv/M4XNCERZVP |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07890#TPFX, Weight--monodromy conjecture (conjecture). In 6F3GSDT2V1/e1, conjecture 3.7
History
- 2026-10-29: add by m2/v0.4.10
M4XS4KXM3F M4XS4KXM3F
| URI | m2://inv/M4XS4KXM3F |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13214#SY1T (definition). In 4GRNWWH88J/e1, definition 6.1
History
- 2026-10-28: add by m2/v0.4.2
Z. W. Birnbaum M4XXTH3ARM
| URI | m2://inv/M4XXTH3ARM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of presidents of the Institute of Mathematical Statistics#1BX3, Z. W. Birnbaum (unknown)
History
- 2026-11-02: add by m2/dev
File size bound, full version M4Y08ZHAB4
| URI | m2://inv/M4Y08ZHAB4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11007#UWMG, File size bound, full version (statement). In MF0H78XZXC/e1, proposition A.1
History
- 2026-10-28: add by m2/v0.4.3
M4Y6MTSK31 M4Y6MTSK31
| URI | m2://inv/M4Y6MTSK31 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20466#XYVS (statement). In M4ZVJWM8YA/e1, lemma 4.25
History
- 2026-10-27: add by m2/v0.4.2
Informal logic M4Y7NYVB04
| URI | m2://inv/M4Y7NYVB04 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Informal logic, Informal logic (topic). Also Wikidata Q1506807
History
- 2026-11-02: add by m2/dev
Kenji Nakanishi M4YE7ZBTYE
| URI | m2://inv/M4YE7ZBTYE |
|---|---|
| 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#DXQ0, Kenji Nakanishi (unknown)
History
- 2026-11-02: add by m2/dev
De Arte Combinatoria M4YGPZBHXR
| URI | m2://inv/M4YGPZBHXR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia De Arte Combinatoria, De Arte Combinatoria (definition). Also Wikidata Q3020291
History
- 2026-11-02: add by m2/dev
M4YNBXB1WY M4YNBXB1WY
| URI | m2://inv/M4YNBXB1WY |
|---|---|
| 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 1808.00180#LMX9 (statement). In XDYCG8DVHE/e1, lemma 2
History
- 2026-10-27: add by m2/v0.3.5
C/c M4YRTDRSVV
| URI | m2://inv/M4YRTDRSVV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a notation: the notation register holds it (corpus spec K10.4)) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q9820, C/c (unknown). Also ProofWiki Symbols:C
History
- 2026-10-26: add by m2/dev
MathWorks Math Modeling Challenge M4YWZ2HYT3
| URI | m2://inv/M4YWZ2HYT3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematics competitions#OKGE, MathWorks Math Modeling Challenge (unknown)
History
- 2026-11-02: add by m2/dev
Expected return M4Z16ESFA3
| URI | m2://inv/M4Z16ESFA3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Expected return, Expected return (definition). Also Wikidata Q4331879
History
- 2026-11-02: add by m2/dev
M4Z4Z7HBZX M4Z4Z7HBZX
| URI | m2://inv/M4Z4Z7HBZX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 19-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28677#T4NW (statement)
History
- 2026-11-01: add by m2/v0.6.15
M4Z612GKYS M4Z612GKYS
| URI | m2://inv/M4Z612GKYS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20718#SAKG (statement)
History
- 2026-11-02: add by m2/v0.6.18
M4Z91AGEVS M4Z91AGEVS
| URI | m2://inv/M4Z91AGEVS |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10469#KHEQ (definition). In Q39BEKW6D9/e1, definition 2.19
History
- 2026-10-29: add by m2/v0.4.10
Transferable utility M4ZAT51GF0
| URI | m2://inv/M4ZAT51GF0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Transferable utility, Transferable utility (definition). Also Wikidata Q7834034
History
- 2026-11-02: add by m2/dev
M4ZN4EWS95 M4ZN4EWS95
| URI | m2://inv/M4ZN4EWS95 |
|---|---|
| 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 2311.03011#VF82 (statement). In 776A3XQTTM/e1, theorem Theorem
History
- 2026-10-27: add by m2/v0.3.5
Definitions M4ZNV5S3TR
| URI | m2://inv/M4ZNV5S3TR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Constructible set (topology)#NM9O, Definitions (definition)
History
- 2026-11-02: add by m2/dev
M4ZTBBGY4J M4ZTBBGY4J
| URI | m2://inv/M4ZTBBGY4J |
|---|---|
| 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 2610.13241#LJP3 (statement). In DWQWQ5KTEE/e1, lemma 14
History
- 2026-10-28: add by m2/v0.4.2
Pannonia Secunda M4ZVJZV886
| URI | m2://inv/M4ZVJZV886 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#YJGB, Pannonia Secunda (unknown)
History
- 2026-11-02: add by m2/dev
Deletion-Correcting Permutation Code M4ZXJQTZMY
| URI | m2://inv/M4ZXJQTZMY |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37578#NUOG, Deletion-Correcting Permutation Code (definition). In D7NDCWSDJE/e1, definition 2
History
- 2026-10-30: add by m2/v0.4.12