Inventory rows Y2
The cards of the rows of the inventory whose ids start with Y2. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Y205XJ5XAM Y205XJ5XAM
| URI | m2://inv/Y205XJ5XAM |
|---|---|
| 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.17411#CTRL (statement). In 73QW05MWQB/e1, proposition 5.9
History
- 2026-10-28: add by m2/v0.4.2
Y2067J3PF1 Y2067J3PF1
| URI | m2://inv/Y2067J3PF1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.20663#5O1F (statement). In AZMX0CY5NE/e1, lemma 21
History
- 2026-10-27: add by m2/v0.4.2
Y209SEK9DD Y209SEK9DD
| URI | m2://inv/Y209SEK9DD |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38030#NOVH (definition). In XYYEJN00D8/e1, definition 3.2
History
- 2026-10-30: add by m2/v0.4.12
Paul Harzer Y20DDNPAJ9
| URI | m2://inv/Y20DDNPAJ9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#359R, Paul Harzer (topic)
History
- 2026-11-02: add by m2/dev
Application of Jordan's lemma Y20DZW8WM4
| URI | m2://inv/Y20DZW8WM4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jordan's lemma#X89V, Application of Jordan's lemma (example)
History
- 2026-11-02: add by m2/dev
Pricing science Y20QTEJYPQ
| URI | m2://inv/Y20QTEJYPQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pricing science, Pricing science (definition). Also Wikidata Q7242683
History
- 2026-11-02: add by m2/dev
Y20RF4EJEX Y20RF4EJEX
| URI | m2://inv/Y20RF4EJEX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14267#BRCC (statement). In 9YTGFNA004/e1, lemma 2.2
History
- 2026-10-28: add by m2/v0.4.2
Y20RTEQ8N4 Y20RTEQ8N4
| URI | m2://inv/Y20RTEQ8N4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11847#8GEV (statement). In MP2YM69XW8/e1, lemma 1
History
- 2026-10-28: add by m2/v0.4.3
Y20SBTZ8CS Y20SBTZ8CS
| URI | m2://inv/Y20SBTZ8CS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-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.23503#DQXP (statement)
History
- 2026-11-02: add by m2/v0.6.17
Y20Z3Q190T Y20Z3Q190T
| URI | m2://inv/Y20Z3Q190T |
|---|---|
| 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.34551#7NIO (statement). In 3AF7G56AGE/e1, corollary 4.1
History
- 2026-10-30: add by m2/v0.4.12
Y212CTP0NK Y212CTP0NK
| URI | m2://inv/Y212CTP0NK |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/methods/proofs/using-definitions.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 45.4
History
- 2026-11-01: add by m2/v0.6.13
Y218YPJN8T Y218YPJN8T
| URI | m2://inv/Y218YPJN8T |
|---|---|
| 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#M6L0 (statement). In 2PP4XRVS0J/e1, proposition 3.5
History
- 2026-10-27: add by m2/v0.4.2
Autoparallel Y219CCE2KD
| URI | m2://inv/Y219CCE2KD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of Riemannian and metric geometry#11OQ, Autoparallel (unknown)
History
- 2026-11-02: add by m2/dev
Percolation theory Y21CYX7K96
| URI | m2://inv/Y21CYX7K96 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of stochastic processes topics#DBNM, Percolation theory (definition)
- wikipedia: Wikipedia List of mathematical shapes#LB2S, Percolation theory (definition)
History
- 2026-11-02: add by m2/dev
Y21EFT8MNA Y21EFT8MNA
| URI | m2://inv/Y21EFT8MNA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32916#MS6S (statement). In G1RP4JY5PE/e1, theorem 3.2.6
History
- 2026-10-31: add by m2/v0.5.6
Properties Y21P29ZDTV
| URI | m2://inv/Y21P29ZDTV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Borel–Moore homology#IULA, Properties (statement)
History
- 2026-11-02: add by m2/dev
Flexible desingularization of the Hill--Norbury family Y21RP43N4K
| URI | m2://inv/Y21RP43N4K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22513#4NWV, Flexible desingularization of the Hill--Norbury family (statement)
History
- 2026-11-02: add by m2/v0.6.17
Y21TBEAK0T Y21TBEAK0T
| URI | m2://inv/Y21TBEAK0T |
|---|---|
| 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 2610.03835#DD6W (statement). In KAYGQMQPGS/e1, proposition 5.10
History
- 2026-10-29: add by m2/v0.4.12
θ-cluster point, θ-closed, θ-open Y21VYEY34H
| URI | m2://inv/Y21VYEY34H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of general topology#P768, θ-cluster point, θ-closed, θ-open (definition)
History
- 2026-11-02: add by m2/dev
Y222AP3M3H Y222AP3M3H
| URI | m2://inv/Y222AP3M3H |
|---|---|
| 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.23975#GT37 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Solitaire Y229ANQAXQ
| URI | m2://inv/Y229ANQAXQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Solitaire (cipher), Solitaire (definition). Also Wikidata Q1972948
History
- 2026-11-02: add by m2/dev
Y22KTX94BC Y22KTX94BC
| URI | m2://inv/Y22KTX94BC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10505#NXE9 (statement). In JW8HH6EPG2/e1, proposition 3.44
History
- 2026-10-29: add by m2/v0.4.10
Y22QVJCCJM Y22QVJCCJM
| URI | m2://inv/Y22QVJCCJM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18078#OWSZ (statement). In YVK8EFSYNJ/e1, corollary 2.3
History
- 2026-10-28: add by m2/v0.4.2
Y230B7D1WA Y230B7D1WA
| URI | m2://inv/Y230B7D1WA |
|---|---|
| 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 2109.00080#GAP6 (statement). In HD3G4MR75W/e1, theorem 1
History
- 2026-10-27: add by m2/v0.3.5
Positive predictive value Y23BZ9SXC0
| URI | m2://inv/Y23BZ9SXC0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#UQMT, Positive predictive value (definition)
History
- 2026-11-02: add by m2/dev
Y23GSPPAH8 Y23GSPPAH8
| URI | m2://inv/Y23GSPPAH8 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Riemann hypothesis#FH69 (problem)
History
- 2026-11-02: add by m2/dev
Apeirogonal tiling Y23PB057KQ
| URI | m2://inv/Y23PB057KQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Apeirogonal tiling, Apeirogonal tiling (definition). Also Wikidata Q16252726
History
- 2026-11-02: add by m2/dev
Y23X8DH7R6 Y23X8DH7R6
| URI | m2://inv/Y23X8DH7R6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2404.00077#HLXZ (statement). In 25WX007DJ1/e1, theorem 6
History
- 2026-10-27: add by m2/v0.3.5
delooping Y2403PB6W8
| URI | m2://inv/Y2403PB6W8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#LE4D, delooping (definition)
History
- 2026-11-02: add by m2/dev
Canonical analysis Y2407XJQSZ
| URI | m2://inv/Y2407XJQSZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#OEE0, Canonical analysis (definition)
History
- 2026-11-02: add by m2/dev
List of Brazilian states by life expectancy Y243AJK1VH
| URI | m2://inv/Y243AJK1VH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Brazilian states by life expectancy, List of Brazilian states by life expectancy (topic). Also Wikidata Q6564660
History
- 2026-11-02: add by m2/dev
Borel determinacy theorem Y24F84BNCK
| URI | m2://inv/Y24F84BNCK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#2BIM, Borel determinacy theorem (statement)
History
- 2026-11-02: add by m2/dev
commutator subgroup Y24K6T3DBQ
| URI | m2://inv/Y24K6T3DBQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Commutator subgroup 08SJ5K2CBG |
Mentions
- wikidata: Wikidata Q522216, commutator subgroup (unknown). Also MathWorld CommutatorSubgroup, nLab commutator subgroup
- wikipedia: Wikipedia Commutator subgroup, Commutator subgroup (definition). Also Wikidata Q522216
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Y24M2Y8VPB Y24M2Y8VPB
| URI | m2://inv/Y24M2Y8VPB |
|---|---|
| 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 2203.06854#EV1X (statement). In 7NE5NVT9KH/e1, lemma 2.3
History
- 2026-10-27: add by m2/v0.3.5
Terminology Y24QP8X88T
| URI | m2://inv/Y24QP8X88T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Limited principle of omniscience#5GWG, Terminology (definition)
History
- 2026-11-02: add by m2/dev
Schilder's theorem Y24WW6H52J
| URI | m2://inv/Y24WW6H52J |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 60-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q7431298, Schilder's theorem (statement). Also Wikidata Q7431298
- thousand_plus: thousand_plus Q7431298, Schilder's theorem (statement). Also Wikidata Q7431298, Wikipedia Schilder's theorem
- wikipedia: Wikipedia Schilder's theorem, Schilder's theorem (statement). Also Wikidata Q7431298
History
- 2026-10-26: add by m2/dev
Raphaël Salem Y24X51P0RK
| URI | m2://inv/Y24X51P0RK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Greek mathematicians#DY55, Raphaël Salem (unknown)
History
- 2026-11-02: add by m2/dev
Y257ADH0SS Y257ADH0SS
| URI | m2://inv/Y257ADH0SS |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2608.23797#4NS7 (definition). In PZCA01JXVR/e1, definition 2.2
History
- 2026-10-27: add by m2/v0.3.5
Gadsden Y25BKDQ54W
| URI | m2://inv/Y25BKDQ54W |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of U.S. communities with Hispanic-majority populations in the 2000 census#NUZ7, Gadsden (unknown)
History
- 2026-11-02: add by m2/dev
Y25BS21S6G Y25BS21S6G
| URI | m2://inv/Y25BS21S6G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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 2609.23884#EHLL (statement)
History
- 2026-11-02: add by m2/v0.6.17
first-order, logic Y25CPWWT71
| URI | m2://inv/Y25CPWWT71 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/A.1/first-order-logic, first-order, logic (concept). In N54F33XE07, index, section A.1
History
- 2026-11-01: add by m2/v0.6.13
Hausdorff completion Y25H7EGQXQ
| URI | m2://inv/Y25H7EGQXQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hausdorff completion, Hausdorff completion (definition). Also Wikidata Q5682818
History
- 2026-11-02: add by m2/dev
Well-posedness of the finite-particle system Y25JHZXDRA
| URI | m2://inv/Y25JHZXDRA |
|---|---|
| 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.33541#2OAB, Well-posedness of the finite-particle system (statement). In N3P196CEAJ/e1, theorem 2.3
History
- 2026-10-30: add by m2/v0.4.12
Cattaneo, Matias D. Y25PSYK4E9
| URI | m2://inv/Y25PSYK4E9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#LCHN, Cattaneo, Matias D. (topic)
History
- 2026-11-02: add by m2/dev
Faddeev–Popov ghost Y25YYB2HYZ
| URI | m2://inv/Y25YYB2HYZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1391812, Faddeev–Popov ghost (unknown). Also EoM Faddeev-Popov_ghost, nLab ghost field
- wikipedia: Wikipedia Faddeev–Popov ghost, Faddeev–Popov ghost (definition). Also Wikidata Q1391812
History
- 2026-10-26: add by m2/dev
Kanamori–McAloon theorem Y260QC01T4
| URI | m2://inv/Y260QC01T4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#XZM4, Kanamori–McAloon theorem (statement)
History
- 2026-11-02: add by m2/dev
Line bound Y267EPYB84
| URI | m2://inv/Y267EPYB84 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31689#QLC1, Line bound (statement). In Z7M2JSF6HA/e1, lemma 9.2
History
- 2026-10-31: add by m2/v0.5.6
Y268WCXSN9 Y268WCXSN9
| URI | m2://inv/Y268WCXSN9 |
|---|---|
| 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 1903.11969#VUPJ (statement). In 9N4EV3GRM7/e1, lemma 4.1
History
- 2026-10-27: add by m2/v0.3.5
British Y26B0FCCNC
| URI | m2://inv/Y26B0FCCNC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of countries by past and projected future population#SPDC, British (unknown)
History
- 2026-11-02: add by m2/dev
Differentiation preserves exponential type Y26MEBAD5F
| URI | m2://inv/Y26MEBAD5F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19243#5VAQ, Differentiation preserves exponential type (statement). In 8CSXBTYKDT/e1, lemma 2.4
History
- 2026-10-28: add by m2/v0.4.2
Y26NFT4PDG Y26NFT4PDG
| URI | m2://inv/Y26NFT4PDG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31523#7AJA (statement). In 2BET1RE1F6/e1, proposition 4.1
History
- 2026-10-31: add by m2/v0.5.6
Y26NG3ZS3Y Y26NG3ZS3Y
| URI | m2://inv/Y26NG3ZS3Y |
|---|---|
| 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.35678#44CA (statement). In 4X4ZS7CEKD/e1, proposition 13
History
- 2026-10-30: add by m2/v0.4.12
Y26PB2TJKS Y26PB2TJKS
| URI | m2://inv/Y26PB2TJKS |
|---|---|
| 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.03222#1VAL (statement). In BB0JGNK4YF/e1, theorem 4.1
History
- 2026-10-29: add by m2/v0.4.12
Paolo Di Vecchia Y2700Q1BAV
| URI | m2://inv/Y2700Q1BAV |
|---|---|
| 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 Q15453732, Paolo Di Vecchia (unknown). Also nLab Paolo Di Vecchia
History
- 2026-10-26: add by m2/dev
Principles of high-quality science Y2749AZ10K
| URI | m2://inv/Y2749AZ10K |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ralf Seppelt#MOQX, Principles of high-quality science (statement)
History
- 2026-11-02: add by m2/dev
Y2771NVJGB Y2771NVJGB
| URI | m2://inv/Y2771NVJGB |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-eigenvalue-probs.tex#exercise-14 (exercise). In E9HS8K3A52, exercise, section 3.2.1
History
- 2026-11-01: add by m2/v0.6.13
One-way function Y278MA5B03
| URI | m2://inv/Y278MA5B03 |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in computer science#WFV2, One-way function (conjecture)
History
- 2026-11-02: add by m2/dev
Definition Y27MZ64RR9
| URI | m2://inv/Y27MZ64RR9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia L-function#613T, Definition (definition)
History
- 2026-11-02: add by m2/dev
Y284DADPGR Y284DADPGR
| URI | m2://inv/Y284DADPGR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33476#C3NW (statement). In DAQW640R25/e1, proposition 4.7
History
- 2026-10-30: add by m2/v0.4.12
Y288MFYZCX Y288MFYZCX
| URI | m2://inv/Y288MFYZCX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31484#GI53 (statement). In 1RDQ10G87W/e1, theorem 3.2
History
- 2026-10-31: add by m2/v0.5.6
Angus J. Macintyre Y28BVV32QX
| URI | m2://inv/Y28BVV32QX |
|---|---|
| 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#JWTW, Angus J. Macintyre (topic)
History
- 2026-11-02: add by m2/dev
Levels Y28G5HW8TG
| URI | m2://inv/Y28G5HW8TG |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-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.09912#20SP, Levels (definition). In 65TJENWK7X/e1, definition 25
History
- 2026-10-29: add by m2/v0.4.10
Y28K1TZF1J Y28K1TZF1J
| URI | m2://inv/Y28K1TZF1J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2111.09700#Q3AS (statement). In XCSQ27P0XW/e1, proposition 3.1
History
- 2026-10-27: add by m2/v0.4.0
Christian Gustav Adolph Mayer Y28T90E49K
| URI | m2://inv/Y28T90E49K |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#MJU8, Christian Gustav Adolph Mayer (topic)
History
- 2026-11-02: add by m2/dev
Phase derivative bound Y28WFRR830
| URI | m2://inv/Y28WFRR830 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17276#8VGS, Phase derivative bound (statement). In GG14QF0JKJ/e1, proposition 2.13
History
- 2026-10-28: add by m2/v0.4.2
Legendre–Clebsch condition Y28YG6YJQE
| URI | m2://inv/Y28YG6YJQE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Legendre–Clebsch condition, Legendre–Clebsch condition (definition). Also Wikidata Q6517889
History
- 2026-11-02: add by m2/dev
Y28YN8AFX2 Y28YN8AFX2
| URI | m2://inv/Y28YN8AFX2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/FiniteSets.tex#thm:increaseCardinality (statement). In P1C114YBXG, theorem, section B
History
- 2026-11-01: add by m2/v0.6.13
Y28ZKRSNN0 Y28ZKRSNN0
| URI | m2://inv/Y28ZKRSNN0 |
|---|---|
| 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.25912#TV30 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Properties Y28ZSJW1S0
| URI | m2://inv/Y28ZSJW1S0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Internal and external angles#31AN, Properties (statement)
History
- 2026-11-02: add by m2/dev
Y291BZZJFA Y291BZZJFA
| URI | m2://inv/Y291BZZJFA |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 30-XX, 32-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37606#20KU (problem). In WNFW6GY38C/e1, problem 12.4
History
- 2026-10-30: add by m2/v0.4.12
Y29C2XKDVQ Y29C2XKDVQ
| URI | m2://inv/Y29C2XKDVQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11905#T3XR (statement). In QQFXT31CA5/e1, proposition 8.3
History
- 2026-10-28: add by m2/v0.4.3
Y29HV2WP1M Y29HV2WP1M
| URI | m2://inv/Y29HV2WP1M |
|---|---|
| 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.12983#1520 (statement). In M6TFZ6E060/e1, lemma 4.9
History
- 2026-10-28: add by m2/v0.4.2
Thomassen graphs Y29TCNMPCH
| URI | m2://inv/Y29TCNMPCH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q118322200, Thomassen graphs (unknown). Also MathWorld ThomassenGraphs
History
- 2026-10-26: add by m2/dev
Gibbs' inequality Y2A1NFWVV7
| URI | m2://inv/Y2A1NFWVV7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gibbs' inequality, Gibbs' inequality (statement). Also Wikidata Q1425564
History
- 2026-11-02: add by m2/dev
Y2A7MY1TBD Y2A7MY1TBD
| URI | m2://inv/Y2A7MY1TBD |
|---|---|
| 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.09129#QF2U (statement). In Z1RZSF68XZ/e1, corollary 1.6
History
- 2026-10-29: add by m2/v0.4.10
Y2A7SRNJ5M Y2A7SRNJ5M
| URI | m2://inv/Y2A7SRNJ5M |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-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 2306.12846#FVPS (example). In D6XA7JXZF3/e1, example 6.9
History
- 2026-10-27: add by m2/v0.3.5
Y2AADPCYFZ Y2AADPCYFZ
| URI | m2://inv/Y2AADPCYFZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08682#V37V (statement). In Y306A1GPM5/e1, theorem 1.2
History
- 2026-10-29: add by m2/v0.4.10
General local bound Y2AJ7VJARJ
| URI | m2://inv/Y2AJ7VJARJ |
|---|---|
| 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#YKKY, General local bound (statement)
History
- 2026-11-01: add by m2/v0.6.15
Y2AJTJYB44 Y2AJTJYB44
| URI | m2://inv/Y2AJTJYB44 |
|---|---|
| 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.32207#ERC3 (statement). In R94G9XD5AC/e1, corollary 1.2
History
- 2026-10-31: add by m2/v0.5.6
Y2AS25NA86 Y2AS25NA86
| URI | m2://inv/Y2AS25NA86 |
|---|---|
| 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.38069#Y79M (statement). In K0E0H4RV6Y/e1, proposition 1
History
- 2026-10-30: add by m2/v0.4.12
Ordered field Y2ATX2K98P
| URI | m2://inv/Y2ATX2K98P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of field theory#XHGF, Ordered field (definition)
History
- 2026-11-02: add by m2/dev
Applications Y2B2PTP0A1
| URI | m2://inv/Y2B2PTP0A1 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bounded variation#7WBL, Applications (example)
History
- 2026-11-02: add by m2/dev
IZF Y2B8N89Z4Q
| URI | m2://inv/Y2B8N89Z4Q |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Constructive set theory#PTY2, IZF (unknown)
History
- 2026-11-02: add by m2/dev
Mitrofan Cioban Y2BTNV4EHJ
| URI | m2://inv/Y2BTNV4EHJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#FVJJ, Mitrofan Cioban (unknown)
History
- 2026-11-02: add by m2/dev
Wadge's lemma via Wadge and Lipschitz games Y2BV1ED81W
| URI | m2://inv/Y2BV1ED81W |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wadge hierarchy#U7V5, Wadge's lemma via Wadge and Lipschitz games (statement)
History
- 2026-11-02: add by m2/dev
Construction Y2C0K359SS
| URI | m2://inv/Y2C0K359SS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Leray spectral sequence#V4HJ, Construction (definition)
History
- 2026-11-02: add by m2/dev
Kenneth Wayne Bushnell Y2C8ZM1WFJ
| URI | m2://inv/Y2C8ZM1WFJ |
|---|---|
| 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#IKSX, Kenneth Wayne Bushnell (unknown)
History
- 2026-11-02: add by m2/dev
Kemeny method Y2CDRD7CE8
| URI | m2://inv/Y2CDRD7CE8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kemeny method, Kemeny method (definition). Also Wikidata Q6386915
History
- 2026-11-02: add by m2/dev
Y2CE032WKH Y2CE032WKH
| URI | m2://inv/Y2CE032WKH |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/many-valued-logic/three-valued-logics/multiple-designation.tex#prob-4 (exercise). In PKGMM3P5QY, prob, section 42.6
History
- 2026-11-01: add by m2/v0.6.13
Y2CG312THH Y2CG312THH
| URI | m2://inv/Y2CG312THH |
|---|---|
| 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#T2Q9 (statement). In V7SN19J84T/e1, theorem A
History
- 2026-10-28: add by m2/v0.4.2
Theodor Estermann Y2CRJMKHW7
| URI | m2://inv/Y2CRJMKHW7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Theodor Estermann, Theodor Estermann (topic). Also Wikidata Q1246461
History
- 2026-11-02: add by m2/dev
Y2CWRAJ053 Y2CWRAJ053
| URI | m2://inv/Y2CWRAJ053 |
|---|---|
| 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 2609.33313#EPV7 (statement). In HRCEFY172P/e1, lemma 3.14
History
- 2026-10-30: add by m2/v0.4.12
Y2CZM7YJ7X Y2CZM7YJ7X
| URI | m2://inv/Y2CZM7YJ7X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15593#OY2I (statement). In PREJREM4BB/e1, lemma 4.1
History
- 2026-10-28: add by m2/v0.4.2
Y2D4QEEFPE Y2D4QEEFPE
| URI | m2://inv/Y2D4QEEFPE |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2204.13401#7N2D (definition). In B8MJT0GGW8/e1, definition 4.16
History
- 2026-10-27: add by m2/v0.4.0
Method Y2D79X71D8
| URI | m2://inv/Y2D79X71D8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Clock (cryptography)#EX1J, Method (definition)
History
- 2026-11-02: add by m2/dev
Y2DARCVMKE Y2DARCVMKE
| URI | m2://inv/Y2DARCVMKE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19076#KRK6 (statement). In M77QPWHHRX/e1, corollary 7
History
- 2026-10-28: add by m2/v0.4.2
Gromov's theorem Y2DVWFRJSE
| URI | m2://inv/Y2DVWFRJSE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cubical complex#D2DD, Gromov's theorem (statement)
History
- 2026-11-02: add by m2/dev
Table of Opposites Y2E7Q3K85K
| URI | m2://inv/Y2E7Q3K85K |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pythagoreanism#TDNW, Table of Opposites (unknown)
History
- 2026-11-02: add by m2/dev
Y2E9ZSKAR2 Y2E9ZSKAR2
| URI | m2://inv/Y2E9ZSKAR2 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 60-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27103#U26V (definition)
History
- 2026-11-01: add by m2/v0.6.15
Y2EB084QQ4 Y2EB084QQ4
| URI | m2://inv/Y2EB084QQ4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/arithmetization/cauchy.tex#thm-1 (statement). In PKGMM3P5QY, thm, section 78.1
History
- 2026-11-01: add by m2/v0.6.13
Laurent survival Y2EF85SPB2
| URI | m2://inv/Y2EF85SPB2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00490#WZSB, Laurent survival (statement). In PZJDV6SJ9E/e1, theorem 5.6
History
- 2026-10-30: add by m2/v0.4.12
Y2ES2419FV Y2ES2419FV
| URI | m2://inv/Y2ES2419FV |
|---|---|
| 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.26041#30F7 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Sündüz Keleş Y2ETK9Y42P
| URI | m2://inv/Y2ETK9Y42P |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sündüz Keleş, Sündüz Keleş (topic). Also Wikidata Q91236256
History
- 2026-11-02: add by m2/dev
Y2F08QM0BX Y2F08QM0BX
| URI | m2://inv/Y2F08QM0BX |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/Topology.tex#prob:open vs closed (exercise). In P1C114YBXG, problem, section K
History
- 2026-11-01: add by m2/v0.6.13
Y2F4Z13NG3 Y2F4Z13NG3
| URI | m2://inv/Y2F4Z13NG3 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1809.06512#B0I7 (definition). In RY2X22P6XW/e1, definition 4
History
- 2026-10-27: add by m2/v0.3.5
center of a polydisc Y2F8QEPQW1
| URI | m2://inv/Y2F8QEPQW1 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv index/1.1/center-of-a-polydisc, center of a polydisc (concept). In VNMV985MXX, index, section 1.1
History
- 2026-11-01: add by m2/v0.6.13
David Gale Y2FDS586RQ
| URI | m2://inv/Y2FDS586RQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia David Gale, David Gale (topic). Also Wikidata Q1174507
History
- 2026-11-02: add by m2/dev
Michael Dukakis Y2FF9281HC
| URI | m2://inv/Y2FF9281HC |
|---|---|
| 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#L7CF, Michael Dukakis (unknown)
History
- 2026-11-02: add by m2/dev
Uses Y2FMB4DYQE
| URI | m2://inv/Y2FMB4DYQE |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pseudorandom generator#R2DW, Uses (example)
History
- 2026-11-02: add by m2/dev
QM–AM–GM–HM inequalities Y2FMVRY7QD
| URI | m2://inv/Y2FMVRY7QD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia QM–AM–GM–HM inequalities, QM–AM–GM–HM inequalities (definition). Also Wikidata Q2312489
History
- 2026-11-02: add by m2/dev
Zariski–Lipman conjecture Y2FQVRPW84
| URI | m2://inv/Y2FQVRPW84 |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#XC08, Zariski–Lipman conjecture (conjecture)
History
- 2026-11-02: add by m2/dev
Definition and properties Y2FYFQSGRW
| URI | m2://inv/Y2FYFQSGRW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Discrete measure#09HG, Definition and properties (definition)
History
- 2026-11-02: add by m2/dev
Definition Y2GDGHZGXQ
| URI | m2://inv/Y2GDGHZGXQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Current (mathematics)#E2VC, Definition (definition)
History
- 2026-11-02: add by m2/dev
Statement Y2GFT5XKED
| URI | m2://inv/Y2GFT5XKED |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Erdős–Fuchs theorem#8X3V, Statement (statement)
History
- 2026-11-02: add by m2/dev
Inverse chain rule method Y2GX0APFPG
| URI | m2://inv/Y2GX0APFPG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematics-based methods#5FR4, Inverse chain rule method (definition)
History
- 2026-11-02: add by m2/dev
Y2GYT8DWHC Y2GYT8DWHC
| URI | m2://inv/Y2GYT8DWHC |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 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.22514#ZTS7 (definition)
History
- 2026-11-02: add by m2/v0.6.17
Y2H1AEP8H3 Y2H1AEP8H3
| URI | m2://inv/Y2H1AEP8H3 |
|---|---|
| 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.08912#DBNN (statement). In DK5QY64NGH/e1, lemma 5.14
History
- 2026-10-29: add by m2/v0.4.10
Wrapped exponential distribution Y2HAW333N4
| URI | m2://inv/Y2HAW333N4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#ACH6, Wrapped exponential distribution (definition)
History
- 2026-11-02: add by m2/dev
Y2HD17K9R7 Y2HD17K9R7
| URI | m2://inv/Y2HD17K9R7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31220#NP2M (statement). In JMWCGMNE84/e1, lemma 3.3
History
- 2026-10-31: add by m2/v0.5.6
Y2HKNT2V8Q Y2HKNT2V8Q
| URI | m2://inv/Y2HKNT2V8Q |
|---|---|
| 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.15086#S14H (statement). In V60MVF3KQ1/e1, lemma 2.2
History
- 2026-10-28: add by m2/v0.4.2
Journal of Mathematical Analysis and Applications Y2HMRV6ZN8
| URI | m2://inv/Y2HMRV6ZN8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a book, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q15438343, Journal of Mathematical Analysis and Applications (unknown). Also ProofWiki Book:Journal/Journal_of_Mathematical_Analysis_and_Applications
- wikipedia: Wikipedia Journal of Mathematical Analysis and Applications, Journal of Mathematical Analysis and Applications (definition). Also Wikidata Q15438343
History
- 2026-10-26: add by m2/dev
Y2HWGPHQP4 Y2HWGPHQP4
| URI | m2://inv/Y2HWGPHQP4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04452#1KPH (statement). In ZV3ANMKJ0Y/e1, theorem 2.3
History
- 2026-10-29: add by m2/v0.4.12
Hyperplane separation theorem Y2HWSWKC3T
| URI | m2://inv/Y2HWSWKC3T |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hyperplane separation theorem#ZMNP, Hyperplane separation theorem (statement)
History
- 2026-11-02: add by m2/dev
permutation group Y2HX3P9R99
| URI | m2://inv/Y2HX3P9R99 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Permutation group ZDJQRKPWGA |
Mentions
- wikidata: Wikidata Q1412905, permutation group (unknown). Also MathWorld PermutationGroup
- wikipedia: Wikipedia Permutation group, Permutation group (definition). Also Wikidata Q1412905
History
- 2026-10-26: add by m2/dev
Universal composability Y2HY71TN8Q
| URI | m2://inv/Y2HY71TN8Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Universal composability, Universal composability (definition). Also Wikidata Q7894118
History
- 2026-11-02: add by m2/dev
Morrey–Campanato space Y2J2X5CFVW
| URI | m2://inv/Y2J2X5CFVW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of vector spaces in mathematics#GBTT, Morrey–Campanato space (definition)
History
- 2026-11-02: add by m2/dev
maximal planar graph Y2J4N0XJSD
| URI | m2://inv/Y2J4N0XJSD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1257475, maximal planar graph (unknown). Also MathWorld TriangulatedGraph
History
- 2026-10-26: add by m2/dev
Y2JABVMT7G Y2JABVMT7G
| URI | m2://inv/Y2JABVMT7G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09171#N3OI (statement). In 5ZPSZFE08Q/e1, theorem 1.9
History
- 2026-10-29: add by m2/v0.4.10
Y2JCQWBQ6C Y2JCQWBQ6C
| URI | m2://inv/Y2JCQWBQ6C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24580#ZFYF (statement)
History
- 2026-11-01: add by m2/v0.6.15
Lemma Y2JE58JSC6
| URI | m2://inv/Y2JE58JSC6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Compact operator on Hilbert space#96JT, Lemma (statement)
History
- 2026-11-02: add by m2/dev
Valery Goppa Y2JNSQSBF1
| URI | m2://inv/Y2JNSQSBF1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Russian mathematicians#IRK6, Valery Goppa (topic)
History
- 2026-11-02: add by m2/dev
structure, identity principle Y2JR36XK34
| URI | m2://inv/Y2JR36XK34 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/2.8/structure-identity-principle, structure, identity principle (concept). In N54F33XE07, index, section 2.8
History
- 2026-11-01: add by m2/v0.6.13
IMSL Numerical Libraries Y2JS5D074X
| URI | m2://inv/Y2JS5D074X |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistical software#FO0P, IMSL Numerical Libraries (unknown)
History
- 2026-11-02: add by m2/dev
Y2K5SFCP4X Y2K5SFCP4X
| URI | m2://inv/Y2K5SFCP4X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03719#LR4K (statement). In 8MDK189ZMB/e1, lemma B.1
History
- 2026-10-29: add by m2/v0.4.12
Deleting $\gamma>0$ from $\mathsf N_{\mathrm{pd}}$: an even activation collapses two distinct Dirac rows Y2K61TF0V3
| URI | m2://inv/Y2K61TF0V3 |
|---|---|
| Kind | example |
| 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.04357#NR8E, Deleting $\gamma>0$ from $\mathsf N_{\mathrm{pd}}$: an even activation collapses two distinct Dirac rows (example). In 6FY8BVP1F3/e1, example E.2
History
- 2026-10-29: add by m2/v0.4.12
Kummer's theorem Y2K9MJVDM9
| URI | m2://inv/Y2K9MJVDM9 |
|---|---|
| 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.23128#93XB, Kummer's theorem (statement)
History
- 2026-11-02: add by m2/v0.6.17
Y2KCW8KSM4 Y2KCW8KSM4
| URI | m2://inv/Y2KCW8KSM4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20801#X5AA (statement). In A1GWWGRXPA/e1, proposition 3.12
History
- 2026-10-27: add by m2/v0.4.2
Y2KD2Y4NEJ Y2KD2Y4NEJ
| URI | m2://inv/Y2KD2Y4NEJ |
|---|---|
| Kind | example |
| 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.26776#3X2Y (example)
History
- 2026-11-01: add by m2/v0.6.15
Two-cube calendar Y2KPD5QKBD
| URI | m2://inv/Y2KPD5QKBD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Two-cube calendar, Two-cube calendar (definition). Also Wikidata Q23820948
History
- 2026-11-02: add by m2/dev
Use Y2M1NQG1MA
| URI | m2://inv/Y2M1NQG1MA |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia P–P plot#JKVX, Use (example)
History
- 2026-11-02: add by m2/dev
Y2M30Z12KB Y2M30Z12KB
| URI | m2://inv/Y2M30Z12KB |
|---|---|
| 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.17411#G0B3 (statement). In 73QW05MWQB/e1, lemma 4.10
History
- 2026-10-28: add by m2/v0.4.2
Rainbow matching Y2M3ZSSR1G
| URI | m2://inv/Y2M3ZSSR1G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rainbow matching, Rainbow matching (definition). Also Wikidata Q17143488
History
- 2026-11-02: add by m2/dev
Robust reachability Y2M93SYZFP
| URI | m2://inv/Y2M93SYZFP |
|---|---|
| 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.12713#FUC0, Robust reachability (definition). In F14A5HX20Q/e1, definition 6.7
History
- 2026-10-28: add by m2/v0.4.2
Qualitative data Y2MAZYMGKH
| URI | m2://inv/Y2MAZYMGKH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#ICWB, Qualitative data (definition)
History
- 2026-11-02: add by m2/dev
Y2MNWADFME Y2MNWADFME
| URI | m2://inv/Y2MNWADFME |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-151 (exercise). In VNMV985MXX, exercise, section 2.6
History
- 2026-11-01: add by m2/v0.6.13
linear system Y2MX2ZRCRA
| URI | m2://inv/Y2MX2ZRCRA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#X0UN, linear system (definition)
History
- 2026-11-02: add by m2/dev
Japanese Ellipsis Y2N7EBC2N3
| URI | m2://inv/Y2N7EBC2N3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ellipsis#EYQW, Japanese Ellipsis (unknown)
History
- 2026-11-02: add by m2/dev
Y2NHVMT44S Y2NHVMT44S
| URI | m2://inv/Y2NHVMT44S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28509#0LUA (statement)
History
- 2026-11-01: add by m2/v0.6.15
Characterizations Y2NNVF2H9M
| URI | m2://inv/Y2NNVF2H9M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Noetherian ring#EDAG, Characterizations (statement)
History
- 2026-11-02: add by m2/dev
virtual holonomy Y2NXR7YZPR
| URI | m2://inv/Y2NXR7YZPR |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 30-XX, 32-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.12497#14MT, virtual holonomy (definition). In Z0SAF18JPP/e1, definition 11.4
History
- 2026-10-28: add by m2/v0.4.2
Conformal Killing tensor Y2P5TQBJHR
| URI | m2://inv/Y2P5TQBJHR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Killing tensor#S6M6, Conformal Killing tensor (unknown)
History
- 2026-11-02: add by m2/dev
Y2P60VWJCG Y2P60VWJCG
| URI | m2://inv/Y2P60VWJCG |
|---|---|
| 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 0807.1652#PJME (statement). In 6RC18PTSTT/e1, theorem 4
History
- 2026-10-27: add by m2/v0.3.5
Explicit finite-sample sufficient condition Y2P7EJ45YN
| URI | m2://inv/Y2P7EJ45YN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00117#E57V, Explicit finite-sample sufficient condition (statement). In 4G2BDP206S/e1, corollary 12
History
- 2026-10-30: add by m2/v0.4.12
Statement Y2P9CCND0F
| URI | m2://inv/Y2P9CCND0F |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jordan's lemma#EZU4, Statement (statement)
History
- 2026-11-02: add by m2/dev
George Zames Y2PAP1J60H
| URI | m2://inv/Y2PAP1J60H |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#3HY0, George Zames (unknown)
History
- 2026-11-02: add by m2/dev
Y2PK9BEKWW Y2PK9BEKWW
| URI | m2://inv/Y2PK9BEKWW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21181#LTMZ (statement). In 3D0GJXDY11/e1, theorem B
History
- 2026-10-27: add by m2/v0.4.2
Y2PNX46DDD Y2PNX46DDD
| URI | m2://inv/Y2PNX46DDD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2504.01057#MIZU (statement). In 69QFBXJENW/e1, theorem 2.14
History
- 2026-10-27: add by m2/v0.3.5
Challenging Y2PP2QR9AN
| URI | m2://inv/Y2PP2QR9AN |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-riemann.tex#exercise:hardabsint, Challenging (exercise). In E59CDZA4DP, exercise, section 8.2.5
History
- 2026-11-01: add by m2/v0.6.13
Y2PRXQDQ2N Y2PRXQDQ2N
| URI | m2://inv/Y2PRXQDQ2N |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/computability/computability-theory/complete-ce-sets.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 2.6
History
- 2026-11-01: add by m2/v0.6.13
Twee Rivieren Y2PX73JJ39
| URI | m2://inv/Y2PX73JJ39 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#H34B, Twee Rivieren (unknown)
History
- 2026-11-02: add by m2/dev
Y2PX9FHVA4 Y2PX9FHVA4
| URI | m2://inv/Y2PX9FHVA4 |
|---|---|
| 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 2211.04758#GUWF (statement). In DRWDJG2G3S/e1, theorem 1.4
History
- 2026-10-27: add by m2/v0.3.5
Weighted intertwining Y2PXPSD69Z
| URI | m2://inv/Y2PXPSD69Z |
|---|---|
| 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.04271#M8SM, Weighted intertwining (statement). In WBXAW9G4JB/e1, lemma E.2
History
- 2026-10-29: add by m2/v0.4.12
High-momentum Row near-set control Y2Q46PPEQ2
| URI | m2://inv/Y2Q46PPEQ2 |
|---|---|
| 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.11309#PW0D, High-momentum Row near-set control (statement). In TTEAQA1XXR/e1, lemma E.9
History
- 2026-10-28: add by m2/v0.4.3
Sequent Y2Q51K3AH5
| URI | m2://inv/Y2Q51K3AH5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/many-valued-logic/sequent-calculus/rules-and-proofs.tex#defn-1, Sequent (definition). In PKGMM3P5QY, defn, section 40.6
History
- 2026-11-01: add by m2/v0.6.13
Singularity theory Y2Q6HPJWGH
| URI | m2://inv/Y2Q6HPJWGH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic geometry topics#J4JL, Singularity theory (definition)
History
- 2026-11-02: add by m2/dev
Properties Y2QB3YSAAJ
| URI | m2://inv/Y2QB3YSAAJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euclidean minimum spanning tree#Z5YS, Properties (statement)
History
- 2026-11-02: add by m2/dev
Historical fallacy Y2QCFXT6VS
| URI | m2://inv/Y2QCFXT6VS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Historical fallacy, Historical fallacy (definition). Also Wikidata Q5774252
History
- 2026-11-02: add by m2/dev
Y2QNMRM0R2 Y2QNMRM0R2
| URI | m2://inv/Y2QNMRM0R2 |
|---|---|
| Kind | problem |
| 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 2609.25004#977A (problem)
History
- 2026-11-01: add by m2/v0.6.15
Cantor Y2QXPYNXSF
| URI | m2://inv/Y2QXPYNXSF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-real-nums.tex#thm-3, Cantor (statement). In E59CDZA4DP, thm, section 7.5
History
- 2026-11-01: add by m2/v0.6.13
Y2QYRDJHE4 Y2QYRDJHE4
| URI | m2://inv/Y2QYRDJHE4 |
|---|---|
| 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.37747#RUI5 (statement). In GEYDNVZEP7/e1, proposition 4.7
History
- 2026-10-30: add by m2/v0.4.12
Maria Deijfen Y2QZN6SBRK
| URI | m2://inv/Y2QZN6SBRK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#OHMV, Maria Deijfen (topic)
History
- 2026-11-02: add by m2/dev
Abelianisation Y2R785K8VE
| URI | m2://inv/Y2R785K8VE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Commutator subgroup#4CAD, Abelianisation (unknown)
History
- 2026-11-02: add by m2/dev
In vivo coding Y2R8J00R7X
| URI | m2://inv/Y2R8J00R7X |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coding (social sciences)#VQ89, In vivo coding (unknown)
History
- 2026-11-02: add by m2/dev
Y2RAH0KCK9 Y2RAH0KCK9
| URI | m2://inv/Y2RAH0KCK9 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05471#W5EI (example). In WDWF9WKNK1/e1, example 3.4
History
- 2026-10-27: add by m2/v0.3.5
Shor's algorithm Y2RBD730F0
| URI | m2://inv/Y2RBD730F0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shor's algorithm, Shor's algorithm (definition). Also Wikidata Q940334
History
- 2026-11-02: add by m2/dev
Fixed-allocation asymptotic race regimes Y2RE2FMBV4
| URI | m2://inv/Y2RE2FMBV4 |
|---|---|
| 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.18445#CRNL, Fixed-allocation asymptotic race regimes (statement). In X63FGXZP4F/e1, theorem 6.3
History
- 2026-10-28: add by m2/v0.4.2
Newsvendor model Y2RMTAW4SD
| URI | m2://inv/Y2RMTAW4SD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Newsvendor model, Newsvendor model (definition). Also Wikidata Q3130009
History
- 2026-11-02: add by m2/dev
Y2RP06N0VJ Y2RP06N0VJ
| URI | m2://inv/Y2RP06N0VJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33590#AG37 (statement). In WRE0P7V6Z3/e1, lemma 2.2
History
- 2026-10-30: add by m2/v0.4.12
Countable set Y2RSM5N6B2
| URI | m2://inv/Y2RSM5N6B2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of types of sets#10Y7, Countable set (definition)
History
- 2026-11-02: add by m2/dev
Mikhail Ostrogradsky Y2RYPDAA1R
| URI | m2://inv/Y2RYPDAA1R |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Russian mathematicians#TJ6Q, Mikhail Ostrogradsky (topic)
History
- 2026-11-02: add by m2/dev
Newton–Cotes formula Y2RYT0P4VN
| URI | m2://inv/Y2RYT0P4VN |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Newton–Cotes formulas BQPQAY1FDJ |
Mentions
- wikidata: Wikidata Q944241, Newton–Cotes formula (concept). Also MathWorld Newton-CotesFormulas, ProofWiki Definition:Newton-Cotes_Rule
- wikipedia: Wikipedia Newton–Cotes formulas, Newton–Cotes formulas (statement). Also Wikidata Q944241
History
- 2026-10-26: add by m2/dev
Ornstein–Uhlenbeck process Y2S40M4XZJ
| URI | m2://inv/Y2S40M4XZJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ornstein–Uhlenbeck process, Ornstein–Uhlenbeck process (definition). Also Wikidata Q1757587
History
- 2026-11-02: add by m2/dev
Elliott–Halberstam conjecture Y2S71DXSH1
| URI | m2://inv/Y2S71DXSH1 |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#N1TV, Elliott–Halberstam conjecture (conjecture)
History
- 2026-11-02: add by m2/dev
tridyakis icosahedron Y2SG8GWH84
| URI | m2://inv/Y2SG8GWH84 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q18048478, tridyakis icosahedron (unknown). Also MathWorld TridyakisIcosahedron
- wikipedia: Wikipedia Tridyakis icosahedron, Tridyakis icosahedron (object). Also Wikidata Q18048478
History
- 2026-10-26: add by m2/dev
subset Y2SGW9N9WF
| URI | m2://inv/Y2SGW9N9WF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#CWF6, subset (definition)
History
- 2026-11-02: add by m2/dev
Definitions Y2SJNMQXJC
| URI | m2://inv/Y2SJNMQXJC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Burr–Erdős conjecture#8Z63, Definitions (definition)
History
- 2026-11-02: add by m2/dev
mathematics competition Y2SKZSX2TH
| URI | m2://inv/Y2SKZSX2TH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1572106, mathematics competition (unknown). Also MathWorld MathematicsContests
- wikipedia: Wikipedia List of mathematics competitions, List of mathematics competitions (topic). Also Wikidata Q1572106
History
- 2026-10-26: add by m2/dev
Y2SPQW2V2A Y2SPQW2V2A
| URI | m2://inv/Y2SPQW2V2A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 37-XX, 47-XX, 58-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17139#WBZ5 (statement). In AQWX60Z563/e1, lemma 4.25
History
- 2026-10-28: add by m2/v0.4.2
Y2SXM3BPT4 Y2SXM3BPT4
| URI | m2://inv/Y2SXM3BPT4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/finite-field.tex#lemma-2 (statement). In RZP28ERRZV, lemma, section 12.2
History
- 2026-11-01: add by m2/v0.6.13
Definition Y2T0KKAESX
| URI | m2://inv/Y2T0KKAESX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nef line bundle#Z7ZQ, Definition (definition)
History
- 2026-11-02: add by m2/dev
Y2T9PY4A14 Y2T9PY4A14
| URI | m2://inv/Y2T9PY4A14 |
|---|---|
| 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.05611#1M95 (statement). In QDTX6NXFEB/e1, theorem 4.1
History
- 2026-10-29: add by m2/v0.4.10
Y2TB7B7WW5 Y2TB7B7WW5
| URI | m2://inv/Y2TB7B7WW5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39747#XKV2 (statement). In 9H2KJ3W3JX/e1, theorem 2
History
- 2026-10-30: add by m2/v0.4.12
U/u Y2TERR74CB
| URI | m2://inv/Y2TERR74CB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a notation: the notation register holds it (corpus spec K10.4)) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q9747, U/u (unknown). Also ProofWiki Symbols:U
History
- 2026-10-26: add by m2/dev
Manindra Agrawal Y2TG0PZQFJ
| URI | m2://inv/Y2TG0PZQFJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#WT1S, Manindra Agrawal (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#8SYS, Manindra Agrawal (unknown)
History
- 2026-11-02: add by m2/dev
Y2TKYQBQ6C Y2TKYQBQ6C
| URI | m2://inv/Y2TKYQBQ6C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10881#CH31 (statement). In DC01XRB5YE/e1, theorem 9
History
- 2026-10-28: add by m2/v0.4.3
Henry Braun Y2TQ7S509J
| URI | m2://inv/Y2TQ7S509J |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Henry Braun (statistician), Henry Braun (topic). Also Wikidata Q134995905
History
- 2026-11-02: add by m2/dev
revenant Y2TXHRJZ9Y
| URI | m2://inv/Y2TXHRJZ9Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of invariant theory#ZSMA, revenant (definition)
History
- 2026-11-02: add by m2/dev
Y2V0B0BZAB Y2V0B0BZAB
| URI | m2://inv/Y2V0B0BZAB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-contfunc.tex#fabs:cor (statement). In E59CDZA4DP, cor, section 2.1.3
History
- 2026-11-01: add by m2/v0.6.13
Y2V1CKEDKE Y2V1CKEDKE
| URI | m2://inv/Y2V1CKEDKE |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises3-1.xml#exercise-2 (exercise). In 649HGZKE96, exercise, section 3.1
History
- 2026-11-01: add by m2/v0.6.13
Y2V4KSHYJ0 Y2V4KSHYJ0
| URI | m2://inv/Y2V4KSHYJ0 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22074#2A2O (definition). In F3BKXXPR3K/e1, definition 4.1
History
- 2026-10-27: add by m2/v0.4.2
Y2V6FNGYTX Y2V6FNGYTX
| URI | m2://inv/Y2V6FNGYTX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16554#FCN7 (statement). In GWNT8HEZG1/e1, corollary 4.23
History
- 2026-10-27: add by m2/v0.3.6
Y2VA57E1VV Y2VA57E1VV
| URI | m2://inv/Y2VA57E1VV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 26-XX, 35-XX, 37-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2311.00585#YIEX (statement). In 332PQD90SW/e1, theorem 3.11
History
- 2026-10-27: add by m2/v0.3.5
Y2VAQWPXSR Y2VAQWPXSR
| URI | m2://inv/Y2VAQWPXSR |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 03-XX, 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.16475#GI3V (problem). In FM9SKN560Q/e1, problem 6.1
History
- 2026-10-28: add by m2/v0.4.2
Y2VK786TW2 Y2VK786TW2
| URI | m2://inv/Y2VK786TW2 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/natural-deduction/proof-theoretic-notions.tex#prob-2 (exercise). In PKGMM3P5QY, prob, section 15.1
History
- 2026-11-01: add by m2/v0.6.13
Application Y2VMC9A9GQ
| URI | m2://inv/Y2VMC9A9GQ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Deep backward stochastic differential equation method#RHXS, Application (example)
History
- 2026-11-02: add by m2/dev
Unstable observables encode trees Y2VMDHP7JJ
| URI | m2://inv/Y2VMDHP7JJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11002#SY9D, Unstable observables encode trees (statement). In P55JSAYR3T/e1, theorem
History
- 2026-10-28: add by m2/v0.4.3
Multiplicative sequence Y2VNW2E3T6
| URI | m2://inv/Y2VNW2E3T6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multiplicative sequence, Multiplicative sequence (definition). Also Wikidata Q17099200
History
- 2026-11-02: add by m2/dev
Y2VQB025ER Y2VQB025ER
| URI | m2://inv/Y2VQB025ER |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05696#E8PX (statement). In MG81A9XJTQ/e1, lemma IV.9
History
- 2026-10-29: add by m2/v0.4.10
Y2VT9F8G39 Y2VT9F8G39
| URI | m2://inv/Y2VT9F8G39 |
|---|---|
| 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 2301.02848#1NYD (statement). In G6WQDW52TJ/e1, lemma 2.4
History
- 2026-10-27: add by m2/v0.3.6
Y2W1FWM0F6 Y2W1FWM0F6
| URI | m2://inv/Y2W1FWM0F6 |
|---|---|
| Kind | problem |
| 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 0904.0817#8X8Y (problem). In 569FZDANV3/e1, problem 0.5
History
- 2026-10-27: add by m2/v0.3.5
Y2W3D1463P Y2W3D1463P
| URI | m2://inv/Y2W3D1463P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07471#UB6J (statement). In 7DHCS5SEHT/e1, lemma 7
History
- 2026-10-29: add by m2/v0.4.10
David Francis Barrow Y2W83276QN
| URI | m2://inv/Y2W83276QN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia David Francis Barrow, David Francis Barrow (topic). Also Wikidata Q5233797
History
- 2026-11-02: add by m2/dev
Y2WMWB84GV Y2WMWB84GV
| URI | m2://inv/Y2WMWB84GV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21914#WOOG (statement)
History
- 2026-11-02: add by m2/v0.6.17
Preregistration Y2WNSJQ77A
| URI | m2://inv/Y2WNSJQ77A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Preregistration (science), Preregistration (definition). Also Wikidata Q60752967
History
- 2026-11-02: add by m2/dev
M/G/k queue Y2WPT6RW9R
| URI | m2://inv/Y2WPT6RW9R |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia M/G/k queue, M/G/k queue (conjecture). Also Wikidata Q17079993
History
- 2026-11-02: add by m2/dev
Uniform on unit circle Y2WSJBS93X
| URI | m2://inv/Y2WSJBS93X |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 26-XX, 46-XX, 49-XX, 51-XX, 52-XX, 60-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2505.10801#UTBF, Uniform on unit circle (example). In BWJS3H55WH/e1, example 31
History
- 2026-10-27: add by m2/v0.3.5
Eric M. Opdam Y2X4ZFJREV
| URI | m2://inv/Y2X4ZFJREV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eric M. Opdam, Eric M. Opdam (topic). Also Wikidata Q30529434
History
- 2026-11-02: add by m2/dev
Y2XB6CFD4G Y2XB6CFD4G
| URI | m2://inv/Y2XB6CFD4G |
|---|---|
| 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 2207.05628#ERLX (definition). In 9JPKTEWW4W/e1, definition 3.7
History
- 2026-10-27: add by m2/v0.3.5
Helena Rasiowa Y2XPBZDRSP
| URI | m2://inv/Y2XPBZDRSP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Helena Rasiowa, Helena Rasiowa (topic). Also Wikidata Q455501
History
- 2026-11-02: add by m2/dev
orbit Y2XYKTHKJC
| URI | m2://inv/Y2XYKTHKJC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4130, orbit (definition). Also ProofWiki Definition:Orbit_(Physics)
History
- 2026-10-26: add by m2/dev
Soft flip kernel Y2Y4QKV7JV
| URI | m2://inv/Y2Y4QKV7JV |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12456#4A4H, Soft flip kernel (definition). In 5XPM4E03W6/e1, definition 4.6
History
- 2026-10-28: add by m2/v0.4.2
Laguerre formula Y2Y7MY4608
| URI | m2://inv/Y2Y7MY4608 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Laguerre formula, Laguerre formula (statement). Also Wikidata Q18344810
History
- 2026-11-02: add by m2/dev
Properties Y2Y7PKNWWX
| URI | m2://inv/Y2Y7PKNWWX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia D-space#J0IJ, Properties (statement)
History
- 2026-11-02: add by m2/dev
Definition 6 Y2Y8FW1QK2
| URI | m2://inv/Y2Y8FW1QK2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nuclear space#D9E2, Definition 6 (definition)
History
- 2026-11-02: add by m2/dev
Route inspection problem Y2YAVK6D87
| URI | m2://inv/Y2YAVK6D87 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of NP-complete problems#K3A6, Route inspection problem (problem)
History
- 2026-11-02: add by m2/dev
Y2YE6JA26P Y2YE6JA26P
| URI | m2://inv/Y2YE6JA26P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20178#U695 (statement). In Z53NCTCEXE/e1, lemma 2.2
History
- 2026-10-27: add by m2/v0.3.5
Y2YJQ1X5JX Y2YJQ1X5JX
| URI | m2://inv/Y2YJQ1X5JX |
|---|---|
| Kind | example |
| 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.30750#EVWA (example). In DACV7NTAAK/e1, example D.10
History
- 2026-10-31: add by m2/v0.5.6
Y2YJS9B0V9 Y2YJS9B0V9
| URI | m2://inv/Y2YJS9B0V9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01359#46OM (statement). In V2RVS5VC1Y/e1, lemma 1
History
- 2026-10-29: add by m2/v0.4.12
Chen--Yu Y2YK66KMH1
| URI | m2://inv/Y2YK66KMH1 |
|---|---|
| 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 2610.08091#RT13, Chen--Yu (statement). In MS13WE3CSD/e1, theorem 4.3
History
- 2026-10-29: add by m2/v0.4.10
Central Organization for Statistics Y2YNZQ9KFP
| URI | m2://inv/Y2YNZQ9KFP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Central Organization for Statistics, Central Organization for Statistics (definition). Also Wikidata Q14065310
History
- 2026-11-02: add by m2/dev
Y2YP2EPHPH Y2YP2EPHPH
| URI | m2://inv/Y2YP2EPHPH |
|---|---|
| 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.27114#J9U1 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Ruth Moufang Y2YXPYQ45Z
| URI | m2://inv/Y2YXPYQ45Z |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ruth Moufang, Ruth Moufang (topic). Also Wikidata Q91649
History
- 2026-11-02: add by m2/dev
Y2YYGHFS4N Y2YYGHFS4N
| URI | m2://inv/Y2YYGHFS4N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX, 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.36021#EL8G (statement). In CB68ATPEV9/e1, theorem
History
- 2026-10-30: add by m2/v0.4.12
Y2Z2QBC3YE Y2Z2QBC3YE
| URI | m2://inv/Y2Z2QBC3YE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19333#0BOP (statement). In 5Y3HF693YB/e1, proposition 1.5
History
- 2026-10-28: add by m2/v0.4.2
Karen Kafadar Y2Z9YZGYAA
| URI | m2://inv/Y2Z9YZGYAA |
|---|---|
| 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#M3K6, Karen Kafadar (topic)
History
- 2026-11-02: add by m2/dev
Log-polar coordinates Y2ZQE9VD10
| URI | m2://inv/Y2ZQE9VD10 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Log-polar coordinates, Log-polar coordinates (definition). Also Wikidata Q6666761
History
- 2026-11-02: add by m2/dev
Y2ZSA8MA6E Y2ZSA8MA6E
| URI | m2://inv/Y2ZSA8MA6E |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus source/activities/act-2-6-1.xml#act-2-6-1 (exercise). In 907G4C4EJ1, activity, section 2.6.3
History
- 2026-11-01: add by m2/v0.6.13
Formal definition Y2ZY102ZD5
| URI | m2://inv/Y2ZY102ZD5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Winding number#8I6C, Formal definition (definition)
History
- 2026-11-02: add by m2/dev