Inventory rows 8G
The cards of the rows of the inventory whose ids start with 8G. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Capacity is hereditary 8G083HZ1NP
| URI | m2://inv/8G083HZ1NP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26619#OVIQ, Capacity is hereditary (statement)
History
- 2026-11-01: add by m2/v0.6.15
8G0AS2NPGZ 8G0AS2NPGZ
| URI | m2://inv/8G0AS2NPGZ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/gt-intro.ptx#exercise-13 (exercise). In Y91XFCEVHQ, exercise, section 5.1
History
- 2026-11-01: add by m2/v0.6.13
8G0EP3YCNE 8G0EP3YCNE
| URI | m2://inv/8G0EP3YCNE |
|---|---|
| Kind | statement |
| 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.14068#O27N (statement). In JF19FEH3SW/e1, lemma 6.2
History
- 2026-10-28: add by m2/v0.4.2
Functional calculus 8G0K3NGK8E
| URI | m2://inv/8G0K3NGK8E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#4WS9, Functional calculus (definition)
History
- 2026-11-02: add by m2/dev
8G0NEJ5HPN 8G0NEJ5HPN
| URI | m2://inv/8G0NEJ5HPN |
|---|---|
| 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.38493#URSO (statement). In WTA8VGP6B1/e1, theorem 3.2
History
- 2026-10-30: add by m2/v0.4.12
8G0RBHGXMT 8G0RBHGXMT
| URI | m2://inv/8G0RBHGXMT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25255#8SY5 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Divergence-free logarithmic core 8G0XRG7WWZ
| URI | m2://inv/8G0XRG7WWZ |
|---|---|
| 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.24962#9FV1, Divergence-free logarithmic core (statement)
History
- 2026-11-01: add by m2/v0.6.15
8G105NQ4CM 8G105NQ4CM
| URI | m2://inv/8G105NQ4CM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29918#3J6R (statement)
History
- 2026-11-01: add by m2/v0.6.15
union 8G145Z7R51
| URI | m2://inv/8G145Z7R51 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi index/1.3.1/union, union (concept). In Y91XFCEVHQ, index, section 1.3.1
History
- 2026-11-01: add by m2/v0.6.13
Backtesting 8G15DQAN1X
| URI | m2://inv/8G15DQAN1X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Backtesting, Backtesting (definition). Also Wikidata Q798528
History
- 2026-11-02: add by m2/dev
8G185F9WVR 8G185F9WVR
| URI | m2://inv/8G185F9WVR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2005.03073#56HM (statement). In P2ETMXKVDS/e1, proposition 3.1
History
- 2026-10-27: add by m2/v0.3.5
mathematics, classical 8G1CB32Q6J
| URI | m2://inv/8G1CB32Q6J |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/9.2/mathematics-classical, mathematics, classical (concept). In N54F33XE07, index, section 9.2
History
- 2026-11-01: add by m2/v0.6.13
8G1F5C4JTA 8G1F5C4JTA
| URI | m2://inv/8G1F5C4JTA |
|---|---|
| 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.07049#C2CB (statement). In GMF552ESG6/e1, lemma 3.3
History
- 2026-10-29: add by m2/v0.4.10
Susskind–Glogower operator 8G1G465W1R
| URI | m2://inv/8G1G465W1R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Susskind–Glogower operator, Susskind–Glogower operator (definition). Also Wikidata Q7649514
History
- 2026-11-02: add by m2/dev
8G1N8X19N6 8G1N8X19N6
| URI | m2://inv/8G1N8X19N6 |
|---|---|
| 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.21507#HJV1 (statement)
History
- 2026-11-02: add by m2/v0.6.18
8G1Q854KB1 8G1Q854KB1
| URI | m2://inv/8G1Q854KB1 |
|---|---|
| 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.16554#Y8A2 (statement). In GWNT8HEZG1/e1, proposition 4.36
History
- 2026-10-27: add by m2/v0.3.6
Classical electrodynamics 8G20G05M3Q
| URI | m2://inv/8G20G05M3Q |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of superseded scientific theories#HS60, Classical electrodynamics (topic)
History
- 2026-11-02: add by m2/dev
the permutohedron and the braid matroid 8G23FQFQBS
| URI | m2://inv/8G23FQFQBS |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24917#GTIQ, the permutohedron and the braid matroid (example)
History
- 2026-11-01: add by m2/v0.6.15
8G24EQ1102 8G24EQ1102
| URI | m2://inv/8G24EQ1102 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34081#8SND (statement). In 3RVGEKGX46/e1, proposition 7.2
History
- 2026-10-30: add by m2/v0.4.12
8G24GD3FES 8G24GD3FES
| URI | m2://inv/8G24GD3FES |
|---|---|
| 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 1509.00950#FQ01 (statement). In MDZFW5GACV/e1, theorem 3.1
History
- 2026-10-27: add by m2/v0.3.5
Perpendicular axis theorem 8G24R98RXV
| URI | m2://inv/8G24R98RXV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#1MDL, Perpendicular axis theorem (statement)
History
- 2026-11-02: add by m2/dev
Dominance 8G2CWYRFMG
| URI | m2://inv/8G2CWYRFMG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27830#4DA4, Dominance (statement)
History
- 2026-11-01: add by m2/v0.6.15
Edge-of-the-wedge theorem 8G2MV3YCRM
| URI | m2://inv/8G2MV3YCRM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#UD7J, Edge-of-the-wedge theorem (statement)
History
- 2026-11-02: add by m2/dev
The dyadic group 8G2N27GMEB
| URI | m2://inv/8G2N27GMEB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04271#8Y47, The dyadic group (statement). In WBXAW9G4JB/e1, theorem 8.1
History
- 2026-10-29: add by m2/v0.4.12
Platonic sequence 8G2N6MDWKA
| URI | m2://inv/8G2N6MDWKA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pythagorean triple#UWSJ, Platonic sequence (unknown)
History
- 2026-11-02: add by m2/dev
Mitsuru Matsui 8G2SYFD9BY
| URI | m2://inv/8G2SYFD9BY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cryptographers#XB66, Mitsuru Matsui (unknown)
History
- 2026-11-02: add by m2/dev
Decode 8G2T0YSQGS
| URI | m2://inv/8G2T0YSQGS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of telecommunications encryption terms#I9GA, Decode (unknown)
History
- 2026-11-02: add by m2/dev
8G2WXDM229 8G2WXDM229
| URI | m2://inv/8G2WXDM229 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/size-of-sets/reduction.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 83.13
History
- 2026-11-01: add by m2/v0.6.13
Definition 8G2XR9N4S3
| URI | m2://inv/8G2XR9N4S3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Whittaker–Shannon interpolation formula#CNWN, Definition (definition)
History
- 2026-11-02: add by m2/dev
Pierre Lelong 8G32667S8F
| URI | m2://inv/8G32667S8F |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pierre Lelong, Pierre Lelong (topic). Also Wikidata Q466301
History
- 2026-11-02: add by m2/dev
Conical function 8G3G48HR6K
| URI | m2://inv/8G3G48HR6K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q176632, Conical function (unknown). Also MathWorld ConicalFunction
- wikipedia: Wikipedia Conical function, Conical function (definition). Also Wikidata Q176632
History
- 2026-10-26: add by m2/dev
8G3K3CHS2N 8G3K3CHS2N
| URI | m2://inv/8G3K3CHS2N |
|---|---|
| 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.26401#L5BU (statement)
History
- 2026-11-01: add by m2/v0.6.15
New York University 8G3WPPFY0Z
| URI | m2://inv/8G3WPPFY0Z |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of schools for quantitative psychology#XWEK, New York University (unknown)
History
- 2026-11-02: add by m2/dev
Quipu 8G4104YHQP
| URI | m2://inv/8G4104YHQP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quipu, Quipu (definition). Also Wikidata Q185292
History
- 2026-11-02: add by m2/dev
Thermodynamic cycle 8G48YM7PA7
| URI | m2://inv/8G48YM7PA7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thermodynamic cycle, Thermodynamic cycle (definition). Also Wikidata Q75920
History
- 2026-11-02: add by m2/dev
vector multiplication 8G4H0AGW4R
| URI | m2://inv/8G4H0AGW4R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q56457918, vector multiplication (unknown). Also MathWorld VectorMultiplication
- wikipedia: Wikipedia Vector multiplication, Vector multiplication (definition). Also Wikidata Q56457918
History
- 2026-10-26: add by m2/dev
Gustavo Sannia 8G4JS7NCS2
| URI | m2://inv/8G4JS7NCS2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gustavo Sannia, Gustavo Sannia (topic). Also Wikidata Q5621495
History
- 2026-11-02: add by m2/dev
8G4PXKMQ5A 8G4PXKMQ5A
| URI | m2://inv/8G4PXKMQ5A |
|---|---|
| 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 2108.09548#23RM (statement). In 6D6C14KFGJ/e1, theorem 4.2
History
- 2026-10-27: add by m2/v0.4.0
Triangular matrix ring 8G5V7SCPG5
| URI | m2://inv/8G5V7SCPG5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Triangular matrix ring, Triangular matrix ring (definition). Also Wikidata Q7840140
History
- 2026-11-02: add by m2/dev
Applications 8G5VQWQKCP
| URI | m2://inv/8G5VQWQKCP |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gabbay's separation theorem#YW9F, Applications (example)
History
- 2026-11-02: add by m2/dev
Conway knot 8G5XE0PTXV
| URI | m2://inv/8G5XE0PTXV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#W0PC, Conway knot (definition)
History
- 2026-11-02: add by m2/dev
8G6CXV05XJ 8G6CXV05XJ
| URI | m2://inv/8G6CXV05XJ |
|---|---|
| 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 0904.3493#D5WI (statement). In 1ARY7220P4/e1, proposition 3.11
History
- 2026-10-27: add by m2/v0.3.5
8G6FG7QCZ3 8G6FG7QCZ3
| URI | m2://inv/8G6FG7QCZ3 |
|---|---|
| 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 1607.01095#84SR (statement). In W3T1ZAT3GC/e1, lemma 3.8
History
- 2026-10-27: add by m2/v0.3.5
Maximal ergodic theorem 8G6HXZHR38
| URI | m2://inv/8G6HXZHR38 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 37-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q6795637, Maximal ergodic theorem (statement). Also Wikidata Q6795637
- thousand_plus: thousand_plus Q6795637, Maximal ergodic theorem (statement). Also Wikidata Q6795637, Wikipedia Maximal ergodic theorem
- wikipedia: Wikipedia Maximal ergodic theorem, Maximal ergodic theorem (statement). Also Wikidata Q6795637
History
- 2026-10-26: add by m2/dev
Definition 8G6N7YMS0H
| URI | m2://inv/8G6N7YMS0H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Divided differences#0E9O, Definition (definition)
History
- 2026-11-02: add by m2/dev
Uncertainty quantification 8G6N8VEDSR
| URI | m2://inv/8G6N8VEDSR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#33M5, Uncertainty quantification (definition)
History
- 2026-11-02: add by m2/dev
Tonelli's theorem 8G6NTK5XN5
| URI | m2://inv/8G6NTK5XN5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#QC8B, Tonelli's theorem (statement)
History
- 2026-11-02: add by m2/dev
Generic Security Service Algorithm for Secret Key Transaction 8G6QZYH25H
| URI | m2://inv/8G6QZYH25H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generic Security Service Algorithm for Secret Key Transaction, Generic Security Service Algorithm for Secret Key Transaction (definition). Also Wikidata Q5532658
History
- 2026-11-02: add by m2/dev
8G73FFF4C8 8G73FFF4C8
| URI | m2://inv/8G73FFF4C8 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05611#CDXT (definition). In QDTX6NXFEB/e1, definition 2.14
History
- 2026-10-29: add by m2/v0.4.10
Klein 8G73XZ65DA
| URI | m2://inv/8G73XZ65DA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#Q6RR, Klein (definition)
History
- 2026-11-02: add by m2/dev
8G74V94FYT 8G74V94FYT
| URI | m2://inv/8G74V94FYT |
|---|---|
| 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.11082#ZVCX (statement). In GFPFFN0BXV/e1, lemma 1
History
- 2026-10-28: add by m2/v0.4.3
8G77WGNRTA 8G77WGNRTA
| URI | m2://inv/8G77WGNRTA |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises6-4.xml#exercise-8 (exercise). In 649HGZKE96, exercise, section 6.4
History
- 2026-11-01: add by m2/v0.6.13
8G7B0WJ87G 8G7B0WJ87G
| URI | m2://inv/8G7B0WJ87G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03422#JLHI (statement). In SF88CM0957/e1, lemma 4.9
History
- 2026-10-29: add by m2/v0.4.12
Curse of dimensionality 8G7D2JAZGV
| URI | m2://inv/8G7D2JAZGV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Curse of dimensionality, Curse of dimensionality (definition). Also Wikidata Q1430460
History
- 2026-11-02: add by m2/dev
8G7DZCXXTD 8G7DZCXXTD
| URI | m2://inv/8G7DZCXXTD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19464#YHJK (statement). In G8JCZ109A9/e1, lemma 2.5
History
- 2026-10-28: add by m2/v0.4.2
Karol Borsuk 8G7EFC31VW
| URI | m2://inv/8G7EFC31VW |
|---|---|
| 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 Q469088, Karol Borsuk (unknown). Also nLab Karol Borsuk
History
- 2026-10-26: add by m2/dev
8G7HA2NVMW 8G7HA2NVMW
| URI | m2://inv/8G7HA2NVMW |
|---|---|
| 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.37337#3ELG (statement). In 813JGZV08G/e1, lemma B.1
History
- 2026-10-30: add by m2/v0.4.12
8G7Q15MBE4 8G7Q15MBE4
| URI | m2://inv/8G7Q15MBE4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-power-ser.tex#example-7 (example). In E9HS8K3A52, example, section 9.2
History
- 2026-11-01: add by m2/v0.6.13
Kappa test 8G7QVF691Y
| URI | m2://inv/8G7QVF691Y |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vigenère cipher#WWPR, Kappa test (unknown)
History
- 2026-11-02: add by m2/dev
Gordon F. Newell 8G7R93KHZE
| URI | m2://inv/8G7R93KHZE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gordon F. Newell, Gordon F. Newell (topic). Also Wikidata Q5585120
History
- 2026-11-02: add by m2/dev
Definition 8G808K0SER
| URI | m2://inv/8G808K0SER |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Clausius–Clapeyron relation#4AF8, Definition (definition)
History
- 2026-11-02: add by m2/dev
phase portrait 8G856SES81
| URI | m2://inv/8G856SES81 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Phase portrait 0T3GK0XCBC |
Mentions
- wikidata: Wikidata Q2532943, phase portrait (unknown). Also MathWorld PhasePortrait
- wikipedia: Wikipedia Phase portrait, Phase portrait (definition). Also Wikidata Q2532943
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
8G88Q2QXTP 8G88Q2QXTP
| URI | m2://inv/8G88Q2QXTP |
|---|---|
| Kind | example |
| 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.32176#4ZUW (example). In N9F5R2PV0E/e1, example 3.1
History
- 2026-10-31: add by m2/v0.5.6
8G89T3SY7G 8G89T3SY7G
| URI | m2://inv/8G89T3SY7G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37893#ASP8 (statement). In 8H0KHK7AMN/e1, theorem 2.7
History
- 2026-10-30: add by m2/v0.4.12
Constructions 8G8HXVGFQA
| URI | m2://inv/8G8HXVGFQA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rado graph#JO5V, Constructions (definition)
History
- 2026-11-02: add by m2/dev
$n$-type 8G8KMNX0G3
| URI | m2://inv/8G8KMNX0G3 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/u1.u7/n-type, $n$-type (concept). In N54F33XE07, index, section u1.u7
History
- 2026-11-01: add by m2/v0.6.13
Hierarchically hyperbolic space 8G8NZMB6TQ
| URI | m2://inv/8G8NZMB6TQ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09162#Z7OW, Hierarchically hyperbolic space (definition). In TAPS8P2VYS/e1, definition 1.13
History
- 2026-10-29: add by m2/v0.4.10
tribonacci ratio 8G8T26V7SV
| URI | m2://inv/8G8T26V7SV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q110100838, tribonacci ratio (object). Also OEIS A058265
- wikipedia: Wikipedia Tribonacci ratio, Tribonacci ratio (definition). Also Wikidata Q110100838
History
- 2026-10-26: add by m2/dev
$\infty$-groupoid 8G93028RG0
| URI | m2://inv/8G93028RG0 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/1/infty-groupoid, $\infty$-groupoid (concept). In N54F33XE07, index, section 1
History
- 2026-11-01: add by m2/v0.6.13
8G98BVSYE8 8G98BVSYE8
| URI | m2://inv/8G98BVSYE8 |
|---|---|
| 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 2204.04317#6JMP (statement). In 49V3ANDZTY/e1, lemma 6.19
History
- 2026-10-27: add by m2/v0.3.5
8G9J1Y64SS 8G9J1Y64SS
| URI | m2://inv/8G9J1Y64SS |
|---|---|
| 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 2506.07061#3YV5 (definition). In G2PA4KAGRP/e1, definition 5.4
History
- 2026-10-27: add by m2/v0.3.6
Sequential probability ratio test 8G9NJN8FV9
| URI | m2://inv/8G9NJN8FV9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#Z2HX, Sequential probability ratio test (definition)
History
- 2026-11-02: add by m2/dev
Anangeon 8G9QR6EWAM
| URI | m2://inv/8G9QR6EWAM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Anangeon, Anangeon (definition). Also Wikidata Q4751385
History
- 2026-11-02: add by m2/dev
Definitions 8G9T44BBWE
| URI | m2://inv/8G9T44BBWE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Splitting of prime ideals in Galois extensions#CNHM, Definitions (definition)
History
- 2026-11-02: add by m2/dev
8GA4MCYTW3 8GA4MCYTW3
| URI | m2://inv/8GA4MCYTW3 |
|---|---|
| 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.36622#NNA7 (statement). In 9704QPRPR6/e1, corollary 3.12
History
- 2026-10-30: add by m2/v0.4.12
computation rule, for $\Sn^1$ 8GA8BN1VJQ
| URI | m2://inv/8GA8BN1VJQ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/5.2/computation-rule-for-sn-1, computation rule, for $\Sn^1$ (concept). In N54F33XE07, index, section 5.2
History
- 2026-11-01: add by m2/v0.6.13
Examples 8GAG4B9Z96
| URI | m2://inv/8GAG4B9Z96 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dimensional analysis#A484, Examples (example)
History
- 2026-11-02: add by m2/dev
Martin Goldstern 8GAH71C5CQ
| URI | m2://inv/8GAH71C5CQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Martin Goldstern, Martin Goldstern (topic). Also Wikidata Q105755545
History
- 2026-11-02: add by m2/dev
Formal definition 8GAJFRQME5
| URI | m2://inv/8GAJFRQME5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Subharmonic function#VM2V, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
8GAXJZKFNA 8GAXJZKFNA
| URI | m2://inv/8GAXJZKFNA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2410.10337#2ZS8 (statement). In RBBF0XNZ5E/e1, lemma 29
History
- 2026-10-27: add by m2/v0.3.5
progression 8GB0KAGF8S
| URI | m2://inv/8GB0KAGF8S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of Principia Mathematica#47RV, progression (definition)
History
- 2026-11-02: add by m2/dev
Applications 8GBA1CAY1Y
| URI | m2://inv/8GBA1CAY1Y |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Visibility polygon#K3C2, Applications (example)
History
- 2026-11-02: add by m2/dev
8GBE4HM52H 8GBE4HM52H
| URI | m2://inv/8GBE4HM52H |
|---|---|
| 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 2206.05392#GFMC (statement). In 58D1ZC82DW/e1, proposition 16
History
- 2026-10-27: add by m2/v0.3.5
Properties 8GBG47285N
| URI | m2://inv/8GBG47285N |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 110-vertex Iofinova–Ivanov graph#9AF4, Properties (statement)
History
- 2026-11-02: add by m2/dev
8GBGCP9V6K 8GBGCP9V6K
| URI | m2://inv/8GBGCP9V6K |
|---|---|
| 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 2303.14022#BPX3 (definition). In NSYR6W27FP/e1, definition 3.8
History
- 2026-10-27: add by m2/v0.3.5
Madan Lal Puri 8GBXRATH8W
| URI | m2://inv/8GBXRATH8W |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Indian mathematicians#L50I, Madan Lal Puri (topic)
History
- 2026-11-02: add by m2/dev
8GBYQBADQ2 8GBYQBADQ2
| URI | m2://inv/8GBYQBADQ2 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/methods/proofs/example-1.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 44.7
History
- 2026-11-01: add by m2/v0.6.13
Operational sex ratio 8GBZT8G6PT
| URI | m2://inv/8GBZT8G6PT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Operational sex ratio, Operational sex ratio (definition). Also Wikidata Q3480868
History
- 2026-11-02: add by m2/dev
Definition 8GC452PSM9
| URI | m2://inv/8GC452PSM9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Deligne cohomology#OTV7, Definition (definition)
History
- 2026-11-02: add by m2/dev
Applications 8GC6B1W77X
| URI | m2://inv/8GC6B1W77X |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bessel beam#3IPN, Applications (example)
History
- 2026-11-02: add by m2/dev
Implementations 8GC90JDAVJ
| URI | m2://inv/8GC90JDAVJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Faddeeva function#CCAI, Implementations (definition)
History
- 2026-11-02: add by m2/dev
G. de B. Robinson Award 8GCFMGRWGJ
| URI | m2://inv/8GCFMGRWGJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Canadian Mathematical Society#Z2EW, G. de B. Robinson Award (unknown)
History
- 2026-11-02: add by m2/dev
8GCREV2ZS3 8GCREV2ZS3
| URI | m2://inv/8GCREV2ZS3 |
|---|---|
| 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 2608.24599#XC7D (statement). In VG8QFWTT8S/e1, proposition 5.1
History
- 2026-10-27: add by m2/v0.3.6
8GCVVZ65Y9 8GCVVZ65Y9
| URI | m2://inv/8GCVVZ65Y9 |
|---|---|
| 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 2609.24078#VDDB (statement)
History
- 2026-11-02: add by m2/v0.6.17
8GD3SEAFY2 8GD3SEAFY2
| URI | m2://inv/8GD3SEAFY2 |
|---|---|
| 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 2103.12669#4709 (statement). In ZA6XNBA90V/e1, lemma 6.3
History
- 2026-10-27: add by m2/v0.3.5
8GD6NJW2DE 8GD6NJW2DE
| URI | m2://inv/8GD6NJW2DE |
|---|---|
| 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.28181#29K6 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Gröbner Basis 8GD8R46V2Y
| URI | m2://inv/8GD8R46V2Y |
|---|---|
| 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.12489#H2DM, Gröbner Basis (definition). In FDWFVD08SE/e1, definition 2.20
History
- 2026-10-28: add by m2/v0.4.2
8GDBBP0NEY 8GDBBP0NEY
| URI | m2://inv/8GDBBP0NEY |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-nonlin-systems.tex#exercise-21 (exercise). In E9HS8K3A52, exercise, section 8.3.3
History
- 2026-11-01: add by m2/v0.6.13
Basic properties 8GDQW561JZ
| URI | m2://inv/8GDQW561JZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Complexification#SCBU, Basic properties (statement)
History
- 2026-11-02: add by m2/dev
number of divisors 8GDRG1CKD7
| URI | m2://inv/8GDRG1CKD7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | node (a node has the same name as the row) |
| Node | Number of divisors 0BKJT6WG96 |
Mentions
- wikidata: Wikidata Q12890701, number of divisors (definition). Also OEIS A000005, ProofWiki Definition:Divisor_Count_Function
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Hisashi Okamoto 8GDS2GBJEN
| URI | m2://inv/8GDS2GBJEN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hisashi Okamoto, Hisashi Okamoto (topic). Also Wikidata Q72182823
History
- 2026-11-02: add by m2/dev
8GDZENTSZ9 8GDZENTSZ9
| URI | m2://inv/8GDZENTSZ9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2607.00323#EC5H (statement). In BPRFEQY7W4/e1, corollary 3.17
History
- 2026-10-27: add by m2/v0.3.6
Examples 8GE148BRE9
| URI | m2://inv/8GE148BRE9 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Scott continuity#GPUO, Examples (example)
History
- 2026-11-02: add by m2/dev
Two Buttes, Colorado 8GE2ADTYQZ
| URI | m2://inv/8GE2ADTYQZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#K04A, Two Buttes, Colorado (unknown)
History
- 2026-11-02: add by m2/dev
Welch bounds 8GE2Y6RD7K
| URI | m2://inv/8GE2Y6RD7K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Welch bounds, Welch bounds (definition). Also Wikidata Q7980566
History
- 2026-11-02: add by m2/dev
8GE3RJE49C 8GE3RJE49C
| URI | m2://inv/8GE3RJE49C |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03661#YES1 (definition). In ESDKTYDHC8/e1, definition 4
History
- 2026-10-29: add by m2/v0.4.12
8GE67TJD12 8GE67TJD12
| URI | m2://inv/8GE67TJD12 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12576#VI75 (statement). In BVAWVRS3R9/e1, theorem 2.5
History
- 2026-10-28: add by m2/v0.4.2
Basic properties 8GE9ZV401Q
| URI | m2://inv/8GE9ZV401Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Harmonic Maass form#ZI85, Basic properties (statement)
History
- 2026-11-02: add by m2/dev
derivation 8GEN8H8MVK
| URI | m2://inv/8GEN8H8MVK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Derivation 3J89REV9WQ |
Mentions
- wikidata: Wikidata Q451323, derivation (unknown). Also MathWorld Derivation
- wikipedia: Wikipedia Derivation (differential algebra), Derivation (definition). Also Wikidata Q451323
History
- 2026-10-26: add by m2/dev
8GEPJTN0MV 8GEPJTN0MV
| URI | m2://inv/8GEPJTN0MV |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 19-XX, 37-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31883#V4EU (definition). In XBHQRTBH62/e1, definition 1.7
History
- 2026-10-31: add by m2/v0.5.6
Ulrike Leopold-Wildburger 8GEVP3V6QD
| URI | m2://inv/8GEVP3V6QD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ulrike Leopold-Wildburger, Ulrike Leopold-Wildburger (topic). Also Wikidata Q18028897
History
- 2026-11-02: add by m2/dev
Examples 8GF1ZZ14FZ
| URI | m2://inv/8GF1ZZ14FZ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia U-rank#ZA9H, Examples (example)
History
- 2026-11-02: add by m2/dev
Forward reachable set 8GFBDEDJ11
| URI | m2://inv/8GFBDEDJ11 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2203.10220#D7GE, Forward reachable set (definition). In FX2SD1GFHT/e1, definition 1
History
- 2026-10-27: add by m2/v0.3.5
Bronisław Knaster 8GFE6ASXWN
| URI | m2://inv/8GFE6ASXWN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#X767, Bronisław Knaster (topic)
History
- 2026-11-02: add by m2/dev
Smoothing transfer 8GFKMCWAYT
| URI | m2://inv/8GFKMCWAYT |
|---|---|
| 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.02714#IX8P, Smoothing transfer (statement). In R9AXCJWK8F/e1, lemma 15
History
- 2026-10-29: add by m2/v0.4.12
Euler equations 8GFNTAPP9S
| URI | m2://inv/8GFNTAPP9S |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of partial differential equation topics#CC8P, Euler equations (topic)
History
- 2026-11-02: add by m2/dev
8GFP7XC5KX 8GFP7XC5KX
| URI | m2://inv/8GFP7XC5KX |
|---|---|
| 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.15472#8NXK (statement). In 5Z3FH46YSY/e1, theorem 4.6
History
- 2026-10-28: add by m2/v0.4.2
8GG2VE1APZ 8GG2VE1APZ
| URI | m2://inv/8GG2VE1APZ |
|---|---|
| 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.12165#CSZR (statement). In 3JSE8A9CFH/e1, lemma 5.4
History
- 2026-10-28: add by m2/v0.4.2
8GG3QT6Z9P 8GG3QT6Z9P
| URI | m2://inv/8GG3QT6Z9P |
|---|---|
| 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.11047#757Y (statement). In MNQAZ70XTH/e1, proposition 10.9
History
- 2026-10-28: add by m2/v0.4.3
8GG72DMMPX 8GG72DMMPX
| URI | m2://inv/8GG72DMMPX |
|---|---|
| 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#C6OX (statement). In A4TR95VGX2/e1, lemma 5
History
- 2026-10-27: add by m2/v0.3.5
8GG8FRYTJ5 8GG8FRYTJ5
| URI | m2://inv/8GG8FRYTJ5 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/incompleteness/representability-in-q/sigma1-completeness.tex#proof-3 (proof). In PKGMM3P5QY, proof, section 30.3
History
- 2026-11-01: add by m2/v0.6.13
Plancherel theorem 8GG9XJHQRY
| URI | m2://inv/8GG9XJHQRY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Fourier analysis topics#CS8Y, Plancherel theorem (statement)
History
- 2026-11-02: add by m2/dev
10th dimension 8GGG9BY50G
| URI | m2://inv/8GGG9BY50G |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia String theory#W6XK, 10th dimension (unknown)
History
- 2026-11-02: add by m2/dev
8GGGP70AVT 8GGGP70AVT
| URI | m2://inv/8GGGP70AVT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02111#URGD (statement). In NC5ZRF6F8N/e1, corollary 1.4
History
- 2026-10-29: add by m2/v0.4.12
Mikhail Lobanov 8GGHZ9XC0Z
| URI | m2://inv/8GGHZ9XC0Z |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mikhail Lobanov, Mikhail Lobanov (topic). Also Wikidata Q108561126
History
- 2026-11-02: add by m2/dev
8GGPK2EKFK 8GGPK2EKFK
| URI | m2://inv/8GGPK2EKFK |
|---|---|
| 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.28350#E86J (statement)
History
- 2026-11-01: add by m2/v0.6.15
Periodic summation 8GGQ2FKMGS
| URI | m2://inv/8GGQ2FKMGS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Periodic summation, Periodic summation (definition). Also Wikidata Q7168644
History
- 2026-11-02: add by m2/dev
Howe duality conjecture 8GGWAB3MCJ
| URI | m2://inv/8GGWAB3MCJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Theta correspondence#MAK5, Howe duality conjecture (statement)
History
- 2026-11-02: add by m2/dev
Metabolic network 8GH27QVKTQ
| URI | m2://inv/8GH27QVKTQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of network theory topics#43OG, Metabolic network (unknown)
History
- 2026-11-02: add by m2/dev
8GH2N44QJ8 8GH2N44QJ8
| URI | m2://inv/8GH2N44QJ8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23833#1KX7 (statement)
History
- 2026-11-02: add by m2/v0.6.17
8GH3GY0ETR 8GH3GY0ETR
| URI | m2://inv/8GH3GY0ETR |
|---|---|
| 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.07812#ZXQ5 (statement). In PVX8WBBXW5/e1, lemma 3.7
History
- 2026-10-29: add by m2/v0.4.10
Shape holomorphy of the screen EFIE solution 8GH40JW5QT
| URI | m2://inv/8GH40JW5QT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14888#S0GY, Shape holomorphy of the screen EFIE solution (statement). In GN3ZT9DAD9/e1, corollary 5.1
History
- 2026-10-28: add by m2/v0.4.2
Mu Alpha Theta 8GH5VAYZKM
| URI | m2://inv/8GH5VAYZKM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical societies#2MK8, Mu Alpha Theta (unknown)
- wikipedia: Wikipedia List of mathematics competitions#SOEA, Mu Alpha Theta (unknown)
History
- 2026-11-02: add by m2/dev
8GH6HWGJY8 8GH6HWGJY8
| URI | m2://inv/8GH6HWGJY8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17736#SJ56 (statement). In 2F182H14AM/e1, proposition 2
History
- 2026-10-28: add by m2/v0.4.2
8GH7YPSZWR 8GH7YPSZWR
| URI | m2://inv/8GH7YPSZWR |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1804.06366#LDY6 (proof). In 89XYDVXG38/e1, proof
History
- 2026-10-27: add by m2/v0.3.5
*{Ex. 4.19 8GH9X5JRR6
| URI | m2://inv/8GH9X5JRR6 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23341#S5FI, *{Ex. 4.19 (definition)
History
- 2026-11-02: add by m2/v0.6.17
8GHNYB0Z4S 8GHNYB0Z4S
| URI | m2://inv/8GHNYB0Z4S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10804#YHBQ (statement). In 6M5WR7KB80/e1, lemma 3.10
History
- 2026-10-28: add by m2/v0.4.3
8GHZD12S9M 8GHZD12S9M
| URI | m2://inv/8GHZD12S9M |
|---|---|
| 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.29227#RUFZ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Continuity of the sandwiched divergence at order one 8GJ2B3T6QP
| URI | m2://inv/8GJ2B3T6QP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28635#283V, Continuity of the sandwiched divergence at order one (statement)
History
- 2026-11-01: add by m2/v0.6.15
Failure rate 8GJ34GXHDT
| URI | m2://inv/8GJ34GXHDT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#DASA, Failure rate (definition)
History
- 2026-11-02: add by m2/dev
8GJ6060YAX 8GJ6060YAX
| URI | m2://inv/8GJ6060YAX |
|---|---|
| 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#XK6O (definition). In NXSV14WJKJ/e1, definition 3.4
History
- 2026-10-29: add by m2/v0.4.12
St-planar graph 8GJ7KYB9EM
| URI | m2://inv/8GJ7KYB9EM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia St-planar graph, St-planar graph (definition). Also Wikidata Q25304122
History
- 2026-11-02: add by m2/dev
Analytic and enumerative statistical studies 8GJ9SPW8PV
| URI | m2://inv/8GJ9SPW8PV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#567F, Analytic and enumerative statistical studies (definition)
History
- 2026-11-02: add by m2/dev
Two-dimensional liquid 8GJNF8FFCV
| URI | m2://inv/8GJNF8FFCV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Two-dimensional liquid, Two-dimensional liquid (definition). Also Wikidata Q25303941
History
- 2026-11-02: add by m2/dev
8GJP0NG0RY 8GJP0NG0RY
| URI | m2://inv/8GJP0NG0RY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20678#SROD (statement)
History
- 2026-11-02: add by m2/v0.6.18
Gloria Conyers Hewitt 8GJW9VQQ52
| URI | m2://inv/8GJW9VQQ52 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gloria Conyers Hewitt, Gloria Conyers Hewitt (topic). Also Wikidata Q5571348
History
- 2026-11-02: add by m2/dev
Maneuvering board 8GK60MTC1W
| URI | m2://inv/8GK60MTC1W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Maneuvering board, Maneuvering board (definition). Also Wikidata Q23581700
History
- 2026-11-02: add by m2/dev
8GKDNH5EKH 8GKDNH5EKH
| URI | m2://inv/8GKDNH5EKH |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32077#K1NA (problem). In WYXQDSQR9B/e1, problem 3.18
History
- 2026-10-31: add by m2/v0.5.6
History of seismology 8GKK7GEX63
| URI | m2://inv/8GKK7GEX63 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Seismology#MSAL, History of seismology (unknown)
History
- 2026-11-02: add by m2/dev
Ideal persistent contraction 8GKQB7C75W
| URI | m2://inv/8GKQB7C75W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16248#IW44, Ideal persistent contraction (statement). In TP61DYMBMK/e1, proposition 11
History
- 2026-10-28: add by m2/v0.4.2
Legendre pseudospectral method 8GKRWR4D4K
| URI | m2://inv/8GKRWR4D4K |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Adrien-Marie Legendre#90DL, Legendre pseudospectral method (unknown)
History
- 2026-11-02: add by m2/dev
\epower alone implies no type-II bound 8GKVXRSCAR
| URI | m2://inv/8GKVXRSCAR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27765#935X, \epower alone implies no type-II bound (statement)
History
- 2026-11-01: add by m2/v0.6.15
Bregman method 8GKXM7RHQV
| URI | m2://inv/8GKXM7RHQV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#9NPM, Bregman method (definition)
History
- 2026-11-02: add by m2/dev
Heath-Brown--Iwaniec trilinear estimates 8GKYEXJM17
| URI | m2://inv/8GKYEXJM17 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09567#Z1Q4, Heath-Brown--Iwaniec trilinear estimates (statement). In 7RV6BDZAFK/e1, lemma 4.1
History
- 2026-10-29: add by m2/v0.4.10
Christian Wolff 8GKZR4WC1Y
| URI | m2://inv/8GKZR4WC1Y |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#C8RC, Christian Wolff (unknown)
History
- 2026-11-02: add by m2/dev
Positivity on the whole boundary 8GM328ZMBZ
| URI | m2://inv/8GM328ZMBZ |
|---|---|
| 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#AZNC, Positivity on the whole boundary (statement)
History
- 2026-11-01: add by m2/v0.6.15
8GM3GP1EEH 8GM3GP1EEH
| URI | m2://inv/8GM3GP1EEH |
|---|---|
| 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 2210.02261#Y63F (statement). In TT74R659T0/e1, lemma 0.17
History
- 2026-10-27: add by m2/v0.3.5
Admissible weights 8GM7MT2009
| URI | m2://inv/8GM7MT2009 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27830#BJTJ, Admissible weights (statement)
History
- 2026-11-01: add by m2/v0.6.15
Unethical human experimentation 8GM92HGSMP
| URI | m2://inv/8GM92HGSMP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Unethical human experimentation, Unethical human experimentation (definition). Also Wikidata Q19929707
History
- 2026-11-02: add by m2/dev
Kurt Symanzik 8GMB67GGTK
| URI | m2://inv/8GMB67GGTK |
|---|---|
| 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 Q70502, Kurt Symanzik (unknown). Also nLab Kurt Symanzik
History
- 2026-10-26: add by m2/dev
Conventions 8GMT01W2W8
| URI | m2://inv/8GMT01W2W8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euler angles#0NMI, Conventions (definition)
History
- 2026-11-02: add by m2/dev
Theta category 8GMW24K5DD
| URI | m2://inv/8GMW24K5DD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#XTJA, Theta category (definition)
History
- 2026-11-02: add by m2/dev
Ronald G. Douglas 8GN0TT45FV
| URI | m2://inv/8GN0TT45FV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ronald G. Douglas, Ronald G. Douglas (topic). Also Wikidata Q2165618
History
- 2026-11-02: add by m2/dev
8GN74B8D3R 8GN74B8D3R
| URI | m2://inv/8GN74B8D3R |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section6-3.xml#prop-orthog-lin-indep (statement). In 649HGZKE96, proposition, section 6.3.2
History
- 2026-11-01: add by m2/v0.6.13
Strong original endpoint and strict calibration 8GN7FYQDJH
| URI | m2://inv/8GN7FYQDJH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 35-XX, 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18788#COFA, Strong original endpoint and strict calibration (statement). In KFEASG3ZHS/e1, theorem 5.15
History
- 2026-10-28: add by m2/v0.4.2
SGE recursion 8GN8WCR8FH
| URI | m2://inv/8GN8WCR8FH |
|---|---|
| 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.21139#YQ70, SGE recursion (statement). In E3NM0QN6KK/e1, proposition 4
History
- 2026-10-27: add by m2/v0.4.2
8GNC3GB2FX 8GNC3GB2FX
| URI | m2://inv/8GNC3GB2FX |
|---|---|
| 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 math/0411039#LMZG (statement). In ZTBDXSKFFW/e1, corollary 1.4
History
- 2026-10-27: add by m2/v0.3.5
8GNDH0VKYY 8GNDH0VKYY
| URI | m2://inv/8GNDH0VKYY |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 01-XX, 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28552#K6C2 (example)
History
- 2026-11-01: add by m2/v0.6.15
Boundary Lipschitz bound 8GNDJ1NGF9
| URI | m2://inv/8GNDJ1NGF9 |
|---|---|
| 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.17519#J64Y, Boundary Lipschitz bound (statement). In H2DNTQ5MKV/e1, proposition 4.12
History
- 2026-10-28: add by m2/v0.4.2
truncated icosahedral graph 8GNFXXRQ30
| URI | m2://inv/8GNFXXRQ30 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3115575, truncated icosahedral graph (unknown). Also House of Graphs 1389, MathWorld TruncatedIcosahedralGraph
History
- 2026-10-26: add by m2/dev
8GNMG5Y0RD 8GNMG5Y0RD
| URI | m2://inv/8GNMG5Y0RD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.19882#WE7I (statement)
History
- 2026-11-02: add by m2/v0.6.18
integers 8GNMHN46MJ
| URI | m2://inv/8GNMHN46MJ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/7/integers, integers (concept). In N54F33XE07, index, section 7
History
- 2026-11-01: add by m2/v0.6.13
Richard P. Stanley 8GNXMRCRXC
| URI | m2://inv/8GNXMRCRXC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#FJT7, Richard P. Stanley (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#Q0K4, Richard P. Stanley (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#WJEW, Richard P. Stanley (topic)
History
- 2026-11-02: add by m2/dev
Examples 8GNXYJF8WA
| URI | m2://inv/8GNXYJF8WA |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rank (linear algebra)#RTZG, Examples (example)
History
- 2026-11-02: add by m2/dev
Moore Matrix 8GP2PXQJZ7
| URI | m2://inv/8GP2PXQJZ7 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32834#A15E, Moore Matrix (definition). In N4M6B8EMCW/e1, definition 3.2
History
- 2026-10-31: add by m2/v0.5.6
8GP88JBTYW 8GP88JBTYW
| URI | m2://inv/8GP88JBTYW |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2205.15365#AXMZ (unknown). In R2XC1SC9NZ/e1, unknown 17
History
- 2026-10-27: add by m2/v0.3.5
8GPCGVKVYC 8GPCGVKVYC
| URI | m2://inv/8GPCGVKVYC |
|---|---|
| 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.20401#HLYV (statement)
History
- 2026-11-02: add by m2/v0.6.18
Tiles and limit set 8GPCJN1AD7
| URI | m2://inv/8GPCJN1AD7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2411.17227#51X4, Tiles and limit set (statement). In DDNP38CHQJ/e1, lemma 5.5
History
- 2026-10-27: add by m2/v0.3.5
Properties 8GPHRG9K4M
| URI | m2://inv/8GPHRG9K4M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Non-integer base of numeration#RKK6, Properties (statement)
History
- 2026-11-02: add by m2/dev
8GPKC9XRCM 8GPKC9XRCM
| URI | m2://inv/8GPKC9XRCM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26001#34D6 (statement)
History
- 2026-11-01: add by m2/v0.6.15
\textbf{(Initial algebras via inflationary iteration 8GPMCJ0FPS
| URI | m2://inv/8GPMCJ0FPS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2105.03252#YIGL, \textbf{(Initial algebras via inflationary iteration (statement). In 2E47BDDDR4/e1, theorem 3.8
History
- 2026-10-27: add by m2/v0.3.5
8GPQAPHNHQ 8GPQAPHNHQ
| URI | m2://inv/8GPQAPHNHQ |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/proof-theory/cut-elimination/midsequent.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 57.3
History
- 2026-11-01: add by m2/v0.6.13
Gyrocompass 8GPSJ145VG
| URI | m2://inv/8GPSJ145VG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of dynamical systems and differential equations topics#8FXT, Gyrocompass (unknown)
History
- 2026-11-02: add by m2/dev
Open Newton–Cotes formulas 8GPW67YDNF
| URI | m2://inv/8GPW67YDNF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Newton–Cotes formulas#7GK1, Open Newton–Cotes formulas (statement)
History
- 2026-11-02: add by m2/dev
Organon 8GPZHC8N1Y
| URI | m2://inv/8GPZHC8N1Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Organon, Organon (definition). Also Wikidata Q500930
History
- 2026-11-02: add by m2/dev
8GQ7JJJAH1 8GQ7JJJAH1
| URI | m2://inv/8GQ7JJJAH1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09129#GQE2 (statement). In Z1RZSF68XZ/e1, fact 2.8
History
- 2026-10-29: add by m2/v0.4.10
8GQ95S6PTE 8GQ95S6PTE
| URI | m2://inv/8GQ95S6PTE |
|---|---|
| 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.09019#H3R7 (statement). In 8V6YECFCC1/e1, theorem 3.14
History
- 2026-10-29: add by m2/v0.4.10
8GQA4BKXM7 8GQA4BKXM7
| URI | m2://inv/8GQA4BKXM7 |
|---|---|
| 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 2609.36884#H34N (definition). In Z7E16PFFCP/e1, definition 2.8
History
- 2026-10-30: add by m2/v0.4.12
8GQC5W5SHS 8GQC5W5SHS
| URI | m2://inv/8GQC5W5SHS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book reals.tex#thm:RC-sim-lim (statement). In N54F33XE07, lem, section B.3.2
History
- 2026-11-01: add by m2/v0.6.13
8GQXMC6NJS 8GQXMC6NJS
| URI | m2://inv/8GQXMC6NJS |
|---|---|
| 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#W92M (definition). In M0SQY5EZN5/e1, definition 2.8.7
History
- 2026-10-27: add by m2/v0.3.5
8GR48B2ZZE 8GR48B2ZZE
| URI | m2://inv/8GR48B2ZZE |
|---|---|
| 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.00337#6L4D (statement). In 5STQ3ABZ60/e1, lemma 2.8
History
- 2026-10-30: add by m2/v0.4.12
Frank Natterer 8GR8YFAAPG
| URI | m2://inv/8GR8YFAAPG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Frank Natterer, Frank Natterer (topic). Also Wikidata Q1443837
History
- 2026-11-02: add by m2/dev
Geometric classification 8GR9YHNEAB
| URI | m2://inv/8GR9YHNEAB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33185#A6IT, Geometric classification (statement). In QX30H2WNA7/e1, theorem 1.1
History
- 2026-10-30: add by m2/v0.4.12
Exponential family 8GRB8P7VBZ
| URI | m2://inv/8GRB8P7VBZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#JYY5, Exponential family (definition)
- wikipedia: Wikipedia List of exponential topics#KOIP, Exponential family (definition)
History
- 2026-11-02: add by m2/dev
Variance-gamma distribution 8GREH9AVWD
| URI | m2://inv/8GREH9AVWD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#4M2F, Variance-gamma distribution (definition)
History
- 2026-11-02: add by m2/dev
8GRJ6J3PJY 8GRJ6J3PJY
| URI | m2://inv/8GRJ6J3PJY |
|---|---|
| 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 2406.07116#9KZH (statement). In 5B030CB2RK/e1, corollary A.3
History
- 2026-10-27: add by m2/v0.3.6
8GRJKFKG48 8GRJKFKG48
| URI | m2://inv/8GRJKFKG48 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30200#UURQ (definition)
History
- 2026-11-01: add by m2/v0.6.15
Definitions 8GRKG184PS
| URI | m2://inv/8GRKG184PS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wiener process#L0GH, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Christopher A. Fuchs 8GRP7W50Y8
| URI | m2://inv/8GRP7W50Y8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#WTGS, Christopher A. Fuchs (unknown)
History
- 2026-11-02: add by m2/dev
8GRSJB1KBV 8GRSJB1KBV
| URI | m2://inv/8GRSJB1KBV |
|---|---|
| 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 2609.24902#ML3J (definition)
History
- 2026-11-01: add by m2/v0.6.15
8GRTNP66KV 8GRTNP66KV
| URI | m2://inv/8GRTNP66KV |
|---|---|
| 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.37562#6OVH (statement). In PYY8DFK2JS/e1, corollary 7.7
History
- 2026-10-30: add by m2/v0.4.12
Particle filter 8GS1WJ5XZV
| URI | m2://inv/8GS1WJ5XZV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Particle filter, Particle filter (definition). Also Wikidata Q1151499
History
- 2026-11-02: add by m2/dev
Foster's reactance theorem 8GS5HMMH6B
| URI | m2://inv/8GS5HMMH6B |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Foster's reactance theorem, Foster's reactance theorem (statement). Also Wikidata Q5473574
History
- 2026-11-02: add by m2/dev
8GS7800EBJ 8GS7800EBJ
| URI | m2://inv/8GS7800EBJ |
|---|---|
| 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 2610.13883#KLGD (statement). In F3PQ8P7R2B/e1, lemma 5
History
- 2026-10-28: add by m2/v0.4.2
Mousumi Banerjee 8GS8P3CF54
| URI | m2://inv/8GS8P3CF54 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mousumi Banerjee, Mousumi Banerjee (topic). Also Wikidata Q102235617
History
- 2026-11-02: add by m2/dev
Steinhaus–Moser notation 8GSHYBXAM6
| URI | m2://inv/8GSHYBXAM6 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2092313, Steinhaus–Moser notation (concept). Also MathWorld Steinhaus-MoserNotation
- wikipedia: Wikipedia Steinhaus–Moser notation, Steinhaus–Moser notation (definition). Also Wikidata Q2092313
History
- 2026-10-26: add by m2/dev
8GSJ0PYVBQ 8GSJ0PYVBQ
| URI | m2://inv/8GSJ0PYVBQ |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 01-XX, 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06338#L6D7 (example). In F1CYVYK7YB/e1, example 7.5
History
- 2026-10-29: add by m2/v0.4.10
null hypothesis 8GSK3WVDFP
| URI | m2://inv/8GSK3WVDFP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q628374, null hypothesis (unknown). Also MathWorld NullHypothesis, nLab null hypothesis
History
- 2026-10-26: add by m2/dev
Fundamental theorem of projective geometry 8GT5Y0DD4T
| URI | m2://inv/8GT5Y0DD4T |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Homography#FH7O, Fundamental theorem of projective geometry (statement)
History
- 2026-11-02: add by m2/dev
8GT72XHM8W 8GT72XHM8W
| URI | m2://inv/8GT72XHM8W |
|---|---|
| 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.28669#QBIP (statement)
History
- 2026-11-01: add by m2/v0.6.15
Olga Ladyzhenskaya 8GTANDYK5F
| URI | m2://inv/8GTANDYK5F |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Russian mathematicians#0BWA, Olga Ladyzhenskaya (topic)
History
- 2026-11-02: add by m2/dev
Jan Koum 8GTF7JKWHP
| URI | m2://inv/8GTF7JKWHP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#IJ6S, Jan Koum (unknown)
History
- 2026-11-02: add by m2/dev
8GTQ54ZYJ4 8GTQ54ZYJ4
| URI | m2://inv/8GTQ54ZYJ4 |
|---|---|
| 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.00775#G070 (statement). In WVHA7H05QC/e1, theorem 2.2
History
- 2026-10-29: add by m2/v0.4.12
Perspectiva corporum regularium 8GTVNWT2FM
| URI | m2://inv/8GTVNWT2FM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Perspectiva corporum regularium, Perspectiva corporum regularium (definition). Also Wikidata Q18713151
History
- 2026-11-02: add by m2/dev
Abel–Ruffini theorem 8GTWTR6RHV
| URI | m2://inv/8GTWTR6RHV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of long mathematical proofs#VEH8, Abel–Ruffini theorem (statement)
History
- 2026-11-02: add by m2/dev
8GV2MBHDX8 8GV2MBHDX8
| URI | m2://inv/8GV2MBHDX8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28803#E51U (statement)
History
- 2026-11-01: add by m2/v0.6.15
hom-category 8GV5CQCFWN
| URI | m2://inv/8GV5CQCFWN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q99604697, hom-category (unknown). Also nLab hom-category
History
- 2026-10-26: add by m2/dev
8GV75996R6 8GV75996R6
| URI | m2://inv/8GV75996R6 |
|---|---|
| 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.08226#HNXL (definition). In V6EPE8XHAD/e1, definition 10.4
History
- 2026-10-29: add by m2/v0.4.10
8GVC5DA8VK 8GVC5DA8VK
| URI | m2://inv/8GVC5DA8VK |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 11-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16605#2XQ2 (definition). In KZ175036B5/e1, definition 1.3
History
- 2026-10-28: add by m2/v0.4.2
Example 8GVD6466A6
| URI | m2://inv/8GVD6466A6 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fitch notation#R34Y, Example (example)
History
- 2026-11-02: add by m2/dev
History of data modeling 8GW5EZ4T13
| URI | m2://inv/8GW5EZ4T13 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Data model#Q7YE, History of data modeling (unknown)
History
- 2026-11-02: add by m2/dev
Assertional axioms 8GWCQ71WXC
| URI | m2://inv/8GWCQ71WXC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Description logic#0EY3, Assertional axioms (statement)
History
- 2026-11-02: add by m2/dev
Properties 8GWHEE397F
| URI | m2://inv/8GWHEE397F |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Torus knot#5LYL, Properties (statement)
History
- 2026-11-02: add by m2/dev
Hermite tail shallow approximation lower bound 8GWSSSJHPZ
| URI | m2://inv/8GWSSSJHPZ |
|---|---|
| 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#C49G, Hermite tail shallow approximation lower bound (statement). In N91F15MHW1/e1, proposition 9
History
- 2026-10-28: add by m2/v0.4.3
Seven Bridges of Königsberg 8GWY5GAJ8S
| URI | m2://inv/8GWY5GAJ8S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Seven Bridges of Königsberg 0YCW781Q9D |
Mentions
- wikidata: Wikidata Q33100, Seven Bridges of Königsberg (problem). Also MathWorld KoenigsbergBridgeProblem
- wikipedia: Wikipedia Seven Bridges of Königsberg, Seven Bridges of Königsberg (definition). Also Wikidata Q33100
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Bounded Recursion 8GWYS9Q787
| URI | m2://inv/8GWYS9Q787 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/spine/recursion.tex#transrecursionfun, Bounded Recursion (statement). In PKGMM3P5QY, lem, section 74.5
History
- 2026-11-01: add by m2/v0.6.13
8GWZ6TMMJ0 8GWZ6TMMJ0
| URI | m2://inv/8GWZ6TMMJ0 |
|---|---|
| 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#XRLV (statement). In E7W2HDNEKJ/e1, theorem 4.37
History
- 2026-10-30: add by m2/v0.4.12
associativity, of function types 8GX08BBJVB
| URI | m2://inv/8GX08BBJVB |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/A.2/associativity-of-function-types, associativity, of function types (concept). In N54F33XE07, index, section A.2
History
- 2026-11-01: add by m2/v0.6.13
molar gas constant 8GX0E2CPDZ
| URI | m2://inv/8GX0E2CPDZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q182333, molar gas constant (definition). Also ProofWiki Definition:Universal_Gas_Constant
History
- 2026-10-26: add by m2/dev
David J Benson 8GX4MS9BE6
| URI | m2://inv/8GX4MS9BE6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#7M0V, David J Benson (unknown)
History
- 2026-11-02: add by m2/dev
Examples 8GX8JGJ7NH
| URI | m2://inv/8GX8JGJ7NH |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trace identity#BPV4, Examples (example)
History
- 2026-11-02: add by m2/dev
8GXDK2KG4G 8GXDK2KG4G
| URI | m2://inv/8GXDK2KG4G |
|---|---|
| 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.32977#AL34 (statement). In 4KT9TK3MG4/e1, theorem D.14
History
- 2026-10-31: add by m2/v0.5.6
8GXGPXJBQC 8GXGPXJBQC
| URI | m2://inv/8GXGPXJBQC |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section4-3.xml#activity-1 (exercise). In 649HGZKE96, activity, section 4.3.2
History
- 2026-11-01: add by m2/v0.6.13
8GXH2PAXTM 8GXH2PAXTM
| URI | m2://inv/8GXH2PAXTM |
|---|---|
| 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.33050#7FEI (statement). In VDSBMQ0G9W/e1, proposition 6.1
History
- 2026-10-30: add by m2/v0.4.12
8GXJJ8MDRZ 8GXJJ8MDRZ
| URI | m2://inv/8GXJJ8MDRZ |
|---|---|
| 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.26401#65ME (statement)
History
- 2026-11-01: add by m2/v0.6.15
8GXK1YRB2J 8GXK1YRB2J
| URI | m2://inv/8GXK1YRB2J |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX, 22-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 math/0512416#OBCT (definition). In WJD9YPGGYH/e1, definition 6.2
History
- 2026-10-27: add by m2/v0.3.5
The elementary \texorpdfstring{$\tau$}{tau}-determinants 8GXNPSK86F
| URI | m2://inv/8GXNPSK86F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 26-XX, 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26066#710F, The elementary \texorpdfstring{$\tau$}{tau}-determinants (statement)
History
- 2026-11-01: add by m2/v0.6.15
Rank-word transform for the cocircuit profile 8GXP5YS539
| URI | m2://inv/8GXP5YS539 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20649#DAZ4, Rank-word transform for the cocircuit profile (statement). In XDTM624YPE/e1, theorem 16.1
History
- 2026-10-27: add by m2/v0.4.2
projectivization 8GXQCMM60K
| URI | m2://inv/8GXQCMM60K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7249479, projectivization (unknown). Also MathWorld Projectivization
- wikipedia: Wikipedia Projectivization, Projectivization (definition). Also Wikidata Q7249479
History
- 2026-10-26: add by m2/dev
8GXQD7P8JK 8GXQD7P8JK
| URI | m2://inv/8GXQD7P8JK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26769#ZH3E (statement)
History
- 2026-11-01: add by m2/v0.6.15
8GXVSQK3WX 8GXVSQK3WX
| URI | m2://inv/8GXVSQK3WX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30637#BSOI (statement). In 6G1KBA0SXV/e1, proposition 3.5
History
- 2026-10-31: add by m2/v0.5.6
Master identity 8GXYNT8470
| URI | m2://inv/8GXYNT8470 |
|---|---|
| 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.08599#NHRP, Master identity (statement). In DST9FWMHT6/e1, lemma 2.2
History
- 2026-10-29: add by m2/v0.4.10
8GY35M8KKR 8GY35M8KKR
| URI | m2://inv/8GY35M8KKR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14055#GWPQ (statement). In AKMGN13HE1/e1, lemma 4.1
History
- 2026-10-28: add by m2/v0.4.2
Besicovitch inequality 8GY372T5JH
| URI | m2://inv/8GY372T5JH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Besicovitch inequality, Besicovitch inequality (statement). Also Wikidata Q106577791
History
- 2026-11-02: add by m2/dev
8GYA9YSQD5 8GYA9YSQD5
| URI | m2://inv/8GYA9YSQD5 |
|---|---|
| Kind | statement |
| 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.21662#V2RK (statement). In 25B3WHEKH2/e1, lemma 6.9
History
- 2026-10-27: add by m2/v0.4.2
8GYCTZCREQ 8GYCTZCREQ
| URI | m2://inv/8GYCTZCREQ |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18078#W5M8 (example). In YVK8EFSYNJ/e1, example 2
History
- 2026-10-28: add by m2/v0.4.2
Hans-Egon Richert 8GYDQY49C0
| URI | m2://inv/8GYDQY49C0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hans-Egon Richert, Hans-Egon Richert (topic). Also Wikidata Q111041
History
- 2026-11-02: add by m2/dev
Attack rate 8GYF52735D
| URI | m2://inv/8GYF52735D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#29TN, Attack rate (definition)
History
- 2026-11-02: add by m2/dev
8GYFKZRE8Z 8GYFKZRE8Z
| URI | m2://inv/8GYFKZRE8Z |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#prop:noanaldiscinsphere (statement). In VNMV985MXX, prop, section 1.4
History
- 2026-11-01: add by m2/v0.6.13
8GYFSHJW8Z 8GYFSHJW8Z
| URI | m2://inv/8GYFSHJW8Z |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 46-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.05391#BWFZ (definition). In 9B5TNEBJHV/e1, definition 2.6
History
- 2026-10-29: add by m2/v0.4.10
Jordan Chains 8GYGEWS56Q
| URI | m2://inv/8GYGEWS56Q |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 26-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2411.16022#4S17, Jordan Chains (definition). In QG9ATXTKJ6/e1, definition 1.10
History
- 2026-10-27: add by m2/v0.3.5
Inertia in a prime-square extension 8GYGZ22KA7
| URI | m2://inv/8GYGZ22KA7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30301#5GXJ, Inertia in a prime-square extension (statement). In 7NS75J7HAM/e1, lemma 6.1
History
- 2026-10-31: add by m2/v0.5.6
Agnès Sulem 8GYKT4T010
| URI | m2://inv/8GYKT4T010 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Agnès Sulem, Agnès Sulem (topic). Also Wikidata Q98824860
History
- 2026-11-02: add by m2/dev
$q$--Extension Interaction 8GZ7ZCFJAB
| URI | m2://inv/8GZ7ZCFJAB |
|---|---|
| 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.21131#A2Q8, $q$--Extension Interaction (statement). In CPYWHRTPKC/e1, lemma 2.27
History
- 2026-10-27: add by m2/v0.4.2
Association for Symbolic Logic 8GZCHAWSHK
| URI | m2://inv/8GZCHAWSHK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Association for Symbolic Logic, Association for Symbolic Logic (definition). Also Wikidata Q743648
History
- 2026-11-02: add by m2/dev
complement relative to 8GZHDPPBYB
| URI | m2://inv/8GZHDPPBYB |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/11.9.1/complement-relative-to, complement relative to (concept). In E59CDZA4DP, index, section 11.9.1
History
- 2026-11-01: add by m2/v0.6.13
8GZMQG256S 8GZMQG256S
| URI | m2://inv/8GZMQG256S |
|---|---|
| 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 1909.03896#GA8B (statement). In CX9RVPQVBM/e1, lemma 14
History
- 2026-10-27: add by m2/v0.3.5
Morris Childs 8GZRRV1PY8
| URI | m2://inv/8GZRRV1PY8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#N214, Morris Childs (unknown)
History
- 2026-11-02: add by m2/dev
8GZSC7RP02 8GZSC7RP02
| URI | m2://inv/8GZSC7RP02 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-ser.tex#exercise-8 (exercise). In E59CDZA4DP, exercise, section 10.1.4
History
- 2026-11-01: add by m2/v0.6.13
8GZTSEDGT7 8GZTSEDGT7
| URI | m2://inv/8GZTSEDGT7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13691#L31M (statement). In 3YTKTYTHT6/e1, lemma 2.3
History
- 2026-10-28: add by m2/v0.4.2
8GZWN7MK5D 8GZWN7MK5D
| URI | m2://inv/8GZWN7MK5D |
|---|---|
| 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.11056#8IP8 (statement). In 1NDB3SAG7K/e1, lemma 2.1
History
- 2026-10-28: add by m2/v0.4.3
Tychonoff's theorem 8GZYT3VVA5
| URI | m2://inv/8GZYT3VVA5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical proofs#A2WZ, Tychonoff's theorem (statement)
History
- 2026-11-02: add by m2/dev
8GZZ0CFPW9 8GZZ0CFPW9
| URI | m2://inv/8GZZ0CFPW9 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07164#9A3H (definition). In Q1XJ5VWE1N/e1, definition 2.1
History
- 2026-10-29: add by m2/v0.4.10