Inventory rows EK
The cards of the rows of the inventory whose ids start with EK. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Truncated inverse moments EK021XXSS9
| URI | m2://inv/EK021XXSS9 |
|---|---|
| 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.28198#ZKM7, Truncated inverse moments (statement)
History
- 2026-11-01: add by m2/v0.6.15
Clinical study design EK0803AQ7D
| URI | m2://inv/EK0803AQ7D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#LJ6A, Clinical study design (definition)
History
- 2026-11-02: add by m2/dev
Stokes' Theorem for Manifolds with Boundaries. EK0HYWY1J4
| URI | m2://inv/EK0HYWY1J4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Calculus on Manifolds (book)#NZY3, Stokes' Theorem for Manifolds with Boundaries. (statement)
History
- 2026-11-02: add by m2/dev
fixed-point combinator EK0ZQPQP5Y
| URI | m2://inv/EK0ZQPQP5Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2976255, fixed-point combinator (unknown). Also nLab fixed-point combinator
- wikipedia: Wikipedia Fixed-point combinator, Fixed-point combinator (definition). Also Wikidata Q2976255
History
- 2026-10-26: add by m2/dev
EK184TQVX0 EK184TQVX0
| URI | m2://inv/EK184TQVX0 |
|---|---|
| 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.21358#WGVD (statement). In XV70TXYS5A/e1, lemma 3.5
History
- 2026-10-27: add by m2/v0.4.2
Prime decomposition theorem EK18XFGBM8
| URI | m2://inv/EK18XFGBM8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 3-manifold#Z6P1, Prime decomposition theorem (statement)
History
- 2026-11-02: add by m2/dev
Permutation class EK1BMJWKRC
| URI | m2://inv/EK1BMJWKRC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Permutation class, Permutation class (definition). Also Wikidata Q48995809
History
- 2026-11-02: add by m2/dev
Applications EK1E6TKV89
| URI | m2://inv/EK1E6TKV89 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Overcompleteness#8QDX, Applications (example)
History
- 2026-11-02: add by m2/dev
Catharina Stroppel EK1JMVP4DE
| URI | m2://inv/EK1JMVP4DE |
|---|---|
| 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#67OH, Catharina Stroppel (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#OHKJ, Catharina Stroppel (topic)
- wikipedia: Wikipedia List of German mathematicians#PRQK, Catharina Stroppel (topic)
History
- 2026-11-02: add by m2/dev
EK1M14KG2T EK1M14KG2T
| URI | m2://inv/EK1M14KG2T |
|---|---|
| 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.19296#6DMF (statement). In WFR2WNW8NB/e1, lemma 3.4
History
- 2026-10-28: add by m2/v0.4.2
EK1QNE0NPX EK1QNE0NPX
| URI | m2://inv/EK1QNE0NPX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21339#X9AP (statement)
History
- 2026-11-02: add by m2/v0.6.18
absolutely irreducible EK1TV8K3RV
| URI | m2://inv/EK1TV8K3RV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4669870, absolutely irreducible (unknown). Also LMFDB knowl modlgal.absolutely_irreducible
- wikipedia: Wikipedia Absolute irreducibility, Absolute irreducibility (definition). Also Wikidata Q4669870
History
- 2026-10-26: add by m2/dev
Moses Haida EK1WN5XHR6
| URI | m2://inv/EK1WN5XHR6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Moses Haida, Moses Haida (definition). Also Wikidata Q115176047
History
- 2026-11-02: add by m2/dev
EK1YD9F6AP EK1YD9F6AP
| URI | m2://inv/EK1YD9F6AP |
|---|---|
| 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 2209.08186#MGR6 (statement). In X6VGVPQH8V/e1, corollary 4.5
History
- 2026-10-27: add by m2/v0.3.5
EK24HXFJW0 EK24HXFJW0
| URI | m2://inv/EK24HXFJW0 |
|---|---|
| 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 2011.08789#O2JD (definition). In 43AGRMP7T3/e1, definition 1.14
History
- 2026-10-27: add by m2/v0.3.5
Definition 4 EK271CN7PS
| URI | m2://inv/EK271CN7PS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generic-case complexity#ODGI, Definition 4 (definition)
History
- 2026-11-02: add by m2/dev
Christiaan Heij EK2DKJQTQF
| URI | m2://inv/EK2DKJQTQF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Christiaan Heij, Christiaan Heij (topic). Also Wikidata Q18921878
History
- 2026-11-02: add by m2/dev
local cohomology EK2KHSYWTG
| URI | m2://inv/EK2KHSYWTG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Local cohomology 6JB30BXDA2 |
Mentions
- wikidata: Wikidata Q6664297, local cohomology (unknown). Also EoM Local_cohomology
- wikipedia: Wikipedia Local cohomology, Local cohomology (definition). Also Wikidata Q6664297
History
- 2026-10-26: add by m2/dev
EK2MBR9ZFW EK2MBR9ZFW
| URI | m2://inv/EK2MBR9ZFW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15926#1XJ8 (statement). In G0J92BSX4A/e1, proposition 1.2
History
- 2026-10-28: add by m2/v0.4.2
EK2NJSXGSW EK2NJSXGSW
| URI | m2://inv/EK2NJSXGSW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36016#9LJ4 (statement). In NAM9ZMPHZ9/e1, proposition E.2
History
- 2026-10-30: add by m2/v0.4.12
Gerrit van Dijk EK2PVSC9RN
| URI | m2://inv/EK2PVSC9RN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gerrit van Dijk (mathematician), Gerrit van Dijk (topic). Also Wikidata Q2882249
History
- 2026-11-02: add by m2/dev
EK2RWTJ05K EK2RWTJ05K
| URI | m2://inv/EK2RWTJ05K |
|---|---|
| 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#EOUD (statement). In 9704QPRPR6/e1, lemma 3.1
History
- 2026-10-30: add by m2/v0.4.12
EK35769SYA EK35769SYA
| URI | m2://inv/EK35769SYA |
|---|---|
| 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.36668#46OH (statement). In RD729BY377/e1, theorem 5
History
- 2026-10-30: add by m2/v0.4.12
regular polyhedron EK366EPSJ0
| URI | m2://inv/EK366EPSJ0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q735071, regular polyhedron (definition). Also MathWorld RegularPolyhedron, nLab regular polyhedron, ProofWiki Definition:Regular_Polyhedron
- wikipedia: Wikipedia Regular polyhedron, Regular polyhedron (object). Also Wikidata Q735071
History
- 2026-10-26: add by m2/dev
Terminology EK37FJKX48
| URI | m2://inv/EK37FJKX48 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Convex polytope#2WF6, Terminology (definition)
History
- 2026-11-02: add by m2/dev
Cauchy formula for repeated integration EK3DBRSPWE
| URI | m2://inv/EK3DBRSPWE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cauchy formula for repeated integration, Cauchy formula for repeated integration (statement). Also Wikidata Q1429231
History
- 2026-11-02: add by m2/dev
EK3KCWMG6Z EK3KCWMG6Z
| URI | m2://inv/EK3KCWMG6Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1002.0879#LD9J (statement). In M0SQY5EZN5/e1, lemma 2.9.7
History
- 2026-10-27: add by m2/v0.3.5
Angle bisector EK3SANXWWS
| URI | m2://inv/EK3SANXWWS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bisection#WFM0, Angle bisector (unknown)
History
- 2026-11-02: add by m2/dev
Definition EK3SP4TDNM
| URI | m2://inv/EK3SP4TDNM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Models of DNA evolution#M4RP, Definition (definition)
History
- 2026-11-02: add by m2/dev
Symbolic mathematics EK3TQXYCV5
| URI | m2://inv/EK3TQXYCV5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of abstract algebra topics#2R0L, Symbolic mathematics (definition)
History
- 2026-11-02: add by m2/dev
Relative Dwork precision EK3TVM2HR0
| URI | m2://inv/EK3TVM2HR0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05652#L8FZ, Relative Dwork precision (statement). In 8BNPFYQDQX/e1, proposition 19.3
History
- 2026-10-29: add by m2/v0.4.10
Logistic regression EK40X8BGQH
| URI | m2://inv/EK40X8BGQH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Logistic regression, Logistic regression (definition). Also Wikidata Q1132755
History
- 2026-11-02: add by m2/dev
False positive rate EK44CRMJHQ
| URI | m2://inv/EK44CRMJHQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#JHY7, False positive rate (definition)
History
- 2026-11-02: add by m2/dev
Whittle, Peter EK46XCK6K8
| URI | m2://inv/EK46XCK6K8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#D6RB, Whittle, Peter (topic)
History
- 2026-11-02: add by m2/dev
74 knot EK474BN8S9
| URI | m2://inv/EK474BN8S9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 74 knot, 74 knot (definition). Also Wikidata Q17097722
History
- 2026-11-02: add by m2/dev
Class-conditional coverage of the true label EK4G52XDVE
| URI | m2://inv/EK4G52XDVE |
|---|---|
| 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.25388#Q7G0, Class-conditional coverage of the true label (statement)
History
- 2026-11-01: add by m2/v0.6.15
Criterion for linear conjugacy-class decompositions EK4H345R60
| URI | m2://inv/EK4H345R60 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10147#CV28, Criterion for linear conjugacy-class decompositions (statement). In WZWGAG2FSN/e1, theorem 5.3
History
- 2026-10-29: add by m2/v0.4.10
EK4SN30H0H EK4SN30H0H
| URI | m2://inv/EK4SN30H0H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2607.25960#YASG (statement). In 13GSWBXPCM/e1, lemma B.5
History
- 2026-10-27: add by m2/v0.3.5
Nicolas Bourbaki EK4WDEZC7C
| URI | m2://inv/EK4WDEZC7C |
|---|---|
| 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 Q190529, Nicolas Bourbaki (unknown). Also nLab Bourbaki, ProofWiki Mathematician:Nicolas_Bourbaki
- wikipedia: Wikipedia Nicolas Bourbaki, Nicolas Bourbaki (topic). Also Wikidata Q190529
History
- 2026-10-26: add by m2/dev
Double cancellation axiom EK50MJAMRK
| URI | m2://inv/EK50MJAMRK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Theory of conjoint measurement#96G7, Double cancellation axiom (statement)
History
- 2026-11-02: add by m2/dev
EK59R365T4 EK59R365T4
| URI | m2://inv/EK59R365T4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34289#LP7I (statement). In 9RBATD2Z1F/e1, theorem 3.7
History
- 2026-10-30: add by m2/v0.4.12
Higher torsionfreeness criterion EK5BKN3WPH
| URI | m2://inv/EK5BKN3WPH |
|---|---|
| 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.36444#AHOK, Higher torsionfreeness criterion (statement). In 4DJE72VPJP/e1, theorem 3.12
History
- 2026-10-30: add by m2/v0.4.12
Gottlieb polynomials EK5D56J4NP
| URI | m2://inv/EK5D56J4NP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polynomial topics#SVY9, Gottlieb polynomials (definition)
History
- 2026-11-02: add by m2/dev
Gabriel Lamé EK5ETHA1ZZ
| URI | m2://inv/EK5ETHA1ZZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of eponyms of special functions#UA9F, Gabriel Lamé (topic)
History
- 2026-11-02: add by m2/dev
Shili Lin EK5J4Z36X7
| URI | m2://inv/EK5J4Z36X7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#H2KP, Shili Lin (topic)
History
- 2026-11-02: add by m2/dev
ASIACRYPT EK5MM40SP0
| URI | m2://inv/EK5MM40SP0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia International Association for Cryptologic Research#AZI8, ASIACRYPT (unknown)
History
- 2026-11-02: add by m2/dev
EK5RQC81MT EK5RQC81MT
| URI | m2://inv/EK5RQC81MT |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_basics_pigeonhole.ptx#proof-1 (proof). In QKM9DD2H56, proof, section 4.1
History
- 2026-11-01: add by m2/v0.6.13
Extensions EK5S69NSR4
| URI | m2://inv/EK5S69NSR4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Burnside ring#P4EN, Extensions (statement)
History
- 2026-11-02: add by m2/dev
EK5Y8T9X2C EK5Y8T9X2C
| URI | m2://inv/EK5Y8T9X2C |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book categories.tex#proof-27 (proof). In N54F33XE07, proof, section 2.8
History
- 2026-11-01: add by m2/v0.6.13
Complete intersection ring EK5Z3T8DRT
| URI | m2://inv/EK5Z3T8DRT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Complete intersection ring, Complete intersection ring (definition). Also Wikidata Q5156503
History
- 2026-11-02: add by m2/dev
EK602B1KMR EK602B1KMR
| URI | m2://inv/EK602B1KMR |
|---|---|
| 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.18033#8XJO (statement). In 59VRB6Y27N/e1, lemma 3.5
History
- 2026-10-28: add by m2/v0.4.2
Hopcroft–Karp algorithm EK62RBWBQM
| URI | m2://inv/EK62RBWBQM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hopcroft–Karp algorithm, Hopcroft–Karp algorithm (definition). Also Wikidata Q1516988
History
- 2026-11-02: add by m2/dev
EK63MJR7WP EK63MJR7WP
| URI | m2://inv/EK63MJR7WP |
|---|---|
| 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 1808.00180#CGQ3 (statement). In XDYCG8DVHE/e1, corollary 3.1
History
- 2026-10-27: add by m2/v0.3.5
Definition EK63Q7SNPQ
| URI | m2://inv/EK63Q7SNPQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Serre group#ZUFM, Definition (definition)
History
- 2026-11-02: add by m2/dev
Øystein Ore EK67S7BH1V
| URI | m2://inv/EK67S7BH1V |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematicians born in the 19th century#QZZK, Øystein Ore (topic)
History
- 2026-11-02: add by m2/dev
Sharp information cost with a fourth-order certificate EK6NCTVDNF
| URI | m2://inv/EK6NCTVDNF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38228#SP1A, Sharp information cost with a fourth-order certificate (statement). In 9YAE8FNQST/e1, theorem 26.5
History
- 2026-10-30: add by m2/v0.4.12
EK6XC3DKTB EK6XC3DKTB
| URI | m2://inv/EK6XC3DKTB |
|---|---|
| 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 2411.17412#YU5N (statement). In DPBHYJBGKD/e1, corollary 3.19
History
- 2026-10-27: add by m2/v0.3.6
EK73SF66VN EK73SF66VN
| URI | m2://inv/EK73SF66VN |
|---|---|
| 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#92LF (statement). In WEPE51JCHZ/e1, theorem 5.4
History
- 2026-10-29: add by m2/v0.4.10
Example EK77HVPYVW
| URI | m2://inv/EK77HVPYVW |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 74 knot#4846, Example (example)
History
- 2026-11-02: add by m2/dev
Octant projection EK79K8YM8A
| URI | m2://inv/EK79K8YM8A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Octant projection, Octant projection (definition). Also Wikidata Q20962748
History
- 2026-11-02: add by m2/dev
E. Glenadine Gibb EK7A457Z8F
| URI | m2://inv/EK7A457Z8F |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia E. Glenadine Gibb, E. Glenadine Gibb (topic). Also Wikidata Q137798443
History
- 2026-11-02: add by m2/dev
EK7ANF5BAP EK7ANF5BAP
| URI | m2://inv/EK7ANF5BAP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21060#2K66 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Existence of $\varepsilon$-solutions with memory EK7E5Z9E9T
| URI | m2://inv/EK7E5Z9E9T |
|---|---|
| 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.27414#ZDQR, Existence of $\varepsilon$-solutions with memory (statement)
History
- 2026-11-01: add by m2/v0.6.15
James' space EK7KTD6C1M
| URI | m2://inv/EK7KTD6C1M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Banach spaces#4M1W, James' space (definition)
History
- 2026-11-02: add by m2/dev
Eight Mile Creek, South Australia EK7N87V43P
| URI | m2://inv/EK7N87V43P |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#UGEC, Eight Mile Creek, South Australia (unknown)
History
- 2026-11-02: add by m2/dev
Ed Scheinerman EK7WC217VD
| URI | m2://inv/EK7WC217VD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#3WJI, Ed Scheinerman (unknown)
History
- 2026-11-02: add by m2/dev
Examples EK7Y9FBCBC
| URI | m2://inv/EK7Y9FBCBC |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vector generalized linear model#O3ZU, Examples (example)
History
- 2026-11-02: add by m2/dev
Large width limits of neural networks EK7Z4V8ECB
| URI | m2://inv/EK7Z4V8ECB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Large width limits of neural networks, Large width limits of neural networks (definition). Also Wikidata Q97192483
History
- 2026-11-02: add by m2/dev
EK8007FD63 EK8007FD63
| URI | m2://inv/EK8007FD63 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24701#FPDH (statement)
History
- 2026-11-01: add by m2/v0.6.15
Multiplicative function EK86R3C4ZC
| URI | m2://inv/EK86R3C4ZC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of types of functions#FZXV, Multiplicative function (definition)
History
- 2026-11-02: add by m2/dev
EK88FA97T3 EK88FA97T3
| URI | m2://inv/EK88FA97T3 |
|---|---|
| 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#E6IK (statement)
History
- 2026-11-01: add by m2/v0.6.15
Definition EK88M3XTGQ
| URI | m2://inv/EK88M3XTGQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ribbon category#K4GG, Definition (definition)
History
- 2026-11-02: add by m2/dev
Abstention cannot close the gap at a fixed frequency EK88STY0AV
| URI | m2://inv/EK88STY0AV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08069#F25L, Abstention cannot close the gap at a fixed frequency (statement). In TVW9BTWJ3D/e1, corollary 12
History
- 2026-10-29: add by m2/v0.4.10
Algebraic splittings detected analytically EK8CFVFM9R
| URI | m2://inv/EK8CFVFM9R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00490#MVBI, Algebraic splittings detected analytically (statement). In PZJDV6SJ9E/e1, corollary 7.3
History
- 2026-10-30: add by m2/v0.4.12
Szemerédi's theorem EK8E9S4QWG
| URI | m2://inv/EK8E9S4QWG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#VFA2, Szemerédi's theorem (statement)
History
- 2026-11-02: add by m2/dev
Al-Biruni EK8N27QMB8
| URI | m2://inv/EK8N27QMB8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Iranian mathematicians#1E07, Al-Biruni (unknown)
History
- 2026-11-02: add by m2/dev
EK8TG0ZH94 EK8TG0ZH94
| URI | m2://inv/EK8TG0ZH94 |
|---|---|
| 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.17519#FZMD (statement). In H2DNTQ5MKV/e1, lemma 5.3
History
- 2026-10-28: add by m2/v0.4.2
EK8X4FDG2Z EK8X4FDG2Z
| URI | m2://inv/EK8X4FDG2Z |
|---|---|
| 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.11199#N1VX (statement). In RQ51P6W9C0/e1, lemma 2.5
History
- 2026-10-28: add by m2/v0.4.3
mathematics, classical EK8ZWKN6QP
| URI | m2://inv/EK8ZWKN6QP |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/B.5/mathematics-classical, mathematics, classical (concept). In N54F33XE07, index, section B.5
History
- 2026-11-01: add by m2/v0.6.13
Mach's principle EK96HT21GP
| URI | m2://inv/EK96HT21GP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mach's principle, Mach's principle (statement). Also Wikidata Q917909
History
- 2026-11-02: add by m2/dev
EK9B52SVW1 EK9B52SVW1
| URI | m2://inv/EK9B52SVW1 |
|---|---|
| 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 2609.37634#SY6P (statement). In NTWNXKDBKK/e1, proposition 2.7
History
- 2026-10-30: add by m2/v0.4.12
Drazin inverse EK9C549QX1
| URI | m2://inv/EK9C549QX1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Drazin inverse, Drazin inverse (definition). Also Wikidata Q4521948
History
- 2026-11-02: add by m2/dev
Russell's paradox 1902 EK9DA5P8SH
| URI | m2://inv/EK9DA5P8SH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia History of the function concept#ANDB, Russell's paradox 1902 (statement)
History
- 2026-11-02: add by m2/dev
Whitney immersion theorem EK9FKXSDK5
| URI | m2://inv/EK9FKXSDK5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 57-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q7996769, Whitney immersion theorem (statement). Also Wikidata Q7996769
- thousand_plus: thousand_plus Q7996769, Whitney immersion theorem (statement). Also Wikidata Q7996769, Wikipedia Whitney immersion theorem
- wikipedia: Wikipedia Whitney immersion theorem, Whitney immersion theorem (statement). Also Wikidata Q7996769
History
- 2026-10-26: add by m2/dev
Volterra integral equation EK9JVG1VK2
| URI | m2://inv/EK9JVG1VK2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Volterra integral equation DND8CBEVXT |
Mentions
- wikidata: Wikidata Q2632613, Volterra integral equation (unknown). Also EoM Volterra_equation, MathWorld VolterraIntegralEquationoftheFirstKind
- wikipedia: Wikipedia Volterra integral equation, Volterra integral equation (definition). Also Wikidata Q2632613
History
- 2026-10-26: add by m2/dev
Representation of $S_n$ decomposes EK9NCQW12X
| URI | m2://inv/EK9NCQW12X |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/rep-theory/rep-alg.tex#example-9, Representation of $S_n$ decomposes (example). In RZP28ERRZV, example, section 80.4
History
- 2026-11-01: add by m2/v0.6.13
EK9R7J65WX EK9R7J65WX
| URI | m2://inv/EK9R7J65WX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24007#19Z5 (statement)
History
- 2026-11-02: add by m2/v0.6.17
EK9X0DZ268 EK9X0DZ268
| URI | m2://inv/EK9X0DZ268 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/model-theory/models-of-arithmetic/models-of-pa.tex#prop-6 (statement). In PKGMM3P5QY, prop, section 49.1
History
- 2026-11-01: add by m2/v0.6.13
Elliptical cone EKA39WF145
| URI | m2://inv/EKA39WF145 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cone#TRG0, Elliptical cone (unknown)
History
- 2026-11-02: add by m2/dev
Examples EKA4PF0WMR
| URI | m2://inv/EKA4PF0WMR |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Commutator subgroup#CM8Y, Examples (example)
History
- 2026-11-02: add by m2/dev
Width as a fading memory EKA56MSVK3
| URI | m2://inv/EKA56MSVK3 |
|---|---|
| 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.06653#Y64J, Width as a fading memory (statement). In 9D2N76AJAT/e1, corollary 3.3
History
- 2026-10-29: add by m2/v0.4.10
EKA5V0F21Z EKA5V0F21Z
| URI | m2://inv/EKA5V0F21Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14204#6IJE (statement). In GZAY1Y12YD/e1, theorem E
History
- 2026-10-28: add by m2/v0.4.2
Euclidean cone over a metric space EKA63ZQ8T6
| URI | m2://inv/EKA63ZQ8T6 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 51-XX, 52-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17909#PVK6, Euclidean cone over a metric space (definition). In YXZX6Z8S6A/e1, definition 3.2
History
- 2026-10-28: add by m2/v0.4.2
EKA675D4QQ EKA675D4QQ
| URI | m2://inv/EKA675D4QQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 16-XX, 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 2605.02634#YVAD (statement). In EZ6PAF0MXH/e1, corollary 4.3
History
- 2026-10-27: add by m2/v0.3.5
Goldstein, Harvey EKA8Q0CDQJ
| URI | m2://inv/EKA8Q0CDQJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#R3U6, Goldstein, Harvey (unknown)
History
- 2026-11-02: add by m2/dev
Dublin, Louis Israel EKA9MG16FN
| URI | m2://inv/EKA9MG16FN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#ACUA, Dublin, Louis Israel (unknown)
History
- 2026-11-02: add by m2/dev
Applications EKAA7VVF9J
| URI | m2://inv/EKAA7VVF9J |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Compound matrix#514O, Applications (example)
History
- 2026-11-02: add by m2/dev
Half Moon Lake, Alberta EKABVS3V8H
| URI | m2://inv/EKABVS3V8H |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#T0JO, Half Moon Lake, Alberta (unknown)
History
- 2026-11-02: add by m2/dev
EKAC2M8XZD EKAC2M8XZD
| URI | m2://inv/EKAC2M8XZD |
|---|---|
| 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 2301.04933#E7CH (statement). In Q70CTMCJTP/e1, corollary 3.9
History
- 2026-10-27: add by m2/v0.3.5
Factorial moment measure EKAJMMDSYY
| URI | m2://inv/EKAJMMDSYY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Factorial moment measure, Factorial moment measure (definition). Also Wikidata Q17011595
History
- 2026-11-02: add by m2/dev
word EKARH9A7QF
| URI | m2://inv/EKARH9A7QF |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/2.1/word, word (concept). In QKM9DD2H56, index, section 2.1
History
- 2026-11-01: add by m2/v0.6.13
Theorem EKB15A8961
| URI | m2://inv/EKB15A8961 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polar topology#W5KB, Theorem (statement)
History
- 2026-11-02: add by m2/dev
EKB3RF8S47 EKB3RF8S47
| URI | m2://inv/EKB3RF8S47 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20956#QT5Q (statement). In X9WFC1D9ZS/e1, lemma 7
History
- 2026-10-27: add by m2/v0.4.2
philosophy EKB42Y33WK
| URI | m2://inv/EKB42Y33WK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5891, philosophy (definition). Also nLab philosophy, ProofWiki Definition:Philosophy
History
- 2026-10-26: add by m2/dev
Christina Birkenhake EKB60QQTES
| URI | m2://inv/EKB60QQTES |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Christina Birkenhake, Christina Birkenhake (topic). Also Wikidata Q37029362
History
- 2026-11-02: add by m2/dev
EKB7B40Z6F EKB7B40Z6F
| URI | m2://inv/EKB7B40Z6F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 53-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 math/9902147#NBH7 (statement). In 7CK21JGM5A/e1, corollary 3.11
History
- 2026-10-27: add by m2/v0.4.2
Cereceda's conjecture EKBA6DEFEH
| URI | m2://inv/EKBA6DEFEH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cereceda's conjecture, Cereceda's conjecture (statement). Also Wikidata Q85751315
History
- 2026-11-02: add by m2/dev
EKBAMFFAFK EKBAMFFAFK
| URI | m2://inv/EKBAMFFAFK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09171#A3F0 (statement). In 5ZPSZFE08Q/e1, theorem 3.7
History
- 2026-10-29: add by m2/v0.4.10
EKBDBST09R EKBDBST09R
| URI | m2://inv/EKBDBST09R |
|---|---|
| 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.35467#EN6K (statement). In FK89DQ9J4S/e1, proposition 3.3
History
- 2026-10-30: add by m2/v0.4.12
Léon Bottou EKBDMAZW9E
| URI | m2://inv/EKBDMAZW9E |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Léon Bottou, Léon Bottou (topic). Also Wikidata Q6711047
History
- 2026-11-02: add by m2/dev
EKBVBP90TD EKBVBP90TD
| URI | m2://inv/EKBVBP90TD |
|---|---|
| Kind | example |
| 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.07445#TZWK (example). In F1BM3Q8125/e1, example 3.10
History
- 2026-10-29: add by m2/v0.4.10
coordinate system EKBYTCM9DG
| URI | m2://inv/EKBYTCM9DG |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q11210, coordinate system (concept). Also MathWorld CoordinateSystem, nLab coordinate system
- wikipedia: Wikipedia Coordinate system, Coordinate system (definition). Also Wikidata Q11210
History
- 2026-10-26: add by m2/dev
number of prime divisors EKC2KHS4K1
| URI | m2://inv/EKC2KHS4K1 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q104155936, number of prime divisors (object). Also OEIS A001222
History
- 2026-10-26: add by m2/dev
Lindley's paradox EKC38E4PA6
| URI | m2://inv/EKC38E4PA6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#F25V, Lindley's paradox (statement)
History
- 2026-11-02: add by m2/dev
EKC557YVQW EKC557YVQW
| URI | m2://inv/EKC557YVQW |
|---|---|
| Kind | definition |
| 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.39169#SQ3J (definition). In ANHWXYPQFX/e1, definition
History
- 2026-10-30: add by m2/v0.4.12
EKC5AJ34AG EKC5AJ34AG
| URI | m2://inv/EKC5AJ34AG |
|---|---|
| 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.10243#9R9L (statement). In 6N7EAD1PYD/e1, theorem 1.12
History
- 2026-10-29: add by m2/v0.4.10
Marcel Berger EKC5PFS88D
| URI | m2://inv/EKC5PFS88D |
|---|---|
| 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#QV81, Marcel Berger (topic)
History
- 2026-11-02: add by m2/dev
Pierre Auger EKC5VHHP91
| URI | m2://inv/EKC5VHHP91 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pierre Auger (biologist), Pierre Auger (topic). Also Wikidata Q60291304
History
- 2026-11-02: add by m2/dev
EKD42EQ834 EKD42EQ834
| URI | m2://inv/EKD42EQ834 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10643#2JOJ (definition). In 1FJSQAGF8R/e1, definition 1
History
- 2026-10-28: add by m2/v0.4.3
Monotonicity of $T_{\mathrm{pa}}$ when $m=1$ EKDGJWCZXM
| URI | m2://inv/EKDGJWCZXM |
|---|---|
| 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.31363#Q6VN, Monotonicity of $T_{\mathrm{pa}}$ when $m=1$ (statement). In XB8NYRD86J/e1, proposition 4.1
History
- 2026-10-31: add by m2/v0.5.6
Primitive action EKDGYJME1Z
| URI | m2://inv/EKDGYJME1Z |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | deferred (the kind of the item is unknown) |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Group action#EYLE, Primitive action (unknown)
History
- 2026-11-02: add by m2/dev
- 2026-11-03: outcome by m2 corpus adopt
Theorem EKDW052DAH
| URI | m2://inv/EKDW052DAH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Double centralizer theorem#IHRI, Theorem (statement)
History
- 2026-11-02: add by m2/dev
EKE1SXC36X EKE1SXC36X
| URI | m2://inv/EKE1SXC36X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14267#UVTB (statement). In 9YTGFNA004/e1, lemma 2.7
History
- 2026-10-28: add by m2/v0.4.2
Provable prime EKE5CZ6PWY
| URI | m2://inv/EKE5CZ6PWY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Provable prime, Provable prime (definition). Also Wikidata Q7252277
History
- 2026-11-02: add by m2/dev
AP Calculus EKED5R8G7R
| URI | m2://inv/EKED5R8G7R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia AP Calculus, AP Calculus (definition). Also Wikidata Q13410440
History
- 2026-11-02: add by m2/dev
Example EKEGA0BWD5
| URI | m2://inv/EKEGA0BWD5 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Resolution (logic)#H6ZG, Example (example)
History
- 2026-11-02: add by m2/dev
Inoue, Lurdes EKEGN26FFZ
| URI | m2://inv/EKEGN26FFZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#K25D, Inoue, Lurdes (topic)
History
- 2026-11-02: add by m2/dev
ZF EKEHGJYJY5
| URI | m2://inv/EKEHGJYJY5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32338#6JO7, ZF (statement). In HVY45JQRNK/e1, lemma 4.1
History
- 2026-10-31: add by m2/v0.5.6
EKEKBVN8W5 EKEKBVN8W5
| URI | m2://inv/EKEKBVN8W5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 55-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31919#PJ1V (statement). In RHN12PW9P9/e1, lemma 4.1
History
- 2026-10-31: add by m2/v0.5.6
Riesz representation criterion EKFD2D6VP1
| URI | m2://inv/EKFD2D6VP1 |
|---|---|
| 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.14906#D7R9, Riesz representation criterion (statement). In 1F8ENX770M/e1, lemma 4.2
History
- 2026-10-28: add by m2/v0.4.2
Holomorphic sectional curvature EKFKJ6T1TA
| URI | m2://inv/EKFKJ6T1TA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kähler manifold#CUY2, Holomorphic sectional curvature (unknown)
History
- 2026-11-02: add by m2/dev
Banach measure EKFN8Q70VJ
| URI | m2://inv/EKFN8Q70VJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Banach measure, Banach measure (definition). Also Wikidata Q4853764
History
- 2026-11-02: add by m2/dev
EKFPZMDGPK EKFPZMDGPK
| URI | m2://inv/EKFPZMDGPK |
|---|---|
| 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.36068#KF9M (statement). In CKNAB8QY5B/e1, proposition 13
History
- 2026-10-30: add by m2/v0.4.12
constructible sheaf EKFS9P9789
| URI | m2://inv/EKFS9P9789 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5164407, constructible sheaf (unknown). Also nLab constructible sheaf
- wikipedia: Wikipedia Constructible sheaf, Constructible sheaf (definition). Also Wikidata Q5164407
History
- 2026-10-26: add by m2/dev
Anticorrelated variations of constants formula EKFWCD1FJW
| URI | m2://inv/EKFWCD1FJW |
|---|---|
| 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 2202.02831#HQ2I, Anticorrelated variations of constants formula (statement). In YA5DBTQCB1/e1, corollary 3.2
History
- 2026-10-27: add by m2/v0.3.5
Reis--Rothvoss: square matrices and the rectangular $p=2$ case EKFY2HJZ3P
| URI | m2://inv/EKFY2HJZ3P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38228#M0YQ, Reis--Rothvoss: square matrices and the rectangular $p=2$ case (statement). In 9YAE8FNQST/e1, corollary 3.17
History
- 2026-10-30: add by m2/v0.4.12
EKFYBSGSEG EKFYBSGSEG
| URI | m2://inv/EKFYBSGSEG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06152#KSM8 (statement). In HH35K7S17H/e1, theorem 3.1
History
- 2026-10-29: add by m2/v0.4.10
Reconstruction algorithm EKG3Z24PN3
| URI | m2://inv/EKG3Z24PN3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tomographic reconstruction#LEG7, Reconstruction algorithm (unknown)
History
- 2026-11-02: add by m2/dev
Definition EKGERT5A03
| URI | m2://inv/EKGERT5A03 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Differential of a function#O4AQ, Definition (definition)
History
- 2026-11-02: add by m2/dev
A simple example EKGFRWY35A
| URI | m2://inv/EKGFRWY35A |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Free Boolean algebra#4A0I, A simple example (example)
History
- 2026-11-02: add by m2/dev
Distributional version of $\Xi$ EKGX5XM91R
| URI | m2://inv/EKGX5XM91R |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14616#UWKR, Distributional version of $\Xi$ (definition). In 17ACAG0N9C/e1, definition 2.11
History
- 2026-10-28: add by m2/v0.4.2
OxMetrics EKGXAHFQR8
| URI | m2://inv/EKGXAHFQR8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#QMRH, OxMetrics (definition)
History
- 2026-11-02: add by m2/dev
Spatial bifurcation EKGY22C539
| URI | m2://inv/EKGY22C539 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spatial bifurcation, Spatial bifurcation (definition). Also Wikidata Q7574049
History
- 2026-11-02: add by m2/dev
Roman Vershynin EKGZP8VJZM
| URI | m2://inv/EKGZP8VJZM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#38DY, Roman Vershynin (unknown)
History
- 2026-11-02: add by m2/dev
EKH0NVM499 EKH0NVM499
| URI | m2://inv/EKH0NVM499 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38749#5M1K (statement). In 3ZPVZE3GZH/e1, proposition 1
History
- 2026-10-30: add by m2/v0.4.12
Female education in Germany EKHBEW2JCX
| URI | m2://inv/EKHBEW2JCX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Female education#FOGL, Female education in Germany (unknown)
History
- 2026-11-02: add by m2/dev
EKHENGCK4J EKHENGCK4J
| URI | m2://inv/EKHENGCK4J |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 55-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2303.09207#AE6D (example). In 9DQKY7KGE8/e1, example A.6
History
- 2026-10-31: add by m2/v0.5.6
Exact expectation and phase transition EKHHMP93WG
| URI | m2://inv/EKHHMP93WG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00614#UGKK, Exact expectation and phase transition (statement). In NC5Z77F6H4/e1, theorem 4.1
History
- 2026-10-30: add by m2/v0.4.12
Robert P. Lipton EKHNH6RKAR
| URI | m2://inv/EKHNH6RKAR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Robert P. Lipton, Robert P. Lipton (topic). Also Wikidata Q102188261
History
- 2026-11-02: add by m2/dev
EKHTQSDWXV EKHTQSDWXV
| URI | m2://inv/EKHTQSDWXV |
|---|---|
| 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.28794#KHOI (definition)
History
- 2026-11-01: add by m2/v0.6.15
Frege system EKHZA8NFFV
| URI | m2://inv/EKHZA8NFFV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Frege system, Frege system (definition). Also Wikidata Q5501318
History
- 2026-11-02: add by m2/dev
EKJ0EHFQYD EKJ0EHFQYD
| URI | m2://inv/EKJ0EHFQYD |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02061#BZ2N (definition). In F5STMSPR6X/e1, definition 3.6
History
- 2026-10-29: add by m2/v0.4.12
Vinay V. Deodhar EKJ6HZ3NWG
| URI | m2://inv/EKJ6HZ3NWG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vinay V. Deodhar, Vinay V. Deodhar (topic). Also Wikidata Q7931386
History
- 2026-11-02: add by m2/dev
Source term EKJBEWR81E
| URI | m2://inv/EKJBEWR81E |
|---|---|
| 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.22513#22EV, Source term (statement)
History
- 2026-11-02: add by m2/v0.6.17
EKJBS1MEZQ EKJBS1MEZQ
| URI | m2://inv/EKJBS1MEZQ |
|---|---|
| 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.32475#79Z9 (statement). In 5N606WED8M/e1, theorem 5
History
- 2026-10-31: add by m2/v0.5.6
Coarea formula EKJF9TBHG9
| URI | m2://inv/EKJF9TBHG9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coarea formula, Coarea formula (statement). Also Wikidata Q2591257
History
- 2026-11-02: add by m2/dev
EKJGHCHPER EKJGHCHPER
| URI | m2://inv/EKJGHCHPER |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0406514#3CI9 (definition). In CY1FE8W1ZW/e1, definition 0.100
History
- 2026-10-27: add by m2/v0.4.0
EKJJY2XM9T EKJJY2XM9T
| URI | m2://inv/EKJJY2XM9T |
|---|---|
| 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.27484#HJ73 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Statement EKJK6RFR4Q
| URI | m2://inv/EKJK6RFR4Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eilenberg–Moore spectral sequence#OBT5, Statement (statement)
History
- 2026-11-02: add by m2/dev
Weakly Quasar-Convex EKJRCBHJNH
| URI | m2://inv/EKJRCBHJNH |
|---|---|
| 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 2610.10927#5E22, Weakly Quasar-Convex (definition). In DHEJP3YATV/e1, definition 2
History
- 2026-10-28: add by m2/v0.4.3
EKJSZCDHKP EKJSZCDHKP
| URI | m2://inv/EKJSZCDHKP |
|---|---|
| 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 2606.00589#ESJX (statement). In C8JAGP8VCQ/e1, lemma 2.5
History
- 2026-10-27: add by m2/v0.3.5
Makoto Natsuume EKJVTD9BDR
| URI | m2://inv/EKJVTD9BDR |
|---|---|
| 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 Q74425580, Makoto Natsuume (unknown). Also nLab Makoto Natsuume
History
- 2026-10-26: add by m2/dev
Nachman Aronszajn EKJWEP2AQ1
| URI | m2://inv/EKJWEP2AQ1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#RTPU, Nachman Aronszajn (topic)
History
- 2026-11-02: add by m2/dev
EKK321M2JJ EKK321M2JJ
| URI | m2://inv/EKK321M2JJ |
|---|---|
| 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.24845#HWRW (statement)
History
- 2026-11-01: add by m2/v0.6.15
Upper-bound EKK9D07N7P
| URI | m2://inv/EKK9D07N7P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21781#RVNL, Upper-bound (statement). In FEQ72D1AX6/e1, lemma 5.17
History
- 2026-10-27: add by m2/v0.4.2
Examples EKKB0JWEKZ
| URI | m2://inv/EKKB0JWEKZ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Adapted process#I9ZZ, Examples (example)
History
- 2026-11-02: add by m2/dev
EKKDDSY2WJ EKKDDSY2WJ
| URI | m2://inv/EKKDDSY2WJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26769#QYUF (statement)
History
- 2026-11-01: add by m2/v0.6.15
EKKFBF3QR8 EKKFBF3QR8
| URI | m2://inv/EKKFBF3QR8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08655#8Z5U (statement). In ZT7H1ZDN96/e1, lemma 3.6
History
- 2026-10-29: add by m2/v0.4.10
Stirling transform EKKHY27606
| URI | m2://inv/EKKHY27606 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7617600, Stirling transform (unknown). Also MathWorld StirlingTransform
- wikipedia: Wikipedia Stirling transform, Stirling transform (definition). Also Wikidata Q7617600
History
- 2026-10-26: add by m2/dev
Structural Equations with Latent Variables EKKS0WVBP6
| URI | m2://inv/EKKS0WVBP6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Structural Equations with Latent Variables, Structural Equations with Latent Variables (definition). Also Wikidata Q28450358
History
- 2026-11-02: add by m2/dev
Quantum algorithm for observable expectation evaluation for Scrooge moments; informal EKKYFJ4BBK
| URI | m2://inv/EKKYFJ4BBK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39992#KJRJ, Quantum algorithm for observable expectation evaluation for Scrooge moments; informal (statement). In WF64CGYVK1/e1, theorem 3
History
- 2026-10-30: add by m2/v0.4.12
nonfinite basability EKKZR1RQWR
| URI | m2://inv/EKKZR1RQWR |
|---|---|
| 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.22667#E6X7, nonfinite basability (statement)
History
- 2026-11-02: add by m2/v0.6.17
EKM0Y45F70 EKM0Y45F70
| URI | m2://inv/EKM0Y45F70 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39890#0W5H (example). In GGVQ3B9KJ6/e1, example 1
History
- 2026-10-30: add by m2/v0.4.12
Jixiang Fu EKM54GSHTJ
| URI | m2://inv/EKM54GSHTJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#CPUH, Jixiang Fu (unknown)
History
- 2026-11-02: add by m2/dev
Schur decomposition EKM9AYCE6V
| URI | m2://inv/EKM9AYCE6V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Schur decomposition V1JG4C7R7B |
Mentions
- wikidata: Wikidata Q1064218, Schur decomposition (unknown). Also MathWorld SchurDecomposition
- wikipedia: Wikipedia Schur decomposition, Schur decomposition (definition). Also Wikidata Q1064218
History
- 2026-10-26: add by m2/dev
Ann Gates EKMBFKYBTF
| URI | m2://inv/EKMBFKYBTF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#ED9U, Ann Gates (unknown)
History
- 2026-11-02: add by m2/dev
EKMW4VH4AE EKMW4VH4AE
| URI | m2://inv/EKMW4VH4AE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02935#YA45 (statement). In WE2KKAMEFW/e1, theorem
History
- 2026-10-29: add by m2/v0.4.12
Marty Golubitsky EKN0PH47V2
| URI | m2://inv/EKN0PH47V2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#6OS6, Marty Golubitsky (topic)
History
- 2026-11-02: add by m2/dev
EKN2JMSQW8 EKN2JMSQW8
| URI | m2://inv/EKN2JMSQW8 |
|---|---|
| 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.03420#NOF8 (statement). In TG11SZZQCR/e1, proposition 5.6
History
- 2026-10-29: add by m2/v0.4.12
EKND9Q2R4C EKND9Q2R4C
| URI | m2://inv/EKND9Q2R4C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11545#HJ7V (statement). In VN084GGZGK/e1, proposition 4.23
History
- 2026-10-28: add by m2/v0.4.3
predicate, logic EKNEZ0J9XG
| URI | m2://inv/EKNEZ0J9XG |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/A.11/predicate-logic, predicate, logic (concept). In N54F33XE07, index, section A.11
History
- 2026-11-01: add by m2/v0.6.13
EKNF7H9T52 EKNF7H9T52
| URI | m2://inv/EKNF7H9T52 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/dedekind.tex#proof-2 (proof). In RZP28ERRZV, proof, section 10.3
History
- 2026-11-01: add by m2/v0.6.13
no long segments EKNHV1DPEH
| URI | m2://inv/EKNHV1DPEH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14050#FWY1, no long segments (statement). In RENT22YXW3/e1, lemma 7.4
History
- 2026-10-28: add by m2/v0.4.2
Lucifer EKNKR5A3G5
| URI | m2://inv/EKNKR5A3G5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lucifer (cipher), Lucifer (definition). Also Wikidata Q1343482
History
- 2026-11-02: add by m2/dev
Mixed finite element method EKNPVMHES1
| URI | m2://inv/EKNPVMHES1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mixed finite element method, Mixed finite element method (definition). Also Wikidata Q16965966
History
- 2026-11-02: add by m2/dev
AM-IM-GM inequality EKNQEPD5F0
| URI | m2://inv/EKNQEPD5F0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Identric mean#Q95H, AM-IM-GM inequality (statement)
History
- 2026-11-02: add by m2/dev
EKNTCS29M5 EKNTCS29M5
| URI | m2://inv/EKNTCS29M5 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book basics.tex#ex:ap-sigma (exercise). In N54F33XE07, ex, section 1.15
History
- 2026-11-01: add by m2/v0.6.13
EKNYWVGZS1 EKNYWVGZS1
| URI | m2://inv/EKNYWVGZS1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07292#QW9F (statement). In PZ17NHGAKX/e1, lemma 6
History
- 2026-10-29: add by m2/v0.4.10
Simple examples EKP8RHCCZQ
| URI | m2://inv/EKP8RHCCZQ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Permutation polynomial#HMJY, Simple examples (example)
History
- 2026-11-02: add by m2/dev
EKPGC4WX5R EKPGC4WX5R
| URI | m2://inv/EKPGC4WX5R |
|---|---|
| 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#JUG0 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Finite-class offset estimate EKPVMG9DJC
| URI | m2://inv/EKPVMG9DJC |
|---|---|
| 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.20687#XIFD, Finite-class offset estimate (statement)
History
- 2026-11-02: add by m2/v0.6.18
EKQ249CHWD EKQ249CHWD
| URI | m2://inv/EKQ249CHWD |
|---|---|
| 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.10365#KPM3 (statement). In PRVQPSBVHK/e1, lemma 11
History
- 2026-10-29: add by m2/v0.4.10
Applications EKQ5H67JS1
| URI | m2://inv/EKQ5H67JS1 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wavelet#SPZ8, Applications (example)
History
- 2026-11-02: add by m2/dev
ASCII Art EKQ92A633P
| URI | m2://inv/EKQ92A633P |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of steganography techniques#NERA, ASCII Art (unknown)
History
- 2026-11-02: add by m2/dev
≀ EKQMSJBNW5
| URI | m2://inv/EKQMSJBNW5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of mathematical symbols#YHXF, ≀ (definition)
History
- 2026-11-02: add by m2/dev
EKQP6ZSD3V EKQP6ZSD3V
| URI | m2://inv/EKQP6ZSD3V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-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 2610.00109#6CD4 (statement). In FS8J84KFX2/e1, lemma 3.1
History
- 2026-10-30: add by m2/v0.4.12
Examples EKQTYX10GB
| URI | m2://inv/EKQTYX10GB |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Differential graded algebra#CAJ3, Examples (example)
History
- 2026-11-02: add by m2/dev
Birgit Speh EKQWWVX14E
| URI | m2://inv/EKQWWVX14E |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Birgit Speh, Birgit Speh (topic). Also Wikidata Q19564434
History
- 2026-11-02: add by m2/dev
EKQZ7GY9V8 EKQZ7GY9V8
| URI | m2://inv/EKQZ7GY9V8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2311.01874#GT1Y (statement). In A4TR95VGX2/e1, corollary 1
History
- 2026-10-27: add by m2/v0.3.5
EKQZBQ3ERH EKQZBQ3ERH
| URI | m2://inv/EKQZBQ3ERH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2506.16491#Z95D (statement). In P9J6P06Y40/e1, theorem 3.5
History
- 2026-10-27: add by m2/v0.3.5
EKR2SN9JXQ EKR2SN9JXQ
| URI | m2://inv/EKR2SN9JXQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09561#RGVL (statement). In WDV5E2CVTR/e1, theorem 5.1
History
- 2026-10-29: add by m2/v0.4.10
Equivalent definition EKR36NPPXY
| URI | m2://inv/EKR36NPPXY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Factorization system#M2DS, Equivalent definition (definition)
History
- 2026-11-02: add by m2/dev
Philip Hall EKREQ8JPRF
| URI | m2://inv/EKREQ8JPRF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of eponyms of special functions#TAZN, Philip Hall (topic)
History
- 2026-11-02: add by m2/dev
EKRF4H9APF EKRF4H9APF
| URI | m2://inv/EKRF4H9APF |
|---|---|
| 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.14821#Q7CE (statement). In B0B2P7JEAQ/e1, proposition 4.1
History
- 2026-10-28: add by m2/v0.4.2
Vopěnka cardinal EKRFXC3T18
| URI | m2://inv/EKRFXC3T18 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of large cardinal properties#02EW, Vopěnka cardinal (statement)
History
- 2026-11-02: add by m2/dev
EKRQ5HJCX2 EKRQ5HJCX2
| URI | m2://inv/EKRQ5HJCX2 |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26114#KPUH (problem)
History
- 2026-11-01: add by m2/v0.6.15
Multidimensional fast Fourier transform EKRY6AZERE
| URI | m2://inv/EKRY6AZERE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fast Fourier transform#04JU, Multidimensional fast Fourier transform (unknown)
History
- 2026-11-02: add by m2/dev
EKS06V9CEX EKS06V9CEX
| URI | m2://inv/EKS06V9CEX |
|---|---|
| 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.18017#HFKL (statement). In EBSQEQYECS/e1, proposition 2
History
- 2026-10-28: add by m2/v0.4.2
An irreducible $\lambda$-transient counterexample EKS0E9QD7F
| URI | m2://inv/EKS0E9QD7F |
|---|---|
| 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.27335#N3LL, An irreducible $\lambda$-transient counterexample (statement)
History
- 2026-11-01: add by m2/v0.6.15
Example EKS7W7WJ44
| URI | m2://inv/EKS7W7WJ44 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Algebraic function field#ZCZ1, Example (example)
History
- 2026-11-02: add by m2/dev
EKS8PG4VCY EKS8PG4VCY
| URI | m2://inv/EKS8PG4VCY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06895#E6BY (statement). In PBB3PSDP0S/e1, lemma 2
History
- 2026-10-29: add by m2/v0.4.10
EKSKVYJ1P3 EKSKVYJ1P3
| URI | m2://inv/EKSKVYJ1P3 |
|---|---|
| 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.37739#VQ65 (statement). In F5XF5VXTXY/e1, lemma A.2
History
- 2026-10-30: add by m2/v0.4.12
Schauenburg–Ng theorem EKSM8Y1VC7
| URI | m2://inv/EKSM8Y1VC7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schauenburg–Ng theorem, Schauenburg–Ng theorem (statement). Also Wikidata Q133284166
History
- 2026-11-02: add by m2/dev
EKSP4ZWJ3G EKSP4ZWJ3G
| URI | m2://inv/EKSP4ZWJ3G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30200#06DP (statement)
History
- 2026-11-01: add by m2/v0.6.15
Bartel Leendert van der Waerden EKSQEDPYVW
| URI | m2://inv/EKSQEDPYVW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#RCXB, Bartel Leendert van der Waerden (topic)
History
- 2026-11-02: add by m2/dev
Unit propagation EKSSFYA8QY
| URI | m2://inv/EKSSFYA8QY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Unit propagation, Unit propagation (definition). Also Wikidata Q1307834
History
- 2026-11-02: add by m2/dev
EKSZFCYA2A EKSZFCYA2A
| URI | m2://inv/EKSZFCYA2A |
|---|---|
| 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 2510.12502#O2M3 (statement). In 3A4K47Y9F2/e1, lemma 5.7
History
- 2026-10-27: add by m2/v0.4.0
EKSZTK0PMR EKSZTK0PMR
| URI | m2://inv/EKSZTK0PMR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20798#O09N (statement)
History
- 2026-11-02: add by m2/v0.6.18
Rufus Oldenburger EKT82K4QD4
| URI | m2://inv/EKT82K4QD4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#YDLJ, Rufus Oldenburger (unknown)
History
- 2026-11-02: add by m2/dev
EKTD7AD38A EKTD7AD38A
| URI | m2://inv/EKTD7AD38A |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09422#5VVA (definition). In MS7M2BJS9X/e1, definition 3.5
History
- 2026-10-29: add by m2/v0.4.10
DeepSeek-V4.1-Flash EKTDR0Q930
| URI | m2://inv/EKTDR0Q930 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia DeepSeek#RJ2A, DeepSeek-V4.1-Flash (unknown)
History
- 2026-11-02: add by m2/dev
Paarangot Jyeshtadevan Namboodiri EKTJJ16749
| URI | m2://inv/EKTJJ16749 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Indian mathematicians#7TY0, Paarangot Jyeshtadevan Namboodiri (unknown)
History
- 2026-11-02: add by m2/dev
EKTKQ49W32 EKTKQ49W32
| URI | m2://inv/EKTKQ49W32 |
|---|---|
| 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.15511#NO86 (statement). In TZM08VJAQT/e1, lemma 2.2
History
- 2026-10-28: add by m2/v0.4.2
Kernel smoother EKV2QTKTXK
| URI | m2://inv/EKV2QTKTXK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#K95W, Kernel smoother (definition)
History
- 2026-11-02: add by m2/dev
truncated convex potentials EKV30P3SW9
| URI | m2://inv/EKV30P3SW9 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 35-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 2210.06147#M81A, truncated convex potentials (example). In 94RBNQA07A/e1, example 3.15
History
- 2026-10-27: add by m2/v0.3.5
EKVD6A02MC EKVD6A02MC
| URI | m2://inv/EKVD6A02MC |
|---|---|
| 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.33476#7G8Q (statement). In DAQW640R25/e1, theorem 1.1
History
- 2026-10-30: add by m2/v0.4.12
EKVF1ZMH0G EKVF1ZMH0G
| URI | m2://inv/EKVF1ZMH0G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29501#B1KY (statement)
History
- 2026-11-01: add by m2/v0.6.15
center EKVJ4Q6R9K
| URI | m2://inv/EKVJ4Q6R9K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#F196, center (definition)
History
- 2026-11-02: add by m2/dev
Generalizations EKVNDDKXB4
| URI | m2://inv/EKVNDDKXB4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mostowski collapse lemma#MEDX, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
EKVP1WQHJ1 EKVP1WQHJ1
| URI | m2://inv/EKVP1WQHJ1 |
|---|---|
| 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.18536#2UWF (statement). In JM5KKNKK1J/e1, proposition 4.4
History
- 2026-10-28: add by m2/v0.4.2
Certification with estimated population values EKVRQ8RTF2
| URI | m2://inv/EKVRQ8RTF2 |
|---|---|
| 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.10393#KQK0, Certification with estimated population values (statement). In ZGS97E3PB7/e1, proposition B.4
History
- 2026-10-29: add by m2/v0.4.10
Forecast error EKVV1J5NDJ
| URI | m2://inv/EKVV1J5NDJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Forecast error, Forecast error (definition). Also Wikidata Q3624438
History
- 2026-11-02: add by m2/dev
EKVWMK45GM EKVWMK45GM
| URI | m2://inv/EKVWMK45GM |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book hlevels.tex#proof-4 (proof). In N54F33XE07, proof, section 6.1
History
- 2026-11-01: add by m2/v0.6.13
David Rees EKW4CZ2MPR
| URI | m2://inv/EKW4CZ2MPR |
|---|---|
| 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 Q747068, David Rees (unknown). Also nLab David Rees
- wikipedia: Wikipedia David Rees (mathematician), David Rees (topic). Also Wikidata Q747068
History
- 2026-10-26: add by m2/dev
Julia Sharp EKWH4SNX8E
| URI | m2://inv/EKWH4SNX8E |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#STFK, Julia Sharp (topic)
History
- 2026-11-02: add by m2/dev
Examples EKWJWHKBM1
| URI | m2://inv/EKWJWHKBM1 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exact category#H09R, Examples (example)
History
- 2026-11-02: add by m2/dev
EKWM5TNXHN EKWM5TNXHN
| URI | m2://inv/EKWM5TNXHN |
|---|---|
| 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 2610.07401#ZKET (statement). In FQ5435B36D/e1, corollary 3.4
History
- 2026-10-29: add by m2/v0.4.10
Vertical composition EKWVD7YQWF
| URI | m2://inv/EKWVD7YQWF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Natural transformation#02B6, Vertical composition (unknown)
History
- 2026-11-02: add by m2/dev
EKWZZ04GTD EKWZZ04GTD
| URI | m2://inv/EKWZZ04GTD |
|---|---|
| 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.10928#E97T (statement). In 8M7BFVQYMM/e1, lemma 4.5
History
- 2026-10-28: add by m2/v0.4.3
EKX2CM07KT EKX2CM07KT
| URI | m2://inv/EKX2CM07KT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/AxiomsRealNumbers.tex#definition-6 (definition). In P1C114YBXG, definition, section u1
History
- 2026-11-01: add by m2/v0.6.13
Reflected Brownian motion EKX4SVAHZ0
| URI | m2://inv/EKX4SVAHZ0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#6KLX, Reflected Brownian motion (definition)
History
- 2026-11-02: add by m2/dev
EKX72F93MY EKX72F93MY
| URI | m2://inv/EKX72F93MY |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_recurrence_exercises.ptx#exercise-3 (exercise). In QKM9DD2H56, exercise, section 9
History
- 2026-11-01: add by m2/v0.6.13
Mandelbrot sets of symmetric composition algebras EKXCSRS9RJ
| URI | m2://inv/EKXCSRS9RJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09544#YTHU, Mandelbrot sets of symmetric composition algebras (statement). In DYBM6Q2K6R/e1, theorem B
History
- 2026-10-29: add by m2/v0.4.10
Poincar\'e duality EKXY5E8RHN
| URI | m2://inv/EKXY5E8RHN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01731#NHMX, Poincar\'e duality (statement). In 3TJ2FWXQ0D/e1, fact 2.5
History
- 2026-10-29: add by m2/v0.4.12
Expected error for iterated barycenters EKY0VKFN3H
| URI | m2://inv/EKY0VKFN3H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17909#UEDY, Expected error for iterated barycenters (statement). In YXZX6Z8S6A/e1, theorem 5.9
History
- 2026-10-28: add by m2/v0.4.2
Subgradient EKY3WN0H82
| URI | m2://inv/EKY3WN0H82 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Subderivative#3B9O, Subgradient (unknown)
History
- 2026-11-02: add by m2/dev
EKY5WH1KEM EKY5WH1KEM
| URI | m2://inv/EKY5WH1KEM |
|---|---|
| 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.12047#86VT (statement). In ZF1Y3HZMZ9/e1, proposition 3.1
History
- 2026-10-28: add by m2/v0.4.3
EKY8733CTM EKY8733CTM
| URI | m2://inv/EKY8733CTM |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2106.06387#CSKN (unknown). In 4YJH4FPWDA/e1, unknown 3.5
History
- 2026-10-30: add by m2/v0.4.12
Detection theory EKY9SD61PH
| URI | m2://inv/EKY9SD61PH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#0ZNI, Detection theory (definition)
History
- 2026-11-02: add by m2/dev
EKYA9MGV7T EKYA9MGV7T
| URI | m2://inv/EKYA9MGV7T |
|---|---|
| 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.02079#VEJQ (statement). In CNS2J2E4T2/e1, proposition 6
History
- 2026-10-29: add by m2/v0.4.12
EKYSJMFNTT EKYSJMFNTT
| URI | m2://inv/EKYSJMFNTT |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/seq-induction.ptx#proof-10 (proof). In Y91XFCEVHQ, proof, section 3.5
History
- 2026-11-01: add by m2/v0.6.13
EKYWG482JW EKYWG482JW
| URI | m2://inv/EKYWG482JW |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_inclusion-exclusion_intro.ptx#exa_inclusion-exclusion_prop-divis (example). In QKM9DD2H56, example, section 7.1
History
- 2026-11-01: add by m2/v0.6.13
Representations EKYWRHQ8PJ
| URI | m2://inv/EKYWRHQ8PJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathieu group M11#WH10, Representations (definition)
History
- 2026-11-02: add by m2/dev
EKYZGY0NX6 EKYZGY0NX6
| URI | m2://inv/EKYZGY0NX6 |
|---|---|
| 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 2504.09464#XEWP (statement). In RN1XRCS2CH/e1, theorem 21
History
- 2026-10-27: add by m2/v0.3.6
EKZ11AFMGJ EKZ11AFMGJ
| URI | m2://inv/EKZ11AFMGJ |
|---|---|
| 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 Q15781785 (unknown). Also nLab Adrian Ocneanu
History
- 2026-10-26: add by m2/dev
EKZ2RZNDCG EKZ2RZNDCG
| URI | m2://inv/EKZ2RZNDCG |
|---|---|
| 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.10380#CG4I (statement). In 3RZXEJ9V9S/e1, theorem 1
History
- 2026-10-29: add by m2/v0.4.10
Fernique's theorem EKZ88HRWS9
| URI | m2://inv/EKZ88HRWS9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#EBKW, Fernique's theorem (statement)
History
- 2026-11-02: add by m2/dev
Miklós Csörgő EKZBN4BPBP
| URI | m2://inv/EKZBN4BPBP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Miklós Csörgő, Miklós Csörgő (topic). Also Wikidata Q65218663
History
- 2026-11-02: add by m2/dev
Hodge–de Rham spectral sequence EKZDKW6XW0
| URI | m2://inv/EKZDKW6XW0 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q18207801, Hodge–de Rham spectral sequence (concept). Also nLab Hodge–de Rham spectral sequence
- wikipedia: Wikipedia Hodge–de Rham spectral sequence, Hodge–de Rham spectral sequence (definition). Also Wikidata Q18207801
History
- 2026-10-26: add by m2/dev
Centered coloring EKZW3JBBNJ
| URI | m2://inv/EKZW3JBBNJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Centered coloring, Centered coloring (definition). Also Wikidata Q137441810
History
- 2026-11-02: add by m2/dev