Inventory rows E3
The cards of the rows of the inventory whose ids start with E3. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
E303YN3MYN E303YN3MYN
| URI | m2://inv/E303YN3MYN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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.39814#FIFR (statement). In K6TNNHDFF6/e1, theorem
History
- 2026-10-30: add by m2/v0.4.12
Properties E305PS7WDJ
| URI | m2://inv/E305PS7WDJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Peano surface#T4FT, Properties (statement)
History
- 2026-11-02: add by m2/dev
Examples E30831ZDRN
| URI | m2://inv/E30831ZDRN |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Homomorphic secret sharing#2738, Examples (example)
History
- 2026-11-02: add by m2/dev
⟨,⟩ E30B8Q90B7
| URI | m2://inv/E30B8Q90B7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of mathematical symbols#7JQL, ⟨,⟩ (definition)
History
- 2026-11-02: add by m2/dev
E30CWDKCT7 E30CWDKCT7
| URI | m2://inv/E30CWDKCT7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-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.09945#129G (statement). In V7VCEA0VAA/e1, corollary 2
History
- 2026-10-29: add by m2/v0.4.10
Examples E30GSJ7YTB
| URI | m2://inv/E30GSJ7YTB |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dimension of a scheme#X7LI, Examples (example)
History
- 2026-11-02: add by m2/dev
Delsarte–Goethals code E30P6YZQRT
| URI | m2://inv/E30P6YZQRT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Delsarte–Goethals code, Delsarte–Goethals code (definition). Also Wikidata Q30325230
History
- 2026-11-02: add by m2/dev
E30RKBF7DR E30RKBF7DR
| URI | m2://inv/E30RKBF7DR |
|---|---|
| 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.28507#ZCQU (statement)
History
- 2026-11-01: add by m2/v0.6.15
List object E30T2CX4YV
| URI | m2://inv/E30T2CX4YV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List object, List object (definition). Also Wikidata Q48847102
History
- 2026-11-02: add by m2/dev
E30W1E9DVZ E30W1E9DVZ
| URI | m2://inv/E30W1E9DVZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20153#683L (statement). In EYB107TM4Q/e1, corollary 5.8
History
- 2026-10-27: add by m2/v0.4.2
E30W4TTRFR E30W4TTRFR
| URI | m2://inv/E30W4TTRFR |
|---|---|
| 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.17303#R7JM (statement). In PHD4ABS8WH/e1, theorem 2.1
History
- 2026-10-28: add by m2/v0.4.2
E30ZQA8964 E30ZQA8964
| URI | m2://inv/E30ZQA8964 |
|---|---|
| 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.02395#WLVN (statement). In APA7TRPA87/e1, proposition 4
History
- 2026-10-29: add by m2/v0.4.12
E314530P6C E314530P6C
| URI | m2://inv/E314530P6C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05184#SQ4N (statement). In JK425E1F77/e1, lemma 4.1
History
- 2026-10-29: add by m2/v0.4.10
Local trace formula E3174CE6E6
| URI | m2://inv/E3174CE6E6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Local trace formula, Local trace formula (statement). Also Wikidata Q6664570
History
- 2026-11-02: add by m2/dev
Dual (category theory) E3179ZGJXS
| URI | m2://inv/E3179ZGJXS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of dualities#N30N, Dual (category theory) (definition)
History
- 2026-11-02: add by m2/dev
Monotonicity of SRW Green's function in $x$ E317ETZGQ4
| URI | m2://inv/E317ETZGQ4 |
|---|---|
| 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 1905.02785#CSCB, Monotonicity of SRW Green's function in $x$ (statement). In PF9KV74Q02/e1, lemma B.3
History
- 2026-10-27: add by m2/v0.3.5
Quadruple inequality E318KFX7C7
| URI | m2://inv/E318KFX7C7 |
|---|---|
| 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.00501#M9XL, Quadruple inequality (statement). In FTPW1SZ8D3/e1, proposition 2.1
History
- 2026-10-30: add by m2/v0.4.12
Dieter Puppe E31B547TW5
| URI | m2://inv/E31B547TW5 |
|---|---|
| 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 Q1222649, Dieter Puppe (unknown). Also nLab Dieter Puppe
- wikipedia: Wikipedia Dieter Puppe, Dieter Puppe (topic). Also Wikidata Q1222649
History
- 2026-10-26: add by m2/dev
E31JRHDJY2 E31JRHDJY2
| URI | m2://inv/E31JRHDJY2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18219#AI99 (statement). In X1AGBB90EH/e1, theorem 3.6
History
- 2026-10-28: add by m2/v0.4.2
E31M1YK2BC E31M1YK2BC
| URI | m2://inv/E31M1YK2BC |
|---|---|
| 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 2610.10262#LCC4 (statement). In MVSGDTN2PB/e1, corollary 2.5
History
- 2026-10-29: add by m2/v0.4.10
Complete-square heredity E31MWKAYWM
| URI | m2://inv/E31MWKAYWM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05442#U576, Complete-square heredity (statement). In WEPE51JCHZ/e1, lemma 2.3
History
- 2026-10-29: add by m2/v0.4.10
Noether's theorem E31NAPBD7F
| URI | m2://inv/E31NAPBD7F |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Continuity equation#DX00, Noether's theorem (statement)
History
- 2026-11-02: add by m2/dev
Profile entropy of $k$ magic rounds E31Z73GV2F
| URI | m2://inv/E31Z73GV2F |
|---|---|
| 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.02166#KY0I, Profile entropy of $k$ magic rounds (statement). In R6RF3P6D5A/e1, lemma 4.4
History
- 2026-10-29: add by m2/v0.4.12
Jürgen Neukirch E31ZPECFD4
| URI | m2://inv/E31ZPECFD4 |
|---|---|
| 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 Q85514, Jürgen Neukirch (unknown). Also nLab Jürgen Neukirch
- wikipedia: Wikipedia Jürgen Neukirch, Jürgen Neukirch (topic). Also Wikidata Q85514
History
- 2026-10-26: add by m2/dev
Generalizations E3207K8143
| URI | m2://inv/E3207K8143 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dirac delta function#ETBS, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
The ramification divisor map E321PXT45F
| URI | m2://inv/E321PXT45F |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 26-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 2610.17116#7D53, The ramification divisor map (definition). In A02X6MX28Y/e1, definition 6.7
History
- 2026-10-28: add by m2/v0.4.2
E3246B9TS3 E3246B9TS3
| URI | m2://inv/E3246B9TS3 |
|---|---|
| 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.21140#8A4R (statement)
History
- 2026-11-02: add by m2/v0.6.18
Example E3252034YD
| URI | m2://inv/E3252034YD |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Borda count#WD1E, Example (example)
History
- 2026-11-02: add by m2/dev
E3274AWQXS E3274AWQXS
| URI | m2://inv/E3274AWQXS |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/computability/computability-theory/non-comp-set.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 3.9
History
- 2026-11-01: add by m2/v0.6.13
E32C3GP806 E32C3GP806
| URI | m2://inv/E32C3GP806 |
|---|---|
| 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.36334#5YWI (statement). In YVB70SBGN1/e1, lemma
History
- 2026-10-30: add by m2/v0.4.12
Axiom of extensionality E32ERZV3RM
| URI | m2://inv/E32ERZV3RM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Von Neumann–Bernays–Gödel set theory#P367, Axiom of extensionality (statement)
History
- 2026-11-02: add by m2/dev
Transverse structure of the Julia set E32HZ8EG7B
| URI | m2://inv/E32HZ8EG7B |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35597#X6UZ, Transverse structure of the Julia set (problem). In K424GCJ50P/e1, problem 10.1
History
- 2026-10-30: add by m2/v0.4.12
Demographic history of North Macedonia E32QB2RSPQ
| URI | m2://inv/E32QB2RSPQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Demographic history of North Macedonia, Demographic history of North Macedonia (definition). Also Wikidata Q16829331
History
- 2026-11-02: add by m2/dev
E32T6FFV9X E32T6FFV9X
| URI | m2://inv/E32T6FFV9X |
|---|---|
| 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 0810.0962#4D26 (statement). In 80YMRN5KS9/e1, lemma 8
History
- 2026-10-27: add by m2/v0.3.5
E32V7APR21 E32V7APR21
| URI | m2://inv/E32V7APR21 |
|---|---|
| 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-83 (exercise). In E9HS8K3A52, exercise, section 5.7
History
- 2026-11-01: add by m2/v0.6.13
Marc Barthelemy E333A9VQST
| URI | m2://inv/E333A9VQST |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#F4Y7, Marc Barthelemy (unknown)
History
- 2026-11-02: add by m2/dev
E334WWP0CX E334WWP0CX
| URI | m2://inv/E334WWP0CX |
|---|---|
| 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.12857#26GX (statement). In XJWQ6Y83F8/e1, lemma 3.3
History
- 2026-10-28: add by m2/v0.4.2
Examples E337PTJH3H
| URI | m2://inv/E337PTJH3H |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Triangular array#696S, Examples (example)
History
- 2026-11-02: add by m2/dev
Contraction of the virtual flow at radius $R$ E33G9RK9AX
| URI | m2://inv/E33G9RK9AX |
|---|---|
| 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.14988#TQLI, Contraction of the virtual flow at radius $R$ (statement). In B29M4E6KGC/e1, lemma H.10
History
- 2026-10-28: add by m2/v0.4.2
E33HRB6EWV E33HRB6EWV
| URI | m2://inv/E33HRB6EWV |
|---|---|
| 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.36818#BUV1 (statement). In SK6AP2B9JH/e1, lemma 2.3
History
- 2026-10-30: add by m2/v0.4.12
E33KHAQMGQ E33KHAQMGQ
| URI | m2://inv/E33KHAQMGQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 53-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26269#945R (statement)
History
- 2026-11-01: add by m2/v0.6.15
Separable singular kernels with H\"older modifications E33WRT5P0M
| URI | m2://inv/E33WRT5P0M |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31102#IUGE, Separable singular kernels with H\"older modifications (example). In 7CADATJMAA/e1, example 6.4
History
- 2026-10-31: add by m2/v0.5.6
E33X8EGBMB E33X8EGBMB
| URI | m2://inv/E33X8EGBMB |
|---|---|
| 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.28509#9Z15 (statement)
History
- 2026-11-01: add by m2/v0.6.15
E33YVK4VDP E33YVK4VDP
| URI | m2://inv/E33YVK4VDP |
|---|---|
| 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.21937#5ABV (statement)
History
- 2026-11-02: add by m2/v0.6.17
Notations E3469SC5VM
| URI | m2://inv/E3469SC5VM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia E (mathematical constant)#GLIS, Notations (definition)
History
- 2026-11-02: add by m2/dev
Paley construction E34VYRB0XR
| URI | m2://inv/E34VYRB0XR |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 12-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q7127466, Paley's theorem (statement). Also Wikidata Q7127466
- thousand_plus: thousand_plus Q7127466, Paley's theorem (statement). Also Wikidata Q7127466, Wikipedia Paley's theorem
- wikipedia: Wikipedia Paley construction, Paley construction (definition). Also Wikidata Q7127466
History
- 2026-10-26: add by m2/dev
Spectral properties of original operator $\Aop$ E34X4FVC10
| URI | m2://inv/E34X4FVC10 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08764#URIW, Spectral properties of original operator $\Aop$ (statement). In QVFHS1C9BW/e1, lemma \thethrm
History
- 2026-10-29: add by m2/v0.4.10
Newtonianism E350XQ36A5
| URI | m2://inv/E350XQ36A5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Isaac Newton#PB28, Newtonianism (unknown)
History
- 2026-11-02: add by m2/dev
E3551RB18H E3551RB18H
| URI | m2://inv/E3551RB18H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23605#KRMD (statement)
History
- 2026-11-02: add by m2/v0.6.17
Brian Alspach E35BNMX909
| URI | m2://inv/E35BNMX909 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Brian Alspach, Brian Alspach (topic). Also Wikidata Q16745162
History
- 2026-11-02: add by m2/dev
Constructions E35EEXZS96
| URI | m2://inv/E35EEXZS96 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weyl algebra#RQYC, Constructions (definition)
History
- 2026-11-02: add by m2/dev
Properties E35EZN2Q2P
| URI | m2://inv/E35EZN2Q2P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Halved cube graph#9XIZ, Properties (statement)
History
- 2026-11-02: add by m2/dev
Diameter bound E3691ET23Z
| URI | m2://inv/E3691ET23Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19273#5VU6, Diameter bound (statement). In T3BY4TXYT4/e1, theorem 4.6
History
- 2026-10-28: add by m2/v0.4.2
E36B1YVVHN E36B1YVVHN
| URI | m2://inv/E36B1YVVHN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28774#JDGW (statement)
History
- 2026-11-01: add by m2/v0.6.15
E36DB366PG E36DB366PG
| URI | m2://inv/E36DB366PG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37778#POYN (statement). In V399QB419P/e1, corollary 4.4
History
- 2026-10-30: add by m2/v0.4.12
E36HBXM27R E36HBXM27R
| URI | m2://inv/E36HBXM27R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-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.17045#AO6E (statement). In PA6JQDSKQT/e1, corollary G
History
- 2026-10-28: add by m2/v0.4.2
James Bates Thomson E36JWGNHY1
| URI | m2://inv/E36JWGNHY1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia James Bates Thomson, James Bates Thomson (topic). Also Wikidata Q20972945
History
- 2026-11-02: add by m2/dev
Birge Huisgen-Zimmermann E36NBH6DC8
| URI | m2://inv/E36NBH6DC8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Birge Huisgen-Zimmermann, Birge Huisgen-Zimmermann (topic). Also Wikidata Q18978097
History
- 2026-11-02: add by m2/dev
E371QV5RAJ E371QV5RAJ
| URI | m2://inv/E371QV5RAJ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-fourier-and-pde.tex#afs:steadyex (example). In E9HS8K3A52, example, section 5.5.1
History
- 2026-11-01: add by m2/v0.6.13
E3784Y7EED E3784Y7EED
| URI | m2://inv/E3784Y7EED |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises3-5.xml#exercise-9 (exercise). In 649HGZKE96, exercise, section 3.5
History
- 2026-11-01: add by m2/v0.6.13
Administrative data E37858XKEF
| URI | m2://inv/E37858XKEF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Administrative data, Administrative data (definition). Also Wikidata Q28455669
History
- 2026-11-02: add by m2/dev
complex numbers E37EBW4PWW
| URI | m2://inv/E37EBW4PWW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#CSO8, complex numbers (definition)
History
- 2026-11-02: add by m2/dev
T.45 (standard) E37JH8E6Q5
| URI | m2://inv/E37JH8E6Q5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Run-length encoding#FUD6, T.45 (standard) (unknown)
History
- 2026-11-02: add by m2/dev
Truncated alternated cubic honeycomb E37V1EHES4
| URI | m2://inv/E37V1EHES4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#DE7M, Truncated alternated cubic honeycomb (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#6UHQ, Truncated alternated cubic honeycomb (definition)
History
- 2026-11-02: add by m2/dev
Upper Asymptotics E38A1VC3BS
| URI | m2://inv/E38A1VC3BS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 46-XX, 49-XX, 51-XX, 52-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 2505.10801#4BKC, Upper Asymptotics (statement). In BWJS3H55WH/e1, theorem 1
History
- 2026-10-27: add by m2/v0.3.5
Euler's second law E38B4MHHFR
| URI | m2://inv/E38B4MHHFR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euler's laws of motion#B3BI, Euler's second law (statement)
History
- 2026-11-02: add by m2/dev
E38BTXTTPR E38BTXTTPR
| URI | m2://inv/E38BTXTTPR |
|---|---|
| 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 2609.37704#1GRU (statement). In HGTFJ325A4/e1, proposition 3.5
History
- 2026-10-30: add by m2/v0.4.12
Reduction to the invertible block E38C06JJPV
| URI | m2://inv/E38C06JJPV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25762#16T7, Reduction to the invertible block (statement)
History
- 2026-11-01: add by m2/v0.6.15
E38G25JFF6 E38G25JFF6
| URI | m2://inv/E38G25JFF6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book formal.tex#cor-1 (statement). In N54F33XE07, cor, section 4.4
History
- 2026-11-01: add by m2/v0.6.13
Properties E38T3E96SR
| URI | m2://inv/E38T3E96SR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bra–ket notation#V5O6, Properties (statement)
History
- 2026-11-02: add by m2/dev
E38XY0GNE5 E38XY0GNE5
| URI | m2://inv/E38XY0GNE5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19214#T1X1 (statement). In WZPD7TNNY9/e1, corollary 5.4
History
- 2026-10-28: add by m2/v0.4.2
Mathukumalli V. Subbarao E39ACQ3XFN
| URI | m2://inv/E39ACQ3XFN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Indian mathematicians#LS7E, Mathukumalli V. Subbarao (topic)
History
- 2026-11-02: add by m2/dev
E39GME0PJD E39GME0PJD
| URI | m2://inv/E39GME0PJD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06810#QLGP (statement). In 1NY2SA03XF/e1, lemma 3.12
History
- 2026-10-29: add by m2/v0.4.10
540 (number) E39MSNQ3AD
| URI | m2://inv/E39MSNQ3AD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 500 (number)#NC9T, 540 (number) (unknown)
History
- 2026-11-02: add by m2/dev
General purpose lossless compression methods E39NY99MJ9
| URI | m2://inv/E39NY99MJ9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lossless compression#7MCA, General purpose lossless compression methods (unknown)
History
- 2026-11-02: add by m2/dev
K-semistabilities E39Q32MAY0
| URI | m2://inv/E39Q32MAY0 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 14-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.05179#SNVS, K-semistabilities (definition). In 9EMCPF1F2T/e1, definition 41
History
- 2026-10-29: add by m2/v0.4.10
Poincaré inequality E3A085XZHV
| URI | m2://inv/E3A085XZHV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Poincaré inequality JS2CCR3RNS |
Mentions
- wikidata: Wikidata Q1751496, Poincaré inequality (unknown). Also EoM Poincaré_inequality
- wikipedia: Wikipedia Poincaré inequality, Poincaré inequality (statement). Also Wikidata Q1751496
History
- 2026-10-26: add by m2/dev
Andrew C. Berry E3ACD7X9A8
| URI | m2://inv/E3ACD7X9A8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Andrew C. Berry, Andrew C. Berry (topic). Also Wikidata Q31169501
History
- 2026-11-02: add by m2/dev
iron-54 E3AJ4Z30RX
| URI | m2://inv/E3AJ4Z30RX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2696892, iron-54 (definition). Also ProofWiki Definition:Iron/54
History
- 2026-10-26: add by m2/dev
E3AKATJ92T E3AKATJ92T
| URI | m2://inv/E3AKATJ92T |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24325#WDGJ (definition)
History
- 2026-11-01: add by m2/v0.6.15
E3AN4M7EE4 E3AN4M7EE4
| URI | m2://inv/E3AN4M7EE4 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/computability/computability-theory/universal-part-function.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 3.17
History
- 2026-11-01: add by m2/v0.6.13
E3APP6DP5A E3APP6DP5A
| URI | m2://inv/E3APP6DP5A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25742#NHFL (statement)
History
- 2026-11-01: add by m2/v0.6.15
Non-backtracking lace expansion E3AS5QB34J
| URI | m2://inv/E3AS5QB34J |
|---|---|
| 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 1905.02785#DJFJ, Non-backtracking lace expansion (statement). In PF9KV74Q02/e1, proposition 2.1
History
- 2026-10-27: add by m2/v0.3.5
Combined worst-case lower bound E3B42NPA2K
| URI | m2://inv/E3B42NPA2K |
|---|---|
| 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.30877#075B, Combined worst-case lower bound (statement). In QKNE21ABF3/e1, corollary 1
History
- 2026-10-31: add by m2/v0.5.6
arithmetic mean E3B76X7H3P
| URI | m2://inv/E3B76X7H3P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q19033, arithmetic mean (unknown). Also MathWorld ArithmeticMean
- wikipedia: Wikipedia Arithmetic mean, Arithmetic mean (definition). Also Wikidata Q19033
History
- 2026-10-26: add by m2/dev
Grim reaper curve E3BBPRBQYH
| URI | m2://inv/E3BBPRBQYH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Curve-shortening flow#PG3C, Grim reaper curve (unknown)
History
- 2026-11-02: add by m2/dev
E3BG9DSWVP E3BG9DSWVP
| URI | m2://inv/E3BG9DSWVP |
|---|---|
| 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.38548#BGAS (statement). In Z7ZFV3HM1S/e1, theorem 3.6
History
- 2026-10-30: add by m2/v0.4.12
E3BT3YY1WP E3BT3YY1WP
| URI | m2://inv/E3BT3YY1WP |
|---|---|
| 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 2312.14319#9ZVQ (statement). In V0S2EZ53GB/e1, corollary 2.9
History
- 2026-10-27: add by m2/v0.3.5
Lightweight encryption E3BYYS7WQY
| URI | m2://inv/E3BYYS7WQY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Crypto Wars#D3LQ, Lightweight encryption (unknown)
History
- 2026-11-02: add by m2/dev
Strong convexity E3C4HQQVVA
| URI | m2://inv/E3C4HQQVVA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Convex function#DABY, Strong convexity (unknown)
History
- 2026-11-02: add by m2/dev
Metric topology E3C8FB0872
| URI | m2://inv/E3C8FB0872 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of general topology topics#GK6B, Metric topology (definition)
History
- 2026-11-02: add by m2/dev
E3C8MV7AY8 E3C8MV7AY8
| URI | m2://inv/E3C8MV7AY8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31607#4V5J (statement). In H9X9WZ17TT/e1, theorem
History
- 2026-10-31: add by m2/v0.5.6
Pairwise moments E3CAKMVMJM
| URI | m2://inv/E3CAKMVMJM |
|---|---|
| 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.00099#9TYX, Pairwise moments (statement). In NNBY2AEHP4/e1, lemma 3.4
History
- 2026-10-30: add by m2/v0.4.12
S4 (logic) E3CAXCY7GK
| URI | m2://inv/E3CAXCY7GK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Normal modal logic#WAZL, S4 (logic) (unknown)
History
- 2026-11-02: add by m2/dev
E3CCJN0MAV E3CCJN0MAV
| URI | m2://inv/E3CCJN0MAV |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX, 22-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 math/0512416#8T5I (definition). In WJD9YPGGYH/e1, definition 2.1
History
- 2026-10-27: add by m2/v0.3.5
E3CH1JH36J E3CH1JH36J
| URI | m2://inv/E3CH1JH36J |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/calculus/differentiate.tex#problem-6 (exercise). In RZP28ERRZV, problem, section 30.6
History
- 2026-11-01: add by m2/v0.6.13
E3CHJZ1YMB E3CHJZ1YMB
| URI | m2://inv/E3CHJZ1YMB |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/Relations.tex#proof-1 (proof). In P1C114YBXG, proof, section H
History
- 2026-11-01: add by m2/v0.6.13
abelian integral E3CYJ6BH2N
| URI | m2://inv/E3CYJ6BH2N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q318761, abelian integral (unknown). Also EoM Abelian_integral, MathWorld AbelianIntegral
- wikipedia: Wikipedia Abelian integral, Abelian integral (definition). Also Wikidata Q318761
History
- 2026-10-26: add by m2/dev
Applications E3D1YV77C1
| URI | m2://inv/E3D1YV77C1 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Debreu's representation theorems#JC9E, Applications (example)
History
- 2026-11-02: add by m2/dev
Definition E3D78RM4VM
| URI | m2://inv/E3D78RM4VM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cook's distance#Q6CI, Definition (definition)
History
- 2026-11-02: add by m2/dev
E3DC16CVE4 E3DC16CVE4
| URI | m2://inv/E3DC16CVE4 |
|---|---|
| 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.15504#VLEP (statement). In AZ8SEW6HAV/e1, proposition 2
History
- 2026-10-28: add by m2/v0.4.2
Positive overlap of near-maximizers E3DDJ2BH8W
| URI | m2://inv/E3DDJ2BH8W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06490#SKUL, Positive overlap of near-maximizers (statement). In NKXTXH59P1/e1, proposition C.8
History
- 2026-10-29: add by m2/v0.4.10
E3DF8FQT3A E3DF8FQT3A
| URI | m2://inv/E3DF8FQT3A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2405.09294#ALDB (statement). In 2WZQC0TKVK/e1, theorem 4.7
History
- 2026-10-27: add by m2/v0.3.5
E3DK22BBFF E3DK22BBFF
| URI | m2://inv/E3DK22BBFF |
|---|---|
| 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 2401.14143#X6HX (statement). In 7WV4JVGEN1/e1, theorem 4.4
History
- 2026-10-27: add by m2/v0.4.0
E3DNXAMPEJ E3DNXAMPEJ
| URI | m2://inv/E3DNXAMPEJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.19945#L36Z (statement)
History
- 2026-11-02: add by m2/v0.6.18
E3DTKNHC02 E3DTKNHC02
| URI | m2://inv/E3DTKNHC02 |
|---|---|
| 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 2312.05005#Y0IL (statement). In SMJMAQ2S3J/e1, lemma 5
History
- 2026-10-27: add by m2/v0.4.0
E3DYXGV5NQ E3DYXGV5NQ
| URI | m2://inv/E3DYXGV5NQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33469#6HLV (statement). In TC5QA4AB4Z/e1, proposition 4.39
History
- 2026-10-30: add by m2/v0.4.12
Applications E3E3J2JF8Q
| URI | m2://inv/E3E3J2JF8Q |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Asymptotic equipartition property#FKRU, Applications (example)
History
- 2026-11-02: add by m2/dev
Conventions E3E67QDZ9F
| URI | m2://inv/E3E67QDZ9F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Predicate transformer semantics#MUWF, Conventions (definition)
History
- 2026-11-02: add by m2/dev
Bounds on the expected filtering cost E3E92YMV0P
| URI | m2://inv/E3E92YMV0P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37482#D14U, Bounds on the expected filtering cost (statement). In 9QDRMZX8EY/e1, lemma 18
History
- 2026-10-30: add by m2/v0.4.12
E3EG7BYM19 E3EG7BYM19
| URI | m2://inv/E3EG7BYM19 |
|---|---|
| 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#38RC (statement). In K3WJ6ZN184/e1, proposition 10.4
History
- 2026-10-27: add by m2/v0.3.5
Euler's formula E3EGZRCDDZ
| URI | m2://inv/E3EGZRCDDZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical proofs#G2X0, Euler's formula (statement)
- wikipedia: Wikipedia List of exponential topics#UA1K, Euler's formula (statement)
History
- 2026-11-02: add by m2/dev
E3EKTJMFTY E3EKTJMFTY
| URI | m2://inv/E3EKTJMFTY |
|---|---|
| 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.07790#8GIY (statement). In A5YJDDM0NX/e1, proposition A.2
History
- 2026-10-29: add by m2/v0.4.10
E3ENQFRMM4 E3ENQFRMM4
| URI | m2://inv/E3ENQFRMM4 |
|---|---|
| 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 1612.08394#DWQA (statement). In 1P8D88DKG5/e1, lemma 4.1
History
- 2026-10-27: add by m2/v0.3.5
Anomaly (physics) E3ETQ4MPS6
| URI | m2://inv/E3ETQ4MPS6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical topics in quantum theory#LW56, Anomaly (physics) (definition)
History
- 2026-11-02: add by m2/dev
erg E3F66JFP35
| URI | m2://inv/E3F66JFP35 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q185153, erg (definition). Also ProofWiki Definition:CGS/Energy/Erg
History
- 2026-10-26: add by m2/dev
E3F8T9MYYS E3F8T9MYYS
| URI | m2://inv/E3F8T9MYYS |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ap-linear-algebra.tex#exercise-43 (exercise). In E9HS8K3A52, exercise, section 2.4.3
History
- 2026-11-01: add by m2/v0.6.13
Crypto-1 E3F9C7WSVJ
| URI | m2://inv/E3F9C7WSVJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Crypto-1, Crypto-1 (definition). Also Wikidata Q4036726
History
- 2026-11-02: add by m2/dev
constant multiple rule E3FGGB62R8
| URI | m2://inv/E3FGGB62R8 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus index/2.1.4/constant-multiple-rule, constant multiple rule (concept). In 907G4C4EJ1, index, section 2.1.4
History
- 2026-11-01: add by m2/v0.6.13
Hyperpyramid E3FMFDW16Y
| URI | m2://inv/E3FMFDW16Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hyperpyramid, Hyperpyramid (definition). Also Wikidata Q20827033
History
- 2026-11-02: add by m2/dev
E3FS4DFMQM E3FS4DFMQM
| URI | m2://inv/E3FS4DFMQM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17677#0QIG (statement). In 5E9G06XJKC/e1, lemma F.38
History
- 2026-10-28: add by m2/v0.4.2
Pedro Luis García Pérez E3FTX1CQRD
| URI | m2://inv/E3FTX1CQRD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pedro Luis García Pérez, Pedro Luis García Pérez (topic). Also Wikidata Q25422991
History
- 2026-11-02: add by m2/dev
Statement of the theorem E3FWFZ90YV
| URI | m2://inv/E3FWFZ90YV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tilted large deviation principle#A0V5, Statement of the theorem (statement)
History
- 2026-11-02: add by m2/dev
Formal definitions E3FY2PTXZT
| URI | m2://inv/E3FY2PTXZT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Propensity score matching#ORQ4, Formal definitions (definition)
History
- 2026-11-02: add by m2/dev
Karl Stein E3G4CFB8XW
| URI | m2://inv/E3G4CFB8XW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cryptographers#S2D0, Karl Stein (topic)
History
- 2026-11-02: add by m2/dev
Bolognesi--Vistoli , Theorem 4.4 E3G9H2W4ES
| URI | m2://inv/E3G9H2W4ES |
|---|---|
| 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 2110.14727#QGS4, Bolognesi--Vistoli , Theorem 4.4 (statement). In EZTB8NZGVT/e1, theorem 3.2
History
- 2026-10-27: add by m2/v0.4.0
E3GA065PN5 E3GA065PN5
| URI | m2://inv/E3GA065PN5 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02481#9CCQ (example). In 5HACFNFY0P/e1, example 2.4
History
- 2026-10-29: add by m2/v0.4.12
Carlos Gustavo Moreira E3GBNHNWGH
| URI | m2://inv/E3GBNHNWGH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#3RKM, Carlos Gustavo Moreira (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#VCKB, Carlos Gustavo Moreira (topic)
History
- 2026-11-02: add by m2/dev
Definition E3GD7PS884
| URI | m2://inv/E3GD7PS884 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lévy metric#8XCC, Definition (definition)
History
- 2026-11-02: add by m2/dev
Novalis E3GDZ054CE
| URI | m2://inv/E3GDZ054CE |
|---|---|
| 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 Q60684, Novalis (unknown). Also nLab Novalis
History
- 2026-10-26: add by m2/dev
Rippling E3GF8EXDDH
| URI | m2://inv/E3GF8EXDDH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rippling, Rippling (definition). Also Wikidata Q7335736
History
- 2026-11-02: add by m2/dev
E3GVSRS9JS E3GVSRS9JS
| URI | m2://inv/E3GVSRS9JS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2207.12181#IVCB (statement). In FSD8NE3XSR/e1, lemma 3.10
History
- 2026-10-27: add by m2/v0.4.0
Classification of Platonic solids E3GXJFRWX7
| URI | m2://inv/E3GXJFRWX7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#ZHQE, Classification of Platonic solids (definition)
History
- 2026-11-02: add by m2/dev
Singular radical E3H8Q1SN0Y
| URI | m2://inv/E3H8Q1SN0Y |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Radical of a ring#Z9MM, Singular radical (unknown)
History
- 2026-11-02: add by m2/dev
E3H9RT7H8V E3H9RT7H8V
| URI | m2://inv/E3H9RT7H8V |
|---|---|
| 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.02628#2XRC (statement). In G4S9C5M1A4/e1, lemma 4.1
History
- 2026-10-29: add by m2/v0.4.12
Examples E3HNSG7KDB
| URI | m2://inv/E3HNSG7KDB |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Closed category#86WN, Examples (example)
History
- 2026-11-02: add by m2/dev
E3HPQQFRN1 E3HPQQFRN1
| URI | m2://inv/E3HPQQFRN1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27687#RFSZ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Gauge space E3HQN4RT61
| URI | m2://inv/E3HQN4RT61 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Uniform space#LNKD, Gauge space (unknown)
History
- 2026-11-02: add by m2/dev
Theorem (Birkhoff and Frink 1948) E3JAQGPEKH
| URI | m2://inv/E3JAQGPEKH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Congruence lattice problem#PI40, Theorem (Birkhoff and Frink 1948) (statement)
History
- 2026-11-02: add by m2/dev
Lemma E3JKG30WXE
| URI | m2://inv/E3JKG30WXE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Laguerre plane#WYX0, Lemma (statement)
History
- 2026-11-02: add by m2/dev
E3K3GY5Q3H E3K3GY5Q3H
| URI | m2://inv/E3K3GY5Q3H |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/ContinuousFunctions.tex#problem-4 (exercise). In P1C114YBXG, problem, section 1
History
- 2026-11-01: add by m2/v0.6.13
E3K52AZY50 E3K52AZY50
| URI | m2://inv/E3K52AZY50 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35001#O3Z9 (statement). In 1PN6NESQER/e1, lemma 4.2
History
- 2026-10-30: add by m2/v0.4.12
E3K6DZSQXP E3K6DZSQXP
| URI | m2://inv/E3K6DZSQXP |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39465#SIP7 (definition). In 17F6FDEA3W/e1, definition 2.3
History
- 2026-10-30: add by m2/v0.4.12
E3K8484HNY E3K8484HNY
| URI | m2://inv/E3K8484HNY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03728#1E78 (statement). In NXR84SNM8F/e1, proposition 13.2
History
- 2026-10-29: add by m2/v0.4.12
Latent semantic analysis E3KA5X1MS0
| URI | m2://inv/E3KA5X1MS0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#T3MT, Latent semantic analysis (definition)
History
- 2026-11-02: add by m2/dev
E3KB7164EM E3KB7164EM
| URI | m2://inv/E3KB7164EM |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08280#4BN2 (example). In EGADPYP7R3/e1, example 2.2
History
- 2026-10-29: add by m2/v0.4.10
E3KG0W50KX E3KG0W50KX
| URI | m2://inv/E3KG0W50KX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/frobenius.tex#thm:frob_control_decomp (statement). In RZP28ERRZV, theorem, section 13.7
History
- 2026-11-01: add by m2/v0.6.13
Applications E3KQQXDWZ2
| URI | m2://inv/E3KQQXDWZ2 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Binomial theorem#M2UP, Applications (example)
History
- 2026-11-02: add by m2/dev
E3KQYTKE1N E3KQYTKE1N
| URI | m2://inv/E3KQYTKE1N |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15344#M082 (definition). In B9EX6K51RD/e1, definition 2.13
History
- 2026-10-28: add by m2/v0.4.2
E3M098T1RQ E3M098T1RQ
| URI | m2://inv/E3M098T1RQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21662#ZXYS (statement). In 25B3WHEKH2/e1, lemma 2.1
History
- 2026-10-27: add by m2/v0.4.2
E3M1STZ7PQ E3M1STZ7PQ
| URI | m2://inv/E3M1STZ7PQ |
|---|---|
| Kind | definition |
| 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.38844#KITE (definition). In PX8D91DQCX/e1, definition 4.1
History
- 2026-10-30: add by m2/v0.4.12
Georg Glaeser E3MGKFG4GC
| URI | m2://inv/E3MGKFG4GC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Georg Glaeser, Georg Glaeser (topic). Also Wikidata Q1504457
History
- 2026-11-02: add by m2/dev
Examples E3MMQ6SPDC
| URI | m2://inv/E3MMQ6SPDC |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Field extension#RU3B, Examples (example)
History
- 2026-11-02: add by m2/dev
Ngô Bảo Châu E3MP9BKRY9
| URI | m2://inv/E3MP9BKRY9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ngô Bảo Châu, Ngô Bảo Châu (topic). Also Wikidata Q216350
History
- 2026-11-02: add by m2/dev
E3MPQ6KTN1 E3MPQ6KTN1
| URI | m2://inv/E3MPQ6KTN1 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-funcs.tex#exercise-21 (exercise). In E59CDZA4DP, exercise, section 9.2.5
History
- 2026-11-01: add by m2/v0.6.13
E3MYBNQGDP E3MYBNQGDP
| URI | m2://inv/E3MYBNQGDP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36622#AZ2Y (statement). In 9704QPRPR6/e1, proposition 3.6
History
- 2026-10-30: add by m2/v0.4.12
Generalizations E3MZC5Z0E1
| URI | m2://inv/E3MZC5Z0E1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Equicontinuity#5M4S, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Local martingale E3N2HRRMJF
| URI | m2://inv/E3N2HRRMJF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Local martingale, Local martingale (definition). Also Wikidata Q1868500
History
- 2026-11-02: add by m2/dev
Examples E3N2W5VZ7J
| URI | m2://inv/E3N2W5VZ7J |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Verhoeff algorithm#KQN5, Examples (example)
History
- 2026-11-02: add by m2/dev
Bicantitruncation E3N4HHWX32
| URI | m2://inv/E3N4HHWX32 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Uniform 4-polytope#39HL, Bicantitruncation (unknown)
History
- 2026-11-02: add by m2/dev
E3N6KPBEEK E3N6KPBEEK
| URI | m2://inv/E3N6KPBEEK |
|---|---|
| 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.24314#Q0O3 (statement)
History
- 2026-11-01: add by m2/v0.6.15
E3N8H0SBCN E3N8H0SBCN
| URI | m2://inv/E3N8H0SBCN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39293#KY3W (statement). In S26QVW5613/e1, proposition 1.2.10
History
- 2026-10-30: add by m2/v0.4.12
E3NCB63PXQ E3NCB63PXQ
| URI | m2://inv/E3NCB63PXQ |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_graphs_intro.ptx#proof-1 (proof). In QKM9DD2H56, proof, section 5.1
History
- 2026-11-01: add by m2/v0.6.13
mathematical induction E3NJFGW3NF
| URI | m2://inv/E3NJFGW3NF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#8LYY, mathematical induction (definition)
History
- 2026-11-02: add by m2/dev
XChaCha E3NMXBNQ7C
| URI | m2://inv/E3NMXBNQ7C |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Salsa20#PBKZ, XChaCha (unknown)
History
- 2026-11-02: add by m2/dev
Abstract L-space E3NS0XK4FQ
| URI | m2://inv/E3NS0XK4FQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Abstract L-space, Abstract L-space (definition). Also Wikidata Q96371417
History
- 2026-11-02: add by m2/dev
Polarizing beam splitter E3NSFV2NZC
| URI | m2://inv/E3NSFV2NZC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polarizer#ZSB0, Polarizing beam splitter (unknown)
History
- 2026-11-02: add by m2/dev
E3NSZEDCJ5 E3NSZEDCJ5
| URI | m2://inv/E3NSZEDCJ5 |
|---|---|
| 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.36033#FVQO (statement). In N2W0AH1KRF/e1, corollary 2.3
History
- 2026-10-30: add by m2/v0.4.12
Non-rectifiable curve E3P09B3S2M
| URI | m2://inv/E3P09B3S2M |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arc length#MKXD, Non-rectifiable curve (unknown)
History
- 2026-11-02: add by m2/dev
Scatter matrix E3P4RM5EQ4
| URI | m2://inv/E3P4RM5EQ4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#L278, Scatter matrix (definition)
History
- 2026-11-02: add by m2/dev
E3PA0Z0JPC E3PA0Z0JPC
| URI | m2://inv/E3PA0Z0JPC |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/seq-basics.ptx#exercise-14 (exercise). In Y91XFCEVHQ, exercise, section 3.1
History
- 2026-11-01: add by m2/v0.6.13
taxicab geometry E3PA6WTNC0
| URI | m2://inv/E3PA6WTNC0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Taxicab metric 07CJNE6ZAQ |
Mentions
- wikidata: Wikidata Q573509, taxicab geometry (unknown). Also MathWorld TaxicabMetric
- wikipedia: Wikipedia Taxicab geometry, Taxicab geometry (definition). Also Wikidata Q573509
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
E3PDYNSK0F E3PDYNSK0F
| URI | m2://inv/E3PDYNSK0F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27775#CM3I (statement)
History
- 2026-11-01: add by m2/v0.6.15
Shader E3PES2NGA2
| URI | m2://inv/E3PES2NGA2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#FAQY, Shader (unknown)
History
- 2026-11-02: add by m2/dev
Example E3PQ0ZGVG1
| URI | m2://inv/E3PQ0ZGVG1 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Noetherian topological space#3LXJ, Example (example)
History
- 2026-11-02: add by m2/dev
Triaugmented dodecahedron E3PT0SESXH
| URI | m2://inv/E3PT0SESXH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#TWZP, Triaugmented dodecahedron (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#WEBT, Triaugmented dodecahedron (definition)
History
- 2026-11-02: add by m2/dev
E3PVMY2GB8 E3PVMY2GB8
| URI | m2://inv/E3PVMY2GB8 |
|---|---|
| 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.18744#ZSSZ (statement). In AE07JDH5D3/e1, lemma 2.5
History
- 2026-10-28: add by m2/v0.4.2
Classical Hamiltonian quaternions E3PXJJSNS5
| URI | m2://inv/E3PXJJSNS5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Classical Hamiltonian quaternions, Classical Hamiltonian quaternions (definition). Also Wikidata Q3658403
History
- 2026-11-02: add by m2/dev
Similarity E3QCNEQVSG
| URI | m2://inv/E3QCNEQVSG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Similarity (network science), Similarity (definition). Also Wikidata Q18378426
History
- 2026-11-02: add by m2/dev
Tree E3QE2WV0GC
| URI | m2://inv/E3QE2WV0GC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/relations/trees.tex#defn-1, Tree (definition). In PKGMM3P5QY, defn, section 82.2
History
- 2026-11-01: add by m2/v0.6.13
E3QESTN76S E3QESTN76S
| URI | m2://inv/E3QESTN76S |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book hits.tex#eg:unnatural-hit (example). In N54F33XE07, eg, section 5.13
History
- 2026-11-01: add by m2/v0.6.13
Explicit creation-sequence formula E3QF4WK0WZ
| URI | m2://inv/E3QF4WK0WZ |
|---|---|
| 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.08599#YW6E, Explicit creation-sequence formula (statement). In DST9FWMHT6/e1, theorem 3.16
History
- 2026-10-29: add by m2/v0.4.10
perspector E3QSK499CV
| URI | m2://inv/E3QSK499CV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#NMOR, perspector (definition)
History
- 2026-11-02: add by m2/dev
Kriging E3QTWVQM2X
| URI | m2://inv/E3QTWVQM2X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kriging, Kriging (definition). Also Wikidata Q225926
History
- 2026-11-02: add by m2/dev
E3QV3N4QT8 E3QV3N4QT8
| URI | m2://inv/E3QV3N4QT8 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20817#6B0C (definition). In M1YRBSZT4H/e1, definition 13
History
- 2026-10-27: add by m2/v0.4.2
Symmetries E3QVSAW9B2
| URI | m2://inv/E3QVSAW9B2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Apollonian gasket#S133, Symmetries (statement)
History
- 2026-11-02: add by m2/dev
dual basis E3QZ64BVBW
| URI | m2://inv/E3QZ64BVBW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Linear algebra > Duality > dual basis, dual basis (unknown). Also Mathlib Module.Basis.dualBasis
- mathlib_undergrad: mathlib_undergrad Linear algebra > Duality > dual basis, dual basis (unknown). Also Mathlib Module.Basis.dualBasis
History
- 2026-10-26: add by m2/dev
Polson, Nicholas E3R0TKKN52
| URI | m2://inv/E3R0TKKN52 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#21XH, Polson, Nicholas (unknown)
History
- 2026-11-02: add by m2/dev
Donn Moomaw E3R6NCTXBB
| URI | m2://inv/E3R6NCTXBB |
|---|---|
| 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#BPXI, Donn Moomaw (unknown)
History
- 2026-11-02: add by m2/dev
Hasse-Weil bound E3REKRVMGQ
| URI | m2://inv/E3REKRVMGQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after André Weil#16FQ, Hasse-Weil bound (unknown)
History
- 2026-11-02: add by m2/dev
E3RM7H3P7K E3RM7H3P7K
| URI | m2://inv/E3RM7H3P7K |
|---|---|
| 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.11056#RDPV (statement). In 1NDB3SAG7K/e1, proposition 6.3
History
- 2026-10-28: add by m2/v0.4.3
Examples E3RZS9Q48J
| URI | m2://inv/E3RZS9Q48J |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Integral of inverse functions#A4YG, Examples (example)
History
- 2026-11-02: add by m2/dev
E3S334AK5G E3S334AK5G
| URI | m2://inv/E3S334AK5G |
|---|---|
| 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.19010#96XB (statement). In 6315NJBYJM/e1, lemma 10
History
- 2026-10-28: add by m2/v0.4.2
E3S36VS2BS E3S36VS2BS
| URI | m2://inv/E3S36VS2BS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31127#WAMN (statement). In NS3RZ26JC7/e1, corollary 3
History
- 2026-10-31: add by m2/v0.5.6
Bulletin de la Société Royale des Sciences de Liège E3S63PDCKZ
| URI | m2://inv/E3S63PDCKZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a book, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q96329207, Bulletin de la Société Royale des Sciences de Liège (unknown). Also ProofWiki Book:Journal/Bulletin_de_la_Société_Royale_des_Sciences_de_Liège
History
- 2026-10-26: add by m2/dev
E3S7KKM27M E3S7KKM27M
| URI | m2://inv/E3S7KKM27M |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07573#SBJ2 (unknown). In PZF6C15TP6/e1, unknown
History
- 2026-10-29: add by m2/v0.4.10
Janet Myhre E3SE47YABM
| URI | m2://inv/E3SE47YABM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Janet Myhre, Janet Myhre (topic). Also Wikidata Q42244533
History
- 2026-11-02: add by m2/dev
E3SGB7RS79 E3SGB7RS79
| URI | m2://inv/E3SGB7RS79 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-several-vars-ders.tex#prop:intersectionconvex (statement). In E59CDZA4DP, prop, section 11.1.4
History
- 2026-11-01: add by m2/v0.6.13
Example E3SH086HFT
| URI | m2://inv/E3SH086HFT |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Replication (statistics)#XHDQ, Example (example)
History
- 2026-11-02: add by m2/dev
Heaps' law E3SNYQXY7Y
| URI | m2://inv/E3SNYQXY7Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#QO0T, Heaps' law (statement)
History
- 2026-11-02: add by m2/dev
Statistics of SailGP E3SQJ863FX
| URI | m2://inv/E3SQJ863FX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Statistics of SailGP, Statistics of SailGP (definition). Also Wikidata Q134106441
History
- 2026-11-02: add by m2/dev
E3STBYD74Q E3STBYD74Q
| URI | m2://inv/E3STBYD74Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2508.21045#XRCW (statement). In CGA36VE1C5/e1, fact 3.9.2
History
- 2026-10-27: add by m2/v0.3.6
Cynthia A. Phillips E3SV5AT8E6
| URI | m2://inv/E3SV5AT8E6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#5ML3, Cynthia A. Phillips (unknown)
History
- 2026-11-02: add by m2/dev
E3SW15XM2R E3SW15XM2R
| URI | m2://inv/E3SW15XM2R |
|---|---|
| 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#N5XM (statement)
History
- 2026-11-02: add by m2/v0.6.18
E3SWGK6KZ0 E3SWGK6KZ0
| URI | m2://inv/E3SWGK6KZ0 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20376#Y2MK (definition). In DGTCGQX6YZ/e1, definition 2.1
History
- 2026-10-27: add by m2/v0.4.2
Applications E3T52M8ZQH
| URI | m2://inv/E3T52M8ZQH |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quantum graph#41AC, Applications (example)
History
- 2026-11-02: add by m2/dev
Presheaf with transfers E3TAM6BK8T
| URI | m2://inv/E3TAM6BK8T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q55643322, Presheaf with transfers (unknown). Also nLab presheaf with transfer
- wikipedia: Wikipedia Presheaf with transfers, Presheaf with transfers (definition). Also Wikidata Q55643322
History
- 2026-10-26: add by m2/dev
Stable-disk comparison E3TDX27S8B
| URI | m2://inv/E3TDX27S8B |
|---|---|
| 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.02187#EB1X, Stable-disk comparison (statement). In BM9N20J1XA/e1, corollary 6
History
- 2026-10-29: add by m2/v0.4.12
E3TH95CM88 E3TH95CM88
| URI | m2://inv/E3TH95CM88 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20203#TQBO (statement)
History
- 2026-11-02: add by m2/v0.6.18
E3TJHD82Q9 E3TJHD82Q9
| URI | m2://inv/E3TJHD82Q9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36509#SRG0 (statement). In DPJ15KW23C/e1, lemma 4.2
History
- 2026-10-30: add by m2/v0.4.12
Bart Preneel E3TMP3NSNS
| URI | m2://inv/E3TMP3NSNS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bart Preneel, Bart Preneel (topic). Also Wikidata Q530074
History
- 2026-11-02: add by m2/dev
E3TP3JVCFX E3TP3JVCFX
| URI | m2://inv/E3TP3JVCFX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28141#TAOI (statement)
History
- 2026-11-01: add by m2/v0.6.15
E3TR8D2BYB E3TR8D2BYB
| URI | m2://inv/E3TR8D2BYB |
|---|---|
| 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.36230#D22R (statement). In 6190HR2KFH/e1, theorem 1.1
History
- 2026-10-30: add by m2/v0.4.12
E3V2FDSBGY E3V2FDSBGY
| URI | m2://inv/E3V2FDSBGY |
|---|---|
| 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.39675#GN7U (statement). In VM16G3PPH3/e1, lemma 5.1
History
- 2026-10-30: add by m2/v0.4.12
E3VQMRP9JQ E3VQMRP9JQ
| URI | m2://inv/E3VQMRP9JQ |
|---|---|
| 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 2610.15217#KHOW (definition). In G70Q2FB591/e1, definition 3.1
History
- 2026-10-28: add by m2/v0.4.2
E3VV0551X4 E3VV0551X4
| URI | m2://inv/E3VV0551X4 |
|---|---|
| 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 2108.10246#5T4B (statement). In XD0YT3XCW2/e1, lemma 2.22
History
- 2026-10-27: add by m2/v0.3.5
Continuous everywhere differentiable nowhere E3W24P4TCE
| URI | m2://inv/E3W24P4TCE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Differentiable function#D2KA, Continuous everywhere differentiable nowhere (unknown)
History
- 2026-11-02: add by m2/dev
Kaggle Notebooks E3W8CFPTDR
| URI | m2://inv/E3W8CFPTDR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kaggle#39I7, Kaggle Notebooks (unknown)
History
- 2026-11-02: add by m2/dev
Exact and engineering formulas E3W9AB1FFH
| URI | m2://inv/E3W9AB1FFH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Torsion (mechanics)#7ZXQ, Exact and engineering formulas (statement)
History
- 2026-11-02: add by m2/dev
Symmetries E3WN3CGAS3
| URI | m2://inv/E3WN3CGAS3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dürer graph#QU7P, Symmetries (statement)
History
- 2026-11-02: add by m2/dev
Generalizations E3WPW243K5
| URI | m2://inv/E3WPW243K5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weak convergence (Hilbert space)#D6X9, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Directional hardness with independent uniform auxiliary variables E3WQQHG59S
| URI | m2://inv/E3WQQHG59S |
|---|---|
| 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.02407#0MHI, Directional hardness with independent uniform auxiliary variables (statement). In ZZER8ZBSCR/e1, theorem A.2
History
- 2026-10-29: add by m2/v0.4.12
E3WRWTAMZP E3WRWTAMZP
| URI | m2://inv/E3WRWTAMZP |
|---|---|
| Kind | definition |
| 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.34856#V4DM (definition). In MRR92GQNZE/e1, definition 2.2
History
- 2026-10-30: add by m2/v0.4.12
The suspension in degree zero E3X646WBZF
| URI | m2://inv/E3X646WBZF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-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.04164#5BFM, The suspension in degree zero (statement). In KR7WXN4EWR/e1, lemma 6.1
History
- 2026-10-29: add by m2/v0.4.12
almost ineffable E3XFYM7QJW
| URI | m2://inv/E3XFYM7QJW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of large cardinal properties#CWI6, almost ineffable (definition)
History
- 2026-11-02: add by m2/dev
Twenty-one roots E3XG6Q583V
| URI | m2://inv/E3XG6Q583V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25120#YET8, Twenty-one roots (statement)
History
- 2026-11-01: add by m2/v0.6.15
Ugo Amaldi E3XK7M9TWC
| URI | m2://inv/E3XK7M9TWC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#RMDI, Ugo Amaldi (topic)
History
- 2026-11-02: add by m2/dev
E3XMDK02KW E3XMDK02KW
| URI | m2://inv/E3XMDK02KW |
|---|---|
| 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.39790#8V6M (statement). In C2C9GTQFYF/e1, proposition 3.1
History
- 2026-10-30: add by m2/v0.4.12
Algorithms for calculating the sine function E3XPPQ290Z
| URI | m2://inv/E3XPPQ290Z |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sine and cosine#KZCG, Algorithms for calculating the sine function (unknown)
History
- 2026-11-02: add by m2/dev
Rothe diagram E3XZM2V9B6
| URI | m2://inv/E3XZM2V9B6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Permutation#NCFQ, Rothe diagram (unknown)
History
- 2026-11-02: add by m2/dev
Vanishing theorems in the affine case E3Y30ZXNSZ
| URI | m2://inv/E3Y30ZXNSZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coherent sheaf cohomology#ST2N, Vanishing theorems in the affine case (statement)
History
- 2026-11-02: add by m2/dev
The Weyl–Berry conjecture E3Y48MHYMJ
| URI | m2://inv/E3Y48MHYMJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hearing the shape of a drum#NZ6K, The Weyl–Berry conjecture (statement)
History
- 2026-11-02: add by m2/dev
E3Y4RZH84X E3Y4RZH84X
| URI | m2://inv/E3Y4RZH84X |
|---|---|
| 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 2609.24484#01EQ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Point pattern analysis E3YAN5TTC3
| URI | m2://inv/E3YAN5TTC3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#YC9P, Point pattern analysis (definition)
History
- 2026-11-02: add by m2/dev
E3YGZCG4PQ E3YGZCG4PQ
| URI | m2://inv/E3YGZCG4PQ |
|---|---|
| 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.21975#LYUH (statement)
History
- 2026-11-02: add by m2/v0.6.17
E3YHFV0G0A E3YHFV0G0A
| URI | m2://inv/E3YHFV0G0A |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Barnette's conjecture#BIEF (problem)
History
- 2026-11-02: add by m2/dev
William Morgan E3YS6TTKY0
| URI | m2://inv/E3YS6TTKY0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of actuaries#JG4Y, William Morgan (unknown)
History
- 2026-11-02: add by m2/dev
Finney, D. J. E3YT40VEW4
| URI | m2://inv/E3YT40VEW4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#8DAJ, Finney, D. J. (topic)
History
- 2026-11-02: add by m2/dev
Erdős–Ulam problem E3YX8PC3CE
| URI | m2://inv/E3YX8PC3CE |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q27999391, Erdős–Ulam problem (problem). Also Erdős problem 212
- wikipedia: Wikipedia Erdős–Ulam problem, Erdős–Ulam problem (conjecture). Also Wikidata Q27999391
History
- 2026-10-26: add by m2/dev
Formal definition E3Z0TYNSTP
| URI | m2://inv/E3Z0TYNSTP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Clifford torus#443M, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
Newton's inequalities E3Z8J83Q9Y
| URI | m2://inv/E3Z8J83Q9Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Newton's inequalities, Newton's inequalities (definition). Also Wikidata Q1136209
History
- 2026-11-02: add by m2/dev
Post-dominance E3Z9G357KX
| URI | m2://inv/E3Z9G357KX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dominator (graph theory)#4NDC, Post-dominance (unknown)
History
- 2026-11-02: add by m2/dev
Function of a real variable E3ZDD8MFB5
| URI | m2://inv/E3ZDD8MFB5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of real analysis topics#GZIB, Function of a real variable (definition)
History
- 2026-11-02: add by m2/dev
E3ZFY5GFSE E3ZFY5GFSE
| URI | m2://inv/E3ZFY5GFSE |
|---|---|
| Kind | definition |
| 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.13833#XUK8 (definition). In VD4JP4HVBX/e1, definition 2.4
History
- 2026-10-28: add by m2/v0.4.2
E3ZJ6QY2J9 E3ZJ6QY2J9
| URI | m2://inv/E3ZJ6QY2J9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00137#Z2BY (statement). In NKW6YQ04QW/e1, proposition A.2
History
- 2026-10-30: add by m2/v0.4.12
E3ZV29M7SQ E3ZV29M7SQ
| URI | m2://inv/E3ZV29M7SQ |
|---|---|
| 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.12277#3W9W (statement). In N6GW8Z49SZ/e1, proposition 2.5
History
- 2026-10-28: add by m2/v0.4.2
Methods E3ZYCWJBQH
| URI | m2://inv/E3ZYCWJBQH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geodynamics#WIU3, Methods (definition)
History
- 2026-11-02: add by m2/dev