Inventory rows 4K
The cards of the rows of the inventory whose ids start with 4K. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
definite description 4K0FTAWQXC
| URI | m2://inv/4K0FTAWQXC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q265469, definite description (unknown). Also nLab definite description
History
- 2026-10-26: add by m2/dev
Examples 4K0WVP7FV8
| URI | m2://inv/4K0WVP7FV8 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conformally flat manifold#7AJ1, Examples (example)
History
- 2026-11-02: add by m2/dev
degree of a polynomial 4K0YW1Q787
| URI | m2://inv/4K0YW1Q787 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv index/1/degree-of-a-polynomial, degree of a polynomial (concept). In VNMV985MXX, index, section 1
History
- 2026-11-01: add by m2/v0.6.13
Statement 4K0ZZWBKW9
| URI | m2://inv/4K0ZZWBKW9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rademacher–Menchov theorem#MIIF, Statement (statement)
History
- 2026-11-02: add by m2/dev
Pardis Sabeti 4K10QTMFNQ
| URI | m2://inv/4K10QTMFNQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#7FSS, Pardis Sabeti (unknown)
History
- 2026-11-02: add by m2/dev
Crystallographic restriction theorem 4K14GE7SYC
| URI | m2://inv/4K14GE7SYC |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 20-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q3527223, Crystallographic restriction theorem (statement). Also Wikidata Q3527223
- thousand_plus: thousand_plus Q3527223, Crystallographic restriction theorem (statement). Also Wikidata Q3527223, Wikipedia Crystallographic restriction theorem
- wikipedia: Wikipedia Crystallographic restriction theorem, Crystallographic restriction theorem (statement). Also Wikidata Q3527223
History
- 2026-10-26: add by m2/dev
Odd-to-even Gamma moment bound 4K1BKH6C7T
| URI | m2://inv/4K1BKH6C7T |
|---|---|
| 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.18277#QZ8J, Odd-to-even Gamma moment bound (statement). In YFRNY7S92A/e1, lemma 6.8
History
- 2026-10-28: add by m2/v0.4.2
Choi's theorem on completely positive maps 4K1CTJS70P
| URI | m2://inv/4K1CTJS70P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#VD63, Choi's theorem on completely positive maps (statement)
History
- 2026-11-02: add by m2/dev
permittivity of vacuum 4K1FTJSETQ
| URI | m2://inv/4K1FTJSETQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6158, permittivity of vacuum (definition). Also ProofWiki Definition:Vacuum_Permittivity
History
- 2026-10-26: add by m2/dev
Non-homogeneous Poisson process 4K1PCFSCK0
| URI | m2://inv/4K1PCFSCK0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#O3HW, Non-homogeneous Poisson process (definition)
History
- 2026-11-02: add by m2/dev
4K1PNWBMC4 4K1PNWBMC4
| URI | m2://inv/4K1PNWBMC4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus source/sec-4-4-FTC.xml#Ex-FTCVel (example). In 907G4C4EJ1, example, section 4.4.2
History
- 2026-11-01: add by m2/v0.6.13
Strong positivity of the linearized evolution 4K1QH1M8V0
| URI | m2://inv/4K1QH1M8V0 |
|---|---|
| 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.29524#ZB0A, Strong positivity of the linearized evolution (statement)
History
- 2026-11-01: add by m2/v0.6.15
Fastest Fourier Transform in the West 4K1TRD5EAZ
| URI | m2://inv/4K1TRD5EAZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of open-source software for mathematics#Q1T6, Fastest Fourier Transform in the West (unknown)
History
- 2026-11-02: add by m2/dev
4K21XTPHWM 4K21XTPHWM
| URI | m2://inv/4K21XTPHWM |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-laplace.tex#exercise-64 (exercise). In E9HS8K3A52, exercise, section 7.5.1
History
- 2026-11-01: add by m2/v0.6.13
4K22TN59AE 4K22TN59AE
| URI | m2://inv/4K22TN59AE |
|---|---|
| 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.11084#YXUP (statement). In VZ61XQ6QNX/e1, theorem 2.1
History
- 2026-10-28: add by m2/v0.4.3
Continuous Fourier transform 4K2CJCXFR9
| URI | m2://inv/4K2CJCXFR9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of harmonic analysis topics#OXPB, Continuous Fourier transform (definition)
- wikipedia: Wikipedia List of Fourier analysis topics#J4JV, Continuous Fourier transform (definition)
History
- 2026-11-02: add by m2/dev
Properties 4K2RBXRNJB
| URI | m2://inv/4K2RBXRNJB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Algebraic number field#87OP, Properties (statement)
History
- 2026-11-02: add by m2/dev
4K30WTSW2S 4K30WTSW2S
| URI | m2://inv/4K30WTSW2S |
|---|---|
| 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.23238#KW1C (statement)
History
- 2026-11-02: add by m2/v0.6.17
4K32X0JBGH 4K32X0JBGH
| URI | m2://inv/4K32X0JBGH |
|---|---|
| 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.09324#7SW3 (statement). In SFNYZXKBNW/e1, lemma 2.1
History
- 2026-10-29: add by m2/v0.4.10
4K34AR9TF5 4K34AR9TF5
| URI | m2://inv/4K34AR9TF5 |
|---|---|
| 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.11757#0EA4 (statement). In VSJRVTHWWA/e1, theorem 1.6
History
- 2026-10-28: add by m2/v0.4.3
Glivenko–Cantelli theorem 4K3FDDWH4Q
| URI | m2://inv/4K3FDDWH4Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 60-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q544369, Glivenko–Cantelli theorem (statement). Also Wikidata Q544369
- thousand_plus: thousand_plus Q544369, Glivenko–Cantelli theorem (statement). Also Wikidata Q544369, Wikipedia Glivenko–Cantelli theorem
- wikipedia: Wikipedia Glivenko–Cantelli theorem, Glivenko–Cantelli theorem (statement). Also Wikidata Q544369
History
- 2026-10-26: add by m2/dev
Applications 4K3RZR39NP
| URI | m2://inv/4K3RZR39NP |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inertial frame of reference#4MDB, Applications (example)
History
- 2026-11-02: add by m2/dev
Kadison–Schwarz inequality (Named after Richard Kadison) 4K3SAX6NHH
| URI | m2://inv/4K3SAX6NHH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cauchy–Schwarz inequality#88N5, Kadison–Schwarz inequality (Named after Richard Kadison) (statement)
History
- 2026-11-02: add by m2/dev
4K3T0GMJQB 4K3T0GMJQB
| URI | m2://inv/4K3T0GMJQB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23605#FX5K (statement)
History
- 2026-11-02: add by m2/v0.6.17
RV coefficient 4K3T9WG6GF
| URI | m2://inv/4K3T9WG6GF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#COD4, RV coefficient (definition)
History
- 2026-11-02: add by m2/dev
4K3WGSZZ19 4K3WGSZZ19
| URI | m2://inv/4K3WGSZZ19 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 03-XX, 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0406514#MQKC (example). In CY1FE8W1ZW/e1, example 0.152
History
- 2026-10-27: add by m2/v0.4.0
Costly state verification 4K48B70H8Q
| URI | m2://inv/4K48B70H8Q |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Costly state verification, Costly state verification (topic). Also Wikidata Q5175153
History
- 2026-11-02: add by m2/dev
Ball-cylinder equivalence 4K4JB48KP1
| URI | m2://inv/4K4JB48KP1 |
|---|---|
| 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#WBQM, Ball-cylinder equivalence (statement). In HJC1JJZRSH/e1, lemma 2.6
History
- 2026-10-29: add by m2/v0.4.10
4K4Y1EKER9 4K4Y1EKER9
| URI | m2://inv/4K4Y1EKER9 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2508.21045#PPQ0 (definition). In CGA36VE1C5/e1, definition 12.5.1
History
- 2026-10-27: add by m2/v0.3.6
Uses 4K54HVNKNG
| URI | m2://inv/4K54HVNKNG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Radiative forcing#PGEP, Uses (example)
History
- 2026-11-02: add by m2/dev
Private Blockchain 4K54RJ5CMN
| URI | m2://inv/4K54RJ5CMN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Blockchain privacy#3J49, Private Blockchain (unknown)
History
- 2026-11-02: add by m2/dev
4K55EHGSJA 4K55EHGSJA
| URI | m2://inv/4K55EHGSJA |
|---|---|
| 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.14841#D59T (statement). In 6V5HP8W1ZG/e1, proposition 22
History
- 2026-10-28: add by m2/v0.4.2
4K572J9HS8 4K572J9HS8
| URI | m2://inv/4K572J9HS8 |
|---|---|
| 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#W5JW (statement). In QFA8TMJPHZ/e1, theorem 6.7
History
- 2026-10-28: add by m2/v0.4.2
4K5CQSZA3R 4K5CQSZA3R
| URI | m2://inv/4K5CQSZA3R |
|---|---|
| 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.33866#NN2M (statement). In Y3MSGX6472/e1, lemma 19
History
- 2026-10-30: add by m2/v0.4.12
Incomplete beta function 4K5D245K33
| URI | m2://inv/4K5D245K33 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of factorial and binomial topics#T1L8, Incomplete beta function (definition)
- wikipedia: Wikipedia List of mathematical functions#2K6B, Incomplete beta function (definition)
History
- 2026-11-02: add by m2/dev
Anders Wiman 4K5JZ96SA8
| URI | m2://inv/4K5JZ96SA8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Anders Wiman, Anders Wiman (topic). Also Wikidata Q491319
History
- 2026-11-02: add by m2/dev
4K5MZ33KCM 4K5MZ33KCM
| URI | m2://inv/4K5MZ33KCM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18562#6LNC (statement). In 793KXAR957/e1, theorem 1.5
History
- 2026-10-28: add by m2/v0.4.2
Simplified morass 4K5P9MP6EG
| URI | m2://inv/4K5P9MP6EG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Morass (set theory)#NJYE, Simplified morass (unknown)
History
- 2026-11-02: add by m2/dev
Romanov's theorem 4K5R0W50C5
| URI | m2://inv/4K5R0W50C5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Romanov's theorem#5VW2, Romanov's theorem (statement)
History
- 2026-11-02: add by m2/dev
Fractional hypergraph matching 4K5SCANMKT
| URI | m2://inv/4K5SCANMKT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of PPAD-complete problems#YC47, Fractional hypergraph matching (unknown)
History
- 2026-11-02: add by m2/dev
Examples 4K5V0FJTWS
| URI | m2://inv/4K5V0FJTWS |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hyperdeterminant#WHTL, Examples (example)
History
- 2026-11-02: add by m2/dev
Examples 4K5XVEJDK0
| URI | m2://inv/4K5XVEJDK0 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Semigroup with involution#Y0O5, Examples (example)
History
- 2026-11-02: add by m2/dev
Special cases 4K60M13APJ
| URI | m2://inv/4K60M13APJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Automedian triangle#RVJW, Special cases (statement)
History
- 2026-11-02: add by m2/dev
Axioms for fuzzy complements 4K621NZZJX
| URI | m2://inv/4K621NZZJX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fuzzy set operations#XT1L, Axioms for fuzzy complements (statement)
History
- 2026-11-02: add by m2/dev
Optimal cuts, actions, and encodings 4K650DT446
| URI | m2://inv/4K650DT446 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08821#IT9Q, Optimal cuts, actions, and encodings (definition). In KP1THB2C09/e1, definition 2.8
History
- 2026-10-29: add by m2/v0.4.10
4K66PSGTAY 4K66PSGTAY
| URI | m2://inv/4K66PSGTAY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21649#4F26 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Absorbing set 4K68W28QN4
| URI | m2://inv/4K68W28QN4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Absorbing set (random dynamical systems), Absorbing set (definition). Also Wikidata Q4669889
History
- 2026-11-02: add by m2/dev
4K6BJMP1F9 4K6BJMP1F9
| URI | m2://inv/4K6BJMP1F9 |
|---|---|
| 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 1805.04646#FM50 (statement). In WDDY7P9T66/e1, proposition 6.2
History
- 2026-10-27: add by m2/v0.3.5
Subset sum problem 4K6Y47Y9QQ
| URI | m2://inv/4K6Y47Y9QQ |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#JS9Q, Subset sum problem (problem)
- wikipedia: Wikipedia List of NP-complete problems#7JVN, Subset sum problem (problem)
- wikipedia: Wikipedia List of computability and complexity topics#OGPC, Subset sum problem (problem)
History
- 2026-11-02: add by m2/dev
Oversampling and undersampling in data analysis 4K6Y9QNY17
| URI | m2://inv/4K6Y9QNY17 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Oversampling and undersampling in data analysis, Oversampling and undersampling in data analysis (definition). Also Wikidata Q7113891
History
- 2026-11-02: add by m2/dev
Admissible sheet enrichment 4K70MX5NZK
| URI | m2://inv/4K70MX5NZK |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 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 2501.09848#0O0J, Admissible sheet enrichment (definition). In HF7YNMW39N/e1, definition 5.4
History
- 2026-10-27: add by m2/v0.4.0
4K7855NWC1 4K7855NWC1
| URI | m2://inv/4K7855NWC1 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 55-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2303.09207#VQUM (example). In 9DQKY7KGE8/e1, example A.14
History
- 2026-10-31: add by m2/v0.5.6
Formula 4K7BC61DX4
| URI | m2://inv/4K7BC61DX4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kármán vortex street#QH3O, Formula (statement)
History
- 2026-11-02: add by m2/dev
Mathematical Society of Japan 4K7BS41GE7
| URI | m2://inv/4K7BS41GE7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical societies#4965, Mathematical Society of Japan (definition)
History
- 2026-11-02: add by m2/dev
4K7EC066GY 4K7EC066GY
| URI | m2://inv/4K7EC066GY |
|---|---|
| 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 2609.21670#WOW5 (statement)
History
- 2026-11-02: add by m2/v0.6.18
The theorem 4K7KACJ64H
| URI | m2://inv/4K7KACJ64H |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Unique homomorphic extension theorem#T4GL, The theorem (statement)
History
- 2026-11-02: add by m2/dev
4K7PH1X48E 4K7PH1X48E
| URI | m2://inv/4K7PH1X48E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15432#L0TW (statement). In D1DFM4WYEW/e1, theorem 6.1
History
- 2026-10-28: add by m2/v0.4.2
4K7WBT27QH 4K7WBT27QH
| URI | m2://inv/4K7WBT27QH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2606.00589#HGNL (statement). In C8JAGP8VCQ/e1, lemma 3.3
History
- 2026-10-27: add by m2/v0.3.5
4K7YFSG2AB 4K7YFSG2AB
| URI | m2://inv/4K7YFSG2AB |
|---|---|
| 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 math/9201244#9S17 (statement). In 7D3HCN21MK/e1, lemma 5.7
History
- 2026-10-27: add by m2/v0.3.5
inductive-inductive type, higher 4K7YXZZBBZ
| URI | m2://inv/4K7YXZZBBZ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/B.3.1/inductive-inductive-type-higher, inductive-inductive type, higher (concept). In N54F33XE07, index, section B.3.1
History
- 2026-11-01: add by m2/v0.6.13
Examples 4K83W4FPD7
| URI | m2://inv/4K83W4FPD7 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ratio of uniforms#L4DL, Examples (example)
History
- 2026-11-02: add by m2/dev
Hyperplane separation theorem 4K88PSQF41
| URI | m2://inv/4K88PSQF41 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 52-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q6795830, Separating axis theorem (statement). Also Wikidata Q6795830
- thousand_plus: thousand_plus Q6795830, Separating axis theorem (statement). Also Wikidata Q6795830, Wikipedia Separating axis theorem
- wikipedia: Wikipedia Hyperplane separation theorem, Hyperplane separation theorem (statement). Also Wikidata Q6795830
History
- 2026-10-26: add by m2/dev
4K8ARD60BB 4K8ARD60BB
| URI | m2://inv/4K8ARD60BB |
|---|---|
| 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.09729#WDMZ (statement). In 7CDD4HCYTV/e1, proposition 3.1
History
- 2026-10-29: add by m2/v0.4.10
Orthocentroidal circle 4K8C8ZZYD3
| URI | m2://inv/4K8C8ZZYD3 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q21500695, Orthocentroidal circle (concept). Also MathWorld OrthocentroidalCircle
- wikipedia: Wikipedia Orthocentroidal circle, Orthocentroidal circle (definition). Also Wikidata Q21500695
History
- 2026-10-26: add by m2/dev
Definition 4K8GX9JYE2
| URI | m2://inv/4K8GX9JYE2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Line integral#JVVL, Definition (definition)
History
- 2026-11-02: add by m2/dev
Total variation denoising 4K8RPDWV63
| URI | m2://inv/4K8RPDWV63 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Total variation denoising, Total variation denoising (definition). Also Wikidata Q7828156
History
- 2026-11-02: add by m2/dev
Binomial upper-tail representation of total variation 4K91AKH81Y
| URI | m2://inv/4K91AKH81Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10860#QXV0, Binomial upper-tail representation of total variation (statement). In PBYNV2WF2H/e1, lemma B.2
History
- 2026-10-28: add by m2/v0.4.3
Helly–Bray theorem 4K95CX8D7E
| URI | m2://inv/4K95CX8D7E |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#HS7N, Helly–Bray theorem (statement)
History
- 2026-11-02: add by m2/dev
Bézout's theorem 4K98MXMESV
| URI | m2://inv/4K98MXMESV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic geometry topics#16SZ, Bézout's theorem (statement)
- wikipedia: Wikipedia List of curves topics#FDWD, Bézout's theorem (statement)
History
- 2026-11-02: add by m2/dev
Convex lens 4K99RQB812
| URI | m2://inv/4K99RQB812 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of convexity topics#5DPE, Convex lens (definition)
History
- 2026-11-02: add by m2/dev
Nathan Mendelsohn 4K9E18V07P
| URI | m2://inv/4K9E18V07P |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#7K40, Nathan Mendelsohn (unknown)
History
- 2026-11-02: add by m2/dev
The TAP correction 4K9H9KPE8J
| URI | m2://inv/4K9H9KPE8J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06490#MHEF, The TAP correction (statement). In NKXTXH59P1/e1, lemma D.5
History
- 2026-10-29: add by m2/v0.4.10
4K9S64J2JY 4K9S64J2JY
| URI | m2://inv/4K9S64J2JY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17737#VY0N (statement). In 8SXY7Y68HV/e1, lemma 6.12
History
- 2026-10-28: add by m2/v0.4.2
artinian $\sh{T}(0)$-MTS-algebra coefficient base change 4K9TYWD57K
| URI | m2://inv/4K9TYWD57K |
|---|---|
| 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.26896#HGRB, artinian $\sh{T}(0)$-MTS-algebra coefficient base change (definition)
History
- 2026-11-01: add by m2/v0.6.15
4K9VK66NZB 4K9VK66NZB
| URI | m2://inv/4K9VK66NZB |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-contfunc.tex#exercise-5 (exercise). In E59CDZA4DP, exercise, section 2.1.5
History
- 2026-11-01: add by m2/v0.6.13
Transcendental number theory 4K9VTDE23J
| URI | m2://inv/4K9VTDE23J |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Transcendental number theory, Transcendental number theory (topic). Also Wikidata Q2460595
History
- 2026-11-02: add by m2/dev
Gordon–Newell theorem 4K9Y7G9SH9
| URI | m2://inv/4K9Y7G9SH9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#ED6U, Gordon–Newell theorem (statement)
History
- 2026-11-02: add by m2/dev
Free ideal ring 4KA063S7DE
| URI | m2://inv/4KA063S7DE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Free ideal ring, Free ideal ring (definition). Also Wikidata Q2893366
History
- 2026-11-02: add by m2/dev
Formulas 4KA9TMVX6Z
| URI | m2://inv/4KA9TMVX6Z |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Whitney umbrella#IOOA, Formulas (statement)
History
- 2026-11-02: add by m2/dev
Immigration and crime in Italy 4KAG9YN2KX
| URI | m2://inv/4KAG9YN2KX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Immigration and crime#983T, Immigration and crime in Italy (unknown)
History
- 2026-11-02: add by m2/dev
Bures distance 4KAJ1W28A1
| URI | m2://inv/4KAJ1W28A1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bures metric#2G8F, Bures distance (unknown)
History
- 2026-11-02: add by m2/dev
List of sums of reciprocals 4KAJSGAXGA
| URI | m2://inv/4KAJSGAXGA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of sums of reciprocals, List of sums of reciprocals (topic). Also Wikidata Q21067796
History
- 2026-11-02: add by m2/dev
algebraic operation 4KAKVXSTSA
| URI | m2://inv/4KAKVXSTSA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3854337, algebraic operation (unknown). Also EoM Algebraic_operation
- wikipedia: Wikipedia Algebraic operation, Algebraic operation (definition). Also Wikidata Q3854337
History
- 2026-10-26: add by m2/dev
Characterizations 4KAZE211P4
| URI | m2://inv/4KAZE211P4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nuclear C*-algebra#H2DR, Characterizations (statement)
History
- 2026-11-02: add by m2/dev
4KB5AY5A4W 4KB5AY5A4W
| URI | m2://inv/4KB5AY5A4W |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36423#Q4HM (definition). In Q5Z178SAHP/e1, definition 3.11
History
- 2026-10-30: add by m2/v0.4.12
2-QW distances between displaced thermal states 4KBCNCFXP4
| URI | m2://inv/4KBCNCFXP4 |
|---|---|
| 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.01855#CS01, 2-QW distances between displaced thermal states (statement). In MM8P5CJR18/e1, proposition 5.28
History
- 2026-10-29: add by m2/v0.4.12
coalgebra 4KBVKB7NTA
| URI | m2://inv/4KBVKB7NTA |
|---|---|
| Kind | definition |
| Layer | textbook |
| MSC | 16W30 |
| Sources | 2 |
| Outcome | open |
| Node | Coalgebra A06RA8KB0T |
Mentions
- wikidata: Wikidata Q1777803, coalgebra (topic). Also nLab coalgebra
- wikipedia: Wikipedia Coalgebra, Coalgebra (definition). Also Wikidata Q1777803
History
- 2026-10-26: add by m2/dev
4KBZS901HG 4KBZS901HG
| URI | m2://inv/4KBZS901HG |
|---|---|
| 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.24463#USL7 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Yitang Zhang 4KC06TH6AA
| URI | m2://inv/4KC06TH6AA |
|---|---|
| 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#EPOX, Yitang Zhang (topic)
History
- 2026-11-02: add by m2/dev
4KC57RX1KZ 4KC57RX1KZ
| URI | m2://inv/4KC57RX1KZ |
|---|---|
| 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 2411.16655#S78W (statement). In EJHAXRV685/e1, proposition 3.8
History
- 2026-10-27: add by m2/v0.3.5
Normal-scaled inverse gamma distribution 4KCA8S5PNF
| URI | m2://inv/4KCA8S5PNF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#0RME, Normal-scaled inverse gamma distribution (definition)
History
- 2026-11-02: add by m2/dev
extremally disconnected space 4KCAVB8YWT
| URI | m2://inv/4KCAVB8YWT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Extremally disconnected space 370PJ5BF70 |
Mentions
- wikidata: Wikidata Q1385462, extremally disconnected space (unknown). Also EoM Extremally-disconnected_space, nLab extremally disconnected topological space
- wikipedia: Wikipedia Extremally disconnected space, Extremally disconnected space (definition). Also Wikidata Q1385462
History
- 2026-10-26: add by m2/dev
Representation theory of semisimple Lie algebras 4KCBXY46RA
| URI | m2://inv/4KCBXY46RA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Representation theory of semisimple Lie algebras, Representation theory of semisimple Lie algebras (definition). Also Wikidata Q85796605
History
- 2026-11-02: add by m2/dev
4KCDQ8JCR7 4KCDQ8JCR7
| URI | m2://inv/4KCDQ8JCR7 |
|---|---|
| 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.28669#DQFD (statement)
History
- 2026-11-01: add by m2/v0.6.15
Zumkeller number 4KCF2TAN79
| URI | m2://inv/4KCF2TAN79 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q67197651, Zumkeller number (object). Also OEIS A083207
History
- 2026-10-26: add by m2/dev
isolated singularity 4KCHGWYE76
| URI | m2://inv/4KCHGWYE76 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/1.5.1/isolated-singularity, isolated singularity (concept). In E59CDZA4DP, index, section 1.5.1
History
- 2026-11-01: add by m2/v0.6.13
4KCJKXWGAT 4KCJKXWGAT
| URI | m2://inv/4KCJKXWGAT |
|---|---|
| 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.14741#NRNI (statement). In RK1VPWWX9E/e1, lemma 4.10
History
- 2026-10-28: add by m2/v0.4.2
Otto Toeplitz 4KCM1R2QE8
| URI | m2://inv/4KCM1R2QE8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#B2H3, Otto Toeplitz (topic)
History
- 2026-11-02: add by m2/dev
Definition 4KCMT72469
| URI | m2://inv/4KCMT72469 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cohen's kappa#Z7U2, Definition (definition)
History
- 2026-11-02: add by m2/dev
Connes–Donaldson–Sullivan–Teleman index theorem 4KCNZR4D0C
| URI | m2://inv/4KCNZR4D0C |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Atiyah–Singer index theorem#DP7F, Connes–Donaldson–Sullivan–Teleman index theorem (statement)
History
- 2026-11-02: add by m2/dev
4KCTJ8B6WH 4KCTJ8B6WH
| URI | m2://inv/4KCTJ8B6WH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36088#21NI (statement). In QJD3MZMJHW/e1, lemma 5.1
History
- 2026-10-30: add by m2/v0.4.12
D-brane 4KD7QZQKJF
| URI | m2://inv/4KD7QZQKJF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of string theory topics#8KXM, D-brane (unknown)
History
- 2026-11-02: add by m2/dev
Roland Dobrushin 4KDFRRDYFX
| URI | m2://inv/4KDFRRDYFX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#HR61, Roland Dobrushin (topic)
History
- 2026-11-02: add by m2/dev
Great pentakis dodecahedron 4KDHTCNFRE
| URI | m2://inv/4KDHTCNFRE |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#NCSD, Great pentakis dodecahedron (object)
History
- 2026-11-02: add by m2/dev
4KDQN5ZDR7 4KDQN5ZDR7
| URI | m2://inv/4KDQN5ZDR7 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 14-XX, 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37520#0R1K (example). In BDN507RN7J/e1, example 3.6.19
History
- 2026-10-30: add by m2/v0.4.12
Ghosh-Pratt identity 4KE0M39GFX
| URI | m2://inv/4KE0M39GFX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ghosh–Pratt identity#QVWM, Ghosh-Pratt identity (statement)
History
- 2026-11-02: add by m2/dev
Yves F. Meyer 4KE3ZQBTW7
| URI | m2://inv/4KE3ZQBTW7 |
|---|---|
| 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#LEIQ, Yves F. Meyer (topic)
History
- 2026-11-02: add by m2/dev
Sensitivity of the local DRO variable 4KE6S6FY70
| URI | m2://inv/4KE6S6FY70 |
|---|---|
| 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.13631#TMWN, Sensitivity of the local DRO variable (statement). In N6PQQSYN73/e1, lemma 2
History
- 2026-10-28: add by m2/v0.4.2
Using Chinese remainder theorem 4KEFTNPYCD
| URI | m2://inv/4KEFTNPYCD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hermite interpolation#9915, Using Chinese remainder theorem (statement)
History
- 2026-11-02: add by m2/dev
4KEJ3TME8G 4KEJ3TME8G
| URI | m2://inv/4KEJ3TME8G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2208.04502#W3S5 (statement). In BT6E9BXXF3/e1, corollary 4.8
History
- 2026-10-27: add by m2/v0.3.5
Kathy Ensor 4KEJNNFMNT
| URI | m2://inv/4KEJNNFMNT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kathy Ensor, Kathy Ensor (topic). Also Wikidata Q42360057
History
- 2026-11-02: add by m2/dev
Schur polynomial 4KEN178AHE
| URI | m2://inv/4KEN178AHE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Schur polynomial 43VFMJCDYJ |
Mentions
- wikidata: Wikidata Q4298935, Schur polynomial (unknown). Also MathWorld SchurPolynomial
- wikipedia: Wikipedia Schur polynomial, Schur polynomial (definition). Also Wikidata Q4298935
History
- 2026-10-26: add by m2/dev
4KF2ATWRRN 4KF2ATWRRN
| URI | m2://inv/4KF2ATWRRN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11671#COZJ (statement). In V06H8BAGEH/e1, lemma 3.1
History
- 2026-10-28: add by m2/v0.4.3
Law 4KF2P4YYHP
| URI | m2://inv/4KF2P4YYHP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Monte Carlo method#NRVT, Law (statement)
History
- 2026-11-02: add by m2/dev
4KF4TQAJQ2 4KF4TQAJQ2
| URI | m2://inv/4KF4TQAJQ2 |
|---|---|
| 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 2210.11778#UIA5 (statement). In PPAJZ2JBCE/e1, theorem A.1
History
- 2026-10-27: add by m2/v0.3.5
4KF99SM64W 4KF99SM64W
| URI | m2://inv/4KF99SM64W |
|---|---|
| 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.27046#45D4 (statement)
History
- 2026-11-01: add by m2/v0.6.15
4KFAT81E64 4KFAT81E64
| URI | m2://inv/4KFAT81E64 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-fourier-and-pde.tex#exercise-93 (exercise). In E9HS8K3A52, exercise, section 5.7.1
History
- 2026-11-01: add by m2/v0.6.13
Poisson–Lie group 4KFAWCJ3XN
| URI | m2://inv/4KFAWCJ3XN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7208511, Poisson–Lie group (unknown). Also EoM Poisson_Lie_group, nLab Poisson Lie group
- wikipedia: Wikipedia Poisson–Lie group, Poisson–Lie group (definition). Also Wikidata Q7208511
History
- 2026-10-26: add by m2/dev
Rhombihexaoctagonal tiling 4KFHS44N10
| URI | m2://inv/4KFHS44N10 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rhombihexaoctagonal tiling, Rhombihexaoctagonal tiling (definition). Also Wikidata Q17078210
History
- 2026-11-02: add by m2/dev
Truncated-Column Lemma 4KFMM8C2RQ
| URI | m2://inv/4KFMM8C2RQ |
|---|---|
| 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 2610.02495#NRGW, Truncated-Column Lemma (statement). In T4S7XVAJJC/e1, lemma 10.1
History
- 2026-10-29: add by m2/v0.4.12
Fitting's theorem 4KG0QJ114R
| URI | m2://inv/4KG0QJ114R |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#44ZC, Fitting's theorem (statement)
History
- 2026-11-02: add by m2/dev
Daniel Friedan 4KG2R96E8Y
| URI | m2://inv/4KG2R96E8Y |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of string theory topics#7YSV, Daniel Friedan (unknown)
History
- 2026-11-02: add by m2/dev
Definitions 4KG5JRNT2S
| URI | m2://inv/4KG5JRNT2S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Topological space#5AF0, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Dead-beat control 4KG90J1Z8R
| URI | m2://inv/4KG90J1Z8R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dead-beat control, Dead-beat control (definition). Also Wikidata Q5245465
History
- 2026-11-02: add by m2/dev
4KGFQ3RYHH 4KGFQ3RYHH
| URI | m2://inv/4KGFQ3RYHH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21528#H89T (statement)
History
- 2026-11-02: add by m2/v0.6.18
4KGNSN192R 4KGNSN192R
| URI | m2://inv/4KGNSN192R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02628#32VC (statement). In G4S9C5M1A4/e1, lemma 5.3
History
- 2026-10-29: add by m2/v0.4.12
4KGTSGGEV1 4KGTSGGEV1
| URI | m2://inv/4KGTSGGEV1 |
|---|---|
| Kind | definition |
| 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.05064#TLDY (definition). In 11SW7NAN7M/e1, definition
History
- 2026-10-29: add by m2/v0.4.12
4KGWQ9C5XR 4KGWQ9C5XR
| URI | m2://inv/4KGWQ9C5XR |
|---|---|
| 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.28808#YKOD (statement)
History
- 2026-11-01: add by m2/v0.6.15
Examples 4KHE54SP0X
| URI | m2://inv/4KHE54SP0X |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tennis ball theorem#JSCE, Examples (example)
History
- 2026-11-02: add by m2/dev
4KHFRJ5F0Q 4KHFRJ5F0Q
| URI | m2://inv/4KHFRJ5F0Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 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.04870#3VO1 (statement). In X765ZXXVC3/e1, theorem 6.12
History
- 2026-10-29: add by m2/v0.4.12
4KHV0XXTFQ 4KHV0XXTFQ
| URI | m2://inv/4KHV0XXTFQ |
|---|---|
| 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 2410.18564#WMNK (statement). In MC8ZBZ14PM/e1, fact 3.3
History
- 2026-10-27: add by m2/v0.3.5
Examples 4KHZHE12CP
| URI | m2://inv/4KHZHE12CP |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Local boundedness#E5KX, Examples (example)
History
- 2026-11-02: add by m2/dev
4KJ9CB55WC 4KJ9CB55WC
| URI | m2://inv/4KJ9CB55WC |
|---|---|
| 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 2411.07596#1LCG (statement). In 4SFRNADV8F/e1, lemma 2.4
History
- 2026-10-27: add by m2/v0.3.5
4KJA4D450M 4KJA4D450M
| URI | m2://inv/4KJA4D450M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-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 2503.19729#3IJ6 (statement). In 40YZ43TS8K/e1, theorem 1.2
History
- 2026-10-27: add by m2/v0.3.5
4KJAVG392W 4KJAVG392W
| URI | m2://inv/4KJAVG392W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2111.00832#XX52 (statement). In KM0XEAXFMF/e1, theorem 4.6
History
- 2026-10-27: add by m2/v0.3.5
4KJJS9ZDEA 4KJJS9ZDEA
| URI | m2://inv/4KJJS9ZDEA |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-fourier-and-pde.tex#exercise-95 (exercise). In E9HS8K3A52, exercise, section 5.8.5
History
- 2026-11-01: add by m2/v0.6.13
John Philoponus 4KJSK7ZWE2
| URI | m2://inv/4KJSK7ZWE2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Greek mathematicians#XTBO, John Philoponus (unknown)
History
- 2026-11-02: add by m2/dev
Real tree 4KJX19PM4F
| URI | m2://inv/4KJX19PM4F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Real tree, Real tree (definition). Also Wikidata Q2859794
History
- 2026-11-02: add by m2/dev
Theorem 4KJYYJ6SRX
| URI | m2://inv/4KJYYJ6SRX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Abelian von Neumann algebra#8HRX, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Bonahon--Otal , Lecuire 4KJZS6AWHN
| URI | m2://inv/4KJZS6AWHN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29450#54CQ, Bonahon--Otal , Lecuire (statement)
History
- 2026-11-01: add by m2/v0.6.15
a priori estimate in the broken norm 4KK10WM9XM
| URI | m2://inv/4KK10WM9XM |
|---|---|
| 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.17678#LFWM, a priori estimate in the broken norm (statement). In V753EAWQ3S/e1, theorem 9.5
History
- 2026-10-28: add by m2/v0.4.2
Examples 4KK3MJD44T
| URI | m2://inv/4KK3MJD44T |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Analytic function of a matrix#2TNK, Examples (example)
History
- 2026-11-02: add by m2/dev
Arthur Lee Dixon 4KK8PHE8ER
| URI | m2://inv/4KK8PHE8ER |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arthur Lee Dixon, Arthur Lee Dixon (topic). Also Wikidata Q4799477
History
- 2026-11-02: add by m2/dev
Characterization 4KKAB01XNM
| URI | m2://inv/4KKAB01XNM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cantor distribution#KCXQ, Characterization (statement)
History
- 2026-11-02: add by m2/dev
4KKY418CX0 4KKY418CX0
| URI | m2://inv/4KKY418CX0 |
|---|---|
| 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.18226#ACFB (definition). In B3EHT1FRM5/e1, definition 2.1
History
- 2026-10-28: add by m2/v0.4.2
Jean-Michel Kantor 4KMD71PX94
| URI | m2://inv/4KMD71PX94 |
|---|---|
| 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 Q13152999, Jean-Michel Kantor (unknown). Also nLab Jean-Michel Kantor
History
- 2026-10-26: add by m2/dev
Receiver operating characteristic 4KMJ88HM3N
| URI | m2://inv/4KMJ88HM3N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Receiver operating characteristic, Receiver operating characteristic (definition). Also Wikidata Q327120
History
- 2026-11-02: add by m2/dev
Harborth's conjecture 4KMYCT7B2F
| URI | m2://inv/4KMYCT7B2F |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Harborth's conjecture, Harborth's conjecture (conjecture). Also Wikidata Q21002406
History
- 2026-11-02: add by m2/dev
4KN15ZFQHR 4KN15ZFQHR
| URI | m2://inv/4KN15ZFQHR |
|---|---|
| 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.20208#B3BW (statement)
History
- 2026-11-02: add by m2/v0.6.18
Dharmakirti 4KN18ZJRZE
| URI | m2://inv/4KN18ZJRZE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#LT0B, Dharmakirti (unknown)
History
- 2026-11-02: add by m2/dev
476 (number) 4KN1WCM7JZ
| URI | m2://inv/4KN1WCM7JZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 400 (number)#8BYY, 476 (number) (unknown)
History
- 2026-11-02: add by m2/dev
4KN6Z1VR13 4KN6Z1VR13
| URI | m2://inv/4KN6Z1VR13 |
|---|---|
| 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.13670#6FGQ (statement). In 4PGTZ19B26/e1, lemma 2.5
History
- 2026-10-28: add by m2/v0.4.2
Sparsity matroid 4KNB9WS7F9
| URI | m2://inv/4KNB9WS7F9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sparsity matroid, Sparsity matroid (definition). Also Wikidata Q111954652
History
- 2026-11-02: add by m2/dev
Subvariety (algebraic geometry) 4KNC46W3KX
| URI | m2://inv/4KNC46W3KX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Algebraic variety#HM9T, Subvariety (algebraic geometry) (unknown)
History
- 2026-11-02: add by m2/dev
4KNDE8RN5S 4KNDE8RN5S
| URI | m2://inv/4KNDE8RN5S |
|---|---|
| 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#KV7P (statement). In DK5QY64NGH/e1, lemma 7.4
History
- 2026-10-29: add by m2/v0.4.10
Boundary behavior of the harmonic Robin function 4KNE6FN5G0
| URI | m2://inv/4KNE6FN5G0 |
|---|---|
| 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.08011#G32F, Boundary behavior of the harmonic Robin function (statement). In K0BXT951HT/e1, lemma 3.8
History
- 2026-10-29: add by m2/v0.4.10
Naisyin Wang 4KNG3Q665H
| URI | m2://inv/4KNG3Q665H |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#O733, Naisyin Wang (unknown)
History
- 2026-11-02: add by m2/dev
Andre Phillips 4KNHHAAVJ8
| URI | m2://inv/4KNHHAAVJ8 |
|---|---|
| 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#DANA, Andre Phillips (unknown)
History
- 2026-11-02: add by m2/dev
4KNHRVFKZD 4KNHRVFKZD
| URI | m2://inv/4KNHRVFKZD |
|---|---|
| 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 2610.06895#17Q7 (example). In PBB3PSDP0S/e1, example 2
History
- 2026-10-29: add by m2/v0.4.10
4KNPZS3B99 4KNPZS3B99
| URI | m2://inv/4KNPZS3B99 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2111.07409#BGJN (example). In KWH4QJDPWC/e1, example 4.15
History
- 2026-10-27: add by m2/v0.4.0
chess move 4KNXMJ9KX2
| URI | m2://inv/4KNXMJ9KX2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q54935824, chess move (definition). Also ProofWiki Definition:Chess/Move
History
- 2026-10-26: add by m2/dev
Curved spacetime 4KNZFYCHA2
| URI | m2://inv/4KNZFYCHA2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Curved spacetime, Curved spacetime (definition). Also Wikidata Q4240689
History
- 2026-11-02: add by m2/dev
4KP26DB48K 4KP26DB48K
| URI | m2://inv/4KP26DB48K |
|---|---|
| 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 2012.11507#TYVS (statement). In DZA5P853H9/e1, lemma 2
History
- 2026-10-27: add by m2/v0.3.5
4KP78KDPJS 4KP78KDPJS
| URI | m2://inv/4KP78KDPJS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2510.12502#F5FB (statement). In 3A4K47Y9F2/e1, lemma 6.30
History
- 2026-10-27: add by m2/v0.4.0
Ten Computational Canons 4KP9112JMD
| URI | m2://inv/4KP9112JMD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ten Computational Canons, Ten Computational Canons (definition). Also Wikidata Q2361362
History
- 2026-11-02: add by m2/dev
4KP9HFSS9Z 4KP9HFSS9Z
| URI | m2://inv/4KP9HFSS9Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 1705.01594#F5WC (statement). In BR3N3GSY2C/e1, theorem 4.1
History
- 2026-10-27: add by m2/v0.3.5
Nonuniqueness on a non-tree graph 4KPANN5HGJ
| URI | m2://inv/4KPANN5HGJ |
|---|---|
| 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.21454#LLMX, Nonuniqueness on a non-tree graph (example). In ZP2RJFZ3V2/e1, example 4.14
History
- 2026-10-27: add by m2/v0.4.2
Lorenz curve 4KPAZ0R6DY
| URI | m2://inv/4KPAZ0R6DY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q430378, Lorenz curve (unknown). Also MathWorld LorenzCurve
- wikipedia: Wikipedia Lorenz curve, Lorenz curve (definition). Also Wikidata Q430378
History
- 2026-10-26: add by m2/dev
4KPBVXF2QA 4KPBVXF2QA
| URI | m2://inv/4KPBVXF2QA |
|---|---|
| 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.04645#S7O4 (statement). In YMZ6XP5542/e1, corollary 2
History
- 2026-10-29: add by m2/v0.4.12
Logical decomposition of integer-compatible CSS codes 4KPKZMRMYG
| URI | m2://inv/4KPKZMRMYG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-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.04834#7V1Z, Logical decomposition of integer-compatible CSS codes (statement). In YZNK67K060/e1, proposition 7.3
History
- 2026-10-29: add by m2/v0.4.12
Number of groups of a given order 4KPMHWMSH0
| URI | m2://inv/4KPMHWMSH0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Finite group#D0HC, Number of groups of a given order (unknown)
History
- 2026-11-02: add by m2/dev
4KPWF6T0D9 4KPWF6T0D9
| URI | m2://inv/4KPWF6T0D9 |
|---|---|
| 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.08198#4UL0 (statement). In 50K0H8HRED/e1, proposition 4.2
History
- 2026-10-29: add by m2/v0.4.10
Phase 1 of the proof 4KPXJ3X12K
| URI | m2://inv/4KPXJ3X12K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33733#WK4C, Phase 1 of the proof (statement). In QBAP8C82FG/e1, theorem 39
History
- 2026-10-30: add by m2/v0.4.12
Characterization 4KPYX849TH
| URI | m2://inv/4KPYX849TH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hamburger moment problem#JPF2, Characterization (statement)
History
- 2026-11-02: add by m2/dev
Explicit formulas for small systems 4KQB013JM9
| URI | m2://inv/4KQB013JM9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cramer's rule#617N, Explicit formulas for small systems (statement)
History
- 2026-11-02: add by m2/dev
Martin Krause 4KQDMTYGYW
| URI | m2://inv/4KQDMTYGYW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Martin Krause (mathematician), Martin Krause (topic). Also Wikidata Q1904313
History
- 2026-11-02: add by m2/dev
Definition 4KQE9KV8H1
| URI | m2://inv/4KQE9KV8H1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Likelihood function#GPLS, Definition (definition)
History
- 2026-11-02: add by m2/dev
Julian Besag 4KQFA9FFMM
| URI | m2://inv/4KQFA9FFMM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Julian Besag, Julian Besag (topic). Also Wikidata Q14492137
History
- 2026-11-02: add by m2/dev
4KQHM7XXT8 4KQHM7XXT8
| URI | m2://inv/4KQHM7XXT8 |
|---|---|
| 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 2510.23812#M0JA (statement). In D8XZBXJPR5/e1, corollary 3.10
History
- 2026-10-27: add by m2/v0.3.5
Convergence on coarse partitions 4KQNSH2HNX
| URI | m2://inv/4KQNSH2HNX |
|---|---|
| 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.20087#F16L, Convergence on coarse partitions (statement). In ZRE2WQR5XA/e1, proposition V.7
History
- 2026-10-27: add by m2/v0.4.2
Lambda cube 4KQYM0EW2K
| URI | m2://inv/4KQYM0EW2K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical logic topics#7G1Z, Lambda cube (definition)
History
- 2026-11-02: add by m2/dev
International Journal of Data Science and Analytics 4KR16D86DA
| URI | m2://inv/4KR16D86DA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia International Journal of Data Science and Analytics, International Journal of Data Science and Analytics (definition). Also Wikidata Q112205053
History
- 2026-11-02: add by m2/dev
Client-side encryption 4KR38KXFPQ
| URI | m2://inv/4KR38KXFPQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Client-side encryption, Client-side encryption (definition). Also Wikidata Q5132476
History
- 2026-11-02: add by m2/dev
4KR8RRE6JW 4KR8RRE6JW
| URI | m2://inv/4KR8RRE6JW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/proof-theory/normalization/segments.tex#defn-2 (definition). In PKGMM3P5QY, defn, section 59.3
History
- 2026-11-01: add by m2/v0.6.13
Definitions 4KRK2XFYPQ
| URI | m2://inv/4KRK2XFYPQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia One-shot deviation principle#9VH3, Definitions (definition)
History
- 2026-11-02: add by m2/dev
AdaGrad 4KRX1BG2TJ
| URI | m2://inv/4KRX1BG2TJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stochastic gradient descent#SEDU, AdaGrad (unknown)
History
- 2026-11-02: add by m2/dev
Whitehead's algorithm 4KS1VKWHT8
| URI | m2://inv/4KS1VKWHT8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Whitehead's algorithm, Whitehead's algorithm (definition). Also Wikidata Q65086026
History
- 2026-11-02: add by m2/dev
Arclength 4KS880Y2V4
| URI | m2://inv/4KS880Y2V4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of calculus topics#C0HR, Arclength (definition)
History
- 2026-11-02: add by m2/dev
3D rendering 4KSDBJ1WB9
| URI | m2://inv/4KSDBJ1WB9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#U9OM, 3D rendering (unknown)
History
- 2026-11-02: add by m2/dev
4KSERYWADR 4KSERYWADR
| URI | m2://inv/4KSERYWADR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2109.09268#IZ4K (statement). In SYZFEVFHC3/e1, lemma 2.20
History
- 2026-10-27: add by m2/v0.3.5
divisibility relation 4KSMKV5RQB
| URI | m2://inv/4KSMKV5RQB |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi index/6.2.1/divisibility-relation, divisibility relation (concept). In Y91XFCEVHQ, index, section 6.2.1
History
- 2026-11-01: add by m2/v0.6.13
4KSQMWX586 4KSQMWX586
| URI | m2://inv/4KSQMWX586 |
|---|---|
| Kind | definition |
| 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 1006.4470#20QR (definition). In ZSQ1Y0NAH3/e1, definition 3.1
History
- 2026-10-27: add by m2/v0.3.5
4KSR6D9H1W 4KSR6D9H1W
| URI | m2://inv/4KSR6D9H1W |
|---|---|
| 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.24584#H20M (statement)
History
- 2026-11-01: add by m2/v0.6.15
4KSRB0PNMS 4KSRB0PNMS
| URI | m2://inv/4KSRB0PNMS |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2308.09645#RBX0 (problem). In HVDSC1GQRD/e1, problem 2.12
History
- 2026-10-27: add by m2/v0.3.5
Johnson graph 4KST5VFKBC
| URI | m2://inv/4KST5VFKBC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6268493, Johnson graph (unknown). Also MathWorld JohnsonGraph
- wikipedia: Wikipedia Johnson graph, Johnson graph (definition). Also Wikidata Q6268493
History
- 2026-10-26: add by m2/dev
Cayley--Bacharach property 4KT0E3KFC3
| URI | m2://inv/4KT0E3KFC3 |
|---|---|
| Kind | definition |
| 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#I66Y, Cayley--Bacharach property (definition). In Z7M2JSF6HA/e1, definition 2.6
History
- 2026-10-31: add by m2/v0.5.6
Regularised polynomially decaying weights 4KT6NE953M
| URI | m2://inv/4KT6NE953M |
|---|---|
| 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.29671#FQ4A, Regularised polynomially decaying weights (statement)
History
- 2026-11-01: add by m2/v0.6.15
set 4KT9EZ80NH
| URI | m2://inv/4KT9EZ80NH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#H9U2, set (definition)
History
- 2026-11-02: add by m2/dev
4KTCY9F74H 4KTCY9F74H
| URI | m2://inv/4KTCY9F74H |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31910#I1BS (example). In E4EK1XXPY4/e1, example 4.11
History
- 2026-10-31: add by m2/v0.5.6
M/m 4KTD92HW9Y
| URI | m2://inv/4KTD92HW9Y |
|---|---|
| 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 Q9933, M/m (unknown). Also ProofWiki Symbols:M
History
- 2026-10-26: add by m2/dev
Canonical cost 4KTHDM507S
| URI | m2://inv/4KTHDM507S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-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.40290#88MX, Canonical cost (statement). In 4K1CNBYJHF/e1, proposition 3.3
History
- 2026-10-30: add by m2/v0.4.12
Effective results in number theory 4KTJF43C42
| URI | m2://inv/4KTJF43C42 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical logic topics#93RB, Effective results in number theory (definition)
- wikipedia: Wikipedia List of number theory topics#5O3A, Effective results in number theory (definition)
History
- 2026-11-02: add by m2/dev
Distributive Normal Forms in FOL 4KTRJVED47
| URI | m2://inv/4KTRJVED47 |
|---|---|
| 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 2604.19614#GKBS, Distributive Normal Forms in FOL (statement). In F5NDAFW801/e1, theorem 1
History
- 2026-10-27: add by m2/v0.3.5
4KTTNTRSVG 4KTTNTRSVG
| URI | m2://inv/4KTTNTRSVG |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27078#482H (definition)
History
- 2026-11-01: add by m2/v0.6.15
4KTZDP8M6H 4KTZDP8M6H
| URI | m2://inv/4KTZDP8M6H |
|---|---|
| Kind | example |
| 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#I94Y (example). In GWNT8HEZG1/e1, example 4.45
History
- 2026-10-27: add by m2/v0.3.6
Latimer–MacDuffee theorem 4KV82JY661
| URI | m2://inv/4KV82JY661 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Latimer–MacDuffee theorem, Latimer–MacDuffee theorem (statement). Also Wikidata Q6496164
History
- 2026-11-02: add by m2/dev
Ax=0 4KVJ9PAN0B
| URI | m2://inv/4KVJ9PAN0B |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia System of linear equations#YSE3, Ax=0 (unknown)
History
- 2026-11-02: add by m2/dev
4KVNBM8T13 4KVNBM8T13
| URI | m2://inv/4KVNBM8T13 |
|---|---|
| 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#97D3 (statement). In KAYGQMQPGS/e1, lemma 2.1
History
- 2026-10-29: add by m2/v0.4.12
Localized edge-noise process 4KVTPKHRZT
| URI | m2://inv/4KVTPKHRZT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09030#UAXZ, Localized edge-noise process (statement). In BYN44C0X0C/e1, lemma A.1
History
- 2026-10-29: add by m2/v0.4.10
Induced subgraph 4KVZ4FY2NE
| URI | m2://inv/4KVZ4FY2NE |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-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.20606#YYJH, Induced subgraph (definition)
History
- 2026-11-02: add by m2/v0.6.18
Luchezar L. Avramov 4KW637RA9C
| URI | m2://inv/4KW637RA9C |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#JZWS, Luchezar L. Avramov (topic)
History
- 2026-11-02: add by m2/dev
Definition 4KW74H8BEN
| URI | m2://inv/4KW74H8BEN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalized spectrogram#0NKI, Definition (definition)
History
- 2026-11-02: add by m2/dev
Aleatoric uncertainty 4KW8RXR2BD
| URI | m2://inv/4KW8RXR2BD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Uncertainty quantification#JHNL, Aleatoric uncertainty (unknown)
History
- 2026-11-02: add by m2/dev
Josif Shtokalo 4KW8RYEFFC
| URI | m2://inv/4KW8RYEFFC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Josif Shtokalo, Josif Shtokalo (topic). Also Wikidata Q6290799
History
- 2026-11-02: add by m2/dev
4KW9PSASK9 4KW9PSASK9
| URI | m2://inv/4KW9PSASK9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33656#B49Y (statement). In 8PXDPT3X9P/e1, lemma 16
History
- 2026-10-30: add by m2/v0.4.12
Definition 4KWG6ZH517
| URI | m2://inv/4KWG6ZH517 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Traced monoidal category#CJ86, Definition (definition)
History
- 2026-11-02: add by m2/dev
4KWH4GRSDZ 4KWH4GRSDZ
| URI | m2://inv/4KWH4GRSDZ |
|---|---|
| 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.28848#GBRH (statement)
History
- 2026-11-01: add by m2/v0.6.15
Divergent series 4KWJ5WCQKY
| URI | m2://inv/4KWJ5WCQKY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of real analysis topics#K33W, Divergent series (definition)
History
- 2026-11-02: add by m2/dev
4KWK8PJVGJ 4KWK8PJVGJ
| URI | m2://inv/4KWK8PJVGJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06152#NUY8 (statement). In HH35K7S17H/e1, corollary 3.8
History
- 2026-10-29: add by m2/v0.4.10
adequate 4KWKP2RZKK
| URI | m2://inv/4KWKP2RZKK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#APIL, adequate (definition)
History
- 2026-11-02: add by m2/dev
Anton Alekseev 4KWQSE6DFX
| URI | m2://inv/4KWQSE6DFX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Anton Alekseev (mathematician), Anton Alekseev (topic). Also Wikidata Q63872020
History
- 2026-11-02: add by m2/dev
Applications 4KX0R8KPP7
| URI | m2://inv/4KX0R8KPP7 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Łukasiewicz logic#I98M, Applications (example)
History
- 2026-11-02: add by m2/dev
Julian calendar 4KX4B7VYVX
| URI | m2://inv/4KX4B7VYVX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q11184, Julian calendar (definition). Also ProofWiki Definition:Calendar/Julian
History
- 2026-10-26: add by m2/dev
Bell numbers 4KX686PWJ0
| URI | m2://inv/4KX686PWJ0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | node (a node has the same name as the row) |
| Node | Bell numbers 0TKP3TDD02 |
Mentions
- mathlib_overview: mathlib_overview Combinatorics > Enumerative combinatorics > Bell numbers, Bell numbers (unknown). Also Mathlib Multiset.bell
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Applications 4KX9ACBXJ9
| URI | m2://inv/4KX9ACBXJ9 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Metamaterial#VTKI, Applications (example)
History
- 2026-11-02: add by m2/dev
4KXH9S41VE 4KXH9S41VE
| URI | m2://inv/4KXH9S41VE |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-funcs.tex#example-4 (example). In E59CDZA4DP, example, section 9.1.3
History
- 2026-11-01: add by m2/v0.6.13
4KXND2QKS4 4KXND2QKS4
| URI | m2://inv/4KXND2QKS4 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/methods/induction/structural-induction.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 44.5
History
- 2026-11-01: add by m2/v0.6.13
Backward induction 4KXP3HNJZ1
| URI | m2://inv/4KXP3HNJZ1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Backward induction, Backward induction (definition). Also Wikidata Q968642
History
- 2026-11-02: add by m2/dev
4KXS2FKAXJ 4KXS2FKAXJ
| URI | m2://inv/4KXS2FKAXJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/riemann-surface/affine-projective.tex#definition-1 (definition). In RZP28ERRZV, definition, section 82.1
History
- 2026-11-01: add by m2/v0.6.13
Dupuit–Forchheimer assumption 4KXYBQGE56
| URI | m2://inv/4KXYBQGE56 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dupuit–Forchheimer assumption, Dupuit–Forchheimer assumption (definition). Also Wikidata Q5316065
History
- 2026-11-02: add by m2/dev
Brentwood 4KY3FJ07DM
| URI | m2://inv/4KY3FJ07DM |
|---|---|
| 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#OFNA, Brentwood (unknown)
History
- 2026-11-02: add by m2/dev
4KY4DH7RDS 4KY4DH7RDS
| URI | m2://inv/4KY4DH7RDS |
|---|---|
| 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.37706#EB07 (statement). In 6YY27KRJFN/e1, proposition 2.2
History
- 2026-10-30: add by m2/v0.4.12
4KY575H425 4KY575H425
| URI | m2://inv/4KY575H425 |
|---|---|
| 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 2609.34946#JDR0 (statement). In Y27BAB2BB4/e1, theorem 2.5
History
- 2026-10-30: add by m2/v0.4.12
4KYDMKHDAV 4KYDMKHDAV
| URI | m2://inv/4KYDMKHDAV |
|---|---|
| Kind | example |
| 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 2609.20153#ME1G (example)
History
- 2026-11-02: add by m2/v0.6.18
Applications 4KYPTC5CC3
| URI | m2://inv/4KYPTC5CC3 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Residual neural network#GIU3, Applications (example)
History
- 2026-11-02: add by m2/dev
Waldhausen's theorems on topological rigidity 4KYT47996R
| URI | m2://inv/4KYT47996R |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 3-manifold#4JTP, Waldhausen's theorems on topological rigidity (statement)
History
- 2026-11-02: add by m2/dev
Tripoli, Libya 4KYTRG10XG
| URI | m2://inv/4KYTRG10XG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#8V3U, Tripoli, Libya (unknown)
History
- 2026-11-02: add by m2/dev
4KYZ19T9D6 4KYZ19T9D6
| URI | m2://inv/4KYZ19T9D6 |
|---|---|
| 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.20444#4N9V (statement)
History
- 2026-11-02: add by m2/v0.6.18
Inverse function theorem and submersion theorem 4KYZ8X4HPP
| URI | m2://inv/4KYZ8X4HPP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Calculus on Euclidean space#FHTJ, Inverse function theorem and submersion theorem (statement)
History
- 2026-11-02: add by m2/dev
Dense all-to-all recovery 4KZ0ECEJDP
| URI | m2://inv/4KZ0ECEJDP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00448#I1DA, Dense all-to-all recovery (statement). In N06J7GC05Q/e1, corollary 7.4
History
- 2026-10-30: add by m2/v0.4.12
4KZ241T86J 4KZ241T86J
| URI | m2://inv/4KZ241T86J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26452#RKYI (statement)
History
- 2026-11-01: add by m2/v0.6.15
4KZ29ZC784 4KZ29ZC784
| URI | m2://inv/4KZ29ZC784 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26337#5DGN (definition)
History
- 2026-11-01: add by m2/v0.6.15
4KZ2K7H538 4KZ2K7H538
| URI | m2://inv/4KZ2K7H538 |
|---|---|
| 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.05193#IEKF (example). In XDMM0KNNZ9/e1, example 56
History
- 2026-10-29: add by m2/v0.4.10
4KZ5S0Z5J5 4KZ5S0Z5J5
| URI | m2://inv/4KZ5S0Z5J5 |
|---|---|
| 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 2011.11439#CGUO (statement). In 9Z8RSQ36JC/e1, lemma 3.7
History
- 2026-10-27: add by m2/v0.3.5
4KZ84GXRHG 4KZ84GXRHG
| URI | m2://inv/4KZ84GXRHG |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.10436#V0BF (definition). In 88798T0A0X/e1, definition
History
- 2026-10-27: add by m2/v0.3.5
4KZGXSR239 4KZGXSR239
| URI | m2://inv/4KZGXSR239 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16631#492Q (statement). In T735PRQNJB/e1, proposition 4.1
History
- 2026-10-28: add by m2/v0.4.2
Dynamic contagion process 4KZK45K3C4
| URI | m2://inv/4KZK45K3C4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dynamic contagion process, Dynamic contagion process (definition). Also Wikidata Q5318958
History
- 2026-11-02: add by m2/dev
4KZM3VMDZW 4KZM3VMDZW
| URI | m2://inv/4KZM3VMDZW |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 57-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20558#MII6 (definition). In 46370P3Y9S/e1, definition 3.11
History
- 2026-10-27: add by m2/v0.4.2
Complex polyhedron 4KZPB4MV66
| URI | m2://inv/4KZPB4MV66 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Complex polytope#NCBD, Complex polyhedron (unknown)
History
- 2026-11-02: add by m2/dev
4KZQ5P1BRH 4KZQ5P1BRH
| URI | m2://inv/4KZQ5P1BRH |
|---|---|
| Kind | example |
| 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 2508.03972#0FFM (example). In 2JD3KNKJ1P/e1, example 3.6
History
- 2026-10-27: add by m2/v0.3.5
Extremal Cartier ranks 4KZRHWRKWJ
| URI | m2://inv/4KZRHWRKWJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17476#RH9J, Extremal Cartier ranks (statement). In 6HXD74FA4S/e1, corollary 9.2
History
- 2026-10-28: add by m2/v0.4.2
4KZT5BQYZB 4KZT5BQYZB
| URI | m2://inv/4KZT5BQYZB |
|---|---|
| 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#8JVZ (definition)
History
- 2026-11-02: add by m2/v0.6.17