Inventory rows 2F
The cards of the rows of the inventory whose ids start with 2F. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Wholeness axiom 2F08T4WBCG
| URI | m2://inv/2F08T4WBCG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wholeness axiom, Wholeness axiom (statement). Also Wikidata Q30590892
History
- 2026-11-02: add by m2/dev
Eric Rains 2F09E9M838
| URI | m2://inv/2F09E9M838 |
|---|---|
| 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#D73X, Eric Rains (unknown)
History
- 2026-11-02: add by m2/dev
Peter van Emde Boas 2F0EQ87DYG
| URI | m2://inv/2F0EQ87DYG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#B47J, Peter van Emde Boas (unknown)
History
- 2026-11-02: add by m2/dev
2F0J2Q5F7S 2F0J2Q5F7S
| URI | m2://inv/2F0J2Q5F7S |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/incompleteness/representability-in-q/sigma1-completeness.tex#proof-2 (proof). In PKGMM3P5QY, proof, section 30.3
History
- 2026-11-01: add by m2/v0.6.13
Max Karoubi 2F0QQEWB1K
| URI | m2://inv/2F0QQEWB1K |
|---|---|
| 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 Q1912805, Max Karoubi (unknown). Also nLab Max Karoubi
- wikipedia: Wikipedia Max Karoubi, Max Karoubi (topic). Also Wikidata Q1912805
History
- 2026-10-26: add by m2/dev
2F0RDGXREW 2F0RDGXREW
| URI | m2://inv/2F0RDGXREW |
|---|---|
| Kind | definition |
| 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.07890#BBTX (definition). In 6F3GSDT2V1/e1, definition 5.4
History
- 2026-10-29: add by m2/v0.4.10
2F0T19EQVY 2F0T19EQVY
| URI | m2://inv/2F0T19EQVY |
|---|---|
| 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.17267#N1X2 (statement). In 5VWB4A47R5/e1, proposition 6.1
History
- 2026-10-28: add by m2/v0.4.2
2F0YW40DF7 2F0YW40DF7
| URI | m2://inv/2F0YW40DF7 |
|---|---|
| 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.32524#07WV (statement). In XGCND7R0B0/e1, theorem 4.1
History
- 2026-10-31: add by m2/v0.5.6
2F1C908TQM 2F1C908TQM
| URI | m2://inv/2F1C908TQM |
|---|---|
| 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.05703#51U7 (statement). In 2YS79JFD85/e1, lemma 3.4
History
- 2026-10-29: add by m2/v0.4.10
Science, technology, engineering, and mathematics 2F1D0Q8YGR
| URI | m2://inv/2F1D0Q8YGR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Science, technology, engineering, and mathematics, Science, technology, engineering, and mathematics (definition). Also Wikidata Q1881523
History
- 2026-11-02: add by m2/dev
100,000,000,000 2F1FCEM0FF
| URI | m2://inv/2F1FCEM0FF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 100,000,000,000, 100,000,000,000 (definition). Also Wikidata Q4924963
History
- 2026-11-02: add by m2/dev
Augmented sphenocorona 2F1FWW5BAY
| URI | m2://inv/2F1FWW5BAY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#NJFD, Augmented sphenocorona (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#3DQS, Augmented sphenocorona (definition)
History
- 2026-11-02: add by m2/dev
Continuous Green's Functions and Inverse Norms 2F1W6JE8K6
| URI | m2://inv/2F1W6JE8K6 |
|---|---|
| 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.13222#PYWX, Continuous Green's Functions and Inverse Norms (statement). In Z6WA2R0J50/e1, proposition A.2
History
- 2026-10-28: add by m2/v0.4.2
Polar and quadratic radicals 2F29137WSY
| URI | m2://inv/2F29137WSY |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15815#W8UK, Polar and quadratic radicals (example). In 9C75CTY5C3/e1, example 5.5
History
- 2026-10-28: add by m2/v0.4.2
2F2M9JH84Y 2F2M9JH84Y
| URI | m2://inv/2F2M9JH84Y |
|---|---|
| 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.36309#K2OG (statement). In FAJ10EJMYE/e1, theorem 2
History
- 2026-10-30: add by m2/v0.4.12
2F2QGT0384 2F2QGT0384
| URI | m2://inv/2F2QGT0384 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16081#ITYO (statement). In RS6WWZKMT6/e1, proposition A.3
History
- 2026-10-28: add by m2/v0.4.2
2F2WP7WXH0 2F2WP7WXH0
| URI | m2://inv/2F2WP7WXH0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03628#XM62 (statement). In P8KT6JV9N1/e1, corollary 3.9
History
- 2026-10-29: add by m2/v0.4.12
Bert LaBrucherie 2F2YFGWHXR
| URI | m2://inv/2F2YFGWHXR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#2VTV, Bert LaBrucherie (unknown)
History
- 2026-11-02: add by m2/dev
weak topology 2F31Q8MK1H
| URI | m2://inv/2F31Q8MK1H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Weak topology P6KHVSTPZV |
Mentions
- wikidata: Wikidata Q505760, weak topology (unknown). Also MathWorld WeakTopology
- wikipedia: Wikipedia Weak topology, Weak topology (definition). Also Wikidata Q505760
History
- 2026-10-26: add by m2/dev
Pillai, K. C. Sreedharan 2F32GJNAE1
| URI | m2://inv/2F32GJNAE1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#KS88, Pillai, K. C. Sreedharan (unknown)
History
- 2026-11-02: add by m2/dev
The reciprocity law 2F39Z5ZM8Q
| URI | m2://inv/2F39Z5ZM8Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dedekind sum#WH08, The reciprocity law (statement)
History
- 2026-11-02: add by m2/dev
Theorem 2F3J8MC7YN
| URI | m2://inv/2F3J8MC7YN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bounded variation#L5AB, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Applications 2F3MPQKKT0
| URI | m2://inv/2F3MPQKKT0 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pauli exclusion principle#86A4, Applications (example)
History
- 2026-11-02: add by m2/dev
2F3N2KP6DE 2F3N2KP6DE
| URI | m2://inv/2F3N2KP6DE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18544#FYHL (statement). In HT5MC1SPD9/e1, lemma 4.6
History
- 2026-10-28: add by m2/v0.4.2
2F3QGND9B1 2F3QGND9B1
| URI | m2://inv/2F3QGND9B1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01915#04KJ (statement). In 6HJQXZS0A6/e1, corollary 0.3
History
- 2026-10-29: add by m2/v0.4.12
2F3SEZ8E77 2F3SEZ8E77
| URI | m2://inv/2F3SEZ8E77 |
|---|---|
| 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.28597#RSAG (statement)
History
- 2026-11-01: add by m2/v0.6.15
Jeffrey D. Adams 2F3VK3H3T7
| URI | m2://inv/2F3VK3H3T7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#5MDH, Jeffrey D. Adams (topic)
History
- 2026-11-02: add by m2/dev
Many large matchings 2F465B7XTA
| URI | m2://inv/2F465B7XTA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26133#2VEB, Many large matchings (statement)
History
- 2026-11-01: add by m2/v0.6.15
Benford's law 2F4GCS7EYB
| URI | m2://inv/2F4GCS7EYB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of misnamed theorems#X7HT, Benford's law (statement)
History
- 2026-11-02: add by m2/dev
2F4JHRN7XB 2F4JHRN7XB
| URI | m2://inv/2F4JHRN7XB |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-several-vars-ders.tex#exercise-69 (exercise). In E59CDZA4DP, exercise, section 11.6.1
History
- 2026-11-01: add by m2/v0.6.13
2F4R2WBY3K 2F4R2WBY3K
| URI | m2://inv/2F4R2WBY3K |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-XX, 53-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26269#K9W5 (definition)
History
- 2026-11-01: add by m2/v0.6.15
2F4SG6Y5RJ 2F4SG6Y5RJ
| URI | m2://inv/2F4SG6Y5RJ |
|---|---|
| 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.39317#KG38 (statement). In QM1T8JDK4A/e1, proposition 6.18
History
- 2026-10-30: add by m2/v0.4.12
2F4WEXT6BZ 2F4WEXT6BZ
| URI | m2://inv/2F4WEXT6BZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 57-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2108.10246#LPVF (statement). In XD0YT3XCW2/e1, proposition 3.13
History
- 2026-10-27: add by m2/v0.3.5
James C. Corman 2F52Q2F074
| URI | m2://inv/2F52Q2F074 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#AS2R, James C. Corman (unknown)
History
- 2026-11-02: add by m2/dev
Definition 2F5465E256
| URI | m2://inv/2F5465E256 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Norm (mathematics)#C43A, Definition (definition)
History
- 2026-11-02: add by m2/dev
2F5476562Q 2F5476562Q
| URI | m2://inv/2F5476562Q |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 14-XX, 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 2307.06098#5ZTL (conjecture). In DK1V8M7DS4/e1, conjecture 2
History
- 2026-10-27: add by m2/v0.3.5
Hodge and contact polygons 2F5B6SMHFV
| URI | m2://inv/2F5B6SMHFV |
|---|---|
| Kind | definition |
| 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#B8Z6, Hodge and contact polygons (definition). In 8BNPFYQDQX/e1, definition 4.7
History
- 2026-10-29: add by m2/v0.4.10
2F5ESHYH2Z 2F5ESHYH2Z
| URI | m2://inv/2F5ESHYH2Z |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-systems.tex#exercise-6 (exercise). In E9HS8K3A52, exercise, section 10.1.6
History
- 2026-11-01: add by m2/v0.6.13
Statement of the conjecture 2F5JYCBA32
| URI | m2://inv/2F5JYCBA32 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bass–Quillen conjecture#DE7X, Statement of the conjecture (statement)
History
- 2026-11-02: add by m2/dev
2F5R4H3XEK 2F5R4H3XEK
| URI | m2://inv/2F5R4H3XEK |
|---|---|
| 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 2207.07461#1I8D (statement). In GAG532VMPF/e1, lemma 4.2.3
History
- 2026-10-27: add by m2/v0.3.5
2F5V2ZR8K5 2F5V2ZR8K5
| URI | m2://inv/2F5V2ZR8K5 |
|---|---|
| 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.05722#U0W5 (statement). In NDKWV5J14V/e1, lemma 2.2
History
- 2026-10-29: add by m2/v0.4.10
2F5WYM042E 2F5WYM042E
| URI | m2://inv/2F5WYM042E |
|---|---|
| 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.25084#9JL2 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Initialized fractional calculus 2F5Y5X1SG2
| URI | m2://inv/2F5Y5X1SG2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Initialized fractional calculus, Initialized fractional calculus (definition). Also Wikidata Q17100595
History
- 2026-11-02: add by m2/dev
Yi Liu 2F6182Q1C6
| URI | m2://inv/2F6182Q1C6 |
|---|---|
| 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#POBA, Yi Liu (unknown)
History
- 2026-11-02: add by m2/dev
2F65HPS40C 2F65HPS40C
| URI | m2://inv/2F65HPS40C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27795#4PZN (statement)
History
- 2026-11-01: add by m2/v0.6.15
multiplicity 2F6A5KANWR
| URI | m2://inv/2F6A5KANWR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#OG8P, multiplicity (definition)
History
- 2026-11-02: add by m2/dev
Toggle 2F6A8VDCWD
| URI | m2://inv/2F6A8VDCWD |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30637#Q25E, Toggle (definition). In 6G1KBA0SXV/e1, definition 4.5
History
- 2026-10-31: add by m2/v0.5.6
Corollary (Separation of a subspace and an open convex set) 2F6HQGC9TV
| URI | m2://inv/2F6HQGC9TV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hahn–Banach theorem#YCV9, Corollary (Separation of a subspace and an open convex set) (statement)
History
- 2026-11-02: add by m2/dev
Mukai's Theorem 2F6RCBFXK4
| URI | m2://inv/2F6RCBFXK4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dual abelian variety#RXRX, Mukai's Theorem (statement)
History
- 2026-11-02: add by m2/dev
Lusin 2F70ZGA587
| URI | m2://inv/2F70ZGA587 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of real and complex analysis#FJZ7, Lusin (definition)
History
- 2026-11-02: add by m2/dev
Girard's paradox 2F74YVYT1A
| URI | m2://inv/2F74YVYT1A |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia System U#FL3L, Girard's paradox (statement)
History
- 2026-11-02: add by m2/dev
Definition 2F7ANZM898
| URI | m2://inv/2F7ANZM898 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Algebraic torus#1H8T, Definition (definition)
History
- 2026-11-02: add by m2/dev
Applications 2F7D2972Q6
| URI | m2://inv/2F7D2972Q6 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Compact element#GWX1, Applications (example)
History
- 2026-11-02: add by m2/dev
Steenrod problem 2F7DH1FPEY
| URI | m2://inv/2F7DH1FPEY |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Steenrod problem, Steenrod problem (problem). Also Wikidata Q7605886
History
- 2026-11-02: add by m2/dev
2F7NH82QJZ 2F7NH82QJZ
| URI | m2://inv/2F7NH82QJZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05320#RXLK (statement). In MVXZWHKEX8/e1, lemma 7.4
History
- 2026-10-29: add by m2/v0.4.10
2F7SR4W00R 2F7SR4W00R
| URI | m2://inv/2F7SR4W00R |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02579#TQA8 (definition). In CBTJDYHH34/e1, definition 2
History
- 2026-10-29: add by m2/v0.4.12
Sébastien Bubeck 2F82KH8N8E
| URI | m2://inv/2F82KH8N8E |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sébastien Bubeck, Sébastien Bubeck (topic). Also Wikidata Q110407022
History
- 2026-11-02: add by m2/dev
2F892FGM52 2F892FGM52
| URI | m2://inv/2F892FGM52 |
|---|---|
| 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.02743#ELJF (statement). In GQH4ZPDWET/e1, proposition 7.1
History
- 2026-10-29: add by m2/v0.4.12
2F8AT04GVF 2F8AT04GVF
| URI | m2://inv/2F8AT04GVF |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2403.02207#RWA1 (definition). In 1T3ZYPQZF0/e1, definition 1.3
History
- 2026-10-27: add by m2/v0.3.6
2F8BN5DTCP 2F8BN5DTCP
| URI | m2://inv/2F8BN5DTCP |
|---|---|
| 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.00512#QN8S (statement). In RB5QBG3MJY/e1, theorem 3.4
History
- 2026-10-30: add by m2/v0.4.12
Solomonoff's theory of inductive inference 2F8CSGDJ10
| URI | m2://inv/2F8CSGDJ10 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Solomonoff's theory of inductive inference, Solomonoff's theory of inductive inference (definition). Also Wikidata Q14947941
History
- 2026-11-02: add by m2/dev
Bagpipe theorem 2F8HEWEHZ8
| URI | m2://inv/2F8HEWEHZ8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bagpipe theorem, Bagpipe theorem (statement). Also Wikidata Q18205404
History
- 2026-11-02: add by m2/dev
2F8KJJTD81 2F8KJJTD81
| URI | m2://inv/2F8KJJTD81 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2103.12669#PC9B (statement). In ZA6XNBA90V/e1, lemma 4.1
History
- 2026-10-27: add by m2/v0.3.5
Theorem 2F8S15VEGQ
| URI | m2://inv/2F8S15VEGQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Leibniz formula for determinants#E8E7, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Assembly 2F8W2TTVJE
| URI | m2://inv/2F8W2TTVJE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02407#SJJ2, Assembly (statement). In ZZER8ZBSCR/e1, lemma B.11
History
- 2026-10-29: add by m2/v0.4.12
Foundations of the Theory of Groupoids and Groups 2F8WWTA3CZ
| URI | m2://inv/2F8WWTA3CZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 20Axx, 20L05 |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q115119800, Foundations of the Theory of Groupoids and Groups (topic)
History
- 2026-10-26: add by m2/dev
monkey and coconut problem 2F9429N0HW
| URI | m2://inv/2F9429N0HW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6087003, monkey and coconut problem (problem). Also MathWorld MonkeyandCoconutProblem
- wikipedia: Wikipedia The monkey and the coconuts, The monkey and the coconuts (definition). Also Wikidata Q6087003
History
- 2026-10-26: add by m2/dev
2F94YK8FVH 2F94YK8FVH
| URI | m2://inv/2F94YK8FVH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book equivalences.tex#thm:fiber-of-a-fibration (statement). In N54F33XE07, lem, section 3.8
History
- 2026-11-01: add by m2/v0.6.13
2F9P5C9QDC 2F9P5C9QDC
| URI | m2://inv/2F9P5C9QDC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/measure/pontryagin.tex#proposition-1 (statement). In RZP28ERRZV, proposition, section 68.2
History
- 2026-11-01: add by m2/v0.6.13
Thomas G. Kurtz 2F9XB4Q68Z
| URI | m2://inv/2F9XB4Q68Z |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of presidents of the Institute of Mathematical Statistics#F1SB, Thomas G. Kurtz (topic)
History
- 2026-11-02: add by m2/dev
Bhattacharya coefficient 2F9Y3BCZNA
| URI | m2://inv/2F9Y3BCZNA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#YE6X, Bhattacharya coefficient (definition)
History
- 2026-11-02: add by m2/dev
2FA3JMWJ58 2FA3JMWJ58
| URI | m2://inv/2FA3JMWJ58 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14838#4ZB2 (definition). In J7ZX3WWRQP/e1, definition 3.10
History
- 2026-10-28: add by m2/v0.4.2
\'Alvarez-Kordyukov 2FA5W87Y23
| URI | m2://inv/2FA5W87Y23 |
|---|---|
| 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#D5GO, \'Alvarez-Kordyukov (statement). In 7CK21JGM5A/e1, theorem 2.1
History
- 2026-10-27: add by m2/v0.3.5
Convex cap 2FA8959T70
| URI | m2://inv/2FA8959T70 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Convex cap, Convex cap (definition). Also Wikidata Q113071157
History
- 2026-11-02: add by m2/dev
2FAN7FR32F 2FAN7FR32F
| URI | m2://inv/2FAN7FR32F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0806.0678#CVCB (statement). In 5RMV7VP13X/e1, lemma 2.10
History
- 2026-10-27: add by m2/v0.3.5
Oscillating sequence 2FASCZ5CP6
| URI | m2://inv/2FASCZ5CP6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Oscillation (mathematics)#3YUZ, Oscillating sequence (unknown)
History
- 2026-11-02: add by m2/dev
Variwide 2FAVAC9HJP
| URI | m2://inv/2FAVAC9HJP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Data and information visualization#E7CR, Variwide (unknown)
History
- 2026-11-02: add by m2/dev
binomial identity 2FAXX5TJXT
| URI | m2://inv/2FAXX5TJXT |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi index/2.4.1/binomial-identity, binomial identity (concept). In Y91XFCEVHQ, index, section 2.4.1
History
- 2026-11-01: add by m2/v0.6.13
2FAXZ2DK70 2FAXZ2DK70
| URI | m2://inv/2FAXZ2DK70 |
|---|---|
| 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.08288#JOB3 (statement). In CHVWYJM7RM/e1, lemma 3.12
History
- 2026-10-29: add by m2/v0.4.10
2FB44CNZQ6 2FB44CNZQ6
| URI | m2://inv/2FB44CNZQ6 |
|---|---|
| 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.20225#AD2J (statement)
History
- 2026-11-02: add by m2/v0.6.18
Constant schedules 2FB8W5BRNR
| URI | m2://inv/2FB8W5BRNR |
|---|---|
| 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.37425#6PRF, Constant schedules (statement). In E02TSC01RN/e1, corollary 2
History
- 2026-10-30: add by m2/v0.4.12
Barber, Rina Foygel 2FB9KQ5J84
| URI | m2://inv/2FB9KQ5J84 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#JZPS, Barber, Rina Foygel (unknown)
History
- 2026-11-02: add by m2/dev
George H. Henderson 2FBBE2ZE3V
| URI | m2://inv/2FBBE2ZE3V |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia George H. Henderson, George H. Henderson (topic). Also Wikidata Q21166552
History
- 2026-11-02: add by m2/dev
Consistency with Gödel's theorem 2FBBGVEEAJ
| URI | m2://inv/2FBBGVEEAJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathematical universe hypothesis#35HI, Consistency with Gödel's theorem (statement)
History
- 2026-11-02: add by m2/dev
2FBF0NTHFF 2FBF0NTHFF
| URI | m2://inv/2FBF0NTHFF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26813#8UP6 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Darrell Long 2FBFQ6WJMZ
| URI | m2://inv/2FBFQ6WJMZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#MM0R, Darrell Long (unknown)
History
- 2026-11-02: add by m2/dev
2FBJK5QDX2 2FBJK5QDX2
| URI | m2://inv/2FBJK5QDX2 |
|---|---|
| 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 2109.12716#106A (statement). In 6X76XBE3HV/e1, lemma 5.1
History
- 2026-10-27: add by m2/v0.3.5
Heinz Prüfer 2FBKJZZC0N
| URI | m2://inv/2FBKJZZC0N |
|---|---|
| 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 Q65216, Heinz Prüfer (unknown). Also ProofWiki Mathematician:Ernst_Paul_Heinz_Prüfer
- wikipedia: Wikipedia Heinz Prüfer, Heinz Prüfer (topic). Also Wikidata Q65216
History
- 2026-10-26: add by m2/dev
2FBQQPTF3H 2FBQQPTF3H
| URI | m2://inv/2FBQQPTF3H |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03559#QFP9 (definition). In R68THJCHX6/e1, definition 3
History
- 2026-10-27: add by m2/v0.3.5
2FBQSQV8YT 2FBQSQV8YT
| URI | m2://inv/2FBQSQV8YT |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/seq-conc.ptx#exercise-5 (exercise). In Y91XFCEVHQ, exercise, section 3.6
History
- 2026-11-01: add by m2/v0.6.13
Hopf order 2FC1D4Q6KT
| URI | m2://inv/2FC1D4Q6KT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hopf algebra#HS1N, Hopf order (unknown)
History
- 2026-11-02: add by m2/dev
5-orthoplex 2FC7BQ8BDC
| URI | m2://inv/2FC7BQ8BDC |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#AY75, 5-orthoplex (object)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#5J2U, 5-orthoplex (object)
History
- 2026-11-02: add by m2/dev
Growth function 2FCBF521JX
| URI | m2://inv/2FCBF521JX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Growth function, Growth function (definition). Also Wikidata Q28136760
History
- 2026-11-02: add by m2/dev
Examples 2FCE0ANT1P
| URI | m2://inv/2FCE0ANT1P |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Overspill#T9OS, Examples (example)
History
- 2026-11-02: add by m2/dev
2FCEXTCM4Y 2FCEXTCM4Y
| URI | m2://inv/2FCEXTCM4Y |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-182 (exercise). In VNMV985MXX, exercise, section 3.2
History
- 2026-11-01: add by m2/v0.6.13
Gibbs entropy formula 2FCFPEVM5P
| URI | m2://inv/2FCFPEVM5P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Entropy (statistical thermodynamics)#O2R9, Gibbs entropy formula (statement)
History
- 2026-11-02: add by m2/dev
Ancestral graph 2FCJWBQ2HB
| URI | m2://inv/2FCJWBQ2HB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ancestral graph, Ancestral graph (definition). Also Wikidata Q4752562
History
- 2026-11-02: add by m2/dev
2FCKEVNBCX 2FCKEVNBCX
| URI | m2://inv/2FCKEVNBCX |
|---|---|
| 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.22338#BY89 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Kneser graph 2FCPX1W98H
| URI | m2://inv/2FCPX1W98H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q733004, Kneser graph (unknown). Also MathWorld KneserGraph
- wikipedia: Wikipedia Kneser graph, Kneser graph (definition). Also Wikidata Q733004
History
- 2026-10-26: add by m2/dev
2FCQVVSGZA 2FCQVVSGZA
| URI | m2://inv/2FCQVVSGZA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24078#CGCV (statement)
History
- 2026-11-02: add by m2/v0.6.17
Stacky curve 2FD0EKQE07
| URI | m2://inv/2FD0EKQE07 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stacky curve, Stacky curve (definition). Also Wikidata Q85803084
History
- 2026-11-02: add by m2/dev
Definition 2FD32QDZC4
| URI | m2://inv/2FD32QDZC4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bisimplicial set#0Z3B, Definition (definition)
History
- 2026-11-02: add by m2/dev
2FD5WQW33W 2FD5WQW33W
| URI | m2://inv/2FD5WQW33W |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/structure.tex#theorem-5 (statement). In RZP28ERRZV, theorem, section 6.6
History
- 2026-11-01: add by m2/v0.6.13
2FD9TK7D9N 2FD9TK7D9N
| URI | m2://inv/2FD9TK7D9N |
|---|---|
| Kind | example |
| 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 2012.11507#XI8A (example). In DZA5P853H9/e1, example 2
History
- 2026-10-27: add by m2/v0.3.5
Single-index model 2FDEFTRHCK
| URI | m2://inv/2FDEFTRHCK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Single-index model, Single-index model (definition). Also Wikidata Q1669733
History
- 2026-11-02: add by m2/dev
2FDKMJ1SEE 2FDKMJ1SEE
| URI | m2://inv/2FDKMJ1SEE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/many-valued-logic/syntax-and-semantics/sublogics.tex#cor-1 (statement). In PKGMM3P5QY, cor, section 41.7
History
- 2026-11-01: add by m2/v0.6.13
2FDPKQDNTV 2FDPKQDNTV
| URI | m2://inv/2FDPKQDNTV |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2504.00267#NXZD (definition). In 38XJWDZ2PH/e1, definition 3.13
History
- 2026-10-27: add by m2/v0.3.5
Statement 2FDSRXDXMC
| URI | m2://inv/2FDSRXDXMC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Local rigidity#CXCV, Statement (statement)
History
- 2026-11-02: add by m2/dev
2FDWNWW6M8 2FDWNWW6M8
| URI | m2://inv/2FDWNWW6M8 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07927#CGLY (example). In GKM19DHQTM/e1, example 6.42
History
- 2026-10-29: add by m2/v0.4.10
Shor's algorithm 2FE0FNWVRS
| URI | m2://inv/2FE0FNWVRS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#TLXN, Shor's algorithm (definition)
History
- 2026-11-02: add by m2/dev
2FE9BSC1KS 2FE9BSC1KS
| URI | m2://inv/2FE9BSC1KS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01915#IYJQ (statement). In 6HJQXZS0A6/e1, lemma 5.6
History
- 2026-10-29: add by m2/v0.4.12
Agnieszka Malinowska 2FEE3WJC1E
| URI | m2://inv/2FEE3WJC1E |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Agnieszka Malinowska, Agnieszka Malinowska (topic). Also Wikidata Q60682454
History
- 2026-11-02: add by m2/dev
Hammett equation 2FEKFMEVQ6
| URI | m2://inv/2FEKFMEVQ6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hammett equation, Hammett equation (definition). Also Wikidata Q901637
History
- 2026-11-02: add by m2/dev
2FESWD1519 2FESWD1519
| URI | m2://inv/2FESWD1519 |
|---|---|
| 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.29422#SOEL (statement)
History
- 2026-11-01: add by m2/v0.6.15
2FF0YY5SP4 2FF0YY5SP4
| URI | m2://inv/2FF0YY5SP4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15169#N55M (statement). In V7SN19J84T/e1, theorem 7.15
History
- 2026-10-28: add by m2/v0.4.2
2FF62Q2QWT 2FF62Q2QWT
| URI | m2://inv/2FF62Q2QWT |
|---|---|
| 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 2609.27617#K18I (statement)
History
- 2026-11-01: add by m2/v0.6.15
in general 2FFEZHCS5P
| URI | m2://inv/2FFEZHCS5P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of mathematical jargon#SEXJ, in general (definition)
History
- 2026-11-02: add by m2/dev
Complete breakpoint classification, second arc 2FFJ79HNYH
| URI | m2://inv/2FFJ79HNYH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25120#7XDF, Complete breakpoint classification, second arc (statement)
History
- 2026-11-01: add by m2/v0.6.15
Pairs S53--S56 2FFPMZA61N
| URI | m2://inv/2FFPMZA61N |
|---|---|
| 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.08865#5L58, Pairs S53--S56 (statement). In SJ5JKGH94M/e1, theorem 25
History
- 2026-10-29: add by m2/v0.4.10
Lossless discrete specializations 2FG4MTFP3B
| URI | m2://inv/2FG4MTFP3B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04027#GDGF, Lossless discrete specializations (statement). In DQB4YR2DFH/e1, corollary 10.2
History
- 2026-10-29: add by m2/v0.4.12
2FG7MFAWY0 2FG7MFAWY0
| URI | m2://inv/2FG7MFAWY0 |
|---|---|
| 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.25539#MJFY (statement)
History
- 2026-11-01: add by m2/v0.6.15
Simplex 2FGFCJ34PW
| URI | m2://inv/2FGFCJ34PW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of convexity topics#6L5W, Simplex (definition)
History
- 2026-11-02: add by m2/dev
2FGFZDRTNV 2FGFZDRTNV
| URI | m2://inv/2FGFZDRTNV |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-first-order-ode.tex#exercise-95 (exercise). In E9HS8K3A52, exercise, section 4.7
History
- 2026-11-01: add by m2/v0.6.13
Properties 2FGSF0QCS7
| URI | m2://inv/2FGSF0QCS7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Homogeneous polynomial#UJS9, Properties (statement)
History
- 2026-11-02: add by m2/dev
2FGSJKR4G5 2FGSJKR4G5
| URI | m2://inv/2FGSJKR4G5 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/sequent-calculus/proving-things-quant.tex#prob-2 (exercise). In PKGMM3P5QY, prob, section 17.10
History
- 2026-11-01: add by m2/v0.6.13
Aaryan Nitin Shukla 2FGZHM09K6
| URI | m2://inv/2FGZHM09K6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Aaryan Nitin Shukla, Aaryan Nitin Shukla (topic). Also Wikidata Q129808817
History
- 2026-11-02: add by m2/dev
Shephard's problem (a.k.a. Dürer's conjecture) 2FH2T6VC8T
| URI | m2://inv/2FH2T6VC8T |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#QGLZ, Shephard's problem (a.k.a. Dürer's conjecture) (object)
History
- 2026-11-02: add by m2/dev
Sam Yan 2FH6THY001
| URI | m2://inv/2FH6THY001 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#YR60, Sam Yan (unknown)
History
- 2026-11-02: add by m2/dev
Statement 2FH6XG0F8T
| URI | m2://inv/2FH6XG0F8T |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hall's marriage theorem#FDVA, Statement (statement)
History
- 2026-11-02: add by m2/dev
Applications 2FH6XY4JFK
| URI | m2://inv/2FH6XY4JFK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gradient-index optics#MROZ, Applications (example)
History
- 2026-11-02: add by m2/dev
Trial state on the leftover region 2FH7T8JEN8
| URI | m2://inv/2FH7T8JEN8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20910#JGA9, Trial state on the leftover region (statement). In CETHKW9EBV/e1, lemma A.2
History
- 2026-10-27: add by m2/v0.4.2
List of Lie groups 2FHDMC4F9Z
| URI | m2://inv/2FHDMC4F9Z |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Simple Lie group#4PX7, List of Lie groups (unknown)
History
- 2026-11-02: add by m2/dev
variable 2FHK7ZG1CG
| URI | m2://inv/2FHK7ZG1CG |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/A.2/variable, variable (concept). In N54F33XE07, index, section A.2
History
- 2026-11-01: add by m2/v0.6.13
Problem size 2FHP570H74
| URI | m2://inv/2FHP570H74 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithm general topics#4MT1, Problem size (definition)
History
- 2026-11-02: add by m2/dev
Isolated physical system 2FHP5C2D7Z
| URI | m2://inv/2FHP5C2D7Z |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of dynamical systems and differential equations topics#L3LQ, Isolated physical system (unknown)
History
- 2026-11-02: add by m2/dev
2FHVWS7JJR 2FHVWS7JJR
| URI | m2://inv/2FHVWS7JJR |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27931#I7UU (conjecture)
History
- 2026-11-01: add by m2/v0.6.15
Centered-row studentization bound 2FHW2ZZXEK
| URI | m2://inv/2FHW2ZZXEK |
|---|---|
| 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.27200#3MVJ, Centered-row studentization bound (statement)
History
- 2026-11-01: add by m2/v0.6.15
complementary error function 2FJ3KQ6EFF
| URI | m2://inv/2FJ3KQ6EFF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q17628404, complementary error function (unknown). Also MathWorld Erfc
History
- 2026-10-26: add by m2/dev
2FJ3SS1KQN 2FJ3SS1KQN
| URI | m2://inv/2FJ3SS1KQN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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.25897#J4QA (statement)
History
- 2026-11-01: add by m2/v0.6.15
Definitions 2FJ4MX6YTZ
| URI | m2://inv/2FJ4MX6YTZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Minimal surface#OIDT, Definitions (definition)
History
- 2026-11-02: add by m2/dev
2FJ6H0T9JW 2FJ6H0T9JW
| URI | m2://inv/2FJ6H0T9JW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23106#623N (statement)
History
- 2026-11-02: add by m2/v0.6.17
Jean-Pierre Wintenberger 2FJ94NE8AA
| URI | m2://inv/2FJ94NE8AA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#ZO2O, Jean-Pierre Wintenberger (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#PX7E, Jean-Pierre Wintenberger (topic)
History
- 2026-11-02: add by m2/dev
2FJFCJG3PY 2FJFCJG3PY
| URI | m2://inv/2FJFCJG3PY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01653#V0R4 (statement). In WZMHJCQPB2/e1, lemma 3.8
History
- 2026-10-29: add by m2/v0.4.12
Lebesgue 2FJNRANGY0
| URI | m2://inv/2FJNRANGY0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of incomplete proofs#MGSG, Lebesgue (topic)
History
- 2026-11-02: add by m2/dev
2FKB4V69F5 2FKB4V69F5
| URI | m2://inv/2FKB4V69F5 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/mor-scheme.tex#proof-3 (proof). In RZP28ERRZV, proof, section 22.5
History
- 2026-11-01: add by m2/v0.6.13
2FKC33KFMJ 2FKC33KFMJ
| URI | m2://inv/2FKC33KFMJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32174#E9QJ (statement). In GHKR740SG3/e1, proposition 19.5
History
- 2026-10-31: add by m2/v0.5.6
2FKE4DCZVN 2FKE4DCZVN
| URI | m2://inv/2FKE4DCZVN |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-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.27420#8P8P (definition)
History
- 2026-11-01: add by m2/v0.6.15
Definition 2FKF1CBASP
| URI | m2://inv/2FKF1CBASP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stress–energy–momentum pseudotensor#3WK2, Definition (definition)
History
- 2026-11-02: add by m2/dev
2FKJARXSFP 2FKJARXSFP
| URI | m2://inv/2FKJARXSFP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11800#KRYD (statement). In 8TSZ2E32K3/e1, corollary 4.10
History
- 2026-10-28: add by m2/v0.4.3
Properties 2FKQZR5XN6
| URI | m2://inv/2FKQZR5XN6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Matrix equivalence#RFJO, Properties (statement)
History
- 2026-11-02: add by m2/dev
Relative lifting 2FKY0XZEV7
| URI | m2://inv/2FKY0XZEV7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21513#GUCK, Relative lifting (statement)
History
- 2026-11-02: add by m2/v0.6.18
Mean-field conservation law 2FKYP6P5Y6
| URI | m2://inv/2FKYP6P5Y6 |
|---|---|
| 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.09356#CWEM, Mean-field conservation law (definition). In 3VVGPXWH6R/e1, definition B.2
History
- 2026-10-29: add by m2/v0.4.10
Miranda Cheng 2FM09PHYNG
| URI | m2://inv/2FM09PHYNG |
|---|---|
| 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 Q26703285, Miranda Cheng (unknown). Also nLab Miranda Cheng
History
- 2026-10-26: add by m2/dev
Aleksandra Slavković 2FM0A8G63V
| URI | m2://inv/2FM0A8G63V |
|---|---|
| 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#QP26, Aleksandra Slavković (topic)
History
- 2026-11-02: add by m2/dev
Progressive function 2FM49S4GNJ
| URI | m2://inv/2FM49S4GNJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Progressive function, Progressive function (definition). Also Wikidata Q7248844
History
- 2026-11-02: add by m2/dev
2FMC6DBY9S 2FMC6DBY9S
| URI | m2://inv/2FMC6DBY9S |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22909#P6WY (example)
History
- 2026-11-02: add by m2/v0.6.17
Example 2FMHKCA5BH
| URI | m2://inv/2FMHKCA5BH |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wilf–Zeilberger pair#VRE5, Example (example)
History
- 2026-11-02: add by m2/dev
bias 2FMRFNRTBR
| URI | m2://inv/2FMRFNRTBR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of probability and statistics#KKW6, bias (definition)
History
- 2026-11-02: add by m2/dev
Sidney Wicks 2FMRTZS7X3
| URI | m2://inv/2FMRTZS7X3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#CFD3, Sidney Wicks (unknown)
History
- 2026-11-02: add by m2/dev
2FMW9QDCB3 2FMW9QDCB3
| URI | m2://inv/2FMW9QDCB3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 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 2502.14306#VR9C (statement). In ZNBQD5WH1M/e1, theorem 1.1
History
- 2026-10-27: add by m2/v0.3.5
Disattenuation 2FN1D3JWH0
| URI | m2://inv/2FN1D3JWH0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#4RXU, Disattenuation (definition)
History
- 2026-11-02: add by m2/dev
Simplicial approximation theorem 2FN3557TRQ
| URI | m2://inv/2FN3557TRQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of general topology topics#FOK3, Simplicial approximation theorem (statement)
History
- 2026-11-02: add by m2/dev
Definition 2FNBMEBD2S
| URI | m2://inv/2FNBMEBD2S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stochastic chains with memory of variable length#YJ5P, Definition (definition)
History
- 2026-11-02: add by m2/dev
2FNHV5QKYP 2FNHV5QKYP
| URI | m2://inv/2FNHV5QKYP |
|---|---|
| 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.20422#RZT6 (statement). In HCH89W5Y2C/e1, proposition 7
History
- 2026-10-27: add by m2/v0.4.2
Area compatibility factor 2FNM6W57JG
| URI | m2://inv/2FNM6W57JG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#WGH1, Area compatibility factor (definition)
History
- 2026-11-02: add by m2/dev
dominate 2FNMAZV9MJ
| URI | m2://inv/2FNMAZV9MJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#639B, dominate (definition)
History
- 2026-11-02: add by m2/dev
Per Martin-Löf 2FNNRHANBC
| URI | m2://inv/2FNNRHANBC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#UXDI, Per Martin-Löf (topic)
History
- 2026-11-02: add by m2/dev
2FNW40E0MS 2FNW40E0MS
| URI | m2://inv/2FNW40E0MS |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/counting-proofs.ptx#proof-1 (proof). In Y91XFCEVHQ, proof, section 2.4
History
- 2026-11-01: add by m2/v0.6.13
2FNW4T5486 2FNW4T5486
| URI | m2://inv/2FNW4T5486 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19333#JFMI (definition). In 5Y3HF693YB/e1, definition 2.6
History
- 2026-10-28: add by m2/v0.4.2
Perimeter 2FNZ735FGR
| URI | m2://inv/2FNZ735FGR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of curves topics#B1CA, Perimeter (definition)
History
- 2026-11-02: add by m2/dev
skew-symmetric matrix 2FP1241FAJ
| URI | m2://inv/2FP1241FAJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Skew-symmetric matrix 03RNVFDEAN |
Mentions
- wikidata: Wikidata Q526790, skew-symmetric matrix (unknown). Also EoM Skew-symmetric_matrix, MathWorld AntisymmetricMatrix, nLab skew-symmetric matrix
- wikipedia: Wikipedia Skew-symmetric matrix, Skew-symmetric matrix (definition). Also Wikidata Q526790
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Implementations 2FP5C4885X
| URI | m2://inv/2FP5C4885X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lenstra–Lenstra–Lovász lattice basis reduction algorithm#5JIT, Implementations (definition)
History
- 2026-11-02: add by m2/dev
Kernel decomposition 2FP7EX5CQV
| URI | m2://inv/2FP7EX5CQV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04189#F52R, Kernel decomposition (statement). In 1KRZ5ACTKE/e1, theorem 1.1
History
- 2026-10-29: add by m2/v0.4.12
Definition 2FPA9N6WRP
| URI | m2://inv/2FPA9N6WRP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Twin-width#MXUD, Definition (definition)
History
- 2026-11-02: add by m2/dev
2FPBV0G869 2FPBV0G869
| URI | m2://inv/2FPBV0G869 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28411#2EX4 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Maya Stein 2FPC7625B1
| URI | m2://inv/2FPC7625B1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#96RC, Maya Stein (topic)
History
- 2026-11-02: add by m2/dev
2FPDZH1FN7 2FPDZH1FN7
| URI | m2://inv/2FPDZH1FN7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28365#D1NP (statement)
History
- 2026-11-01: add by m2/v0.6.15
Defeasible logic 2FPFTKW31B
| URI | m2://inv/2FPFTKW31B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Defeasible logic, Defeasible logic (definition). Also Wikidata Q542504
History
- 2026-11-02: add by m2/dev
2FPGRSZ90Y 2FPGRSZ90Y
| URI | m2://inv/2FPGRSZ90Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2308.05066#JMSQ (statement). In 1QSCT53ZED/e1, corollary 7.9
History
- 2026-10-27: add by m2/v0.4.0
2FPH4F635Z 2FPH4F635Z
| URI | m2://inv/2FPH4F635Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36509#RNHY (statement). In DPJ15KW23C/e1, proposition 9.8
History
- 2026-10-30: add by m2/v0.4.12
2FPRQ4MZXJ 2FPRQ4MZXJ
| URI | m2://inv/2FPRQ4MZXJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19023#00ZI (statement). In QFA8TMJPHZ/e1, lemma 2.3
History
- 2026-10-28: add by m2/v0.4.2
bijection 2FPV4MFH98
| URI | m2://inv/2FPV4MFH98 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/1.4/bijection, bijection (concept). In N54F33XE07, index, section 1.4
History
- 2026-11-01: add by m2/v0.6.13
Jenő Egerváry 2FQ3N82MCR
| URI | m2://inv/2FQ3N82MCR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jenő Egerváry, Jenő Egerváry (topic). Also Wikidata Q987863
History
- 2026-11-02: add by m2/dev
Designs from $\PSL(2,q)$ 2FQ6GBNGP4
| URI | m2://inv/2FQ6GBNGP4 |
|---|---|
| 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.15340#QQZT, Designs from $\PSL(2,q)$ (statement). In 9NVKKW8HDH/e1, corollary 2.20
History
- 2026-10-28: add by m2/v0.4.2
2FQEF19D2E 2FQEF19D2E
| URI | m2://inv/2FQEF19D2E |
|---|---|
| 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.08424#45EO (statement). In BVD2HAAKD5/e1, lemma 5.2
History
- 2026-10-29: add by m2/v0.4.10
2FQHEWJCX9 2FQHEWJCX9
| URI | m2://inv/2FQHEWJCX9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21921#MRA2 (statement). In CM2YEK9T4F/e1, lemma 4.13
History
- 2026-10-27: add by m2/v0.4.2
2FQVG5ZSVE 2FQVG5ZSVE
| URI | m2://inv/2FQVG5ZSVE |
|---|---|
| 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.17957#D4EJ (statement). In T5ZBX4YPZB/e1, lemma 5.2
History
- 2026-10-28: add by m2/v0.4.2
2FQWKQKPAK 2FQWKQKPAK
| URI | m2://inv/2FQWKQKPAK |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2405.14678#6YDW (example). In 9ZSNSJRJ5N/e1, example 44
History
- 2026-10-27: add by m2/v0.4.2
reduction of the dimension 2FQY69QM16
| URI | m2://inv/2FQY69QM16 |
|---|---|
| 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.01029#QYDI, reduction of the dimension (statement). In KA8VS65Z9G/e1, proposition 13
History
- 2026-10-29: add by m2/v0.4.12
2FR88T4RAP 2FR88T4RAP
| URI | m2://inv/2FR88T4RAP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37897#ZOW2 (statement). In RBQ5FNCVNZ/e1, lemma C.3
History
- 2026-10-30: add by m2/v0.4.12
2FRAEA186P 2FRAEA186P
| URI | m2://inv/2FRAEA186P |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.07644#I6MC (definition). In TFAN2DR6FD/e1, definition 1
History
- 2026-10-27: add by m2/v0.3.5
Test for structural change 2FRB5J06YJ
| URI | m2://inv/2FRB5J06YJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Structural change#9OD7, Test for structural change (unknown)
History
- 2026-11-02: add by m2/dev
CORDIC 2FRBARZCKK
| URI | m2://inv/2FRBARZCKK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia CORDIC, CORDIC (definition). Also Wikidata Q116076
History
- 2026-11-02: add by m2/dev
Galerkin projectors from a Hilbert basis 2FRCBQJGZF
| URI | m2://inv/2FRCBQJGZF |
|---|---|
| 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.33033#L2MQ, Galerkin projectors from a Hilbert basis (statement). In AJWBAHJ8VD/e1, proposition 7.1
History
- 2026-10-31: add by m2/v0.5.6
2FRE4QAEFF 2FRE4QAEFF
| URI | m2://inv/2FRE4QAEFF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21929#5E06 (statement). In 2PP4XRVS0J/e1, theorem 13.3
History
- 2026-10-27: add by m2/v0.4.2
$\vee$ Elimination 2FRFC1616V
| URI | m2://inv/2FRFC1616V |
|---|---|
| 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#L2CT, $\vee$ Elimination (statement). In P9J6P06Y40/e1, lemma 4.9
History
- 2026-10-27: add by m2/v0.3.5
2FRK2WSW3M 2FRK2WSW3M
| URI | m2://inv/2FRK2WSW3M |
|---|---|
| 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.31604#TKQB (statement). In GSN5YTQS2K/e1, proposition 4.6
History
- 2026-10-31: add by m2/v0.5.6
2FRNXPZZHN 2FRNXPZZHN
| URI | m2://inv/2FRNXPZZHN |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26129#0W6A (problem)
History
- 2026-11-01: add by m2/v0.6.15
Ellenberg-Oberlin-Tao 2FRTNSW2PP
| URI | m2://inv/2FRTNSW2PP |
|---|---|
| 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 2208.07784#IQCZ, Ellenberg-Oberlin-Tao (statement). In X0GJCD9768/e1, theorem 2.7
History
- 2026-10-27: add by m2/v0.4.0
Zero-mean correction for $m=0$ 2FRW45HD4V
| URI | m2://inv/2FRW45HD4V |
|---|---|
| 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.26537#7TMN, Zero-mean correction for $m=0$ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Comparison of GOE block resolvents with GUE free limit 2FRXDDPE3Q
| URI | m2://inv/2FRXDDPE3Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30590#QCH3, Comparison of GOE block resolvents with GUE free limit (statement). In WYE2JVEZBT/e1, lemma 5.5
History
- 2026-10-31: add by m2/v0.5.6
Uniform fractional Grushin-Poincar\'e inequality 2FS2JCS32D
| URI | m2://inv/2FS2JCS32D |
|---|---|
| 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.09001#G247, Uniform fractional Grushin-Poincar\'e inequality (statement). In HJC1JJZRSH/e1, theorem 1.1
History
- 2026-10-29: add by m2/v0.4.10
Examples 2FS5FZZZJN
| URI | m2://inv/2FS5FZZZJN |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Modal fallacy#0FZ8, Examples (example)
History
- 2026-11-02: add by m2/dev
Compact densities with matching score marginals 2FSBEYR1BD
| URI | m2://inv/2FSBEYR1BD |
|---|---|
| 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#SH4F, Compact densities with matching score marginals (statement). In 9YAE8FNQST/e1, theorem 19.15
History
- 2026-10-30: add by m2/v0.4.12
Cauchy sequence 2FSCPMPQ17
| URI | m2://inv/2FSCPMPQ17 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of general topology#G3LV, Cauchy sequence (definition)
History
- 2026-11-02: add by m2/dev
Himalayan salt 2FSDKH5142
| URI | m2://inv/2FSDKH5142 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of common misconceptions about science, technology, and mathematics#ZAC1, Himalayan salt (unknown)
History
- 2026-11-02: add by m2/dev
Scoring algorithm 2FSQN9M6D6
| URI | m2://inv/2FSQN9M6D6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Scoring algorithm, Scoring algorithm (definition). Also Wikidata Q7435350
History
- 2026-11-02: add by m2/dev
István Vincze 2FT44HZSBD
| URI | m2://inv/2FT44HZSBD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia István Vincze (mathematician), István Vincze (topic). Also Wikidata Q1406888
History
- 2026-11-02: add by m2/dev
Roman Sikorski 2FT54HYRVE
| URI | m2://inv/2FT54HYRVE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Roman Sikorski, Roman Sikorski (topic). Also Wikidata Q1582429
History
- 2026-11-02: add by m2/dev
Igor Frenkel 2FT7P9VPM5
| URI | m2://inv/2FT7P9VPM5 |
|---|---|
| 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#38LC, Igor Frenkel (topic)
History
- 2026-11-02: add by m2/dev
Alfréd Rényi Prize 2FTB97AQNY
| URI | m2://inv/2FTB97AQNY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alfréd Rényi Prize, Alfréd Rényi Prize (definition). Also Wikidata Q722214
History
- 2026-11-02: add by m2/dev
Quater-imaginary base 2FTDZ4VYN8
| URI | m2://inv/2FTDZ4VYN8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numeral system topics#FVWC, Quater-imaginary base (definition)
History
- 2026-11-02: add by m2/dev
VC dimension 2FTJGFK6QT
| URI | m2://inv/2FTJGFK6QT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | VC dimension KCFXR9K3GD |
Mentions
- wikidata: Wikidata Q2662236, VC dimension (unknown). Also MathWorld Vapnik-ChervonenkisDimension
- wikipedia: Wikipedia Vapnik–Chervonenkis dimension, Vapnik–Chervonenkis dimension (definition). Also Wikidata Q2662236
History
- 2026-10-26: add by m2/dev
Thomas Rudd 2FTN817YQQ
| URI | m2://inv/2FTN817YQQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thomas Rudd, Thomas Rudd (topic). Also Wikidata Q7793671
History
- 2026-11-02: add by m2/dev
457 (number) 2FTS3P42S6
| URI | m2://inv/2FTS3P42S6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 400 (number)#M6AG, 457 (number) (unknown)
History
- 2026-11-02: add by m2/dev
Right conoid 2FV03DRQ8B
| URI | m2://inv/2FV03DRQ8B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of surfaces#N2K2, Right conoid (definition)
History
- 2026-11-02: add by m2/dev
2FVCPY1KH7 2FVCPY1KH7
| URI | m2://inv/2FVCPY1KH7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34676#GO6V (statement). In PR5BC5M6PD/e1, theorem 1.2
History
- 2026-10-30: add by m2/v0.4.12
IDL 2FVE0R4PFM
| URI | m2://inv/2FVE0R4PFM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical-analysis software#LR1V, IDL (unknown)
History
- 2026-11-02: add by m2/dev
Plate tectonics 2FVGCN5A5V
| URI | m2://inv/2FVGCN5A5V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Plate tectonics, Plate tectonics (definition). Also Wikidata Q7950
History
- 2026-11-02: add by m2/dev
lunar arithmetic 2FVMQF8JPN
| URI | m2://inv/2FVMQF8JPN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q109298638, lunar arithmetic (topic). Also ProofWiki Definition:Dismal_Arithmetic
- wikipedia: Wikipedia Lunar arithmetic, Lunar arithmetic (definition). Also Wikidata Q109298638
History
- 2026-10-26: add by m2/dev
Positive-projection Jensen inequality 2FW15ZH9KQ
| URI | m2://inv/2FW15ZH9KQ |
|---|---|
| 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.19837#INNV, Positive-projection Jensen inequality (statement). In 837NSWQM1P/e1, lemma 6.2
History
- 2026-10-28: add by m2/v0.4.2
Generation of the \sEVI\ flow 2FW2FGZ5HX
| URI | m2://inv/2FW2FGZ5HX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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.20998#EMYU, Generation of the \sEVI\ flow (statement)
History
- 2026-11-02: add by m2/v0.6.18
Rauch comparison theorem 2FW3T10ATW
| URI | m2://inv/2FW3T10ATW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of differential geometry topics#RT3Q, Rauch comparison theorem (statement)
History
- 2026-11-02: add by m2/dev
Comparison of vector graphics editors 2FW8HHW2PG
| URI | m2://inv/2FW8HHW2PG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of information graphics software#7NUN, Comparison of vector graphics editors (unknown)
History
- 2026-11-02: add by m2/dev
Lightly compressible periodic waves 2FWD8FTHHZ
| URI | m2://inv/2FWD8FTHHZ |
|---|---|
| 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.01883#BN6N, Lightly compressible periodic waves (statement). In CYV4P9TDV0/e1, theorem 3.3
History
- 2026-10-29: add by m2/v0.4.12
Nakkajima 2FWMG26N2R
| URI | m2://inv/2FWMG26N2R |
|---|---|
| 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#LQXO, Nakkajima (statement). In FK89DQ9J4S/e1, theorem 2.13
History
- 2026-10-30: add by m2/v0.4.12
Emma Zhang 2FWN220JXC
| URI | m2://inv/2FWN220JXC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Emma Zhang, Emma Zhang (topic). Also Wikidata Q102996210
History
- 2026-11-02: add by m2/dev
Vladas Sidoravicius 2FWN9FHWF1
| URI | m2://inv/2FWN9FHWF1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vladas Sidoravicius, Vladas Sidoravicius (topic). Also Wikidata Q76366391
History
- 2026-11-02: add by m2/dev
Applications 2FWRDG7A98
| URI | m2://inv/2FWRDG7A98 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fuzzy differential inclusion#PKQJ, Applications (example)
History
- 2026-11-02: add by m2/dev
Deborah Kent 2FWRN6EVFP
| URI | m2://inv/2FWRN6EVFP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Deborah Kent, Deborah Kent (topic). Also Wikidata Q102174131
History
- 2026-11-02: add by m2/dev
Paul Meier 2FWSJFA2EN
| URI | m2://inv/2FWSJFA2EN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Paul Meier (statistician), Paul Meier (topic). Also Wikidata Q3371827
History
- 2026-11-02: add by m2/dev
Mixture class 2FWTD8XZNK
| URI | m2://inv/2FWTD8XZNK |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21033#RZG0, Mixture class (definition). In A8C1M9BSWH/e1, definition 8.1
History
- 2026-10-27: add by m2/v0.4.2
Great icosahedron 2FWTQSD7CS
| URI | m2://inv/2FWTQSD7CS |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of uniform polyhedra by Schwarz triangle#O3RD, Great icosahedron (object)
History
- 2026-11-02: add by m2/dev
Roberts, Harry V. 2FWZ1K31C1
| URI | m2://inv/2FWZ1K31C1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#TFZ2, Roberts, Harry V. (unknown)
History
- 2026-11-02: add by m2/dev
\bf Lazy trapping or descent 2FX3KCK5Q1
| URI | m2://inv/2FX3KCK5Q1 |
|---|---|
| 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.02791#FEDP, \bf Lazy trapping or descent (statement). In TT9BA4VMTW/e1, theorem 5.2
History
- 2026-10-29: add by m2/v0.4.12
2FX3Q0XHDT 2FX3Q0XHDT
| URI | m2://inv/2FX3Q0XHDT |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/set-theory/cardinal.tex#proof-3 (proof). In RZP28ERRZV, proof, section 89.4
History
- 2026-11-01: add by m2/v0.6.13
Aberration of light (non-dependence of star's velocity) 2FXBKEHDSF
| URI | m2://inv/2FXBKEHDSF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Aberration (astronomy)#HTJ1, Aberration of light (non-dependence of star's velocity) (unknown)
History
- 2026-11-02: add by m2/dev
Lanczos algorithm 2FXQEGXHH0
| URI | m2://inv/2FXQEGXHH0 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Lanczos algorithm 7RRB4PCRJB |
Mentions
- wikidata: Wikidata Q366640, Lanczos algorithm (concept). Also MathWorld LanczosAlgorithm
- wikipedia: Wikipedia Lanczos algorithm, Lanczos algorithm (definition). Also Wikidata Q366640
History
- 2026-10-26: add by m2/dev
Encrypt 2FY15VDRGQ
| URI | m2://inv/2FY15VDRGQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of telecommunications encryption terms#8RRZ, Encrypt (definition)
History
- 2026-11-02: add by m2/dev
2FY4TDGP3D 2FY4TDGP3D
| URI | m2://inv/2FY4TDGP3D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25129#OBFN (statement)
History
- 2026-11-01: add by m2/v0.6.15
A local accelerated variance benchmark 2FYBHNTQ4S
| URI | m2://inv/2FYBHNTQ4S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15202#6U6R, A local accelerated variance benchmark (statement). In X1FPG0KYBM/e1, corollary V.4
History
- 2026-10-28: add by m2/v0.4.2
Large deviation principle 2FYJZKVV5G
| URI | m2://inv/2FYJZKVV5G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2303.10636#8780, Large deviation principle (statement). In 9SV2RAEPXM/e1, theorem 5.6
History
- 2026-10-27: add by m2/v0.3.6
Three-stage quantum cryptography protocol 2FYP3BNYC8
| URI | m2://inv/2FYP3BNYC8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Three-stage quantum cryptography protocol, Three-stage quantum cryptography protocol (definition). Also Wikidata Q21072710
History
- 2026-11-02: add by m2/dev
2FYVT3CDS5 2FYVT3CDS5
| URI | m2://inv/2FYVT3CDS5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2103.12669#DDC8 (statement). In ZA6XNBA90V/e1, theorem 4.2
History
- 2026-10-27: add by m2/v0.3.5
William Shadish 2FYYMBAHW0
| URI | m2://inv/2FYYMBAHW0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia William Shadish, William Shadish (topic). Also Wikidata Q54818644
History
- 2026-11-02: add by m2/dev
Reference phases measure the collision weight exactly 2FZ292YQ04
| URI | m2://inv/2FZ292YQ04 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16351#OJMH, Reference phases measure the collision weight exactly (statement). In 1QSV7EQE3T/e1, lemma S86
History
- 2026-10-28: add by m2/v0.4.2
2FZ49SKX0V 2FZ49SKX0V
| URI | m2://inv/2FZ49SKX0V |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05986#80NS (definition). In N5ZM8MXJXH/e1, definition 4.3
History
- 2026-10-29: add by m2/v0.4.10
2FZA3SZPCR 2FZA3SZPCR
| URI | m2://inv/2FZA3SZPCR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08385#IL6M (statement). In D979582ST2/e1, lemma 5
History
- 2026-10-29: add by m2/v0.4.10
2FZEC87X0N 2FZEC87X0N
| URI | m2://inv/2FZEC87X0N |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27301#3BET (definition)
History
- 2026-11-01: add by m2/v0.6.15
Weyl tensor 2FZJBR6VZ8
| URI | m2://inv/2FZJBR6VZ8 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Weyl tensor SBHY31HESP |
Mentions
- wikidata: Wikidata Q869108, Weyl tensor (concept). Also MathWorld WeylTensor, nLab Weyl tensor
- wikipedia: Wikipedia Weyl tensor, Weyl tensor (definition). Also Wikidata Q869108
History
- 2026-10-26: add by m2/dev
Temple F. Smith 2FZX35ZHNB
| URI | m2://inv/2FZX35ZHNB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#TVIC, Temple F. Smith (unknown)
History
- 2026-11-02: add by m2/dev