Inventory rows EA
The cards of the rows of the inventory whose ids start with EA. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
EA020E94S1 EA020E94S1
| URI | m2://inv/EA020E94S1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 17-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21860#G3T3 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Crossing number inequality EA03WT01AF
| URI | m2://inv/EA03WT01AF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Crossing number inequality, Crossing number inequality (statement). Also Wikidata Q24896206
History
- 2026-11-02: add by m2/dev
Properties EA0711G9J1
| URI | m2://inv/EA0711G9J1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bour's minimal surface#86IW, Properties (statement)
History
- 2026-11-02: add by m2/dev
Corank-one classification at strength four EA0A89QZAN
| URI | m2://inv/EA0A89QZAN |
|---|---|
| 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 2609.31689#GO6T, Corank-one classification at strength four (statement). In Z7M2JSF6HA/e1, theorem 5.1
History
- 2026-10-31: add by m2/v0.5.6
Generalized extreme value distribution EA0D0RGMQH
| URI | m2://inv/EA0D0RGMQH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#V40B, Generalized extreme value distribution (definition)
History
- 2026-11-02: add by m2/dev
EA0QYDJVA5 EA0QYDJVA5
| URI | m2://inv/EA0QYDJVA5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 57-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 1001.0174#PM7T (statement). In 4P97F3GPJC/e1, theorem 1.3
History
- 2026-10-27: add by m2/v0.3.5
Generalizations EA0YEDGV6B
| URI | m2://inv/EA0YEDGV6B |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Poincaré–Hopf theorem#0QT8, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Arthur Wieferich EA11F77KR0
| URI | m2://inv/EA11F77KR0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#W45I, Arthur Wieferich (unknown)
History
- 2026-11-02: add by m2/dev
EA18X5CJ06 EA18X5CJ06
| URI | m2://inv/EA18X5CJ06 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.39593#2ITZ (statement). In BF0RYHPMS1/e1, theorem
History
- 2026-10-30: add by m2/v0.4.12
EA1AR4PVWR EA1AR4PVWR
| URI | m2://inv/EA1AR4PVWR |
|---|---|
| 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.03303#9PYP (statement). In VS9KKQWEMX/e1, lemma
History
- 2026-10-29: add by m2/v0.4.12
Maxwell–Bloch equations EA1BTZ69H1
| URI | m2://inv/EA1BTZ69H1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Maxwell–Bloch equations, Maxwell–Bloch equations (definition). Also Wikidata Q3090749
History
- 2026-11-02: add by m2/dev
Wieferich prime EA1CPGDYDX
| URI | m2://inv/EA1CPGDYDX |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#2UTK, Wieferich prime (conjecture)
History
- 2026-11-02: add by m2/dev
EA1DGZ9XV5 EA1DGZ9XV5
| URI | m2://inv/EA1DGZ9XV5 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2508.17135#1G8L (definition). In 74MXJ2RX4B/e1, definition 4.3
History
- 2026-10-27: add by m2/v0.3.5
Stochastic Burgers equation EA1RQDG56J
| URI | m2://inv/EA1RQDG56J |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Burgers' equation#AX3I, Stochastic Burgers equation (unknown)
History
- 2026-11-02: add by m2/dev
Examples EA1SZ9F9VS
| URI | m2://inv/EA1SZ9F9VS |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quasiprobability distribution#1PS5, Examples (example)
History
- 2026-11-02: add by m2/dev
EA1V23837N EA1V23837N
| URI | m2://inv/EA1V23837N |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-248 (exercise). In VNMV985MXX, exercise, section 4.6
History
- 2026-11-01: add by m2/v0.6.13
Eli Shamir EA2KM2XA0K
| URI | m2://inv/EA2KM2XA0K |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#E1GF, Eli Shamir (unknown)
History
- 2026-11-02: add by m2/dev
Definition EA2NSJXBYS
| URI | m2://inv/EA2NSJXBYS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Random polytope#JKEA, Definition (definition)
History
- 2026-11-02: add by m2/dev
integral transform EA2YVF2RXV
| URI | m2://inv/EA2YVF2RXV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Integral transform YCK709QB06 |
Mentions
- wikidata: Wikidata Q877802, integral transform (unknown). Also EoM Integral_transform, MathWorld IntegralTransform
- wikipedia: Wikipedia Integral transform, Integral transform (definition). Also Wikidata Q877802
History
- 2026-10-26: add by m2/dev
EA3BE546XZ EA3BE546XZ
| URI | m2://inv/EA3BE546XZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 18-XX, 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20725#IEUN (statement)
History
- 2026-11-02: add by m2/v0.6.18
Thyra Eibe EA3CZ6VYWN
| URI | m2://inv/EA3CZ6VYWN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thyra Eibe, Thyra Eibe (topic). Also Wikidata Q10697426
History
- 2026-11-02: add by m2/dev
EA3FE29X6C EA3FE29X6C
| URI | m2://inv/EA3FE29X6C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26496#VE9T (statement)
History
- 2026-11-01: add by m2/v0.6.15
Nancy Austin EA3GB9M74D
| URI | m2://inv/EA3GB9M74D |
|---|---|
| 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#96KQ, Nancy Austin (unknown)
History
- 2026-11-02: add by m2/dev
Definition EA3GCZKPM7
| URI | m2://inv/EA3GCZKPM7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Markov chains on a measurable state space#LWHZ, Definition (definition)
History
- 2026-11-02: add by m2/dev
Horospherical geodesic rough density EA3PD39XQ3
| URI | m2://inv/EA3PD39XQ3 |
|---|---|
| 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 2009.11127#PMN8, Horospherical geodesic rough density (statement). In QEFS0Y021A/e1, theorem 6.9
History
- 2026-10-27: add by m2/v0.3.5
EA40YBX8Z8 EA40YBX8Z8
| URI | m2://inv/EA40YBX8Z8 |
|---|---|
| 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#2AWX (statement)
History
- 2026-11-01: add by m2/v0.6.15
402 (number) EA40ZGEFC0
| URI | m2://inv/EA40ZGEFC0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 400 (number)#0W95, 402 (number) (unknown)
History
- 2026-11-02: add by m2/dev
Kahn–Kalai conjecture EA43RFYZXR
| URI | m2://inv/EA43RFYZXR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#DLY5, Kahn–Kalai conjecture (statement)
History
- 2026-11-02: add by m2/dev
Normal coordinates EA4951YYE7
| URI | m2://inv/EA4951YYE7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Normal coordinates, Normal coordinates (definition). Also Wikidata Q2152232
History
- 2026-11-02: add by m2/dev
EA49SR3HCF EA49SR3HCF
| URI | m2://inv/EA49SR3HCF |
|---|---|
| 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.10527#9ZOL (statement). In 9AXPPWBA9R/e1, lemma 2
History
- 2026-10-29: add by m2/v0.4.10
Julius Wilhelm Richard Dedekind EA4C8BZP4E
| URI | m2://inv/EA4C8BZP4E |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of geometers#Y6LS, Julius Wilhelm Richard Dedekind (topic)
History
- 2026-11-02: add by m2/dev
States with finite canonical second moments EA4FGQ0GX0
| URI | m2://inv/EA4FGQ0GX0 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01855#KRUW, States with finite canonical second moments (definition). In MM8P5CJR18/e1, definition 5.1
History
- 2026-10-29: add by m2/v0.4.12
EA4MT6B4CH EA4MT6B4CH
| URI | m2://inv/EA4MT6B4CH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17798#0A2H (statement). In 66H5YPQCYV/e1, lemma 3.6
History
- 2026-10-28: add by m2/v0.4.2
EA4RQDPMFZ EA4RQDPMFZ
| URI | m2://inv/EA4RQDPMFZ |
|---|---|
| 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.00914#8SVC (statement). In TQ9CKHBTWN/e1, proposition 3.8
History
- 2026-10-29: add by m2/v0.4.12
Steinerian EA4X06SYGX
| URI | m2://inv/EA4X06SYGX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of invariant theory#MJ1R, Steinerian (definition)
History
- 2026-11-02: add by m2/dev
norm EA4Y9KRW2Y
| URI | m2://inv/EA4Y9KRW2Y |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Bilinear and Quadratic Forms Over a Vector Space > Euclidean and Hermitian spaces > norm, norm (unknown). Also Mathlib InnerProductSpace.Core.toNorm
History
- 2026-10-26: add by m2/dev
EA53T0DFN4 EA53T0DFN4
| URI | m2://inv/EA53T0DFN4 |
|---|---|
| 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.31278#4HUY (statement). In KEP21CZFV9/e1, proposition #1
History
- 2026-10-31: add by m2/v0.5.6
EA57DTW02R EA57DTW02R
| URI | m2://inv/EA57DTW02R |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 03-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2105.03252#0AIB (example). In 2E47BDDDR4/e1, example 3.3
History
- 2026-10-27: add by m2/v0.3.5
EA5CASW1V6 EA5CASW1V6
| URI | m2://inv/EA5CASW1V6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26479#E5BM (statement)
History
- 2026-11-01: add by m2/v0.6.15
Hartogs's theorem EA5PES7P7K
| URI | m2://inv/EA5PES7P7K |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hartogs number#NF9O, Hartogs's theorem (statement)
History
- 2026-11-02: add by m2/dev
EA5V6E5XVX EA5V6E5XVX
| URI | m2://inv/EA5V6E5XVX |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/ring-flavors.tex#proof-1 (proof). In RZP28ERRZV, proof, section 4.4
History
- 2026-11-01: add by m2/v0.6.13
Beurling–Lax theorem EA5X726VNH
| URI | m2://inv/EA5X726VNH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#ITX5, Beurling–Lax theorem (statement)
History
- 2026-11-02: add by m2/dev
EA6046JXB8 EA6046JXB8
| URI | m2://inv/EA6046JXB8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-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 1912.02769#1FX7 (statement). In JH7VQ2EC16/e1, lemma 3.10
History
- 2026-10-27: add by m2/v0.3.5
EA619QHXKX EA619QHXKX
| URI | m2://inv/EA619QHXKX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2308.02672#BCA3 (statement). In ETRT1R1CQ8/e1, lemma 2.7
History
- 2026-10-27: add by m2/v0.4.0
EA61FDV35Y EA61FDV35Y
| URI | m2://inv/EA61FDV35Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19854#VZAN (statement). In D50WST4CG3/e1, lemma 3.7
History
- 2026-10-28: add by m2/v0.4.2
EA6G0SGMVS EA6G0SGMVS
| URI | m2://inv/EA6G0SGMVS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16332#KXI3 (statement). In JJQPFXZQ3D/e1, proposition 2.4
History
- 2026-10-28: add by m2/v0.4.2
EA6SB6KJBA EA6SB6KJBA
| URI | m2://inv/EA6SB6KJBA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14319#N0MG (statement). In N2FBBMPEXA/e1, theorem 1.3
History
- 2026-10-28: add by m2/v0.4.2
Invariance of domain EA72YYFHSD
| URI | m2://inv/EA72YYFHSD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical proofs#Q163, Invariance of domain (definition)
History
- 2026-11-02: add by m2/dev
EA74R5RFWS EA74R5RFWS
| URI | m2://inv/EA74R5RFWS |
|---|---|
| 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.28489#XERA (statement)
History
- 2026-11-01: add by m2/v0.6.15
Weighted $L^4$ estimate EA755H9TC8
| URI | m2://inv/EA755H9TC8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20643#8UWX, Weighted $L^4$ estimate (statement)
History
- 2026-11-02: add by m2/v0.6.18
William Makeham EA761RHX7Y
| URI | m2://inv/EA761RHX7Y |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia William Makeham, William Makeham (topic). Also Wikidata Q10393710
History
- 2026-11-02: add by m2/dev
Hecke operator EA790R4FR3
| URI | m2://inv/EA790R4FR3 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Hecke operator S4SV3QZ8B1 |
Mentions
- wikidata: Wikidata Q1592959, Hecke operator (concept). Also MathWorld HeckeOperator
- wikipedia: Wikipedia Hecke operator, Hecke operator (definition). Also Wikidata Q1592959
History
- 2026-10-26: add by m2/dev
EA7B2THKVP EA7B2THKVP
| URI | m2://inv/EA7B2THKVP |
|---|---|
| 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 2210.16706#B7RP (statement). In JSRVKPT87E/e1, lemma
History
- 2026-10-27: add by m2/v0.4.0
$E'^2$ moment formula EA7FXSRCVN
| URI | m2://inv/EA7FXSRCVN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34016#RRWS, $E'^2$ moment formula (statement). In 1E4AJ49FWV/e1, theorem 3.6
History
- 2026-10-30: add by m2/v0.4.12
Parent function EA7HYDT9Q4
| URI | m2://inv/EA7HYDT9Q4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Parent function, Parent function (definition). Also Wikidata Q17078119
History
- 2026-11-02: add by m2/dev
Sufficient coverage EA7JAPN95J
| URI | m2://inv/EA7JAPN95J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 60-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.38132#UJRL, Sufficient coverage (statement). In K6CP8GP51H/e1, lemma 15
History
- 2026-10-30: add by m2/v0.4.12
symmetric difference EA7MJB7FQW
| URI | m2://inv/EA7MJB7FQW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Symmetric difference 0ME21QN125 |
Mentions
- wikidata: Wikidata Q1147242, symmetric difference (definition). Also EoM Symmetric_difference_of_sets, MathWorld SymmetricDifference, ProofWiki Definition:Symmetric_Difference
- wikipedia: Wikipedia Symmetric difference, Symmetric difference (definition). Also Wikidata Q1147242
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Orientable double cover EA7RYP8TWY
| URI | m2://inv/EA7RYP8TWY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orientability#V526, Orientable double cover (unknown)
History
- 2026-11-02: add by m2/dev
EA7VXJQYDX EA7VXJQYDX
| URI | m2://inv/EA7VXJQYDX |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book basics.tex#proof-22 (proof). In N54F33XE07, proof, section 1.6
History
- 2026-11-01: add by m2/v0.6.13
DEAL EA7ZEGTN3H
| URI | m2://inv/EA7ZEGTN3H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia DEAL, DEAL (definition). Also Wikidata Q284899
History
- 2026-11-02: add by m2/dev
Examples EA80GN0D15
| URI | m2://inv/EA80GN0D15 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Picard group#P69C, Examples (example)
History
- 2026-11-02: add by m2/dev
Restricted power series EA84HD6AY3
| URI | m2://inv/EA84HD6AY3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Restricted power series, Restricted power series (definition). Also Wikidata Q96401593
History
- 2026-11-02: add by m2/dev
EA86WCF1AC EA86WCF1AC
| URI | m2://inv/EA86WCF1AC |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 20-XX, 22-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25275#QKPJ (example)
History
- 2026-11-01: add by m2/v0.6.15
EA875QY211 EA875QY211
| URI | m2://inv/EA875QY211 |
|---|---|
| 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#5ILS (statement). In BW5GVH97JE/e1, proposition 2.1
History
- 2026-10-28: add by m2/v0.4.2
EA8APB1TGB EA8APB1TGB
| URI | m2://inv/EA8APB1TGB |
|---|---|
| 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 2212.05398#ZEL0 (statement). In WQKQ8438M7/e1, lemma 1.3
History
- 2026-10-27: add by m2/v0.3.5
cofactor EA8BAYHQKC
| URI | m2://inv/EA8BAYHQKC |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs index/10.2.3/cofactor, cofactor (concept). In E9HS8K3A52, index, section 10.2.3
History
- 2026-11-01: add by m2/v0.6.13
Long line EA8CMJCJ7B
| URI | m2://inv/EA8CMJCJ7B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical examples#S8L0, Long line (definition)
- wikipedia: Wikipedia List of examples in general topology#V24G, Long line (definition)
- wikipedia: Wikipedia List of manifolds#6D5S, Long line (definition)
History
- 2026-11-02: add by m2/dev
Matrix inversion lemma EA8DY144KC
| URI | m2://inv/EA8DY144KC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of lemmas#5VEP, Matrix inversion lemma (statement)
History
- 2026-11-02: add by m2/dev
Irresistible force paradox EA8EM2DWA7
| URI | m2://inv/EA8EM2DWA7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Irresistible force paradox, Irresistible force paradox (statement). Also Wikidata Q6073779
History
- 2026-11-02: add by m2/dev
Algebraic properties EA8HR5YJBY
| URI | m2://inv/EA8HR5YJBY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hoffman graph#WS95, Algebraic properties (statement)
History
- 2026-11-02: add by m2/dev
EA8K5NGGRP EA8K5NGGRP
| URI | m2://inv/EA8K5NGGRP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05621#HHR6 (statement). In ADE39RC6C0/e1, proposition 2.2
History
- 2026-10-29: add by m2/v0.4.10
EA8N4J5DCC EA8N4J5DCC
| URI | m2://inv/EA8N4J5DCC |
|---|---|
| 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.25038#5BFS (statement)
History
- 2026-11-01: add by m2/v0.6.15
Vector algebra relations EA8RGE66DQ
| URI | m2://inv/EA8RGE66DQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vector algebra relations, Vector algebra relations (definition). Also Wikidata Q7917817
History
- 2026-11-02: add by m2/dev
Nearest-neighbor interpolation EA8SNC7KHP
| URI | m2://inv/EA8SNC7KHP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#2D5E, Nearest-neighbor interpolation (unknown)
History
- 2026-11-02: add by m2/dev
EA9EFX6PA9 EA9EFX6PA9
| URI | m2://inv/EA9EFX6PA9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38206#LC4L (statement). In F71MS1F637/e1, proposition 5.5
History
- 2026-10-30: add by m2/v0.4.12
Rodolphus Agricola EA9PHXJE3S
| URI | m2://inv/EA9PHXJE3S |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#6I3M, Rodolphus Agricola (unknown)
History
- 2026-11-02: add by m2/dev
EA9S6M5Z6T EA9S6M5Z6T
| URI | m2://inv/EA9S6M5Z6T |
|---|---|
| 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.23237#V2RS (statement)
History
- 2026-11-02: add by m2/v0.6.17
EA9SQRP42K EA9SQRP42K
| URI | m2://inv/EA9SQRP42K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15472#Z29V (statement). In 5Z3FH46YSY/e1, proposition 4.10
History
- 2026-10-28: add by m2/v0.4.2
Eckehard Schöll EA9WDX77RF
| URI | m2://inv/EA9WDX77RF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eckehard Schöll, Eckehard Schöll (topic). Also Wikidata Q22669827
History
- 2026-11-02: add by m2/dev
Results EA9XH7WAKQ
| URI | m2://inv/EA9XH7WAKQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Normal form (abstract rewriting)#C0BY, Results (statement)
History
- 2026-11-02: add by m2/dev
EAA4802RT1 EAA4802RT1
| URI | m2://inv/EAA4802RT1 |
|---|---|
| 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 2112.05010#M46H (statement). In 4SZNPS3Z00/e1, lemma 14
History
- 2026-10-27: add by m2/v0.3.6
Motzkin number EAA4RAT0HF
| URI | m2://inv/EAA4RAT0HF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Motzkin number PB0DSH9XCG |
Mentions
- wikidata: Wikidata Q2915234, Motzkin number (object). Also MathWorld MotzkinNumber, OEIS A001006
- wikipedia: Wikipedia Motzkin number, Motzkin number (definition). Also Wikidata Q2915234
History
- 2026-10-26: add by m2/dev
Laura J. Freeman EAA886ZJB1
| URI | m2://inv/EAA886ZJB1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#EXJ0, Laura J. Freeman (unknown)
History
- 2026-11-02: add by m2/dev
Tim Finin EAAERJ3063
| URI | m2://inv/EAAERJ3063 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#AJV9, Tim Finin (unknown)
History
- 2026-11-02: add by m2/dev
Direct-prefix model EAAHPDJBXG
| URI | m2://inv/EAAHPDJBXG |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38668#CXO9, Direct-prefix model (definition). In VB1EZ9K6YW/e1, definition 9.1
History
- 2026-10-30: add by m2/v0.4.12
EAASA1230H EAASA1230H
| URI | m2://inv/EAASA1230H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16399#RF00 (statement). In 2N87D4KTSY/e1, lemma 4.2
History
- 2026-10-28: add by m2/v0.4.2
Marcinkiewicz multiplier theorem EAASS9MJFR
| URI | m2://inv/EAASS9MJFR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multiplier (Fourier analysis)#4IZU, Marcinkiewicz multiplier theorem (statement)
History
- 2026-11-02: add by m2/dev
TI-84 Plus CE-T EAATT5EBRT
| URI | m2://inv/EAATT5EBRT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia TI-84 Plus CE series#9T44, TI-84 Plus CE-T (unknown)
History
- 2026-11-02: add by m2/dev
Estimates on the blocks EAAZVYACHF
| URI | m2://inv/EAAZVYACHF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18797#P3V9, Estimates on the blocks (statement). In HVZW77G66Z/e1, lemma 4.2
History
- 2026-10-28: add by m2/v0.4.2
Astronomic latitude EAB61YV023
| URI | m2://inv/EAB61YV023 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Latitude#I2CF, Astronomic latitude (unknown)
History
- 2026-11-02: add by m2/dev
ronto EAB7FKCCRQ
| URI | m2://inv/EAB7FKCCRQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q107915272, ronto (definition). Also ProofWiki Definition:Metric_System/Scaling_Prefixes/Ronto-
History
- 2026-10-26: add by m2/dev
Controversy EABF2GBRXR
| URI | m2://inv/EABF2GBRXR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Controversy, Controversy (definition). Also Wikidata Q1255828
History
- 2026-11-02: add by m2/dev
Thom EABHKRM712
| URI | m2://inv/EABHKRM712 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-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.03424#YMDV, Thom (statement). In Q6HRJP4AWA/e1, theorem 2.3
History
- 2026-10-29: add by m2/v0.4.12
EABHZ0BZ4Q EABHZ0BZ4Q
| URI | m2://inv/EABHZ0BZ4Q |
|---|---|
| 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 2609.25915#9Q8M (statement)
History
- 2026-11-01: add by m2/v0.6.15
African Mathematical Union EAC13SJAGJ
| URI | m2://inv/EAC13SJAGJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical societies#F1EC, African Mathematical Union (definition)
History
- 2026-11-02: add by m2/dev
EAC3QW7AV5 EAC3QW7AV5
| URI | m2://inv/EAC3QW7AV5 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#proof-18 (proof). In VNMV985MXX, proof, section 2.1
History
- 2026-11-01: add by m2/v0.6.13
Ludwig Wittgenstein's philosophy of mathematics EACK8AP6G1
| URI | m2://inv/EACK8AP6G1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ludwig Wittgenstein's philosophy of mathematics, Ludwig Wittgenstein's philosophy of mathematics (definition). Also Wikidata Q6699371
History
- 2026-11-02: add by m2/dev
EACMP56JGX EACMP56JGX
| URI | m2://inv/EACMP56JGX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23343#VTH0 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Examples EACRCWX41N
| URI | m2://inv/EACRCWX41N |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Prime element#YDQL, Examples (example)
History
- 2026-11-02: add by m2/dev
EACRZJHC34 EACRZJHC34
| URI | m2://inv/EACRZJHC34 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2302.05529#01NE (statement). In 9VPMHV0M4R/e1, corollary 3.11
History
- 2026-10-27: add by m2/v0.3.5
EACXPN65CT EACXPN65CT
| URI | m2://inv/EACXPN65CT |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-real-nums.tex#exercise-10 (exercise). In E59CDZA4DP, exercise, section 7.1.1
History
- 2026-11-01: add by m2/v0.6.13
Ambiguity effect EAD2ZTSCPS
| URI | m2://inv/EAD2ZTSCPS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cognitive biases#4OMP, Ambiguity effect (definition)
History
- 2026-11-02: add by m2/dev
EAD69GX28B EAD69GX28B
| URI | m2://inv/EAD69GX28B |
|---|---|
| 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.27301#HPSS (statement)
History
- 2026-11-01: add by m2/v0.6.15
EAD70WRSP6 EAD70WRSP6
| URI | m2://inv/EAD70WRSP6 |
|---|---|
| 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 2607.28337#6WBA (statement). In 7ZJFWBTBKM/e1, theorem B
History
- 2026-10-27: add by m2/v0.3.6
EAD87NEA55 EAD87NEA55
| URI | m2://inv/EAD87NEA55 |
|---|---|
| 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 2006.05158#O7DR (statement). In 4VCW6SZQXK/e1, lemma 2
History
- 2026-10-27: add by m2/v0.3.5
Deane, Charlotte EAD93F8355
| URI | m2://inv/EAD93F8355 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#AMTM, Deane, Charlotte (unknown)
History
- 2026-11-02: add by m2/dev
EADA0CT12G EADA0CT12G
| URI | m2://inv/EADA0CT12G |
|---|---|
| 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 2610.03497#1AQJ (statement). In RRNHC0CAC9/e1, lemma
History
- 2026-10-29: add by m2/v0.4.12
Simple phase balances away from simultaneous emission EADN7KRF34
| URI | m2://inv/EADN7KRF34 |
|---|---|
| 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.15686#0DND, Simple phase balances away from simultaneous emission (statement). In 4HCK722M2G/e1, lemma 5.3
History
- 2026-10-28: add by m2/v0.4.2
Unique maximum for first moment EADP4CFVSA
| URI | m2://inv/EADP4CFVSA |
|---|---|
| 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.14085#UGSX, Unique maximum for first moment (statement). In T8F19ZGHF3/e1, corollary 3.8
History
- 2026-10-28: add by m2/v0.4.2
Capacity of a doubly stochastic map EADQ8ZTXTK
| URI | m2://inv/EADQ8ZTXTK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-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.15180#NMYX, Capacity of a doubly stochastic map (statement). In AMRWRJDNKJ/e1, lemma 11.1
History
- 2026-10-28: add by m2/v0.4.2
Cohesive structure on \textbf{H EADQE6Y1J4
| URI | m2://inv/EADQE6Y1J4 |
|---|---|
| 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#37VE, Cohesive structure on \textbf{H (definition). In G3D1YR20BJ/e1, definition A.17
History
- 2026-10-29: add by m2/v0.4.12
Wright, Carroll D. EADR7RZQBP
| URI | m2://inv/EADR7RZQBP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#2EZ9, Wright, Carroll D. (unknown)
History
- 2026-11-02: add by m2/dev
EAE5ESMY1V EAE5ESMY1V
| URI | m2://inv/EAE5ESMY1V |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21668#06NA (example)
History
- 2026-11-02: add by m2/v0.6.18
Andrei Suslin EAEHHE13EV
| URI | m2://inv/EAEHHE13EV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q501707, Andrei Suslin (unknown). Also nLab Andrei Suslin
- wikipedia: Wikipedia Andrei Suslin, Andrei Suslin (topic). Also Wikidata Q501707
History
- 2026-10-26: add by m2/dev
EAEPAPRZCP EAEPAPRZCP
| URI | m2://inv/EAEPAPRZCP |
|---|---|
| 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.21476#SXU0 (statement)
History
- 2026-11-02: add by m2/v0.6.18
EAEX61X2R6 EAEX61X2R6
| URI | m2://inv/EAEX61X2R6 |
|---|---|
| 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.27301#N3DQ (statement)
History
- 2026-11-01: add by m2/v0.6.15
EAF0W3ZZ4T EAF0W3ZZ4T
| URI | m2://inv/EAF0W3ZZ4T |
|---|---|
| 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.28892#VTKJ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Rimhak Ree EAF3CVAFSG
| URI | m2://inv/EAF3CVAFSG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rimhak Ree, Rimhak Ree (topic). Also Wikidata Q5362167
History
- 2026-11-02: add by m2/dev
Example EAF6WB1RND
| URI | m2://inv/EAF6WB1RND |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Averaging argument#Z4HW, Example (example)
History
- 2026-11-02: add by m2/dev
I.8 Ex. 1(a EAFCDJFQBS
| URI | m2://inv/EAFCDJFQBS |
|---|---|
| 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.36181#7ANF, I.8 Ex. 1(a (statement). In 1KSE33PVS6/e1, proposition 16
History
- 2026-10-30: add by m2/v0.4.12
EAFH8JWDNR EAFH8JWDNR
| URI | m2://inv/EAFH8JWDNR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19088#MORM (statement). In 90QTB4CC31/e1, proposition 2.3
History
- 2026-10-28: add by m2/v0.4.2
EAFK1994YB EAFK1994YB
| URI | m2://inv/EAFK1994YB |
|---|---|
| Kind | problem |
| 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.16010#3IA3 (problem). In AQJXKF6WZP/e1, problem C
History
- 2026-10-28: add by m2/v0.4.2
Exact domination EAFS9KXGQ4
| URI | m2://inv/EAFS9KXGQ4 |
|---|---|
| Kind | definition |
| 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.27752#AJJ2, Exact domination (definition)
History
- 2026-11-01: add by m2/v0.6.15
Truthful cake-cutting EAFSYZG2WB
| URI | m2://inv/EAFSYZG2WB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Truthful cake-cutting, Truthful cake-cutting (topic). Also Wikidata Q85810869
History
- 2026-11-02: add by m2/dev
Effective gradient inequality EAFTPGX7QM
| URI | m2://inv/EAFTPGX7QM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 26-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12434#2BLU, Effective gradient inequality (statement). In YCRZC9SDCE/e1, lemma 4.5
History
- 2026-10-28: add by m2/v0.4.2
EAFZJBBDM1 EAFZJBBDM1
| URI | m2://inv/EAFZJBBDM1 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 18-XX, 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 2609.30262#09CD (definition). In FWA5QW6FCF/e1, definition 3.1
History
- 2026-10-31: add by m2/v0.5.6
Covariant Hamiltonian field theory EAG0WRY8RJ
| URI | m2://inv/EAG0WRY8RJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hamiltonian field theory#B5E6, Covariant Hamiltonian field theory (unknown)
History
- 2026-11-02: add by m2/dev
EAG4MP94HX EAG4MP94HX
| URI | m2://inv/EAG4MP94HX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-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 2609.37606#5OXA (statement). In WNFW6GY38C/e1, proposition 3.3
History
- 2026-10-30: add by m2/v0.4.12
EAG9Q9ZCN2 EAG9Q9ZCN2
| URI | m2://inv/EAG9Q9ZCN2 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/counting-conc.ptx#exercise-18 (exercise). In Y91XFCEVHQ, exercise, section 2.7
History
- 2026-11-01: add by m2/v0.6.13
List of things named after Felix Klein EAGBE4HSJD
| URI | m2://inv/EAGBE4HSJD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lists of mathematics topics#3132, List of things named after Felix Klein (topic)
History
- 2026-11-02: add by m2/dev
Mathematica: A World of Numbers... and Beyond EAGH8JMV7M
| URI | m2://inv/EAGH8JMV7M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathematica: A World of Numbers... and Beyond, Mathematica: A World of Numbers... and Beyond (definition). Also Wikidata Q6786821
History
- 2026-11-02: add by m2/dev
EAGQ105RAA EAGQ105RAA
| URI | m2://inv/EAGQ105RAA |
|---|---|
| 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.16883#46XU (statement). In TYS9N30M63/e1, lemma A.1
History
- 2026-10-28: add by m2/v0.4.2
EAGSCBJ0YV EAGSCBJ0YV
| URI | m2://inv/EAGSCBJ0YV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16580#28TR (statement). In MQPBZX4DR6/e1, lemma 4.1
History
- 2026-10-28: add by m2/v0.4.2
Failure of Fubini's theorem for non-measurable functions EAGTEGTFTT
| URI | m2://inv/EAGTEGTFTT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fubini's theorem#BPRD, Failure of Fubini's theorem for non-measurable functions (statement)
History
- 2026-11-02: add by m2/dev
EAH0PNNYPZ EAH0PNNYPZ
| URI | m2://inv/EAH0PNNYPZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 49-XX, 62-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.35574#MM1Q (statement). In 3Q70DMD7Z7/e1, theorem
History
- 2026-10-30: add by m2/v0.4.12
EAH615SN4T EAH615SN4T
| URI | m2://inv/EAH615SN4T |
|---|---|
| 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 2405.05684#DKBG (statement). In 1PR73ECTZB/e1, lemma 14
History
- 2026-10-27: add by m2/v0.3.5
EAHK5AYWQ8 EAHK5AYWQ8
| URI | m2://inv/EAHK5AYWQ8 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book reals.tex#proof-41 (proof). In N54F33XE07, proof, section B.6
History
- 2026-11-01: add by m2/v0.6.13
Complexity (number of maximal spanning trees) in an unoriented simple graph with nodes {1,2,..,n} and edges {i,j} if i+j>n. EAHQRCA3ZD
| URI | m2://inv/EAHQRCA3ZD |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q100194040, Complexity (number of maximal spanning trees) in an unoriented simple graph with nodes {1,2,..,n} and edges {i,j} if i+j>n. (object). Also OEIS A107991
History
- 2026-10-26: add by m2/dev
sqb2 EAHR8WG6CM
| URI | m2://inv/EAHR8WG6CM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of mathematical symbols#67UE, sqb2 (definition)
History
- 2026-11-02: add by m2/dev
Convergence of random terminal pairings EAHXC344HG
| URI | m2://inv/EAHXC344HG |
|---|---|
| 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.28985#1TXL, Convergence of random terminal pairings (statement)
History
- 2026-11-01: add by m2/v0.6.15
EAHYCWZ6HX EAHYCWZ6HX
| URI | m2://inv/EAHYCWZ6HX |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26509#VQLZ (definition)
History
- 2026-11-01: add by m2/v0.6.15
EAJ0ZM01QJ EAJ0ZM01QJ
| URI | m2://inv/EAJ0ZM01QJ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-metric.tex#exercise:cauchydepndsonmetric (exercise). In E59CDZA4DP, exercise, section 4.4.3
History
- 2026-11-01: add by m2/v0.6.13
EAJ88G5H3C EAJ88G5H3C
| URI | m2://inv/EAJ88G5H3C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-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 2607.00146#FCLF (statement). In 6KR7Z5ETRY/e1, lemma 2.54
History
- 2026-10-27: add by m2/v0.3.5
EAJW6VJBJX EAJW6VJBJX
| URI | m2://inv/EAJW6VJBJX |
|---|---|
| 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.03555#IADL (statement). In 9JZJTRRVR1/e1, theorem 2.12
History
- 2026-10-29: add by m2/v0.4.12
EAJY7PVAEP EAJY7PVAEP
| URI | m2://inv/EAJY7PVAEP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01888#33OD (statement). In A89G9GMPC9/e1, corollary 4.8
History
- 2026-10-29: add by m2/v0.4.12
EAK6F646EZ EAK6F646EZ
| URI | m2://inv/EAK6F646EZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07718#PW5T (statement). In CEKW9CNVVW/e1, theorem 1.2
History
- 2026-10-29: add by m2/v0.4.10
EAK6Y2A5P8 EAK6Y2A5P8
| URI | m2://inv/EAK6Y2A5P8 |
|---|---|
| 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.10233#NDBY (statement). In QR9WE79ERQ/e1, theorem 1.17
History
- 2026-10-29: add by m2/v0.4.10
EAK7H564CW EAK7H564CW
| URI | m2://inv/EAK7H564CW |
|---|---|
| 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.03336#L88B (statement). In 4ZD20W8BVF/e1, theorem 3.1
History
- 2026-10-29: add by m2/v0.4.12
Lookup table EAKBWYATTE
| URI | m2://inv/EAKBWYATTE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computability and complexity topics#OZ8G, Lookup table (unknown)
History
- 2026-11-02: add by m2/dev
Elongatedness EAKM7C4W1Z
| URI | m2://inv/EAKM7C4W1Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elongatedness, Elongatedness (definition). Also Wikidata Q5367164
History
- 2026-11-02: add by m2/dev
Fibonacci word EAKPRZ1MXW
| URI | m2://inv/EAKPRZ1MXW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q749729, Fibonacci word (object). Also MathWorld RabbitSequence, OEIS A003849
- wikipedia: Wikipedia Fibonacci word, Fibonacci word (definition). Also Wikidata Q749729
History
- 2026-10-26: add by m2/dev
First-order accuracy of the adversary EAM4XF4F1A
| URI | m2://inv/EAM4XF4F1A |
|---|---|
| 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.07162#C0YY, First-order accuracy of the adversary (statement). In MQEB9ZHQAT/e1, theorem 3.7
History
- 2026-10-29: add by m2/v0.4.10
Chasles' theorem EAM6P0KDTN
| URI | m2://inv/EAM6P0KDTN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#AOW6, Chasles' theorem (statement)
History
- 2026-11-02: add by m2/dev
Susan Loepp EAMBYFN5AP
| URI | m2://inv/EAMBYFN5AP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Susan Loepp, Susan Loepp (topic). Also Wikidata Q18719201
History
- 2026-11-02: add by m2/dev
Richard A. Brualdi EAMK23PP76
| URI | m2://inv/EAMK23PP76 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#36IZ, Richard A. Brualdi (topic)
History
- 2026-11-02: add by m2/dev
EAMQ4MC96H EAMQ4MC96H
| URI | m2://inv/EAMQ4MC96H |
|---|---|
| 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.26813#1K07 (statement)
History
- 2026-11-01: add by m2/v0.6.15
EAMW3QZT9D EAMW3QZT9D
| URI | m2://inv/EAMW3QZT9D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2103.12669#EUKO (statement). In ZA6XNBA90V/e1, lemma 1.24
History
- 2026-10-27: add by m2/v0.3.5
Definition EAMZV0R1M0
| URI | m2://inv/EAMZV0R1M0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hypertranscendental function#64L0, Definition (definition)
History
- 2026-11-02: add by m2/dev
EAN0A4AM47 EAN0A4AM47
| URI | m2://inv/EAN0A4AM47 |
|---|---|
| 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.21016#OPDK (statement)
History
- 2026-11-02: add by m2/v0.6.18
Terminology EAN4JQQV21
| URI | m2://inv/EAN4JQQV21 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Non-Euclidean geometry#2Y5T, Terminology (definition)
History
- 2026-11-02: add by m2/dev
homaloidal EANANH5TY8
| URI | m2://inv/EANANH5TY8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#VS0U, homaloidal (definition)
History
- 2026-11-02: add by m2/dev
Michitonese EAND5QRY74
| URI | m2://inv/EAND5QRY74 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Voynich manuscript#KLQ0, Michitonese (unknown)
History
- 2026-11-02: add by m2/dev
Theorem (Bulman-Fleming and McDowell 1978) EANKG91TP9
| URI | m2://inv/EANKG91TP9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Congruence lattice problem#F6IU, Theorem (Bulman-Fleming and McDowell 1978) (statement)
History
- 2026-11-02: add by m2/dev
EANQ9MESD3 EANQ9MESD3
| URI | m2://inv/EANQ9MESD3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 16-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.03601#VAXD (statement). In F7TDYCHCSE/e1, theorem 7.8
History
- 2026-10-27: add by m2/v0.3.5
EANYJYH6XA EANYJYH6XA
| URI | m2://inv/EANYJYH6XA |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21703#Q9MK (example)
History
- 2026-11-02: add by m2/v0.6.18
Laplacian expansion EAP42ETHP4
| URI | m2://inv/EAP42ETHP4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02714#3C8E, Laplacian expansion (statement). In R9AXCJWK8F/e1, lemma 11
History
- 2026-10-29: add by m2/v0.4.12
Asymptotic gain model EAPRSA7PWV
| URI | m2://inv/EAPRSA7PWV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Asymptotic gain model, Asymptotic gain model (definition). Also Wikidata Q4812184
History
- 2026-11-02: add by m2/dev
EAQ1SK92WQ EAQ1SK92WQ
| URI | m2://inv/EAQ1SK92WQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/TasteNumberTheory.tex#theorem-2 (statement). In P1C114YBXG, theorem, section J
History
- 2026-11-01: add by m2/v0.6.13
Arc (curvature) EAQ7VH5G8J
| URI | m2://inv/EAQ7VH5G8J |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Curve#YT14, Arc (curvature) (unknown)
History
- 2026-11-02: add by m2/dev
Newton fractal EAQAEY9SE0
| URI | m2://inv/EAQAEY9SE0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Newton fractal, Newton fractal (definition). Also Wikidata Q1151001
History
- 2026-11-02: add by m2/dev
inner model EAQN33VZR6
| URI | m2://inv/EAQN33VZR6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#TVZ1, inner model (definition)
History
- 2026-11-02: add by m2/dev
EAQN6CPSB2 EAQN6CPSB2
| URI | m2://inv/EAQN6CPSB2 |
|---|---|
| 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#5T3I (statement). In Z36XFKVTS0/e1, proposition 3.18
History
- 2026-10-27: add by m2/v0.3.5
Big-line-big-clique conjecture EAQPZEYHNF
| URI | m2://inv/EAQPZEYHNF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#OIZT, Big-line-big-clique conjecture (statement)
History
- 2026-11-02: add by m2/dev
EAQR18W00G EAQR18W00G
| URI | m2://inv/EAQR18W00G |
|---|---|
| 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.10576#PIAS (statement). In N3ZA5MDZBW/e1, corollary 2
History
- 2026-10-29: add by m2/v0.4.10
$C^{2,\theta}$ estimates EAQWH70ZEA
| URI | m2://inv/EAQWH70ZEA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32829#UAL6, $C^{2,\theta}$ estimates (statement). In RYWAX33Z51/e1, lemma 7.10
History
- 2026-10-31: add by m2/v0.5.6
Examples EAR6A1WWPC
| URI | m2://inv/EAR6A1WWPC |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Harshad number#L21H, Examples (example)
History
- 2026-11-02: add by m2/dev
The Binet–Cauchy identity and exterior algebra EARCFJYEAE
| URI | m2://inv/EARCFJYEAE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Binet–Cauchy identity#I28B, The Binet–Cauchy identity and exterior algebra (statement)
History
- 2026-11-02: add by m2/dev
Dawn Harper EARD0F96A1
| URI | m2://inv/EARD0F96A1 |
|---|---|
| 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#GF8A, Dawn Harper (unknown)
History
- 2026-11-02: add by m2/dev
Harry Pollard EARHP5NSCA
| URI | m2://inv/EARHP5NSCA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Harry Pollard (mathematician), Harry Pollard (topic). Also Wikidata Q5671620
History
- 2026-11-02: add by m2/dev
Applications EARHZYFQ7R
| URI | m2://inv/EARHZYFQ7R |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Asymptotic analysis#UWMD, Applications (example)
History
- 2026-11-02: add by m2/dev
Examples EARMB8J0VV
| URI | m2://inv/EARMB8J0VV |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mixed Poisson distribution#3N4Y, Examples (example)
History
- 2026-11-02: add by m2/dev
EARN8HT4C2 EARN8HT4C2
| URI | m2://inv/EARN8HT4C2 |
|---|---|
| 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 2512.07340#L89P (statement). In WXE3PVAZBT/e1, lemma 4.6
History
- 2026-10-27: add by m2/v0.3.5
EARPA6H06A EARPA6H06A
| URI | m2://inv/EARPA6H06A |
|---|---|
| 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 2604.05177#JL2A (statement). In G04BKQV6YM/e1, lemma 3.4
History
- 2026-10-27: add by m2/v0.3.5
EARVWYMQPA EARVWYMQPA
| URI | m2://inv/EARVWYMQPA |
|---|---|
| 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#OYA3 (statement). In JWNYJVH8XG/e1, lemma 3.7
History
- 2026-10-29: add by m2/v0.4.10
EARWMQ9CK8 EARWMQ9CK8
| URI | m2://inv/EARWMQ9CK8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29806#8A00 (statement)
History
- 2026-11-01: add by m2/v0.6.15
EASGQSQDKC EASGQSQDKC
| URI | m2://inv/EASGQSQDKC |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2308.05715#QCMN (definition). In FC0SB9JFWH/e1, definition 3.4
History
- 2026-10-27: add by m2/v0.3.5
EASRJM5VWR EASRJM5VWR
| URI | m2://inv/EASRJM5VWR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/lambda-calculus/syntax/term-revisited.tex#def:sub (definition). In PKGMM3P5QY, defn, section 39.1
History
- 2026-11-01: add by m2/v0.6.13
Central extension EAT0F1K7C0
| URI | m2://inv/EAT0F1K7C0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#BYME, Central extension (definition)
History
- 2026-11-02: add by m2/dev
Supply curve EAT1Z3DKHJ
| URI | m2://inv/EAT1Z3DKHJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of curves#H868, Supply curve (unknown)
History
- 2026-11-02: add by m2/dev
EAT55N26KG EAT55N26KG
| URI | m2://inv/EAT55N26KG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2108.03672#8SSS (statement). In EZZSZ1F071/e1, lemma 4.11
History
- 2026-10-27: add by m2/v0.4.0
EAT6MDQFGA EAT6MDQFGA
| URI | m2://inv/EAT6MDQFGA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35460#VZ3Y (statement). In R515NECVME/e1, corollary 1.2
History
- 2026-10-30: add by m2/v0.4.12
Computational statistics EATA0C6NEJ
| URI | m2://inv/EATA0C6NEJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#7GOX, Computational statistics (definition)
History
- 2026-11-02: add by m2/dev
EATAZYS3RQ EATAZYS3RQ
| URI | m2://inv/EATAZYS3RQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 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 2609.25080#U0KO (statement)
History
- 2026-11-01: add by m2/v0.6.15
Abelian and Tauberian theorems EATDKEH19D
| URI | m2://inv/EATDKEH19D |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 26-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q2376918, Abelian and Tauberian theorems (statement). Also Wikidata Q2376918
- thousand_plus: thousand_plus Q2376918, Abelian and Tauberian theorems (statement). Also Wikidata Q2376918, Wikipedia Abelian and Tauberian theorems
- wikipedia: Wikipedia Abelian and Tauberian theorems, Abelian and Tauberian theorems (statement). Also Wikidata Q2376918
History
- 2026-10-26: add by m2/dev
EATE4179FS EATE4179FS
| URI | m2://inv/EATE4179FS |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-fourier-and-pde.tex#exercise-99 (exercise). In E9HS8K3A52, exercise, section 5.8.5
History
- 2026-11-01: add by m2/v0.6.13
EATFBG2Q1K EATFBG2Q1K
| URI | m2://inv/EATFBG2Q1K |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hilbert's seventeenth problem#PO0T (problem)
History
- 2026-11-02: add by m2/dev
EATKHX6T7Y EATKHX6T7Y
| URI | m2://inv/EATKHX6T7Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 46-XX, 47-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17060#3LPW (statement). In 5KR3MHYVV6/e1, theorem 6.8
History
- 2026-10-28: add by m2/v0.4.2
EATPC0D9S1 EATPC0D9S1
| URI | m2://inv/EATPC0D9S1 |
|---|---|
| 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 2401.00191#KXEZ (statement). In ZMH2KJDAWJ/e1, theorem 3.3
History
- 2026-10-27: add by m2/v0.3.5
Hubert Bray EATV3M7XQP
| URI | m2://inv/EATV3M7XQP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hubert Bray, Hubert Bray (topic). Also Wikidata Q15990400
History
- 2026-11-02: add by m2/dev
Eisenstein's criterion EATXR97FP4
| URI | m2://inv/EATXR97FP4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Galois group#QQX4, Eisenstein's criterion (statement)
History
- 2026-11-02: add by m2/dev
Properties EAV1E9VN3B
| URI | m2://inv/EAV1E9VN3B |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Black hole#VOCM, Properties (statement)
History
- 2026-11-02: add by m2/dev
EAV1H7TAMG EAV1H7TAMG
| URI | m2://inv/EAV1H7TAMG |
|---|---|
| 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#VT42 (statement). In GN3ZT9DAD9/e1, lemma 2.4
History
- 2026-10-28: add by m2/v0.4.2
Bessel Y EAV4NS5ME1
| URI | m2://inv/EAV4NS5ME1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bessel function#63WZ, Bessel Y (unknown)
History
- 2026-11-02: add by m2/dev
EAV4TE7RCY EAV4TE7RCY
| URI | m2://inv/EAV4TE7RCY |
|---|---|
| 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.09506#C118 (statement). In AQC7E6RAT4/e1, corollary 1.7
History
- 2026-10-29: add by m2/v0.4.10
Outline of combinatorics EAV9XK1BW6
| URI | m2://inv/EAV9XK1BW6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lists of mathematics topics#WJNU, Outline of combinatorics (topic)
History
- 2026-11-02: add by m2/dev
EAVB3QTD0S EAVB3QTD0S
| URI | m2://inv/EAVB3QTD0S |
|---|---|
| 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.21489#Y8BP (statement). In R0Q0RV8XCF/e1, proposition 3.3
History
- 2026-10-27: add by m2/v0.4.2
EAVBWY3MEB EAVBWY3MEB
| URI | m2://inv/EAVBWY3MEB |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05914#Q6UF (definition). In V8MYP6MBAZ/e1, definition 4
History
- 2026-10-29: add by m2/v0.4.10
Common-core optimization EAVG9QWMD3
| URI | m2://inv/EAVG9QWMD3 |
|---|---|
| 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.31782#NNNX, Common-core optimization (statement). In YAYP5VZ94H/e1, proposition 4.1
History
- 2026-10-31: add by m2/v0.5.6
EAVKSDA11S EAVKSDA11S
| URI | m2://inv/EAVKSDA11S |
|---|---|
| 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.28489#HSG2 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Electrostatic energy EAVPEQ3TC2
| URI | m2://inv/EAVPEQ3TC2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21781#04YJ, Electrostatic energy (statement). In FEQ72D1AX6/e1, theorem 3.13
History
- 2026-10-27: add by m2/v0.4.2
Berger code EAVT3PQWX7
| URI | m2://inv/EAVT3PQWX7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic coding theory topics#40ID, Berger code (unknown)
History
- 2026-11-02: add by m2/dev
Examples EAVW0WCWGP
| URI | m2://inv/EAVW0WCWGP |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tolerance interval#M7L9, Examples (example)
History
- 2026-11-02: add by m2/dev
EAVWZANXVZ EAVWZANXVZ
| URI | m2://inv/EAVWZANXVZ |
|---|---|
| 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 2609.32300#P9DD (statement). In VNE8N0D2FB/e1, lemma 5.5
History
- 2026-10-31: add by m2/v0.5.6
Lie groupoid EAWEFVRN2G
| URI | m2://inv/EAWEFVRN2G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Lie groups topics#UYBG, Lie groupoid (definition)
History
- 2026-11-02: add by m2/dev
EAWHV42Z66 EAWHV42Z66
| URI | m2://inv/EAWHV42Z66 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX, 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23469#QWEP (statement)
History
- 2026-11-02: add by m2/v0.6.17
EAWNEJQAAH EAWNEJQAAH
| URI | m2://inv/EAWNEJQAAH |
|---|---|
| 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.21298#7UMJ (statement). In AXWM2MBYXV/e1, lemma 5.1
History
- 2026-10-27: add by m2/v0.4.2
reductive Lie algebra EAWNXHPPD3
| URI | m2://inv/EAWNXHPPD3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7306383, reductive Lie algebra (unknown). Also EoM Lie_algebra,_reductive, nLab reductive Lie algebra
- wikipedia: Wikipedia Reductive Lie algebra, Reductive Lie algebra (definition). Also Wikidata Q7306383
History
- 2026-10-26: add by m2/dev
Temporal Local CLT EAWRRA53TC
| URI | m2://inv/EAWRRA53TC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33590#J484, Temporal Local CLT (statement). In WRE0P7V6Z3/e1, theorem 1.36
History
- 2026-10-30: add by m2/v0.4.12
EAWYK9EDM1 EAWYK9EDM1
| URI | m2://inv/EAWYK9EDM1 |
|---|---|
| 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.33383#1QTV (statement). In 8AHWRHTP5G/e1, lemma 22
History
- 2026-10-30: add by m2/v0.4.12
Three Points, Arizona EAX188K5W1
| URI | m2://inv/EAX188K5W1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#8KQX, Three Points, Arizona (unknown)
History
- 2026-11-02: add by m2/dev
Cayley transform EAX48X08CE
| URI | m2://inv/EAX48X08CE |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Cayley transform 0X45ZM731G |
Mentions
- wikidata: Wikidata Q2778065, Cayley transform (concept). Also MathWorld CayleyTransform
- wikipedia: Wikipedia Cayley transform, Cayley transform (definition). Also Wikidata Q2778065
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Lipschitz structure EAX8W0ZE65
| URI | m2://inv/EAX8W0ZE65 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2606.02312#YU03, Lipschitz structure (statement). In 1SZV94R22Y/e1, lemma 2.7
History
- 2026-10-27: add by m2/v0.3.5
EAXDH3ZR5B EAXDH3ZR5B
| URI | m2://inv/EAXDH3ZR5B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16123#MYOH (statement). In 6VR4TY5BGV/e1, lemma 5.10
History
- 2026-10-28: add by m2/v0.4.2
One-time pad EAXH77GNMT
| URI | m2://inv/EAXH77GNMT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of telecommunications encryption terms#GTQ7, One-time pad (definition)
History
- 2026-11-02: add by m2/dev
EAXJZR3J2T EAXJZR3J2T
| URI | m2://inv/EAXJZR3J2T |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09422#PKWJ (definition). In MS7M2BJS9X/e1, definition 3.1
History
- 2026-10-29: add by m2/v0.4.10
integer exponent EAXMKV5C59
| URI | m2://inv/EAXMKV5C59 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q141280173, integer exponent (unknown). Also MathWorld IntegerExponent
History
- 2026-10-26: add by m2/dev
EAXN1M71E9 EAXN1M71E9
| URI | m2://inv/EAXN1M71E9 |
|---|---|
| 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.21367#MJKG (statement)
History
- 2026-11-02: add by m2/v0.6.18
Stephan Luckhaus EAXVH22958
| URI | m2://inv/EAXVH22958 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stephan Luckhaus, Stephan Luckhaus (topic). Also Wikidata Q7608148
History
- 2026-11-02: add by m2/dev
Kalman's conjecture EAXWSEE3D9
| URI | m2://inv/EAXWSEE3D9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kalman's conjecture, Kalman's conjecture (statement). Also Wikidata Q6354006
History
- 2026-11-02: add by m2/dev
EAY13YSXAM EAY13YSXAM
| URI | m2://inv/EAY13YSXAM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-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.04503#B345 (statement). In GWQP1XPM8E/e1, lemma 5.1
History
- 2026-10-29: add by m2/v0.4.12
principal EAY4VHEVT5
| URI | m2://inv/EAY4VHEVT5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of ring theory#Y9WQ, principal (definition)
History
- 2026-11-02: add by m2/dev
Paul Malliavin EAYA96DXNS
| URI | m2://inv/EAYA96DXNS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Paul Malliavin, Paul Malliavin (topic). Also Wikidata Q441132
History
- 2026-11-02: add by m2/dev
EAYA9M3M1H EAYA9M3M1H
| URI | m2://inv/EAYA9M3M1H |
|---|---|
| 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.29326#8M3C (statement). In 3F83V6VKKA/e1, theorem 1.1
History
- 2026-10-27: add by m2/v0.3.6
EAYNA45X8S EAYNA45X8S
| URI | m2://inv/EAYNA45X8S |
|---|---|
| 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 2309.15228#73B7 (definition). In 4778KMFZAF/e1, definition 2.1
History
- 2026-10-27: add by m2/v0.3.5
Władysław Narkiewicz EAZ4FFYRHJ
| URI | m2://inv/EAZ4FFYRHJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1702711, Władysław Narkiewicz (unknown). Also ProofWiki Mathematician:Władysław_Narkiewicz
History
- 2026-10-26: add by m2/dev
EAZ6PMS66F EAZ6PMS66F
| URI | m2://inv/EAZ6PMS66F |
|---|---|
| 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 2601.15010#7GBO (statement). In K3WJ6ZN184/e1, lemma 10.2
History
- 2026-10-27: add by m2/v0.3.5
Lucien Birgé EAZ765DSFJ
| URI | m2://inv/EAZ765DSFJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lucien Birgé, Lucien Birgé (topic). Also Wikidata Q1873362
History
- 2026-11-02: add by m2/dev
Localization and estimation from the exploration times EAZCW77Q8T
| URI | m2://inv/EAZCW77Q8T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08766#7EYS, Localization and estimation from the exploration times (statement). In QA4JM9SHPA/e1, theorem 2.1
History
- 2026-10-29: add by m2/v0.4.10
EAZEKV6DDR EAZEKV6DDR
| URI | m2://inv/EAZEKV6DDR |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-approximate.tex#exercise-15 (exercise). In E59CDZA4DP, exercise, section 1.2.4
History
- 2026-11-01: add by m2/v0.6.13
Applications EAZFVGFVN1
| URI | m2://inv/EAZFVGFVN1 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lane–Emden equation#NKMW, Applications (example)
History
- 2026-11-02: add by m2/dev
Omission bias EAZK8VA4QP
| URI | m2://inv/EAZK8VA4QP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cognitive biases#O6KR, Omission bias (unknown)
History
- 2026-11-02: add by m2/dev
EAZMJHBP13 EAZMJHBP13
| URI | m2://inv/EAZMJHBP13 |
|---|---|
| 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.28702#X73Z (statement)
History
- 2026-11-01: add by m2/v0.6.15
Coordinate chart EAZP0PBQQK
| URI | m2://inv/EAZP0PBQQK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Topological manifold#J8LY, Coordinate chart (unknown)
History
- 2026-11-02: add by m2/dev
EAZVHX7CSK EAZVHX7CSK
| URI | m2://inv/EAZVHX7CSK |
|---|---|
| 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.21762#0LVB (statement). In CYDJ6JGD4A/e1, theorem 1.7
History
- 2026-10-27: add by m2/v0.4.2
icosihenagonal number EAZYZ3Z2D0
| URI | m2://inv/EAZYZ3Z2D0 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q18451096, icosihenagonal number (object). Also OEIS A051873
History
- 2026-10-26: add by m2/dev