Inventory rows JP
The cards of the rows of the inventory whose ids start with JP. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
JP034KH39F JP034KH39F
| URI | m2://inv/JP034KH39F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02244#97BA (statement). In 3REM2EXQK7/e1, lemma 2.16
History
- 2026-10-29: add by m2/v0.4.12
JP04C95EEC JP04C95EEC
| URI | m2://inv/JP04C95EEC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12319#MJ9N (statement). In FH8GB1C17K/e1, corollary 10
History
- 2026-10-28: add by m2/v0.4.2
Formulation JP0565K81Y
| URI | m2://inv/JP0565K81Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Oper (mathematics)#ID3P, Formulation (definition)
History
- 2026-11-02: add by m2/dev
JP09ANHQ7B JP09ANHQ7B
| URI | m2://inv/JP09ANHQ7B |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39531#O9DP (definition). In SN9RSTHQ07/e1, definition E.3
History
- 2026-10-30: add by m2/v0.4.12
Nelder, John JP0G2NGMQR
| URI | m2://inv/JP0G2NGMQR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#LMU5, Nelder, John (topic)
History
- 2026-11-02: add by m2/dev
The independent product JP0M68ZC0J
| URI | m2://inv/JP0M68ZC0J |
|---|---|
| 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.11002#HY90, The independent product (statement). In P55JSAYR3T/e1, theorem
History
- 2026-10-28: add by m2/v0.4.3
JP0QTCNW5W JP0QTCNW5W
| URI | m2://inv/JP0QTCNW5W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05661#DS0G (statement). In FDBAQNDMF5/e1, proposition 3
History
- 2026-10-29: add by m2/v0.4.10
Weighted Poincar\'e Inequality JP122XC47P
| URI | m2://inv/JP122XC47P |
|---|---|
| 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.15111#AEQE, Weighted Poincar\'e Inequality (statement). In 6RE6JYE4GP/e1, lemma F.9
History
- 2026-10-28: add by m2/v0.4.2
JP14XF88ZY JP14XF88ZY
| URI | m2://inv/JP14XF88ZY |
|---|---|
| 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 2303.10636#U8BE (statement). In 9SV2RAEPXM/e1, proposition 5.5
History
- 2026-10-27: add by m2/v0.3.6
hexacontagon JP1J3WQ19D
| URI | m2://inv/JP1J3WQ19D |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3135012, hexacontagon (unknown). Also MathWorld Hexacontagon
History
- 2026-10-26: add by m2/dev
Examples JP1RW0S3T7
| URI | m2://inv/JP1RW0S3T7 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Morse–Smale system#G9T0, Examples (example)
History
- 2026-11-02: add by m2/dev
Variants JP1X2072BW
| URI | m2://inv/JP1X2072BW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Julian day#W8Y4, Variants (statement)
History
- 2026-11-02: add by m2/dev
Cubic-square tiling honeycomb JP29ZHBEQN
| URI | m2://inv/JP29ZHBEQN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cubic-square tiling honeycomb, Cubic-square tiling honeycomb (definition). Also Wikidata Q17006188
History
- 2026-11-02: add by m2/dev
Epi Info JP2M9TBQ4C
| URI | m2://inv/JP2M9TBQ4C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Epi Info, Epi Info (definition). Also Wikidata Q2601695
History
- 2026-11-02: add by m2/dev
Sorites paradox JP2SYYBGYA
| URI | m2://inv/JP2SYYBGYA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fuzzy concept#BG07, Sorites paradox (statement)
History
- 2026-11-02: add by m2/dev
JP2ZE3DH88 JP2ZE3DH88
| URI | m2://inv/JP2ZE3DH88 |
|---|---|
| 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.29677#IPRR (statement)
History
- 2026-11-01: add by m2/v0.6.15
Clique complex JP31QZ3FRA
| URI | m2://inv/JP31QZ3FRA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Clique complex, Clique complex (definition). Also Wikidata Q5134413
History
- 2026-11-02: add by m2/dev
JP377VQM60 JP377VQM60
| URI | m2://inv/JP377VQM60 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07453#6940 (statement). In CQGE4WJV4P/e1, lemma 3.4
History
- 2026-10-29: add by m2/v0.4.10
Kontsevich formality theorem JP3DDYYSG3
| URI | m2://inv/JP3DDYYSG3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of symplectic geometry#D5K5, Kontsevich formality theorem (definition)
History
- 2026-11-02: add by m2/dev
Unipotent representation JP3EE2R8D0
| URI | m2://inv/JP3EE2R8D0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Unipotent representation, Unipotent representation (definition). Also Wikidata Q7886915
History
- 2026-11-02: add by m2/dev
JP3RVVGX79 JP3RVVGX79
| URI | m2://inv/JP3RVVGX79 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01919#B8CP (statement). In 4H727T2YAS/e1, lemma 9.7
History
- 2026-10-29: add by m2/v0.4.12
JP3TV9GT26 JP3TV9GT26
| URI | m2://inv/JP3TV9GT26 |
|---|---|
| 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 2204.04820#IKH6 (statement). In 9EJ71MW89B/e1, theorem 1.5
History
- 2026-10-27: add by m2/v0.3.5
Jungkai Alfred Chen JP43XDT1KN
| URI | m2://inv/JP43XDT1KN |
|---|---|
| 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#Y60U, Jungkai Alfred Chen (unknown)
History
- 2026-11-02: add by m2/dev
JP4ECVSAY2 JP4ECVSAY2
| URI | m2://inv/JP4ECVSAY2 |
|---|---|
| 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.21680#M3LC (statement)
History
- 2026-11-02: add by m2/v0.6.18
JP4ED1JQPB JP4ED1JQPB
| URI | m2://inv/JP4ED1JQPB |
|---|---|
| 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 2610.17571#F6GL (statement). In SWFN2HCEE7/e1, corollary 1.5
History
- 2026-10-28: add by m2/v0.4.2
Reeve's formula for lattice polyhedra JP4JF2R1XY
| URI | m2://inv/JP4JF2R1XY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reeve tetrahedra#HTV5, Reeve's formula for lattice polyhedra (statement)
History
- 2026-11-02: add by m2/dev
Characterizations JP4JMZMB8Z
| URI | m2://inv/JP4JMZMB8Z |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Packing coloring#W62J, Characterizations (statement)
History
- 2026-11-02: add by m2/dev
JP4SEQCFM1 JP4SEQCFM1
| URI | m2://inv/JP4SEQCFM1 |
|---|---|
| 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.30363#0WUS (statement). In QHBBP180QJ/e1, proposition 5
History
- 2026-10-31: add by m2/v0.5.6
JP4W013G6Y JP4W013G6Y
| URI | m2://inv/JP4W013G6Y |
|---|---|
| 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.15610#E14C (statement). In HENAFHBDQS/e1, lemma 4.4
History
- 2026-10-28: add by m2/v0.4.2
JP4WM90G0Z JP4WM90G0Z
| URI | m2://inv/JP4WM90G0Z |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-systems.tex#example-15 (example). In E9HS8K3A52, example, section 10.8.3
History
- 2026-11-01: add by m2/v0.6.13
JP500BCW1T JP500BCW1T
| URI | m2://inv/JP500BCW1T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26600#M805 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Optimal residual bound JP500S37KE
| URI | m2://inv/JP500S37KE |
|---|---|
| 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.20020#QKPV, Optimal residual bound (statement). In TGYC3SE8XM/e1, theorem 2.1
History
- 2026-10-27: add by m2/v0.4.2
JP5B8AQJYR JP5B8AQJYR
| URI | m2://inv/JP5B8AQJYR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24307#DP7K (statement)
History
- 2026-11-01: add by m2/v0.6.15
JP5F6SGRZF JP5F6SGRZF
| URI | m2://inv/JP5F6SGRZF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07092#JFIK (statement). In JWNYJVH8XG/e1, lemma 4.2
History
- 2026-10-29: add by m2/v0.4.10
Symmetry JP5XBKRY4Y
| URI | m2://inv/JP5XBKRY4Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Octacube (sculpture)#N3OH, Symmetry (statement)
History
- 2026-11-02: add by m2/dev
Jacob Bernoulli JP621X51WM
| URI | m2://inv/JP621X51WM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of eponyms of special functions#3J0J, Jacob Bernoulli (topic)
History
- 2026-11-02: add by m2/dev
JP640ZWEJA JP640ZWEJA
| URI | m2://inv/JP640ZWEJA |
|---|---|
| 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 2111.01197#Y6KI (statement). In Z36XFKVTS0/e1, lemma 3.3
History
- 2026-10-27: add by m2/v0.3.5
JP68EJD59J JP68EJD59J
| URI | m2://inv/JP68EJD59J |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_background_exp.ptx#proof-1 (proof). In QKM9DD2H56, proof, section B.9
History
- 2026-11-01: add by m2/v0.6.13
Connecting map JP68PYVC11
| URI | m2://inv/JP68PYVC11 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 55-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03865#Q9AQ, Connecting map (statement). In G3D1YR20BJ/e1, lemma 4.22
History
- 2026-10-29: add by m2/v0.4.12
Igusa zeta function JP6C7GMQ39
| URI | m2://inv/JP6C7GMQ39 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Igusa zeta function, Igusa zeta function (definition). Also Wikidata Q5994475
History
- 2026-11-02: add by m2/dev
Rigid analytic space JP6JF82AXR
| URI | m2://inv/JP6JF82AXR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rigid analytic space, Rigid analytic space (definition). Also Wikidata Q7333799
History
- 2026-11-02: add by m2/dev
Properties of the Dirac measure JP6N76VH6W
| URI | m2://inv/JP6N76VH6W |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dirac measure#P9F6, Properties of the Dirac measure (statement)
History
- 2026-11-02: add by m2/dev
Pierre Cartier JP6YT5J53H
| URI | m2://inv/JP6YT5J53H |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#WMDJ, Pierre Cartier (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#U5R9, Pierre Cartier (topic)
History
- 2026-11-02: add by m2/dev
Joseph R. Shoenfield JP70VFDY0S
| URI | m2://inv/JP70VFDY0S |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Joseph R. Shoenfield, Joseph R. Shoenfield (topic). Also Wikidata Q1707860
History
- 2026-11-02: add by m2/dev
Block matrix pseudoinverse JP760VEQD9
| URI | m2://inv/JP760VEQD9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Block matrix pseudoinverse, Block matrix pseudoinverse (definition). Also Wikidata Q4927198
History
- 2026-11-02: add by m2/dev
Exponential tails for geodesic intercepts JP7BGRWSZ2
| URI | m2://inv/JP7BGRWSZ2 |
|---|---|
| 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.14154#AN7Y, Exponential tails for geodesic intercepts (statement). In 8X6PXX2TRA/e1, theorem 7.1
History
- 2026-10-28: add by m2/v0.4.2
JP7JJS4K7Y JP7JJS4K7Y
| URI | m2://inv/JP7JJS4K7Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13913#4PN4 (statement). In BW5GVH97JE/e1, proposition 3.2
History
- 2026-10-28: add by m2/v0.4.2
JP7RZBRZH2 JP7RZBRZH2
| URI | m2://inv/JP7RZBRZH2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21513#IWQU (statement)
History
- 2026-11-02: add by m2/v0.6.18
JP7VQYG450 JP7VQYG450
| URI | m2://inv/JP7VQYG450 |
|---|---|
| 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.18803#76K5 (definition). In VG8AF124T3/e1, definition 6.3
History
- 2026-10-28: add by m2/v0.4.2
Uses JP7X4DHNZE
| URI | m2://inv/JP7X4DHNZE |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Median absolute deviation#VIMO, Uses (example)
History
- 2026-11-02: add by m2/dev
Multilinear lower-box vertices JP7YSXTMX5
| URI | m2://inv/JP7YSXTMX5 |
|---|---|
| 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.04027#16S5, Multilinear lower-box vertices (statement). In DQB4YR2DFH/e1, lemma 9.5
History
- 2026-10-29: add by m2/v0.4.12
Rayleigh dissipation function JP861SAJ70
| URI | m2://inv/JP861SAJ70 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rayleigh dissipation function, Rayleigh dissipation function (definition). Also Wikidata Q4162366
History
- 2026-11-02: add by m2/dev
Pentahexagonal tiling JP8902C7VM
| URI | m2://inv/JP8902C7VM |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pentahexagonal tiling, Pentahexagonal tiling (object). Also Wikidata Q17078140
History
- 2026-11-02: add by m2/dev
Dilworth truncation JP8921X77Q
| URI | m2://inv/JP8921X77Q |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24917#ZHRF, Dilworth truncation (definition)
History
- 2026-11-01: add by m2/v0.6.15
probability measure JP8N6YSN9W
| URI | m2://inv/JP8N6YSN9W |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Probability Theory > Definitions in probability theory > probability measure, probability measure (unknown). Also Mathlib MeasureTheory.IsProbabilityMeasure
- mathlib_undergrad: mathlib_undergrad Probability Theory > Definitions of a probability space > probability measure, probability measure (unknown). Also Mathlib MeasureTheory.IsProbabilityMeasure
History
- 2026-10-26: add by m2/dev
Steiner's calculus problem JP8XPCQW68
| URI | m2://inv/JP8XPCQW68 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Optimal radix choice#2T6Q, Steiner's calculus problem (unknown)
History
- 2026-11-02: add by m2/dev
JP8Y2KN9SS JP8Y2KN9SS
| URI | m2://inv/JP8Y2KN9SS |
|---|---|
| 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.03086#412W (statement). In WE0M35T8PG/e1, lemma 1
History
- 2026-10-29: add by m2/v0.4.12
JP92R83PD2 JP92R83PD2
| URI | m2://inv/JP92R83PD2 |
|---|---|
| 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.16941#7VPE (definition). In T96MPYB0KT/e1, definition 1.1
History
- 2026-10-28: add by m2/v0.4.2
Rigidity inside the linear pull-back locus JP989GKDP8
| URI | m2://inv/JP989GKDP8 |
|---|---|
| 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.26152#WKEY, Rigidity inside the linear pull-back locus (statement)
History
- 2026-11-01: add by m2/v0.6.15
Watts–Strogatz model JP9D9P88F8
| URI | m2://inv/JP9D9P88F8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Watts–Strogatz model, Watts–Strogatz model (definition). Also Wikidata Q5837129
History
- 2026-11-02: add by m2/dev
JP9EDV7VJ2 JP9EDV7VJ2
| URI | m2://inv/JP9EDV7VJ2 |
|---|---|
| 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 2308.05066#K5I1 (statement). In 1QSCT53ZED/e1, corollary 7.17
History
- 2026-10-27: add by m2/v0.4.0
Truncated order-8 octagonal tiling JP9FDMKWWT
| URI | m2://inv/JP9FDMKWWT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Truncated order-8 octagonal tiling, Truncated order-8 octagonal tiling (definition). Also Wikidata Q7847905
History
- 2026-11-02: add by m2/dev
Data visualization JP9MPFAYTW
| URI | m2://inv/JP9MPFAYTW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#B7JG, Data visualization (definition)
History
- 2026-11-02: add by m2/dev
quaternion JP9Q9APX4E
| URI | m2://inv/JP9Q9APX4E |
|---|---|
| Kind | definition |
| Layer | textbook |
| MSC | 11R52 |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | The quaternions 0GE4DVQKR8 |
Mentions
- wikidata: Wikidata Q173853, quaternion (topic). Also EoM Quaternion, MathWorld Quaternion, nLab quaternion, ProofWiki Definition:Quaternion
- wikipedia: Wikipedia Quaternion, Quaternion (definition). Also Wikidata Q173853
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
JP9RF1K671 JP9RF1K671
| URI | m2://inv/JP9RF1K671 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08334#360T (definition). In FQ3DS8B3H1/e1, definition 2.1
History
- 2026-10-29: add by m2/v0.4.10
transfer JP9VAT5TQQ
| URI | m2://inv/JP9VAT5TQQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#9Z0J, transfer (definition)
History
- 2026-11-02: add by m2/dev
JPA7AKV2PX JPA7AKV2PX
| URI | m2://inv/JPA7AKV2PX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/functions/functions-relations.tex#defn:funimage (definition). In PKGMM3P5QY, defn, section 78.11
History
- 2026-11-01: add by m2/v0.6.13
Prop 8.7.1; p. 485; , Section 4.3 JPA7DYN3Z5
| URI | m2://inv/JPA7DYN3Z5 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 19-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19791#SCSP, Prop 8.7.1; p. 485; , Section 4.3 (definition). In AVDB4KJ6XB/e1, definition 5.3
History
- 2026-10-28: add by m2/v0.4.2
autocorrelation JPAHG0PB6V
| URI | m2://inv/JPAHG0PB6V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Autocorrelation function YCZHYY8VE5 |
Mentions
- wikidata: Wikidata Q786970, autocorrelation (unknown). Also MathWorld Autocorrelation
- wikipedia: Wikipedia Autocorrelation, Autocorrelation (definition). Also Wikidata Q786970
History
- 2026-10-26: add by m2/dev
J. Ian Munro JPAMQK6J2S
| URI | m2://inv/JPAMQK6J2S |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#S13S, J. Ian Munro (unknown)
History
- 2026-11-02: add by m2/dev
Stone representation theorem JPASRW1WJ8
| URI | m2://inv/JPASRW1WJ8 |
|---|---|
| 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 2303.14022#64YY, Stone representation theorem (statement). In NSYR6W27FP/e1, theorem 6.8
History
- 2026-10-27: add by m2/v0.3.5
GLUE (uncertainty assessment) JPAZFAKKP3
| URI | m2://inv/JPAZFAKKP3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#O8BJ, GLUE (uncertainty assessment) (definition)
History
- 2026-11-02: add by m2/dev
JPB00HG7Q7 JPB00HG7Q7
| URI | m2://inv/JPB00HG7Q7 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16554#1WXC (example). In GWNT8HEZG1/e1, example 4.44
History
- 2026-10-27: add by m2/v0.3.6
Examples JPB04QPSFC
| URI | m2://inv/JPB04QPSFC |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Condensation point#7K08, Examples (example)
History
- 2026-11-02: add by m2/dev
Properties JPB6CRB79A
| URI | m2://inv/JPB6CRB79A |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Approximate limit#65X8, Properties (statement)
History
- 2026-11-02: add by m2/dev
JPBC2PTZS2 JPBC2PTZS2
| URI | m2://inv/JPBC2PTZS2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21039#A6DR (statement)
History
- 2026-11-02: add by m2/v0.6.18
JPBFK9C2VZ JPBFK9C2VZ
| URI | m2://inv/JPBFK9C2VZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25129#6YCT (statement)
History
- 2026-11-01: add by m2/v0.6.15
Heinrich August Rothe JPBGVBVJ3E
| URI | m2://inv/JPBGVBVJ3E |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#1W0R, Heinrich August Rothe (topic)
History
- 2026-11-02: add by m2/dev
limit profile JPBZG73NYG
| URI | m2://inv/JPBZG73NYG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03728#HADH, limit profile (statement). In NXR84SNM8F/e1, theorem A.5
History
- 2026-10-29: add by m2/v0.4.12
Universal co-cone JPBZN7ENK6
| URI | m2://inv/JPBZN7ENK6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cone (category theory)#7HX3, Universal co-cone (unknown)
History
- 2026-11-02: add by m2/dev
Definition JPC16KKV43
| URI | m2://inv/JPC16KKV43 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Residue number system#VH6C, Definition (definition)
History
- 2026-11-02: add by m2/dev
Theorem JPC37NX416
| URI | m2://inv/JPC37NX416 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hypocontinuous bilinear map#94CG, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Natarajan dimension JPCGSXBZ6C
| URI | m2://inv/JPCGSXBZ6C |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18154#OK1F, Natarajan dimension (definition). In 4W7ARR1DAR/e1, definition 2.2
History
- 2026-10-28: add by m2/v0.4.2
Le Cam's first lemma JPCS0FHV23
| URI | m2://inv/JPCS0FHV23 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Contiguity (probability theory)#IPGS, Le Cam's first lemma (statement)
History
- 2026-11-02: add by m2/dev
Six Mile Run, New Jersey JPCTCTDA3Q
| URI | m2://inv/JPCTCTDA3Q |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#H313, Six Mile Run, New Jersey (unknown)
History
- 2026-11-02: add by m2/dev
Sushmita Ruj JPCZGBPRV6
| URI | m2://inv/JPCZGBPRV6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#UKDV, Sushmita Ruj (unknown)
History
- 2026-11-02: add by m2/dev
JPD6XMYW1V JPD6XMYW1V
| URI | m2://inv/JPD6XMYW1V |
|---|---|
| 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 2610.11779#XRU0 (statement). In V1ZQRDM2CH/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.3
Affine Coxeter group JPD7JMP5DZ
| URI | m2://inv/JPD7JMP5DZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coxeter group#UB3R, Affine Coxeter group (unknown)
History
- 2026-11-02: add by m2/dev
Properties JPD96C6GVQ
| URI | m2://inv/JPD96C6GVQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Transpositions matrix#H0DR, Properties (statement)
History
- 2026-11-02: add by m2/dev
JPDAEJDS3T JPDAEJDS3T
| URI | m2://inv/JPDAEJDS3T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28076#M3D7 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Vitale's random Brunn–Minkowski inequality JPDZHJ5A7N
| URI | m2://inv/JPDZHJ5A7N |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vitale's random Brunn–Minkowski inequality, Vitale's random Brunn–Minkowski inequality (statement). Also Wikidata Q7936769
History
- 2026-11-02: add by m2/dev
Two-sided Laplace transform JPE7917M61
| URI | m2://inv/JPE7917M61 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Fourier-related transforms#JP9P, Two-sided Laplace transform (definition)
History
- 2026-11-02: add by m2/dev
Definition JPE8E7QVR3
| URI | m2://inv/JPE8E7QVR3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Binomial process#6KN8, Definition (definition)
History
- 2026-11-02: add by m2/dev
Finite ordinary Gaussian success bounds JPEC2ZQ82Z
| URI | m2://inv/JPEC2ZQ82Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30808#83E5, Finite ordinary Gaussian success bounds (statement). In 4JCFPV48VG/e1, theorem 6.1
History
- 2026-10-31: add by m2/v0.5.6
JPEDHZVGGJ JPEDHZVGGJ
| URI | m2://inv/JPEDHZVGGJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18503#KYGM (statement). In RW315W172S/e1, lemma 3.7
History
- 2026-10-28: add by m2/v0.4.2
system of imprimitivity JPEGP8WN86
| URI | m2://inv/JPEGP8WN86 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7663731, system of imprimitivity (unknown). Also nLab system of imprimitivity
- wikipedia: Wikipedia System of imprimitivity, System of imprimitivity (definition). Also Wikidata Q7663731
History
- 2026-10-26: add by m2/dev
Spikey JPESYNCZWE
| URI | m2://inv/JPESYNCZWE |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q122311645, Spikey (object). Also MathWorld Spikey
History
- 2026-10-26: add by m2/dev
Colombeau's construction JPEZY1CD8Q
| URI | m2://inv/JPEZY1CD8Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic constructions#XPV9, Colombeau's construction (definition)
History
- 2026-11-02: add by m2/dev
Consistency of the QML breakpoint estimator JPF0P5AF90
| URI | m2://inv/JPF0P5AF90 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.12271#AB2G, Consistency of the QML breakpoint estimator (statement). In WGCET6KSQ7/e1, theorem 23
History
- 2026-10-27: add by m2/v0.3.6
JPF96Z6NDR JPF96Z6NDR
| URI | m2://inv/JPF96Z6NDR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26001#XYJ5 (statement)
History
- 2026-11-01: add by m2/v0.6.15
JPFB70NZKX JPFB70NZKX
| URI | m2://inv/JPFB70NZKX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29759#PYH9 (statement)
History
- 2026-11-01: add by m2/v0.6.15
JPFH9KRMRV JPFH9KRMRV
| URI | m2://inv/JPFH9KRMRV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09422#VV2O (statement). In MS7M2BJS9X/e1, lemma 6.1
History
- 2026-10-29: add by m2/v0.4.10
JPFMSE8FMA JPFMSE8FMA
| URI | m2://inv/JPFMSE8FMA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2410.02139#9E3D (statement). In TJ1NTK3KJW/e1, lemma 14
History
- 2026-10-27: add by m2/v0.3.5
JPFQZXR6KP JPFQZXR6KP
| URI | m2://inv/JPFQZXR6KP |
|---|---|
| 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-92 (exercise). In E9HS8K3A52, exercise, section 4.6.1
History
- 2026-11-01: add by m2/v0.6.13
Properties JPFR4CGS5Q
| URI | m2://inv/JPFR4CGS5Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dual bundle#VOF4, Properties (statement)
History
- 2026-11-02: add by m2/dev
Thomas Willwacher JPFVVVZPNT
| URI | m2://inv/JPFVVVZPNT |
|---|---|
| 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#4X33, Thomas Willwacher (topic)
- wikipedia: Wikipedia List of German mathematicians#76GN, Thomas Willwacher (topic)
History
- 2026-11-02: add by m2/dev
JPG0036358 JPG0036358
| URI | m2://inv/JPG0036358 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/compactness.tex#definition-3 (definition). In RZP28ERRZV, definition, section 95.3
History
- 2026-11-01: add by m2/v0.6.13
JPG1TNBW31 JPG1TNBW31
| URI | m2://inv/JPG1TNBW31 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12054#L318 (statement). In 1A01NFHBGA/e1, corollary 3.10
History
- 2026-10-28: add by m2/v0.4.3
JPG2XNBS8K JPG2XNBS8K
| URI | m2://inv/JPG2XNBS8K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.13347#V4FI (statement). In Z6QS82DPHE/e1, theorem 2.1
History
- 2026-10-28: add by m2/v0.4.2
Time-like half-wave trace JPG83980NJ
| URI | m2://inv/JPG83980NJ |
|---|---|
| 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.24481#YJNX, Time-like half-wave trace (statement)
History
- 2026-11-01: add by m2/v0.6.15
JPG88Z7Y9F JPG88Z7Y9F
| URI | m2://inv/JPG88Z7Y9F |
|---|---|
| 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.20488#J4UQ (statement)
History
- 2026-11-02: add by m2/v0.6.18
JPH01PPZ7G JPH01PPZ7G
| URI | m2://inv/JPH01PPZ7G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30279#GC7S (statement). In DPWKG7FD0H/e1, theorem 3.6
History
- 2026-10-31: add by m2/v0.5.6
a latent KL modulus to one-step prediction JPH6K2FKMS
| URI | m2://inv/JPH6K2FKMS |
|---|---|
| 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.05333#MT4U, a latent KL modulus to one-step prediction (statement). In N37WKFTR7Q/e1, lemma H.3
History
- 2026-10-29: add by m2/v0.4.10
JPHJN35VGW JPHJN35VGW
| URI | m2://inv/JPHJN35VGW |
|---|---|
| Kind | definition |
| 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.33018#NSG1 (definition). In 8XVS0QJ2AH/e1, definition 19
History
- 2026-10-31: add by m2/v0.5.6
Spinach JPHSQY629W
| URI | m2://inv/JPHSQY629W |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of common misconceptions about science, technology, and mathematics#3NP8, Spinach (unknown)
History
- 2026-11-02: add by m2/dev
Definition 4 JPHTA1VA82
| URI | m2://inv/JPHTA1VA82 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nuclear space#SC0K, Definition 4 (definition)
History
- 2026-11-02: add by m2/dev
Cauchy space JPHTRTW3QJ
| URI | m2://inv/JPHTRTW3QJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Augustin-Louis Cauchy#M5VY, Cauchy space (definition)
History
- 2026-11-02: add by m2/dev
Whitney's embedding theorem JPJ1TWSEST
| URI | m2://inv/JPJ1TWSEST |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Calculus on Euclidean space#YBAX, Whitney's embedding theorem (statement)
History
- 2026-11-02: add by m2/dev
JPJ26B7ZEY JPJ26B7ZEY
| URI | m2://inv/JPJ26B7ZEY |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19357#51I3 (example). In RGXQ50RWXV/e1, example 1.2
History
- 2026-10-28: add by m2/v0.4.2
Pessimism of Deterministic Bounds JPJ3VWM2QG
| URI | m2://inv/JPJ3VWM2QG |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09998#09MU, Pessimism of Deterministic Bounds (example). In AFMB05H7A6/e1, example 4
History
- 2026-10-29: add by m2/v0.4.10
Statgraphics JPJ87KK824
| URI | m2://inv/JPJ87KK824 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Statgraphics, Statgraphics (definition). Also Wikidata Q3497316
History
- 2026-11-02: add by m2/dev
Checking whether a coin is fair JPJ8DVTGSB
| URI | m2://inv/JPJ8DVTGSB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#EO6M, Checking whether a coin is fair (definition)
History
- 2026-11-02: add by m2/dev
Caristi fixed-point theorem JPJAYEM6A8
| URI | m2://inv/JPJAYEM6A8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 54-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q2287393, Caristi fixed-point theorem (statement). Also Wikidata Q2287393
- thousand_plus: thousand_plus Q2287393, Caristi fixed-point theorem (statement). Also Wikidata Q2287393, Wikipedia Caristi fixed-point theorem
- wikipedia: Wikipedia Caristi fixed-point theorem, Caristi fixed-point theorem (statement). Also Wikidata Q2287393
History
- 2026-10-26: add by m2/dev
JPJCZJY9FZ JPJCZJY9FZ
| URI | m2://inv/JPJCZJY9FZ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/set-theory/cardinal.tex#ques-3 (exercise). In RZP28ERRZV, ques, section 89.4
History
- 2026-11-01: add by m2/v0.6.13
David Rothman JPJHD44F2P
| URI | m2://inv/JPJHD44F2P |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia David Rothman (statistician), David Rothman (topic). Also Wikidata Q14948818
History
- 2026-11-02: add by m2/dev
Nussbaum , Corollary 1.2 JPJKWKJFK6
| URI | m2://inv/JPJKWKJFK6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2410.10337#46LK, Nussbaum , Corollary 1.2 (statement). In RBBF0XNZ5E/e1, theorem 19
History
- 2026-10-27: add by m2/v0.3.5
JPJMJ9C17Q JPJMJ9C17Q
| URI | m2://inv/JPJMJ9C17Q |
|---|---|
| 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 2111.07717#R7VA (statement). In AXFXGWG7ZG/e1, lemma 2.2
History
- 2026-10-27: add by m2/v0.4.0
Applications JPJT7KCFKQ
| URI | m2://inv/JPJT7KCFKQ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Randomization#DQG2, Applications (example)
History
- 2026-11-02: add by m2/dev
Mathematics education in the United States JPJXKWKB1C
| URI | m2://inv/JPJXKWKB1C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathematics education in the United States, Mathematics education in the United States (definition). Also Wikidata Q6786903
History
- 2026-11-02: add by m2/dev
JPK0BHKTCY JPK0BHKTCY
| URI | m2://inv/JPK0BHKTCY |
|---|---|
| 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.26922#LBA6 (statement)
History
- 2026-11-01: add by m2/v0.6.15
The Ledrappier Young formula JPK1FE4GV2
| URI | m2://inv/JPK1FE4GV2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pesin Entropy Formula#YRPH, The Ledrappier Young formula (statement)
History
- 2026-11-02: add by m2/dev
halved cube graph JPK1J5J4AP
| URI | m2://inv/JPK1J5J4AP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q13077214, halved cube graph (unknown). Also MathWorld HalvedCubeGraph
- wikipedia: Wikipedia Halved cube graph, Halved cube graph (definition). Also Wikidata Q13077214
History
- 2026-10-26: add by m2/dev
JPK3N7XMW1 JPK3N7XMW1
| URI | m2://inv/JPK3N7XMW1 |
|---|---|
| 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.23424#2CND (statement)
History
- 2026-11-02: add by m2/v0.6.17
omega JPK5ADFK6V
| URI | m2://inv/JPK5ADFK6V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of mathematical symbols#TPN4, omega (definition)
History
- 2026-11-02: add by m2/dev
JPK5TSSSSC JPK5TSSSSC
| URI | m2://inv/JPK5TSSSSC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15770#WTDK (statement). In DXFR0BNE47/e1, lemma 2.4
History
- 2026-10-28: add by m2/v0.4.2
Mosaic plot JPK5X3H6SZ
| URI | m2://inv/JPK5X3H6SZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of graphical methods#101G, Mosaic plot (definition)
History
- 2026-11-02: add by m2/dev
Definition JPK7DXDFYT
| URI | m2://inv/JPK7DXDFYT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Intensity (measure theory)#JIZY, Definition (definition)
History
- 2026-11-02: add by m2/dev
JPK8PZB1FN JPK8PZB1FN
| URI | m2://inv/JPK8PZB1FN |
|---|---|
| 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 2407.04161#C0HT (statement). In JBZJ7NPQ4G/e1, theorem 3.4
History
- 2026-10-27: add by m2/v0.4.0
JPKCQR6J29 JPKCQR6J29
| URI | m2://inv/JPKCQR6J29 |
|---|---|
| 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.13670#23LJ (statement). In 4PGTZ19B26/e1, lemma 7.1
History
- 2026-10-28: add by m2/v0.4.2
Slerp JPKRMBWFYD
| URI | m2://inv/JPKRMBWFYD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#BWCG, Slerp (unknown)
History
- 2026-11-02: add by m2/dev
Charles E. Hall JPKVBBCYZD
| URI | m2://inv/JPKVBBCYZD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Charles E. Hall, Charles E. Hall (topic). Also Wikidata Q133283759
History
- 2026-11-02: add by m2/dev
Balance equation JPKX1EJA4T
| URI | m2://inv/JPKX1EJA4T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#674L, Balance equation (definition)
History
- 2026-11-02: add by m2/dev
Theorem on power-law equivalent moments in electrostatics JPKXFAJNY2
| URI | m2://inv/JPKXFAJNY2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Harmonic tensors#2YQV, Theorem on power-law equivalent moments in electrostatics (statement)
History
- 2026-11-02: add by m2/dev
Spatial analysis JPM0WK1JFY
| URI | m2://inv/JPM0WK1JFY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#VOFE, Spatial analysis (definition)
History
- 2026-11-02: add by m2/dev
JPM37KVF3C JPM37KVF3C
| URI | m2://inv/JPM37KVF3C |
|---|---|
| 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.21445#8T4E (statement). In 6XM9AETJT7/e1, proposition 4.1
History
- 2026-10-27: add by m2/v0.4.2
Exclusion and certificate generation JPM4C579NS
| URI | m2://inv/JPM4C579NS |
|---|---|
| Kind | definition |
| 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.39347#2E10, Exclusion and certificate generation (definition). In KBBA2FKDBH/e1, definition A.1
History
- 2026-10-30: add by m2/v0.4.12
Metalog distribution JPM6B3BF96
| URI | m2://inv/JPM6B3BF96 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability distributions#DHGI, Metalog distribution (definition)
History
- 2026-11-02: add by m2/dev
Direct placement of the prescribed factor coefficients JPMKA2HSPA
| URI | m2://inv/JPMKA2HSPA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 26-XX, 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26066#VW4Z, Direct placement of the prescribed factor coefficients (statement)
History
- 2026-11-01: add by m2/v0.6.15
Classical Dold--Kan correspondence JPMMK1KHNX
| URI | m2://inv/JPMMK1KHNX |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX, 55-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03865#YX5Q, Classical Dold--Kan correspondence (definition). In G3D1YR20BJ/e1, definition A.31
History
- 2026-10-29: add by m2/v0.4.12
Galactic longitude JPMYPSP97M
| URI | m2://inv/JPMYPSP97M |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Galactic coordinate system#1Q1H, Galactic longitude (unknown)
History
- 2026-11-02: add by m2/dev
William Ernest Johnson JPN1TKSNDF
| URI | m2://inv/JPN1TKSNDF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia William Ernest Johnson, William Ernest Johnson (topic). Also Wikidata Q2578676
History
- 2026-11-02: add by m2/dev
Nicolas Bouleau JPN39RH4Y9
| URI | m2://inv/JPN39RH4Y9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nicolas Bouleau, Nicolas Bouleau (topic). Also Wikidata Q20971359
History
- 2026-11-02: add by m2/dev
Beckner's sharp Hausdorff-Young inequality JPN6BM4EFP
| URI | m2://inv/JPN6BM4EFP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hausdorff–Young inequality#R6I6, Beckner's sharp Hausdorff-Young inequality (statement)
History
- 2026-11-02: add by m2/dev
JPN6MAP183 JPN6MAP183
| URI | m2://inv/JPN6MAP183 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03756#0A7Y (statement). In 2381M4GBTT/e1, lemma 4.1
History
- 2026-10-29: add by m2/v0.4.12
JPN6Y5GRZT JPN6Y5GRZT
| URI | m2://inv/JPN6Y5GRZT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1408.1555#0F6V (statement). In S1F2QW24YW/e1, lemma 5.9
History
- 2026-10-27: add by m2/v0.3.5
JPNAZGS8F8 JPNAZGS8F8
| URI | m2://inv/JPNAZGS8F8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35213#ZYOE (statement). In T5KCTZ3H08/e1, theorem 2
History
- 2026-10-30: add by m2/v0.4.12
Bornology JPNEBMVXWN
| URI | m2://inv/JPNEBMVXWN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bornology, Bornology (definition). Also Wikidata Q96373820
History
- 2026-11-02: add by m2/dev
JPNFQRSSC0 JPNFQRSSC0
| URI | m2://inv/JPNFQRSSC0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33856#RNJS (statement). In 47WN78VDDF/e1, proposition 3.32
History
- 2026-10-30: add by m2/v0.4.12
JPNKZ88BG4 JPNKZ88BG4
| URI | m2://inv/JPNKZ88BG4 |
|---|---|
| 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.25823#KPN6 (statement)
History
- 2026-11-01: add by m2/v0.6.15
JPNNYYZ5H3 JPNNYYZ5H3
| URI | m2://inv/JPNNYYZ5H3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19533#S9ST (statement). In RG4Z9C6ANS/e1, lemma 3.6
History
- 2026-10-28: add by m2/v0.4.2
JPNSES265R JPNSES265R
| URI | m2://inv/JPNSES265R |
|---|---|
| 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.05032#KPUI (statement). In DDNK8D4359/e1, theorem 1.1
History
- 2026-10-29: add by m2/v0.4.12
Joachim Engel JPNVXFZ6XN
| URI | m2://inv/JPNVXFZ6XN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#D68P, Joachim Engel (unknown)
History
- 2026-11-02: add by m2/dev
Lorentz covariance JPP4D1P6F8
| URI | m2://inv/JPP4D1P6F8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1093427, Lorentz covariance (unknown). Also EoM Relativistic_invariance
History
- 2026-10-26: add by m2/dev
JPP7NN6RST JPP7NN6RST
| URI | m2://inv/JPP7NN6RST |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2207.12181#WALE (statement). In FSD8NE3XSR/e1, lemma 7.12
History
- 2026-10-27: add by m2/v0.4.0
History of Lorentz transformations JPPCPQE0YF
| URI | m2://inv/JPPCPQE0YF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia History of Lorentz transformations, History of Lorentz transformations (definition). Also Wikidata Q176851
History
- 2026-11-02: add by m2/dev
Peter Simons JPPDW7DFVB
| URI | m2://inv/JPPDW7DFVB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Peter Simons (academic), Peter Simons (topic). Also Wikidata Q2492967
History
- 2026-11-02: add by m2/dev
JPPJFKAPN0 JPPJFKAPN0
| URI | m2://inv/JPPJFKAPN0 |
|---|---|
| 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.23671#VD7F (statement)
History
- 2026-11-02: add by m2/v0.6.17
Mores, Edward Rowe JPPNN70MJR
| URI | m2://inv/JPPNN70MJR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#A1O7, Mores, Edward Rowe (unknown)
History
- 2026-11-02: add by m2/dev
Average root-traversal complexity JPPS8ZNT19
| URI | m2://inv/JPPS8ZNT19 |
|---|---|
| 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.00614#SCFT, Average root-traversal complexity (statement). In NC5Z77F6H4/e1, corollary 4.2
History
- 2026-10-30: add by m2/v0.4.12
Moise's Theorem JPPTAT7997
| URI | m2://inv/JPPTAT7997 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of geometric topology topics#3XFD, Moise's Theorem (statement)
History
- 2026-11-02: add by m2/dev
The band theorem at every exponential rate JPPW9RYMW8
| URI | m2://inv/JPPW9RYMW8 |
|---|---|
| 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#X79S, The band theorem at every exponential rate (statement). In NKXTXH59P1/e1, lemma 2.5
History
- 2026-10-29: add by m2/v0.4.10
Cram\'er's theorem JPQ1R4WFT3
| URI | m2://inv/JPQ1R4WFT3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27766#8HUX, Cram\'er's theorem (statement)
History
- 2026-11-01: add by m2/v0.6.15
Robinson–Ursescu theorem JPQ4V61ZCW
| URI | m2://inv/JPQ4V61ZCW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ursescu theorem#7E19, Robinson–Ursescu theorem (statement)
History
- 2026-11-02: add by m2/dev
JPQ5EMM23G JPQ5EMM23G
| URI | m2://inv/JPQ5EMM23G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 65-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24448#GW3W (statement)
History
- 2026-11-01: add by m2/v0.6.15
JPQ6HAN7EN JPQ6HAN7EN
| URI | m2://inv/JPQ6HAN7EN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36622#AJD3 (statement). In 9704QPRPR6/e1, corollary 1.7
History
- 2026-10-30: add by m2/v0.4.12
Generalization JPQ9CGA28Z
| URI | m2://inv/JPQ9CGA28Z |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jabotinsky matrix#88JD, Generalization (statement)
History
- 2026-11-02: add by m2/dev
Rotational symmetry and cyclic products JPQH6CNHHE
| URI | m2://inv/JPQH6CNHHE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 26-XX, 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26066#7WBB, Rotational symmetry and cyclic products (statement)
History
- 2026-11-01: add by m2/v0.6.15
JPQK8QQCNP JPQK8QQCNP
| URI | m2://inv/JPQK8QQCNP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17875#2LKW (statement). In AQX7DGD360/e1, lemma 6.8
History
- 2026-10-28: add by m2/v0.4.2
One-dimensional Sinkhorn-DRO dual JPQT0FPRPV
| URI | m2://inv/JPQT0FPRPV |
|---|---|
| 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.31470#ITQD, One-dimensional Sinkhorn-DRO dual (statement). In 4RS2WKVB7F/e1, lemma 2.3
History
- 2026-10-31: add by m2/v0.5.6
JPQX9S3G0R JPQX9S3G0R
| URI | m2://inv/JPQX9S3G0R |
|---|---|
| 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 2602.07485#A5JE (definition). In 8KAC1E81JQ/e1, definition 6
History
- 2026-10-27: add by m2/v0.3.5
quantum dilogarithm JPR1688BKX
| URI | m2://inv/JPR1688BKX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Quantum dilogarithm 6HMT17DVX7 |
Mentions
- wikidata: Wikidata Q7269036, quantum dilogarithm (unknown). Also nLab quantum dilogarithm
- wikipedia: Wikipedia Quantum dilogarithm, Quantum dilogarithm (definition). Also Wikidata Q7269036
History
- 2026-10-26: add by m2/dev
Davydov reduction JPR8YQMSKF
| URI | m2://inv/JPR8YQMSKF |
|---|---|
| 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.06372#E2J0, Davydov reduction (statement). In G3E1P350Z6/e1, proposition 7.1
History
- 2026-10-29: add by m2/v0.4.10
Open Mapping Theorem JPRB61JKH1
| URI | m2://inv/JPRB61JKH1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Webbed space#QENU, Open Mapping Theorem (statement)
History
- 2026-11-02: add by m2/dev
Non-boring requires a vertical tangent JPRCJTRQHY
| URI | m2://inv/JPRCJTRQHY |
|---|---|
| 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 2609.26129#IGPH, Non-boring requires a vertical tangent (statement)
History
- 2026-11-01: add by m2/v0.6.15
Examples JPRCVPPX81
| URI | m2://inv/JPRCVPPX81 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Anna Karenina principle#QF2S, Examples (example)
History
- 2026-11-02: add by m2/dev
Jim Simons JPRD2112ZZ
| URI | m2://inv/JPRD2112ZZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#GNMH, Jim Simons (topic)
History
- 2026-11-02: add by m2/dev
JPRHJN5JRW JPRHJN5JRW
| URI | m2://inv/JPRHJN5JRW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2406.19866#4780 (statement). In 9F94CEQ1ZM/e1, proposition 4.6
History
- 2026-10-27: add by m2/v0.3.5
Casel, Fernau, Ghadikolaei, Monnot, Sikora JPRNFFDSKR
| URI | m2://inv/JPRNFFDSKR |
|---|---|
| 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.19093#W2C0, Casel, Fernau, Ghadikolaei, Monnot, Sikora (statement). In S2K79KESZ4/e1, theorem 6.1
History
- 2026-10-28: add by m2/v0.4.2
JPRZRGAKGC JPRZRGAKGC
| URI | m2://inv/JPRZRGAKGC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19954#MTC8 (statement). In AXPPYWYJZ5/e1, proposition 3.4
History
- 2026-10-28: add by m2/v0.4.2
JPS5RWEWQS JPS5RWEWQS
| URI | m2://inv/JPS5RWEWQS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18219#2NEQ (statement). In X1AGBB90EH/e1, lemma 7.3
History
- 2026-10-28: add by m2/v0.4.2
Defect-free quotient rule JPS9MCJ9Y9
| URI | m2://inv/JPS9MCJ9Y9 |
|---|---|
| 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.20593#PNFF, Defect-free quotient rule (statement). In 7GMD8J4200/e1, corollary 18
History
- 2026-10-27: add by m2/v0.4.2
One Tree, New South Wales JPSMV42Z1Y
| URI | m2://inv/JPSMV42Z1Y |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#N9O2, One Tree, New South Wales (unknown)
History
- 2026-11-02: add by m2/dev
Examples JPSPSWMEB0
| URI | m2://inv/JPSPSWMEB0 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Skin effect#1ZI9, Examples (example)
History
- 2026-11-02: add by m2/dev
Gauss JPSQAG0CK4
| URI | m2://inv/JPSQAG0CK4 |
|---|---|
| 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.01731#XB2V, Gauss (statement). In 3TJ2FWXQ0D/e1, fact 2.14
History
- 2026-10-29: add by m2/v0.4.12
Dirichlet-multinomial distribution JPSWW38ZM2
| URI | m2://inv/JPSWW38ZM2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dirichlet-multinomial distribution, Dirichlet-multinomial distribution (definition). Also Wikidata Q4704939
History
- 2026-11-02: add by m2/dev
Moment expansion for $k$-NN power functionals JPSZ8EFWRA
| URI | m2://inv/JPSZ8EFWRA |
|---|---|
| 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.06873#7WHN, Moment expansion for $k$-NN power functionals (statement). In R8NHQ41GMX/e1, lemma 5.1
History
- 2026-10-29: add by m2/v0.4.10
JPTBJ7XHK6 JPTBJ7XHK6
| URI | m2://inv/JPTBJ7XHK6 |
|---|---|
| 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 2610.17571#Z6KD (statement). In SWFN2HCEE7/e1, lemma 2.3
History
- 2026-10-28: add by m2/v0.4.2
Egyptian numeral JPTC1X6V1W
| URI | m2://inv/JPTC1X6V1W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q254040, Egyptian numeral (definition). Also ProofWiki Definition:Egyptian_Numerals
- wikipedia: Wikipedia Egyptian numerals, Egyptian numerals (definition). Also Wikidata Q254040
History
- 2026-10-26: add by m2/dev
JPTF2J4VTK JPTF2J4VTK
| URI | m2://inv/JPTF2J4VTK |
|---|---|
| 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.39260#8RYA (statement). In ZNDB1AZZSA/e1, theorem 2.6
History
- 2026-10-30: add by m2/v0.4.12
Statement JPTN9CW1QM
| URI | m2://inv/JPTN9CW1QM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Brunn–Minkowski theorem#RL76, Statement (statement)
History
- 2026-11-02: add by m2/dev
umbral moonshine JPTP2EA3XP
| URI | m2://inv/JPTP2EA3XP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7881385, umbral moonshine (unknown). Also nLab umbral moonshine
- wikipedia: Wikipedia Umbral moonshine, Umbral moonshine (definition). Also Wikidata Q7881385
History
- 2026-10-26: add by m2/dev
JPTV12BQDA JPTV12BQDA
| URI | m2://inv/JPTV12BQDA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03517#77QA (statement). In 3CGS9GSKTQ/e1, theorem 1.5
History
- 2026-10-29: add by m2/v0.4.12
Discrete Fourier transform (general) JPTWDRYH0M
| URI | m2://inv/JPTWDRYH0M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Fourier-related transforms#KNFT, Discrete Fourier transform (general) (definition)
History
- 2026-11-02: add by m2/dev
Boltzmann--Gibbs principle JPTWNQQ4JT
| URI | m2://inv/JPTWNQQ4JT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37897#6N0S, Boltzmann--Gibbs principle (statement). In RBQ5FNCVNZ/e1, theorem 9.1
History
- 2026-10-30: add by m2/v0.4.12
JPV5HZ56DX JPV5HZ56DX
| URI | m2://inv/JPV5HZ56DX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38243#M1DY (statement). In R03K2N7FRF/e1, lemma C.7
History
- 2026-10-30: add by m2/v0.4.12
P-adic integer JPV8N0H3HJ
| URI | m2://inv/JPV8N0H3HJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia P-adic number#4ZII, P-adic integer (unknown)
History
- 2026-11-02: add by m2/dev
Fixed-length code JPVGR0YC12
| URI | m2://inv/JPVGR0YC12 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Prefix code#FXFB, Fixed-length code (unknown)
History
- 2026-11-02: add by m2/dev
JPVRGCX8RN JPVRGCX8RN
| URI | m2://inv/JPVRGCX8RN |
|---|---|
| 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 2511.17751#Y69P (statement). In J39X0NB31S/e1, proposition 6.3
History
- 2026-10-27: add by m2/v0.3.5
Predictive informatics JPVT9Q8CXM
| URI | m2://inv/JPVT9Q8CXM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#LXJI, Predictive informatics (definition)
History
- 2026-11-02: add by m2/dev
Chernoff's inequality JPW1RXH1C1
| URI | m2://inv/JPW1RXH1C1 |
|---|---|
| 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 1011.5443#J4SC, Chernoff's inequality (statement). In VQ0K2GV62A/e1, theorem 2.17
History
- 2026-10-27: add by m2/v0.3.5
Limiting spectral distribution JPW6QCNVCD
| URI | m2://inv/JPW6QCNVCD |
|---|---|
| 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.14616#TVP0, Limiting spectral distribution (statement). In 17ACAG0N9C/e1, theorem 2.16
History
- 2026-10-28: add by m2/v0.4.2
Schwartz–Zippel lemma JPWD4CHG5E
| URI | m2://inv/JPWD4CHG5E |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of lemmas#5JNE, Schwartz–Zippel lemma (statement)
- wikipedia: Wikipedia List of lemmas#CQ70, Schwartz–Zippel lemma (statement)
History
- 2026-11-02: add by m2/dev
JPWTPJ6SGD JPWTPJ6SGD
| URI | m2://inv/JPWTPJ6SGD |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26133#AG2U (problem)
History
- 2026-11-01: add by m2/v0.6.15
normal JPX07WVHJK
| URI | m2://inv/JPX07WVHJK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic geometry#E28I, normal (definition)
History
- 2026-11-02: add by m2/dev
cryptographic hash function JPX35WKZYY
| URI | m2://inv/JPX35WKZYY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q477202, cryptographic hash function (unknown). Also MathWorld CryptographicHashFunction
- wikipedia: Wikipedia Cryptographic hash function, Cryptographic hash function (definition). Also Wikidata Q477202
History
- 2026-10-26: add by m2/dev
Gottfried Wilhelm Leibniz Bibliothek JPX6K1CTZB
| URI | m2://inv/JPX6K1CTZB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Gottfried Leibniz#RTG3, Gottfried Wilhelm Leibniz Bibliothek (unknown)
History
- 2026-11-02: add by m2/dev
Singer JPX7VGRYP0
| URI | m2://inv/JPX7VGRYP0 |
|---|---|
| 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.02392#1GWJ, Singer (statement). In W066HQZQBF/e1, theorem 1
History
- 2026-10-29: add by m2/v0.4.12
JPX84X4ZP9 JPX84X4ZP9
| URI | m2://inv/JPX84X4ZP9 |
|---|---|
| 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.39659#IY4F (statement). In BGVX27ZP22/e1, proposition 3.2
History
- 2026-10-30: add by m2/v0.4.12
JPXAQ10KRC JPXAQ10KRC
| URI | m2://inv/JPXAQ10KRC |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#proof-67 (proof). In VNMV985MXX, proof, section 5.2
History
- 2026-11-01: add by m2/v0.6.13
JPXB086ANP JPXB086ANP
| URI | m2://inv/JPXB086ANP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01924#9BTW (statement). In CB89152EQW/e1, lemma 5
History
- 2026-10-29: add by m2/v0.4.12
Definition JPXDCV8SD7
| URI | m2://inv/JPXDCV8SD7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bijective numeration#8JQT, Definition (definition)
History
- 2026-11-02: add by m2/dev
Shape holomorphy of the double layer BIO JPXF6DQGE7
| URI | m2://inv/JPXF6DQGE7 |
|---|---|
| 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#J9MJ, Shape holomorphy of the double layer BIO (statement). In GN3ZT9DAD9/e1, proposition 3.2
History
- 2026-10-28: add by m2/v0.4.2
Anti-)causal functions, $c$-steepness JPXFPT439Q
| URI | m2://inv/JPXFPT439Q |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10051#49IU, Anti-)causal functions, $c$-steepness (definition). In VCHH2AC34R/e1, definition 2.12
History
- 2026-10-29: add by m2/v0.4.10
JPXK6JXDYM JPXK6JXDYM
| URI | m2://inv/JPXK6JXDYM |
|---|---|
| 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 2610.11965#H6ZR (statement). In 48QX0QD0XR/e1, proposition 8.1
History
- 2026-10-28: add by m2/v0.4.3
Non-asymptotic tail bound JPXNQ6E63R
| URI | m2://inv/JPXNQ6E63R |
|---|---|
| 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 2605.14343#DZ8X, Non-asymptotic tail bound (statement). In SP58NHA6N4/e1, theorem 2
History
- 2026-10-27: add by m2/v0.3.5
JPXWMDND6M JPXWMDND6M
| URI | m2://inv/JPXWMDND6M |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 49-XX, 65-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17261#L41F (problem). In XEZ1VBVC1G/e1, problem 1
History
- 2026-10-28: add by m2/v0.4.2
Wolfgang Krull JPY0B7PAMB
| URI | m2://inv/JPY0B7PAMB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wolfgang Krull, Wolfgang Krull (topic). Also Wikidata Q65185
History
- 2026-11-02: add by m2/dev
JPY38NR0P2 JPY38NR0P2
| URI | m2://inv/JPY38NR0P2 |
|---|---|
| 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.25896#9QXY (statement)
History
- 2026-11-01: add by m2/v0.6.15
JPYJRC5Q4G JPYJRC5Q4G
| URI | m2://inv/JPYJRC5Q4G |
|---|---|
| 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.14154#IVDP (statement). In 8X6PXX2TRA/e1, proposition 6.9
History
- 2026-10-28: add by m2/v0.4.2
Second-class part and null-direction constraints JPYKJQVFHG
| URI | m2://inv/JPYKJQVFHG |
|---|---|
| Kind | definition |
| 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#BAEV, Second-class part and null-direction constraints (definition)
History
- 2026-11-01: add by m2/v0.6.15
Optimization of the normalized overlap JPYXG4KZJV
| URI | m2://inv/JPYXG4KZJV |
|---|---|
| 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 2610.06810#3LNC, Optimization of the normalized overlap (statement). In 1NY2SA03XF/e1, theorem 4.14
History
- 2026-10-29: add by m2/v0.4.10
JPYYDWCRJZ JPYYDWCRJZ
| URI | m2://inv/JPYYDWCRJZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/incompleteness/representability-in-q/c-representable.tex#lem-3 (statement). In PKGMM3P5QY, lem, section 29.5
History
- 2026-11-01: add by m2/v0.6.13
JPZ70G2N3G JPZ70G2N3G
| URI | m2://inv/JPZ70G2N3G |
|---|---|
| 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 0906.4245#YK1W (statement). In GPVBE4SEVF/e1, theorem 1.1
History
- 2026-10-27: add by m2/v0.3.5
Steve Horvath JPZBHKH6C4
| URI | m2://inv/JPZBHKH6C4 |
|---|---|
| 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#IYOH, Steve Horvath (unknown)
History
- 2026-11-02: add by m2/dev
Proposition 7 JPZH0MKWE2
| URI | m2://inv/JPZH0MKWE2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tractatus Logico-Philosophicus#8BXA, Proposition 7 (statement)
History
- 2026-11-02: add by m2/dev
JPZJGRR224 JPZJGRR224
| URI | m2://inv/JPZJGRR224 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book setmath.tex#proof-29 (proof). In N54F33XE07, proof, section C.3
History
- 2026-11-01: add by m2/v0.6.13
JPZKXQBW63 JPZKXQBW63
| URI | m2://inv/JPZKXQBW63 |
|---|---|
| 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 1002.0879#FN9Q (statement). In M0SQY5EZN5/e1, lemma 2.7.10
History
- 2026-10-27: add by m2/v0.3.5
Lilliefors, Hubert JPZX19PBRN
| URI | m2://inv/JPZX19PBRN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#WO87, Lilliefors, Hubert (topic)
History
- 2026-11-02: add by m2/dev