Inventory rows 2S
The cards of the rows of the inventory whose ids start with 2S. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Conjugate of the constrained additive-potential functional 2S00SHG9BZ
| URI | m2://inv/2S00SHG9BZ |
|---|---|
| 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.01855#06AG, Conjugate of the constrained additive-potential functional (statement). In MM8P5CJR18/e1, proposition C.12
History
- 2026-10-29: add by m2/v0.4.12
2S03YJMFXY 2S03YJMFXY
| URI | m2://inv/2S03YJMFXY |
|---|---|
| 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.28200#XR0K (statement)
History
- 2026-11-01: add by m2/v0.6.15
2S058KJPY3 2S058KJPY3
| URI | m2://inv/2S058KJPY3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 18-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 2609.20725#VEO3 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Central simple algebra 2S06YK6ZBC
| URI | m2://inv/2S06YK6ZBC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebras#4FBH, Central simple algebra (definition)
History
- 2026-11-02: add by m2/dev
Finite cyclic logarithmic--cellular conifold BF shadow 2S08MTCT30
| URI | m2://inv/2S08MTCT30 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27799#MQLZ, Finite cyclic logarithmic--cellular conifold BF shadow (statement)
History
- 2026-11-01: add by m2/v0.6.15
2S0AQGVCCZ 2S0AQGVCCZ
| URI | m2://inv/2S0AQGVCCZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/riemann-surface/riemann-roch.tex#definition-6 (definition). In RZP28ERRZV, definition, section 87.4
History
- 2026-11-01: add by m2/v0.6.13
Applications 2S0DCP4AWX
| URI | m2://inv/2S0DCP4AWX |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trimmed estimator#4SO2, Applications (example)
History
- 2026-11-02: add by m2/dev
2S0HYQDJN7 2S0HYQDJN7
| URI | m2://inv/2S0HYQDJN7 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31300#LC06 (definition). In ERHQDB8M41/e1, definition 3.7
History
- 2026-10-31: add by m2/v0.5.6
578 (number) 2S0MFPMTND
| URI | m2://inv/2S0MFPMTND |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 500 (number)#KBT4, 578 (number) (unknown)
History
- 2026-11-02: add by m2/dev
Demidov Prize 2S0WCSRKGH
| URI | m2://inv/2S0WCSRKGH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Demidov Prize, Demidov Prize (definition). Also Wikidata Q1185606
History
- 2026-11-02: add by m2/dev
Method 2S0Z7B526K
| URI | m2://inv/2S0Z7B526K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalized least squares#D7MH, Method (definition)
History
- 2026-11-02: add by m2/dev
Kummer theory 2S0ZFQKYJ5
| URI | m2://inv/2S0ZFQKYJ5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of abstract algebra topics#B4BH, Kummer theory (topic)
History
- 2026-11-02: add by m2/dev
2S0ZTHYFDR 2S0ZTHYFDR
| URI | m2://inv/2S0ZTHYFDR |
|---|---|
| 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.40023#BRFR (statement). In JW9ARS9AQE/e1, theorem 1.7
History
- 2026-10-30: add by m2/v0.4.12
Terminology 2S14V5PGH1
| URI | m2://inv/2S14V5PGH1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 2004 Moldovan census#94PA, Terminology (definition)
History
- 2026-11-02: add by m2/dev
2S1Q90ACFT 2S1Q90ACFT
| URI | m2://inv/2S1Q90ACFT |
|---|---|
| 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 1003.2117#R8O9 (statement). In H4D4RFNH2V/e1, theorem 3.4
History
- 2026-10-27: add by m2/v0.3.5
2S1TVE5NY6 2S1TVE5NY6
| URI | m2://inv/2S1TVE5NY6 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/quotient.tex#exercise-4 (exercise). In RZP28ERRZV, exercise, section 3.3
History
- 2026-11-01: add by m2/v0.6.13
Holomorphic $1$-forms on the complex plane 2S238YRBWS
| URI | m2://inv/2S238YRBWS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/riemann-surface/forms.tex#definition-2, Holomorphic $1$-forms on the complex plane (definition). In RZP28ERRZV, definition, section 84.2.1
History
- 2026-11-01: add by m2/v0.6.13
Examples 2S26Q2A646
| URI | m2://inv/2S26Q2A646 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Deligne–Lusztig theory#17JV, Examples (example)
History
- 2026-11-02: add by m2/dev
integration along fibers 2S26SSPT14
| URI | m2://inv/2S26SSPT14 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q17100615, integration along fibers (unknown). Also nLab fiber integration
- wikipedia: Wikipedia Integration along fibers, Integration along fibers (definition). Also Wikidata Q17100615
History
- 2026-10-26: add by m2/dev
2S2K6W4SPP 2S2K6W4SPP
| URI | m2://inv/2S2K6W4SPP |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/gt-planar.ptx#exercise-12 (exercise). In Y91XFCEVHQ, exercise, section 5.3
History
- 2026-11-01: add by m2/v0.6.13
Routing consecutive cell ranks 2S2QE7N6YQ
| URI | m2://inv/2S2QE7N6YQ |
|---|---|
| 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.00137#RFZ0, Routing consecutive cell ranks (statement). In NKW6YQ04QW/e1, lemma 7.5
History
- 2026-10-30: add by m2/v0.4.12
Degree checkpoint for the trace-quadratic family 2S2T2V6ASX
| URI | m2://inv/2S2T2V6ASX |
|---|---|
| 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.15815#VFA9, Degree checkpoint for the trace-quadratic family (statement). In 9C75CTY5C3/e1, lemma 5.9
History
- 2026-10-28: add by m2/v0.4.2
2S2W2WEFDY 2S2W2WEFDY
| URI | m2://inv/2S2W2WEFDY |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Envy-freeness up to any item#ZUK6 (problem)
History
- 2026-11-02: add by m2/dev
2S31TSEB31 2S31TSEB31
| URI | m2://inv/2S31TSEB31 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#prop:zerohol (statement). In VNMV985MXX, prop, section 6.3
History
- 2026-11-01: add by m2/v0.6.13
Exact phase elimination 2S3212KT2J
| URI | m2://inv/2S3212KT2J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25027#I2YA, Exact phase elimination (statement)
History
- 2026-11-01: add by m2/v0.6.15
Definitions 2S376M8K3D
| URI | m2://inv/2S376M8K3D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Analytic function#YNFD, Definitions (definition)
History
- 2026-11-02: add by m2/dev
2S39Z1WRTE 2S39Z1WRTE
| URI | m2://inv/2S39Z1WRTE |
|---|---|
| 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#00Z1 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Sparse hitting and avoidance 2S3A73QJ3V
| URI | m2://inv/2S3A73QJ3V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26019#I66Q, Sparse hitting and avoidance (statement)
History
- 2026-11-01: add by m2/v0.6.15
2S3E55HTE7 2S3E55HTE7
| URI | m2://inv/2S3E55HTE7 |
|---|---|
| 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.12736#UO0R (statement). In 5350Q52F6P/e1, lemma 3.3
History
- 2026-10-28: add by m2/v0.4.2
2S4D3F6RGM 2S4D3F6RGM
| URI | m2://inv/2S4D3F6RGM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2204.07961#LBN0 (statement). In 4DK4VRKZVM/e1, corollary 1.7
History
- 2026-10-27: add by m2/v0.3.5
2S4DXCES74 2S4DXCES74
| URI | m2://inv/2S4DXCES74 |
|---|---|
| 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.09704#W9T8 (statement). In FNG4B47MRV/e1, proposition 3.3
History
- 2026-10-29: add by m2/v0.4.10
2S4PKQN9CV 2S4PKQN9CV
| URI | m2://inv/2S4PKQN9CV |
|---|---|
| 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.22218#SJ0V (statement). In 338GKREFVP/e1, lemma 54
History
- 2026-10-27: add by m2/v0.4.0
Global cooling 2S4TC5ZCGR
| URI | m2://inv/2S4TC5ZCGR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of superseded scientific theories#8FB2, Global cooling (unknown)
History
- 2026-11-02: add by m2/dev
2S4TR6SARW 2S4TR6SARW
| URI | m2://inv/2S4TR6SARW |
|---|---|
| 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#VBRM (statement)
History
- 2026-11-02: add by m2/v0.6.18
Higman–Sims group 2S53EBS66A
| URI | m2://inv/2S53EBS66A |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3117686, Higman–Sims group (unknown). Also MathWorld Higman-SimsGroup
- wikipedia: Wikipedia Higman–Sims group, Higman–Sims group (object). Also Wikidata Q3117686
History
- 2026-10-26: add by m2/dev
A PDE satisfied by $J_a$ 2S5BH7R68X
| URI | m2://inv/2S5BH7R68X |
|---|---|
| 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.27114#QAOB, A PDE satisfied by $J_a$ (statement)
History
- 2026-11-01: add by m2/v0.6.15
2S5J2GY7FH 2S5J2GY7FH
| URI | m2://inv/2S5J2GY7FH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25957#CFZL (statement)
History
- 2026-11-01: add by m2/v0.6.15
Hilbert's seventh problem 2S5Q7E2TJ3
| URI | m2://inv/2S5Q7E2TJ3 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hilbert's seventh problem, Hilbert's seventh problem (problem). Also Wikidata Q2584447
History
- 2026-11-02: add by m2/dev
Gorenstein ring 2S5YG2DKQW
| URI | m2://inv/2S5YG2DKQW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic geometry topics#W7MS, Gorenstein ring (definition)
- wikipedia: Wikipedia List of abstract algebra topics#VP20, Gorenstein ring (definition)
- wikipedia: Wikipedia List of commutative algebra topics#DQMJ, Gorenstein ring (definition)
History
- 2026-11-02: add by m2/dev
2S5Z2063H4 2S5Z2063H4
| URI | m2://inv/2S5Z2063H4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 01-XX, 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06338#C0JI (statement). In F1CYVYK7YB/e1, theorem 3.6
History
- 2026-10-29: add by m2/v0.4.10
2S60EQTMPE 2S60EQTMPE
| URI | m2://inv/2S60EQTMPE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01915#HNI3 (statement). In 6HJQXZS0A6/e1, proposition 5.4
History
- 2026-10-29: add by m2/v0.4.12
Big M method 2S68SGGTGG
| URI | m2://inv/2S68SGGTGG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Big M method, Big M method (definition). Also Wikidata Q4905984
History
- 2026-11-02: add by m2/dev
Definitions 2S6JSDH5V6
| URI | m2://inv/2S6JSDH5V6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Moufang polygon#CO5C, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Stanley–Wilf conjecture 2S6KC728JM
| URI | m2://inv/2S6KC728JM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Stanley–Wilf conjecture KWJS2QYJ1K |
Mentions
- wikidata: Wikidata Q7600088, Stanley–Wilf conjecture (statement). Also MathWorld Stanley-WilfConjecture
- wikipedia: Wikipedia Stanley–Wilf conjecture, Stanley–Wilf conjecture (statement). Also Wikidata Q7600088
History
- 2026-10-26: add by m2/dev
2S6P9A06F1 2S6P9A06F1
| URI | m2://inv/2S6P9A06F1 |
|---|---|
| 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.14204#JFNO (statement). In GZAY1Y12YD/e1, lemma 4.1
History
- 2026-10-28: add by m2/v0.4.2
Jan Kalicki 2S6RZY6J6R
| URI | m2://inv/2S6RZY6J6R |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jan Kalicki, Jan Kalicki (topic). Also Wikidata Q37735113
History
- 2026-11-02: add by m2/dev
David Matravers 2S6Y7T9EGG
| URI | m2://inv/2S6Y7T9EGG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia David Matravers, David Matravers (topic). Also Wikidata Q102201218
History
- 2026-11-02: add by m2/dev
Ptolemy's table of chords 2S6ZYK93WT
| URI | m2://inv/2S6ZYK93WT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ptolemy's table of chords, Ptolemy's table of chords (definition). Also Wikidata Q7257100
History
- 2026-11-02: add by m2/dev
The Imitation Game 2S70P5VPNB
| URI | m2://inv/2S70P5VPNB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of films about mathematicians#SLX8, The Imitation Game (definition)
History
- 2026-11-02: add by m2/dev
2S724AWQ3B 2S724AWQ3B
| URI | m2://inv/2S724AWQ3B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00882#26Z2 (statement). In CDA78ZYNZ0/e1, theorem 3.10
History
- 2026-10-29: add by m2/v0.4.12
Horst Knörrer 2S74X7JQ2F
| URI | m2://inv/2S74X7JQ2F |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Horst Knörrer, Horst Knörrer (topic). Also Wikidata Q103737
History
- 2026-11-02: add by m2/dev
Equal-norm prime pairs 2S74XC2M66
| URI | m2://inv/2S74XC2M66 |
|---|---|
| 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.29748#1DM6, Equal-norm prime pairs (statement)
History
- 2026-11-01: add by m2/v0.6.15
2S79V4VAQ1 2S79V4VAQ1
| URI | m2://inv/2S79V4VAQ1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26769#08K5 (statement)
History
- 2026-11-01: add by m2/v0.6.15
2S7MC8S7DD 2S7MC8S7DD
| URI | m2://inv/2S7MC8S7DD |
|---|---|
| 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 2610.12819#ZGEV (statement). In JW8S0XEMWG/e1, theorem 2.1
History
- 2026-10-28: add by m2/v0.4.2
2S7N16TVZ9 2S7N16TVZ9
| URI | m2://inv/2S7N16TVZ9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21191#DHPT (statement)
History
- 2026-11-02: add by m2/v0.6.18
2S7N3QA84Z 2S7N3QA84Z
| URI | m2://inv/2S7N3QA84Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 46-XX, 47-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.17060#B2TP (statement). In 5KR3MHYVV6/e1, lemma 4.4
History
- 2026-10-28: add by m2/v0.4.2
2S7SPW6T29 2S7SPW6T29
| URI | m2://inv/2S7SPW6T29 |
|---|---|
| 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.08226#QDX7 (statement). In V6EPE8XHAD/e1, lemma 6.4
History
- 2026-10-29: add by m2/v0.4.10
2S7TEE7PBQ 2S7TEE7PBQ
| URI | m2://inv/2S7TEE7PBQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX, 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23469#BPX3 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Vaught's theorem 2S82B7D478
| URI | m2://inv/2S82B7D478 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vaught conjecture#QN58, Vaught's theorem (statement)
History
- 2026-11-02: add by m2/dev
2S82RV4NTK 2S82RV4NTK
| URI | m2://inv/2S82RV4NTK |
|---|---|
| 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 2311.16252#6UV0 (statement). In 8AHN9GSRMR/e1, proposition 4.3
History
- 2026-10-27: add by m2/v0.4.0
Riemannian gap inequality 2S86R8932V
| URI | m2://inv/2S86R8932V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32829#F198, Riemannian gap inequality (statement). In RYWAX33Z51/e1, lemma 10.3
History
- 2026-10-31: add by m2/v0.5.6
2S8CPWK3WV 2S8CPWK3WV
| URI | m2://inv/2S8CPWK3WV |
|---|---|
| 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 2609.20656#81TJ (example)
History
- 2026-11-02: add by m2/v0.6.18
Vaart, Aad van der 2S8D3YTXN5
| URI | m2://inv/2S8D3YTXN5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#9VFY, Vaart, Aad van der (unknown)
History
- 2026-11-02: add by m2/dev
2S8H0QPPK1 2S8H0QPPK1
| URI | m2://inv/2S8H0QPPK1 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12108#SBPV (definition). In JQH3FHYPW3/e1, definition 2.22
History
- 2026-10-28: add by m2/v0.4.2
2S938FP8D0 2S938FP8D0
| URI | m2://inv/2S938FP8D0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 62-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.11906#AKVM (statement). In 8S9TEAPCDJ/e1, lemma 5
History
- 2026-10-28: add by m2/v0.4.3
2S947TNVPJ 2S947TNVPJ
| URI | m2://inv/2S947TNVPJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks 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.28295#OW3Q (statement)
History
- 2026-11-01: add by m2/v0.6.15
American polyconic projection 2S9BRJK1ZW
| URI | m2://inv/2S9BRJK1ZW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2696957, American polyconic projection (unknown). Also MathWorld PolyconicProjection
History
- 2026-10-26: add by m2/dev
AP Calc BC 2S9E87K5V9
| URI | m2://inv/2S9E87K5V9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia AP Calculus#HXZ5, AP Calc BC (unknown)
History
- 2026-11-02: add by m2/dev
2S9GBK558S 2S9GBK558S
| URI | m2://inv/2S9GBK558S |
|---|---|
| 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.29531#ZSSW (statement)
History
- 2026-11-01: add by m2/v0.6.15
Jane Piore Gilman 2S9NBMR8GR
| URI | m2://inv/2S9NBMR8GR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#PB65, Jane Piore Gilman (topic)
History
- 2026-11-02: add by m2/dev
2S9R1WXW7P 2S9R1WXW7P
| URI | m2://inv/2S9R1WXW7P |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/artin.tex#example-10 (example). In RZP28ERRZV, example, section 8.7
History
- 2026-11-01: add by m2/v0.6.13
2S9T1A8RNR 2S9T1A8RNR
| URI | m2://inv/2S9T1A8RNR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-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.05986#EFGV (statement). In N5ZM8MXJXH/e1, lemma B.3
History
- 2026-10-29: add by m2/v0.4.10
2S9V0TWEWW 2S9V0TWEWW
| URI | m2://inv/2S9V0TWEWW |
|---|---|
| Kind | problem |
| 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.13972#YAKQ (problem). In S1KHNS8XQM/e1, problem 13.2
History
- 2026-10-28: add by m2/v0.4.2
Examples 2S9WVNBNAA
| URI | m2://inv/2S9WVNBNAA |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Proportional hazards model#RAPL, Examples (example)
History
- 2026-11-02: add by m2/dev
Wolfgang Hahn 2SA06DDM40
| URI | m2://inv/2SA06DDM40 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of eponyms of special functions#NH0P, Wolfgang Hahn (topic)
History
- 2026-11-02: add by m2/dev
2SA73C5K1Q 2SA73C5K1Q
| URI | m2://inv/2SA73C5K1Q |
|---|---|
| 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.18803#RE2H (statement). In VG8AF124T3/e1, lemma 3.5
History
- 2026-10-28: add by m2/v0.4.2
2SA84PQK7S 2SA84PQK7S
| URI | m2://inv/2SA84PQK7S |
|---|---|
| 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 2610.13798#1EWR (definition). In GF2MA6Y29D/e1, definition 2.2
History
- 2026-10-28: add by m2/v0.4.2
2SA8RNQETF 2SA8RNQETF
| URI | m2://inv/2SA8RNQETF |
|---|---|
| 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.22847#DMDQ (statement)
History
- 2026-11-02: add by m2/v0.6.17
Tor functors 2SA99FW4DE
| URI | m2://inv/2SA99FW4DE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of tensor theory#UAIN, Tor functors (definition)
History
- 2026-11-02: add by m2/dev
2SAB4DXVV2 2SAB4DXVV2
| URI | m2://inv/2SAB4DXVV2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2309.17091#5XVA (statement). In N0JJM098W2/e1, corollary 14
History
- 2026-10-27: add by m2/v0.4.0
Mereotopology 2SAH77ZZQW
| URI | m2://inv/2SAH77ZZQW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mereotopology, Mereotopology (topic). Also Wikidata Q1921601
History
- 2026-11-02: add by m2/dev
2SAK1MT726 2SAK1MT726
| URI | m2://inv/2SAK1MT726 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-first-order-ode.tex#sep:coffeeexample (example). In E9HS8K3A52, example, section 4.3.3
History
- 2026-11-01: add by m2/v0.6.13
Perturbation estimate 2SB0BYKFNR
| URI | m2://inv/2SB0BYKFNR |
|---|---|
| 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.11619#TEML, Perturbation estimate (statement). In HT2K76Y9WS/e1, proposition 3.7
History
- 2026-10-28: add by m2/v0.4.3
Intercept theorem 2SBFPR43VQ
| URI | m2://inv/2SBFPR43VQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 51-XX |
| Sources | 3 |
| Outcome | node (a node has the same name as the row) |
| Node | Intercept theorem 0M1GFS6PVA |
Mentions
- mathlib_1000: mathlib_1000 Q3757563, Intercept theorem (statement). Also Wikidata Q3757563
- thousand_plus: thousand_plus Q3757563, Intercept theorem (statement). Also Wikidata Q3757563, Wikipedia Intercept theorem
- wikipedia: Wikipedia Intercept theorem, Intercept theorem (statement). Also Wikidata Q3757563
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Faina Melnik 2SBKGFDRKH
| URI | m2://inv/2SBKGFDRKH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#TTSW, Faina Melnik (unknown)
History
- 2026-11-02: add by m2/dev
type, coproduct 2SBKHMBKKK
| URI | m2://inv/2SBKHMBKKK |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/1.12/type-coproduct, type, coproduct (concept). In N54F33XE07, index, section 1.12
History
- 2026-11-01: add by m2/v0.6.13
2SBMGXZVJW 2SBMGXZVJW
| URI | m2://inv/2SBMGXZVJW |
|---|---|
| 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.09810#L1BU (statement). In B6PCH930FV/e1, theorem 6
History
- 2026-10-29: add by m2/v0.4.10
elliptic hyperboloid of one sheet 2SBMZ6A5T6
| URI | m2://inv/2SBMZ6A5T6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q16355784, elliptic hyperboloid of one sheet (unknown). Also MathWorld One-SheetedHyperboloid
History
- 2026-10-26: add by m2/dev
Applications 2SBQDVZMWN
| URI | m2://inv/2SBQDVZMWN |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arrangement (space partition)#FWBM, Applications (example)
History
- 2026-11-02: add by m2/dev
Lebesgue covering dimension 2SBVPSMRVM
| URI | m2://inv/2SBVPSMRVM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#LZSX, Lebesgue covering dimension (definition)
History
- 2026-11-02: add by m2/dev
Properties 2SBZNY0PZG
| URI | m2://inv/2SBZNY0PZG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Negative pedal curve#2GCI, Properties (statement)
History
- 2026-11-02: add by m2/dev
2SC0VKXAS9 2SC0VKXAS9
| URI | m2://inv/2SC0VKXAS9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2302.06189#E5XD (statement). In N5ZSHXYYV6/e1, lemma 3.4
History
- 2026-10-27: add by m2/v0.3.5
Simiand, François 2SC6AP6Z9Y
| URI | m2://inv/2SC6AP6Z9Y |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#BN03, Simiand, François (unknown)
History
- 2026-11-02: add by m2/dev
Squaring the circle 2SC83BE1CX
| URI | m2://inv/2SC83BE1CX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topics related to π#MXTU, Squaring the circle (definition)
History
- 2026-11-02: add by m2/dev
2SCCEYVEGZ 2SCCEYVEGZ
| URI | m2://inv/2SCCEYVEGZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33770#HRJ9 (statement). In 7DJ3C4V66R/e1, theorem 1.1
History
- 2026-10-30: add by m2/v0.4.12
Population reconstruction 2SCCV2R5N5
| URI | m2://inv/2SCCV2R5N5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Population reconstruction, Population reconstruction (definition). Also Wikidata Q7229817
History
- 2026-11-02: add by m2/dev
small circle 2SCCW6BY9T
| URI | m2://inv/2SCCW6BY9T |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q149295, small circle (unknown). Also MathWorld SmallCircle
History
- 2026-10-26: add by m2/dev
Grothendieck topos 2SCFXPTM10
| URI | m2://inv/2SCFXPTM10 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q106548123, Grothendieck topos (concept). Also nLab Grothendieck topos
History
- 2026-10-26: add by m2/dev
radial of a curve 2SCK88T8MT
| URI | m2://inv/2SCK88T8MT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q124414582, radial of a curve (unknown). Also MathWorld RadialCurve
History
- 2026-10-26: add by m2/dev
Stefan Burr 2SCS4SM6PN
| URI | m2://inv/2SCS4SM6PN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stefan Burr, Stefan Burr (topic). Also Wikidata Q7606043
History
- 2026-11-02: add by m2/dev
2SCTZQBCQA 2SCTZQBCQA
| URI | m2://inv/2SCTZQBCQA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book basics.tex#thm:eta-sigma (statement). In N54F33XE07, cor, section 1.7
History
- 2026-11-01: add by m2/v0.6.13
$H^n (-;G): \catname{hTop}\op \to \catname{Grp}$ 2SCZZ2NVPR
| URI | m2://inv/2SCZZ2NVPR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/homology/cohomology.tex#theorem-1, $H^n (-;G): \catname{hTop}\op \to \catname{Grp}$ (statement). In RZP28ERRZV, theorem, section 51.3
History
- 2026-11-01: add by m2/v0.6.13
Carlos E. Kenig 2SD96PFFGG
| URI | m2://inv/2SD96PFFGG |
|---|---|
| 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#G5YR, Carlos E. Kenig (topic)
History
- 2026-11-02: add by m2/dev
Unipotence on the fibres at the boundary 2SDCJ9X480
| URI | m2://inv/2SDCJ9X480 |
|---|---|
| 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#05W6, Unipotence on the fibres at the boundary (statement). In QPJ6FWG5HD/e1, lemma 2.88
History
- 2026-10-29: add by m2/v0.4.12
2SDKHNK4MA 2SDKHNK4MA
| URI | m2://inv/2SDKHNK4MA |
|---|---|
| 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.02751#7PCZ (statement). In MWGXPXF3BW/e1, theorem 9
History
- 2026-10-29: add by m2/v0.4.12
2SDZVBTABK 2SDZVBTABK
| URI | m2://inv/2SDZVBTABK |
|---|---|
| Kind | statement |
| 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#8404 (statement). In D1DFM4WYEW/e1, proposition 5.2
History
- 2026-10-28: add by m2/v0.4.2
Generalizations 2SE19P5AH7
| URI | m2://inv/2SE19P5AH7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mermin–Wagner theorem#SM16, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Berry--Esseen under MCMC 2SE35DSDJ8
| URI | m2://inv/2SE35DSDJ8 |
|---|---|
| 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.17403#7Y8E, Berry--Esseen under MCMC (statement). In 9EMNMAW8YH/e1, theorem 17
History
- 2026-10-28: add by m2/v0.4.2
2SE5K1ZGBN 2SE5K1ZGBN
| URI | m2://inv/2SE5K1ZGBN |
|---|---|
| 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 2610.22218#O2LW (definition). In 338GKREFVP/e1, definition 8
History
- 2026-10-27: add by m2/v0.4.0
continuity with respect to neural network parameters 2SE6SVVYZZ
| URI | m2://inv/2SE6SVVYZZ |
|---|---|
| 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 2204.07227#GDGN, continuity with respect to neural network parameters (statement). In R85Z7ZZGBC/e1, lemma 3.1
History
- 2026-10-27: add by m2/v0.3.5
Definition 2SE8B7C47R
| URI | m2://inv/2SE8B7C47R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Markov blanket#N4NH, Definition (definition)
History
- 2026-11-02: add by m2/dev
Biomatrix systems theory 2SEC16RC94
| URI | m2://inv/2SEC16RC94 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of types of systems theory#JQBL, Biomatrix systems theory (unknown)
History
- 2026-11-02: add by m2/dev
Applications 2SEEHK1NSS
| URI | m2://inv/2SEEHK1NSS |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Growth curve (statistics)#A13A, Applications (example)
History
- 2026-11-02: add by m2/dev
Catch-22 2SEW8SGANC
| URI | m2://inv/2SEW8SGANC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Catch-22 (logic), Catch-22 (definition). Also Wikidata Q2250696
History
- 2026-11-02: add by m2/dev
2SF2J3B9JQ 2SF2J3B9JQ
| URI | m2://inv/2SF2J3B9JQ |
|---|---|
| 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 2610.22040#K63M (example). In 2QP93JHYNB/e1, example 9.1
History
- 2026-10-27: add by m2/v0.4.2
2SF4N0Q95M 2SF4N0Q95M
| URI | m2://inv/2SF4N0Q95M |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q134966744 (object). Also OEIS A073440
History
- 2026-10-26: add by m2/dev
Borel measure 2SFGRDKEVB
| URI | m2://inv/2SFGRDKEVB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of integration and measure theory topics#PFYB, Borel measure (definition)
History
- 2026-11-02: add by m2/dev
George Osborn 2SFTPAF0A2
| URI | m2://inv/2SFTPAF0A2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia George Osborn (mathematician), George Osborn (topic). Also Wikidata Q105527935
History
- 2026-11-02: add by m2/dev
Coradical filtration 2SFWJZDFB6
| URI | m2://inv/2SFWJZDFB6 |
|---|---|
| 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 2312.05005#PW70, Coradical filtration (definition). In SMJMAQ2S3J/e1, definition 7
History
- 2026-10-27: add by m2/v0.4.0
2SFX1T3PVS 2SFX1T3PVS
| URI | m2://inv/2SFX1T3PVS |
|---|---|
| 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.40274#82QF (statement). In 7ZDNJC9MST/e1, theorem 2.13
History
- 2026-10-30: add by m2/v0.4.12
Bricklayer function 2SGMH58KH0
| URI | m2://inv/2SGMH58KH0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bricklayer function, Bricklayer function (definition). Also Wikidata Q118157549
History
- 2026-11-02: add by m2/dev
Kostochka--Mubayi--Verstra\"ete 2SGQ7YK278
| URI | m2://inv/2SGQ7YK278 |
|---|---|
| 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.38772#GAC4, Kostochka--Mubayi--Verstra\"ete (statement). In 1C3R5NAQAP/e1, lemma 4.2
History
- 2026-10-30: add by m2/v0.4.12
Definition 3 2SGZ7F9E14
| URI | m2://inv/2SGZ7F9E14 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Unitary operator#3V38, Definition 3 (definition)
History
- 2026-11-02: add by m2/dev
2SH0BJ2NKR 2SH0BJ2NKR
| URI | m2://inv/2SH0BJ2NKR |
|---|---|
| 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 2108.00412#P68H (statement). In APD8GE0E4F/e1, proposition 2.10
History
- 2026-10-27: add by m2/v0.3.5
upper bound 2SH3G397TB
| URI | m2://inv/2SH3G397TB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | node (a node has the same name as the row) |
| Node | Upper bound 0H5J02P8S9 |
Mentions
- wikidata: Wikidata Q42866132, upper bound (unknown). Also MathWorld UpperBound, nLab upper bound
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Fraunhofer diffraction 2SH3M43XHA
| URI | m2://inv/2SH3M43XHA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fraunhofer diffraction, Fraunhofer diffraction (definition). Also Wikidata Q851014
History
- 2026-11-02: add by m2/dev
2SH4RRAA3F 2SH4RRAA3F
| URI | m2://inv/2SH4RRAA3F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10329#605K (statement). In SCSTR1Q1BW/e1, proposition 2.1
History
- 2026-10-29: add by m2/v0.4.10
The parallelogram law in inner product spaces 2SH5X3S3AK
| URI | m2://inv/2SH5X3S3AK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Parallelogram law#NRB0, The parallelogram law in inner product spaces (statement)
History
- 2026-11-02: add by m2/dev
Arvid Gerhard Damm 2SHEZA58ME
| URI | m2://inv/2SHEZA58ME |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arvid Gerhard Damm, Arvid Gerhard Damm (topic). Also Wikidata Q360338
History
- 2026-11-02: add by m2/dev
Hubert Stanley Wall 2SHGZ39DAV
| URI | m2://inv/2SHGZ39DAV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hubert Stanley Wall, Hubert Stanley Wall (topic). Also Wikidata Q10542900
History
- 2026-11-02: add by m2/dev
2SHSF4V18X 2SHSF4V18X
| URI | m2://inv/2SHSF4V18X |
|---|---|
| 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#WAI9 (statement). In VWNB6QJWFN/e1, theorem 2.3
History
- 2026-10-30: add by m2/v0.4.12
Variance inflation factor 2SHTZQ7E68
| URI | m2://inv/2SHTZQ7E68 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Variance inflation factor, Variance inflation factor (definition). Also Wikidata Q13434396
History
- 2026-11-02: add by m2/dev
Abu Nasr-e Mansur 2SHZ1R6Z2R
| URI | m2://inv/2SHZ1R6Z2R |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Iranian mathematicians#1G5J, Abu Nasr-e Mansur (unknown)
History
- 2026-11-02: add by m2/dev
Example 2SHZG7PXHC
| URI | m2://inv/2SHZG7PXHC |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Heresthetic#TG8B, Example (example)
History
- 2026-11-02: add by m2/dev
Semantic Rate--Distortion Theorem 2SJ0M1W6JG
| URI | m2://inv/2SJ0M1W6JG |
|---|---|
| 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 2604.19614#FGTN, Semantic Rate--Distortion Theorem (statement). In F5NDAFW801/e1, theorem 2
History
- 2026-10-27: add by m2/v0.3.5
Harold Benson 2SJ46QDBYN
| URI | m2://inv/2SJ46QDBYN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Harold Benson, Harold Benson (topic). Also Wikidata Q102983507
History
- 2026-11-02: add by m2/dev
2SJF4MYF23 2SJF4MYF23
| URI | m2://inv/2SJF4MYF23 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03081#TOC5 (statement). In TX0H26X4VX/e1, lemma 2.3
History
- 2026-10-29: add by m2/v0.4.12
2SJF9P8Q4R 2SJF9P8Q4R
| URI | m2://inv/2SJF9P8Q4R |
|---|---|
| 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.20480#ZWX1 (statement). In BK4359JSC3/e1, lemma 7.8
History
- 2026-10-27: add by m2/v0.4.2
Column level encryption 2SJJRG9DTQ
| URI | m2://inv/2SJJRG9DTQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Column level encryption, Column level encryption (definition). Also Wikidata Q56275415
History
- 2026-11-02: add by m2/dev
2SJNDTW2T5 2SJNDTW2T5
| URI | m2://inv/2SJNDTW2T5 |
|---|---|
| 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 2507.13548#TX4W (statement). In 4NVVK50D1P/e1, lemma 2.5
History
- 2026-10-27: add by m2/v0.3.5
2SJQ7KJWF7 2SJQ7KJWF7
| URI | m2://inv/2SJQ7KJWF7 |
|---|---|
| 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.11939#GYLP (statement). In DQMEN40FZV/e1, lemma 9
History
- 2026-10-28: add by m2/v0.4.3
Failure rate 2SK18ZVFCE
| URI | m2://inv/2SK18ZVFCE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Failure rate, Failure rate (definition). Also Wikidata Q2737027
History
- 2026-11-02: add by m2/dev
Functional power 2SK4XAP2AG
| URI | m2://inv/2SK4XAP2AG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Function composition#56X2, Functional power (unknown)
History
- 2026-11-02: add by m2/dev
Heinz Billing 2SK8XJAS6E
| URI | m2://inv/2SK8XJAS6E |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of contributors to general relativity#PEKS, Heinz Billing (topic)
History
- 2026-11-02: add by m2/dev
2SKBMJSN38 2SKBMJSN38
| URI | m2://inv/2SKBMJSN38 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33185#OFUH (statement). In QX30H2WNA7/e1, lemma 4.3
History
- 2026-10-30: add by m2/v0.4.12
First two displayed equations after the proof 2SKCH8X4KZ
| URI | m2://inv/2SKCH8X4KZ |
|---|---|
| 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.29631#KWSL, First two displayed equations after the proof (statement)
History
- 2026-11-01: add by m2/v0.6.15
2SKDTAHN88 2SKDTAHN88
| URI | m2://inv/2SKDTAHN88 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12326#7OD5 (statement). In 9S7HGSEX6Q/e1, lemma 3.16
History
- 2026-10-28: add by m2/v0.4.2
2SKGGHYKG9 2SKGGHYKG9
| URI | m2://inv/2SKGGHYKG9 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/gt-coloring.ptx#exercise-7 (exercise). In Y91XFCEVHQ, exercise, section 5.4
History
- 2026-11-01: add by m2/v0.6.13
2SKHEP4F4T 2SKHEP4F4T
| URI | m2://inv/2SKHEP4F4T |
|---|---|
| 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.06440#PJLS (statement). In 5YB65RB13X/e1, theorem 5.1
History
- 2026-10-29: add by m2/v0.4.10
Alexandru Ioan Lupaș 2SKVTTW93A
| URI | m2://inv/2SKVTTW93A |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alexandru Ioan Lupaș, Alexandru Ioan Lupaș (topic). Also Wikidata Q12720356
History
- 2026-11-02: add by m2/dev
2SM30W9AW6 2SM30W9AW6
| URI | m2://inv/2SM30W9AW6 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09201#C40W (definition). In JQFPH09JG8/e1, definition 2.4
History
- 2026-10-29: add by m2/v0.4.10
Divisible group 2SM8YZEQPP
| URI | m2://inv/2SM8YZEQPP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#QNJD, Divisible group (definition)
- wikipedia: Wikipedia List of abstract algebra topics#PBY9, Divisible group (definition)
History
- 2026-11-02: add by m2/dev
2SMGESYCWK 2SMGESYCWK
| URI | m2://inv/2SMGESYCWK |
|---|---|
| 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.05621#HFZ3 (statement). In ADE39RC6C0/e1, theorem 2.8
History
- 2026-10-29: add by m2/v0.4.10
2SMWGYEKHD 2SMWGYEKHD
| URI | m2://inv/2SMWGYEKHD |
|---|---|
| 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.12716#EDHQ (statement). In M6BCSQSM3R/e1, fact 3
History
- 2026-10-28: add by m2/v0.4.2
2SMZ09FT7C 2SMZ09FT7C
| URI | m2://inv/2SMZ09FT7C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16123#ADMJ (statement). In 6VR4TY5BGV/e1, lemma 5.4
History
- 2026-10-28: add by m2/v0.4.2
2SN0MJ2KVF 2SN0MJ2KVF
| URI | m2://inv/2SN0MJ2KVF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29227#XDAE (statement)
History
- 2026-11-01: add by m2/v0.6.15
divisor class group 2SN6XE611T
| URI | m2://inv/2SN6XE611T |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q72096383, divisor class group (unknown). Also EoM Divisor_class_group
History
- 2026-10-26: add by m2/dev
Bertrand Eynard 2SN7P2MZXZ
| URI | m2://inv/2SN7P2MZXZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#9QJ9, Bertrand Eynard (unknown)
History
- 2026-11-02: add by m2/dev
Near-total stagnation 2SNJH8CREF
| URI | m2://inv/2SNJH8CREF |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10819#5JN0, Near-total stagnation (definition). In M96CSJBYGW/e1, definition 3
History
- 2026-10-28: add by m2/v0.4.3
Kurt Lechner 2SNMVNE8BY
| URI | m2://inv/2SNMVNE8BY |
|---|---|
| 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 Q78196, Kurt Lechner (unknown). Also nLab Kurt Lechner
History
- 2026-10-26: add by m2/dev
Variants 2SNR9EFVEB
| URI | m2://inv/2SNR9EFVEB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Semilinear set#50O7, Variants (statement)
History
- 2026-11-02: add by m2/dev
Submodule Grassmannians and $F$-polynomials 2SNRPW0H9M
| URI | m2://inv/2SNRPW0H9M |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30637#RQWN, Submodule Grassmannians and $F$-polynomials (definition). In 6G1KBA0SXV/e1, definition 3.9
History
- 2026-10-31: add by m2/v0.5.6
Two-step chain 2SNTXXVAY8
| URI | m2://inv/2SNTXXVAY8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2609.27966#9T59, Two-step chain (statement)
History
- 2026-11-01: add by m2/v0.6.15
2SNWQR5MEV 2SNWQR5MEV
| URI | m2://inv/2SNWQR5MEV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33590#CPAK (statement). In WRE0P7V6Z3/e1, theorem 1.26
History
- 2026-10-30: add by m2/v0.4.12
Finitely generated abelian group 2SNZGQD82V
| URI | m2://inv/2SNZGQD82V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#VQ3R, Finitely generated abelian group (definition)
History
- 2026-11-02: add by m2/dev
Erdős–Heilbronn conjecture 2SP298ND6P
| URI | m2://inv/2SP298ND6P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of conjectures by Paul Erdős#3JKB, Erdős–Heilbronn conjecture (definition)
History
- 2026-11-02: add by m2/dev
Shape holomorphy of the adjoint double layer BIO 2SP3DJ90BZ
| URI | m2://inv/2SP3DJ90BZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14888#6G3O, Shape holomorphy of the adjoint double layer BIO (statement). In GN3ZT9DAD9/e1, proposition 3.3
History
- 2026-10-28: add by m2/v0.4.2
ex falso quodlibet 2SP8Z3WC31
| URI | m2://inv/2SP8Z3WC31 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#GUGN, ex falso quodlibet (definition)
History
- 2026-11-02: add by m2/dev
2SPF723FNQ 2SPF723FNQ
| URI | m2://inv/2SPF723FNQ |
|---|---|
| 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#UPG7 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Model learning \& controller design 2SPM7E78N5
| URI | m2://inv/2SPM7E78N5 |
|---|---|
| Kind | problem |
| 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 2601.01076#73FU, Model learning \& controller design (problem). In 2E8DDPAZN3/e1, problem 1
History
- 2026-10-27: add by m2/v0.3.5
2SPWZS09JM 2SPWZS09JM
| URI | m2://inv/2SPWZS09JM |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 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 2609.25188#IDBC (example)
History
- 2026-11-01: add by m2/v0.6.15
The equation $A\xvec = \bvec$ 2SQ00J3XKR
| URI | m2://inv/2SQ00J3XKR |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section2-2.xml#activity-3, The equation $A\xvec = \bvec$ (exercise). In 649HGZKE96, activity, section 2.2.3
History
- 2026-11-01: add by m2/v0.6.13
Irrotational vector field 2SQ1VRR819
| URI | m2://inv/2SQ1VRR819 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of multivariable calculus topics#54ME, Irrotational vector field (definition)
History
- 2026-11-02: add by m2/dev
2SQ47TMV6R 2SQ47TMV6R
| URI | m2://inv/2SQ47TMV6R |
|---|---|
| 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-105 (exercise). In E9HS8K3A52, exercise, section 4.7.1
History
- 2026-11-01: add by m2/v0.6.13
set of real numbers 2SQ4E28EYQ
| URI | m2://inv/2SQ4E28EYQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1174982, set of real numbers (unknown). Also MathWorld Continuum
- wikipedia: Wikipedia Continuum (set theory), Continuum (definition). Also Wikidata Q1174982
History
- 2026-10-26: add by m2/dev
2SQ81TS1HS 2SQ81TS1HS
| URI | m2://inv/2SQ81TS1HS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 49-XX, 51-XX, 52-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34845#BD6J (statement). In SBZNH932ZV/e1, theorem 7.3
History
- 2026-10-30: add by m2/v0.4.12
Poincaré-Verdier duality 2SQ92GFF42
| URI | m2://inv/2SQ92GFF42 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2311.01874#OXUC, Poincaré-Verdier duality (statement). In A4TR95VGX2/e1, proposition 5
History
- 2026-10-27: add by m2/v0.3.5
Residual-based stopping rule for the Moreau evaluation 2SQERC91DW
| URI | m2://inv/2SQERC91DW |
|---|---|
| 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.39736#5WW6, Residual-based stopping rule for the Moreau evaluation (statement). In BB1XJ47PVW/e1, lemma 19
History
- 2026-10-30: add by m2/v0.4.12
BK-space 2SQRRKSEXW
| URI | m2://inv/2SQRRKSEXW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia BK-space, BK-space (definition). Also Wikidata Q4835784
History
- 2026-11-02: add by m2/dev
Forward radial secant 2SQTWPWKQG
| URI | m2://inv/2SQTWPWKQG |
|---|---|
| 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.15202#AEH4, Forward radial secant (statement). In X1FPG0KYBM/e1, lemma M.1
History
- 2026-10-28: add by m2/v0.4.2
Radius comparison from doubling 2SQXNGVN1E
| URI | m2://inv/2SQXNGVN1E |
|---|---|
| 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.20643#KE4Z, Radius comparison from doubling (statement)
History
- 2026-11-02: add by m2/v0.6.18
Exponential generating function 2SR4EH9WAZ
| URI | m2://inv/2SR4EH9WAZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generating function#OTHB, Exponential generating function (unknown)
History
- 2026-11-02: add by m2/dev
2SR7XP39TP 2SR7XP39TP
| URI | m2://inv/2SR7XP39TP |
|---|---|
| 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.06806#CBWI (statement). In ZZQT0GFMT2/e1, theorem 1.5
History
- 2026-10-29: add by m2/v0.4.10
Unifying theories in mathematics 2SRE7MWMWW
| URI | m2://inv/2SRE7MWMWW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematics history topics#728W, Unifying theories in mathematics (topic)
History
- 2026-11-02: add by m2/dev
Stable matching problem 2SRJAD549Z
| URI | m2://inv/2SRJAD549Z |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stable matching problem, Stable matching problem (problem). Also Wikidata Q620702
History
- 2026-11-02: add by m2/dev
Mario Fiorentini 2SRKH1W1E5
| URI | m2://inv/2SRKH1W1E5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mario Fiorentini, Mario Fiorentini (topic). Also Wikidata Q3848579
History
- 2026-11-02: add by m2/dev
2SRM8MZRH0 2SRM8MZRH0
| URI | m2://inv/2SRM8MZRH0 |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2011.11439#YR9B (proof). In 9Z8RSQ36JC/e1, proof
History
- 2026-10-27: add by m2/v0.3.5
Andrei Knyazev 2SRP1VSW2C
| URI | m2://inv/2SRP1VSW2C |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Andrei Knyazev (mathematician), Andrei Knyazev (topic). Also Wikidata Q11102304
History
- 2026-11-02: add by m2/dev
Ben Howland 2SRQSK5QFP
| URI | m2://inv/2SRQSK5QFP |
|---|---|
| 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#IYUE, Ben Howland (unknown)
History
- 2026-11-02: add by m2/dev
2SRWCA3EPK 2SRWCA3EPK
| URI | m2://inv/2SRWCA3EPK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2508.21045#OM4W (statement). In CGA36VE1C5/e1, fact 6.0.1
History
- 2026-10-27: add by m2/v0.3.6
Quantile derivatives 2SS1Q3TMHH
| URI | m2://inv/2SS1Q3TMHH |
|---|---|
| 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 2609.31345#ZG5U, Quantile derivatives (statement). In R4MX33WNRX/e1, theorem 1.1
History
- 2026-10-31: add by m2/v0.5.6
2SS42H84JY 2SS42H84JY
| URI | m2://inv/2SS42H84JY |
|---|---|
| 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.05442#EWT8 (statement). In WEPE51JCHZ/e1, theorem 6.1
History
- 2026-10-29: add by m2/v0.4.10
C-number 2SS528VF97
| URI | m2://inv/2SS528VF97 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia C-number, C-number (definition). Also Wikidata Q5005957
History
- 2026-11-02: add by m2/dev
Mersenne prime 2SS5TM8RA6
| URI | m2://inv/2SS5TM8RA6 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Mersenne prime 06GPJF9V7M |
Mentions
- wikidata: Wikidata Q186875, Mersenne prime (concept). Also MathWorld MersennePrime, OEIS A000668
- wikipedia: Wikipedia Mersenne prime, Mersenne prime (conjecture). Also Wikidata Q186875
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
2SSCQMN5CS 2SSCQMN5CS
| URI | m2://inv/2SSCQMN5CS |
|---|---|
| Kind | example |
| 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 2610.16386#C9RL (example). In RAF0BFY3Z3/e1, example 3.1
History
- 2026-10-28: add by m2/v0.4.2
Algorithm 2SSTCGBS5N
| URI | m2://inv/2SSTCGBS5N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mean value analysis#AFH4, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
Asymptotic variance of the Huber estimator 2SSY9PFZGC
| URI | m2://inv/2SSY9PFZGC |
|---|---|
| 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.20798#CU0X, Asymptotic variance of the Huber estimator (statement). In 947GFWDY7C/e1, corollary 1
History
- 2026-10-27: add by m2/v0.4.2
Consensus based optimization 2SSZK4YZFC
| URI | m2://inv/2SSZK4YZFC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Consensus based optimization, Consensus based optimization (definition). Also Wikidata Q130651834
History
- 2026-11-02: add by m2/dev
Nagata's conjecture on curves 2ST0QQ3TEC
| URI | m2://inv/2ST0QQ3TEC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#I7F8, Nagata's conjecture on curves (statement)
History
- 2026-11-02: add by m2/dev
Summation formula 2ST1JG7TJB
| URI | m2://inv/2ST1JG7TJB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dedekind number#ICAT, Summation formula (statement)
History
- 2026-11-02: add by m2/dev
Fugit 2STDQVVF1F
| URI | m2://inv/2STDQVVF1F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fugit, Fugit (definition). Also Wikidata Q5507261
History
- 2026-11-02: add by m2/dev
Compatible characters of conductor $T$ 2STF5SQS1J
| URI | m2://inv/2STF5SQS1J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30301#01LT, Compatible characters of conductor $T$ (statement). In 7NS75J7HAM/e1, proposition 9.2
History
- 2026-10-31: add by m2/v0.5.6
2STFJAFXXT 2STFJAFXXT
| URI | m2://inv/2STFJAFXXT |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/sec_logic-proofs.ptx#proof-9 (proof). In Y91XFCEVHQ, proof, section 4.2.3
History
- 2026-11-01: add by m2/v0.6.13
Four Color Theorem 2STTRKM0EB
| URI | m2://inv/2STTRKM0EB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_graphs_planar.ptx#thm_4ct, Four Color Theorem (statement). In QKM9DD2H56, theorem, section 5.5
History
- 2026-11-01: add by m2/v0.6.13
2STVMR4CD4 2STVMR4CD4
| URI | m2://inv/2STVMR4CD4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2503.22636#057A (statement). In 2X2A6MT0QD/e1, corollary 3.6
History
- 2026-10-27: add by m2/v0.3.5
*{Lemma 4.2.6 2STXNG1NF1
| URI | m2://inv/2STXNG1NF1 |
|---|---|
| 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 2405.02275#VR1J, *{Lemma 4.2.6 (statement). In 1QXCNGRWV1/e1, lemma 2.1
History
- 2026-10-27: add by m2/v0.3.5
partial derivative 2SV36AP64R
| URI | m2://inv/2SV36AP64R |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Partial derivative 05AXG3QRKR |
Mentions
- wikidata: Wikidata Q186475, partial derivative (concept). Also MathWorld PartialDerivative
- wikipedia: Wikipedia Partial derivative, Partial derivative (definition). Also Wikidata Q186475
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Topological semigroup 2SV4ARNH4R
| URI | m2://inv/2SV4ARNH4R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Topological semigroup, Topological semigroup (definition). Also Wikidata Q7825043
History
- 2026-11-02: add by m2/dev
Benny Sudakov 2SV8D4W7Y9
| URI | m2://inv/2SV8D4W7Y9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Benny Sudakov, Benny Sudakov (topic). Also Wikidata Q4890055
History
- 2026-11-02: add by m2/dev
TURF analysis 2SVNP6C2RS
| URI | m2://inv/2SVNP6C2RS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia TURF analysis, TURF analysis (definition). Also Wikidata Q7672036
History
- 2026-11-02: add by m2/dev
Logarithmic radius formula 2SVTDB3ZSN
| URI | m2://inv/2SVTDB3ZSN |
|---|---|
| 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#CN93, Logarithmic radius formula (statement). In 9YAE8FNQST/e1, proposition D.1
History
- 2026-10-30: add by m2/v0.4.12
Andreas von Ettingshausen 2SVY5A6327
| URI | m2://inv/2SVY5A6327 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#1JDT, Andreas von Ettingshausen (unknown)
History
- 2026-11-02: add by m2/dev
Salomon Bochner 2SW52W88AS
| URI | m2://inv/2SW52W88AS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#73QV, Salomon Bochner (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#RTWI, Salomon Bochner (topic)
History
- 2026-11-02: add by m2/dev
The pointed-core test 2SW627W90Q
| URI | m2://inv/2SW627W90Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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.00490#0W7O, The pointed-core test (statement). In PZJDV6SJ9E/e1, lemma 3.5
History
- 2026-10-30: add by m2/v0.4.12
2SWA5N5ZQ9 2SWA5N5ZQ9
| URI | m2://inv/2SWA5N5ZQ9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 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.35102#DWG9 (statement). In XK6H7F2F13/e1, corollary 6.5
History
- 2026-10-30: add by m2/v0.4.12
2SWCD638N5 2SWCD638N5
| URI | m2://inv/2SWCD638N5 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 37-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19194#ORYJ (definition). In P9D8W64P7X/e1, definition 3.2
History
- 2026-10-28: add by m2/v0.4.2
Depth-$H$ network 2SWH4XM5VF
| URI | m2://inv/2SWH4XM5VF |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04357#NDST, Depth-$H$ network (definition). In 6FY8BVP1F3/e1, definition K.20
History
- 2026-10-29: add by m2/v0.4.12
2SWH6BT3XF 2SWH6BT3XF
| URI | m2://inv/2SWH6BT3XF |
|---|---|
| Kind | definition |
| 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#2VLB (definition). In HX63A1PH1W/e1, definition 3.36
History
- 2026-10-28: add by m2/v0.4.3
Olga Taussky 2SWY76W84F
| URI | m2://inv/2SWY76W84F |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#FKZA, Olga Taussky (unknown)
History
- 2026-11-02: add by m2/dev
Monadic category 2SX0WFDY32
| URI | m2://inv/2SX0WFDY32 |
|---|---|
| Kind | definition |
| 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#7SZ4, Monadic category (definition). In HX63A1PH1W/e1, definition 3.27
History
- 2026-10-28: add by m2/v0.4.3
Michio Jimbo 2SX2RE61V3
| URI | m2://inv/2SX2RE61V3 |
|---|---|
| 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#PRJ5, Michio Jimbo (topic)
History
- 2026-11-02: add by m2/dev
Mixing under the de Almeida--Thouless line 2SX2YEHD0B
| URI | m2://inv/2SX2YEHD0B |
|---|---|
| Kind | problem |
| 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.17717#S425, Mixing under the de Almeida--Thouless line (problem). In YXRKS451PK/e1, problem 1.6
History
- 2026-10-28: add by m2/v0.4.2
2SX3ZYVRC1 2SX3ZYVRC1
| URI | m2://inv/2SX3ZYVRC1 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/galois.tex#proof-4 (proof). In RZP28ERRZV, proof, section 14.5
History
- 2026-11-01: add by m2/v0.6.13
$T_2$ transport inequality for regular It\^o processes 2SX8RSJ0HE
| URI | m2://inv/2SX8RSJ0HE |
|---|---|
| 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#JCO0, $T_2$ transport inequality for regular It\^o processes (statement). In WYE2JVEZBT/e1, theorem 3.12
History
- 2026-10-31: add by m2/v0.5.6
Radial Schur complement 2SXB4ZTT15
| URI | m2://inv/2SXB4ZTT15 |
|---|---|
| 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.06490#D5P4, Radial Schur complement (statement). In NKXTXH59P1/e1, lemma E.7
History
- 2026-10-29: add by m2/v0.4.10
Montgomery modular multiplication 2SXHHTCAPB
| URI | m2://inv/2SXHHTCAPB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Montgomery modular multiplication, Montgomery modular multiplication (definition). Also Wikidata Q2506594
History
- 2026-11-02: add by m2/dev
Martin's axiom 2SXM6N7FHK
| URI | m2://inv/2SXM6N7FHK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statements independent of ZFC#W8WK, Martin's axiom (statement)
History
- 2026-11-02: add by m2/dev
2SXQCFPYB9 2SXQCFPYB9
| URI | m2://inv/2SXQCFPYB9 |
|---|---|
| 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.23593#A0P0 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Parker transport equation 2SXQEM2F46
| URI | m2://inv/2SXQEM2F46 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of named differential equations#I53Y, Parker transport equation (unknown)
History
- 2026-11-02: add by m2/dev
Multivariate Pareto distribution 2SYEMKDJJB
| URI | m2://inv/2SYEMKDJJB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multivariate Pareto distribution, Multivariate Pareto distribution (definition). Also Wikidata Q6935131
History
- 2026-11-02: add by m2/dev
2SYJVMD3XH 2SYJVMD3XH
| URI | m2://inv/2SYJVMD3XH |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08028#W8ZF (definition). In Z19XDA8QY9/e1, definition 4
History
- 2026-10-29: add by m2/v0.4.10
Cofunction 2SYQ2SFNB9
| URI | m2://inv/2SYQ2SFNB9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cofunction, Cofunction (definition). Also Wikidata Q3682379
History
- 2026-11-02: add by m2/dev
2SYYBN14EV 2SYYBN14EV
| URI | m2://inv/2SYYBN14EV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-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 2103.14389#V7RH (statement). In NAMCCRM50R/e1, lemma 4.5
History
- 2026-10-27: add by m2/v0.3.5
principle of excluded middle 2SZ7R66N5V
| URI | m2://inv/2SZ7R66N5V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Law of excluded middle 0RYYK8PG4S |
Mentions
- wikidata: Wikidata Q468422, principle of excluded middle (statement). Also ProofWiki Law_of_Excluded_Middle
- wikipedia: Wikipedia Law of excluded middle, Law of excluded middle (statement). Also Wikidata Q468422
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Example 2SZ8998E7N
| URI | m2://inv/2SZ8998E7N |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Blotto game#KH97, Example (example)
History
- 2026-11-02: add by m2/dev
Bayesian econometrics 2SZ8XCD9N7
| URI | m2://inv/2SZ8XCD9N7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#LQ6E, Bayesian econometrics (topic)
History
- 2026-11-02: add by m2/dev
Coupling independence implies zero-freeness 2SZGG1775K
| URI | m2://inv/2SZGG1775K |
|---|---|
| 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.12456#HSF2, Coupling independence implies zero-freeness (statement). In 5XPM4E03W6/e1, theorem 3.1
History
- 2026-10-28: add by m2/v0.4.2
2SZHHRH1DT 2SZHHRH1DT
| URI | m2://inv/2SZHHRH1DT |
|---|---|
| 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.37778#VDSI (statement). In V399QB419P/e1, lemma 2.2
History
- 2026-10-30: add by m2/v0.4.12
2SZKBQSNX1 2SZKBQSNX1
| URI | m2://inv/2SZKBQSNX1 |
|---|---|
| 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.26357#SLDW (statement)
History
- 2026-11-01: add by m2/v0.6.15
2SZT2R7DVW 2SZT2R7DVW
| URI | m2://inv/2SZT2R7DVW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40054#KND1 (statement). In CA4C9PFM1E/e1, lemma 5.1.1
History
- 2026-10-30: add by m2/v0.4.12
Definition 2SZXKQ6BP5
| URI | m2://inv/2SZXKQ6BP5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pursuit curve#8J08, Definition (definition)
History
- 2026-11-02: add by m2/dev
p-norm 2SZY7E7YPH
| URI | m2://inv/2SZY7E7YPH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2043496, p-norm (definition). Also ProofWiki Definition:P-Norm
History
- 2026-10-26: add by m2/dev