Inventory rows KP
The cards of the rows of the inventory whose ids start with KP. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
KP009M6YKC KP009M6YKC
| URI | m2://inv/KP009M6YKC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31445#L7MC (statement). In 7V2PVZS04C/e1, proposition 2.7
History
- 2026-10-31: add by m2/v0.5.6
KP0CXJH8AB KP0CXJH8AB
| URI | m2://inv/KP0CXJH8AB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 01-XX, 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28552#1G9H (statement)
History
- 2026-11-01: add by m2/v0.6.15
KP0K06ZM1N KP0K06ZM1N
| URI | m2://inv/KP0K06ZM1N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05403#SN6B (statement). In PQGGCD09KP/e1, theorem 1.1
History
- 2026-10-29: add by m2/v0.4.10
9999 KP0Q88B6WZ
| URI | m2://inv/KP0Q88B6WZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2607589, 9999 (statement). Also ProofWiki 9999
History
- 2026-10-26: add by m2/dev
KP101BFRJS KP101BFRJS
| URI | m2://inv/KP101BFRJS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/sheaves.tex#definition-5 (definition). In RZP28ERRZV, definition, section 25.3
History
- 2026-11-01: add by m2/v0.6.13
KP11P4EM2V KP11P4EM2V
| URI | m2://inv/KP11P4EM2V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07090#4XM9 (statement). In GTTSG2A5QC/e1, corollary 1
History
- 2026-10-29: add by m2/v0.4.10
Rebecca Andridge KP18FJNA1J
| URI | m2://inv/KP18FJNA1J |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rebecca Andridge, Rebecca Andridge (topic). Also Wikidata Q47816926
History
- 2026-11-02: add by m2/dev
Notation KP1GYXD3KK
| URI | m2://inv/KP1GYXD3KK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Black–Scholes model#YT10, Notation (definition)
History
- 2026-11-02: add by m2/dev
Robertson–Seymour theorem KP1QGC6MZY
| URI | m2://inv/KP1QGC6MZY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#3GJ0, Robertson–Seymour theorem (statement)
History
- 2026-11-02: add by m2/dev
axiom KP1ZPCJGDT
| URI | m2://inv/KP1ZPCJGDT |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/7.1/axiom, axiom (concept). In E59CDZA4DP, index, section 7.1
History
- 2026-11-01: add by m2/v0.6.13
Definitions KP215N3AM6
| URI | m2://inv/KP215N3AM6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Group cohomology#J2OO, Definitions (definition)
History
- 2026-11-02: add by m2/dev
KP25ZRE54T KP25ZRE54T
| URI | m2://inv/KP25ZRE54T |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22074#VYFC (example). In F3BKXXPR3K/e1, example 3.76
History
- 2026-10-27: add by m2/v0.4.2
KP298BH3A1 KP298BH3A1
| URI | m2://inv/KP298BH3A1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-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.31352#9S24 (statement). In SQZGKRDVBX/e1, lemma 4.6
History
- 2026-10-31: add by m2/v0.5.6
KP2C89YACV KP2C89YACV
| URI | m2://inv/KP2C89YACV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32977#AUIP (statement). In 4KT9TK3MG4/e1, lemma A.1
History
- 2026-10-31: add by m2/v0.5.6
peta KP2GWY5Z71
| URI | m2://inv/KP2GWY5Z71 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q108468, peta (definition). Also ProofWiki Definition:Metric_System/Scaling_Prefixes/peta-
History
- 2026-10-26: add by m2/dev
DNA repair KP2NGEC2X6
| URI | m2://inv/KP2NGEC2X6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of common misconceptions about science, technology, and mathematics#EIKK, DNA repair (unknown)
History
- 2026-11-02: add by m2/dev
Quantum Turing machine KP2P407M7H
| URI | m2://inv/KP2P407M7H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quantum Turing machine, Quantum Turing machine (definition). Also Wikidata Q765620
History
- 2026-11-02: add by m2/dev
KP35VN68GQ KP35VN68GQ
| URI | m2://inv/KP35VN68GQ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21914#ATT9 (definition)
History
- 2026-11-02: add by m2/v0.6.17
FileVault KP3SM0C25Q
| URI | m2://inv/KP3SM0C25Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia FileVault, FileVault (definition). Also Wikidata Q1305323
History
- 2026-11-02: add by m2/dev
osculating circle KP46WK208N
| URI | m2://inv/KP46WK208N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Osculating circle NWSFMCRWHJ |
Mentions
- wikidata: Wikidata Q2166240, osculating circle (unknown). Also MathWorld OsculatingCircle
- wikipedia: Wikipedia Osculating circle, Osculating circle (definition). Also Wikidata Q2166240
History
- 2026-10-26: add by m2/dev
KP48H854PD KP48H854PD
| URI | m2://inv/KP48H854PD |
|---|---|
| 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.09483#ULC0 (statement). In N1MQ8F9JN6/e1, proposition 4.2
History
- 2026-10-29: add by m2/v0.4.10
Product bound with different exponents KP4FDDHR26
| URI | m2://inv/KP4FDDHR26 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 35-XX, 47-XX, 58-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26058#C15M, Product bound with different exponents (statement)
History
- 2026-11-01: add by m2/v0.6.15
Moment map KP4FMPNDWW
| URI | m2://inv/KP4FMPNDWW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical topics in classical mechanics#LL1X, Moment map (definition)
History
- 2026-11-02: add by m2/dev
MRDP theorem KP4FYDK8BX
| URI | m2://inv/KP4FYDK8BX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of undecidable problems#ESDX, MRDP theorem (definition)
History
- 2026-11-02: add by m2/dev
KP4G2FX2MJ KP4G2FX2MJ
| URI | m2://inv/KP4G2FX2MJ |
|---|---|
| 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.23617#6BH5 (statement)
History
- 2026-11-02: add by m2/v0.6.17
KP4H21QEG7 KP4H21QEG7
| URI | m2://inv/KP4H21QEG7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35153#XNPP (statement). In RNDAAR1ER9/e1, proposition 2
History
- 2026-10-30: add by m2/v0.4.12
Odd Aalen KP4PBN66YB
| URI | m2://inv/KP4PBN66YB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Odd Aalen, Odd Aalen (topic). Also Wikidata Q3429815
History
- 2026-11-02: add by m2/dev
KP4V5CZJW0 KP4V5CZJW0
| URI | m2://inv/KP4V5CZJW0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08776#LRHF (statement). In ZQ4M778EA7/e1, theorem E
History
- 2026-10-29: add by m2/v0.4.10
Formulation KP52EVSWCS
| URI | m2://inv/KP52EVSWCS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Baum–Connes conjecture#N7QG, Formulation (definition)
History
- 2026-11-02: add by m2/dev
Robert Ellis KP5406D6M6
| URI | m2://inv/KP5406D6M6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Robert Ellis (mathematician), Robert Ellis (topic). Also Wikidata Q56599748
History
- 2026-11-02: add by m2/dev
KP55731V22 KP55731V22
| URI | m2://inv/KP55731V22 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13385#M8H1 (example). In J99CBQ3QYD/e1, example 3.6
History
- 2026-10-28: add by m2/v0.4.2
Gorenstein KP5AX6QB5A
| URI | m2://inv/KP5AX6QB5A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#6T59, Gorenstein (definition)
History
- 2026-11-02: add by m2/dev
KP5GZ1MDKC KP5GZ1MDKC
| URI | m2://inv/KP5GZ1MDKC |
|---|---|
| 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.31278#ZJMC (statement). In KEP21CZFV9/e1, lemma #1
History
- 2026-10-31: add by m2/v0.5.6
BSSN formalism KP5J186QA6
| URI | m2://inv/KP5J186QA6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia BSSN formalism, BSSN formalism (definition). Also Wikidata Q3748129
History
- 2026-11-02: add by m2/dev
Ramsey RESET test KP5JNP4A84
| URI | m2://inv/KP5JNP4A84 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ramsey RESET test, Ramsey RESET test (definition). Also Wikidata Q1354233
History
- 2026-11-02: add by m2/dev
Erik Verlinde KP5PSFXB7D
| URI | m2://inv/KP5PSFXB7D |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of string theory topics#ZU7M, Erik Verlinde (unknown)
History
- 2026-11-02: add by m2/dev
Steiner chain KP5TWNWKSJ
| URI | m2://inv/KP5TWNWKSJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#UZI5, Steiner chain (definition)
History
- 2026-11-02: add by m2/dev
Definition KP5XGXTXEG
| URI | m2://inv/KP5XGXTXEG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geodesy#EDH2, Definition (definition)
History
- 2026-11-02: add by m2/dev
Proper mapping theorem KP6E5QKGP4
| URI | m2://inv/KP6E5QKGP4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2407.02022#7ZN4, Proper mapping theorem (statement). In RZDNWV9E29/e1, theorem 2.5
History
- 2026-10-27: add by m2/v0.3.6
Artstein's theorem KP6NCH4EJY
| URI | m2://inv/KP6NCH4EJY |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 93-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q4801563, Artstein's theorem (statement). Also Wikidata Q4801563
- thousand_plus: thousand_plus Q4801563, Artstein's theorem (statement). Also Wikidata Q4801563, Wikipedia Artstein's theorem
- wikipedia: Wikipedia Artstein's theorem, Artstein's theorem (statement). Also Wikidata Q4801563
History
- 2026-10-26: add by m2/dev
Feasibility, the classical bound, and attainment KP6QWG1NPK
| URI | m2://inv/KP6QWG1NPK |
|---|---|
| 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.15125#WVXC, Feasibility, the classical bound, and attainment (statement). In V5GT8NJKCM/e1, lemma B.1
History
- 2026-10-28: add by m2/v0.4.2
KP6Y9QYH7M KP6Y9QYH7M
| URI | m2://inv/KP6Y9QYH7M |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 11-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28141#76PK (example)
History
- 2026-11-01: add by m2/v0.6.15
KP702KHR5S KP702KHR5S
| URI | m2://inv/KP702KHR5S |
|---|---|
| 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.39706#8MKM (statement). In 79Y8JJMKP4/e1, proposition 9.3
History
- 2026-10-30: add by m2/v0.4.12
blow-up KP704ZDH7N
| URI | m2://inv/KP704ZDH7N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic geometry#TELU, blow-up (definition)
History
- 2026-11-02: add by m2/dev
KP71QRXVME KP71QRXVME
| URI | m2://inv/KP71QRXVME |
|---|---|
| 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 1311.6044#OJ64 (statement). In W4FFB6SVZD/e1, lemma 6.1
History
- 2026-10-27: add by m2/v0.3.5
Perron's irreducibility criterion KP7C6C2JYY
| URI | m2://inv/KP7C6C2JYY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Perron's irreducibility criterion, Perron's irreducibility criterion (statement). Also Wikidata Q104857583
History
- 2026-11-02: add by m2/dev
Definitions KP7C8KYFYX
| URI | m2://inv/KP7C8KYFYX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Random matrix#QDRD, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Special case KP7DCFDNCT
| URI | m2://inv/KP7DCFDNCT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24640#XR6X, Special case (statement)
History
- 2026-11-01: add by m2/v0.6.15
KP7GF6YWXD KP7GF6YWXD
| URI | m2://inv/KP7GF6YWXD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36032#58RI (statement). In QJ66EM4754/e1, theorem
History
- 2026-10-30: add by m2/v0.4.12
KP7KFW3FWT KP7KFW3FWT
| URI | m2://inv/KP7KFW3FWT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07490#64V6 (statement). In 1BCKN2RQQ4/e1, proposition 4.3
History
- 2026-10-29: add by m2/v0.4.10
KP7MM56YK2 KP7MM56YK2
| URI | m2://inv/KP7MM56YK2 |
|---|---|
| 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.38493#YJ1S (statement). In WTA8VGP6B1/e1, lemma 3.1
History
- 2026-10-30: add by m2/v0.4.12
KP7T68ZJWX KP7T68ZJWX
| URI | m2://inv/KP7T68ZJWX |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2205.15365#70N9 (unknown). In R2XC1SC9NZ/e1, unknown 13
History
- 2026-10-27: add by m2/v0.3.5
orthogonal blocks KP7V6NPX39
| URI | m2://inv/KP7V6NPX39 |
|---|---|
| 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.20775#GQD1, orthogonal blocks (statement). In XG27B81T0G/e1, lemma 4.4
History
- 2026-10-27: add by m2/v0.4.2
Karin Erdmann KP7VK64RP0
| URI | m2://inv/KP7VK64RP0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#HPGH, Karin Erdmann (topic)
- wikipedia: Wikipedia List of German mathematicians#PLX9, Karin Erdmann (topic)
History
- 2026-11-02: add by m2/dev
Properties KP89FMFKDD
| URI | m2://inv/KP89FMFKDD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia CAT(0) group#YO22, Properties (statement)
History
- 2026-11-02: add by m2/dev
Short noncommuting witnesses in quantum Lee-LDPC codes KP8DYDHPQM
| URI | m2://inv/KP8DYDHPQM |
|---|---|
| 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#GCPS, Short noncommuting witnesses in quantum Lee-LDPC codes (statement). In YZNK67K060/e1, theorem 7.8
History
- 2026-10-29: add by m2/v0.4.12
Statement KP8QXFGRJM
| URI | m2://inv/KP8QXFGRJM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Modularity theorem#2CF0, Statement (statement)
History
- 2026-11-02: add by m2/dev
Suppressing a degree-two vertex KP8RDSBCTH
| URI | m2://inv/KP8RDSBCTH |
|---|---|
| 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.34260#KI6W, Suppressing a degree-two vertex (statement). In BBE69ZPVTF/e1, lemma 5.8
History
- 2026-10-30: add by m2/v0.4.12
complete KP8V4SRXDF
| URI | m2://inv/KP8V4SRXDF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#IEAO, complete (definition)
History
- 2026-11-02: add by m2/dev
Differencing KP8Z28MTBF
| URI | m2://inv/KP8Z28MTBF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Autoregressive integrated moving average#CVKG, Differencing (unknown)
History
- 2026-11-02: add by m2/dev
KP94ZAXZBM KP94ZAXZBM
| URI | m2://inv/KP94ZAXZBM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24056#DBK3 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Geocentric latitude KP97C0MWFF
| URI | m2://inv/KP97C0MWFF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Latitude#DIOX, Geocentric latitude (unknown)
History
- 2026-11-02: add by m2/dev
Frederick C. Mills KP97PPPSKT
| URI | m2://inv/KP97PPPSKT |
|---|---|
| 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#NPUL, Frederick C. Mills (unknown)
History
- 2026-11-02: add by m2/dev
KP98CVTSDE KP98CVTSDE
| URI | m2://inv/KP98CVTSDE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09482#R58C (statement). In VYMEQQVMBD/e1, lemma 2.3
History
- 2026-10-29: add by m2/v0.4.10
Implementation KP9AX7AZCT
| URI | m2://inv/KP9AX7AZCT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Binary GCD algorithm#P36L, Implementation (definition)
History
- 2026-11-02: add by m2/dev
H-principle KP9QHZ6JT5
| URI | m2://inv/KP9QHZ6JT5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of partial differential equation topics#NSJ3, H-principle (statement)
History
- 2026-11-02: add by m2/dev
Hamming distance KP9WZ8JZNZ
| URI | m2://inv/KP9WZ8JZNZ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q272172, Hamming distance (concept). Also EoM Hamming_distance, MathWorld HammingDistance
- wikipedia: Wikipedia Hamming distance, Hamming distance (definition). Also Wikidata Q272172
History
- 2026-10-26: add by m2/dev
KPA8Z3G55N KPA8Z3G55N
| URI | m2://inv/KPA8Z3G55N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26496#XD3J (statement)
History
- 2026-11-01: add by m2/v0.6.15
The representation theorem for the continuous dual of C0(X) KPACRSW9EV
| URI | m2://inv/KPACRSW9EV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Riesz–Markov–Kakutani representation theorem#YHAH, The representation theorem for the continuous dual of C0(X) (statement)
History
- 2026-11-02: add by m2/dev
Curry-Howard-Lambek correspondence KPADSCWBD5
| URI | m2://inv/KPADSCWBD5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Curry–Howard correspondence#8XY5, Curry-Howard-Lambek correspondence (unknown)
History
- 2026-11-02: add by m2/dev
Property of Baire KPAF7EC83Y
| URI | m2://inv/KPAF7EC83Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Property of Baire, Property of Baire (definition). Also Wikidata Q803931
History
- 2026-11-02: add by m2/dev
Gaussian integer KPAGE2QK6K
| URI | m2://inv/KPAGE2QK6K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of abstract algebra topics#LLUD, Gaussian integer (definition)
History
- 2026-11-02: add by m2/dev
Representation up to homotopy KPAH5V03CY
| URI | m2://inv/KPAH5V03CY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Representation up to homotopy, Representation up to homotopy (definition). Also Wikidata Q7314230
History
- 2026-11-02: add by m2/dev
Metric space KPAVX5829G
| URI | m2://inv/KPAVX5829G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of general topology#T7YG, Metric space (definition)
History
- 2026-11-02: add by m2/dev
KPAZYDEYCM KPAZYDEYCM
| URI | m2://inv/KPAZYDEYCM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19283#FDX4 (statement). In 28BAGZRCKG/e1, theorem 4.5
History
- 2026-10-28: add by m2/v0.4.2
KPB3S6VN13 KPB3S6VN13
| URI | m2://inv/KPB3S6VN13 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37815#ZBCO (example). In SVJYA0171G/e1, example 6.6
History
- 2026-10-30: add by m2/v0.4.12
Properties KPBABVHFTB
| URI | m2://inv/KPBABVHFTB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cylindrification#8NQA, Properties (statement)
History
- 2026-11-02: add by m2/dev
KPBCYBGVSA KPBCYBGVSA
| URI | m2://inv/KPBCYBGVSA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25391#IDWK (statement)
History
- 2026-11-01: add by m2/v0.6.15
Integral test KPBDCWMYDB
| URI | m2://inv/KPBDCWMYDB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-riemann.tex#prop-10, Integral test (statement). In E59CDZA4DP, prop, section 8.5.1
History
- 2026-11-01: add by m2/v0.6.13
KPBN18CXFV KPBN18CXFV
| URI | m2://inv/KPBN18CXFV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2209.00811#ELP8 (statement). In 9T4X83HHQS/e1, proposition 4.2
History
- 2026-10-27: add by m2/v0.3.5
KPBP4VSJN4 KPBP4VSJN4
| URI | m2://inv/KPBP4VSJN4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02669#ODYQ (statement). In NSBSWH6XB4/e1, lemma 7.1
History
- 2026-10-29: add by m2/v0.4.12
Jean-Marc Fontaine KPBR5Z6G9Y
| URI | m2://inv/KPBR5Z6G9Y |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#MM5R, Jean-Marc Fontaine (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#DNUO, Jean-Marc Fontaine (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#MMO3, Jean-Marc Fontaine (unknown)
History
- 2026-11-02: add by m2/dev
Accumulation point KPBX34WWP4
| URI | m2://inv/KPBX34WWP4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical proofs#R28B, Accumulation point (definition)
History
- 2026-11-02: add by m2/dev
Steven Spielberg KPC6QGCK1S
| URI | m2://inv/KPC6QGCK1S |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#LKGW, Steven Spielberg (unknown)
History
- 2026-11-02: add by m2/dev
Sobol sequence KPCGZTBFY0
| URI | m2://inv/KPCGZTBFY0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sobol sequence, Sobol sequence (definition). Also Wikidata Q7550116
History
- 2026-11-02: add by m2/dev
Steve Awodey KPCVK6ZF2H
| URI | m2://inv/KPCVK6ZF2H |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7611834, Steve Awodey (unknown). Also nLab Steve Awodey
- wikipedia: Wikipedia Steve Awodey, Steve Awodey (topic). Also Wikidata Q7611834
History
- 2026-10-26: add by m2/dev
John Terning KPCW1PFNCC
| URI | m2://inv/KPCW1PFNCC |
|---|---|
| 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 Q43200329, John Terning (unknown). Also nLab John Terning
History
- 2026-10-26: add by m2/dev
KPCX30ST99 KPCX30ST99
| URI | m2://inv/KPCX30ST99 |
|---|---|
| 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 2202.07274#RYOT (statement). In V5WGBGKYXN/e1, corollary 2.7.1
History
- 2026-10-27: add by m2/v0.3.6
Definition KPCXPYGDXT
| URI | m2://inv/KPCXPYGDXT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Filter quantifier#3EOW, Definition (definition)
History
- 2026-11-02: add by m2/dev
KPD0V2B3CZ KPD0V2B3CZ
| URI | m2://inv/KPD0V2B3CZ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-power-ser.tex#exercise-39 (exercise). In E9HS8K3A52, exercise, section 9.3.4
History
- 2026-11-01: add by m2/v0.6.13
Henry Felix Kaiser KPD3AP3QNM
| URI | m2://inv/KPD3AP3QNM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Henry Felix Kaiser, Henry Felix Kaiser (topic). Also Wikidata Q1606729
History
- 2026-11-02: add by m2/dev
KPE0S2RWBF KPE0S2RWBF
| URI | m2://inv/KPE0S2RWBF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08753#SWD2 (statement). In J9P361Z1CX/e1, theorem 4.3
History
- 2026-10-29: add by m2/v0.4.10
KPE20AHKMW KPE20AHKMW
| URI | m2://inv/KPE20AHKMW |
|---|---|
| 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#GHRY (statement). In SYZFEVFHC3/e1, lemma 3.1
History
- 2026-10-27: add by m2/v0.3.5
Kernel-independent component analysis KPE32APCZY
| URI | m2://inv/KPE32APCZY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kernel-independent component analysis, Kernel-independent component analysis (definition). Also Wikidata Q25099868
History
- 2026-11-02: add by m2/dev
Base point KPE40T3P45
| URI | m2://inv/KPE40T3P45 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical properties of points#4VZ4, Base point (definition)
History
- 2026-11-02: add by m2/dev
Product splittings in $\Gamma_{n,m}$ KPE41ZC042
| URI | m2://inv/KPE41ZC042 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28898#OTEC, Product splittings in $\Gamma_{n,m}$ (definition)
History
- 2026-11-01: add by m2/v0.6.15
Fisher–Tippet–Gnedenko theorem KPE66QXFN9
| URI | m2://inv/KPE66QXFN9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Asymptotic theory (statistics)#8CJW, Fisher–Tippet–Gnedenko theorem (statement)
History
- 2026-11-02: add by m2/dev
KPEJHM6KGY KPEJHM6KGY
| URI | m2://inv/KPEJHM6KGY |
|---|---|
| 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.00786#PWP1 (statement). In XKEE0DK6N3/e1, theorem 1.1
History
- 2026-10-29: add by m2/v0.4.12
List of demographics articles KPEMG4ZGTA
| URI | m2://inv/KPEMG4ZGTA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of demographics articles, List of demographics articles (topic). Also Wikidata Q16154859
History
- 2026-11-02: add by m2/dev
KPETR93KGS KPETR93KGS
| URI | m2://inv/KPETR93KGS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17258#GDAN (statement). In F4M67ZVBF2/e1, corollary C.1
History
- 2026-10-28: add by m2/v0.4.2
Examples KPEW1MXS3V
| URI | m2://inv/KPEW1MXS3V |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rate of convergence#9WWO, Examples (example)
History
- 2026-11-02: add by m2/dev
Anne's theorem KPEW1Y8Z1T
| URI | m2://inv/KPEW1Y8Z1T |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#YIKZ, Anne's theorem (statement)
History
- 2026-11-02: add by m2/dev
KPF09KZ8MG KPF09KZ8MG
| URI | m2://inv/KPF09KZ8MG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21255#TIW5 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Important theorems KPF21R5W03
| URI | m2://inv/KPF21R5W03 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Singular submodule#GLZO, Important theorems (statement)
History
- 2026-11-02: add by m2/dev
Alexander S. Kechris KPFABCQDW4
| URI | m2://inv/KPFABCQDW4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#OZ12, Alexander S. Kechris (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#6N3W, Alexander S. Kechris (topic)
History
- 2026-11-02: add by m2/dev
Model selection and hypothesis testing KPFFQ16ZV4
| URI | m2://inv/KPFFQ16ZV4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Per Martin-Löf#U9ZN, Model selection and hypothesis testing (statement)
History
- 2026-11-02: add by m2/dev
Luis Caffarelli KPFGP6FNAV
| URI | m2://inv/KPFGP6FNAV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Luis Caffarelli, Luis Caffarelli (topic). Also Wikidata Q1076636
History
- 2026-11-02: add by m2/dev
KPFRC8SBHC KPFRC8SBHC
| URI | m2://inv/KPFRC8SBHC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05784#7BTE (statement). In 6NVP3YRWVA/e1, theorem 2.2
History
- 2026-10-29: add by m2/v0.4.10
KPFV9PZZQN KPFV9PZZQN
| URI | m2://inv/KPFV9PZZQN |
|---|---|
| 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.09765#60MD (statement). In 79JJCQ63R3/e1, lemma 3.1
History
- 2026-10-29: add by m2/v0.4.10
Connection determinant for the limiting \(B\)-problem KPFZZ0NGSS
| URI | m2://inv/KPFZZ0NGSS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22027#TXUZ, Connection determinant for the limiting \(B\)-problem (statement)
History
- 2026-11-02: add by m2/v0.6.17
KPGCWT6S7G KPGCWT6S7G
| URI | m2://inv/KPGCWT6S7G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13214#K9VU (statement). In 4GRNWWH88J/e1, theorem 6.5
History
- 2026-10-28: add by m2/v0.4.2
Rémi Abgrall KPGMGE4KG3
| URI | m2://inv/KPGMGE4KG3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rémi Abgrall, Rémi Abgrall (topic). Also Wikidata Q97573459
History
- 2026-11-02: add by m2/dev
KPGND3Y6M4 KPGND3Y6M4
| URI | m2://inv/KPGND3Y6M4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04305#XOGL (statement). In Y1DR0DPWD0/e1, proposition 3.2
History
- 2026-10-29: add by m2/v0.4.12
up to, modulo, mod out by KPGP8AG9K1
| URI | m2://inv/KPGP8AG9K1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of mathematical jargon#PKIH, up to, modulo, mod out by (definition)
History
- 2026-11-02: add by m2/dev
KPH1NBYZ8X KPH1NBYZ8X
| URI | m2://inv/KPH1NBYZ8X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20798#8WUY (statement)
History
- 2026-11-02: add by m2/v0.6.18
Jacob Marschak KPHQWA812H
| URI | m2://inv/KPHQWA812H |
|---|---|
| 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#CR33, Jacob Marschak (unknown)
History
- 2026-11-02: add by m2/dev
Exponential dichotomy KPHSQ4YEPW
| URI | m2://inv/KPHSQ4YEPW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of dynamical systems and differential equations topics#QNKF, Exponential dichotomy (definition)
- wikipedia: Wikipedia List of exponential topics#MRIE, Exponential dichotomy (definition)
History
- 2026-11-02: add by m2/dev
Notations KPHVZ4VYHA
| URI | m2://inv/KPHVZ4VYHA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Virtual displacement#8DI7, Notations (definition)
History
- 2026-11-02: add by m2/dev
Examples KPHYDBTX43
| URI | m2://inv/KPHYDBTX43 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gerstenhaber algebra#KXR5, Examples (example)
History
- 2026-11-02: add by m2/dev
KPHZPRD7JP KPHZPRD7JP
| URI | m2://inv/KPHZPRD7JP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06724#EQSA (statement). In W5XG3PGVF1/e1, lemma 3.1
History
- 2026-10-29: add by m2/v0.4.10
KPJ29SC2DX KPJ29SC2DX
| URI | m2://inv/KPJ29SC2DX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX, 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23469#V7AD (statement)
History
- 2026-11-02: add by m2/v0.6.17
KPJ2QC7RS8 KPJ2QC7RS8
| URI | m2://inv/KPJ2QC7RS8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13271#Y46L (statement). In G8ZEBKZY8M/e1, lemma 2.7
History
- 2026-10-28: add by m2/v0.4.2
KPJ2X85063 KPJ2X85063
| URI | m2://inv/KPJ2X85063 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2504.09464#2E2P (statement). In RN1XRCS2CH/e1, theorem 23
History
- 2026-10-27: add by m2/v0.3.6
Stark, Theorems 1.2 and 1.3 KPJ4KS3J6P
| URI | m2://inv/KPJ4KS3J6P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26134#8KT1, Stark, Theorems 1.2 and 1.3 (statement)
History
- 2026-11-01: add by m2/v0.6.15
spectral KPJC6S4XZ9
| URI | m2://inv/KPJC6S4XZ9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#H3AT, spectral (definition)
History
- 2026-11-02: add by m2/dev
KPJEAHJYPV KPJEAHJYPV
| URI | m2://inv/KPJEAHJYPV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2405.01860#IAQQ (statement). In 8HYS0MFE25/e1, theorem 1.2
History
- 2026-10-27: add by m2/v0.3.5
New Math KPJXYZCCG0
| URI | m2://inv/KPJXYZCCG0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q336700, New Math (unknown). Also nLab New Math
- wikipedia: Wikipedia New Math, New Math (definition). Also Wikidata Q336700
History
- 2026-10-26: add by m2/dev
KPK6V8K915 KPK6V8K915
| URI | m2://inv/KPK6V8K915 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 55-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30579#ET9I (statement). In FDYZFDHZH9/e1, proposition 4.14
History
- 2026-10-31: add by m2/v0.5.6
Gaussian smoothing at numerical grid points KPK9EJWKZT
| URI | m2://inv/KPK9EJWKZT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 60-XX, 65-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.28611#IZDJ, Gaussian smoothing at numerical grid points (statement)
History
- 2026-11-01: add by m2/v0.6.15
KPM0AT9SKT KPM0AT9SKT
| URI | m2://inv/KPM0AT9SKT |
|---|---|
| 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.07598#9BIV (statement). In V57RPDNR8H/e1, lemma 4.2
History
- 2026-10-29: add by m2/v0.4.10
KPM15ETNT2 KPM15ETNT2
| URI | m2://inv/KPM15ETNT2 |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0512416#VRFX (proof). In WJD9YPGGYH/e1, proof
History
- 2026-10-27: add by m2/v0.3.5
Carlo Becchi KPM77KRN8W
| URI | m2://inv/KPM77KRN8W |
|---|---|
| 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 Q1041872, Carlo Becchi (unknown). Also nLab Carlo Becchi
History
- 2026-10-26: add by m2/dev
Matsubara summation KPM898GYYW
| URI | m2://inv/KPM898GYYW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Matsubara summation, Matsubara summation (definition). Also Wikidata Q6788014
History
- 2026-11-02: add by m2/dev
KPMBE90CRD KPMBE90CRD
| URI | m2://inv/KPMBE90CRD |
|---|---|
| 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.31243#GOOW (statement). In E8FP48FJMZ/e1, proposition 4.6
History
- 2026-10-31: add by m2/v0.5.6
Carolyn Morgan KPMG6X19S3
| URI | m2://inv/KPMG6X19S3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#QWAX, Carolyn Morgan (topic)
History
- 2026-11-02: add by m2/dev
scalar multiplication KPMTF9S1AH
| URI | m2://inv/KPMTF9S1AH |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs index/10.2.1/scalar-multiplication, scalar multiplication (concept). In E9HS8K3A52, index, section 10.2.1
History
- 2026-11-01: add by m2/v0.6.13
Theoretical rationality KPMWA1R8Q1
| URI | m2://inv/KPMWA1R8Q1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rationality#ZX3Y, Theoretical rationality (unknown)
History
- 2026-11-02: add by m2/dev
Truncated mean; \appproof{pf:truncated KPN01TSNFP
| URI | m2://inv/KPN01TSNFP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39233#C9X6, Truncated mean; \appproof{pf:truncated (statement). In Y7NC12TBNP/e1, lemma 2
History
- 2026-10-30: add by m2/v0.4.12
Jeffrey Schenker KPN0VQQ677
| URI | m2://inv/KPN0VQQ677 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jeffrey Schenker, Jeffrey Schenker (topic). Also Wikidata Q98619270
History
- 2026-11-02: add by m2/dev
Vincent Blondel KPN29Y1XXC
| URI | m2://inv/KPN29Y1XXC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#MWCP, Vincent Blondel (unknown)
History
- 2026-11-02: add by m2/dev
KPN557K6BZ KPN557K6BZ
| URI | m2://inv/KPN557K6BZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39169#SC06 (statement). In ANHWXYPQFX/e1, theorem 2.5
History
- 2026-10-30: add by m2/v0.4.12
KPN5VZHQKW KPN5VZHQKW
| URI | m2://inv/KPN5VZHQKW |
|---|---|
| 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.23779#595B (statement)
History
- 2026-11-02: add by m2/v0.6.17
KPNBTHGFZR KPNBTHGFZR
| URI | m2://inv/KPNBTHGFZR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20145#GB43 (statement)
History
- 2026-11-02: add by m2/v0.6.18
KPNDTEPK24 KPNDTEPK24
| URI | m2://inv/KPNDTEPK24 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20758#0QWQ (statement). In PG0B4PH9YH/e1, fact 2.22
History
- 2026-10-27: add by m2/v0.4.2
KPNFX19XV7 KPNFX19XV7
| URI | m2://inv/KPNFX19XV7 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/logic-conc.ptx#exercise-4 (exercise). In Y91XFCEVHQ, exercise, section 4.3
History
- 2026-11-01: add by m2/v0.6.13
KPNJYAWBX0 KPNJYAWBX0
| URI | m2://inv/KPNJYAWBX0 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2504.13328#KQWT (definition). In 736Q32FYCG/e1, definition 5.1
History
- 2026-10-27: add by m2/v0.3.5
Shape optimization KPNTYX9JMQ
| URI | m2://inv/KPNTYX9JMQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shape optimization, Shape optimization (definition). Also Wikidata Q7489239
History
- 2026-11-02: add by m2/dev
indirect proof KPNVYHAEWM
| URI | m2://inv/KPNVYHAEWM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#JMPG, indirect proof (definition)
History
- 2026-11-02: add by m2/dev
normalized KPNWADCDQ7
| URI | m2://inv/KPNWADCDQ7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#JDR6, normalized (definition)
History
- 2026-11-02: add by m2/dev
Robust confidence intervals KPNWMNYV22
| URI | m2://inv/KPNWMNYV22 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#O7Z6, Robust confidence intervals (definition)
History
- 2026-11-02: add by m2/dev
function type KPP16BAEGV
| URI | m2://inv/KPP16BAEGV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5508778, function type (unknown). Also nLab function type
- wikipedia: Wikipedia Function type, Function type (definition). Also Wikidata Q5508778
History
- 2026-10-26: add by m2/dev
flat KPP5DBJD6E
| URI | m2://inv/KPP5DBJD6E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#3RIF, flat (definition)
History
- 2026-11-02: add by m2/dev
Halfweg (disambiguation) KPP5Z9G9V8
| URI | m2://inv/KPP5Z9G9V8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#AVID, Halfweg (disambiguation) (unknown)
History
- 2026-11-02: add by m2/dev
KPP6BTA9BD KPP6BTA9BD
| URI | m2://inv/KPP6BTA9BD |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39539#8DPS (definition). In GVR218P3ZR/e1, definition 8.1.1
History
- 2026-10-30: add by m2/v0.4.12
Line Digraph KPP7RYVCY0
| URI | m2://inv/KPP7RYVCY0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Line graph#SARO, Line Digraph (unknown)
History
- 2026-11-02: add by m2/dev
KPPE4TNWX4 KPPE4TNWX4
| URI | m2://inv/KPPE4TNWX4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39169#1FWP (statement). In ANHWXYPQFX/e1, proposition 3.1
History
- 2026-10-30: add by m2/v0.4.12
The stable degree-three class KPPEVVXASY
| URI | m2://inv/KPPEVVXASY |
|---|---|
| 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.27204#7UYR, The stable degree-three class (statement)
History
- 2026-11-01: add by m2/v0.6.15
norm KPPFAGFHMB
| URI | m2://inv/KPPFAGFHMB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of functional analysis#ZP1M, norm (definition)
History
- 2026-11-02: add by m2/dev
KPPX9783M4 KPPX9783M4
| URI | m2://inv/KPPX9783M4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 37-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.18929#GDCM (statement). In ZRJ2DZT6P1/e1, theorem 8.3
History
- 2026-10-28: add by m2/v0.4.2
Precise statement KPQ0SXJT5V
| URI | m2://inv/KPQ0SXJT5V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Invariant subspace problem#ZCV4, Precise statement (statement)
History
- 2026-11-02: add by m2/dev
KPQ1DVBNS0 KPQ1DVBNS0
| URI | m2://inv/KPQ1DVBNS0 |
|---|---|
| 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.18464#0O26 (statement). In VSTFM3ME25/e1, theorem 3.3
History
- 2026-10-28: add by m2/v0.4.2
Examples KPQ1R9EADS
| URI | m2://inv/KPQ1R9EADS |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ordinal analysis#OJDC, Examples (example)
History
- 2026-11-02: add by m2/dev
bimodule KPQ5XYAS5Z
| URI | m2://inv/KPQ5XYAS5Z |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/B.6/bimodule, bimodule (concept). In N54F33XE07, index, section B.6
History
- 2026-11-01: add by m2/v0.6.13
Chaff algorithm KPQ7RRE404
| URI | m2://inv/KPQ7RRE404 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chaff algorithm, Chaff algorithm (definition). Also Wikidata Q5066777
History
- 2026-11-02: add by m2/dev
Properties KPQ9PKM8W1
| URI | m2://inv/KPQ9PKM8W1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Beta-dual space#OK72, Properties (statement)
History
- 2026-11-02: add by m2/dev
Matsumoto's theorem KPQGYC4YA1
| URI | m2://inv/KPQGYC4YA1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Algebraic K-theory#X932, Matsumoto's theorem (statement)
History
- 2026-11-02: add by m2/dev
Asymptotic phase transition and symmetry KPQK2ECM8K
| URI | m2://inv/KPQK2ECM8K |
|---|---|
| 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.00339#RZ7J, Asymptotic phase transition and symmetry (statement). In ZRG6NY1ECH/e1, theorem 1
History
- 2026-10-30: add by m2/v0.4.12
KPQK5548VB KPQK5548VB
| URI | m2://inv/KPQK5548VB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36827#R1Z0 (statement). In VSHAQTB2CA/e1, proposition I.1
History
- 2026-10-30: add by m2/v0.4.12
Sándor Csörgő KPQN4ZHCCH
| URI | m2://inv/KPQN4ZHCCH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical probabilists#W67U, Sándor Csörgő (topic)
History
- 2026-11-02: add by m2/dev
KPQP7XSXNR KPQP7XSXNR
| URI | m2://inv/KPQP7XSXNR |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/sec_logic-proofs.ptx#example-2 (example). In Y91XFCEVHQ, example, section 4.2.1
History
- 2026-11-01: add by m2/v0.6.13
Existence and uniqueness theorems KPQQ9MK3VP
| URI | m2://inv/KPQQ9MK3VP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Differential structure#AVOQ, Existence and uniqueness theorems (statement)
History
- 2026-11-02: add by m2/dev
KPQTB53GTM KPQTB53GTM
| URI | m2://inv/KPQTB53GTM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26496#0TE2 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Flux KPQVRB0778
| URI | m2://inv/KPQVRB0778 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of multivariable calculus topics#8UAF, Flux (definition)
History
- 2026-11-02: add by m2/dev
KPR4MAS86M KPR4MAS86M
| URI | m2://inv/KPR4MAS86M |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1705.04310#8KVH (definition). In MG51GG0QZN/e1, definition 4.12
History
- 2026-10-27: add by m2/v0.3.5
KPR603A754 KPR603A754
| URI | m2://inv/KPR603A754 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 37-XX, 46-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27458#VOES (statement)
History
- 2026-11-01: add by m2/v0.6.15
Julian year KPR8GWWQMM
| URI | m2://inv/KPR8GWWQMM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q217208, Julian year (definition). Also ProofWiki Definition:Calendar/Julian/Year
History
- 2026-10-26: add by m2/dev
KPRHPR3G5W KPRHPR3G5W
| URI | m2://inv/KPRHPR3G5W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25094#1GLT (statement)
History
- 2026-11-01: add by m2/v0.6.15
KPRJZ0T54Z KPRJZ0T54Z
| URI | m2://inv/KPRJZ0T54Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17589#NZQG (statement). In GSTK4569X1/e1, corollary 6.3
History
- 2026-10-28: add by m2/v0.4.2
Examples KPRMBZGANK
| URI | m2://inv/KPRMBZGANK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conjugate points#LML5, Examples (example)
History
- 2026-11-02: add by m2/dev
Abdul Hakim Sialkoti KPRNX00TDE
| URI | m2://inv/KPRNX00TDE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Abdul Hakim Sialkoti, Abdul Hakim Sialkoti (topic). Also Wikidata Q4665377
History
- 2026-11-02: add by m2/dev
KPRTEPGM9Z KPRTEPGM9Z
| URI | m2://inv/KPRTEPGM9Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 37-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.13100#JWNE (statement). In CC6S1HVK0T/e1, proposition 9.4
History
- 2026-10-28: add by m2/v0.4.2
Meretov, 1987; Estermann--Dahlquist KPRYG86RG6
| URI | m2://inv/KPRYG86RG6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13658#GKKG, Meretov, 1987; Estermann--Dahlquist (statement). In R9BC934K3E/e1, theorem 4.1
History
- 2026-10-28: add by m2/v0.4.2
Takeshi Saito KPS0FJZPM2
| URI | m2://inv/KPS0FJZPM2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Takeshi Saito (mathematician), Takeshi Saito (topic). Also Wikidata Q11500619
History
- 2026-11-02: add by m2/dev
Isador M. Sheffer KPS2H2QAK9
| URI | m2://inv/KPS2H2QAK9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Isador M. Sheffer, Isador M. Sheffer (topic). Also Wikidata Q6078352
History
- 2026-11-02: add by m2/dev
KPS2XG4GM2 KPS2XG4GM2
| URI | m2://inv/KPS2XG4GM2 |
|---|---|
| Kind | example |
| 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.28265#JUKT (example)
History
- 2026-11-01: add by m2/v0.6.15
KPS38QDB5Q KPS38QDB5Q
| URI | m2://inv/KPS38QDB5Q |
|---|---|
| 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.03011#93VK (statement). In VE8FB6K8EN/e1, lemma 4
History
- 2026-10-29: add by m2/v0.4.12
Fraser--Sherman--Bennett KPSCZ8G51N
| URI | m2://inv/KPSCZ8G51N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30637#YP1Q, Fraser--Sherman--Bennett (statement). In 6G1KBA0SXV/e1, theorem 2.14
History
- 2026-10-31: add by m2/v0.5.6
Definition KPSENAC8WM
| URI | m2://inv/KPSENAC8WM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Russo–Vallois integral#KR6V, Definition (definition)
History
- 2026-11-02: add by m2/dev
solvable KPSQHPDC3M
| URI | m2://inv/KPSQHPDC3M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of Lie groups and Lie algebras#52MN, solvable (definition)
History
- 2026-11-02: add by m2/dev
Virtual holonomy rigidity from many Levi-flats KPSR3MNRGT
| URI | m2://inv/KPSR3MNRGT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12497#G7LT, Virtual holonomy rigidity from many Levi-flats (statement). In Z0SAF18JPP/e1, proposition 11.5
History
- 2026-10-28: add by m2/v0.4.2
Examples KPSRQVCYZS
| URI | m2://inv/KPSRQVCYZS |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shearlet#80PS, Examples (example)
History
- 2026-11-02: add by m2/dev
KPSYE22WDT KPSYE22WDT
| URI | m2://inv/KPSYE22WDT |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/artin.tex#example-8 (example). In RZP28ERRZV, example, section 8.6
History
- 2026-11-01: add by m2/v0.6.13
KPT0VQDEYV KPT0VQDEYV
| URI | m2://inv/KPT0VQDEYV |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22657#RJ5K (example)
History
- 2026-11-02: add by m2/v0.6.17
KPT6AYMRQ6 KPT6AYMRQ6
| URI | m2://inv/KPT6AYMRQ6 |
|---|---|
| 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.07828#24OL (statement). In TWGMVT1N1G/e1, theorem 6.6
History
- 2026-10-29: add by m2/v0.4.10
Continuous wavelet transform KPTB8VQRHE
| URI | m2://inv/KPTB8VQRHE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Continuous wavelet transform, Continuous wavelet transform (definition). Also Wikidata Q2622756
History
- 2026-11-02: add by m2/dev
well-ordering theorem KPTERAEVCP
| URI | m2://inv/KPTERAEVCP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#WBIA, well-ordering theorem (definition)
History
- 2026-11-02: add by m2/dev
Definition KPTFHN6WW6
| URI | m2://inv/KPTFHN6WW6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Natural exponential family#6DTS, Definition (definition)
History
- 2026-11-02: add by m2/dev
One conditional \evar KPTFQ6FK4H
| URI | m2://inv/KPTFQ6FK4H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27766#BWML, One conditional \evar (statement)
History
- 2026-11-01: add by m2/v0.6.15
Harry Furstenberg KPTFSM3VGP
| URI | m2://inv/KPTFSM3VGP |
|---|---|
| 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#TVFS, Harry Furstenberg (topic)
History
- 2026-11-02: add by m2/dev
Ocean-atmosphere exchange KPTM17G5J6
| URI | m2://inv/KPTM17G5J6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Physical oceanography#P0T0, Ocean-atmosphere exchange (unknown)
History
- 2026-11-02: add by m2/dev
KPTMRA8SWX KPTMRA8SWX
| URI | m2://inv/KPTMRA8SWX |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-168 (exercise). In VNMV985MXX, exercise, section 3.1
History
- 2026-11-01: add by m2/v0.6.13
KPTVD3BFVT KPTVD3BFVT
| URI | m2://inv/KPTVD3BFVT |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-systems.tex#exercise-9 (exercise). In E9HS8K3A52, exercise, section 10.1.6
History
- 2026-11-01: add by m2/v0.6.13
KPTVHNDS08 KPTVHNDS08
| URI | m2://inv/KPTVHNDS08 |
|---|---|
| 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.17127#SVBV (statement). In NZJ5B5KSDQ/e1, corollary 2
History
- 2026-10-28: add by m2/v0.4.2
Trivial group extension KPV1JC4H4S
| URI | m2://inv/KPV1JC4H4S |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Group extension#RNFP, Trivial group extension (unknown)
History
- 2026-11-02: add by m2/dev
KPV2WECW55 KPV2WECW55
| URI | m2://inv/KPV2WECW55 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21295#UK9F (example)
History
- 2026-11-02: add by m2/v0.6.18
KPV5JKKG7A KPV5JKKG7A
| URI | m2://inv/KPV5JKKG7A |
|---|---|
| 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.36613#0A48 (statement). In GX0K0ZM700/e1, lemma 3.16
History
- 2026-10-30: add by m2/v0.4.12
Alfred Brauer KPVC9K8V0G
| URI | m2://inv/KPVC9K8V0G |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#A4IJ, Alfred Brauer (topic)
History
- 2026-11-02: add by m2/dev
lower bound with nearest-neighbour energies KPVN9636GJ
| URI | m2://inv/KPVN9636GJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2210.06147#XZBS, lower bound with nearest-neighbour energies (statement). In 94RBNQA07A/e1, proposition 5.5
History
- 2026-10-27: add by m2/v0.3.5
Phase velocity KPVYQ3KSD2
| URI | m2://inv/KPVYQ3KSD2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Phase velocity, Phase velocity (definition). Also Wikidata Q13824
History
- 2026-11-02: add by m2/dev
\bf Local derivative bounds KPW6AGNVW1
| URI | m2://inv/KPW6AGNVW1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02791#NEP8, \bf Local derivative bounds (statement). In TT9BA4VMTW/e1, proposition E.9
History
- 2026-10-29: add by m2/v0.4.12
co-Bezoutiant KPW6CXS199
| URI | m2://inv/KPW6CXS199 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of invariant theory#MAHS, co-Bezoutiant (definition)
History
- 2026-11-02: add by m2/dev
KPWFTMQSDG KPWFTMQSDG
| URI | m2://inv/KPWFTMQSDG |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10930#U69K (example). In HX63A1PH1W/e1, example 6.2
History
- 2026-10-28: add by m2/v0.4.3
Lars Ahlfors KPWJA2C9NP
| URI | m2://inv/KPWJA2C9NP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#PGD2, Lars Ahlfors (topic)
History
- 2026-11-02: add by m2/dev
Examples KPWMFHMXTC
| URI | m2://inv/KPWMFHMXTC |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hall's marriage theorem#KTEP, Examples (example)
History
- 2026-11-02: add by m2/dev
Oka–Weil theorem KPX3CAGRRS
| URI | m2://inv/KPX3CAGRRS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Oka–Weil theorem, Oka–Weil theorem (statement). Also Wikidata Q105742287
History
- 2026-11-02: add by m2/dev
KPXCTV4KWR KPXCTV4KWR
| URI | m2://inv/KPXCTV4KWR |
|---|---|
| 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.23994#GDD2 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Modes of persuasion KPXGA3QABJ
| URI | m2://inv/KPXGA3QABJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Modes of persuasion, Modes of persuasion (definition). Also Wikidata Q3354854
History
- 2026-11-02: add by m2/dev
KPXX0G81J5 KPXX0G81J5
| URI | m2://inv/KPXX0G81J5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33856#T0K4 (statement). In 47WN78VDDF/e1, proposition 3.30
History
- 2026-10-30: add by m2/v0.4.12
KPXYEG5QRC KPXYEG5QRC
| URI | m2://inv/KPXYEG5QRC |
|---|---|
| Kind | definition |
| 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#GDFF (definition). In 3A4K47Y9F2/e1, definition 5.13
History
- 2026-10-27: add by m2/v0.4.0
categorical logic KPXYRNG5E2
| URI | m2://inv/KPXYRNG5E2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 03G30 |
| Sources | 2 |
| Outcome | open |
| Node | Categorical logic NES4B9CWW4 |
Mentions
- wikidata: Wikidata Q5051813, categorical logic (topic)
- wikipedia: Wikipedia Categorical logic, Categorical logic (topic). Also Wikidata Q5051813
History
- 2026-10-26: add by m2/dev
Quantifier elimination KPY2CR2YSZ
| URI | m2://inv/KPY2CR2YSZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical logic topics#FSXP, Quantifier elimination (definition)
History
- 2026-11-02: add by m2/dev
Application KPY2YAAHND
| URI | m2://inv/KPY2YAAHND |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Volodin space#HLU6, Application (example)
History
- 2026-11-02: add by m2/dev
The two block diagonals of \(\mathscr H_{(a)}\ KPY3YYCF8H
| URI | m2://inv/KPY3YYCF8H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 26-XX, 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26066#IJNK, The two block diagonals of \(\mathscr H_{(a)}\ (statement)
History
- 2026-11-01: add by m2/v0.6.15
KPY5BGT6PK KPY5BGT6PK
| URI | m2://inv/KPY5BGT6PK |
|---|---|
| Kind | definition |
| 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.12271#ON5Y (definition). In WGCET6KSQ7/e1, definition 5
History
- 2026-10-27: add by m2/v0.3.6
KPYB40M7H0 KPYB40M7H0
| URI | m2://inv/KPYB40M7H0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28297#YGUR (statement)
History
- 2026-11-01: add by m2/v0.6.15
type, empty KPYCX9HSJN
| URI | m2://inv/KPYCX9HSJN |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/8.3/type-empty, type, empty (concept). In N54F33XE07, index, section 8.3
History
- 2026-11-01: add by m2/v0.6.13
Rasiowa–Sikorski lemma KPYHNZHV8X
| URI | m2://inv/KPYHNZHV8X |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rasiowa–Sikorski lemma, Rasiowa–Sikorski lemma (statement). Also Wikidata Q1816937
History
- 2026-11-02: add by m2/dev
Implementation KPYRBZ0KRN
| URI | m2://inv/KPYRBZ0KRN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dantzig–Wolfe decomposition#7FGN, Implementation (definition)
History
- 2026-11-02: add by m2/dev
Axiom of global choice KPYTNDRDZQ
| URI | m2://inv/KPYTNDRDZQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of axioms#30QL, Axiom of global choice (statement)
History
- 2026-11-02: add by m2/dev
Parallax scrolling KPYWY5YDAA
| URI | m2://inv/KPYWY5YDAA |
|---|---|
| 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#YA9W, Parallax scrolling (unknown)
History
- 2026-11-02: add by m2/dev
Gustav de Vries KPYXETYW6E
| URI | m2://inv/KPYXETYW6E |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gustav de Vries, Gustav de Vries (topic). Also Wikidata Q1354164
History
- 2026-11-02: add by m2/dev
KPYYSFD2H7 KPYYSFD2H7
| URI | m2://inv/KPYYSFD2H7 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20758#FTAX (definition). In PG0B4PH9YH/e1, definition 5.9
History
- 2026-10-27: add by m2/v0.4.2
Finance and Stochastics KPZ05GDH8F
| URI | m2://inv/KPZ05GDH8F |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability journals#X7UR, Finance and Stochastics (unknown)
History
- 2026-11-02: add by m2/dev
KPZ908TMZB KPZ908TMZB
| URI | m2://inv/KPZ908TMZB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-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.16339#YF6F (statement). In ER5EH4W919/e1, lemma 7.1
History
- 2026-10-28: add by m2/v0.4.2
Kathryn Chaloner KPZC1ECA7R
| URI | m2://inv/KPZC1ECA7R |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kathryn Chaloner, Kathryn Chaloner (topic). Also Wikidata Q18518772
History
- 2026-11-02: add by m2/dev
KPZF3YKS9Z KPZF3YKS9Z
| URI | m2://inv/KPZF3YKS9Z |
|---|---|
| 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.32651#NWH2 (statement). In WFJXSE3VDT/e1, lemma 3.3
History
- 2026-10-31: add by m2/v0.5.6
Inner generation of polynomial zero sets KPZF4YMGQ7
| URI | m2://inv/KPZF4YMGQ7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28028#MUO8, Inner generation of polynomial zero sets (statement)
History
- 2026-11-01: add by m2/v0.6.15
KPZG324QST KPZG324QST
| URI | m2://inv/KPZG324QST |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00843#Y4QA (statement). In 1K7M5TD0M2/e1, lemma 5.1
History
- 2026-10-29: add by m2/v0.4.12
KPZH7KK019 KPZH7KK019
| URI | m2://inv/KPZH7KK019 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39430#1DXA (statement). In 6FH24CYAMW/e1, theorem A
History
- 2026-10-30: add by m2/v0.4.12
Rectified 9-cubes KPZQPQBE05
| URI | m2://inv/KPZQPQBE05 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rectified 9-cubes, Rectified 9-cubes (definition). Also Wikidata Q7303170
History
- 2026-11-02: add by m2/dev
Statistical epidemiology KPZSPTA8FA
| URI | m2://inv/KPZSPTA8FA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#GN1O, Statistical epidemiology (topic)
History
- 2026-11-02: add by m2/dev