Inventory rows GA
The cards of the rows of the inventory whose ids start with GA. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Paley–Zygmund inequality GA01CNG80Y
| URI | m2://inv/GA01CNG80Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chebyshev's inequality#WRFU, Paley–Zygmund inequality (statement)
History
- 2026-11-02: add by m2/dev
Applications GA0QCPZK6J
| URI | m2://inv/GA0QCPZK6J |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Matrix sign function#LJQ2, Applications (example)
History
- 2026-11-02: add by m2/dev
Fast clipping GA0YHAR8VT
| URI | m2://inv/GA0YHAR8VT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Line clipping#59B1, Fast clipping (unknown)
History
- 2026-11-02: add by m2/dev
GA13CWA8Y3 GA13CWA8Y3
| URI | m2://inv/GA13CWA8Y3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40096#8U37 (statement). In XFE35F9NEV/e1, proposition 2.8
History
- 2026-10-30: add by m2/v0.4.12
Stereotyping GA15MEYW4P
| URI | m2://inv/GA15MEYW4P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cognitive biases#1Q25, Stereotyping (definition)
History
- 2026-11-02: add by m2/dev
Examples GA16QEAWD6
| URI | m2://inv/GA16QEAWD6 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kostant partition function#EWFT, Examples (example)
History
- 2026-11-02: add by m2/dev
Checkerboard decomposition of Ising dynamics GA180RZCDE
| URI | m2://inv/GA180RZCDE |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36016#GPGR, Checkerboard decomposition of Ising dynamics (example). In NAM9ZMPHZ9/e1, example A.4
History
- 2026-10-30: add by m2/v0.4.12
GA1902RNJX GA1902RNJX
| URI | m2://inv/GA1902RNJX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2508.03972#H5QX (statement). In 2JD3KNKJ1P/e1, lemma 2.2
History
- 2026-10-27: add by m2/v0.3.5
GA1A95HZAW GA1A95HZAW
| URI | m2://inv/GA1A95HZAW |
|---|---|
| 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.30823#RO7Q (statement). In 1YHQ9YNQ68/e1, lemma 3.1
History
- 2026-10-31: add by m2/v0.5.6
GA1AGKY24E GA1AGKY24E
| URI | m2://inv/GA1AGKY24E |
|---|---|
| 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.27641#FYO3 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Zeitschrift für mathematische Logik und Grundlagen der Mathematik GA1F3VG27J
| URI | m2://inv/GA1F3VG27J |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logic journals#PY9O, Zeitschrift für mathematische Logik und Grundlagen der Mathematik (unknown)
History
- 2026-11-02: add by m2/dev
GA1J1RTGJX GA1J1RTGJX
| URI | m2://inv/GA1J1RTGJX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-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 2610.19791#WO5N (statement). In AVDB4KJ6XB/e1, proposition 5.8
History
- 2026-10-28: add by m2/v0.4.2
Incompleteness theorem for halting probabilities GA1SD4FYF2
| URI | m2://inv/GA1SD4FYF2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chaitin's constant#C0X9, Incompleteness theorem for halting probabilities (statement)
History
- 2026-11-02: add by m2/dev
GA1VCRHPFH GA1VCRHPFH
| URI | m2://inv/GA1VCRHPFH |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27775#V89W (example)
History
- 2026-11-01: add by m2/v0.6.15
Calculus of infinitesimals GA2ARFHJWS
| URI | m2://inv/GA2ARFHJWS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#OGLF, Calculus of infinitesimals (definition)
History
- 2026-11-02: add by m2/dev
Multary quasigroup GA2CE7SRWY
| URI | m2://inv/GA2CE7SRWY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quasigroup#02UG, Multary quasigroup (unknown)
History
- 2026-11-02: add by m2/dev
GA2CYRJT49 GA2CYRJT49
| URI | m2://inv/GA2CYRJT49 |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 35-XX, 65-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13680#8BIX (unknown). In QNBFHFZ3H0/e1, unknown 112
History
- 2026-10-28: add by m2/v0.4.2
symmetry of second derivatives GA2EFBSV36
| URI | m2://inv/GA2EFBSV36 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Symmetry of second derivatives 01V9FPBBVK |
Mentions
- wikidata: Wikidata Q1503239, symmetry of second derivatives (statement). Also EoM Partial_derivative
- wikipedia: Wikipedia Symmetry of second derivatives, Symmetry of second derivatives (definition). Also Wikidata Q1503239
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
GA2FDR3ZWJ GA2FDR3ZWJ
| URI | m2://inv/GA2FDR3ZWJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21017#F4CD (statement). In 8KKYZ4NKT2/e1, proposition 42
History
- 2026-10-27: add by m2/v0.4.2
Ilya Ehrenburg GA2GE4VCD4
| URI | m2://inv/GA2GE4VCD4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#9GNZ, Ilya Ehrenburg (unknown)
History
- 2026-11-02: add by m2/dev
Fundamental theorem of arbitrage-free pricing GA2PR52EGJ
| URI | m2://inv/GA2PR52EGJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems called fundamental#NZ64, Fundamental theorem of arbitrage-free pricing (statement)
History
- 2026-11-02: add by m2/dev
Dunnett's test GA2TK8X2SR
| URI | m2://inv/GA2TK8X2SR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#D7CG, Dunnett's test (definition)
History
- 2026-11-02: add by m2/dev
Guido Hoheisel GA2XW4TDHJ
| URI | m2://inv/GA2XW4TDHJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Guido Hoheisel, Guido Hoheisel (topic). Also Wikidata Q91637
History
- 2026-11-02: add by m2/dev
Sunflower lemma GA33G11A9C
| URI | m2://inv/GA33G11A9C |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sunflower (mathematics)#4XW7, Sunflower lemma (statement)
History
- 2026-11-02: add by m2/dev
GA33P5TKTX GA33P5TKTX
| URI | m2://inv/GA33P5TKTX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23617#9HKM (statement)
History
- 2026-11-02: add by m2/v0.6.17
System equivalence GA3H5V54VM
| URI | m2://inv/GA3H5V54VM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia System equivalence, System equivalence (definition). Also Wikidata Q7663707
History
- 2026-11-02: add by m2/dev
A common geodesic ball of supporting directions GA3HCXHY24
| URI | m2://inv/GA3HCXHY24 |
|---|---|
| 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.14037#6ID7, A common geodesic ball of supporting directions (statement). In E7QSF9NXBG/e1, lemma 5.1
History
- 2026-10-28: add by m2/v0.4.2
Finitary operation GA3MZEVGG6
| URI | m2://inv/GA3MZEVGG6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of abstract algebra topics#0AM5, Finitary operation (definition)
History
- 2026-11-02: add by m2/dev
GA3QWE64X6 GA3QWE64X6
| URI | m2://inv/GA3QWE64X6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26600#Y2GH (statement)
History
- 2026-11-01: add by m2/v0.6.15
GA3SKQNK2P GA3SKQNK2P
| URI | m2://inv/GA3SKQNK2P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15385#Q84S (statement). In HBZXCMYPME/e1, lemma 3.2
History
- 2026-10-28: add by m2/v0.4.2
GA3YSDQVMY GA3YSDQVMY
| URI | m2://inv/GA3YSDQVMY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-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 2610.02017#DO6G (statement). In F6C80AEXC1/e1, proposition 2.13
History
- 2026-10-29: add by m2/v0.4.12
GA40S8MTFH GA40S8MTFH
| URI | m2://inv/GA40S8MTFH |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises1-2.xml#exercise-4 (exercise). In 649HGZKE96, exercise, section 1.2
History
- 2026-11-01: add by m2/v0.6.13
Arithmetic algebraic geometry GA43V115BN
| URI | m2://inv/GA43V115BN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#L48T, Arithmetic algebraic geometry (definition)
History
- 2026-11-02: add by m2/dev
GA495E70E2 GA495E70E2
| URI | m2://inv/GA495E70E2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10365#N8D5 (statement). In PRVQPSBVHK/e1, proposition 21
History
- 2026-10-29: add by m2/v0.4.10
GA49X1T88V GA49X1T88V
| URI | m2://inv/GA49X1T88V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02481#AOGB (statement). In 5HACFNFY0P/e1, lemma 3.1
History
- 2026-10-29: add by m2/v0.4.12
Georges Matheron GA4CRCGW6V
| URI | m2://inv/GA4CRCGW6V |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Georges Matheron, Georges Matheron (topic). Also Wikidata Q1089403
History
- 2026-11-02: add by m2/dev
GA4PMK7XJB GA4PMK7XJB
| URI | m2://inv/GA4PMK7XJB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28848#ZV3G (statement)
History
- 2026-11-01: add by m2/v0.6.15
Definition GA4R9V32Y3
| URI | m2://inv/GA4R9V32Y3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Étale group scheme#V0OQ, Definition (definition)
History
- 2026-11-02: add by m2/dev
Orders of magnitude (one cubic kilometre to one cubic megametre) GA4SAKEC21
| URI | m2://inv/GA4SAKEC21 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orders of magnitude (volume)#9AYC, Orders of magnitude (one cubic kilometre to one cubic megametre) (unknown)
History
- 2026-11-02: add by m2/dev
Kari Karhunen GA4SPG0YR8
| URI | m2://inv/GA4SPG0YR8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kari Karhunen, Kari Karhunen (topic). Also Wikidata Q3193145
History
- 2026-11-02: add by m2/dev
GA4WC77E86 GA4WC77E86
| URI | m2://inv/GA4WC77E86 |
|---|---|
| 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 2609.36334#U7VJ (definition). In YVB70SBGN1/e1, definition
History
- 2026-10-30: add by m2/v0.4.12
Unicoherent GA4Z0Q1EF9
| URI | m2://inv/GA4Z0Q1EF9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of general topology topics#FBCD, Unicoherent (definition)
History
- 2026-11-02: add by m2/dev
Universal depth of a simplicial truncation GA518XG9DS
| URI | m2://inv/GA518XG9DS |
|---|---|
| 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.37589#5HUE, Universal depth of a simplicial truncation (statement). In 18HVB2SKW1/e1, theorem 3.4
History
- 2026-10-30: add by m2/v0.4.12
GA5ARZS7KG GA5ARZS7KG
| URI | m2://inv/GA5ARZS7KG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-contfunc.tex#sincos:example (example). In E59CDZA4DP, example, section 2.2.1
History
- 2026-11-01: add by m2/v0.6.13
Neumann eigenvalues GA5FXRHKQ4
| URI | m2://inv/GA5FXRHKQ4 |
|---|---|
| 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.26537#0Y7A, Neumann eigenvalues (statement)
History
- 2026-11-01: add by m2/v0.6.15
Cornacchia's algorithm GA5K30JDE4
| URI | m2://inv/GA5K30JDE4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cornacchia's algorithm, Cornacchia's algorithm (definition). Also Wikidata Q5171072
History
- 2026-11-02: add by m2/dev
Galois dual and hull GA5M3W2FX7
| URI | m2://inv/GA5M3W2FX7 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08664#TFBH, Galois dual and hull (definition). In 1YY0P4ZS0T/e1, definition 34
History
- 2026-10-29: add by m2/v0.4.10
GA5QYPKZZW GA5QYPKZZW
| URI | m2://inv/GA5QYPKZZW |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21892#IF0B (definition)
History
- 2026-11-02: add by m2/v0.6.17
Markov-Krein Relation GA5SVJW6SQ
| URI | m2://inv/GA5SVJW6SQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18436#0NGI, Markov-Krein Relation (statement). In M0Z0XAXZYW/e1, proposition 1.2
History
- 2026-10-28: add by m2/v0.4.2
Alexander Ostrowski GA5SXKN2EV
| URI | m2://inv/GA5SXKN2EV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#CJ09, Alexander Ostrowski (topic)
History
- 2026-11-02: add by m2/dev
resultant GA5VDABZ4F
| URI | m2://inv/GA5VDABZ4F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of invariant theory#UIKC, resultant (definition)
History
- 2026-11-02: add by m2/dev
Stabilizability GA5WN0PYZT
| URI | m2://inv/GA5WN0PYZT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Controllability#I719, Stabilizability (unknown)
History
- 2026-11-02: add by m2/dev
Mayer–Vietoris sequence GA5Y6G5BD2
| URI | m2://inv/GA5Y6G5BD2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#TWWL, Mayer–Vietoris sequence (definition)
History
- 2026-11-02: add by m2/dev
Institute of Mathematical Statistics GA5ZBGT38Y
| URI | m2://inv/GA5ZBGT38Y |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of academic statistical associations#1SJE, Institute of Mathematical Statistics (unknown)
History
- 2026-11-02: add by m2/dev
GA60QBS7VY GA60QBS7VY
| URI | m2://inv/GA60QBS7VY |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00135#RWTU (definition). In PXWXV92SJY/e1, definition 4.3
History
- 2026-10-30: add by m2/v0.4.12
Open problems GA626V4AAT
| URI | m2://inv/GA626V4AAT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reshetikhin–Turaev invariant#EG1O, Open problems (statement)
History
- 2026-11-02: add by m2/dev
Electromagnetic tensor GA63DYTX8C
| URI | m2://inv/GA63DYTX8C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Electromagnetic tensor, Electromagnetic tensor (definition). Also Wikidata Q1076013
History
- 2026-11-02: add by m2/dev
2021 Romanian census GA6760WXMQ
| URI | m2://inv/GA6760WXMQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 2021 Romanian census, 2021 Romanian census (definition). Also Wikidata Q106566382
History
- 2026-11-02: add by m2/dev
Segre's theorem GA681Y4K7R
| URI | m2://inv/GA681Y4K7R |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Segre's theorem, Segre's theorem (statement). Also Wikidata Q23021008
History
- 2026-11-02: add by m2/dev
Thom transversality theorem GA688CXVHC
| URI | m2://inv/GA688CXVHC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#35E5, Thom transversality theorem (statement)
History
- 2026-11-02: add by m2/dev
\PWL function GA6JBTWDQJ
| URI | m2://inv/GA6JBTWDQJ |
|---|---|
| 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 2609.28794#WHRI, \PWL function (definition)
History
- 2026-11-01: add by m2/v0.6.15
GA6QNXT0CX GA6QNXT0CX
| URI | m2://inv/GA6QNXT0CX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26133#NMMB (statement)
History
- 2026-11-01: add by m2/v0.6.15
GA6R5R8SY9 GA6R5R8SY9
| URI | m2://inv/GA6R5R8SY9 |
|---|---|
| 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 2204.01073#N2Q9 (statement). In W4TYN4PGE8/e1, lemma 2.32
History
- 2026-10-27: add by m2/v0.3.5
The trace is quantised, with modulus $\mathcal H/2^{\#L}$ GA6YJTKQJ9
| URI | m2://inv/GA6YJTKQJ9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18512#BI2Q, The trace is quantised, with modulus $\mathcal H/2^{\#L}$ (statement). In 11JNM66Z09/e1, fact 11.4
History
- 2026-10-28: add by m2/v0.4.2
GA6ZT7YZWS GA6ZT7YZWS
| URI | m2://inv/GA6ZT7YZWS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 35-XX, 47-XX, 58-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.26058#2MIT (statement)
History
- 2026-11-01: add by m2/v0.6.15
Residual rank formula GA75CF700D
| URI | m2://inv/GA75CF700D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38228#OFXB, Residual rank formula (statement). In 9YAE8FNQST/e1, lemma 5.6
History
- 2026-10-30: add by m2/v0.4.12
GA75R8YX8Z GA75R8YX8Z
| URI | m2://inv/GA75R8YX8Z |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/quantum/circuits.tex#proof-3 (proof). In RZP28ERRZV, proof, section 75.2
History
- 2026-11-01: add by m2/v0.6.13
Masatake Kuranishi GA7AYK03J5
| URI | m2://inv/GA7AYK03J5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#Y1GY, Masatake Kuranishi (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#ZJSG, Masatake Kuranishi (topic)
History
- 2026-11-02: add by m2/dev
Use GA7HPRHPFT
| URI | m2://inv/GA7HPRHPFT |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Amplitude versus offset#U65K, Use (example)
History
- 2026-11-02: add by m2/dev
GA80KJF9KY GA80KJF9KY
| URI | m2://inv/GA80KJF9KY |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2303.09207#3S0C (definition). In 9DQKY7KGE8/e1, definition 6.41
History
- 2026-10-31: add by m2/v0.5.6
Lerch zeta function GA86G09DW6
| URI | m2://inv/GA86G09DW6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of zeta functions#WXJK, Lerch zeta function (definition)
History
- 2026-11-02: add by m2/dev
GA86V54M5X GA86V54M5X
| URI | m2://inv/GA86V54M5X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20900#2OR7 (statement)
History
- 2026-11-02: add by m2/v0.6.18
GA872JQZA6 GA872JQZA6
| URI | m2://inv/GA872JQZA6 |
|---|---|
| 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#5K3O (statement). In SF88CM0957/e1, lemma 4.8
History
- 2026-10-29: add by m2/v0.4.12
New Data Seal GA8D7V8MXG
| URI | m2://inv/GA8D7V8MXG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia New Data Seal, New Data Seal (definition). Also Wikidata Q17082957
History
- 2026-11-02: add by m2/dev
Nunspeet GA8EAVS3WS
| URI | m2://inv/GA8EAVS3WS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#D8U9, Nunspeet (unknown)
History
- 2026-11-02: add by m2/dev
GA8F6MNZ60 GA8F6MNZ60
| URI | m2://inv/GA8F6MNZ60 |
|---|---|
| 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.07546#N52L (statement). In H9YE46CGFN/e1, corollary 2
History
- 2026-10-29: add by m2/v0.4.10
Spatial econometrics GA8J6F6CF2
| URI | m2://inv/GA8J6F6CF2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spatial econometrics, Spatial econometrics (topic). Also Wikidata Q7574062
History
- 2026-11-02: add by m2/dev
Statement GA8PDEWAWB
| URI | m2://inv/GA8PDEWAWB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bishop–Phelps theorem#X321, Statement (statement)
History
- 2026-11-02: add by m2/dev
GA8TV5SB81 GA8TV5SB81
| URI | m2://inv/GA8TV5SB81 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22394#WMAJ (statement)
History
- 2026-11-02: add by m2/v0.6.17
Ecological correlation GA8VZ2X8Z7
| URI | m2://inv/GA8VZ2X8Z7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#6AG1, Ecological correlation (definition)
History
- 2026-11-02: add by m2/dev
GA8XH2ZNTT GA8XH2ZNTT
| URI | m2://inv/GA8XH2ZNTT |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/spec-sheaf.tex#dproblem-1 (exercise). In RZP28ERRZV, dproblem, section 27.7
History
- 2026-11-01: add by m2/v0.6.13
Closest vector problem GA8XNG81PF
| URI | m2://inv/GA8XNG81PF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lattice problem#0NXN, Closest vector problem (unknown)
History
- 2026-11-02: add by m2/dev
Heisook Lee GA8YV4W6YG
| URI | m2://inv/GA8YV4W6YG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Heisook Lee, Heisook Lee (topic). Also Wikidata Q97234048
History
- 2026-11-02: add by m2/dev
GA90A50TRZ GA90A50TRZ
| URI | m2://inv/GA90A50TRZ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-metric.tex#exercise:C1ab (exercise). In E59CDZA4DP, exercise, section 4.1.1
History
- 2026-11-01: add by m2/v0.6.13
GA90M66A9C GA90M66A9C
| URI | m2://inv/GA90M66A9C |
|---|---|
| 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.16399#FMKS (statement). In 2N87D4KTSY/e1, lemma 3.1
History
- 2026-10-28: add by m2/v0.4.2
Vikraman Balaji GA91DGC8ND
| URI | m2://inv/GA91DGC8ND |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vikraman Balaji, Vikraman Balaji (topic). Also Wikidata Q10965084
History
- 2026-11-02: add by m2/dev
Tilde operator GA9240MJNK
| URI | m2://inv/GA9240MJNK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tilde#JCNX, Tilde operator (unknown)
History
- 2026-11-02: add by m2/dev
GA94S8MJ9Q GA94S8MJ9Q
| URI | m2://inv/GA94S8MJ9Q |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-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.16606#SQW4 (definition). In A798V7TX99/e1, definition 2.1
History
- 2026-10-28: add by m2/v0.4.2
Geodynamics GA9AETV2K3
| URI | m2://inv/GA9AETV2K3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geodynamics, Geodynamics (topic). Also Wikidata Q152827
History
- 2026-11-02: add by m2/dev
GA9CA06ZPB GA9CA06ZPB
| URI | m2://inv/GA9CA06ZPB |
|---|---|
| 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.25129#K6DO (statement)
History
- 2026-11-01: add by m2/v0.6.15
GA9CQVB9N3 GA9CQVB9N3
| URI | m2://inv/GA9CQVB9N3 |
|---|---|
| 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.12371#DRWX (statement). In 8TTFQH19QR/e1, lemma 13
History
- 2026-10-28: add by m2/v0.4.2
Karamat Ali Karamat GA9RD1040C
| URI | m2://inv/GA9RD1040C |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Indian mathematicians#GAR6, Karamat Ali Karamat (unknown)
History
- 2026-11-02: add by m2/dev
GA9REDG22V GA9REDG22V
| URI | m2://inv/GA9REDG22V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2402.17852#KGAZ (statement). In 1WCXV5PVZA/e1, proposition 3.3
History
- 2026-10-27: add by m2/v0.4.0
injection GA9SF09N7Q
| URI | m2://inv/GA9SF09N7Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of set identities and relations#6NSI, injection (definition)
History
- 2026-11-02: add by m2/dev
Asymptotics of the Sum GA9SWX0EZ7
| URI | m2://inv/GA9SWX0EZ7 |
|---|---|
| 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.07671#4VJ7, Asymptotics of the Sum (statement). In XHHBGCVG90/e1, corollary 5.2.1
History
- 2026-10-29: add by m2/v0.4.10
GAA48SQJYP GAA48SQJYP
| URI | m2://inv/GAA48SQJYP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32599#NY3I (statement). In E1Y93JNBJA/e1, lemma 2.8
History
- 2026-10-31: add by m2/v0.5.6
Gompertz–Makeham law of mortality GAAA3A2YZ6
| URI | m2://inv/GAAA3A2YZ6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gompertz–Makeham law of mortality, Gompertz–Makeham law of mortality (statement). Also Wikidata Q2734378
History
- 2026-11-02: add by m2/dev
GAAA51PHVQ GAAA51PHVQ
| URI | m2://inv/GAAA51PHVQ |
|---|---|
| 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.20600#T0UE (statement). In H5JZ2T9KVT/e1, lemma 8
History
- 2026-10-27: add by m2/v0.4.2
Properties GAACF7EF13
| URI | m2://inv/GAACF7EF13 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exponential map (Lie theory)#OVTA, Properties (statement)
History
- 2026-11-02: add by m2/dev
GAAEM5D4QR GAAEM5D4QR
| URI | m2://inv/GAAEM5D4QR |
|---|---|
| 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 2508.17135#MWTB (definition). In 74MXJ2RX4B/e1, definition 2.1
History
- 2026-10-27: add by m2/v0.3.5
GAAM5VK5NH GAAM5VK5NH
| URI | m2://inv/GAAM5VK5NH |
|---|---|
| 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 2503.16884#57UD (statement). In B984KNW591/e1, corollary 1.2
History
- 2026-10-27: add by m2/v0.3.5
Four fundamental subspaces GAAPDRE6XW
| URI | m2://inv/GAAPDRE6XW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kernel (linear algebra)#7S7M, Four fundamental subspaces (unknown)
History
- 2026-11-02: add by m2/dev
geophysics GAAQ2BW74K
| URI | m2://inv/GAAQ2BW74K |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 86-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q46255, geophysics (topic). Also EoM Geophysics,_mathematical_problems_in
History
- 2026-10-26: add by m2/dev
GAB26WB788 GAB26WB788
| URI | m2://inv/GAB26WB788 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32903#2BFB (statement). In S8NB83KQX3/e1, lemma 11
History
- 2026-10-31: add by m2/v0.5.6
GAB5HJ83AY GAB5HJ83AY
| URI | m2://inv/GAB5HJ83AY |
|---|---|
| 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.17677#71IW (statement). In 5E9G06XJKC/e1, lemma F.14
History
- 2026-10-28: add by m2/v0.4.2
Totally regular summation method GABA3BR5M5
| URI | m2://inv/GABA3BR5M5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Divergent series#VXGW, Totally regular summation method (unknown)
History
- 2026-11-02: add by m2/dev
Data analysis GABEKX1Y7Z
| URI | m2://inv/GABEKX1Y7Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Data analysis, Data analysis (definition). Also Wikidata Q1988917
History
- 2026-11-02: add by m2/dev
GABEM1S4N5 GABEM1S4N5
| URI | m2://inv/GABEM1S4N5 |
|---|---|
| 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.08480#MRGF (statement). In R4EEE89C3S/e1, theorem 4.2
History
- 2026-10-29: add by m2/v0.4.10
GABMTK571G GABMTK571G
| URI | m2://inv/GABMTK571G |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10581#3L6L (example). In 6V42A71SPC/e1, example 5
History
- 2026-10-29: add by m2/v0.4.10
Birkhoff polytope GABQC2FZ49
| URI | m2://inv/GABQC2FZ49 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Birkhoff polytope, Birkhoff polytope (object). Also Wikidata Q4916482
History
- 2026-11-02: add by m2/dev
Hugh Hamilton GABSGTGYFE
| URI | m2://inv/GABSGTGYFE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hugh Hamilton (bishop), Hugh Hamilton (topic). Also Wikidata Q5931024
History
- 2026-11-02: add by m2/dev
ADE classification GABZJ8E7N5
| URI | m2://inv/GABZJ8E7N5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2976517, ADE classification (unknown). Also nLab ADE classification
- wikipedia: Wikipedia ADE classification, ADE classification (definition). Also Wikidata Q2976517
History
- 2026-10-26: add by m2/dev
Henri Milloux GAC1HN6QKT
| URI | m2://inv/GAC1HN6QKT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#QEJR, Henri Milloux (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#REBY, Henri Milloux (topic)
History
- 2026-11-02: add by m2/dev
Hořava–Lifshitz gravity GAC49AVAFY
| URI | m2://inv/GAC49AVAFY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hořava–Lifshitz gravity, Hořava–Lifshitz gravity (topic). Also Wikidata Q5923177
History
- 2026-11-02: add by m2/dev
Mycielskian GAC6FKNHWH
| URI | m2://inv/GAC6FKNHWH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mycielskian, Mycielskian (definition). Also Wikidata Q977674
History
- 2026-11-02: add by m2/dev
Example GACDPKP5PH
| URI | m2://inv/GACDPKP5PH |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spaces of test functions and distributions#0BUT, Example (example)
History
- 2026-11-02: add by m2/dev
Debbie Cheng GACENKT8TZ
| URI | m2://inv/GACENKT8TZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#YOK1, Debbie Cheng (topic)
History
- 2026-11-02: add by m2/dev
Liouville space GACF3VJ7SE
| URI | m2://inv/GACF3VJ7SE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q30688186, Liouville space (unknown). Also MathWorld LiouvilleSpace
- wikipedia: Wikipedia Liouville space, Liouville space (definition). Also Wikidata Q30688186
History
- 2026-10-26: add by m2/dev
GACHYJW62T GACHYJW62T
| URI | m2://inv/GACHYJW62T |
|---|---|
| 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.20590#5ZFR (statement)
History
- 2026-11-02: add by m2/v0.6.18
Properties GACXMR5085
| URI | m2://inv/GACXMR5085 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fourier series#7CAO, Properties (statement)
History
- 2026-11-02: add by m2/dev
GAD2JE5MEC GAD2JE5MEC
| URI | m2://inv/GAD2JE5MEC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2603.29838#RXEJ (statement). In KP0X1RKKKB/e1, proposition 5.3
History
- 2026-10-27: add by m2/v0.4.0
Friedman translation GAD52CCWXQ
| URI | m2://inv/GAD52CCWXQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Friedman translation, Friedman translation (definition). Also Wikidata Q5503698
History
- 2026-11-02: add by m2/dev
Metric embedding GADYPCEWBP
| URI | m2://inv/GADYPCEWBP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Embedding#6PJK, Metric embedding (unknown)
History
- 2026-11-02: add by m2/dev
GAE41CHVH6 GAE41CHVH6
| URI | m2://inv/GAE41CHVH6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 65-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02634#S1H8 (statement). In 6YRWCCW45Y/e1, theorem 3.4
History
- 2026-10-29: add by m2/v0.4.12
GAE6KVST20 GAE6KVST20
| URI | m2://inv/GAE6KVST20 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25468#F83V (statement)
History
- 2026-11-01: add by m2/v0.6.15
Formula for the momenta GAEA8YKMRN
| URI | m2://inv/GAEA8YKMRN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hamilton–Jacobi equation#SY02, Formula for the momenta (statement)
History
- 2026-11-02: add by m2/dev
GAEMJJYYR2 GAEMJJYYR2
| URI | m2://inv/GAEMJJYYR2 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-several-vars-ders.tex#exercise-49 (exercise). In E59CDZA4DP, exercise, section 11.4.3
History
- 2026-11-01: add by m2/v0.6.13
Heinrich Adolph Louis Behnke GAEMQN33T3
| URI | m2://inv/GAEMQN33T3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#J8RQ, Heinrich Adolph Louis Behnke (topic)
History
- 2026-11-02: add by m2/dev
Weighted shift GAEPPVQZEH
| URI | m2://inv/GAEPPVQZEH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09912#R8WA, Weighted shift (statement). In 65TJENWK7X/e1, lemma 70
History
- 2026-10-29: add by m2/v0.4.10
analytical GAF54FJ8RX
| URI | m2://inv/GAF54FJ8RX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#I94U, analytical (definition)
History
- 2026-11-02: add by m2/dev
GAFE212X5S GAFE212X5S
| URI | m2://inv/GAFE212X5S |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/CartesianProducts.tex#prob:some lines (exercise). In P1C114YBXG, problem, section 1
History
- 2026-11-01: add by m2/v0.6.13
Properties GAFGERDCM4
| URI | m2://inv/GAFGERDCM4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Residue field#GI4G, Properties (statement)
History
- 2026-11-02: add by m2/dev
Shelah GAFXVW6Z1T
| URI | m2://inv/GAFXVW6Z1T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#716U, Shelah (definition)
History
- 2026-11-02: add by m2/dev
Special cases GAG0PCBWPW
| URI | m2://inv/GAG0PCBWPW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Closed testing procedure#O2IE, Special cases (statement)
History
- 2026-11-02: add by m2/dev
GAG5QJX1CT GAG5QJX1CT
| URI | m2://inv/GAG5QJX1CT |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book homotopy.tex#proof-21 (proof). In N54F33XE07, proof, section 7.5.1
History
- 2026-11-01: add by m2/v0.6.13
GAG6JV3RQ1 GAG6JV3RQ1
| URI | m2://inv/GAG6JV3RQ1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29489#PS9P (statement)
History
- 2026-11-01: add by m2/v0.6.15
Convergence of decoupled SNOPnP / PnP--Flow GAG7JK3PZT
| URI | m2://inv/GAG7JK3PZT |
|---|---|
| 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.32393#ND5N, Convergence of decoupled SNOPnP / PnP--Flow (statement). In F4816HC2JH/e1, theorem B.2
History
- 2026-10-31: add by m2/v0.5.6
GAGBYWXW2N GAGBYWXW2N
| URI | m2://inv/GAGBYWXW2N |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 26-XX, 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13532#993S (definition). In 9B0X8YPF3P/e1, definition 7.1
History
- 2026-10-28: add by m2/v0.4.2
Agricultural meteorology GAGGXK33AS
| URI | m2://inv/GAGGXK33AS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Meteorology#GOJO, Agricultural meteorology (unknown)
History
- 2026-11-02: add by m2/dev
Distance GAGSQGBVYE
| URI | m2://inv/GAGSQGBVYE |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25301#YC1P, Distance (definition)
History
- 2026-11-01: add by m2/v0.6.15
GAH0VW7CNT GAH0VW7CNT
| URI | m2://inv/GAH0VW7CNT |
|---|---|
| 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.29170#6YMA (statement)
History
- 2026-11-01: add by m2/v0.6.15
Principal series representation GAH962SAZZ
| URI | m2://inv/GAH962SAZZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Principal series representation, Principal series representation (definition). Also Wikidata Q7245090
History
- 2026-11-02: add by m2/dev
,001 GAHN32ZPTB
| URI | m2://inv/GAHN32ZPTB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orders of magnitude (numbers)#PMSL, ,001 (unknown)
History
- 2026-11-02: add by m2/dev
Simple moving average crossover GAHPDZ51B2
| URI | m2://inv/GAHPDZ51B2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#SCO8, Simple moving average crossover (definition)
History
- 2026-11-02: add by m2/dev
GAHQ6MESNV GAHQ6MESNV
| URI | m2://inv/GAHQ6MESNV |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/addtops-numbth.ptx#exercise-3 (exercise). In Y91XFCEVHQ, exercise, section 6.2
History
- 2026-11-01: add by m2/v0.6.13
Equimultiple target in arbitrary singular dimension GAHTWJFEJW
| URI | m2://inv/GAHTWJFEJW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07528#3F4A, Equimultiple target in arbitrary singular dimension (statement). In WVX0T502A1/e1, theorem 5.3
History
- 2026-10-29: add by m2/v0.4.10
GAJ63TBBG8 GAJ63TBBG8
| URI | m2://inv/GAJ63TBBG8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23972#4UKH (statement)
History
- 2026-11-02: add by m2/v0.6.17
mathematics, constructive GAJADY678B
| URI | m2://inv/GAJADY678B |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/C.1.4/mathematics-constructive, mathematics, constructive (concept). In N54F33XE07, index, section C.1.4
History
- 2026-11-01: add by m2/v0.6.13
GAJJSXGA2Z GAJJSXGA2Z
| URI | m2://inv/GAJJSXGA2Z |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-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 2610.18302#074M (definition). In VJTRH1S4JA/e1, definition 4.24
History
- 2026-10-28: add by m2/v0.4.2
GAJM56G324 GAJM56G324
| URI | m2://inv/GAJM56G324 |
|---|---|
| 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.08935#2CVU (definition). In G02N9D40B9/e1, definition 2.2.5
History
- 2026-10-29: add by m2/v0.4.10
Signed cover categories and their morphisms GAJS3HF6JQ
| URI | m2://inv/GAJS3HF6JQ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32733#BK4G, Signed cover categories and their morphisms (definition). In PCAS8S14J6/e1, definition B.1
History
- 2026-10-31: add by m2/v0.5.6
GAJT0PBSVT GAJT0PBSVT
| URI | m2://inv/GAJT0PBSVT |
|---|---|
| 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.02893#H7C5 (statement). In DQ9TAGM5XP/e1, corollary S.4
History
- 2026-10-29: add by m2/v0.4.12
Amitsur complex GAJYMJXVMR
| URI | m2://inv/GAJYMJXVMR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of ring theory#Q1E1, Amitsur complex (definition)
History
- 2026-11-02: add by m2/dev
Psychological statistics GAK0HQZDNX
| URI | m2://inv/GAK0HQZDNX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Psychological statistics, Psychological statistics (definition). Also Wikidata Q675771
History
- 2026-11-02: add by m2/dev
Generalizations GAK56AVV01
| URI | m2://inv/GAK56AVV01 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mason–Stothers theorem#K6IG, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Twelve Mile, Indiana GAK5N2J1GN
| URI | m2://inv/GAK5N2J1GN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#VUN5, Twelve Mile, Indiana (unknown)
History
- 2026-11-02: add by m2/dev
Example GAKB94GR5A
| URI | m2://inv/GAKB94GR5A |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vieta's formulas#6SV0, Example (example)
History
- 2026-11-02: add by m2/dev
Planck's principle GAKQGBKVED
| URI | m2://inv/GAKQGBKVED |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Second law of thermodynamics#7L4O, Planck's principle (statement)
History
- 2026-11-02: add by m2/dev
GAKVK7SZ67 GAKVK7SZ67
| URI | m2://inv/GAKVK7SZ67 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 26-XX, 35-XX, 47-XX, 53-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16157#DBMC (statement). In GV251MW5RP/e1, lemma 3.4
History
- 2026-10-28: add by m2/v0.4.2
Leonard Carlitz GAKWMTV8M7
| URI | m2://inv/GAKWMTV8M7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#J0TG, Leonard Carlitz (topic)
History
- 2026-11-02: add by m2/dev
The proxy-optimal start can be the costlier one GAKX9PCTJJ
| URI | m2://inv/GAKX9PCTJJ |
|---|---|
| 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.20892#WCNG, The proxy-optimal start can be the costlier one (statement). In CPEWVB0XHR/e1, corollary 1
History
- 2026-10-27: add by m2/v0.4.2
Definitions GAKYDGEX8X
| URI | m2://inv/GAKYDGEX8X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mediation (statistics)#B1IB, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Early Roman numerals GAM14M85QB
| URI | m2://inv/GAM14M85QB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Roman numerals#K1HN, Early Roman numerals (unknown)
History
- 2026-11-02: add by m2/dev
Atiyah–Bott formula GAM5NBF32C
| URI | m2://inv/GAM5NBF32C |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Atiyah–Bott formula, Atiyah–Bott formula (statement). Also Wikidata Q19294562
History
- 2026-11-02: add by m2/dev
Consistency of the exact Galerkin DN form GAM66MBYZK
| URI | m2://inv/GAM66MBYZK |
|---|---|
| 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.10484#GYE3, Consistency of the exact Galerkin DN form (statement). In 5B4AX4SF88/e1, lemma 3.4
History
- 2026-10-29: add by m2/v0.4.10
GAMG9M3DTE GAMG9M3DTE
| URI | m2://inv/GAMG9M3DTE |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10930#FGFE (example). In HX63A1PH1W/e1, example 4.33
History
- 2026-10-28: add by m2/v0.4.3
GAMGGSBZK6 GAMGGSBZK6
| URI | m2://inv/GAMGGSBZK6 |
|---|---|
| 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.33108#2LKS (statement). In 5JK5N2RRMS/e1, theorem 1.2
History
- 2026-10-30: add by m2/v0.4.12
Israel Gelfand GAMP7K73QN
| URI | m2://inv/GAMP7K73QN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#JNSW, Israel Gelfand (topic)
- wikipedia: Wikipedia List of Ukrainian Jews#X5WN, Israel Gelfand (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#12Q2, Israel Gelfand (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#R2DL, Israel Gelfand (topic)
History
- 2026-11-02: add by m2/dev
GAMX4B9DA9 GAMX4B9DA9
| URI | m2://inv/GAMX4B9DA9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36377#MR14 (statement). In M98F6VRPZ2/e1, corollary 4.2
History
- 2026-10-30: add by m2/v0.4.12
Scalability GAN5KJ5WPS
| URI | m2://inv/GAN5KJ5WPS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of network theory topics#6GRO, Scalability (unknown)
History
- 2026-11-02: add by m2/dev
GAN6HVA9CH GAN6HVA9CH
| URI | m2://inv/GAN6HVA9CH |
|---|---|
| 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.06556#DLZD (statement). In KW8C7VE9XR/e1, lemma 43
History
- 2026-10-29: add by m2/v0.4.10
Definition GANHGMWEX2
| URI | m2://inv/GANHGMWEX2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spin network#AVUI, Definition (definition)
History
- 2026-11-02: add by m2/dev
Generalizations GANJ776M6Q
| URI | m2://inv/GANJ776M6Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Falling and rising factorials#FVFO, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Herman te Riele GANKS39REV
| URI | m2://inv/GANKS39REV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Herman te Riele, Herman te Riele (topic). Also Wikidata Q454904
History
- 2026-11-02: add by m2/dev
GANNNEGTG0 GANNNEGTG0
| URI | m2://inv/GANNNEGTG0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18709#R1B0 (statement). In K7VY50VFK6/e1, lemma 9.1
History
- 2026-10-28: add by m2/v0.4.2
subgraph GANQGSNNZT
| URI | m2://inv/GANQGSNNZT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7631151, subgraph (definition). Also MathWorld Subgraph, ProofWiki Definition:Subgraph
History
- 2026-10-26: add by m2/dev
GANYZYW0DW GANYZYW0DW
| URI | m2://inv/GANYZYW0DW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20431#Y23F (statement)
History
- 2026-11-02: add by m2/v0.6.18
Construction GANZRBT3EV
| URI | m2://inv/GANZRBT3EV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 2 22 honeycomb#FBT3, Construction (definition)
History
- 2026-11-02: add by m2/dev
Examples GAP1YMGN1Y
| URI | m2://inv/GAP1YMGN1Y |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Newton's laws of motion#8LFY, Examples (example)
History
- 2026-11-02: add by m2/dev
GAP9Y5HJQS GAP9Y5HJQS
| URI | m2://inv/GAP9Y5HJQS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13792#IJIZ (statement). In ZH0PFTZ12Y/e1, lemma 4.19
History
- 2026-10-28: add by m2/v0.4.2
GAPBQSDDCP GAPBQSDDCP
| URI | m2://inv/GAPBQSDDCP |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2506.16491#GU0Y (definition). In P9J6P06Y40/e1, definition 6.5
History
- 2026-10-27: add by m2/v0.3.5
Properties GAPG0GC99N
| URI | m2://inv/GAPG0GC99N |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Director circle#DYOT, Properties (statement)
History
- 2026-11-02: add by m2/dev
Definition GAPH4NGQQK
| URI | m2://inv/GAPH4NGQQK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Absorbing element#8AVR, Definition (definition)
History
- 2026-11-02: add by m2/dev
decision problem GAPQ706W3N
| URI | m2://inv/GAPQ706W3N |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3262192, decision problem (unknown). Also MathWorld DecisionProblem
- wikipedia: Wikipedia Decision problem, Decision problem (problem). Also Wikidata Q3262192
History
- 2026-10-26: add by m2/dev
GAPQP3P7ST GAPQP3P7ST
| URI | m2://inv/GAPQP3P7ST |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21568#XKBU (statement)
History
- 2026-11-02: add by m2/v0.6.18
Russell's paradox GAPX40XWTQ
| URI | m2://inv/GAPX40XWTQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Universal set#DYSH, Russell's paradox (statement)
History
- 2026-11-02: add by m2/dev
GAQ49RFV5N GAQ49RFV5N
| URI | m2://inv/GAQ49RFV5N |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
History
- 2026-10-27: add by m2/v0.3.5
GAQ5FBGAYG GAQ5FBGAYG
| URI | m2://inv/GAQ5FBGAYG |
|---|---|
| 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.02870#SVR7 (statement). In JJQQJ4KX94/e1, lemma 3.6
History
- 2026-10-29: add by m2/v0.4.12
*{Proposition 2.8 GAQR0YB7DS
| URI | m2://inv/GAQR0YB7DS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2403.15255#MSKR, *{Proposition 2.8 (statement). In G691MXMYW0/e1, proposition 2.6
History
- 2026-10-27: add by m2/v0.4.0
Definition GAQZ726TTW
| URI | m2://inv/GAQZ726TTW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Extended phase graph#2R4N, Definition (definition)
History
- 2026-11-02: add by m2/dev
Compressible flow GAR1D1E5K0
| URI | m2://inv/GAR1D1E5K0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Compressible flow, Compressible flow (topic). Also Wikidata Q2705141
History
- 2026-11-02: add by m2/dev
GAR44PSZSX GAR44PSZSX
| URI | m2://inv/GAR44PSZSX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18246#ZCFS (statement). In SN6F0MPPVF/e1, lemma 5.5
History
- 2026-10-28: add by m2/v0.4.2
Similarities with Russell's paradox GAR680BPNQ
| URI | m2://inv/GAR680BPNQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Grelling–Nelson paradox#9XEM, Similarities with Russell's paradox (statement)
History
- 2026-11-02: add by m2/dev
GARAK9ZXBR GARAK9ZXBR
| URI | m2://inv/GARAK9ZXBR |
|---|---|
| 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#EK99 (statement). In SF88CM0957/e1, lemma 5.8
History
- 2026-10-29: add by m2/v0.4.12
Argumentum ad captandum GARF829FE6
| URI | m2://inv/GARF829FE6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Argumentum ad captandum, Argumentum ad captandum (definition). Also Wikidata Q927770
History
- 2026-11-02: add by m2/dev
Deletion criterion GARFNGMK0Y
| URI | m2://inv/GARFNGMK0Y |
|---|---|
| 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.21388#8QB8, Deletion criterion (statement)
History
- 2026-11-02: add by m2/v0.6.18
An introduction to the notation of "Section B Theory of Apparent Variables" (formulas ✱8–✱14.34) GARJTXFER3
| URI | m2://inv/GARJTXFER3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Principia Mathematica#TDIW, An introduction to the notation of "Section B Theory of Apparent Variables" (formulas ✱8–✱14.34) (statement)
History
- 2026-11-02: add by m2/dev
GAS5BGSBEX GAS5BGSBEX
| URI | m2://inv/GAS5BGSBEX |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 11-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15432#CQVS (conjecture). In D1DFM4WYEW/e1, conjecture 1
History
- 2026-10-28: add by m2/v0.4.2
GAS9B3CN83 GAS9B3CN83
| URI | m2://inv/GAS9B3CN83 |
|---|---|
| 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.25524#NPQX (statement)
History
- 2026-11-01: add by m2/v0.6.15
GASG49MNAF GASG49MNAF
| URI | m2://inv/GASG49MNAF |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book reals.tex#proof-2 (proof). In N54F33XE07, proof, section B.2.1
History
- 2026-11-01: add by m2/v0.6.13
Fundamental representation GASK62NWW1
| URI | m2://inv/GASK62NWW1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of representation theory topics#4M2O, Fundamental representation (definition)
History
- 2026-11-02: add by m2/dev
Corollary GAST2XHNZG
| URI | m2://inv/GAST2XHNZG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Morse–Palais lemma#RW0M, Corollary (statement)
History
- 2026-11-02: add by m2/dev
Borel–Weil theorem GASY8J4WHV
| URI | m2://inv/GASY8J4WHV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#MY18, Borel–Weil theorem (statement)
History
- 2026-11-02: add by m2/dev
GAT43JXHR7 GAT43JXHR7
| URI | m2://inv/GAT43JXHR7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01802#XH1Y (statement). In XGPZ0G9E1Q/e1, proposition 3.6
History
- 2026-10-29: add by m2/v0.4.12
GAT43N8HZ1 GAT43N8HZ1
| URI | m2://inv/GAT43N8HZ1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-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.24701#513U (statement)
History
- 2026-11-01: add by m2/v0.6.15
General endpoint moment GATJJHXJVM
| URI | m2://inv/GATJJHXJVM |
|---|---|
| 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.18884#NQMP, General endpoint moment (statement). In 8WM10QMA9E/e1, lemma 5.1
History
- 2026-10-28: add by m2/v0.4.2
GATJNX6N9K GATJNX6N9K
| URI | m2://inv/GATJNX6N9K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18358#Z8JO (statement). In SPZ446XNDW/e1, proposition 6.2
History
- 2026-10-28: add by m2/v0.4.2
Geodemographic segmentation GATM2GFZKM
| URI | m2://inv/GATM2GFZKM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#A30O, Geodemographic segmentation (definition)
History
- 2026-11-02: add by m2/dev
Formal definition GATMBKAF2W
| URI | m2://inv/GATMBKAF2W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Configuration space (physics)#3G1X, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
GATPPGTACP GATPPGTACP
| URI | m2://inv/GATPPGTACP |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 13-XX, 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29683#9Z8J (definition)
History
- 2026-11-01: add by m2/v0.6.15
GAV05BKGR1 GAV05BKGR1
| URI | m2://inv/GAV05BKGR1 |
|---|---|
| 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 2609.28009#QG5H (definition)
History
- 2026-11-01: add by m2/v0.6.15
Alexey Ivakhnenko GAV544WGQN
| URI | m2://inv/GAV544WGQN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alexey Ivakhnenko, Alexey Ivakhnenko (topic). Also Wikidata Q4196973
History
- 2026-11-02: add by m2/dev
GAV5E8WQAH GAV5E8WQAH
| URI | m2://inv/GAV5E8WQAH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2503.19729#7EIA (statement). In 40YZ43TS8K/e1, lemma 5.1
History
- 2026-10-27: add by m2/v0.3.5
Examples GAV7028SPZ
| URI | m2://inv/GAV7028SPZ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gale diagram#BGS8, Examples (example)
History
- 2026-11-02: add by m2/dev
GAVDFMR0K7 GAVDFMR0K7
| URI | m2://inv/GAVDFMR0K7 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09206#FTDX (definition). In T7R1Q29DQK/e1, definition
History
- 2026-10-29: add by m2/v0.4.10
GAVEPYRZT0 GAVEPYRZT0
| URI | m2://inv/GAVEPYRZT0 |
|---|---|
| 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.29022#3GC0 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Notation GAVKWSSMR1
| URI | m2://inv/GAVKWSSMR1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Congestion game#8213, Notation (definition)
History
- 2026-11-02: add by m2/dev
GAVPZTEBFA GAVPZTEBFA
| URI | m2://inv/GAVPZTEBFA |
|---|---|
| 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.38014#ABIF (statement). In F3X5W4E0AJ/e1, proposition 1
History
- 2026-10-30: add by m2/v0.4.12
GAVY1NY3BK GAVY1NY3BK
| URI | m2://inv/GAVY1NY3BK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/syntax-and-semantics/substitution.tex#defn-2 (definition). In PKGMM3P5QY, defn, section 20.3
History
- 2026-11-01: add by m2/v0.6.13
Applications GAVZQYHYEN
| URI | m2://inv/GAVZQYHYEN |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Invertible matrix#7PJ8, Applications (example)
History
- 2026-11-02: add by m2/dev
GAW2KVDHST GAW2KVDHST
| URI | m2://inv/GAW2KVDHST |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-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.06152#EPHT (statement). In HH35K7S17H/e1, theorem 5.2
History
- 2026-10-29: add by m2/v0.4.10
Vijayan Nair GAW4KA8E33
| URI | m2://inv/GAW4KA8E33 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#QXFK, Vijayan Nair (topic)
History
- 2026-11-02: add by m2/dev
Stereographic projection GAW5VZWV45
| URI | m2://inv/GAW5VZWV45 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of graphical methods#4XKW, Stereographic projection (definition)
History
- 2026-11-02: add by m2/dev
Conserved quantities GAW70X12BY
| URI | m2://inv/GAW70X12BY |
|---|---|
| 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.01883#9I4U, Conserved quantities (statement). In CYV4P9TDV0/e1, proposition 5.1
History
- 2026-10-29: add by m2/v0.4.12
GAW7CXGCS0 GAW7CXGCS0
| URI | m2://inv/GAW7CXGCS0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18016#BN3M (statement). In V5PVKDKGGG/e1, theorem 8.4
History
- 2026-10-28: add by m2/v0.4.2
Definition GAW934B926
| URI | m2://inv/GAW934B926 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Assouad–Nagata dimension#UEVB, Definition (definition)
History
- 2026-11-02: add by m2/dev
Alexander Granach GAWNGX36MM
| URI | m2://inv/GAWNGX36MM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#KFK8, Alexander Granach (unknown)
History
- 2026-11-02: add by m2/dev
clay tablet GAWRCFRKB3
| URI | m2://inv/GAWRCFRKB3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1570005, clay tablet (definition). Also ProofWiki Definition:Babylonian_Clay_Tablets
History
- 2026-10-26: add by m2/dev
GAWX1F9VVA GAWX1F9VVA
| URI | m2://inv/GAWX1F9VVA |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#example:bergmankerneldisc (example). In VNMV985MXX, example, section 5.2
History
- 2026-11-01: add by m2/v0.6.13
GAXBNABYMX GAXBNABYMX
| URI | m2://inv/GAXBNABYMX |
|---|---|
| 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.12543#CXIS (statement). In 5Y2KARN1YC/e1, proposition 7
History
- 2026-10-28: add by m2/v0.4.2
free object GAXC9E7QAN
| URI | m2://inv/GAXC9E7QAN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Free object QBDT694BAP |
Mentions
- wikidata: Wikidata Q5500272, free object (unknown). Also nLab free object
- wikipedia: Wikipedia Free object, Free object (definition). Also Wikidata Q5500272
History
- 2026-10-26: add by m2/dev
GAXET4N0NX GAXET4N0NX
| URI | m2://inv/GAXET4N0NX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14267#OM5X (statement). In 9YTGFNA004/e1, corollary 3.5
History
- 2026-10-28: add by m2/v0.4.2
GAXH4EBGK6 GAXH4EBGK6
| URI | m2://inv/GAXH4EBGK6 |
|---|---|
| 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#42LV (statement)
History
- 2026-11-01: add by m2/v0.6.15
Joyal's extension theorem GAXHRHPD61
| URI | m2://inv/GAXHRHPD61 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Joyal's extension and lifting theorems#3TJR, Joyal's extension theorem (statement)
History
- 2026-11-02: add by m2/dev
David R. Cox GAXQKZF4JP
| URI | m2://inv/GAXQKZF4JP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#I4NM, David R. Cox (topic)
History
- 2026-11-02: add by m2/dev
Residual GAY41XYJY9
| URI | m2://inv/GAY41XYJY9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of general topology#A8DV, Residual (definition)
History
- 2026-11-02: add by m2/dev
Example GAY7WDPKTP
| URI | m2://inv/GAY7WDPKTP |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Argument (complex analysis)#GGNC, Example (example)
History
- 2026-11-02: add by m2/dev
GAYA7FJ044 GAYA7FJ044
| URI | m2://inv/GAYA7FJ044 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2607.27272#EI09 (statement). In BDEA3TDATY/e1, theorem D
History
- 2026-10-27: add by m2/v0.3.5
GAYHY35RNT GAYHY35RNT
| URI | m2://inv/GAYHY35RNT |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 03-XX, 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16475#05SS (problem). In FM9SKN560Q/e1, problem 5.1
History
- 2026-10-28: add by m2/v0.4.2
GAYSKP0FJE GAYSKP0FJE
| URI | m2://inv/GAYSKP0FJE |
|---|---|
| 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 2606.02312#B7I7 (statement). In 1SZV94R22Y/e1, theorem 1.1
History
- 2026-10-27: add by m2/v0.3.5
GAZ3D890Z0 GAZ3D890Z0
| URI | m2://inv/GAZ3D890Z0 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20599#RMIC (definition)
History
- 2026-11-02: add by m2/v0.6.18
GAZ52FDQZE GAZ52FDQZE
| URI | m2://inv/GAZ52FDQZE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2512.08791#AM5R (statement). In SZ7N8Q5S6N/e1, lemma 3.2
History
- 2026-10-27: add by m2/v0.4.0
Killing form GAZ7KY570S
| URI | m2://inv/GAZ7KY570S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Lie groups topics#TVRM, Killing form (definition)
History
- 2026-11-02: add by m2/dev
GAZDXQZKQP GAZDXQZKQP
| URI | m2://inv/GAZDXQZKQP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33162#KAR5 (statement). In RPC7VG3KHQ/e1, corollary 3.14
History
- 2026-10-30: add by m2/v0.4.12
challenging GAZWDKS981
| URI | m2://inv/GAZWDKS981 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-first-order-ode.tex#exercise-31, challenging (exercise). In E9HS8K3A52, exercise, section 4.2.3
History
- 2026-11-01: add by m2/v0.6.13
GAZX26W9K6 GAZX26W9K6
| URI | m2://inv/GAZX26W9K6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2601.15403#4QWI (statement). In BSWNH3NW1M/e1, theorem A
- arxiv: arXiv 2610.04833#V7XT (statement). In AKB3CNDA0F/e1, corollary 1.4
History
- 2026-10-27: add by m2/v0.3.5
Ghirlanda--Guerra identities on average GAZZ0492C7
| URI | m2://inv/GAZZ0492C7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32710#Q4QL, Ghirlanda--Guerra identities on average (statement). In KVYG6R7CGJ/e1, lemma 4.5
History
- 2026-10-31: add by m2/v0.5.6