Inventory rows 6E
The cards of the rows of the inventory whose ids start with 6E. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
6E017P9EC9 6E017P9EC9
| URI | m2://inv/6E017P9EC9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18992#TKRP (statement). In S7PNTM0GZC/e1, lemma 2.5
History
- 2026-10-28: add by m2/v0.4.2
6E020YB329 6E020YB329
| URI | m2://inv/6E020YB329 |
|---|---|
| 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.28118#C6WV (statement)
History
- 2026-11-01: add by m2/v0.6.15
Weak continuum hypothesis 6E0E2F032Y
| URI | m2://inv/6E0E2F032Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weak continuum hypothesis, Weak continuum hypothesis (statement). Also Wikidata Q124096710
History
- 2026-11-02: add by m2/dev
Conjunctive normal form 6E0EYHBQ3Q
| URI | m2://inv/6E0EYHBQ3Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Boolean algebra topics#I8AJ, Conjunctive normal form (definition)
History
- 2026-11-02: add by m2/dev
complete graph K5 6E0F1D178F
| URI | m2://inv/6E0F1D178F |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q123375429, complete graph K5 (unknown). Also House of Graphs 462, MathWorld PentatopeGraph
History
- 2026-10-26: add by m2/dev
Simultaneous lattice test 6E1822RJ59
| URI | m2://inv/6E1822RJ59 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14318#YH92, Simultaneous lattice test (example). In HA4SZZJ831/e1, example 5.1
History
- 2026-10-28: add by m2/v0.4.2
6E1ADPMVPS 6E1ADPMVPS
| URI | m2://inv/6E1ADPMVPS |
|---|---|
| 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#EHW8 (statement). In HH35K7S17H/e1, proposition A.24
History
- 2026-10-29: add by m2/v0.4.10
Covering bound 6E1E3DQT0T
| URI | m2://inv/6E1E3DQT0T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25120#4N6F, Covering bound (statement)
History
- 2026-11-01: add by m2/v0.6.15
idempotent 6E1HWN977Y
| URI | m2://inv/6E1HWN977Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of ring theory#7XNG, idempotent (definition)
History
- 2026-11-02: add by m2/dev
Hypothetical syllogism 6E1JVBEK1Z
| URI | m2://inv/6E1JVBEK1Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hypothetical syllogism, Hypothetical syllogism (definition). Also Wikidata Q1641477
History
- 2026-11-02: add by m2/dev
bit 6E1QPT0XQT
| URI | m2://inv/6E1QPT0XQT |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/9.3/bit, bit (concept). In N54F33XE07, index, section 9.3
History
- 2026-11-01: add by m2/v0.6.13
Properties 6E1SX40VBV
| URI | m2://inv/6E1SX40VBV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gromoll–Meyer sphere#FV7P, Properties (statement)
History
- 2026-11-02: add by m2/dev
6E28RKPC8D 6E28RKPC8D
| URI | m2://inv/6E28RKPC8D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18847#8YEA (statement). In DZ12XTTJSM/e1, lemma 2.3
History
- 2026-10-28: add by m2/v0.4.2
prisoner's dilemma 6E2ANWD25B
| URI | m2://inv/6E2ANWD25B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q41693, prisoner's dilemma (definition). Also MathWorld PrisonersDilemma, ProofWiki Definition:Prisoner's_Dilemma
- wikipedia: Wikipedia Prisoner's dilemma, Prisoner's dilemma (definition). Also Wikidata Q41693
History
- 2026-10-26: add by m2/dev
6E2CC4QTSY 6E2CC4QTSY
| URI | m2://inv/6E2CC4QTSY |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19285#D1V1 (definition). In 6DJR9DKY5W/e1, definition 4.3
History
- 2026-10-28: add by m2/v0.4.2
Frederic Wan 6E2JP9TBMH
| URI | m2://inv/6E2JP9TBMH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Frederic Wan, Frederic Wan (topic). Also Wikidata Q10285741
History
- 2026-11-02: add by m2/dev
Logical graph 6E2KHX61F4
| URI | m2://inv/6E2KHX61F4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of graph theory topics#L5FF, Logical graph (definition)
- wikipedia: Wikipedia List of Boolean algebra topics#Q9ZD, Logical graph (definition)
History
- 2026-11-02: add by m2/dev
Examples 6E2R5WW9BC
| URI | m2://inv/6E2R5WW9BC |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Modular lattice#4S6C, Examples (example)
History
- 2026-11-02: add by m2/dev
American Mathematics Contest 6E2ZHGAG36
| URI | m2://inv/6E2ZHGAG36 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematics competitions#WLJV, American Mathematics Contest (definition)
History
- 2026-11-02: add by m2/dev
Properties 6E39GBSK21
| URI | m2://inv/6E39GBSK21 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geometric distribution#OO9D, Properties (statement)
History
- 2026-11-02: add by m2/dev
Crime and IQ 6E3AWWGBKE
| URI | m2://inv/6E3AWWGBKE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Intelligence quotient#4UI7, Crime and IQ (unknown)
History
- 2026-11-02: add by m2/dev
Applications 6E3D9XPGAK
| URI | m2://inv/6E3D9XPGAK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Edge contraction#P5DV, Applications (example)
History
- 2026-11-02: add by m2/dev
Milford Haven 6E3SESM2G6
| URI | m2://inv/6E3SESM2G6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#XI50, Milford Haven (unknown)
History
- 2026-11-02: add by m2/dev
Zero Lelong numbers and nefness 6E3V5DN7NH
| URI | m2://inv/6E3V5DN7NH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25762#BPMR, Zero Lelong numbers and nefness (statement)
History
- 2026-11-01: add by m2/v0.6.15
Margaret Maxfield 6E3Y9NFNG7
| URI | m2://inv/6E3Y9NFNG7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Margaret Maxfield, Margaret Maxfield (topic). Also Wikidata Q94477263
History
- 2026-11-02: add by m2/dev
Accretion is unboundedly suboptimal 6E47S6310Q
| URI | m2://inv/6E47S6310Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11007#913G, Accretion is unboundedly suboptimal (statement). In MF0H78XZXC/e1, corollary 1
History
- 2026-10-28: add by m2/v0.4.3
6E4B11T2A5 6E4B11T2A5
| URI | m2://inv/6E4B11T2A5 |
|---|---|
| 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.05696#9TZL (statement). In MG81A9XJTQ/e1, lemma IV.6
History
- 2026-10-29: add by m2/v0.4.10
Louis Bertrand Castel 6E4BRZXKBZ
| URI | m2://inv/6E4BRZXKBZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Louis Bertrand Castel, Louis Bertrand Castel (topic). Also Wikidata Q178287
History
- 2026-11-02: add by m2/dev
Loop quantum gravity 6E4EZJVXH8
| URI | m2://inv/6E4EZJVXH8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Loop quantum gravity, Loop quantum gravity (topic). Also Wikidata Q739962
History
- 2026-11-02: add by m2/dev
6E4JE809W6 6E4JE809W6
| URI | m2://inv/6E4JE809W6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12329#579H (statement). In ZJQB9W60T6/e1, proposition 7.11
History
- 2026-10-28: add by m2/v0.4.2
Vaneet Aggarwal 6E4WCSSTAG
| URI | m2://inv/6E4WCSSTAG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#J4HA, Vaneet Aggarwal (unknown)
History
- 2026-11-02: add by m2/dev
Entropy versus $T$-count 6E4Y8K9WHC
| URI | m2://inv/6E4Y8K9WHC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.37368#COWM, Entropy versus $T$-count (statement). In FRMCKEGVJZ/e1, lemma 3
History
- 2026-10-30: add by m2/v0.4.12
The compatibility theorem 6E59CPSNHT
| URI | m2://inv/6E59CPSNHT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Complete set of commuting observables#5ZWH, The compatibility theorem (statement)
History
- 2026-11-02: add by m2/dev
PDE of $W_\alpha$ 6E59GXTTTH
| URI | m2://inv/6E59GXTTTH |
|---|---|
| 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.21781#5Q1Y, PDE of $W_\alpha$ (statement). In FEQ72D1AX6/e1, proposition 5.8
History
- 2026-10-27: add by m2/v0.4.2
A structure theorem 6E5A77BVCM
| URI | m2://inv/6E5A77BVCM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cone of curves#QTI8, A structure theorem (statement)
History
- 2026-11-02: add by m2/dev
A second derivation of the sixth-moment lower bound 6E5AZ588DW
| URI | m2://inv/6E5AZ588DW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04099#F1QC, A second derivation of the sixth-moment lower bound (statement). In QPJ6FWG5HD/e1, proposition 2.69
History
- 2026-10-29: add by m2/v0.4.12
6E5KV08QTP 6E5KV08QTP
| URI | m2://inv/6E5KV08QTP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20805#YOJK (statement)
History
- 2026-11-02: add by m2/v0.6.18
prime quadruplet 6E617JZQJY
| URI | m2://inv/6E617JZQJY |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1663458, prime quadruplet (unknown). Also MathWorld PrimeQuadruplet
- wikipedia: Wikipedia Prime quadruplet, Prime quadruplet (conjecture). Also Wikidata Q1663458
History
- 2026-10-26: add by m2/dev
Error of covariance estimate for $\beta < 1$ 6E67B8V07G
| URI | m2://inv/6E67B8V07G |
|---|---|
| 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.30590#X840, Error of covariance estimate for $\beta < 1$ (statement). In WYE2JVEZBT/e1, theorem B.3
History
- 2026-10-31: add by m2/v0.5.6
Baden Powell 6E699BCV01
| URI | m2://inv/6E699BCV01 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Baden Powell (mathematician), Baden Powell (topic). Also Wikidata Q1071769
History
- 2026-11-02: add by m2/dev
Generalizations 6E6BP1PCZ9
| URI | m2://inv/6E6BP1PCZ9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Regular semigroup#TI13, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
6E6E9NGFNA 6E6E9NGFNA
| URI | m2://inv/6E6E9NGFNA |
|---|---|
| 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#6IVH (statement)
History
- 2026-11-01: add by m2/v0.6.15
Construction of a hash calendar 6E6HB45RFF
| URI | m2://inv/6E6HB45RFF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hash calendar#EKZ6, Construction of a hash calendar (definition)
History
- 2026-11-02: add by m2/dev
Examples 6E6K208S1R
| URI | m2://inv/6E6K208S1R |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Substructure (mathematics)#VLZ4, Examples (example)
History
- 2026-11-02: add by m2/dev
Generalizations 6E6MP78CNB
| URI | m2://inv/6E6MP78CNB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Matrix decomposition#OU49, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Visual metric 6E6QW4YKXV
| URI | m2://inv/6E6QW4YKXV |
|---|---|
| Kind | definition |
| 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#ZR9V, Visual metric (definition)
History
- 2026-11-01: add by m2/v0.6.15
Applications 6E6XS5TTA2
| URI | m2://inv/6E6XS5TTA2 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euler's criterion#QS4J, Applications (example)
History
- 2026-11-02: add by m2/dev
Algimantas Adolfas Jucys 6E75FMZJFJ
| URI | m2://inv/6E75FMZJFJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Algimantas Adolfas Jucys, Algimantas Adolfas Jucys (topic). Also Wikidata Q4724234
History
- 2026-11-02: add by m2/dev
6E782HNQ3K 6E782HNQ3K
| URI | m2://inv/6E782HNQ3K |
|---|---|
| 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.10017#JA5A (statement). In CJRBKR4JKT/e1, theorem 7.2
History
- 2026-10-29: add by m2/v0.4.10
Prescribed observation 6E7CM3C0NX
| URI | m2://inv/6E7CM3C0NX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37575#JNLR, Prescribed observation (statement). In W9R9C3YS83/e1, proposition 1
History
- 2026-10-30: add by m2/v0.4.12
6E7CXRJFSJ 6E7CXRJFSJ
| URI | m2://inv/6E7CXRJFSJ |
|---|---|
| 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-21 (exercise). In E59CDZA4DP, exercise, section 11.2.4
History
- 2026-11-01: add by m2/v0.6.13
Canonical cubic differential 6E7E9GBAFA
| URI | m2://inv/6E7E9GBAFA |
|---|---|
| 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.26196#NJTU, Canonical cubic differential (statement)
History
- 2026-11-01: add by m2/v0.6.15
Cokernel 6E7J50G1T5
| URI | m2://inv/6E7J50G1T5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of homological algebra topics#G6N2, Cokernel (definition)
History
- 2026-11-02: add by m2/dev
Hua's identity 6E7RMZGPVA
| URI | m2://inv/6E7RMZGPVA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hua's identity, Hua's identity (statement). Also Wikidata Q15709387
History
- 2026-11-02: add by m2/dev
Ree reduction 6E7ZGK6PMT
| URI | m2://inv/6E7ZGK6PMT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15340#S8SY, Ree reduction (statement). In 9NVKKW8HDH/e1, theorem 2.63
History
- 2026-10-28: add by m2/v0.4.2
Example 6E803R5MFW
| URI | m2://inv/6E803R5MFW |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shoelace formula#95DR, Example (example)
History
- 2026-11-02: add by m2/dev
Examples 6E85WD50SE
| URI | m2://inv/6E85WD50SE |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bogomol'nyi–Prasad–Sommerfield bound#VISF, Examples (example)
History
- 2026-11-02: add by m2/dev
Maxwell Time 6E86SCSEWQ
| URI | m2://inv/6E86SCSEWQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Maxwell model#43I6, Maxwell Time (unknown)
History
- 2026-11-02: add by m2/dev
\(\beta\)-capacity 6E89N243A1
| URI | m2://inv/6E89N243A1 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24078#CTCF, \(\beta\)-capacity (definition)
History
- 2026-11-02: add by m2/v0.6.17
Ambiguous image 6E8A87VNJ4
| URI | m2://inv/6E8A87VNJ4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ambiguous image, Ambiguous image (definition). Also Wikidata Q4741453
History
- 2026-11-02: add by m2/dev
The frontier is a nonnegative LASSO path 6E8FQ9YDNT
| URI | m2://inv/6E8FQ9YDNT |
|---|---|
| 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.25704#ERLA, The frontier is a nonnegative LASSO path (statement)
History
- 2026-11-01: add by m2/v0.6.15
6E8JJHBCZD 6E8JJHBCZD
| URI | m2://inv/6E8JJHBCZD |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/intro-sets.ptx#exercise-16 (exercise). In Y91XFCEVHQ, exercise, section 1.3
History
- 2026-11-01: add by m2/v0.6.13
Properties 6E8P8SQ53X
| URI | m2://inv/6E8P8SQ53X |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graph flattenability#I5FV, Properties (statement)
History
- 2026-11-02: add by m2/dev
Construction 6E8RDHRYAG
| URI | m2://inv/6E8RDHRYAG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia De Bruijn sequence#MBZI, Construction (definition)
History
- 2026-11-02: add by m2/dev
Example 6E8VERY6JZ
| URI | m2://inv/6E8VERY6JZ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arithmetico-geometric sequence#H45G, Example (example)
History
- 2026-11-02: add by m2/dev
Tomasz Łuczak 6E8Y23FXFR
| URI | m2://inv/6E8Y23FXFR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#FXFC, Tomasz Łuczak (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#L1CF, Tomasz Łuczak (topic)
History
- 2026-11-02: add by m2/dev
Identity permutation 6E8Y81BBF8
| URI | m2://inv/6E8Y81BBF8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Permutation group#LY8G, Identity permutation (unknown)
History
- 2026-11-02: add by m2/dev
6E8YFBDCTM 6E8YFBDCTM
| URI | m2://inv/6E8YFBDCTM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35740#H61A (statement). In N7C6C0QGJM/e1, proposition 2.2
History
- 2026-10-30: add by m2/v0.4.12
6E8YGZDMVK 6E8YGZDMVK
| URI | m2://inv/6E8YGZDMVK |
|---|---|
| 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.05168#92ZT (statement). In 2PW0WEPJBH/e1, theorem 2
History
- 2026-10-29: add by m2/v0.4.10
$\kappa$-Morse boundary 6E963P7FQ6
| URI | m2://inv/6E963P7FQ6 |
|---|---|
| Kind | definition |
| 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#FHPF, $\kappa$-Morse boundary (definition)
History
- 2026-11-01: add by m2/v0.6.15
Electrical component tolerance 6E976E32BN
| URI | m2://inv/6E976E32BN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Engineering tolerance#KZHE, Electrical component tolerance (unknown)
History
- 2026-11-02: add by m2/dev
\bf The Q-shaped derived category 6E9BKG6X6X
| URI | m2://inv/6E9BKG6X6X |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 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.21507#JE2P, \bf The Q-shaped derived category (definition). In 879ZDHVK7N/e1, definition 2.6
History
- 2026-10-27: add by m2/v0.4.2
Definition 6E9J7S7YK8
| URI | m2://inv/6E9J7S7YK8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Invertible sheaf#QGMP, Definition (definition)
History
- 2026-11-02: add by m2/dev
6E9JCGPPFS 6E9JCGPPFS
| URI | m2://inv/6E9JCGPPFS |
|---|---|
| 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.03568#UNK9 (statement). In TGNKGP0XNY/e1, lemma 3.1
History
- 2026-10-29: add by m2/v0.4.12
John Neter 6E9JD8HV6P
| URI | m2://inv/6E9JD8HV6P |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#S3CU, John Neter (unknown)
History
- 2026-11-02: add by m2/dev
6E9VCK3JNB 6E9VCK3JNB
| URI | m2://inv/6E9VCK3JNB |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
History
- 2026-10-28: add by m2/v0.4.2
mean 6E9W5WNJ69
| URI | m2://inv/6E9W5WNJ69 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2796622, mean (unknown). Also MathWorld Mean, nLab mean
History
- 2026-10-26: add by m2/dev
Bivariant theory 6E9WC1DBA6
| URI | m2://inv/6E9WC1DBA6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bivariant theory, Bivariant theory (definition). Also Wikidata Q85747457
History
- 2026-11-02: add by m2/dev
6E9ZQHBKFE 6E9ZQHBKFE
| URI | m2://inv/6E9ZQHBKFE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30976#3YNQ (statement). In 4QY9J1A0KT/e1, theorem 3
History
- 2026-10-31: add by m2/v0.5.6
Adjacency matrix 6EA2B1YMYB
| URI | m2://inv/6EA2B1YMYB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of named matrices#W8BG, Adjacency matrix (definition)
History
- 2026-11-02: add by m2/dev
6EA2MGSM0G 6EA2MGSM0G
| URI | m2://inv/6EA2MGSM0G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11902#NYW2 (statement). In K66QKM4N5E/e1, corollary 3.2
History
- 2026-10-28: add by m2/v0.4.3
Baranyai's theorem 6EAJZ175J8
| URI | m2://inv/6EAJZ175J8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 05-XX |
| Sources | 4 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q790236, Baranyai's theorem (statement). Also Wikidata Q790236
- thousand_plus: thousand_plus Q790236, Baranyai's theorem (statement). Also Wikidata Q790236, Wikipedia Baranyai's theorem
- wikidata: Wikidata Q790236, Baranyai's theorem (statement). Also MathWorld BaranyaisTheorem
- wikipedia: Wikipedia Baranyai's theorem, Baranyai's theorem (statement). Also Wikidata Q790236
History
- 2026-10-26: add by m2/dev
6EAV0AA790 6EAV0AA790
| URI | m2://inv/6EAV0AA790 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09019#UITR (statement). In 8V6YECFCC1/e1, lemma 4.7
History
- 2026-10-29: add by m2/v0.4.10
Fannes' inequality and Audenaert's refinement 6EB08TVWZM
| URI | m2://inv/6EB08TVWZM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fannes–Audenaert inequality#XB5B, Fannes' inequality and Audenaert's refinement (statement)
History
- 2026-11-02: add by m2/dev
Non-associative algebra 6EB3294DSR
| URI | m2://inv/6EB3294DSR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebras#MH4I, Non-associative algebra (definition)
History
- 2026-11-02: add by m2/dev
rank-regular scale atlas 6EBFVT90C6
| URI | m2://inv/6EBFVT90C6 |
|---|---|
| Kind | definition |
| 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.04000#EVIK, rank-regular scale atlas (definition). In CBCCH5VTMQ/e1, definition 3.6
History
- 2026-10-29: add by m2/v0.4.12
Marius Lacombe 6EBHH8G0EQ
| URI | m2://inv/6EBHH8G0EQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Marius Lacombe, Marius Lacombe (topic). Also Wikidata Q37735350
History
- 2026-11-02: add by m2/dev
6EBHZ2WFKF 6EBHZ2WFKF
| URI | m2://inv/6EBHZ2WFKF |
|---|---|
| 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.29501#9DQF (statement)
History
- 2026-11-01: add by m2/v0.6.15
6EBN7ZWV2P 6EBN7ZWV2P
| URI | m2://inv/6EBN7ZWV2P |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 62-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2601.13782#LGDO (definition). In 12RSHWCNMX/e1, definition 1
History
- 2026-10-27: add by m2/v0.3.5
Index notation 6EBPD34KZ3
| URI | m2://inv/6EBPD34KZ3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Index notation, Index notation (definition). Also Wikidata Q6017850
History
- 2026-11-02: add by m2/dev
6EBVBK07QP 6EBVBK07QP
| URI | m2://inv/6EBVBK07QP |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book preliminaries.tex#ex:not-not-lem (exercise). In N54F33XE07, ex, section A.12.3
History
- 2026-11-01: add by m2/v0.6.13
Michel André 6EC2FQ87BA
| URI | m2://inv/6EC2FQ87BA |
|---|---|
| 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#95GC, Michel André (topic)
History
- 2026-11-02: add by m2/dev
expectation 6EC4TDES2F
| URI | m2://inv/6EC4TDES2F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Expected value 0WQNRCNY3M |
Mentions
- wikidata: Wikidata Q200125, expectation (unknown). Also MathWorld ExpectationValue, nLab expectation value
- wikipedia: Wikipedia Expected value, Expected value (definition). Also Wikidata Q200125
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Generalizations 6ECP6MZM5V
| URI | m2://inv/6ECP6MZM5V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Associativity equation#VCZK, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Generalized Bochner-Weitzenböck identity 6ECSQ17FVH
| URI | m2://inv/6ECSQ17FVH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2406.06762#HNUF, Generalized Bochner-Weitzenböck identity (statement). In J99PFFJXPE/e1, theorem 3.2
History
- 2026-10-27: add by m2/v0.3.6
Gram values on $\Rt$ 6ECTSSMPJ4
| URI | m2://inv/6ECTSSMPJ4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25120#E150, Gram values on $\Rt$ (statement)
History
- 2026-11-01: add by m2/v0.6.15
6ECX13SHSN 6ECX13SHSN
| URI | m2://inv/6ECX13SHSN |
|---|---|
| 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 2302.04470#Q4F3 (statement). In PVRF0WS223/e1, theorem 1.1
History
- 2026-10-27: add by m2/v0.3.6
Algorithm 6ED2NVSF3W
| URI | m2://inv/6ED2NVSF3W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stable roommates problem#TMMJ, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
Cauchy matrix 6ED4HB95RJ
| URI | m2://inv/6ED4HB95RJ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Cauchy matrix 95MTQMX59H |
Mentions
- wikidata: Wikidata Q2915997, Cauchy matrix (concept). Also ProofWiki Definition:Cauchy_Matrix
- wikipedia: Wikipedia Cauchy matrix, Cauchy matrix (definition). Also Wikidata Q2915997
History
- 2026-10-26: add by m2/dev
Symplectic spinor bundle 6EDD5MP3BV
| URI | m2://inv/6EDD5MP3BV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Symplectic spinor bundle, Symplectic spinor bundle (definition). Also Wikidata Q7661849
History
- 2026-11-02: add by m2/dev
Strong positional game 6EDJVPEG4S
| URI | m2://inv/6EDJVPEG4S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Strong positional game, Strong positional game (definition). Also Wikidata Q60791293
History
- 2026-11-02: add by m2/dev
6EDQ7V8JXF 6EDQ7V8JXF
| URI | m2://inv/6EDQ7V8JXF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10964#MUAU (statement). In 16KVMD76PZ/e1, proposition 3.2
History
- 2026-10-28: add by m2/v0.4.3
Borel algebra 6EDWAS0YY8
| URI | m2://inv/6EDWAS0YY8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of general topology#071Y, Borel algebra (definition)
History
- 2026-11-02: add by m2/dev
Examples 6EEBGWSGRE
| URI | m2://inv/6EEBGWSGRE |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Definite matrix#9QZL, Examples (example)
History
- 2026-11-02: add by m2/dev
Definition 6EEHM9BM9B
| URI | m2://inv/6EEHM9BM9B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Artin transfer (group theory)#D18Q, Definition (definition)
History
- 2026-11-02: add by m2/dev
intersection 6EEX72719W
| URI | m2://inv/6EEX72719W |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi index/1.3.1/intersection, intersection (concept). In Y91XFCEVHQ, index, section 1.3.1
History
- 2026-11-01: add by m2/v0.6.13
Sunk costs fallacy 6EEYM6P5N0
| URI | m2://inv/6EEYM6P5N0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fallacies#SG3L, Sunk costs fallacy (definition)
History
- 2026-11-02: add by m2/dev
Data storage 6EEZ3G2CZ6
| URI | m2://inv/6EEZ3G2CZ6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Data storage, Data storage (definition). Also Wikidata Q57515336
History
- 2026-11-02: add by m2/dev
6EF0RCVMHX 6EF0RCVMHX
| URI | m2://inv/6EF0RCVMHX |
|---|---|
| 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 2503.08018#IVOY (statement). In TN93YFN45W/e1, proposition 4.7
History
- 2026-10-27: add by m2/v0.4.0
6EFB258RQX 6EFB258RQX
| URI | m2://inv/6EFB258RQX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book hits.tex#thm:flattening-rectnd (statement). In N54F33XE07, lem, section 5.12
History
- 2026-11-01: add by m2/v0.6.13
Variational integrator 6EFETJWHK2
| URI | m2://inv/6EFETJWHK2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Variational integrator, Variational integrator (definition). Also Wikidata Q7915797
History
- 2026-11-02: add by m2/dev
Definitions 6EFF8GX0Y1
| URI | m2://inv/6EFF8GX0Y1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geometric rigidity#9SSM, Definitions (definition)
History
- 2026-11-02: add by m2/dev
6EFFCGY547 6EFFCGY547
| URI | m2://inv/6EFFCGY547 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 37-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0008020#6D4Z (statement). In 8K466RA3HH/e1, proposition 4
History
- 2026-10-27: add by m2/v0.3.5
Denis Sargan 6EFFHQEP53
| URI | m2://inv/6EFFHQEP53 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Denis Sargan, Denis Sargan (topic). Also Wikidata Q5257503
History
- 2026-11-02: add by m2/dev
The Method of Mechanical Theorems 6EFGG207EJ
| URI | m2://inv/6EFGG207EJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Archimedes#4GY3, The Method of Mechanical Theorems (statement)
History
- 2026-11-02: add by m2/dev
6EFR2XRN17 6EFR2XRN17
| URI | m2://inv/6EFR2XRN17 |
|---|---|
| Kind | statement |
| 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#XOGH (statement)
History
- 2026-11-02: add by m2/v0.6.17
Microsoft Advertising 6EFRBSN21J
| URI | m2://inv/6EFRBSN21J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Microsoft Advertising, Microsoft Advertising (definition). Also Wikidata Q3050191
History
- 2026-11-02: add by m2/dev
connected 6EFSFQMWQ6
| URI | m2://inv/6EFSFQMWQ6 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi index/5.1/connected, connected (concept). In Y91XFCEVHQ, index, section 5.1
History
- 2026-11-01: add by m2/v0.6.13
6EFTQPXSKE 6EFTQPXSKE
| URI | m2://inv/6EFTQPXSKE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/turing-machines/machines-computations/configuration.tex#defn-3 (definition). In PKGMM3P5QY, defn, section 85.4
History
- 2026-11-01: add by m2/v0.6.13
Non-malleable affine extractor 6EFXYRRR29
| URI | m2://inv/6EFXYRRR29 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02407#OG0H, Non-malleable affine extractor (definition). In ZZER8ZBSCR/e1, definition 1.1
History
- 2026-10-29: add by m2/v0.4.12
6EG248X6CT 6EG248X6CT
| URI | m2://inv/6EG248X6CT |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1002.0879#WWAS (definition). In M0SQY5EZN5/e1, definition 2.9.4
History
- 2026-10-27: add by m2/v0.3.5
6EG3QVDZRE 6EG3QVDZRE
| URI | m2://inv/6EG3QVDZRE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2110.11143#SGYD (statement). In VTVC0TCWSB/e1, lemma 6.6
History
- 2026-10-27: add by m2/v0.3.5
6EGBCEYYGR 6EGBCEYYGR
| URI | m2://inv/6EGBCEYYGR |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/logic-prop.ptx#exercise-13 (exercise). In Y91XFCEVHQ, exercise, section 4.1
History
- 2026-11-01: add by m2/v0.6.13
Minimax optimality in the $L^2$-norm 6EGEAR5JDN
| URI | m2://inv/6EGEAR5JDN |
|---|---|
| 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#LH7L, Minimax optimality in the $L^2$-norm (statement)
History
- 2026-11-02: add by m2/v0.6.17
quantifier 6EGFT4AEFX
| URI | m2://inv/6EGFT4AEFX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Order of quantifiers 0FYQMKFE77 |
Mentions
- wikidata: Wikidata Q592911, quantifier (unknown). Also EoM Quantifier, MathWorld Quantifier
- wikipedia: Wikipedia Quantifier (logic), Quantifier (definition). Also Wikidata Q592911
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
6EGGVM5ZD7 6EGGVM5ZD7
| URI | m2://inv/6EGGVM5ZD7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20588#NQKS (statement)
History
- 2026-11-02: add by m2/v0.6.18
Statement 6EGM8YFGFQ
| URI | m2://inv/6EGM8YFGFQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mac Lane's planarity criterion#B0RP, Statement (statement)
History
- 2026-11-02: add by m2/dev
6EH0MPX85Q 6EH0MPX85Q
| URI | m2://inv/6EH0MPX85Q |
|---|---|
| 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.08912#EFJK (statement). In DK5QY64NGH/e1, lemma 7.15
History
- 2026-10-29: add by m2/v0.4.10
6EH3T5W061 6EH3T5W061
| URI | m2://inv/6EH3T5W061 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/measure/caratheodory.tex#definition-8 (definition). In RZP28ERRZV, definition, section 63.5
History
- 2026-11-01: add by m2/v0.6.13
John Alexander Third 6EH5ZDRPM2
| URI | m2://inv/6EH5ZDRPM2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia John Alexander Third, John Alexander Third (topic). Also Wikidata Q37738061
History
- 2026-11-02: add by m2/dev
6EHA517W12 6EHA517W12
| URI | m2://inv/6EHA517W12 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25495#QNVD (statement)
History
- 2026-11-01: add by m2/v0.6.15
6EHF99AJWT 6EHF99AJWT
| URI | m2://inv/6EHF99AJWT |
|---|---|
| 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.20110#7VUL (statement). In 1SAMKN4477/e1, proposition 2.1
History
- 2026-10-27: add by m2/v0.4.2
6EHGHZ2TFN 6EHGHZ2TFN
| URI | m2://inv/6EHGHZ2TFN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02111#3VLU (statement). In NC5ZRF6F8N/e1, lemma 2.2
History
- 2026-10-29: add by m2/v0.4.12
6EHHP4JRF6 6EHHP4JRF6
| URI | m2://inv/6EHHP4JRF6 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 62-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2601.13782#9483 (definition). In 12RSHWCNMX/e1, definition 4
History
- 2026-10-27: add by m2/v0.3.5
Picture plane 6EHKYXG0JG
| URI | m2://inv/6EHKYXG0JG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#6567, Picture plane (definition)
History
- 2026-11-02: add by m2/dev
Swan character 6EHVNKRPAF
| URI | m2://inv/6EHVNKRPAF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Artin conductor#CSH0, Swan character (unknown)
History
- 2026-11-02: add by m2/dev
6EHZGG5PMA 6EHZGG5PMA
| URI | m2://inv/6EHZGG5PMA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11048#A97Y (statement). In H6TK4V0YVQ/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.3
6EHZKWWD99 6EHZKWWD99
| URI | m2://inv/6EHZKWWD99 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32174#LM21 (statement). In GHKR740SG3/e1, theorem
History
- 2026-10-31: add by m2/v0.5.6
Continuity of the energy functional 6EHZX5Q59Y
| URI | m2://inv/6EHZX5Q59Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 49-XX, 53-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.11677#JVII, Continuity of the energy functional (statement). In 4R7HZD14M6/e1, theorem 1.2
History
- 2026-10-28: add by m2/v0.4.3
6EJ1ERV4R0 6EJ1ERV4R0
| URI | m2://inv/6EJ1ERV4R0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2208.06310#FDWF (statement). In 9YR0E0T9XA/e1, lemma 5.2
History
- 2026-10-27: add by m2/v0.3.5
Choices of the class of admissible control laws 6EJ3B61BNA
| URI | m2://inv/6EJ3B61BNA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Separation principle in stochastic control#Z2VF, Choices of the class of admissible control laws (statement)
History
- 2026-11-02: add by m2/dev
spectral leakage 6EJ9469EQV
| URI | m2://inv/6EJ9469EQV |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1431214, spectral leakage (concept). Also MathWorld Leakage
- wikipedia: Wikipedia Spectral leakage, Spectral leakage (definition). Also Wikidata Q1431214
History
- 2026-10-26: add by m2/dev
annihilator 6EJGFRBZZ7
| URI | m2://inv/6EJGFRBZZ7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#2GUL, annihilator (definition)
History
- 2026-11-02: add by m2/dev
6EJM3HC9Q6 6EJM3HC9Q6
| URI | m2://inv/6EJM3HC9Q6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2411.01837#XUAK (statement). In 2XBYZ1QP22/e1, theorem 3.2
History
- 2026-10-27: add by m2/v0.3.5
6EKF3YENC3 6EKF3YENC3
| URI | m2://inv/6EKF3YENC3 |
|---|---|
| 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.19533#RM1M (statement). In RG4Z9C6ANS/e1, theorem 1.3
History
- 2026-10-28: add by m2/v0.4.2
6EKF703ECP 6EKF703ECP
| URI | m2://inv/6EKF703ECP |
|---|---|
| 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.13799#5CL9 (statement). In HECT28CM5V/e1, theorem 1
History
- 2026-10-28: add by m2/v0.4.2
6EKGYYR3BA 6EKGYYR3BA
| URI | m2://inv/6EKGYYR3BA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10413#DC7X (statement). In 68MTQ59QTQ/e1, lemma 3.4
History
- 2026-10-29: add by m2/v0.4.10
Example 6EKQ1NB18A
| URI | m2://inv/6EKQ1NB18A |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Density estimation#W8V6, Example (example)
History
- 2026-11-02: add by m2/dev
Lucio Russo 6EKXNWV2F4
| URI | m2://inv/6EKXNWV2F4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lucio Russo, Lucio Russo (topic). Also Wikidata Q1873524
History
- 2026-11-02: add by m2/dev
radical axis 6EM2VJXA7Z
| URI | m2://inv/6EM2VJXA7Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Radical axis BFD7T0YY42 |
Mentions
- wikidata: Wikidata Q2106473, radical axis (unknown). Also MathWorld RadicalLine
- wikipedia: Wikipedia Radical axis, Radical axis (definition). Also Wikidata Q2106473
History
- 2026-10-26: add by m2/dev
6EM3V4SPMD 6EM3V4SPMD
| URI | m2://inv/6EM3V4SPMD |
|---|---|
| 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 2609.32058#TF7U (statement). In N0G73NM4WC/e1, corollary 2.2
History
- 2026-10-31: add by m2/v0.5.6
Lamberto Cesari 6EMB3V2KT5
| URI | m2://inv/6EMB3V2KT5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lamberto Cesari, Lamberto Cesari (topic). Also Wikidata Q1053255
History
- 2026-11-02: add by m2/dev
Construction 6EMBYAMD1K
| URI | m2://inv/6EMBYAMD1K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Snell envelope#KBT1, Construction (definition)
History
- 2026-11-02: add by m2/dev
Counterexamples 6EMFEN9DMN
| URI | m2://inv/6EMFEN9DMN |
|---|---|
| Kind | counterexample |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Equicontinuity#QRQ2, Counterexamples (counterexample)
History
- 2026-11-02: add by m2/dev
6EMFGJTFPA 6EMFGJTFPA
| URI | m2://inv/6EMFGJTFPA |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 37-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 2601.04559#VZ65 (definition). In WWMHZKWZSM/e1, definition 3
History
- 2026-10-27: add by m2/v0.3.5
Exact moment decomposition of $J_E$ and $V_E$ 6EMM8YG759
| URI | m2://inv/6EMM8YG759 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 37-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27962#OFLU, Exact moment decomposition of $J_E$ and $V_E$ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Properties 6EMN7ZM7EF
| URI | m2://inv/6EMN7ZM7EF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Baer ring#04F3, Properties (statement)
History
- 2026-11-02: add by m2/dev
translation equivariance 6EN0BX0SQ0
| URI | m2://inv/6EN0BX0SQ0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39395#DKWX, translation equivariance (statement). In ZDVPJ1XX5Z/e1, proposition 1
History
- 2026-10-30: add by m2/v0.4.12
6EN10DDTEX 6EN10DDTEX
| URI | m2://inv/6EN10DDTEX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40200#LZIE (statement). In VWNB6QJWFN/e1, lemma 4.1
History
- 2026-10-30: add by m2/v0.4.12
6EN9PF89A9 6EN9PF89A9
| URI | m2://inv/6EN9PF89A9 |
|---|---|
| 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 2212.11038#CZQR (statement). In M3E3ARMJXK/e1, corollary 4.10
History
- 2026-10-27: add by m2/v0.3.5
Knowledge argument 6ENGYP8MTZ
| URI | m2://inv/6ENGYP8MTZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Knowledge argument, Knowledge argument (definition). Also Wikidata Q1068312
History
- 2026-11-02: add by m2/dev
Properties 6ENHEZ2S90
| URI | m2://inv/6ENHEZ2S90 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Closed point#WTIT, Properties (statement)
History
- 2026-11-02: add by m2/dev
graph coloring 6ENJQBG74Z
| URI | m2://inv/6ENJQBG74Z |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 05-XX |
| Sources | 4 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Graph colouring 0NCPXH194Y |
Mentions
- mathlib_1000: mathlib_1000 Q504843, Mycielski's theorem (statement). Also Wikidata Q504843
- thousand_plus: thousand_plus Q504843, Mycielski's theorem (statement). Also Wikidata Q504843, Wikipedia Mycielski's theorem
- wikidata: Wikidata Q504843, graph coloring (unknown). Also MathWorld GraphColoring
- wikipedia: Wikipedia Graph coloring, Graph coloring (definition). Also Wikidata Q504843
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
6ENV7MN083 6ENV7MN083
| URI | m2://inv/6ENV7MN083 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 37-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 2601.04559#5FTE (statement). In WWMHZKWZSM/e1, proposition 13
History
- 2026-10-27: add by m2/v0.3.5
Alice Roth 6EP4YRYC0Q
| URI | m2://inv/6EP4YRYC0Q |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alice Roth, Alice Roth (topic). Also Wikidata Q6537064
History
- 2026-11-02: add by m2/dev
propositional calculus 6EP9CK4EXM
| URI | m2://inv/6EP9CK4EXM |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 03B05 |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Propositional logic 09K9MWD2QQ |
Mentions
- wikidata: Wikidata Q200694, propositional calculus (topic). Also EoM Propositional_calculus, EoM Propositional_calculus(2), MathWorld PropositionalCalculus, ProofWiki Definition:Propositional_Logic
- wikipedia: Wikipedia Propositional logic, Propositional logic (topic). Also Wikidata Q200694
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
16-cell prism 6EPGJMX3YN
| URI | m2://inv/6EPGJMX3YN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#388R, 16-cell prism (definition)
History
- 2026-11-02: add by m2/dev
6EPHH089EG 6EPHH089EG
| URI | m2://inv/6EPHH089EG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06707#4YXH (statement). In 9TR5E527P5/e1, theorem 2.7
History
- 2026-10-29: add by m2/v0.4.10
6EPMR7EM1V 6EPMR7EM1V
| URI | m2://inv/6EPMR7EM1V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/homology/excision.tex#theorem-3 (statement). In RZP28ERRZV, theorem, section 53.6
History
- 2026-11-01: add by m2/v0.6.13
Example 6EPNEV2XVN
| URI | m2://inv/6EPNEV2XVN |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Theoretical gravity#GQO3, Example (example)
History
- 2026-11-02: add by m2/dev
Stefan-Boltzmann constant 6EPQ3PS3M7
| URI | m2://inv/6EPQ3PS3M7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q51374, Stefan-Boltzmann constant (definition). Also ProofWiki Definition:Stefan-Boltzmann_Constant
History
- 2026-10-26: add by m2/dev
Bisection method 6EPS1ER1JS
| URI | m2://inv/6EPS1ER1JS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#VCIN, Bisection method (definition)
History
- 2026-11-02: add by m2/dev
6EPSCWM1RH 6EPSCWM1RH
| URI | m2://inv/6EPSCWM1RH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-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.31090#VUEZ (statement). In SMTJDX0Q6R/e1, lemma 4.2
History
- 2026-10-31: add by m2/v0.5.6
Lobachevsky integral formula 6EPWK1MZ29
| URI | m2://inv/6EPWK1MZ29 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lobachevsky integral formula, Lobachevsky integral formula (statement). Also Wikidata Q48997140
History
- 2026-11-02: add by m2/dev
Myszkowski transposition 6EPYKBMG0G
| URI | m2://inv/6EPYKBMG0G |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Transposition cipher#M7HR, Myszkowski transposition (unknown)
History
- 2026-11-02: add by m2/dev
restate=exRank,label=ex:rank 6EQM762NKF
| URI | m2://inv/6EQM762NKF |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07927#87YY, restate=exRank,label=ex:rank (example). In GKM19DHQTM/e1, example 3.2
History
- 2026-10-29: add by m2/v0.4.10
Integers mod n 6EQNPN0BR4
| URI | m2://inv/6EQNPN0BR4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Modular arithmetic#7C4L, Integers mod n (unknown)
History
- 2026-11-02: add by m2/dev
John Caswell 6ER6XE0PCR
| URI | m2://inv/6ER6XE0PCR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia John Caswell, John Caswell (topic). Also Wikidata Q6225513
History
- 2026-11-02: add by m2/dev
Generalization 6ERB306A8Y
| URI | m2://inv/6ERB306A8Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Total ring of fractions#UE9H, Generalization (statement)
History
- 2026-11-02: add by m2/dev
Hatzel graph 6ERNJC90MM
| URI | m2://inv/6ERNJC90MM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3115502, Hatzel graph (unknown). Also House of Graphs 1150, MathWorld HatzelGraph
History
- 2026-10-26: add by m2/dev
6ERRTHPZ0B 6ERRTHPZ0B
| URI | m2://inv/6ERRTHPZ0B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13291#UQ0G (statement). In D16PSAVVWV/e1, proposition 7.3
History
- 2026-10-28: add by m2/v0.4.2
Theorem A 6ES7NAD2HR
| URI | m2://inv/6ES7NAD2HR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stein's method#VM4D, Theorem A (statement)
History
- 2026-11-02: add by m2/dev
Rape statistics 6ESDVJ9X2A
| URI | m2://inv/6ESDVJ9X2A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rape statistics, Rape statistics (definition). Also Wikidata Q7293913
History
- 2026-11-02: add by m2/dev
cone 6ESHYEQF2N
| URI | m2://inv/6ESHYEQF2N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#F4N3, cone (definition)
History
- 2026-11-02: add by m2/dev
Kotzig transformation 6ESM6R1NY7
| URI | m2://inv/6ESM6R1NY7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eulerian path#G5Q6, Kotzig transformation (unknown)
History
- 2026-11-02: add by m2/dev
Dana Scott 6ESP8TVJEE
| URI | m2://inv/6ESP8TVJEE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q49823, Dana Scott (unknown). Also nLab Dana Scott
- wikipedia: Wikipedia Dana Scott, Dana Scott (topic). Also Wikidata Q49823
History
- 2026-10-26: add by m2/dev
6ESXCYMB28 6ESXCYMB28
| URI | m2://inv/6ESXCYMB28 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2102.12931#WU8E (statement). In PQHTR84RAJ/e1, proposition 3.20
History
- 2026-10-27: add by m2/v0.4.0
6ET472M23C 6ET472M23C
| URI | m2://inv/6ET472M23C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#def:rahypersurfacesimple (definition). In VNMV985MXX, defn, section 3.1
History
- 2026-11-01: add by m2/v0.6.13
6ET9JDP69H 6ET9JDP69H
| URI | m2://inv/6ET9JDP69H |
|---|---|
| Kind | definition |
| 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.00909#GA19 (definition). In Z4TD36VFPW/e1, definition 1.4
History
- 2026-10-29: add by m2/v0.4.12
Artin–Tate lemma 6ETC06VBT8
| URI | m2://inv/6ETC06VBT8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Artin–Tate lemma, Artin–Tate lemma (statement). Also Wikidata Q19595940
History
- 2026-11-02: add by m2/dev
Semiorder 6ETDD04GEP
| URI | m2://inv/6ETDD04GEP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Semiorder, Semiorder (definition). Also Wikidata Q7449567
History
- 2026-11-02: add by m2/dev
Murasugi--Tristram inequality 6ETE5HG8Y2
| URI | m2://inv/6ETE5HG8Y2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10206#8TSP, Murasugi--Tristram inequality (statement). In 8TRCP1482Q/e1, theorem B.10
History
- 2026-10-29: add by m2/v0.4.10
Ortrud Oellermann 6ETHM5BHVM
| URI | m2://inv/6ETHM5BHVM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#HH01, Ortrud Oellermann (unknown)
History
- 2026-11-02: add by m2/dev
Generalizations 6ETJSVZBAK
| URI | m2://inv/6ETJSVZBAK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dominance order#ADE6, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
complex conjugate root theorem 6ETKNG5W3Q
| URI | m2://inv/6ETKNG5W3Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5156572, complex conjugate root theorem (statement). Also ProofWiki Complex_Roots_of_Polynomial_with_Real_Coefficients_occur_in_Conjugate_Pairs
- wikipedia: Wikipedia Complex conjugate root theorem, Complex conjugate root theorem (statement). Also Wikidata Q5156572
History
- 2026-10-26: add by m2/dev
Random regular graph 6ETPPSE9WQ
| URI | m2://inv/6ETPPSE9WQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Random regular graph, Random regular graph (definition). Also Wikidata Q7291988
History
- 2026-11-02: add by m2/dev
Properties 6ETPQAHTNT
| URI | m2://inv/6ETPQAHTNT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Opposite category#UWON, Properties (statement)
History
- 2026-11-02: add by m2/dev
8-demicubic honeycomb 6ETYK5EJHP
| URI | m2://inv/6ETYK5EJHP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 8-demicubic honeycomb, 8-demicubic honeycomb (definition). Also Wikidata Q4644296
History
- 2026-11-02: add by m2/dev
Dirichlet L-function 6EV0Z1BJRP
| URI | m2://inv/6EV0Z1BJRP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Dirichlet L-function 9D2Z543EJQ |
Mentions
- wikidata: Wikidata Q2264419, Dirichlet L-function (unknown). Also MathWorld DirichletL-Function, MathWorld DirichletL-Series, nLab Dirichlet L-function
- wikipedia: Wikipedia Dirichlet L-function, Dirichlet L-function (definition). Also Wikidata Q2264419
History
- 2026-10-26: add by m2/dev
Stochastic gradient descent 6EV3C4D7XM
| URI | m2://inv/6EV3C4D7XM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stochastic gradient descent, Stochastic gradient descent (definition). Also Wikidata Q7617819
History
- 2026-11-02: add by m2/dev
6EV63X8MW9 6EV63X8MW9
| URI | m2://inv/6EV63X8MW9 |
|---|---|
| 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 2406.19866#XTTO (statement). In 9F94CEQ1ZM/e1, theorem 1.4
History
- 2026-10-27: add by m2/v0.3.5
Convolution identity 6EVDPX9FXW
| URI | m2://inv/6EVDPX9FXW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bell polynomials#XWPR, Convolution identity (statement)
History
- 2026-11-02: add by m2/dev
Surangel Whipps Jr. 6EVFVBPE9H
| URI | m2://inv/6EVFVBPE9H |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#ZZHX, Surangel Whipps Jr. (unknown)
History
- 2026-11-02: add by m2/dev
Results 6EVTSBVG80
| URI | m2://inv/6EVTSBVG80 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ramsey theory#R0QC, Results (statement)
History
- 2026-11-02: add by m2/dev
6EW0VH8YGP 6EW0VH8YGP
| URI | m2://inv/6EW0VH8YGP |
|---|---|
| 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.03460#KQIO (definition). In 54HWP298DG/e1, definition 1
History
- 2026-10-29: add by m2/v0.4.12
6EW9ATCM9R 6EW9ATCM9R
| URI | m2://inv/6EW9ATCM9R |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09900#6EC0 (example). In ATSYBWEMMP/e1, example 6.5
History
- 2026-10-29: add by m2/v0.4.10
6EWHBQN69C 6EWHBQN69C
| URI | m2://inv/6EWHBQN69C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08198#UVMV (statement). In 50K0H8HRED/e1, theorem 3.1
History
- 2026-10-29: add by m2/v0.4.10
relatively free groups 6EWMGAE529
| URI | m2://inv/6EWMGAE529 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06909#6DUG, relatively free groups (example). In F1EF8XE30A/e1, example 5.2
History
- 2026-10-29: add by m2/v0.4.10
Excitable medium 6EWP8GPG4J
| URI | m2://inv/6EWP8GPG4J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Excitable medium, Excitable medium (definition). Also Wikidata Q5419628
History
- 2026-11-02: add by m2/dev
María J. Carro 6EX247G7DR
| URI | m2://inv/6EX247G7DR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia María J. Carro, María J. Carro (topic). Also Wikidata Q55139644
History
- 2026-11-02: add by m2/dev
Exact C*-algebra 6EX4398XDH
| URI | m2://inv/6EX4398XDH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exact C*-algebra, Exact C*-algebra (definition). Also Wikidata Q5419212
History
- 2026-11-02: add by m2/dev
Proof of Theorem 7 6EX4GY5HYG
| URI | m2://inv/6EX4GY5HYG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25656#F15H, Proof of Theorem 7 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Klein bottle 6EX6YT9CJB
| URI | m2://inv/6EX6YT9CJB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Klein bottle 6J4C2P3ZHC |
Mentions
- wikidata: Wikidata Q23638, Klein bottle (unknown). Also MathWorld KleinBottle, nLab Klein bottle
- wikipedia: Wikipedia Klein bottle, Klein bottle (definition). Also Wikidata Q23638
History
- 2026-10-26: add by m2/dev
6EXADMZW96 6EXADMZW96
| URI | m2://inv/6EXADMZW96 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18620#MWUX (statement). In 6WJ0R9YEBR/e1, theorem C
History
- 2026-10-28: add by m2/v0.4.2
6EXF1VDV8T 6EXF1VDV8T
| URI | m2://inv/6EXF1VDV8T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 37-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.13100#4TP6 (statement). In CC6S1HVK0T/e1, lemma B.2
History
- 2026-10-28: add by m2/v0.4.2
Student's t-distribution 6EXH1SSXK8
| URI | m2://inv/6EXH1SSXK8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability distributions#OZIT, Student's t-distribution (definition)
History
- 2026-11-02: add by m2/dev
René Descartes 6EXNZ2PDGT
| URI | m2://inv/6EXNZ2PDGT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of publications in mathematics#35C8, René Descartes (topic)
History
- 2026-11-02: add by m2/dev
Bounded maximum degree 6EY0WRY0JP
| URI | m2://inv/6EY0WRY0JP |
|---|---|
| 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.04948#ZWVE, Bounded maximum degree (statement). In TKHA291X5N/e1, corollary 9
History
- 2026-10-29: add by m2/v0.4.12
Polar curve 6EY621J3P9
| URI | m2://inv/6EY621J3P9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polar curve, Polar curve (definition). Also Wikidata Q7209073
History
- 2026-11-02: add by m2/dev
6EYAEKGRZR 6EYAEKGRZR
| URI | m2://inv/6EYAEKGRZR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2205.13464#8NOA (statement). In JPYGC2R3FC/e1, lemma 9.1
History
- 2026-10-27: add by m2/v0.3.6
6EYEXGCV1V 6EYEXGCV1V
| URI | m2://inv/6EYEXGCV1V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05259#LMNU (statement). In X1J5HKPS3R/e1, lemma 3.12
History
- 2026-10-29: add by m2/v0.4.10
6EYHW8M4SQ 6EYHW8M4SQ
| URI | m2://inv/6EYHW8M4SQ |
|---|---|
| Kind | example |
| 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.31102#38LD (example). In 7CADATJMAA/e1, example 3.1
History
- 2026-10-31: add by m2/v0.5.6
Intersection theory 6EYKHMGY7J
| URI | m2://inv/6EYKHMGY7J |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic geometry topics#0EOE, Intersection theory (topic)
History
- 2026-11-02: add by m2/dev
Karl Bobek 6EYS2BT7E9
| URI | m2://inv/6EYS2BT7E9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Karl Bobek, Karl Bobek (topic). Also Wikidata Q6371641
History
- 2026-11-02: add by m2/dev
Gustave Juvet 6EZ1VW2ESE
| URI | m2://inv/6EZ1VW2ESE |
|---|---|
| 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#4RSE, Gustave Juvet (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#6UCG, Gustave Juvet (topic)
History
- 2026-11-02: add by m2/dev
Methods 6EZ355ZF23
| URI | m2://inv/6EZ355ZF23 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Epigenome-wide association study#JXMR, Methods (definition)
History
- 2026-11-02: add by m2/dev
universe level 6EZ3C41GDW
| URI | m2://inv/6EZ3C41GDW |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/B.2/universe-level, universe level (concept). In N54F33XE07, index, section B.2
History
- 2026-11-01: add by m2/v0.6.13
6EZ7C4H1E4 6EZ7C4H1E4
| URI | m2://inv/6EZ7C4H1E4 |
|---|---|
| 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.21781#G171 (statement). In FEQ72D1AX6/e1, proposition 6.5
History
- 2026-10-27: add by m2/v0.4.2
Statement of the theorem 6EZA0SV3BM
| URI | m2://inv/6EZA0SV3BM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Petr–Douglas–Neumann theorem#BR9W, Statement of the theorem (statement)
History
- 2026-11-02: add by m2/dev
6EZBNYP410 6EZBNYP410
| URI | m2://inv/6EZBNYP410 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-funcs.tex#exercise-38 (exercise). In E59CDZA4DP, exercise, section 9.3.4
History
- 2026-11-01: add by m2/v0.6.13
shape theory 6EZCAE12YR
| URI | m2://inv/6EZCAE12YR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7489245, shape theory (topic). Also nLab shape theory
- wikipedia: Wikipedia Shape theory (mathematics), Shape theory (topic). Also Wikidata Q7489245
History
- 2026-10-26: add by m2/dev
6EZDQM66E9 6EZDQM66E9
| URI | m2://inv/6EZDQM66E9 |
|---|---|
| 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 2207.12181#3SEC (statement). In FSD8NE3XSR/e1, lemma 6.1
History
- 2026-10-27: add by m2/v0.4.0
6EZFQYMCR5 6EZFQYMCR5
| URI | m2://inv/6EZFQYMCR5 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2308.05715#Q9NC (definition). In FC0SB9JFWH/e1, definition 3.10
History
- 2026-10-27: add by m2/v0.3.5
6EZGHNJSD7 6EZGHNJSD7
| URI | m2://inv/6EZGHNJSD7 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28011#OXXR (example)
History
- 2026-11-01: add by m2/v0.6.15
Second Fundamental Theorem of Welfare Economics 6EZGT9KH7K
| URI | m2://inv/6EZGT9KH7K |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia General equilibrium theory#54SW, Second Fundamental Theorem of Welfare Economics (statement)
History
- 2026-11-02: add by m2/dev
6EZQC68YVD 6EZQC68YVD
| URI | m2://inv/6EZQC68YVD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14236#03Y5 (statement). In XEQD21EBTT/e1, lemma 4.6
History
- 2026-10-28: add by m2/v0.4.2
Nicholas Asher 6EZVR10SZ2
| URI | m2://inv/6EZVR10SZ2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q76746460, Nicholas Asher (unknown). Also nLab Nicholas Asher
History
- 2026-10-26: add by m2/dev
Bunyakovsky conjecture 6EZZ0PMTHC
| URI | m2://inv/6EZZ0PMTHC |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#6VIZ, Bunyakovsky conjecture (conjecture)
History
- 2026-11-02: add by m2/dev