Inventory rows FH
The cards of the rows of the inventory whose ids start with FH. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
FH02NGAXCB FH02NGAXCB
| URI | m2://inv/FH02NGAXCB |
|---|---|
| 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.28824#SNGM (statement)
History
- 2026-11-01: add by m2/v0.6.15
FH0329XJ0M FH0329XJ0M
| URI | m2://inv/FH0329XJ0M |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02061#KBLG (definition). In F5STMSPR6X/e1, definition 3.27
History
- 2026-10-29: add by m2/v0.4.12
FH0A3DR0CB FH0A3DR0CB
| URI | m2://inv/FH0A3DR0CB |
|---|---|
| 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.21976#VN5B (statement)
History
- 2026-11-02: add by m2/v0.6.17
FH0BBSS0G3 FH0BBSS0G3
| URI | m2://inv/FH0BBSS0G3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20466#5XVK (statement). In M4ZVJWM8YA/e1, lemma 5.12
History
- 2026-10-27: add by m2/v0.4.2
FH0BSN5SW2 FH0BSN5SW2
| URI | m2://inv/FH0BSN5SW2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 19-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23527#3U7N (statement)
History
- 2026-11-02: add by m2/v0.6.17
Multi-time-step integration FH0D4YXAW0
| URI | m2://inv/FH0D4YXAW0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multi-time-step integration, Multi-time-step integration (definition). Also Wikidata Q28457093
History
- 2026-11-02: add by m2/dev
FH0HS2Q91H FH0HS2Q91H
| URI | m2://inv/FH0HS2Q91H |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-higher-order-ode.tex#exercise-53 (exercise). In E9HS8K3A52, exercise, section 6.4.4
History
- 2026-11-01: add by m2/v0.6.13
FH0JCZV2BS FH0JCZV2BS
| URI | m2://inv/FH0JCZV2BS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39700#DYVU (statement). In E7W2HDNEKJ/e1, lemma 9.14
History
- 2026-10-30: add by m2/v0.4.12
characteristic class FH0K0WARA2
| URI | m2://inv/FH0K0WARA2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#3PG9, characteristic class (definition)
History
- 2026-11-02: add by m2/dev
Ensemble of trees FH0MB3DG5G
| URI | m2://inv/FH0MB3DG5G |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Decision tree learning#46V0, Ensemble of trees (unknown)
History
- 2026-11-02: add by m2/dev
Applications FH0QAA53SW
| URI | m2://inv/FH0QAA53SW |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rayleigh flow#U3EB, Applications (example)
History
- 2026-11-02: add by m2/dev
FH0SA8A08R FH0SA8A08R
| URI | m2://inv/FH0SA8A08R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2209.01576#NW6J (statement). In EF0X4TKTR4/e1, corollary 2.11
History
- 2026-10-27: add by m2/v0.3.5
van Kampen theorem FH17G2QXDZ
| URI | m2://inv/FH17G2QXDZ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/7.7/van-kampen-theorem, van Kampen theorem (concept). In N54F33XE07, index, section 7.7
History
- 2026-11-01: add by m2/v0.6.13
Hill's formula at the two-run classes FH1AHPJK3E
| URI | m2://inv/FH1AHPJK3E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18512#AK5K, Hill's formula at the two-run classes (statement). In 11JNM66Z09/e1, corollary 11.13
History
- 2026-10-28: add by m2/v0.4.2
Modular square root FH1BT7E5G6
| URI | m2://inv/FH1BT7E5G6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#6SWW, Modular square root (definition)
History
- 2026-11-02: add by m2/dev
Megagon FH1GX15GDF
| URI | m2://inv/FH1GX15GDF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#DXFS, Megagon (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#LV9H, Megagon (definition)
History
- 2026-11-02: add by m2/dev
FH1HR8K3JP FH1HR8K3JP
| URI | m2://inv/FH1HR8K3JP |
|---|---|
| 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 2609.25915#DLIP (statement)
History
- 2026-11-01: add by m2/v0.6.15
Formal statement FH1J28RCFP
| URI | m2://inv/FH1J28RCFP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Axiom of infinity#5NLS, Formal statement (statement)
History
- 2026-11-02: add by m2/dev
783 (number) FH1K7PNFT9
| URI | m2://inv/FH1K7PNFT9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 700 (number)#TA2A, 783 (number) (unknown)
History
- 2026-11-02: add by m2/dev
FH1PKMJ03K FH1PKMJ03K
| URI | m2://inv/FH1PKMJ03K |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10469#98ID (definition). In Q39BEKW6D9/e1, definition 3.8
History
- 2026-10-29: add by m2/v0.4.10
Properties FH22GS1GTA
| URI | m2://inv/FH22GS1GTA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Riemann–Liouville integral#AYKV, Properties (statement)
History
- 2026-11-02: add by m2/dev
FH23BZCN24 FH23BZCN24
| URI | m2://inv/FH23BZCN24 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08610#VYSW (statement). In CB2JWNS1E9/e1, fact 6.3
History
- 2026-10-29: add by m2/v0.4.10
"Goodbye Pareto Principle" FH27X38KJ0
| URI | m2://inv/FH27X38KJ0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Long tail#YFE6, "Goodbye Pareto Principle" (statement)
History
- 2026-11-02: add by m2/dev
FH28H1BG7D FH28H1BG7D
| URI | m2://inv/FH28H1BG7D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09001#SJ1H (statement). In HJC1JJZRSH/e1, proposition 4.7
History
- 2026-10-29: add by m2/v0.4.10
Definition FH2A2ZKHG7
| URI | m2://inv/FH2A2ZKHG7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Feferman–Schütte ordinal#OEA0, Definition (definition)
History
- 2026-11-02: add by m2/dev
FH2E1ES595 FH2E1ES595
| URI | m2://inv/FH2E1ES595 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2503.12486#6B1T (statement). In 3343AEAXB3/e1, corollary 2.5
History
- 2026-10-27: add by m2/v0.3.5
FH2EYZEK3E FH2EYZEK3E
| URI | m2://inv/FH2EYZEK3E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 49-XX, 58-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.13629#BPIS (statement). In PQNYA0C510/e1, proposition 1.6
History
- 2026-10-28: add by m2/v0.4.2
Arthropod FH2N5CZK72
| URI | m2://inv/FH2N5CZK72 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of paradoxes#PLHC, Arthropod (unknown)
History
- 2026-11-02: add by m2/dev
Polish space FH2NJAK4D4
| URI | m2://inv/FH2NJAK4D4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#9GOS, Polish space (definition)
History
- 2026-11-02: add by m2/dev
FH2P1PFC69 FH2P1PFC69
| URI | m2://inv/FH2P1PFC69 |
|---|---|
| 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.19288#86D4 (statement). In 1EA6AM9V01/e1, corollary 3.8
History
- 2026-10-28: add by m2/v0.4.2
Giovanni Girolamo Saccheri FH2PXYZ0QG
| URI | m2://inv/FH2PXYZ0QG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#AD59, Giovanni Girolamo Saccheri (topic)
- wikipedia: Wikipedia List of Italian mathematicians#XNSZ, Giovanni Girolamo Saccheri (topic)
History
- 2026-11-02: add by m2/dev
\bf Collocation Points for $(d+1)$-Navier-Stokes FH2VF1QW40
| URI | m2://inv/FH2VF1QW40 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2603.23072#2UGN, \bf Collocation Points for $(d+1)$-Navier-Stokes (definition). In FW08HEAPKW/e1, definition 3
History
- 2026-10-27: add by m2/v0.3.5
Christine Darden FH2X93KT0T
| URI | m2://inv/FH2X93KT0T |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Christine Darden, Christine Darden (topic). Also Wikidata Q16105897
History
- 2026-11-02: add by m2/dev
Applications FH346THRPS
| URI | m2://inv/FH346THRPS |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Character theory#5A1E, Applications (example)
History
- 2026-11-02: add by m2/dev
FH38R1GZN6 FH38R1GZN6
| URI | m2://inv/FH38R1GZN6 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2504.00267#BOFS (definition). In 38XJWDZ2PH/e1, definition 3.8
History
- 2026-10-27: add by m2/v0.3.5
Edge isoperimetric inequality FH3HDGPT25
| URI | m2://inv/FH3HDGPT25 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Isoperimetric inequality#393E, Edge isoperimetric inequality (statement)
History
- 2026-11-02: add by m2/dev
FH3P2HYKTV FH3P2HYKTV
| URI | m2://inv/FH3P2HYKTV |
|---|---|
| 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.33643#ZLUT (statement). In G8Y8XD02EC/e1, lemma 3.3
History
- 2026-10-30: add by m2/v0.4.12
Vizing's conjecture FH3PWPAB7S
| URI | m2://inv/FH3PWPAB7S |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#1OQG, Vizing's conjecture (conjecture)
History
- 2026-11-02: add by m2/dev
mks units FH3WT7F267
| URI | m2://inv/FH3WT7F267 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs index/5.5.1/mks-units, mks units (concept). In E9HS8K3A52, index, section 5.5.1
History
- 2026-11-01: add by m2/v0.6.13
Algorithms FH3YMFH2XN
| URI | m2://inv/FH3YMFH2XN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Centerpoint (geometry)#WW6S, Algorithms (definition)
History
- 2026-11-02: add by m2/dev
Dual graph FH44RPFSAK
| URI | m2://inv/FH44RPFSAK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of dualities#BQIB, Dual graph (definition)
History
- 2026-11-02: add by m2/dev
FH49BD0A4B FH49BD0A4B
| URI | m2://inv/FH49BD0A4B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/homology/singular.tex#definition-8 (definition). In RZP28ERRZV, definition, section 55.4
History
- 2026-11-01: add by m2/v0.6.13
FH4DYD1FD7 FH4DYD1FD7
| URI | m2://inv/FH4DYD1FD7 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-metric.tex#example-23 (example). In E59CDZA4DP, example, section 4.5.3
History
- 2026-11-01: add by m2/v0.6.13
FH4Q134F5C FH4Q134F5C
| URI | m2://inv/FH4Q134F5C |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-riemann.tex#exercise-28 (exercise). In E59CDZA4DP, exercise, section 8.3.4
History
- 2026-11-01: add by m2/v0.6.13
Bernstein's theorem FH4VSN0B8B
| URI | m2://inv/FH4VSN0B8B |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#46WB, Bernstein's theorem (statement)
History
- 2026-11-02: add by m2/dev
Marques--Neves' asymptotic optimality conjecture FH4WJYXJ3Q
| URI | m2://inv/FH4WJYXJ3Q |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 35-XX, 47-XX, 53-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37769#2BOR, Marques--Neves' asymptotic optimality conjecture (conjecture). In MJWNGM4S01/e1, conjecture 1.1
History
- 2026-10-30: add by m2/v0.4.12
Position circle FH4X6W9XCX
| URI | m2://inv/FH4X6W9XCX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of circle topics#AKRW, Position circle (unknown)
History
- 2026-11-02: add by m2/dev
Mipmap FH510ZZ14Z
| URI | m2://inv/FH510ZZ14Z |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#OC0D, Mipmap (unknown)
History
- 2026-11-02: add by m2/dev
Putnam Competition FH52TTPEW2
| URI | m2://inv/FH52TTPEW2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Putnam Competition, Putnam Competition (definition). Also Wikidata Q8014735
History
- 2026-11-02: add by m2/dev
Differential variational inequality FH572PCCBC
| URI | m2://inv/FH572PCCBC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Differential variational inequality, Differential variational inequality (statement). Also Wikidata Q5275370
History
- 2026-11-02: add by m2/dev
Exact curvature formula for a height graph FH58TA3QAF
| URI | m2://inv/FH58TA3QAF |
|---|---|
| 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 2610.12238#VAMH, Exact curvature formula for a height graph (statement). In E31CZYM2H8/e1, lemma 6.3
History
- 2026-10-28: add by m2/v0.4.2
FH5QMM1MC5 FH5QMM1MC5
| URI | m2://inv/FH5QMM1MC5 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26572#L2BQ (definition)
History
- 2026-11-01: add by m2/v0.6.15
FH5VAMBTDT FH5VAMBTDT
| URI | m2://inv/FH5VAMBTDT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2503.19729#0I8B (statement). In 40YZ43TS8K/e1, lemma 3.1
History
- 2026-10-27: add by m2/v0.3.5
FH61FFF44D FH61FFF44D
| URI | m2://inv/FH61FFF44D |
|---|---|
| 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 2311.01874#57IP (statement). In A4TR95VGX2/e1, proposition 1
History
- 2026-10-27: add by m2/v0.3.5
North East Asian Mathematics Competition FH62B7XFE0
| URI | m2://inv/FH62B7XFE0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia North East Asian Mathematics Competition, North East Asian Mathematics Competition (definition). Also Wikidata Q42377858
History
- 2026-11-02: add by m2/dev
FH62ZACA96 FH62ZACA96
| URI | m2://inv/FH62ZACA96 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38068#LF2S (statement). In 67GE5M1GGD/e1, lemma 6.4
History
- 2026-10-30: add by m2/v0.4.12
Self-similarity matrix FH6CZEZQ6A
| URI | m2://inv/FH6CZEZQ6A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#FGH6, Self-similarity matrix (definition)
History
- 2026-11-02: add by m2/dev
Computability logic FH6DCJHJ6D
| URI | m2://inv/FH6DCJHJ6D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Computability logic, Computability logic (definition). Also Wikidata Q5157263
History
- 2026-11-02: add by m2/dev
FH6DZCR40R FH6DZCR40R
| URI | m2://inv/FH6DZCR40R |
|---|---|
| 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.28808#1LN6 (statement)
History
- 2026-11-01: add by m2/v0.6.15
hyperbolic sine integral FH6JTKNAA2
| URI | m2://inv/FH6JTKNAA2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#X8FO, hyperbolic sine integral (definition)
History
- 2026-11-02: add by m2/dev
Examples FH6RCH77TT
| URI | m2://inv/FH6RCH77TT |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Universal differential equation#9M7N, Examples (example)
History
- 2026-11-02: add by m2/dev
Persistent Strong Recovery Slightly above the Algorithmic Threshold FH6RGAN5JD
| URI | m2://inv/FH6RGAN5JD |
|---|---|
| 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.16705#J5AW, Persistent Strong Recovery Slightly above the Algorithmic Threshold (statement). In B48YQVGAF5/e1, corollary 6.3
History
- 2026-10-28: add by m2/v0.4.2
FH6TY7ETCS FH6TY7ETCS
| URI | m2://inv/FH6TY7ETCS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19854#ERCJ (statement). In D50WST4CG3/e1, lemma 4.2
History
- 2026-10-28: add by m2/v0.4.2
FH7E8KFMBA FH7E8KFMBA
| URI | m2://inv/FH7E8KFMBA |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 16-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20306#SCAZ (example). In YG5EX49042/e1, example 2.7
History
- 2026-10-27: add by m2/v0.4.2
FH7GGNS4TH FH7GGNS4TH
| URI | m2://inv/FH7GGNS4TH |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_genfunction_exercises.ptx#exercise-3 (exercise). In QKM9DD2H56, exercise, section 8
History
- 2026-11-01: add by m2/v0.6.13
Steve Nison FH7H6CA9D3
| URI | m2://inv/FH7H6CA9D3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Candlestick chart#2O4H, Steve Nison (unknown)
History
- 2026-11-02: add by m2/dev
Action principles and related ideas FH7JCGGNKC
| URI | m2://inv/FH7JCGGNKC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Action (physics)#EFG0, Action principles and related ideas (statement)
History
- 2026-11-02: add by m2/dev
Birol Emir FH7SP8XYHS
| URI | m2://inv/FH7SP8XYHS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#TCDZ, Birol Emir (topic)
History
- 2026-11-02: add by m2/dev
FH80NTS215 FH80NTS215
| URI | m2://inv/FH80NTS215 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-vol1-intro.tex#exercise-19 (exercise). In E59CDZA4DP, exercise, section 11.9.6
History
- 2026-11-01: add by m2/v0.6.13
Construction FH86DDXYKM
| URI | m2://inv/FH86DDXYKM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elongated square gyrobicupola#S05T, Construction (definition)
History
- 2026-11-02: add by m2/dev
Gage–Hamilton–Grayson theorem FH8JQEGF8J
| URI | m2://inv/FH8JQEGF8J |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Curve-shortening flow#XRPU, Gage–Hamilton–Grayson theorem (statement)
History
- 2026-11-02: add by m2/dev
FH8KMRJH87 FH8KMRJH87
| URI | m2://inv/FH8KMRJH87 |
|---|---|
| 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.04809#ZEGD (statement). In 2VHV0RNTNV/e1, lemma 7.16
History
- 2026-10-29: add by m2/v0.4.12
Scalar minimax characterization FH8Q401KM4
| URI | m2://inv/FH8Q401KM4 |
|---|---|
| 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.21363#KB3Y, Scalar minimax characterization (statement). In YPH7NS5AAQ/e1, theorem 4.1
History
- 2026-10-27: add by m2/v0.4.2
Lattice point subdivision FH8Q90P217
| URI | m2://inv/FH8Q90P217 |
|---|---|
| Kind | example |
| 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#EO45, Lattice point subdivision (example). In G02N9D40B9/e1, example 7.3.3
History
- 2026-10-29: add by m2/v0.4.10
FH8RVGYA0V FH8RVGYA0V
| URI | m2://inv/FH8RVGYA0V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33313#SKZD (statement). In HRCEFY172P/e1, lemma 3.3
History
- 2026-10-30: add by m2/v0.4.12
FH8S7QHJDM FH8S7QHJDM
| URI | m2://inv/FH8S7QHJDM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07293#HLG2 (statement). In V1GVYM0WQG/e1, lemma 5.1
History
- 2026-10-29: add by m2/v0.4.10
FH8WYMFD7V FH8WYMFD7V
| URI | m2://inv/FH8WYMFD7V |
|---|---|
| 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.09578#YSUY (statement). In WT0ZB7R39B/e1, lemma 2.5
History
- 2026-10-29: add by m2/v0.4.10
FH94D25HMV FH94D25HMV
| URI | m2://inv/FH94D25HMV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.22180#WM8T (statement). In VXQXVZ7SE7/e1, proposition 2.2
History
- 2026-10-27: add by m2/v0.4.0
Why 10 dimensions FH96ENP8KC
| URI | m2://inv/FH96ENP8KC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of string theory topics#2SXQ, Why 10 dimensions (topic)
History
- 2026-11-02: add by m2/dev
FH99D3K5QY FH99D3K5QY
| URI | m2://inv/FH99D3K5QY |
|---|---|
| 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.15504#YXJR (statement). In AZ8SEW6HAV/e1, theorem 3
History
- 2026-10-28: add by m2/v0.4.2
FH9DN246JJ FH9DN246JJ
| URI | m2://inv/FH9DN246JJ |
|---|---|
| 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.39747#WAPU (statement). In 9H2KJ3W3JX/e1, theorem 6
History
- 2026-10-30: add by m2/v0.4.12
□′ FH9DN2M6VZ
| URI | m2://inv/FH9DN2M6VZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of mathematical symbols#3J16, □′ (definition)
History
- 2026-11-02: add by m2/dev
Differential module FH9RXP2F5S
| URI | m2://inv/FH9RXP2F5S |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of homological algebra topics#NNRA, Differential module (unknown)
History
- 2026-11-02: add by m2/dev
Meetings only on equal levels FH9WP33T91
| URI | m2://inv/FH9WP33T91 |
|---|---|
| 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.22301#USQU, Meetings only on equal levels (statement)
History
- 2026-11-02: add by m2/v0.6.17
FHA3YNNWF3 FHA3YNNWF3
| URI | m2://inv/FHA3YNNWF3 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-one-dim-ints-sv.tex#proof-5 (proof). In E59CDZA4DP, proof, section 6.3.1
History
- 2026-11-01: add by m2/v0.6.13
Solomon Nikritin FHA5H7Y338
| URI | m2://inv/FHA5H7Y338 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#WA34, Solomon Nikritin (unknown)
History
- 2026-11-02: add by m2/dev
FHA7P8MY2P FHA7P8MY2P
| URI | m2://inv/FHA7P8MY2P |
|---|---|
| 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.21414#R86B (statement)
History
- 2026-11-02: add by m2/v0.6.18
FHA8NNJBCD FHA8NNJBCD
| URI | m2://inv/FHA8NNJBCD |
|---|---|
| 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#6H8Z (statement). In K7VY50VFK6/e1, lemma 15.3
History
- 2026-10-28: add by m2/v0.4.2
Blockwise limits and augmented matching FHAAW580SJ
| URI | m2://inv/FHAAW580SJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28220#2H5Q, Blockwise limits and augmented matching (statement)
History
- 2026-11-01: add by m2/v0.6.15
L. Mahadevan FHAKKTPXPJ
| URI | m2://inv/FHAKKTPXPJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia L. Mahadevan, L. Mahadevan (topic). Also Wikidata Q1797780
History
- 2026-11-02: add by m2/dev
Generalized Euler characteristic FHAKQ8HT1M
| URI | m2://inv/FHAKQ8HT1M |
|---|---|
| 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 2610.11383#RM1E, Generalized Euler characteristic (definition). In DJBZ3V8SQ6/e1, definition 2.5
History
- 2026-10-28: add by m2/v0.4.3
Rescaled range FHAN58T95E
| URI | m2://inv/FHAN58T95E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#OAFT, Rescaled range (definition)
History
- 2026-11-02: add by m2/dev
Rekha R. Thomas FHAZDT8CEJ
| URI | m2://inv/FHAZDT8CEJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rekha R. Thomas, Rekha R. Thomas (topic). Also Wikidata Q18719243
History
- 2026-11-02: add by m2/dev
FHB24FGNQX FHB24FGNQX
| URI | m2://inv/FHB24FGNQX |
|---|---|
| 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#T9C1 (statement). In RK0ZMDJ23T/e1, lemma 1.1.10
History
- 2026-10-31: add by m2/v0.5.6
Approximations of the golden spiral FHB8SN2P57
| URI | m2://inv/FHB8SN2P57 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Golden spiral#4L6K, Approximations of the golden spiral (unknown)
History
- 2026-11-02: add by m2/dev
FHBKP03HH1 FHBKP03HH1
| URI | m2://inv/FHBKP03HH1 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1009.2047#DX8I (definition). In F3MWRNBNED/e1, definition 2.1
History
- 2026-10-27: add by m2/v0.3.5
Zaid Orudzhev FHBN87A37A
| URI | m2://inv/FHBN87A37A |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zaid Orudzhev, Zaid Orudzhev (topic). Also Wikidata Q4337184
History
- 2026-11-02: add by m2/dev
FHC15B871A FHC15B871A
| URI | m2://inv/FHC15B871A |
|---|---|
| Kind | definition |
| 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.01858#C8RB (definition). In NXSV14WJKJ/e1, definition 3.3
History
- 2026-10-29: add by m2/v0.4.12
FHC4K4FZ29 FHC4K4FZ29
| URI | m2://inv/FHC4K4FZ29 |
|---|---|
| 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.40207#FVJF (statement). In JXTG8KP95P/e1, proposition 1.5
History
- 2026-10-30: add by m2/v0.4.12
Cosmic shear FHC8QSS7Q0
| URI | m2://inv/FHC8QSS7Q0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weak gravitational lensing#CFOW, Cosmic shear (unknown)
History
- 2026-11-02: add by m2/dev
FHC9CJTRHP FHC9CJTRHP
| URI | m2://inv/FHC9CJTRHP |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/quasi-proj.tex#problem-3 (exercise). In RZP28ERRZV, problem, section 24.4
History
- 2026-11-01: add by m2/v0.6.13
FHCDDRD6PD FHCDDRD6PD
| URI | m2://inv/FHCDDRD6PD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09900#ON2F (statement). In ATSYBWEMMP/e1, proposition 3.9
History
- 2026-10-29: add by m2/v0.4.10
FHCJDH1W6J FHCJDH1W6J
| URI | m2://inv/FHCJDH1W6J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2109.09268#4N8I (statement). In SYZFEVFHC3/e1, theorem 1.1
History
- 2026-10-27: add by m2/v0.3.5
Large deviations for closed singular cycles FHCK8RRSJF
| URI | m2://inv/FHCK8RRSJF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27851#K3Q2, Large deviations for closed singular cycles (statement)
History
- 2026-11-01: add by m2/v0.6.15
Datar--Mete--Song FHCQSG5RE1
| URI | m2://inv/FHCQSG5RE1 |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28411#K3OX, Datar--Mete--Song (conjecture)
History
- 2026-11-01: add by m2/v0.6.15
FHCVXDVM35 FHCVXDVM35
| URI | m2://inv/FHCVXDVM35 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2210.06147#LA3O (statement). In 94RBNQA07A/e1, lemma A.1
History
- 2026-10-27: add by m2/v0.3.5
Definition FHCW40BGP2
| URI | m2://inv/FHCW40BGP2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gauss–Legendre quadrature#A2BP, Definition (definition)
History
- 2026-11-02: add by m2/dev
FHCXK64AY0 FHCXK64AY0
| URI | m2://inv/FHCXK64AY0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18847#873C (statement). In DZ12XTTJSM/e1, lemma 4.11
History
- 2026-10-28: add by m2/v0.4.2
Principle FHDAND8EKG
| URI | m2://inv/FHDAND8EKG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geometric phase analysis#GZWX, Principle (statement)
History
- 2026-11-02: add by m2/dev
Non-examples FHDD6F1540
| URI | m2://inv/FHDD6F1540 |
|---|---|
| Kind | counterexample |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Abelian category#R15T, Non-examples (counterexample)
History
- 2026-11-02: add by m2/dev
FHDEEP6415 FHDEEP6415
| URI | m2://inv/FHDEEP6415 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/quantum/circuits.tex#theorem-3 (statement). In RZP28ERRZV, theorem, section 75.4
History
- 2026-11-01: add by m2/v0.6.13
FHDFMB39CD FHDFMB39CD
| URI | m2://inv/FHDFMB39CD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27125#1ABZ (statement)
History
- 2026-11-01: add by m2/v0.6.15
FHDFR0H14B FHDFR0H14B
| URI | m2://inv/FHDFR0H14B |
|---|---|
| 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#86QJ (definition)
History
- 2026-11-01: add by m2/v0.6.15
Exercise FHDM5SRA4X
| URI | m2://inv/FHDM5SRA4X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exercise (mathematics), Exercise (definition). Also Wikidata Q5420020
History
- 2026-11-02: add by m2/dev
FHDWN4STZ0 FHDWN4STZ0
| URI | m2://inv/FHDWN4STZ0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.08196#JTZK (statement). In 8QVWZ23N42/e1, theorem 5.1
History
- 2026-10-29: add by m2/v0.4.10
FHE9CCV932 FHE9CCV932
| URI | m2://inv/FHE9CCV932 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2411.01837#EV29 (statement). In 2XBYZ1QP22/e1, lemma 2.1
History
- 2026-10-27: add by m2/v0.3.5
linearity of the Laplace transform FHEACNCGZQ
| URI | m2://inv/FHEACNCGZQ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs index/7.1.1/linearity-of-the-laplace-transform, linearity of the Laplace transform (concept). In E9HS8K3A52, index, section 7.1.1
History
- 2026-11-01: add by m2/v0.6.13
FHER5F21JT FHER5F21JT
| URI | m2://inv/FHER5F21JT |
|---|---|
| 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 1002.0879#4AB9 (definition). In M0SQY5EZN5/e1, definition 2.9.10
History
- 2026-10-27: add by m2/v0.3.5
FHEY003YYP FHEY003YYP
| URI | m2://inv/FHEY003YYP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-XX, 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13213#ACL1 (statement). In V97F4YZ8B0/e1, corollary 9.9
History
- 2026-10-28: add by m2/v0.4.2
FHF5CMT07Z FHF5CMT07Z
| URI | m2://inv/FHF5CMT07Z |
|---|---|
| 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.27800#ZBRU (statement)
History
- 2026-11-01: add by m2/v0.6.15
FHF9BN80Q0 FHF9BN80Q0
| URI | m2://inv/FHF9BN80Q0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12357#CI2G (statement). In 1F26AF81XP/e1, lemma B.1
History
- 2026-10-28: add by m2/v0.4.2
Irreps give an orthonormal basis FHFEJ0FHR0
| URI | m2://inv/FHFEJ0FHR0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/rep-theory/characters.tex#corollary-1, Irreps give an orthonormal basis (statement). In RZP28ERRZV, corollary, section 79.3
History
- 2026-11-01: add by m2/v0.6.13
FHFHA8Q3ER FHFHA8Q3ER
| URI | m2://inv/FHFHA8Q3ER |
|---|---|
| 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.22002#T2VK (statement). In JTND2BM263/e1, theorem 0.2
History
- 2026-10-27: add by m2/v0.4.2
FHFHPWS1TG FHFHPWS1TG
| URI | m2://inv/FHFHPWS1TG |
|---|---|
| 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.33932#44O3 (statement). In YPVF3ET43M/e1, theorem 1.1
History
- 2026-10-30: add by m2/v0.4.12
Statement of the inequality FHFJD5BV65
| URI | m2://inv/FHFJD5BV65 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Titu's lemma#7UG5, Statement of the inequality (statement)
History
- 2026-11-02: add by m2/dev
FHFPDTDKNH FHFPDTDKNH
| URI | m2://inv/FHFPDTDKNH |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-contfunc.tex#exercise-24 (exercise). In E59CDZA4DP, exercise, section 2.2.4
History
- 2026-11-01: add by m2/v0.6.13
FHFSEE65KR FHFSEE65KR
| URI | m2://inv/FHFSEE65KR |
|---|---|
| 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 2210.11778#27KK (statement). In PPAJZ2JBCE/e1, theorem 1.4
History
- 2026-10-27: add by m2/v0.3.5
FHFV1N59GD FHFV1N59GD
| URI | m2://inv/FHFV1N59GD |
|---|---|
| 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.28009#8P8I (statement)
History
- 2026-11-01: add by m2/v0.6.15
FHFVENJH81 FHFVENJH81
| URI | m2://inv/FHFVENJH81 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-several-vars-ders.tex#defn-5 (definition). In E59CDZA4DP, defn, section 11.2.1
History
- 2026-11-01: add by m2/v0.6.13
Matrix FHG0GH8D9F
| URI | m2://inv/FHG0GH8D9F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Matrix (protocol), Matrix (definition). Also Wikidata Q22906785
History
- 2026-11-02: add by m2/dev
Su Song FHG5Y9F7NN
| URI | m2://inv/FHG5Y9F7NN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Chinese mathematicians#4HWN, Su Song (unknown)
History
- 2026-11-02: add by m2/dev
Størmer number FHGCAV266Z
| URI | m2://inv/FHGCAV266Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Størmer number, Størmer number (definition). Also Wikidata Q430033
History
- 2026-11-02: add by m2/dev
Hysteretic Models FHGCMY0QKZ
| URI | m2://inv/FHGCMY0QKZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hysteresis#CMNW, Hysteretic Models (unknown)
History
- 2026-11-02: add by m2/dev
Cartesian power FHGM0BVE9T
| URI | m2://inv/FHGM0BVE9T |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q77610627, Cartesian power (unknown). Also nLab cartesian power
History
- 2026-10-26: add by m2/dev
Adolf Weiler FHGMXAV7W0
| URI | m2://inv/FHGMXAV7W0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Adolf Weiler, Adolf Weiler (topic). Also Wikidata Q37738738
History
- 2026-11-02: add by m2/dev
Definition via branching covers FHGPCEM423
| URI | m2://inv/FHGPCEM423 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cayley configuration space#T4GY, Definition via branching covers (definition)
History
- 2026-11-02: add by m2/dev
FHGRAQTDGA FHGRAQTDGA
| URI | m2://inv/FHGRAQTDGA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07909#ESS8 (statement). In 6KST0WX37C/e1, lemma 3.4
History
- 2026-10-29: add by m2/v0.4.10
FHGRTSBTFW FHGRTSBTFW
| URI | m2://inv/FHGRTSBTFW |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2506.16491#5LJB (definition). In P9J6P06Y40/e1, definition 4.13
History
- 2026-10-27: add by m2/v0.3.5
FHGS5QXFXH FHGS5QXFXH
| URI | m2://inv/FHGS5QXFXH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09945#AO7E (statement). In V7VCEA0VAA/e1, lemma 2.14
History
- 2026-10-29: add by m2/v0.4.10
evector FHGT2XEQW9
| URI | m2://inv/FHGT2XEQW9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of invariant theory#GGKP, evector (definition)
History
- 2026-11-02: add by m2/dev
Algebraically closed group FHH5XKCN46
| URI | m2://inv/FHH5XKCN46 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Algebraically closed group, Algebraically closed group (definition). Also Wikidata Q4724025
History
- 2026-11-02: add by m2/dev
type, colimit FHH9FNGQYX
| URI | m2://inv/FHH9FNGQYX |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/1.15/type-colimit, type, colimit (concept). In N54F33XE07, index, section 1.15
History
- 2026-11-01: add by m2/v0.6.13
Nauru graph FHHAVJCGMA
| URI | m2://inv/FHHAVJCGMA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3115524, Nauru graph (unknown). Also House of Graphs 1234, MathWorld NauruGraph
- wikipedia: Wikipedia Nauru graph, Nauru graph (definition). Also Wikidata Q3115524
History
- 2026-10-26: add by m2/dev
FHHNGZK446 FHHNGZK446
| URI | m2://inv/FHHNGZK446 |
|---|---|
| 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.18312#18BH (statement). In NPEVE32HFP/e1, lemma 7.1
History
- 2026-10-28: add by m2/v0.4.2
heptagram FHHNSNHZ9X
| URI | m2://inv/FHHNSNHZ9X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1887094, heptagram (unknown). Also MathWorld Heptagram
- wikipedia: Wikipedia Heptagram, Heptagram (definition). Also Wikidata Q1887094
History
- 2026-10-26: add by m2/dev
Conjunction/disjunction duality FHJ3M9KT1M
| URI | m2://inv/FHJ3M9KT1M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conjunction/disjunction duality, Conjunction/disjunction duality (definition). Also Wikidata Q910433
History
- 2026-11-02: add by m2/dev
Direct products FHJ7SHZV9N
| URI | m2://inv/FHJ7SHZV9N |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00021#XH89, Direct products (example). In EX42AVA7CV/e1, example 8.1
History
- 2026-10-30: add by m2/v0.4.12
Aldo Andreotti FHJ9E6RCJZ
| URI | m2://inv/FHJ9E6RCJZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#PAW8, Aldo Andreotti (topic)
History
- 2026-11-02: add by m2/dev
Finiteness and mutual non-domination of the three moments FHJH2WCW23
| URI | m2://inv/FHJH2WCW23 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00501#PK7R, Finiteness and mutual non-domination of the three moments (statement). In FTPW1SZ8D3/e1, lemma C.7
History
- 2026-10-30: add by m2/v0.4.12
Peter Jagers FHJM6QMEV7
| URI | m2://inv/FHJM6QMEV7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical probabilists#5LT4, Peter Jagers (topic)
History
- 2026-11-02: add by m2/dev
Hemicube (computer graphics) FHJNNQ8HHH
| URI | m2://inv/FHJNNQ8HHH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#OFJL, Hemicube (computer graphics) (unknown)
History
- 2026-11-02: add by m2/dev
FHJW5TX0WR FHJW5TX0WR
| URI | m2://inv/FHJW5TX0WR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03081#NBD2 (statement). In TX0H26X4VX/e1, proposition 3.2
History
- 2026-10-29: add by m2/v0.4.12
FHK0M9XR05 FHK0M9XR05
| URI | m2://inv/FHK0M9XR05 |
|---|---|
| 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.13631#E74C (statement). In N6PQQSYN73/e1, lemma 4
History
- 2026-10-28: add by m2/v0.4.2
Absinthe FHK243BQJB
| URI | m2://inv/FHK243BQJB |
|---|---|
| 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#NT3F, Absinthe (unknown)
History
- 2026-11-02: add by m2/dev
Algorithms FHK391X5DT
| URI | m2://inv/FHK391X5DT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Post-quantum cryptography#0NAL, Algorithms (definition)
History
- 2026-11-02: add by m2/dev
FHK8YV2DC1 FHK8YV2DC1
| URI | m2://inv/FHK8YV2DC1 |
|---|---|
| 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.07259#ONL8 (statement). In XMR1TTDSPG/e1, lemma 3.2
History
- 2026-10-29: add by m2/v0.4.10
519 (number) FHK93QPH22
| URI | m2://inv/FHK93QPH22 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 500 (number)#5WUR, 519 (number) (unknown)
History
- 2026-11-02: add by m2/dev
Shallow representation lower bound FHKES0PJAP
| URI | m2://inv/FHKES0PJAP |
|---|---|
| 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.10875#E8M5, Shallow representation lower bound (statement). In N91F15MHW1/e1, corollary 2
History
- 2026-10-28: add by m2/v0.4.3
FHKGVFECAR FHKGVFECAR
| URI | m2://inv/FHKGVFECAR |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/counting-advPIE.ptx#exercise-8 (exercise). In Y91XFCEVHQ, exercise, section 2.6
History
- 2026-11-01: add by m2/v0.6.13
Exposing FHKKFD704P
| URI | m2://inv/FHKKFD704P |
|---|---|
| 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 math/0003117#9J4K, Exposing (statement). In WD2NCBV9F0/e1, lemma 14.17
History
- 2026-10-27: add by m2/v0.3.5
FHKMR94CDE FHKMR94CDE
| URI | m2://inv/FHKMR94CDE |
|---|---|
| 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.04382#7S2F (statement). In 7VW8XD28G1/e1, lemma 3.7
History
- 2026-10-29: add by m2/v0.4.12
FHKQDBJFKK FHKQDBJFKK
| URI | m2://inv/FHKQDBJFKK |
|---|---|
| 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.28597#DUIC (statement)
History
- 2026-11-01: add by m2/v0.6.15
Steven Giddings FHKQG2HZ8Y
| URI | m2://inv/FHKQG2HZ8Y |
|---|---|
| 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 Q23981280, Steven Giddings (unknown). Also nLab Steven Giddings
History
- 2026-10-26: add by m2/dev
Tomer Schlank FHKYSJJX5V
| URI | m2://inv/FHKYSJJX5V |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tomer Schlank, Tomer Schlank (topic). Also Wikidata Q102420357
History
- 2026-11-02: add by m2/dev
A hybrid HS-LS conjugate FHKZH2A4RX
| URI | m2://inv/FHKZH2A4RX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#V9IT, A hybrid HS-LS conjugate (unknown)
History
- 2026-11-02: add by m2/dev
Algorithm \(\SampleSelfOrthogonal\ FHM0GADNHB
| URI | m2://inv/FHM0GADNHB |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08664#725A, Algorithm \(\SampleSelfOrthogonal\ (definition). In 1YY0P4ZS0T/e1, definition 23
History
- 2026-10-29: add by m2/v0.4.10
Hodge duality FHM3C5J5GX
| URI | m2://inv/FHM3C5J5GX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after W. V. D. Hodge#DFN4, Hodge duality (definition)
History
- 2026-11-02: add by m2/dev
Definition FHM4SVA36K
| URI | m2://inv/FHM4SVA36K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Noncrossing partition#5DKX, Definition (definition)
History
- 2026-11-02: add by m2/dev
FHM997YF4J FHM997YF4J
| URI | m2://inv/FHM997YF4J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2305.10202#BL67 (statement). In ER06JKXR8B/e1, lemma 2.4
History
- 2026-10-27: add by m2/v0.4.0
Definition FHM9Z1ZE3C
| URI | m2://inv/FHM9Z1ZE3C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ornstein–Uhlenbeck process#63QR, Definition (definition)
History
- 2026-11-02: add by m2/dev
FHMBBXY7Y9 FHMBBXY7Y9
| URI | m2://inv/FHMBBXY7Y9 |
|---|---|
| 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.04411#MJ4E (statement). In 6AY8SX3XBW/e1, lemma 3.2
History
- 2026-10-29: add by m2/v0.4.12
FHMH145QN5 FHMH145QN5
| URI | m2://inv/FHMH145QN5 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_inclusion-exclusion_derangements.ptx#example-1 (example). In QKM9DD2H56, example, section 7.4
History
- 2026-11-01: add by m2/v0.6.13
Borderline boost regularity for Dirichlet problems FHMNX52D02
| URI | m2://inv/FHMNX52D02 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25449#GVQ1, Borderline boost regularity for Dirichlet problems (statement). In 9JHMTYGWFQ/e1, theorem 1.16
History
- 2026-10-27: add by m2/v0.3.6
Representations FHMPPDJ8AQ
| URI | m2://inv/FHMPPDJ8AQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Associative algebra#JUYU, Representations (definition)
History
- 2026-11-02: add by m2/dev
FHMS30KRQV FHMS30KRQV
| URI | m2://inv/FHMS30KRQV |
|---|---|
| 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.19845#HWPH (statement). In A8Y7B1MD91/e1, theorem 1.6
History
- 2026-10-28: add by m2/v0.4.2
FHMXJT7779 FHMXJT7779
| URI | m2://inv/FHMXJT7779 |
|---|---|
| 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 2506.21337#VG4J (statement). In EPZN0JTG2Z/e1, theorem 23
History
- 2026-10-27: add by m2/v0.3.5
Examples FHN4W02ER6
| URI | m2://inv/FHN4W02ER6 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Balanced set#34SC, Examples (example)
History
- 2026-11-02: add by m2/dev
Xtraview Encryption System FHN52ZNBEC
| URI | m2://inv/FHN52ZNBEC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Xtraview Encryption System, Xtraview Encryption System (definition). Also Wikidata Q8045062
History
- 2026-11-02: add by m2/dev
FHN5AABNFT FHN5AABNFT
| URI | m2://inv/FHN5AABNFT |
|---|---|
| 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.30105#KSPD (statement)
History
- 2026-11-01: add by m2/v0.6.15
FHNCJYP16X FHNCJYP16X
| URI | m2://inv/FHNCJYP16X |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18219#NI4R (definition). In X1AGBB90EH/e1, definition 5.1
History
- 2026-10-28: add by m2/v0.4.2
Judy Chu FHND7K18YH
| URI | m2://inv/FHND7K18YH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#F4UH, Judy Chu (unknown)
History
- 2026-11-02: add by m2/dev
Fourth moment reduction FHNEZK76DR
| URI | m2://inv/FHNEZK76DR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02843#MJBC, Fourth moment reduction (statement). In 2XC1KQXA9H/e1, lemma 1
History
- 2026-10-29: add by m2/v0.4.12
FHNF84MTV9 FHNF84MTV9
| URI | m2://inv/FHNF84MTV9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20588#0AXW (statement)
History
- 2026-11-02: add by m2/v0.6.18
Arnold Droz-Farny FHNME7KPM9
| URI | m2://inv/FHNME7KPM9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arnold Droz-Farny, Arnold Droz-Farny (topic). Also Wikidata Q37723613
History
- 2026-11-02: add by m2/dev
Scott--Huggins martingale embedding FHNSGZ10PY
| URI | m2://inv/FHNSGZ10PY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40338#5ZZ9, Scott--Huggins martingale embedding (statement). In K5H6GS0SGQ/e1, lemma 4.5
History
- 2026-10-30: add by m2/v0.4.12
Arbitrary torus gluing FHNWWG1WCB
| URI | m2://inv/FHNWWG1WCB |
|---|---|
| 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.17608#T7NP, Arbitrary torus gluing (statement). In VAGWC38NSF/e1, lemma 3.5
History
- 2026-10-28: add by m2/v0.4.2
Applications FHNXHQRDKA
| URI | m2://inv/FHNXHQRDKA |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Indiscernibles#9JI2, Applications (example)
History
- 2026-11-02: add by m2/dev
The index vector is the kernel vector of the monodromy FHNZZ8PEF7
| URI | m2://inv/FHNZZ8PEF7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18512#T2EF, The index vector is the kernel vector of the monodromy (statement). In 11JNM66Z09/e1, fact 11.7
History
- 2026-10-28: add by m2/v0.4.2
FHP1XMZ1JF FHP1XMZ1JF
| URI | m2://inv/FHP1XMZ1JF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-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 2006.07610#KDZO (statement). In RYB8WE6DQ4/e1, lemma 2
History
- 2026-10-27: add by m2/v0.3.5
\bf Correctness of terminal localization FHP7GNSPJS
| URI | m2://inv/FHP7GNSPJS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02791#EABH, \bf Correctness of terminal localization (statement). In TT9BA4VMTW/e1, lemma 5.4
History
- 2026-10-29: add by m2/v0.4.12
Attic numerals FHPS9JVBRM
| URI | m2://inv/FHPS9JVBRM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Attic numerals, Attic numerals (definition). Also Wikidata Q2321757
History
- 2026-11-02: add by m2/dev
Duns Scotus FHPV1JQJFP
| URI | m2://inv/FHPV1JQJFP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Duns Scotus, Duns Scotus (topic). Also Wikidata Q190089
History
- 2026-11-02: add by m2/dev
FHPZDJXZY2 FHPZDJXZY2
| URI | m2://inv/FHPZDJXZY2 |
|---|---|
| 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.13847#HOV6 (statement). In S4FHV821A2/e1, corollary 1
History
- 2026-10-28: add by m2/v0.4.2
FHQ1BE1DZF FHQ1BE1DZF
| URI | m2://inv/FHQ1BE1DZF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 55-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.21365#OBF0 (statement). In FCMMB2EVAP/e1, proposition 2.23
History
- 2026-10-27: add by m2/v0.4.2
Comodule over a Hopf algebroid FHQ1Y6HSKV
| URI | m2://inv/FHQ1Y6HSKV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Comodule over a Hopf algebroid, Comodule over a Hopf algebroid (definition). Also Wikidata Q105393844
History
- 2026-11-02: add by m2/dev
Applications FHQ2D7MT8C
| URI | m2://inv/FHQ2D7MT8C |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia MPDATA#Z7IQ, Applications (example)
History
- 2026-11-02: add by m2/dev
Dedekind psi function FHQ5JNKKAN
| URI | m2://inv/FHQ5JNKKAN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Richard Dedekind#S3BM, Dedekind psi function (definition)
History
- 2026-11-02: add by m2/dev
Snub square tiling FHQ6DZQQGW
| URI | m2://inv/FHQ6DZQQGW |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Euclidean uniform tilings#HD8B, Snub square tiling (object)
History
- 2026-11-02: add by m2/dev
FHQ9EAYC18 FHQ9EAYC18
| URI | m2://inv/FHQ9EAYC18 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-fourier-and-pde.tex#exercise-79 (exercise). In E9HS8K3A52, exercise, section 5.6.4
History
- 2026-11-01: add by m2/v0.6.13
Examples FHQA3E02KV
| URI | m2://inv/FHQA3E02KV |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Liouville's theorem (differential algebra)#38LS, Examples (example)
History
- 2026-11-02: add by m2/dev
FHQF1ZQN1C FHQF1ZQN1C
| URI | m2://inv/FHQF1ZQN1C |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21976#2J5C (unknown)
History
- 2026-11-02: add by m2/v0.6.17
Ewens's sampling formula FHQGZGQ0FP
| URI | m2://inv/FHQGZGQ0FP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#AJ3I, Ewens's sampling formula (statement)
- wikipedia: Wikipedia List of probability topics#294X, Ewens's sampling formula (statement)
- wikipedia: Wikipedia List of partition topics#3RZU, Ewens's sampling formula (statement)
- wikipedia: Wikipedia List of partition topics#CHYC, Ewens's sampling formula (statement)
History
- 2026-11-02: add by m2/dev
FHQMK80CGJ FHQMK80CGJ
| URI | m2://inv/FHQMK80CGJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2103.08272#S7H9 (statement). In H72E12TYHA/e1, proposition 3.3
History
- 2026-10-27: add by m2/v0.4.0
Kac's lemma FHQN78KT3G
| URI | m2://inv/FHQN78KT3G |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of lemmas#ZN8W, Kac's lemma (statement)
History
- 2026-11-02: add by m2/dev
List of representation theory topics FHQSEWR07J
| URI | m2://inv/FHQSEWR07J |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of representation theory topics, List of representation theory topics (topic). Also Wikidata Q6636439
History
- 2026-11-02: add by m2/dev
FHQZFXEP6A FHQZFXEP6A
| URI | m2://inv/FHQZFXEP6A |
|---|---|
| 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 2411.11470#6834 (statement). In G1E3KERT6K/e1, lemma 2.1
History
- 2026-10-27: add by m2/v0.3.6
standard model FHR22PVBPN
| URI | m2://inv/FHR22PVBPN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#J0IU, standard model (definition)
History
- 2026-11-02: add by m2/dev
convolution FHR7R8MSJS
| URI | m2://inv/FHR7R8MSJS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of invariant theory#UJS9, convolution (definition)
History
- 2026-11-02: add by m2/dev
Kronecker foliation FHR8EB0QS7
| URI | m2://inv/FHR8EB0QS7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Foliation#1SW0, Kronecker foliation (unknown)
History
- 2026-11-02: add by m2/dev
Properties FHRCQCGMMV
| URI | m2://inv/FHRCQCGMMV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tangent developable#JK52, Properties (statement)
History
- 2026-11-02: add by m2/dev
Cristopher Moore FHRFV9E9CM
| URI | m2://inv/FHRFV9E9CM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#ICDN, Cristopher Moore (unknown)
History
- 2026-11-02: add by m2/dev
homotopy category FHRJA907ZB
| URI | m2://inv/FHRJA907ZB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Homotopy category 48QQ7T98Z9 |
Mentions
- wikidata: Wikidata Q14775269, homotopy category (unknown). Also nLab homotopy category
- wikipedia: Wikipedia Homotopy category, Homotopy category (definition). Also Wikidata Q14775269
History
- 2026-10-26: add by m2/dev
Finite stationary-phase duality FHRZZ57G0Z
| URI | m2://inv/FHRZZ57G0Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10583#PGHB, Finite stationary-phase duality (statement). In 5BZQS1KY9A/e1, lemma 4.1
History
- 2026-10-29: add by m2/v0.4.10
FHS6CHNT26 FHS6CHNT26
| URI | m2://inv/FHS6CHNT26 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 49-XX, 51-XX, 52-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34845#G8IE (statement). In SBZNH932ZV/e1, lemma 7.4
History
- 2026-10-30: add by m2/v0.4.12
Richard Kenyon FHS8KFCR56
| URI | m2://inv/FHS8KFCR56 |
|---|---|
| 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#GKIW, Richard Kenyon (topic)
History
- 2026-11-02: add by m2/dev
FHS9KKDZCA FHS9KKDZCA
| URI | m2://inv/FHS9KKDZCA |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00789#93TY (definition). In 4WPYBTARS2/e1, definition 2.31
History
- 2026-10-29: add by m2/v0.4.12
Free lattice word problem FHSDSJBW2P
| URI | m2://inv/FHSDSJBW2P |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Free lattice#0F5U, Free lattice word problem (unknown)
History
- 2026-11-02: add by m2/dev
Generalizations FHSHQR9P7G
| URI | m2://inv/FHSHQR9P7G |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Discrete sine transform#JRP1, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Definitions FHSJ94TFHF
| URI | m2://inv/FHSJ94TFHF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hitting time#G4FX, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Paramodulation FHSKBQR78P
| URI | m2://inv/FHSKBQR78P |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Resolution (logic)#HT5H, Paramodulation (unknown)
History
- 2026-11-02: add by m2/dev
Definition FHSY5PQ5EG
| URI | m2://inv/FHSY5PQ5EG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arnoldi iteration#8BQ5, Definition (definition)
History
- 2026-11-02: add by m2/dev
Harnack estimate for small times FHT7YTYBKF
| URI | m2://inv/FHT7YTYBKF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08434#YSO3, Harnack estimate for small times (statement). In VN8087G2FC/e1, lemma 7.2
History
- 2026-10-29: add by m2/v0.4.10
List of variational topics FHT9MRDMBE
| URI | m2://inv/FHT9MRDMBE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of variational topics, List of variational topics (topic). Also Wikidata Q6644561
History
- 2026-11-02: add by m2/dev
Pointwise anticoncentration FHTCC01Q4Q
| URI | m2://inv/FHTCC01Q4Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08708#KTX1, Pointwise anticoncentration (statement). In TMMJKY66KY/e1, theorem 1.1
History
- 2026-10-29: add by m2/v0.4.10
Credence FHVCHWXV6D
| URI | m2://inv/FHVCHWXV6D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Credence (statistics), Credence (definition). Also Wikidata Q25351567
History
- 2026-11-02: add by m2/dev
Examples FHVHCTZD51
| URI | m2://inv/FHVHCTZD51 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linear multistep method#IFTS, Examples (example)
History
- 2026-11-02: add by m2/dev
Skew Gauss valuation ring FHVK9E2QRV
| URI | m2://inv/FHVK9E2QRV |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05652#WZFF, Skew Gauss valuation ring (definition). In 8BNPFYQDQX/e1, definition 17.4
History
- 2026-10-29: add by m2/v0.4.10
H. J. Ryser FHW4BZQ6ZB
| URI | m2://inv/FHW4BZQ6ZB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia H. J. Ryser, H. J. Ryser (topic). Also Wikidata Q1608996
History
- 2026-11-02: add by m2/dev
FHW6XQGZ1Y FHW6XQGZ1Y
| URI | m2://inv/FHW6XQGZ1Y |
|---|---|
| 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.25291#BDW4 (statement)
History
- 2026-11-01: add by m2/v0.6.15
FHW8FDRYS3 FHW8FDRYS3
| URI | m2://inv/FHW8FDRYS3 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11395#XX0Z (example). In T3W7SMWQ73/e1, example 9
History
- 2026-10-28: add by m2/v0.4.3
Weighted least squares FHW9TEXS3J
| URI | m2://inv/FHW9TEXS3J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weighted least squares, Weighted least squares (definition). Also Wikidata Q20025290
History
- 2026-11-02: add by m2/dev
An application FHWA4SDSYX
| URI | m2://inv/FHWA4SDSYX |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ushiki's theorem#H0CM, An application (example)
History
- 2026-11-02: add by m2/dev
FHWBF50N1K FHWBF50N1K
| URI | m2://inv/FHWBF50N1K |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28265#VHXE (example)
History
- 2026-11-01: add by m2/v0.6.15
FHWF3RY0QZ FHWF3RY0QZ
| URI | m2://inv/FHWF3RY0QZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 19-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2211.10178#MHPB (statement). In 8T90H89HNB/e1, theorem 2.6
History
- 2026-10-27: add by m2/v0.3.5
Definition FHWFZXZP5E
| URI | m2://inv/FHWFZXZP5E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Essential subgroup#2UR3, Definition (definition)
History
- 2026-11-02: add by m2/dev
FHWGF6BN4H FHWGF6BN4H
| URI | m2://inv/FHWGF6BN4H |
|---|---|
| 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.15460#RI1K (statement). In T2Z3D2VQ9B/e1, lemma 3.4
History
- 2026-10-28: add by m2/v0.4.2
Dade's conjecture FHWJ0XKWRN
| URI | m2://inv/FHWJ0XKWRN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dade's conjecture, Dade's conjecture (statement). Also Wikidata Q5208037
History
- 2026-11-02: add by m2/dev
FHWPVDP4J8 FHWPVDP4J8
| URI | m2://inv/FHWPVDP4J8 |
|---|---|
| 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.22205#AHZQ (statement). In 7REABAAQED/e1, proposition
History
- 2026-10-27: add by m2/v0.4.0
FHWSP4SEHA FHWSP4SEHA
| URI | m2://inv/FHWSP4SEHA |
|---|---|
| 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.12047#KJ3I (statement). In ZF1Y3HZMZ9/e1, corollary 4.5
History
- 2026-10-28: add by m2/v0.4.3
strong, stronger FHWY2GAJ5P
| URI | m2://inv/FHWY2GAJ5P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of mathematical jargon#0PUL, strong, stronger (definition)
History
- 2026-11-02: add by m2/dev
FHWYMC16KP FHWYMC16KP
| URI | m2://inv/FHWYMC16KP |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/set-theory/forcing.tex#proof-1 (proof). In RZP28ERRZV, proof, section 90.2
History
- 2026-11-01: add by m2/v0.6.13
Definition and notation FHX36NBP7R
| URI | m2://inv/FHX36NBP7R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Borromean rings#4VWY, Definition and notation (definition)
History
- 2026-11-02: add by m2/dev
FHX3TB9DFP FHX3TB9DFP
| URI | m2://inv/FHX3TB9DFP |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 11-XX, 14-XX, 37-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32181#13Z8 (unknown). In 8FKEQSPN7M/e1, unknown
History
- 2026-10-31: add by m2/v0.5.6
FHXAP72QSA FHXAP72QSA
| URI | m2://inv/FHXAP72QSA |
|---|---|
| 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 2608.24190#COWI (statement). In DW7FVA587C/e1, lemma 3.18
History
- 2026-10-27: add by m2/v0.3.5
FHXB25HAS2 FHXB25HAS2
| URI | m2://inv/FHXB25HAS2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28411#2EQR (statement)
History
- 2026-11-01: add by m2/v0.6.15
Splitting theorem FHXG9G75JC
| URI | m2://inv/FHXG9G75JC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Splitting theorem, Splitting theorem (statement). Also Wikidata Q7578748
History
- 2026-11-02: add by m2/dev
FHXJ63P6F4 FHXJ63P6F4
| URI | m2://inv/FHXJ63P6F4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04434#1WZC (statement). In EY0QS456EC/e1, proposition 7.8
History
- 2026-10-29: add by m2/v0.4.12
FHXTM0BDBT FHXTM0BDBT
| URI | m2://inv/FHXTM0BDBT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01915#H3J7 (statement). In 6HJQXZS0A6/e1, corollary 6.8
History
- 2026-10-29: add by m2/v0.4.12
Thomas Bloom FHYDRQ11W3
| URI | m2://inv/FHYDRQ11W3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thomas Bloom, Thomas Bloom (topic). Also Wikidata Q102628854
History
- 2026-11-02: add by m2/dev
FHYF0N9FM6 FHYF0N9FM6
| URI | m2://inv/FHYF0N9FM6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21866#KIU5 (statement). In Q3NMYW8ANH/e1, lemma 2.2
History
- 2026-10-27: add by m2/v0.4.2
Sliced inverse regression FHYTM995R0
| URI | m2://inv/FHYTM995R0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#W5O5, Sliced inverse regression (definition)
History
- 2026-11-02: add by m2/dev
One-dimensional bounds FHYX56EQBY
| URI | m2://inv/FHYX56EQBY |
|---|---|
| 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.32710#FRLM, One-dimensional bounds (statement). In KVYG6R7CGJ/e1, lemma 4.2
History
- 2026-10-31: add by m2/v0.5.6
The second arc is the image of the first FHYZ32NKM6
| URI | m2://inv/FHYZ32NKM6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25120#VJSP, The second arc is the image of the first (statement)
History
- 2026-11-01: add by m2/v0.6.15
FHZ3M8J2Q8 FHZ3M8J2Q8
| URI | m2://inv/FHZ3M8J2Q8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 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 2508.21045#KVFW (statement). In CGA36VE1C5/e1, fact 3.3.5
History
- 2026-10-27: add by m2/v0.3.6
Uses FHZB84EMRJ
| URI | m2://inv/FHZB84EMRJ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Winsorizing#92CR, Uses (example)
History
- 2026-11-02: add by m2/dev
Generalization FHZN72RRTF
| URI | m2://inv/FHZN72RRTF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Injective object#CYEY, Generalization (statement)
History
- 2026-11-02: add by m2/dev
Units of information FHZSEECY7B
| URI | m2://inv/FHZSEECY7B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Units of information, Units of information (definition). Also Wikidata Q3550873
History
- 2026-11-02: add by m2/dev
FHZV77RDX9 FHZV77RDX9
| URI | m2://inv/FHZV77RDX9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40191#6BRT (statement). In F0D8VSM4Z4/e1, proposition 5.6
History
- 2026-10-30: add by m2/v0.4.12