Inventory rows VM
The cards of the rows of the inventory whose ids start with VM. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
VM01X1DZHW VM01X1DZHW
| URI | m2://inv/VM01X1DZHW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32033#373J (statement). In 17W5G060QX/e1, proposition 5.4
History
- 2026-10-31: add by m2/v0.5.6
VM05N7Z34M VM05N7Z34M
| URI | m2://inv/VM05N7Z34M |
|---|---|
| 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.20145#WQZU (statement)
History
- 2026-11-02: add by m2/v0.6.18
Lower bound after $N$ rounds VM06RNKFCV
| URI | m2://inv/VM06RNKFCV |
|---|---|
| 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.12641#B6B1, Lower bound after $N$ rounds (statement). In X5BYGZZHPF/e1, theorem J.12
History
- 2026-10-28: add by m2/v0.4.2
VM0E7HTCTJ VM0E7HTCTJ
| URI | m2://inv/VM0E7HTCTJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2506.16491#VOZO (statement). In P9J6P06Y40/e1, lemma 4.27
History
- 2026-10-27: add by m2/v0.3.5
Peter Henrici VM0H8RTXBM
| URI | m2://inv/VM0H8RTXBM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Peter Henrici (mathematician), Peter Henrici (topic). Also Wikidata Q122414
History
- 2026-11-02: add by m2/dev
Forward algorithm VM0JSM8NXW
| URI | m2://inv/VM0JSM8NXW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Forward algorithm, Forward algorithm (definition). Also Wikidata Q5473264
History
- 2026-11-02: add by m2/dev
VM146GYYZS VM146GYYZS
| URI | m2://inv/VM146GYYZS |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35442#LWHR (definition). In C6R0DAA279/e1, definition 2.1
History
- 2026-10-30: add by m2/v0.4.12
Introduction to the Theory of Error-Correcting Codes VM1AMKPBA1
| URI | m2://inv/VM1AMKPBA1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Introduction to the Theory of Error-Correcting Codes, Introduction to the Theory of Error-Correcting Codes (definition). Also Wikidata Q96382778
History
- 2026-11-02: add by m2/dev
Langlands program VM1FJB7T0C
| URI | m2://inv/VM1FJB7T0C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Langlands program J9T2M084W5 |
Mentions
- wikidata: Wikidata Q1393253, Langlands program (unknown). Also LMFDB knowl lfunction.history.langlands_program, MathWorld LanglandsProgram, nLab Langlands program
- wikipedia: Wikipedia Langlands program, Langlands program (definition). Also Wikidata Q1393253
History
- 2026-10-26: add by m2/dev
graph radius VM1G3SX2WE
| URI | m2://inv/VM1G3SX2WE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q30765484, graph radius (unknown). Also MathWorld GraphRadius
History
- 2026-10-26: add by m2/dev
Multinomial probit VM1HBD6PSA
| URI | m2://inv/VM1HBD6PSA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of analyses of categorical data#M0DQ, Multinomial probit (definition)
- wikipedia: Wikipedia List of statistics articles#4PKO, Multinomial probit (definition)
History
- 2026-11-02: add by m2/dev
Seidenberg VM1MES3Q0D
| URI | m2://inv/VM1MES3Q0D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01520#A3CN, Seidenberg (statement). In GTZYR8QA3G/e1, theorem 2.2
History
- 2026-10-29: add by m2/v0.4.12
General formula for the weights VM1RRYSVZZ
| URI | m2://inv/VM1RRYSVZZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gaussian quadrature#0KFT, General formula for the weights (statement)
History
- 2026-11-02: add by m2/dev
Use VM1X25T21M
| URI | m2://inv/VM1X25T21M |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Moving the goalposts#TC2E, Use (example)
History
- 2026-11-02: add by m2/dev
VM29XVYZ5C VM29XVYZ5C
| URI | m2://inv/VM29XVYZ5C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23941#299E (statement)
History
- 2026-11-02: add by m2/v0.6.17
minimal surface VM2PB1Q944
| URI | m2://inv/VM2PB1Q944 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Minimal surface 41X0YW2R9N |
Mentions
- wikidata: Wikidata Q1545397, minimal surface (unknown). Also MathWorld MinimalSurfaces
- wikipedia: Wikipedia Minimal surface, Minimal surface (definition). Also Wikidata Q1545397
History
- 2026-10-26: add by m2/dev
VM2PX62YKH VM2PX62YKH
| URI | m2://inv/VM2PX62YKH |
|---|---|
| Kind | example |
| 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.23605#DHGY (example)
History
- 2026-11-02: add by m2/v0.6.17
Profile Ambiguity and Parent Enumeration VM2QW3K9J9
| URI | m2://inv/VM2QW3K9J9 |
|---|---|
| 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.37578#T177, Profile Ambiguity and Parent Enumeration (statement). In D7NDCWSDJE/e1, lemma 14
History
- 2026-10-30: add by m2/v0.4.12
sectional curvature VM2Z3Y2AJV
| URI | m2://inv/VM2Z3Y2AJV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Sectional curvature 1X42JAA349 |
Mentions
- wikidata: Wikidata Q855622, sectional curvature (unknown). Also MathWorld SectionalCurvature, nLab sectional curvature
- wikipedia: Wikipedia Sectional curvature, Sectional curvature (definition). Also Wikidata Q855622
History
- 2026-10-26: add by m2/dev
VM3226RCZ7 VM3226RCZ7
| URI | m2://inv/VM3226RCZ7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2105.03252#7Y2X (statement). In 2E47BDDDR4/e1, corollary 4.11
History
- 2026-10-27: add by m2/v0.3.5
VM36WCD604 VM36WCD604
| URI | m2://inv/VM36WCD604 |
|---|---|
| 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#F93Z (statement). In H3FDP8S1Z7/e1, lemma 4.2
History
- 2026-10-27: add by m2/v0.3.5
VM38E9VTM8 VM38E9VTM8
| URI | m2://inv/VM38E9VTM8 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01694#6TIL (definition). In EBMHYN0XK9/e1, definition 4.12
History
- 2026-10-29: add by m2/v0.4.12
Galois module VM39NYE2F1
| URI | m2://inv/VM39NYE2F1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic number theory topics#OO0I, Galois module (definition)
History
- 2026-11-02: add by m2/dev
Scoping review VM39WZQR15
| URI | m2://inv/VM39WZQR15 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Systematic review#5GPE, Scoping review (unknown)
History
- 2026-11-02: add by m2/dev
∟ VM3GPEVV1G
| URI | m2://inv/VM3GPEVV1G |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Right angle#6C7N, ∟ (unknown)
History
- 2026-11-02: add by m2/dev
Race-norming VM3N1FGWTQ
| URI | m2://inv/VM3N1FGWTQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Race-norming, Race-norming (definition). Also Wikidata Q17057349
History
- 2026-11-02: add by m2/dev
Draw rate at the smoothing based width VM3XPQ8P40
| URI | m2://inv/VM3XPQ8P40 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30808#YESE, Draw rate at the smoothing based width (statement). In 4JCFPV48VG/e1, corollary 5.1
History
- 2026-10-31: add by m2/v0.5.6
Reflection theorem VM4158CXDB
| URI | m2://inv/VM4158CXDB |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 11-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q7307252, Reflection theorem (statement). Also Wikidata Q7307252
- thousand_plus: thousand_plus Q7307252, Reflection theorem (statement). Also Wikidata Q7307252, Wikipedia Reflection theorem
- wikipedia: Wikipedia Reflection theorem, Reflection theorem (statement). Also Wikidata Q7307252
History
- 2026-10-26: add by m2/dev
List of transitive finite linear groups VM4F8GDPEJ
| URI | m2://inv/VM4F8GDPEJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of transitive finite linear groups, List of transitive finite linear groups (topic). Also Wikidata Q6643944
History
- 2026-11-02: add by m2/dev
Equivalent definitions VM4FFA835S
| URI | m2://inv/VM4FFA835S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Absolute continuity#JJLA, Equivalent definitions (definition)
History
- 2026-11-02: add by m2/dev
VM4HND68CR VM4HND68CR
| URI | m2://inv/VM4HND68CR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05506#9S4A (statement). In FT53PMB1TE/e1, theorem 1.1.2
History
- 2026-10-29: add by m2/v0.4.10
Benacerraf's epistemological problem VM4PKSR7QG
| URI | m2://inv/VM4PKSR7QG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Paul Benacerraf#R29W, Benacerraf's epistemological problem (unknown)
History
- 2026-11-02: add by m2/dev
VM4PKTA8MH VM4PKTA8MH
| URI | m2://inv/VM4PKTA8MH |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-real-nums.tex#proof-15 (proof). In E59CDZA4DP, proof, section 7.5
History
- 2026-11-01: add by m2/v0.6.13
Euler–Arnold equation VM4W8WKVBD
| URI | m2://inv/VM4W8WKVBD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topics named after Leonhard Euler#IIP4, Euler–Arnold equation (definition)
History
- 2026-11-02: add by m2/dev
going up VM4WEM7XA2
| URI | m2://inv/VM4WEM7XA2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#9C9F, going up (definition)
History
- 2026-11-02: add by m2/dev
VM4ZB86BKJ VM4ZB86BKJ
| URI | m2://inv/VM4ZB86BKJ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-laplace.tex#exercise-43 (exercise). In E9HS8K3A52, exercise, section 7.3.4
History
- 2026-11-01: add by m2/v0.6.13
Douglas Northcott VM509DGVHD
| URI | m2://inv/VM509DGVHD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Douglas Northcott, Douglas Northcott (topic). Also Wikidata Q1252416
History
- 2026-11-02: add by m2/dev
Rectified Gaussian distribution VM524NERS5
| URI | m2://inv/VM524NERS5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rectified Gaussian distribution, Rectified Gaussian distribution (definition). Also Wikidata Q3258549
History
- 2026-11-02: add by m2/dev
tribonacci number VM56VVPM82
| URI | m2://inv/VM56VVPM82 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1052335, tribonacci number (definition). Also EoM Tribonacci_sequence, MathWorld TribonacciNumber, OEIS A000073, ProofWiki Definition:Tribonacci_Sequence
History
- 2026-10-26: add by m2/dev
Interplanetary Transport Network VM58CK6606
| URI | m2://inv/VM58CK6606 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Interplanetary Transport Network, Interplanetary Transport Network (definition). Also Wikidata Q1529884
History
- 2026-11-02: add by m2/dev
Theorem provers VM59N0YKZ8
| URI | m2://inv/VM59N0YKZ8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathematical software#GIUR, Theorem provers (statement)
History
- 2026-11-02: add by m2/dev
Wallenius' noncentral hypergeometric distribution VM59ZR7YRE
| URI | m2://inv/VM59ZR7YRE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#QERC, Wallenius' noncentral hypergeometric distribution (definition)
- wikipedia: Wikipedia List of probability distributions#BGYH, Wallenius' noncentral hypergeometric distribution (definition)
History
- 2026-11-02: add by m2/dev
VM5K7PD00T VM5K7PD00T
| URI | m2://inv/VM5K7PD00T |
|---|---|
| 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 2304.09819#W97L (statement). In FYKSPSVT37/e1, theorem 3.4
History
- 2026-10-27: add by m2/v0.4.0
Relative winding forces phase contacts VM5M3JVWGB
| URI | m2://inv/VM5M3JVWGB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15686#FVXI, Relative winding forces phase contacts (statement). In 4HCK722M2G/e1, lemma 4.3
History
- 2026-10-28: add by m2/v0.4.2
VM5Z8B8EEQ VM5Z8B8EEQ
| URI | m2://inv/VM5Z8B8EEQ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_inclusion-exclusion_exercises.ptx#exercise-20 (exercise). In QKM9DD2H56, exercise, section 7
History
- 2026-11-01: add by m2/v0.6.13
VM61E0Z5DE VM61E0Z5DE
| URI | m2://inv/VM61E0Z5DE |
|---|---|
| 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.39353#YEQY (statement). In 2PZR1KX2RC/e1, lemma B.1
History
- 2026-10-30: add by m2/v0.4.12
Lumped matter discipline VM69G8S301
| URI | m2://inv/VM69G8S301 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lumped-element model#NNBC, Lumped matter discipline (unknown)
History
- 2026-11-02: add by m2/dev
VM6AJ368TE VM6AJ368TE
| URI | m2://inv/VM6AJ368TE |
|---|---|
| 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.36389#41W4 (statement). In N1S169J2MV/e1, proposition 8
History
- 2026-10-30: add by m2/v0.4.12
Arnold Reymond VM6AMFZVYG
| URI | m2://inv/VM6AMFZVYG |
|---|---|
| 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#AQQG, Arnold Reymond (unknown)
History
- 2026-11-02: add by m2/dev
Raymond Clare Archibald VM6D979734
| URI | m2://inv/VM6D979734 |
|---|---|
| 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#D1Q6, Raymond Clare Archibald (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#JNL9, Raymond Clare Archibald (topic)
History
- 2026-11-02: add by m2/dev
Extension field VM6FR8CX28
| URI | m2://inv/VM6FR8CX28 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of field theory#N8J6, Extension field (definition)
History
- 2026-11-02: add by m2/dev
Leah Berman VM6GGJ4J9T
| URI | m2://inv/VM6GGJ4J9T |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Leah Berman, Leah Berman (topic). Also Wikidata Q67188139
History
- 2026-11-02: add by m2/dev
Associative Law of Multiplication VM6H705NWJ
| URI | m2://inv/VM6H705NWJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_background_mult.ptx#theorem-3, Associative Law of Multiplication (statement). In QKM9DD2H56, theorem, section B.8
History
- 2026-11-01: add by m2/v0.6.13
VM6J359HBK VM6J359HBK
| URI | m2://inv/VM6J359HBK |
|---|---|
| Kind | definition |
| 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 2609.38556#T8CW (definition). In GC2H0HS7ZM/e1, definition 5.2
History
- 2026-10-30: add by m2/v0.4.12
Ivanyos, Magniez and Santha VM6JEFC2N7
| URI | m2://inv/VM6JEFC2N7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40260#97DY, Ivanyos, Magniez and Santha (statement). In 524FZAC6NB/e1, theorem 5
History
- 2026-10-30: add by m2/v0.4.12
Zero divisor VM6RF3A5XW
| URI | m2://inv/VM6RF3A5XW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of commutative algebra topics#B42Q, Zero divisor (definition)
History
- 2026-11-02: add by m2/dev
VM6W4JMFNG VM6W4JMFNG
| URI | m2://inv/VM6W4JMFNG |
|---|---|
| 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#XESQ (statement). In 9GNAHRCYFT/e1, lemma 3.4
History
- 2026-10-29: add by m2/v0.4.10
Product rule VM6X27JJCJ
| URI | m2://inv/VM6X27JJCJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of calculus topics#A8PS, Product rule (definition)
- wikipedia: Wikipedia List of real analysis topics#H72M, Product rule (definition)
History
- 2026-11-02: add by m2/dev
VM70WSVSPR VM70WSVSPR
| URI | m2://inv/VM70WSVSPR |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0806.0678#ZXUO (definition). In 5RMV7VP13X/e1, definition 1.2
History
- 2026-10-27: add by m2/v0.3.5
mechatronic VM712JKE7D
| URI | m2://inv/VM712JKE7D |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of genetic algorithm applications#AX7W, mechatronic (unknown)
History
- 2026-11-02: add by m2/dev
VM76CRS878 VM76CRS878
| URI | m2://inv/VM76CRS878 |
|---|---|
| Kind | definition |
| 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.26386#N1RK (definition)
History
- 2026-11-01: add by m2/v0.6.15
universality class VM7EQMZYPC
| URI | m2://inv/VM7EQMZYPC |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q25098515, universality class (concept). Also MathWorld UniversalityClass, nLab universality class
- wikipedia: Wikipedia Universality class, Universality class (definition). Also Wikidata Q25098515
History
- 2026-10-26: add by m2/dev
Total absolute curvature VM7JYHE8MT
| URI | m2://inv/VM7JYHE8MT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Total absolute curvature, Total absolute curvature (definition). Also Wikidata Q25304342
History
- 2026-11-02: add by m2/dev
Sedenion properties VM7WR4A1NP
| URI | m2://inv/VM7WR4A1NP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sedenion#6EBA, Sedenion properties (statement)
History
- 2026-11-02: add by m2/dev
VM89PF3MQQ VM89PF3MQQ
| URI | m2://inv/VM89PF3MQQ |
|---|---|
| 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.03420#NEC3 (statement). In TG11SZZQCR/e1, corollary 2.2
History
- 2026-10-29: add by m2/v0.4.12
Congruence of squares VM8CNE78G9
| URI | m2://inv/VM8CNE78G9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Congruence of squares, Congruence of squares (definition). Also Wikidata Q1463705
History
- 2026-11-02: add by m2/dev
Extensions VM8CRRRNDG
| URI | m2://inv/VM8CRRRNDG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of integration and measure theory topics#CDES, Extensions (statement)
History
- 2026-11-02: add by m2/dev
Prime number VM8K7Q423X
| URI | m2://inv/VM8K7Q423X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#88EZ, Prime number (definition)
- wikipedia: Wikipedia List of mathematical proofs#GRWL, Prime number (definition)
History
- 2026-11-02: add by m2/dev
Hoeffding's lemma VM8M35H4E3
| URI | m2://inv/VM8M35H4E3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27766#FBNZ, Hoeffding's lemma (statement)
History
- 2026-11-01: add by m2/v0.6.15
VM8NQ7RGKJ VM8NQ7RGKJ
| URI | m2://inv/VM8NQ7RGKJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2510.12502#FFQV (statement). In 3A4K47Y9F2/e1, lemma 3.36
History
- 2026-10-27: add by m2/v0.4.0
Lemma VM8Q0BFYTJ
| URI | m2://inv/VM8Q0BFYTJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Plünnecke–Ruzsa inequality#4KT4, Lemma (statement)
History
- 2026-11-02: add by m2/dev
VM8Q0WGS3J VM8Q0WGS3J
| URI | m2://inv/VM8Q0WGS3J |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/frame-definability/definability.tex#cor-1 (statement). In PKGMM3P5QY, cor, section 52.5
History
- 2026-11-01: add by m2/v0.6.13
VM9A54KY7R VM9A54KY7R
| URI | m2://inv/VM9A54KY7R |
|---|---|
| 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.31274#MUOR (statement). In RK0ZMDJ23T/e1, lemma 2.4.6
History
- 2026-10-31: add by m2/v0.5.6
VM9N68KZQ5 VM9N68KZQ5
| URI | m2://inv/VM9N68KZQ5 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05259#REFP (definition). In X1J5HKPS3R/e1, definition
History
- 2026-10-29: add by m2/v0.4.10
VM9R8VS2ZC VM9R8VS2ZC
| URI | m2://inv/VM9R8VS2ZC |
|---|---|
| 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 2412.20238#8D89 (statement). In V8CA0STSPB/e1, theorem 21
History
- 2026-10-27: add by m2/v0.3.5
great circle VMA5PARJ8J
| URI | m2://inv/VMA5PARJ8J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q146657, great circle (definition). Also MathWorld GreatCircle, ProofWiki Definition:Great_Circle
- wikipedia: Wikipedia Great circle, Great circle (definition). Also Wikidata Q146657
History
- 2026-10-26: add by m2/dev
VMA8SHK7EB VMA8SHK7EB
| URI | m2://inv/VMA8SHK7EB |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/second-order-logic/metatheory/loewenheim-skolem.tex#proof-2 (proof). In PKGMM3P5QY, proof, section 65.3
History
- 2026-11-01: add by m2/v0.6.13
Hồ Đức Việt VMAEHXEM7N
| URI | m2://inv/VMAEHXEM7N |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hồ Đức Việt, Hồ Đức Việt (topic). Also Wikidata Q10772080
History
- 2026-11-02: add by m2/dev
Unit-group bound VMAR89J3PV
| URI | m2://inv/VMAR89J3PV |
|---|---|
| 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.39121#KMEK, Unit-group bound (statement). In A42CWWRZJE/e1, proposition 4
History
- 2026-10-30: add by m2/v0.4.12
Caloric polynomial VMB1BBKQPJ
| URI | m2://inv/VMB1BBKQPJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polynomial topics#QAXS, Caloric polynomial (definition)
History
- 2026-11-02: add by m2/dev
Examples VMB4JRYJFH
| URI | m2://inv/VMB4JRYJFH |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia De Bruijn sequence#1H0X, Examples (example)
History
- 2026-11-02: add by m2/dev
Theorem VMB59HTDFQ
| URI | m2://inv/VMB59HTDFQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Abstract rewriting system#7Y96, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Compound Poisson distribution VMB84X46DA
| URI | m2://inv/VMB84X46DA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability distributions#H07Y, Compound Poisson distribution (definition)
History
- 2026-11-02: add by m2/dev
Patricia Davies VMB85TH8K1
| URI | m2://inv/VMB85TH8K1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Patricia Davies (codebreaker), Patricia Davies (topic). Also Wikidata Q119890155
History
- 2026-11-02: add by m2/dev
VMBBA0RFC8 VMBBA0RFC8
| URI | m2://inv/VMBBA0RFC8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 51-XX, 52-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24131#4K0U (statement)
History
- 2026-11-02: add by m2/v0.6.17
Robert Rosebrugh VMBQ097G9F
| URI | m2://inv/VMBQ097G9F |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Robert Rosebrugh, Robert Rosebrugh (topic). Also Wikidata Q102202344
History
- 2026-11-02: add by m2/dev
Intellectual rigour VMBQG1XDGX
| URI | m2://inv/VMBQG1XDGX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rigour#EJ60, Intellectual rigour (unknown)
History
- 2026-11-02: add by m2/dev
Sarah Zerbes VMBTS9P51N
| URI | m2://inv/VMBTS9P51N |
|---|---|
| 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#8JKQ, Sarah Zerbes (unknown)
- wikipedia: Wikipedia List of German mathematicians#V0U5, Sarah Zerbes (unknown)
History
- 2026-11-02: add by m2/dev
VMC49BSVRX VMC49BSVRX
| URI | m2://inv/VMC49BSVRX |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 26-XX, 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2302.06189#MW9B (definition). In N5ZSHXYYV6/e1, definition 2.4
History
- 2026-10-27: add by m2/v0.3.5
VMCF9AHSVZ VMCF9AHSVZ
| URI | m2://inv/VMCF9AHSVZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2102.12931#SI3S (statement). In PQHTR84RAJ/e1, corollary 5.11
History
- 2026-10-27: add by m2/v0.4.0
Medical statistics VMCGJ0RYEX
| URI | m2://inv/VMCGJ0RYEX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Medical statistics, Medical statistics (definition). Also Wikidata Q1252929
History
- 2026-11-02: add by m2/dev
Maury Bramson VMCMDZWZ2M
| URI | m2://inv/VMCMDZWZ2M |
|---|---|
| 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#PICZ, Maury Bramson (topic)
History
- 2026-11-02: add by m2/dev
VMCPXFECZP VMCPXFECZP
| URI | m2://inv/VMCPXFECZP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30444#L7H9 (statement). In RZWJ0AT8W5/e1, corollary 3.7
History
- 2026-10-31: add by m2/v0.5.6
Theorem VMD1GNMW1X
| URI | m2://inv/VMD1GNMW1X |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spectral theory of compact operators#7X6E, Theorem (statement)
History
- 2026-11-02: add by m2/dev
VMD2FMSW5E VMD2FMSW5E
| URI | m2://inv/VMD2FMSW5E |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Henson graph#EUB0 (problem)
History
- 2026-11-02: add by m2/dev
Definition VMD75XPGP3
| URI | m2://inv/VMD75XPGP3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Von Mises–Fisher distribution#HO8L, Definition (definition)
History
- 2026-11-02: add by m2/dev
VMDCVZG4CW VMDCVZG4CW
| URI | m2://inv/VMDCVZG4CW |
|---|---|
| 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.18922#BABE (statement). In 6FKDYENQ8M/e1, proposition 12
History
- 2026-10-28: add by m2/v0.4.2
VMDG10HA8C VMDG10HA8C
| URI | m2://inv/VMDG10HA8C |
|---|---|
| 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 2112.14455#B0HY (statement). In VDE5R8HBS1/e1, corollary 2.6
History
- 2026-10-27: add by m2/v0.3.5
Main theorem VMDH8TVVEJ
| URI | m2://inv/VMDH8TVVEJ |
|---|---|
| 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 2609.23834#8Y7G, Main theorem (statement)
History
- 2026-11-02: add by m2/v0.6.17
Jump-and-Walk algorithm VMDHTDNAVW
| URI | m2://inv/VMDHTDNAVW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#P4SD, Jump-and-Walk algorithm (definition)
History
- 2026-11-02: add by m2/dev
VMDKGWFBE6 VMDKGWFBE6
| URI | m2://inv/VMDKGWFBE6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.19882#ULPL (statement)
History
- 2026-11-02: add by m2/v0.6.18
Robustness to inexact history and master updates VMDQ9J0DHG
| URI | m2://inv/VMDQ9J0DHG |
|---|---|
| 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.20187#VJIW, Robustness to inexact history and master updates (statement). In N280AVNNBY/e1, lemma B.15
History
- 2026-10-27: add by m2/v0.4.2
Groupoid VMDXXCZEEE
| URI | m2://inv/VMDXXCZEEE |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25987#0WWZ, Groupoid (definition)
History
- 2026-11-01: add by m2/v0.6.15
VME07CHK6X VME07CHK6X
| URI | m2://inv/VME07CHK6X |
|---|---|
| Kind | definition |
| 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.19285#PE1L (definition). In 6DJR9DKY5W/e1, definition 2.7
History
- 2026-10-28: add by m2/v0.4.2
Dominant weight VMECSAKPEQ
| URI | m2://inv/VMECSAKPEQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weight (representation theory)#9QQ9, Dominant weight (unknown)
History
- 2026-11-02: add by m2/dev
Schur–Horn theorem VMEGKB74J0
| URI | m2://inv/VMEGKB74J0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schur–Horn theorem#JZG2, Schur–Horn theorem (statement)
History
- 2026-11-02: add by m2/dev
Graded vector field VMEJ0MXVKP
| URI | m2://inv/VMEJ0MXVKP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graded manifold#F4SS, Graded vector field (unknown)
History
- 2026-11-02: add by m2/dev
VMEKHDB38D VMEKHDB38D
| URI | m2://inv/VMEKHDB38D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 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 math/0406514#E0SX (statement). In CY1FE8W1ZW/e1, corollary 0.44
History
- 2026-10-27: add by m2/v0.3.5
Mixed linear complementarity problem VMENH1G26H
| URI | m2://inv/VMENH1G26H |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mixed linear complementarity problem, Mixed linear complementarity problem (problem). Also Wikidata Q6883980
History
- 2026-11-02: add by m2/dev
Veronika Ročková VMEQ0S6HGB
| URI | m2://inv/VMEQ0S6HGB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Veronika Ročková, Veronika Ročková (topic). Also Wikidata Q125056437
History
- 2026-11-02: add by m2/dev
biflecnode VMEVBGE496
| URI | m2://inv/VMEVBGE496 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#ZHP4, biflecnode (definition)
History
- 2026-11-02: add by m2/dev
VMEW9MHAVK VMEW9MHAVK
| URI | m2://inv/VMEW9MHAVK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 49-XX, 60-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 2606.21391#OP5V (statement). In J9C7YMKJ33/e1, proposition 4.11
History
- 2026-10-27: add by m2/v0.3.5
Circle-circle intersection VMEWBRYXMC
| URI | m2://inv/VMEWBRYXMC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Intersection (geometry)#55QO, Circle-circle intersection (unknown)
History
- 2026-11-02: add by m2/dev
Paul Tannery VMEWX7JD9Q
| URI | m2://inv/VMEWX7JD9Q |
|---|---|
| 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#7NU6, Paul Tannery (unknown)
History
- 2026-11-02: add by m2/dev
Lorentz group VMF51G0A94
| URI | m2://inv/VMF51G0A94 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Lorentz group QWK3BYVJ9W |
Mentions
- wikidata: Wikidata Q1334417, Lorentz group (concept). Also MathWorld LorentzGroup, nLab Lorentz group
- wikipedia: Wikipedia Lorentz group, Lorentz group (definition). Also Wikidata Q1334417
History
- 2026-10-26: add by m2/dev
Special cases VMFDVYW32N
| URI | m2://inv/VMFDVYW32N |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Symmetric Boolean function#EBZV, Special cases (statement)
History
- 2026-11-02: add by m2/dev
Constant-cost regeneration VMFQR8C5RS
| URI | m2://inv/VMFQR8C5RS |
|---|---|
| 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 2609.39633#ACVB, Constant-cost regeneration (statement). In B339AJZP2S/e1, lemma 6.1
History
- 2026-10-30: add by m2/v0.4.12
VMG09JCY7C VMG09JCY7C
| URI | m2://inv/VMG09JCY7C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19283#L6VO (statement). In 28BAGZRCKG/e1, theorem 3.2
History
- 2026-10-28: add by m2/v0.4.2
Laws of Earth sciences VMG6EVX40R
| URI | m2://inv/VMG6EVX40R |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Scientific law#6Y3U, Laws of Earth sciences (statement)
History
- 2026-11-02: add by m2/dev
VMGKXZQ765 VMGKXZQ765
| URI | m2://inv/VMGKXZQ765 |
|---|---|
| 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 2610.02983#KFDU (statement). In HMNKENER22/e1, proposition 7.8
History
- 2026-10-29: add by m2/v0.4.12
Grosswald–Schnitzer theorem VMGRFSSGAE
| URI | m2://inv/VMGRFSSGAE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Grosswald–Schnitzer theorem, Grosswald–Schnitzer theorem (statement). Also Wikidata Q135183571
History
- 2026-11-02: add by m2/dev
automorphic form VMGTTE71CG
| URI | m2://inv/VMGTTE71CG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Automorphic form 3C73HND6XA |
Mentions
- wikidata: Wikidata Q1134435, automorphic form (unknown). Also nLab automorphic form
- wikipedia: Wikipedia Automorphic form, Automorphic form (definition). Also Wikidata Q1134435
History
- 2026-10-26: add by m2/dev
Construction VMGVYA61MW
| URI | m2://inv/VMGVYA61MW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Integer#QS82, Construction (definition)
History
- 2026-11-02: add by m2/dev
edgeless graph VMGX504XPV
| URI | m2://inv/VMGX504XPV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#XGWS, edgeless graph (definition)
History
- 2026-11-02: add by m2/dev
VMGZP41NN2 VMGZP41NN2
| URI | m2://inv/VMGZP41NN2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22394#YIBO (statement)
History
- 2026-11-02: add by m2/v0.6.17
Squaring the circle VMH0KW3009
| URI | m2://inv/VMH0KW3009 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of impossible puzzles#4W1U, Squaring the circle (definition)
History
- 2026-11-02: add by m2/dev
Transparent context VMH9R4KQMD
| URI | m2://inv/VMH9R4KQMD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Opaque context#OXU4, Transparent context (unknown)
History
- 2026-11-02: add by m2/dev
Barth sextic VMHAKCKVCV
| URI | m2://inv/VMHAKCKVCV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#Y4IU, Barth sextic (definition)
- wikipedia: Wikipedia List of surfaces#TX3X, Barth sextic (definition)
History
- 2026-11-02: add by m2/dev
Symplectic matrix VMHAQSCTBR
| URI | m2://inv/VMHAQSCTBR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Symplectic matrix, Symplectic matrix (definition). Also Wikidata Q2705070
History
- 2026-11-02: add by m2/dev
Determining successive factors by linear recurrences VMHBPXQHGW
| URI | m2://inv/VMHBPXQHGW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX, 47-XX, 58-XX, 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.08568#91KA, Determining successive factors by linear recurrences (statement). In FDDA562VCA/e1, proposition 2.9
History
- 2026-10-29: add by m2/v0.4.10
VMHDE7S1J9 VMHDE7S1J9
| URI | m2://inv/VMHDE7S1J9 |
|---|---|
| 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.03255#3AWN (statement). In DCC0Y18670/e1, theorem 4.3
History
- 2026-10-29: add by m2/v0.4.12
Extensions VMHECDFTPT
| URI | m2://inv/VMHECDFTPT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lindenbaum's lemma#WKEL, Extensions (statement)
History
- 2026-11-02: add by m2/dev
VMHM8NF0GT VMHM8NF0GT
| URI | m2://inv/VMHM8NF0GT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38436#M2UW (statement). In 702AF3E4AF/e1, theorem 4.3
History
- 2026-10-30: add by m2/v0.4.12
The recurrence and the initial data determine the moment functional VMHWZE40JW
| URI | m2://inv/VMHWZE40JW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 26-XX, 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26066#1GKE, The recurrence and the initial data determine the moment functional (statement)
History
- 2026-11-01: add by m2/v0.6.15
VMHXB3G10T VMHXB3G10T
| URI | m2://inv/VMHXB3G10T |
|---|---|
| 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 2507.12309#BCY3 (statement). In ZR53K3E0FR/e1, proposition 17
History
- 2026-10-27: add by m2/v0.3.6
VMJ0V3ZDZB VMJ0V3ZDZB
| URI | m2://inv/VMJ0V3ZDZB |
|---|---|
| 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.26191#W7GX (statement)
History
- 2026-11-01: add by m2/v0.6.15
Surjectivity and uniqueness of the Case-E chart VMJ19VC4QQ
| URI | m2://inv/VMJ19VC4QQ |
|---|---|
| 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.24931#1ND6, Surjectivity and uniqueness of the Case-E chart (statement)
History
- 2026-11-01: add by m2/v0.6.15
VMJ79WZXV8 VMJ79WZXV8
| URI | m2://inv/VMJ79WZXV8 |
|---|---|
| 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.27320#XIX7 (statement)
History
- 2026-11-01: add by m2/v0.6.15
The price of symmetry at quadratic dimension VMJA0FVTCE
| URI | m2://inv/VMJA0FVTCE |
|---|---|
| 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.30663#BEC9, The price of symmetry at quadratic dimension (statement). In 3JZDKWS8NK/e1, corollary 1.1
History
- 2026-10-31: add by m2/v0.5.6
Entropy criterion for the filtering likelihood VMJBZN8WDB
| URI | m2://inv/VMJBZN8WDB |
|---|---|
| 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.28985#MVN5, Entropy criterion for the filtering likelihood (statement)
History
- 2026-11-01: add by m2/v0.6.15
VMJC4AFZKE VMJC4AFZKE
| URI | m2://inv/VMJC4AFZKE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2508.16102#2ISI (statement). In 55QFMZQ5HM/e1, proposition 2.15
History
- 2026-10-27: add by m2/v0.3.6
Algorithms VMJKYVZYTK
| URI | m2://inv/VMJKYVZYTK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rank-maximal allocation#28K2, Algorithms (definition)
History
- 2026-11-02: add by m2/dev
VMJN0GMQK4 VMJN0GMQK4
| URI | m2://inv/VMJN0GMQK4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1011.4141#TJFC (statement). In YQ4JYF18NH/e1, proposition 4.6
History
- 2026-10-27: add by m2/v0.3.5
Theorem VMJW5PF0XV
| URI | m2://inv/VMJW5PF0XV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spectral radius#QGPY, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Hyperbolic quaternion VMK1KVTRW5
| URI | m2://inv/VMK1KVTRW5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of abstract algebra topics#ZUPW, Hyperbolic quaternion (definition)
History
- 2026-11-02: add by m2/dev
Galilean law of the lever: the principle of equal moments VMK2XZZ6WM
| URI | m2://inv/VMK2XZZ6WM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Le Mecaniche#VKRQ, Galilean law of the lever: the principle of equal moments (statement)
History
- 2026-11-02: add by m2/dev
Ba space VMK700PYC4
| URI | m2://inv/VMK700PYC4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ba space, Ba space (definition). Also Wikidata Q4837092
History
- 2026-11-02: add by m2/dev
n (mod sqrtint(n)). VMK71BD9V0
| URI | m2://inv/VMK71BD9V0 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q100194368, n (mod sqrtint(n)). (object). Also OEIS A079644
History
- 2026-10-26: add by m2/dev
Relation to Ramsey's Theorem VMKC46QM57
| URI | m2://inv/VMKC46QM57 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sunflower (mathematics)#1OBO, Relation to Ramsey's Theorem (statement)
History
- 2026-11-02: add by m2/dev
VMKD6TYY8G VMKD6TYY8G
| URI | m2://inv/VMKD6TYY8G |
|---|---|
| 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.25269#P0G4 (statement)
History
- 2026-11-01: add by m2/v0.6.15
VMKEBB7DWB VMKEBB7DWB
| URI | m2://inv/VMKEBB7DWB |
|---|---|
| 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.03353#U2V0 (statement). In 8W61T5CSRB/e1, theorem 7.1
History
- 2026-10-29: add by m2/v0.4.12
R. H. Bing VMKFY83076
| URI | m2://inv/VMKFY83076 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia R. H. Bing, R. H. Bing (topic). Also Wikidata Q1398892
History
- 2026-11-02: add by m2/dev
VMKKBMTGTQ VMKKBMTGTQ
| URI | m2://inv/VMKKBMTGTQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29489#K4N4 (statement)
History
- 2026-11-01: add by m2/v0.6.15
$3\times5$ case VMKVNQ60H2
| URI | m2://inv/VMKVNQ60H2 |
|---|---|
| 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 2610.13291#6VIT, $3\times5$ case (statement). In D16PSAVVWV/e1, corollary 4.4
History
- 2026-10-28: add by m2/v0.4.2
Halayudha VMKYKJK2CP
| URI | m2://inv/VMKYKJK2CP |
|---|---|
| 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 Q3635178, Halayudha (unknown). Also ProofWiki Mathematician:Halayudha
History
- 2026-10-26: add by m2/dev
Ehrenfeucht–Fraïssé game VMM1XGK9P3
| URI | m2://inv/VMM1XGK9P3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ehrenfeucht–Fraïssé game, Ehrenfeucht–Fraïssé game (definition). Also Wikidata Q1300013
History
- 2026-11-02: add by m2/dev
VMM4X3WSZS VMM4X3WSZS
| URI | m2://inv/VMM4X3WSZS |
|---|---|
| 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.09201#QQ2H (statement). In JQFPH09JG8/e1, proposition 5.6
History
- 2026-10-29: add by m2/v0.4.10
Applications VMM9N24T84
| URI | m2://inv/VMM9N24T84 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Minakshisundaram–Pleijel zeta function#BMUI, Applications (example)
History
- 2026-11-02: add by m2/dev
Paul B. Kantor VMMA2PAZ1K
| URI | m2://inv/VMMA2PAZ1K |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Paul B. Kantor, Paul B. Kantor (topic). Also Wikidata Q7149157
History
- 2026-11-02: add by m2/dev
Richard Baldus VMMHHN9GX6
| URI | m2://inv/VMMHHN9GX6 |
|---|---|
| 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#ICBQ, Richard Baldus (topic)
History
- 2026-11-02: add by m2/dev
VMMJFHX725 VMMJFHX725
| URI | m2://inv/VMMJFHX725 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37124#RF7P (statement). In 2QF1YG9DD0/e1, proposition 4.7
History
- 2026-10-30: add by m2/v0.4.12
Cartan–Hadamard theorem VMMMXDH45Z
| URI | m2://inv/VMMMXDH45Z |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Jacques Hadamard#ZXWR, Cartan–Hadamard theorem (statement)
History
- 2026-11-02: add by m2/dev
Uniqueness of products VMMWK73N07
| URI | m2://inv/VMMWK73N07 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/cats/categories.tex#proposition-1, Uniqueness of products (statement). In RZP28ERRZV, proposition, section 36.4
History
- 2026-11-01: add by m2/v0.6.13
VMN34T6RJW VMN34T6RJW
| URI | m2://inv/VMN34T6RJW |
|---|---|
| Kind | example |
| 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 2012.11507#PQZQ (example). In DZA5P853H9/e1, example 1
History
- 2026-10-27: add by m2/v0.3.5
Cohort effect VMN3SX97D4
| URI | m2://inv/VMN3SX97D4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cohort effect, Cohort effect (definition). Also Wikidata Q3048982
History
- 2026-11-02: add by m2/dev
VMND21KHKS VMND21KHKS
| URI | m2://inv/VMND21KHKS |
|---|---|
| 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.14217#UWQK (statement). In K0DHYQC5B7/e1, lemma 4.2
History
- 2026-10-28: add by m2/v0.4.2
Directional affine extractors imply average-case hardness VMNFF030WY
| URI | m2://inv/VMNFF030WY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02407#TKHU, Directional affine extractors imply average-case hardness (statement). In ZZER8ZBSCR/e1, theorem 1.5
History
- 2026-10-29: add by m2/v0.4.12
VMNJVNCTB4 VMNJVNCTB4
| URI | m2://inv/VMNJVNCTB4 |
|---|---|
| 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.35030#05TO (statement). In DPT4P2BTEW/e1, proposition 3.3
History
- 2026-10-30: add by m2/v0.4.12
Statement VMNKPVZVT0
| URI | m2://inv/VMNKPVZVT0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cramér's theorem (large deviations)#D82A, Statement (statement)
History
- 2026-11-02: add by m2/dev
VMNN0K3JJ5 VMNN0K3JJ5
| URI | m2://inv/VMNN0K3JJ5 |
|---|---|
| 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.09565#01V3 (statement). In 7A5YZACF1E/e1, corollary 6
History
- 2026-10-29: add by m2/v0.4.10
Latin square VMNXPPMJXM
| URI | m2://inv/VMNXPPMJXM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in statistics#87AL, Latin square (definition)
History
- 2026-11-02: add by m2/dev
Cryptographic Message Syntax VMNYE7D2QY
| URI | m2://inv/VMNYE7D2QY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cryptographic Message Syntax, Cryptographic Message Syntax (definition). Also Wikidata Q904873
History
- 2026-11-02: add by m2/dev
VMP65EHPJC VMP65EHPJC
| URI | m2://inv/VMP65EHPJC |
|---|---|
| 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.26191#GKXF (statement)
History
- 2026-11-01: add by m2/v0.6.15
Homomorphism density VMP8VNA37F
| URI | m2://inv/VMP8VNA37F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Homomorphism density, Homomorphism density (definition). Also Wikidata Q85767167
History
- 2026-11-02: add by m2/dev
List of Brazilian mathematicians VMP9W2SRPC
| URI | m2://inv/VMP9W2SRPC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lists of mathematicians#D4ZN, List of Brazilian mathematicians (unknown)
History
- 2026-11-02: add by m2/dev
Use VMPAF62TZX
| URI | m2://inv/VMPAF62TZX |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mode (statistics)#NO8H, Use (example)
History
- 2026-11-02: add by m2/dev
VMPC0YS423 VMPC0YS423
| URI | m2://inv/VMPC0YS423 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX, 57-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06747#SODC (statement). In AB2WPR2FRR/e1, proposition 4.8
History
- 2026-10-29: add by m2/v0.4.10
Fluctuations of smooth rotation invariant linear statistics for a disk-complement hole VMPF7DCB3N
| URI | m2://inv/VMPF7DCB3N |
|---|---|
| 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.25307#0M1W, Fluctuations of smooth rotation invariant linear statistics for a disk-complement hole (statement)
History
- 2026-11-01: add by m2/v0.6.15
Lehrb\"ack VMPJEPV2J6
| URI | m2://inv/VMPJEPV2J6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22407#5YLZ, Lehrb\"ack (statement)
History
- 2026-11-02: add by m2/v0.6.17
Three Rivers, Texas VMPJX12T2R
| URI | m2://inv/VMPJX12T2R |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#YHBQ, Three Rivers, Texas (unknown)
History
- 2026-11-02: add by m2/dev
PISO algorithm VMPKBR48A3
| URI | m2://inv/VMPKBR48A3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of operator splitting topics#P4ID, PISO algorithm (unknown)
History
- 2026-11-02: add by m2/dev
General position VMPM7VSRNN
| URI | m2://inv/VMPM7VSRNN |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q591310, General position (concept). Also MathWorld GeneralPosition
- wikipedia: Wikipedia General position, General position (definition). Also Wikidata Q591310
History
- 2026-10-26: add by m2/dev
Properties VMPPDQPQ0X
| URI | m2://inv/VMPPDQPQ0X |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Line graph#GSRF, Properties (statement)
History
- 2026-11-02: add by m2/dev
Queuing delay VMPQ1RRA9A
| URI | m2://inv/VMPQ1RRA9A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Queuing delay, Queuing delay (definition). Also Wikidata Q576842
History
- 2026-11-02: add by m2/dev
Basic properties VMPXJT3NEN
| URI | m2://inv/VMPXJT3NEN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Indicator function (complex analysis)#VDIY, Basic properties (statement)
History
- 2026-11-02: add by m2/dev
VMPY34R039 VMPY34R039
| URI | m2://inv/VMPY34R039 |
|---|---|
| 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.21534#R67N (statement)
History
- 2026-11-02: add by m2/v0.6.18
series, infinite geometric VMPYXA9G9H
| URI | m2://inv/VMPYXA9G9H |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/8.1/series-infinite-geometric, series, infinite geometric (concept). In QKM9DD2H56, index, section 8.1
History
- 2026-11-01: add by m2/v0.6.13
Local gauge invariance VMQ1HMAEDJ
| URI | m2://inv/VMQ1HMAEDJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gauge theory#82F4, Local gauge invariance (unknown)
History
- 2026-11-02: add by m2/dev
VMQ2SYD7VV VMQ2SYD7VV
| URI | m2://inv/VMQ2SYD7VV |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/homology/excision.tex#example-4 (example). In RZP28ERRZV, example, section 53.4
History
- 2026-11-01: add by m2/v0.6.13
VMQ5YFARNY VMQ5YFARNY
| URI | m2://inv/VMQ5YFARNY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04730#7C4T (statement). In QHFP0837Q8/e1, lemma 4.10
History
- 2026-10-29: add by m2/v0.4.12
Legendre's conjecture VMQAQR6TQ0
| URI | m2://inv/VMQAQR6TQ0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Landau's problems#N5IM, Legendre's conjecture (statement)
History
- 2026-11-02: add by m2/dev
VMQFAZXEZW VMQFAZXEZW
| URI | m2://inv/VMQFAZXEZW |
|---|---|
| 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.22311#ZK75 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Maximum likelihood sequence estimation VMQPQWZ2RK
| URI | m2://inv/VMQPQWZ2RK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Maximum likelihood sequence estimation, Maximum likelihood sequence estimation (definition). Also Wikidata Q6795902
History
- 2026-11-02: add by m2/dev
VMQS6PF1FE VMQS6PF1FE
| URI | m2://inv/VMQS6PF1FE |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24212#2KDU (definition)
History
- 2026-11-01: add by m2/v0.6.15
Complex analysis VMQSZ9SG9G
| URI | m2://inv/VMQSZ9SG9G |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of real analysis topics#7DCF, Complex analysis (topic)
History
- 2026-11-02: add by m2/dev
611 (number) VMQVAARXV8
| URI | m2://inv/VMQVAARXV8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 600 (number)#LX0D, 611 (number) (unknown)
History
- 2026-11-02: add by m2/dev
System of parameters VMQWRMAERJ
| URI | m2://inv/VMQWRMAERJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia System of parameters, System of parameters (definition). Also Wikidata Q7663733
History
- 2026-11-02: add by m2/dev
pullbacks via quotient maps VMQYAZCZ7G
| URI | m2://inv/VMQYAZCZ7G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1408.1555#WV76, pullbacks via quotient maps (statement). In S1F2QW24YW/e1, proposition 3.4
History
- 2026-10-27: add by m2/v0.3.5
Terminology VMR39CE6D7
| URI | m2://inv/VMR39CE6D7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bethe ansatz#4DUK, Terminology (definition)
History
- 2026-11-02: add by m2/dev
Sinkhorn outlier energy in the Sinkhorn-DRO dual VMR52SF0KX
| URI | m2://inv/VMR52SF0KX |
|---|---|
| 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.31470#CE2Q, Sinkhorn outlier energy in the Sinkhorn-DRO dual (statement). In 4RS2WKVB7F/e1, proposition 3.3
History
- 2026-10-31: add by m2/v0.5.6
\textbf{Consistent approximation VMRATWCJ3S
| URI | m2://inv/VMRATWCJ3S |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24479#DS45, \textbf{Consistent approximation (definition)
History
- 2026-11-01: add by m2/v0.6.15
Definition VMRPSJEA3X
| URI | m2://inv/VMRPSJEA3X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polyconvex function#ZRMM, Definition (definition)
History
- 2026-11-02: add by m2/dev
linearity of the derivative VMRREKX72Q
| URI | m2://inv/VMRREKX72Q |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/3.1.1/linearity-of-the-derivative, linearity of the derivative (concept). In E59CDZA4DP, index, section 3.1.1
History
- 2026-11-01: add by m2/v0.6.13
VMRT1T70HX VMRT1T70HX
| URI | m2://inv/VMRT1T70HX |
|---|---|
| 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.26776#I2U0 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Tang VMRT660M6R
| URI | m2://inv/VMRT660M6R |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of common misconceptions about science, technology, and mathematics#LYJ7, Tang (unknown)
History
- 2026-11-02: add by m2/dev
Tail packing VMRT7B2EAB
| URI | m2://inv/VMRT7B2EAB |
|---|---|
| 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.28791#AV6C, Tail packing (statement)
History
- 2026-11-01: add by m2/v0.6.15
VMRXTDPY1R VMRXTDPY1R
| URI | m2://inv/VMRXTDPY1R |
|---|---|
| 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.23128#26W3 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Embree–Trefethen constant VMS0K6HCVF
| URI | m2://inv/VMS0K6HCVF |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q449164, Embree–Trefethen constant (object). Also OEIS A118288
History
- 2026-10-26: add by m2/dev
Sam Phan Bok VMS1TS0SS7
| URI | m2://inv/VMS1TS0SS7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#B688, Sam Phan Bok (unknown)
History
- 2026-11-02: add by m2/dev
Two closed forms VMS20FN022
| URI | m2://inv/VMS20FN022 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07721#ZHNI, Two closed forms (statement). In QMJDN66F5N/e1, corollary 2.4
History
- 2026-10-29: add by m2/v0.4.10
VMS3JN8TRA VMS3JN8TRA
| URI | m2://inv/VMS3JN8TRA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/measure/randvar.tex#definition-1 (definition). In RZP28ERRZV, definition, section 69.1
History
- 2026-11-01: add by m2/v0.6.13
VMS6RNVWG2 VMS6RNVWG2
| URI | m2://inv/VMS6RNVWG2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 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 math/0406514#15JB (statement). In CY1FE8W1ZW/e1, lemma 0.142
History
- 2026-10-27: add by m2/v0.4.0
VMSAZTGV03 VMSAZTGV03
| URI | m2://inv/VMSAZTGV03 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/diffgeo/stokes.tex#example-1 (example). In RZP28ERRZV, example, section 46.2
History
- 2026-11-01: add by m2/v0.6.13
Type $A$ endpoint specialization VMSDS8TPQ0
| URI | m2://inv/VMSDS8TPQ0 |
|---|---|
| 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.04325#WP9D, Type $A$ endpoint specialization (statement). In 42XHT97E64/e1, corollary 8.4
History
- 2026-10-29: add by m2/v0.4.12
VMSDSMJMHJ VMSDSMJMHJ
| URI | m2://inv/VMSDSMJMHJ |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2607.00146#1RQ7 (example). In 6KR7Z5ETRY/e1, example A.4
History
- 2026-10-27: add by m2/v0.3.5
Application VMSGT216ZM
| URI | m2://inv/VMSGT216ZM |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Probabilistic latent semantic analysis#GZLA, Application (example)
History
- 2026-11-02: add by m2/dev
One-shot posterior-rank bounds VMSJ3TSSJZ
| URI | m2://inv/VMSJ3TSSJZ |
|---|---|
| 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#AIIS, One-shot posterior-rank bounds (statement)
History
- 2026-11-01: add by m2/v0.6.15
Contraction estimates for the Witten semigroup VMSSN4H9QZ
| URI | m2://inv/VMSSN4H9QZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06308#D8MK, Contraction estimates for the Witten semigroup (statement). In HTWSDDAWGS/e1, lemma A.7
History
- 2026-10-29: add by m2/v0.4.10
VMSSW95P5X VMSSW95P5X
| URI | m2://inv/VMSSW95P5X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18562#6DSM (statement). In 793KXAR957/e1, theorem 4.1
History
- 2026-10-28: add by m2/v0.4.2
Transform theory VMSY4QM8CW
| URI | m2://inv/VMSY4QM8CW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Transform theory, Transform theory (definition). Also Wikidata Q7834072
History
- 2026-11-02: add by m2/dev
composition VMT5D0BMNC
| URI | m2://inv/VMT5D0BMNC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of module theory#M33R, composition (definition)
History
- 2026-11-02: add by m2/dev
Method VMT74T7KB0
| URI | m2://inv/VMT74T7KB0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Receiver function#9BB0, Method (definition)
History
- 2026-11-02: add by m2/dev
prime VMTEXDN9GN
| URI | m2://inv/VMTEXDN9GN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of long mathematical proofs#H10V, prime (definition)
History
- 2026-11-02: add by m2/dev
Composition of decorated cospans (cospan pushout VMTHRD7E93
| URI | m2://inv/VMTHRD7E93 |
|---|---|
| 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.20478#POEJ, Composition of decorated cospans (cospan pushout (definition)
History
- 2026-11-02: add by m2/v0.6.18
VMTPDRKWGM VMTPDRKWGM
| URI | m2://inv/VMTPDRKWGM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20801#RJO7 (statement). In A1GWWGRXPA/e1, proposition 3.46
History
- 2026-10-27: add by m2/v0.4.2
The larger-\texorpdfstring{$\rho$}{rho} range VMTQZPX568
| URI | m2://inv/VMTQZPX568 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21730#S3ZZ, The larger-\texorpdfstring{$\rho$}{rho} range (statement). In BM64QM6Q7J/e1, proposition 2.4
History
- 2026-10-27: add by m2/v0.4.2
Tikhonov's theorem VMTY255H0Y
| URI | m2://inv/VMTY255H0Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tikhonov's theorem (dynamical systems), Tikhonov's theorem (statement). Also Wikidata Q7801912
History
- 2026-11-02: add by m2/dev
OpenSSL VMV14F8WW1
| URI | m2://inv/VMV14F8WW1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia OpenSSL, OpenSSL (definition). Also Wikidata Q1052790
History
- 2026-11-02: add by m2/dev
One-way compression function VMV3K2MX36
| URI | m2://inv/VMV3K2MX36 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia One-way compression function, One-way compression function (definition). Also Wikidata Q3075219
History
- 2026-11-02: add by m2/dev
VMV938BRT4 VMV938BRT4
| URI | m2://inv/VMV938BRT4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20783#5NC7 (statement)
History
- 2026-11-02: add by m2/v0.6.18
VMVG964GC6 VMVG964GC6
| URI | m2://inv/VMVG964GC6 |
|---|---|
| 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.06381#VMCM (statement). In X9JKBDHACW/e1, lemma 6.1
History
- 2026-10-29: add by m2/v0.4.10
Convergence Rates VMVH5EMCY3
| URI | m2://inv/VMVH5EMCY3 |
|---|---|
| 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.10927#X6H0, Convergence Rates (statement). In DHEJP3YATV/e1, corollary 27
History
- 2026-10-28: add by m2/v0.4.3
VMW61X4YBV VMW61X4YBV
| URI | m2://inv/VMW61X4YBV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26019#Q1XR (statement)
History
- 2026-11-01: add by m2/v0.6.15
parabolic geometry VMWT4K8THT
| URI | m2://inv/VMWT4K8THT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7133733, parabolic geometry (unknown). Also nLab parabolic geometry
- wikipedia: Wikipedia Parabolic geometry (differential geometry), Parabolic geometry (definition). Also Wikidata Q7133733
History
- 2026-10-26: add by m2/dev
VMWXDE249X VMWXDE249X
| URI | m2://inv/VMWXDE249X |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 26-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2411.16022#DOOF (definition). In QG9ATXTKJ6/e1, definition 2.28
History
- 2026-10-27: add by m2/v0.3.5
Convex dual potentials VMX4ZQ5YJK
| URI | m2://inv/VMX4ZQ5YJK |
|---|---|
| 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.24716#6KJG, Convex dual potentials (statement)
History
- 2026-11-01: add by m2/v0.6.15
Applications VMX5N04TAM
| URI | m2://inv/VMX5N04TAM |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Superslow process#CBK8, Applications (example)
History
- 2026-11-02: add by m2/dev
Applications VMXCCPZV9M
| URI | m2://inv/VMXCCPZV9M |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Covariance#EILK, Applications (example)
History
- 2026-11-02: add by m2/dev
VMXDM14NKZ VMXDM14NKZ
| URI | m2://inv/VMXDM14NKZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/9807180#JUBL (statement). In VR3766BVE5/e1, theorem 4.2
History
- 2026-10-27: add by m2/v0.3.5
G VMXEN2JSD7
| URI | m2://inv/VMXEN2JSD7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of Lie groups and Lie algebras#ZCD0, G (definition)
History
- 2026-11-02: add by m2/dev
No contractive first coordinate projection VMXFQWZN52
| URI | m2://inv/VMXFQWZN52 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18709#06AR, No contractive first coordinate projection (statement). In K7VY50VFK6/e1, proposition 7.1
History
- 2026-10-28: add by m2/v0.4.2
Wigner rotation VMXXNDJWCC
| URI | m2://inv/VMXXNDJWCC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wigner rotation, Wigner rotation (definition). Also Wikidata Q25303636
History
- 2026-11-02: add by m2/dev
Properties VMXYSEWHBV
| URI | m2://inv/VMXYSEWHBV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Transitive set#ED5M, Properties (statement)
History
- 2026-11-02: add by m2/dev
Definitions VMY9SNE4G6
| URI | m2://inv/VMY9SNE4G6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Oracle machine#33UP, Definitions (definition)
History
- 2026-11-02: add by m2/dev
VMYAZ3ZQZQ VMYAZ3ZQZQ
| URI | m2://inv/VMYAZ3ZQZQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08935#CG2S (statement). In G02N9D40B9/e1, proposition 4.1.5
History
- 2026-10-29: add by m2/v0.4.10
Statement of the lemma VMYFHGBKRW
| URI | m2://inv/VMYFHGBKRW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Aubin–Lions lemma#8GNT, Statement of the lemma (statement)
History
- 2026-11-02: add by m2/dev
Applications VMYK5WC9F0
| URI | m2://inv/VMYK5WC9F0 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Window function#F2LG, Applications (example)
History
- 2026-11-02: add by m2/dev
VMYMHDSXVD VMYMHDSXVD
| URI | m2://inv/VMYMHDSXVD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/UncountableSets.tex#thm:containsUncountableSubset (statement). In P1C114YBXG, theorem, section K
History
- 2026-11-01: add by m2/v0.6.13
Validity VMYPCS6BEY
| URI | m2://inv/VMYPCS6BEY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Validity (statistics), Validity (definition). Also Wikidata Q18757
History
- 2026-11-02: add by m2/dev
Victoria Otero VMYSCWBCNY
| URI | m2://inv/VMYSCWBCNY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Victoria Otero, Victoria Otero (topic). Also Wikidata Q60621146
History
- 2026-11-02: add by m2/dev
VMYSVT86T3 VMYSVT86T3
| URI | m2://inv/VMYSVT86T3 |
|---|---|
| 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.08426#LWBD (statement). In YG2DPMNZ1N/e1, theorem 3.5
History
- 2026-10-29: add by m2/v0.4.10
VMYWW5NS0T VMYWW5NS0T
| URI | m2://inv/VMYWW5NS0T |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2106.06387#H3QA (unknown). In 4YJH4FPWDA/e1, unknown 1.3
History
- 2026-10-30: add by m2/v0.4.12
VMZ0284BME VMZ0284BME
| URI | m2://inv/VMZ0284BME |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23167#72X6 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Corrado Segre VMZ04HF55G
| URI | m2://inv/VMZ04HF55G |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#F194, Corrado Segre (topic)
- wikipedia: Wikipedia List of Italian mathematicians#KUE2, Corrado Segre (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#2P7I, Corrado Segre (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#85OQ, Corrado Segre (topic)
History
- 2026-11-02: add by m2/dev
Cohomology and ranks of the transferred differentials VMZ86P82ZV
| URI | m2://inv/VMZ86P82ZV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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.21093#YOMK, Cohomology and ranks of the transferred differentials (statement). In TBFPBPQV3G/e1, proposition 4.5
History
- 2026-10-27: add by m2/v0.4.2
Dedekind group VMZPYBBY20
| URI | m2://inv/VMZPYBBY20 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Richard Dedekind#W92D, Dedekind group (definition)
History
- 2026-11-02: add by m2/dev
Induced Graph Removal Lemma VMZS5XS05S
| URI | m2://inv/VMZS5XS05S |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graph removal lemma#9ICI, Induced Graph Removal Lemma (statement)
History
- 2026-11-02: add by m2/dev
VMZXW1SG7E VMZXW1SG7E
| URI | m2://inv/VMZXW1SG7E |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20285#JGKM (definition). In RQA728RB77/e1, definition 1
History
- 2026-10-27: add by m2/v0.4.2