Inventory rows KV
The cards of the rows of the inventory whose ids start with KV. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Alwin Walther KV03PE3TPK
| URI | m2://inv/KV03PE3TPK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#I8ZC, Alwin Walther (unknown)
History
- 2026-11-02: add by m2/dev
Heptacontagon KV09GM1MG9
| URI | m2://inv/KV09GM1MG9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#ZMI3, Heptacontagon (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#NB5O, Heptacontagon (definition)
History
- 2026-11-02: add by m2/dev
Terminology KV0GEWZ70G
| URI | m2://inv/KV0GEWZ70G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Red–black tree#R6LJ, Terminology (definition)
History
- 2026-11-02: add by m2/dev
Gamma function KV0HE8HBA7
| URI | m2://inv/KV0HE8HBA7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical series#BJJ2, Gamma function (definition)
History
- 2026-11-02: add by m2/dev
Demetrios Christodoulou KV0K6JTSB9
| URI | m2://inv/KV0K6JTSB9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Demetrios Christodoulou, Demetrios Christodoulou (topic). Also Wikidata Q687024
History
- 2026-11-02: add by m2/dev
Computability logic KV0XDXGC7F
| URI | m2://inv/KV0XDXGC7F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical logic topics#SK07, Computability logic (definition)
History
- 2026-11-02: add by m2/dev
KV0YMB9MPS KV0YMB9MPS
| URI | m2://inv/KV0YMB9MPS |
|---|---|
| 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 2604.10080#15NO (statement). In KM2FWKP93A/e1, proposition 5.6
History
- 2026-10-27: add by m2/v0.4.0
Mingyao Li KV122KQQY0
| URI | m2://inv/KV122KQQY0 |
|---|---|
| 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#38B4, Mingyao Li (topic)
History
- 2026-11-02: add by m2/dev
Least common multiple (LCM) of denominators of the rows of the triangle of rationals A119935 / A119932 . KV1J9EC2JB
| URI | m2://inv/KV1J9EC2JB |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q100193524, Least common multiple (LCM) of denominators of the rows of the triangle of rationals A119935 / A119932 . (object). Also OEIS A119936
History
- 2026-10-26: add by m2/dev
Locally connected KV1KDVPN3C
| URI | m2://inv/KV1KDVPN3C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of general topology#3VKR, Locally connected (definition)
History
- 2026-11-02: add by m2/dev
Normal Form Predicate $\Nf_i^a$ KV1NZJ1QZY
| URI | m2://inv/KV1NZJ1QZY |
|---|---|
| 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.21131#ACYL, Normal Form Predicate $\Nf_i^a$ (definition). In CPYWHRTPKC/e1, definition 7.13
History
- 2026-10-27: add by m2/v0.4.2
KV1PF7QV0Q KV1PF7QV0Q
| URI | m2://inv/KV1PF7QV0Q |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/Relations.tex#example-6 (example). In P1C114YBXG, example, section H
History
- 2026-11-01: add by m2/v0.6.13
KV1RFVDFD8 KV1RFVDFD8
| URI | m2://inv/KV1RFVDFD8 |
|---|---|
| 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.24795#YG6F (definition)
History
- 2026-11-01: add by m2/v0.6.15
Mabinogion sheep problem KV1WR1FD4V
| URI | m2://inv/KV1WR1FD4V |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#VCIF, Mabinogion sheep problem (problem)
History
- 2026-11-02: add by m2/dev
clopen set KV1Z4DW0YJ
| URI | m2://inv/KV1Z4DW0YJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Clopen set DQ4E55T3BW |
Mentions
- wikidata: Wikidata Q320369, clopen set (definition). Also MathWorld Clopen, nLab clopen set, ProofWiki Definition:Clopen_Set
- wikipedia: Wikipedia Clopen set, Clopen set (definition). Also Wikidata Q320369
History
- 2026-10-26: add by m2/dev
KV20ZSKV4R KV20ZSKV4R
| URI | m2://inv/KV20ZSKV4R |
|---|---|
| Kind | definition |
| 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#CI7L (definition). In X765ZXXVC3/e1, definition 6.9
History
- 2026-10-29: add by m2/v0.4.12
KV254QXAJC KV254QXAJC
| URI | m2://inv/KV254QXAJC |
|---|---|
| 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#6NRK (statement). In ZRG6NY1ECH/e1, lemma 13
History
- 2026-10-30: add by m2/v0.4.12
KV27Y9TZ4H KV27Y9TZ4H
| URI | m2://inv/KV27Y9TZ4H |
|---|---|
| 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.16886#00XA (statement). In Y8QQAH7VCF/e1, lemma D.4
History
- 2026-10-28: add by m2/v0.4.2
Triangular tiling honeycomb KV28XW7KA6
| URI | m2://inv/KV28XW7KA6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#NEO5, Triangular tiling honeycomb (definition)
History
- 2026-11-02: add by m2/dev
Generalizations KV2B81E0AE
| URI | m2://inv/KV2B81E0AE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inverse function#P1KM, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
KV2FY211ED KV2FY211ED
| URI | m2://inv/KV2FY211ED |
|---|---|
| Kind | definition |
| 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.29158#B9NF (definition)
History
- 2026-11-01: add by m2/v0.6.15
Quantitative separation on the observation contour KV2H7GJ70Z
| URI | m2://inv/KV2H7GJ70Z |
|---|---|
| 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.06875#LIK0, Quantitative separation on the observation contour (statement). In ZDT5J9KQVQ/e1, lemma D.1
History
- 2026-10-29: add by m2/v0.4.10
KV2J09H17D KV2J09H17D
| URI | m2://inv/KV2J09H17D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/model-theory/basics/partial-iso.tex#defn:partialisom (definition). In PKGMM3P5QY, defn, section 46.5
History
- 2026-11-01: add by m2/v0.6.13
KV2KBXD1MG KV2KBXD1MG
| URI | m2://inv/KV2KBXD1MG |
|---|---|
| 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.10452#PSK2 (statement). In 2F4PNP1V3B/e1, proposition 2.3
History
- 2026-10-29: add by m2/v0.4.10
KV2NJW3SWC KV2NJW3SWC
| URI | m2://inv/KV2NJW3SWC |
|---|---|
| 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 1612.08394#20GF (statement). In 1P8D88DKG5/e1, proposition 8.2
History
- 2026-10-27: add by m2/v0.3.5
KV2NW2YHNH KV2NW2YHNH
| URI | m2://inv/KV2NW2YHNH |
|---|---|
| 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.07164#TA0I (statement). In Q1XJ5VWE1N/e1, corollary 3.6
History
- 2026-10-29: add by m2/v0.4.10
KV2V1HXN4M KV2V1HXN4M
| URI | m2://inv/KV2V1HXN4M |
|---|---|
| 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.25656#PN28 (definition)
History
- 2026-11-01: add by m2/v0.6.15
KV2VNHQY94 KV2VNHQY94
| URI | m2://inv/KV2VNHQY94 |
|---|---|
| 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 0805.4273#92FF (statement). In ZX3NV58FRX/e1, lemma 3.7
History
- 2026-10-27: add by m2/v0.3.5
Tautological implication KV2YQQ38CG
| URI | m2://inv/KV2YQQ38CG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tautology (logic)#3N0Q, Tautological implication (unknown)
History
- 2026-11-02: add by m2/dev
Example KV30FG2GB0
| URI | m2://inv/KV30FG2GB0 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dependability state model#Q2M1, Example (example)
History
- 2026-11-02: add by m2/dev
National Institute of Statistics of Rwanda KV31E0A35T
| URI | m2://inv/KV31E0A35T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia National Institute of Statistics of Rwanda, National Institute of Statistics of Rwanda (definition). Also Wikidata Q27517541
History
- 2026-11-02: add by m2/dev
KV31FM68P4 KV31FM68P4
| URI | m2://inv/KV31FM68P4 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12489#3SCC (example). In FDWFVD08SE/e1, example 2.2
History
- 2026-10-28: add by m2/v0.4.2
KV35ECCPHT KV35ECCPHT
| URI | m2://inv/KV35ECCPHT |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20422#0B2M (definition). In HCH89W5Y2C/e1, definition 1
History
- 2026-10-27: add by m2/v0.4.2
Definition KV3BZDMARX
| URI | m2://inv/KV3BZDMARX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia P-constrained group#JUPC, Definition (definition)
History
- 2026-11-02: add by m2/dev
Definitions KV3TFGDFVG
| URI | m2://inv/KV3TFGDFVG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Paul Erdős#Y2R8, Definitions (definition)
History
- 2026-11-02: add by m2/dev
KV3TMN8B05 KV3TMN8B05
| URI | m2://inv/KV3TMN8B05 |
|---|---|
| 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.40207#GB2G (definition). In JXTG8KP95P/e1, definition 2.13
History
- 2026-10-30: add by m2/v0.4.12
KV3VCTZC1Y KV3VCTZC1Y
| URI | m2://inv/KV3VCTZC1Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39505#FXSD (statement). In WAXS6FS388/e1, theorem 7.2
History
- 2026-10-30: add by m2/v0.4.12
KV3Y8K71H5 KV3Y8K71H5
| URI | m2://inv/KV3Y8K71H5 |
|---|---|
| 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.06521#ZHMO (statement). In NVXWD513NM/e1, lemma 3.5
History
- 2026-10-29: add by m2/v0.4.10
KV43VCM87H KV43VCM87H
| URI | m2://inv/KV43VCM87H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22394#RJTV (statement)
History
- 2026-11-02: add by m2/v0.6.17
KV4GTQ1YC2 KV4GTQ1YC2
| URI | m2://inv/KV4GTQ1YC2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02743#1IKO (statement). In GQH4ZPDWET/e1, corollary 5.2
History
- 2026-10-29: add by m2/v0.4.12
Properties KV4N89CK0X
| URI | m2://inv/KV4N89CK0X |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cyclotomic field#8XH5, Properties (statement)
History
- 2026-11-02: add by m2/dev
KV4RGQHJ2D KV4RGQHJ2D
| URI | m2://inv/KV4RGQHJ2D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02079#75X5 (statement). In CNS2J2E4T2/e1, proposition 24
History
- 2026-10-29: add by m2/v0.4.12
Theorem KV4RHFC1P6
| URI | m2://inv/KV4RHFC1P6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Large deviations theory#YZW8, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Convexity and a fixed-field comparison KV4RY147N6
| URI | m2://inv/KV4RY147N6 |
|---|---|
| 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.37479#TGC9, Convexity and a fixed-field comparison (statement). In P3RTT99C41/e1, lemma 4.6
History
- 2026-10-30: add by m2/v0.4.12
Hal S. Stern KV4X64KQJ6
| URI | m2://inv/KV4X64KQJ6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#TGYM, Hal S. Stern (topic)
- wikipedia: Wikipedia List of fellows of the American Statistical Association#SECG, Hal S. Stern (topic)
History
- 2026-11-02: add by m2/dev
KV4XDE9S14 KV4XDE9S14
| URI | m2://inv/KV4XDE9S14 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12489#GANI (statement). In FDWFVD08SE/e1, theorem 2.19
History
- 2026-10-28: add by m2/v0.4.2
Example KV4YQVTGCH
| URI | m2://inv/KV4YQVTGCH |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bhargava cube#1JMK, Example (example)
History
- 2026-11-02: add by m2/dev
KV5202W1VZ KV5202W1VZ
| URI | m2://inv/KV5202W1VZ |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-riemann.tex#proof-20 (proof). In E59CDZA4DP, proof, section 8.5
History
- 2026-11-01: add by m2/v0.6.13
Louis Mordell KV55N2F52V
| URI | m2://inv/KV55N2F52V |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#YK6P, Louis Mordell (topic)
History
- 2026-11-02: add by m2/dev
Examples KV59AP0M7Z
| URI | m2://inv/KV59AP0M7Z |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Width of a hypergraph#878K, Examples (example)
History
- 2026-11-02: add by m2/dev
Generalizations KV5DVZD9N3
| URI | m2://inv/KV5DVZD9N3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geometric separator#ERR2, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Feng Kang KV5KAY4VVN
| URI | m2://inv/KV5KAY4VVN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#KHJM, Feng Kang (unknown)
History
- 2026-11-02: add by m2/dev
Continuity KV5PB3K6ZS
| URI | m2://inv/KV5PB3K6ZS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathematical analysis#LNSP, Continuity (statement)
History
- 2026-11-02: add by m2/dev
Jacobian Product Bound KV5Y8ZRHCD
| URI | m2://inv/KV5Y8ZRHCD |
|---|---|
| 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.14344#2651, Jacobian Product Bound (statement). In ZVCD8RG1JJ/e1, corollary 3
History
- 2026-10-28: add by m2/v0.4.2
Algorithm KV64FXJJPF
| URI | m2://inv/KV64FXJJPF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multigrid method#OLSK, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
explicit Euler method KV66JJ5QXS
| URI | m2://inv/KV66JJ5QXS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Numerical Analysis > Ordinary differential equations > explicit Euler method, explicit Euler method (unknown)
History
- 2026-10-26: add by m2/dev
KV6EKRQQHW KV6EKRQQHW
| URI | m2://inv/KV6EKRQQHW |
|---|---|
| Kind | definition |
| 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.04673#SP9X (definition). In KKC0CT44FJ/e1, definition 2.1
History
- 2026-10-29: add by m2/v0.4.12
Failure of $(\star)$ in every order KV6F8SY2RA
| URI | m2://inv/KV6F8SY2RA |
|---|---|
| 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.00099#6I6O, Failure of $(\star)$ in every order (example). In NNBY2AEHP4/e1, example 6.1
History
- 2026-10-30: add by m2/v0.4.12
Examples KV6SE5QXN1
| URI | m2://inv/KV6SE5QXN1 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Limit of distributions#NYUZ, Examples (example)
History
- 2026-11-02: add by m2/dev
Lower bound on the weak slice genus KV6X8C3KX5
| URI | m2://inv/KV6X8C3KX5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10206#NJXN, Lower bound on the weak slice genus (statement). In 8TRCP1482Q/e1, corollary B.21
History
- 2026-10-29: add by m2/v0.4.10
Fritz Peter KV6YVRQEH5
| URI | m2://inv/KV6YVRQEH5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fritz Peter, Fritz Peter (topic). Also Wikidata Q5504990
History
- 2026-11-02: add by m2/dev
Brain in a vat KV75DY843S
| URI | m2://inv/KV75DY843S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Brain in a vat, Brain in a vat (definition). Also Wikidata Q852947
History
- 2026-11-02: add by m2/dev
KV76JZM63H KV76JZM63H
| URI | m2://inv/KV76JZM63H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06669#5G83 (statement). In YXD3950ZXR/e1, proposition 4.2
History
- 2026-10-29: add by m2/v0.4.10
KV77CNV9HS KV77CNV9HS
| URI | m2://inv/KV77CNV9HS |
|---|---|
| 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 2603.07541#DR5O (statement). In X3RFXWN6FW/e1, lemma 2.5
History
- 2026-10-27: add by m2/v0.3.6
KV7JB1MHBQ KV7JB1MHBQ
| URI | m2://inv/KV7JB1MHBQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03628#9ZQ9 (statement). In P8KT6JV9N1/e1, fact 3.2
History
- 2026-10-29: add by m2/v0.4.12
KV7Q1ACB9R KV7Q1ACB9R
| URI | m2://inv/KV7Q1ACB9R |
|---|---|
| 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 2609.31327#80RE (example). In F605BQ3AYX/e1, example 6.2
History
- 2026-10-31: add by m2/v0.5.6
KV7Z02P84J KV7Z02P84J
| URI | m2://inv/KV7Z02P84J |
|---|---|
| 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.15805#OAGF (statement). In 2XVWG0Z18V/e1, lemma 6.4
History
- 2026-10-28: add by m2/v0.4.2
Definition KV843CHQY1
| URI | m2://inv/KV843CHQY1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Morphism#BBTG, Definition (definition)
History
- 2026-11-02: add by m2/dev
Cartier-Nishi duality KV864HNDV0
| URI | m2://inv/KV864HNDV0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Group scheme#947K, Cartier-Nishi duality (unknown)
History
- 2026-11-02: add by m2/dev
Born series KV86AWF1V2
| URI | m2://inv/KV86AWF1V2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Born series, Born series (definition). Also Wikidata Q18960800
History
- 2026-11-02: add by m2/dev
Adam relations KV89NKZTN3
| URI | m2://inv/KV89NKZTN3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Steenrod algebra#27ZJ, Adam relations (unknown)
History
- 2026-11-02: add by m2/dev
full and faithful functor KV8AAGVNKD
| URI | m2://inv/KV8AAGVNKD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Full and faithful functors GRG8WEBSH5 |
Mentions
- wikidata: Wikidata Q1064276, full and faithful functor (unknown). Also MathWorld FaithfulFunctor, nLab full and faithful functor
- wikipedia: Wikipedia Full and faithful functors, Full and faithful functors (definition). Also Wikidata Q1064276
History
- 2026-10-26: add by m2/dev
KV8BN7JAY5 KV8BN7JAY5
| URI | m2://inv/KV8BN7JAY5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 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 2610.03865#VURN (statement). In G3D1YR20BJ/e1, lemma B.1
History
- 2026-10-29: add by m2/v0.4.12
KV8DFMF5XH KV8DFMF5XH
| URI | m2://inv/KV8DFMF5XH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32338#D5Z9 (statement). In HVY45JQRNK/e1, proposition 6.8
History
- 2026-10-31: add by m2/v0.5.6
Spectral curve KV8E6X3YJE
| URI | m2://inv/KV8E6X3YJE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lax pair#TPWZ, Spectral curve (unknown)
History
- 2026-11-02: add by m2/dev
cybernetics KV8N2CB067
| URI | m2://inv/KV8N2CB067 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q123637, cybernetics (definition). Also ProofWiki Definition:Cybernetics
History
- 2026-10-26: add by m2/dev
KV8RTFG3CP KV8RTFG3CP
| URI | m2://inv/KV8RTFG3CP |
|---|---|
| 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 2609.21472#RH9H (definition)
History
- 2026-11-02: add by m2/v0.6.18
Comparison of criterion-referenced, domain-referenced and norm-referenced tests KV8TNGYP7R
| URI | m2://inv/KV8TNGYP7R |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Criterion-referenced test#9JHH, Comparison of criterion-referenced, domain-referenced and norm-referenced tests (statement)
History
- 2026-11-02: add by m2/dev
Stéphane Mallat KV92GP4FYZ
| URI | m2://inv/KV92GP4FYZ |
|---|---|
| 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#DZ74, Stéphane Mallat (topic)
History
- 2026-11-02: add by m2/dev
Statement KV95J8YVSF
| URI | m2://inv/KV95J8YVSF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Parity problem#7MPK, Statement (statement)
History
- 2026-11-02: add by m2/dev
KV96XKRBGV KV96XKRBGV
| URI | m2://inv/KV96XKRBGV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2211.16099#7C77 (statement). In 91RRFW0K5D/e1, lemma 33
History
- 2026-10-27: add by m2/v0.3.5
KV9965RBXV KV9965RBXV
| URI | m2://inv/KV9965RBXV |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-contfunc.tex#exercise-33 (exercise). In E59CDZA4DP, exercise, section 2.3.3
History
- 2026-11-01: add by m2/v0.6.13
Faculty of Actuaries KV9B44GV97
| URI | m2://inv/KV9B44GV97 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Faculty of Actuaries, Faculty of Actuaries (definition). Also Wikidata Q5428889
History
- 2026-11-02: add by m2/dev
injection KV9DHRBPB2
| URI | m2://inv/KV9DHRBPB2 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi index/1.4.2/injection, injection (concept). In Y91XFCEVHQ, index, section 1.4.2
History
- 2026-11-01: add by m2/v0.6.13
Example KV9J3FKKFD
| URI | m2://inv/KV9J3FKKFD |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multiplicative graph#7DSA, Example (example)
History
- 2026-11-02: add by m2/dev
KV9T49ZJVS KV9T49ZJVS
| URI | m2://inv/KV9T49ZJVS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 19-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 2505.05539#M2ZR (statement). In 8SVVEVGMNE/e1, lemma 4.18
History
- 2026-10-27: add by m2/v0.3.5
KV9VRNYR86 KV9VRNYR86
| URI | m2://inv/KV9VRNYR86 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 11-XX, 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.25168#SGNO (example)
History
- 2026-11-01: add by m2/v0.6.15
Takagi existence theorem KVA0F44H71
| URI | m2://inv/KVA0F44H71 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic number theory topics#NHV3, Takagi existence theorem (statement)
History
- 2026-11-02: add by m2/dev
KVA8N80QXX KVA8N80QXX
| URI | m2://inv/KVA8N80QXX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06810#2ANB (statement). In 1NY2SA03XF/e1, lemma 4.6
History
- 2026-10-29: add by m2/v0.4.10
Littlewood's inequality KVACYZHRCF
| URI | m2://inv/KVACYZHRCF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hölder's inequality#ZXSO, Littlewood's inequality (statement)
History
- 2026-11-02: add by m2/dev
Properties KVAFAMQPWN
| URI | m2://inv/KVAFAMQPWN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Metric space aimed at its subspace#QOA0, Properties (statement)
History
- 2026-11-02: add by m2/dev
Georgy Voronoy KVAGMVC4S7
| URI | m2://inv/KVAGMVC4S7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Russian mathematicians#NIKW, Georgy Voronoy (topic)
History
- 2026-11-02: add by m2/dev
Uses KVAK5TXQ5Q
| URI | m2://inv/KVAK5TXQ5Q |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Transformation matrix#AV6N, Uses (example)
History
- 2026-11-02: add by m2/dev
deci KVAQAJ6YZ4
| URI | m2://inv/KVAQAJ6YZ4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q110827, deci (definition). Also ProofWiki Definition:Metric_System/Scaling_Prefixes/deci-
History
- 2026-10-26: add by m2/dev
Orazio Grassi KVARNJ88FZ
| URI | m2://inv/KVARNJ88FZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orazio Grassi, Orazio Grassi (topic). Also Wikidata Q1140569
History
- 2026-11-02: add by m2/dev
Haruzo Hida KVASEYZH15
| URI | m2://inv/KVASEYZH15 |
|---|---|
| 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#5O8U, Haruzo Hida (topic)
History
- 2026-11-02: add by m2/dev
KVAXFP7WQ0 KVAXFP7WQ0
| URI | m2://inv/KVAXFP7WQ0 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 20-XX, 22-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.09319#M2CH (example). In GMRT5GHBZS/e1, example 6.10
History
- 2026-10-29: add by m2/v0.4.10
KVAZQNW9BF KVAZQNW9BF
| URI | m2://inv/KVAZQNW9BF |
|---|---|
| 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 2609.36181#5A6I (example). In 1KSE33PVS6/e1, example 24
History
- 2026-10-30: add by m2/v0.4.12
Upper deviations of the free energy KVB0CDHQ7V
| URI | m2://inv/KVB0CDHQ7V |
|---|---|
| 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.06480#R6AU, Upper deviations of the free energy (statement). In 2Y47E704Z9/e1, lemma B.1
History
- 2026-10-29: add by m2/v0.4.10
KVB2G75B25 KVB2G75B25
| URI | m2://inv/KVB2G75B25 |
|---|---|
| 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.13833#EJ2I (statement). In VD4JP4HVBX/e1, theorem 8.1
History
- 2026-10-28: add by m2/v0.4.2
KVB33002PG KVB33002PG
| URI | m2://inv/KVB33002PG |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 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.17026#8BBU (definition). In 76G7J23DNZ/e1, definition 1
History
- 2026-10-28: add by m2/v0.4.2
Variations KVB5Q63B6H
| URI | m2://inv/KVB5Q63B6H |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Knot energy#FBGP, Variations (statement)
History
- 2026-11-02: add by m2/dev
natural domain KVB7KKP1C1
| URI | m2://inv/KVB7KKP1C1 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q110924026, natural domain (concept). Also MathWorld NaturalDomain
History
- 2026-10-26: add by m2/dev
KVB7XB8HB4 KVB7XB8HB4
| URI | m2://inv/KVB7XB8HB4 |
|---|---|
| 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 2609.35180#M0ZZ (statement). In ZA34B1CR9M/e1, lemma 2.2
History
- 2026-10-30: add by m2/v0.4.12
Michael Oser Rabin KVBD9DYP5Z
| URI | m2://inv/KVBD9DYP5Z |
|---|---|
| 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#8NGH, Michael Oser Rabin (topic)
History
- 2026-11-02: add by m2/dev
Cauchy-Riemann conditions KVBGFDZZFH
| URI | m2://inv/KVBGFDZZFH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Single Variable Complex Analysis > Functions on one complex variable > Cauchy-Riemann conditions, Cauchy-Riemann conditions (unknown)
History
- 2026-10-26: add by m2/dev
Instantons and Four-Manifolds KVBGTVJHR1
| URI | m2://inv/KVBGTVJHR1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Instantons and Four-Manifolds, Instantons and Four-Manifolds (definition). Also Wikidata Q60620464
History
- 2026-11-02: add by m2/dev
Upper bound on the mixing time KVBGZJZHA3
| URI | m2://inv/KVBGZJZHA3 |
|---|---|
| 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.31187#SQ0V, Upper bound on the mixing time (statement). In 2535DQ1DEG/e1, proposition 4
History
- 2026-10-31: add by m2/v0.5.6
KVBV04RAM5 KVBV04RAM5
| URI | m2://inv/KVBV04RAM5 |
|---|---|
| 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.06488#JVVS (statement). In XG3BJ2QXXP/e1, lemma 2.5
History
- 2026-10-29: add by m2/v0.4.10
KVBWQCARKY KVBWQCARKY
| URI | m2://inv/KVBWQCARKY |
|---|---|
| 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 2210.06318#H9N7 (statement). In KJSSAEYGBP/e1, theorem 6.1
History
- 2026-10-27: add by m2/v0.3.5
Burden of proof reversal KVBWX776Q7
| URI | m2://inv/KVBWX776Q7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Burden of proof (philosophy)#7S76, Burden of proof reversal (unknown)
History
- 2026-11-02: add by m2/dev
KVBYJXQ980 KVBYJXQ980
| URI | m2://inv/KVBYJXQ980 |
|---|---|
| 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.11409#EF10 (statement). In 3NWSEMTHJR/e1, lemma 2.1
History
- 2026-10-28: add by m2/v0.4.3
KVBZX893CS KVBZX893CS
| URI | m2://inv/KVBZX893CS |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book reals.tex#proof-36 (proof). In N54F33XE07, proof, section B.5
History
- 2026-11-01: add by m2/v0.6.13
KVC5ZVFEMJ KVC5ZVFEMJ
| URI | m2://inv/KVC5ZVFEMJ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/sec_gt-matchings.ptx#investigation-1 (exercise). In Y91XFCEVHQ, investigation, section 5.6
History
- 2026-11-01: add by m2/v0.6.13
Examples KVCB3RPNHR
| URI | m2://inv/KVCB3RPNHR |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graded ring#3W60, Examples (example)
History
- 2026-11-02: add by m2/dev
Example 2.1. KVCJ85KJY9
| URI | m2://inv/KVCJ85KJY9 |
|---|---|
| Kind | example |
| 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 2503.16884#40RX, Example 2.1. (example). In B984KNW591/e1, example 1.4
History
- 2026-10-27: add by m2/v0.3.5
Computation KVCRF3ZG6J
| URI | m2://inv/KVCRF3ZG6J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Edit distance#APB6, Computation (definition)
History
- 2026-11-02: add by m2/dev
Dirac measure KVCZK14673
| URI | m2://inv/KVCZK14673 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 26-XX, 46-XX, 49-XX, 51-XX, 52-XX, 60-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2505.10801#YWJK, Dirac measure (example). In BWJS3H55WH/e1, example 30
History
- 2026-10-27: add by m2/v0.3.5
KVDB28MWDE KVDB28MWDE
| URI | m2://inv/KVDB28MWDE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36725#8QQV (statement). In AR26SZ8JGN/e1, lemma 2.2
History
- 2026-10-30: add by m2/v0.4.12
Ryan Thorngren KVDFE0K561
| URI | m2://inv/KVDFE0K561 |
|---|---|
| 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 Q59675435, Ryan Thorngren (unknown). Also nLab Ryan Thorngren
History
- 2026-10-26: add by m2/dev
Instability requires two idealized factors KVDMJCK8TV
| URI | m2://inv/KVDMJCK8TV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11002#30Y6, Instability requires two idealized factors (statement). In P55JSAYR3T/e1, corollary
History
- 2026-10-28: add by m2/v0.4.3
Jane-Ling Wang KVDQKAFEZH
| URI | m2://inv/KVDQKAFEZH |
|---|---|
| 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#MJGS, Jane-Ling Wang (topic)
History
- 2026-11-02: add by m2/dev
Examples KVDV6CZST4
| URI | m2://inv/KVDV6CZST4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Limit (category theory)#WKQW, Examples (example)
History
- 2026-11-02: add by m2/dev
Small dodecacronic hexecontahedron KVEA5309F4
| URI | m2://inv/KVEA5309F4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q28001489, Small dodecacronic hexecontahedron (unknown). Also MathWorld SmallDodecacronicHexecontahedron
History
- 2026-10-26: add by m2/dev
KVEDK41RAW KVEDK41RAW
| URI | m2://inv/KVEDK41RAW |
|---|---|
| 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.12777#PX8S (statement). In 1YFK2FB3JY/e1, lemma 3.2
History
- 2026-10-28: add by m2/v0.4.2
Theorem KVEVS5ZRJK
| URI | m2://inv/KVEVS5ZRJK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Squeeze theorem#G6JX, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Arithmetic Mean/Geometric Mean KVEWES0APT
| URI | m2://inv/KVEWES0APT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_100: mathlib_100 38, Arithmetic Mean/Geometric Mean (statement). Also Mathlib Real.geom_mean_le_arith_mean_weighted
History
- 2026-10-26: add by m2/dev
dualizing complex KVF36TD3T5
| URI | m2://inv/KVF36TD3T5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic geometry#WHLX, dualizing complex (definition)
History
- 2026-11-02: add by m2/dev
Janet L. Norwood KVF6C0B00C
| URI | m2://inv/KVF6C0B00C |
|---|---|
| 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#H49N, Janet L. Norwood (topic)
History
- 2026-11-02: add by m2/dev
KVF6XY5YDZ KVF6XY5YDZ
| URI | m2://inv/KVF6XY5YDZ |
|---|---|
| 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 2610.11395#FP6Y (problem). In T3W7SMWQ73/e1, problem 52
History
- 2026-10-28: add by m2/v0.4.3
Pompeiu's theorem KVF926BT0X
| URI | m2://inv/KVF926BT0X |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 51-XX |
| Sources | 4 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q3534036, Pompeiu's theorem (statement). Also Wikidata Q3534036
- thousand_plus: thousand_plus Q3534036, Pompeiu's theorem (statement). Also Wikidata Q3534036, Wikipedia Pompeiu's theorem
- wikidata: Wikidata Q3534036, Pompeiu's theorem (statement). Also MathWorld PompeiusTheorem
- wikipedia: Wikipedia Pompeiu's theorem, Pompeiu's theorem (statement). Also Wikidata Q3534036
History
- 2026-10-26: add by m2/dev
KVFAAJT5VZ KVFAAJT5VZ
| URI | m2://inv/KVFAAJT5VZ |
|---|---|
| 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.22081#2TND (statement). In 7JATJ4VG9G/e1, lemma 4.2
History
- 2026-10-27: add by m2/v0.4.0
KVFCWV6RT7 KVFCWV6RT7
| URI | m2://inv/KVFCWV6RT7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33590#260E (statement). In WRE0P7V6Z3/e1, theorem
History
- 2026-10-30: add by m2/v0.4.12
Olivier Biquard KVFDFEK65G
| URI | m2://inv/KVFDFEK65G |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#I2HN, Olivier Biquard (unknown)
History
- 2026-11-02: add by m2/dev
KVFN6WDH5E KVFN6WDH5E
| URI | m2://inv/KVFN6WDH5E |
|---|---|
| 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.29677#XEK0 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Empty-compatible ordinary geometric iCFO KVFSFB0DN6
| URI | m2://inv/KVFSFB0DN6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28220#IVSY, Empty-compatible ordinary geometric iCFO (statement)
History
- 2026-11-01: add by m2/v0.6.15
dodecahedron KVG5JCTQ2Q
| URI | m2://inv/KVG5JCTQ2Q |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q178296, dodecahedron (unknown). Also EoM Dodecahedron, MathWorld Dodecahedron, nLab dodecahedron
- wikipedia: Wikipedia Dodecahedron, Dodecahedron (object). Also Wikidata Q178296
History
- 2026-10-26: add by m2/dev
Flat flow KVGE7JH5SM
| URI | m2://inv/KVGE7JH5SM |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15511#4XRT, Flat flow (definition). In TZM08VJAQT/e1, definition 2.6
History
- 2026-10-28: add by m2/v0.4.2
Properties KVGG17JSF8
| URI | m2://inv/KVGG17JSF8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Canonical singularity#WODL, Properties (statement)
History
- 2026-11-02: add by m2/dev
Definition KVGHRSQ3BT
| URI | m2://inv/KVGHRSQ3BT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Scheme (mathematics)#7XWO, Definition (definition)
History
- 2026-11-02: add by m2/dev
Variations KVGJNMDSC1
| URI | m2://inv/KVGJNMDSC1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Luby transform code#OKJJ, Variations (statement)
History
- 2026-11-02: add by m2/dev
KVGMWJ59FD KVGMWJ59FD
| URI | m2://inv/KVGMWJ59FD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 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.34081#2Z7I (statement). In 3RVGEKGX46/e1, corollary 6.1
History
- 2026-10-30: add by m2/v0.4.12
&plus KVGP3GE7ZF
| URI | m2://inv/KVGP3GE7ZF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Plus and minus signs#GSZI, &plus (unknown)
History
- 2026-11-02: add by m2/dev
KVGVHRF6H0 KVGVHRF6H0
| URI | m2://inv/KVGVHRF6H0 |
|---|---|
| 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.10968#HQ3Z (statement). In KJRV9ZW833/e1, lemma 5.1
History
- 2026-10-28: add by m2/v0.4.3
KVH496MCNZ KVH496MCNZ
| URI | m2://inv/KVH496MCNZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23128#O3HU (statement)
History
- 2026-11-02: add by m2/v0.6.17
Extensions KVH8R1KFEF
| URI | m2://inv/KVH8R1KFEF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dominated convergence theorem#OKFO, Extensions (statement)
History
- 2026-11-02: add by m2/dev
Mikhail KVHAHJJ962
| URI | m2://inv/KVHAHJJ962 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of twin teammates in sports#470C, Mikhail (unknown)
History
- 2026-11-02: add by m2/dev
Abbondio Collina KVHDJRZ8K3
| URI | m2://inv/KVHDJRZ8K3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Abbondio Collina, Abbondio Collina (topic). Also Wikidata Q122230741
History
- 2026-11-02: add by m2/dev
KVHNFJ814X KVHNFJ814X
| URI | m2://inv/KVHNFJ814X |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-ser.tex#prop:cachyser (statement). In E59CDZA4DP, prop, section 10.5.2
History
- 2026-11-01: add by m2/v0.6.13
KVHQ5445K2 KVHQ5445K2
| URI | m2://inv/KVHQ5445K2 |
|---|---|
| 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.27524#5OB4 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Cotangent operator space KVHXTWJZXE
| URI | m2://inv/KVHXTWJZXE |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 30-XX, 32-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37698#NAV6, Cotangent operator space (definition). In HA2GG72C23/e1, definition 1.10
History
- 2026-10-30: add by m2/v0.4.12
McMullen's g-conjecture KVJ5TWPQTA
| URI | m2://inv/KVJ5TWPQTA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#07WR, McMullen's g-conjecture (definition)
History
- 2026-11-02: add by m2/dev
KVJG4R7MPT KVJG4R7MPT
| URI | m2://inv/KVJG4R7MPT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28020#3JWC (statement)
History
- 2026-11-01: add by m2/v0.6.15
multisorted function minion KVJJ0G309Z
| URI | m2://inv/KVJJ0G309Z |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-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 2610.12484#IQ9W, multisorted function minion (definition). In GW23NX78SB/e1, definition 4.2
History
- 2026-10-28: add by m2/v0.4.2
KVJRBVPS9R KVJRBVPS9R
| URI | m2://inv/KVJRBVPS9R |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-higher-order-ode.tex#exercise-70 (exercise). In E9HS8K3A52, exercise, section 6.5.4
History
- 2026-11-01: add by m2/v0.6.13
Chang-Shou Lin KVK65N5SSW
| URI | m2://inv/KVK65N5SSW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Taiwanese mathematicians#RNLS, Chang-Shou Lin (unknown)
History
- 2026-11-02: add by m2/dev
Monodromy theorem KVKB36KTV8
| URI | m2://inv/KVKB36KTV8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 30-XX, 55-XX |
| Sources | 4 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1303.4328#4KN5, Monodromy theorem (statement). In HCTYW6VH87/e1, theorem 1.4
- mathlib_1000: mathlib_1000 Q4455046, Monodromy theorem (statement). Also Wikidata Q4455046
- thousand_plus: thousand_plus Q4455046, Monodromy theorem (statement). Also Wikidata Q4455046, Wikipedia Monodromy theorem
- wikipedia: Wikipedia Monodromy theorem, Monodromy theorem (statement). Also Wikidata Q4455046
History
- 2026-10-26: add by m2/dev
- 2026-10-31: merge by m2/v0.5.6
Napoleon's theorem KVKEXHXSG8
| URI | m2://inv/KVKEXHXSG8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#D1I6, Napoleon's theorem (statement)
History
- 2026-11-02: add by m2/dev
The circle KVKNFDRMZK
| URI | m2://inv/KVKNFDRMZK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/riemann-surface/affine-projective.tex#example-3, The circle (example). In RZP28ERRZV, example, section 82.1
History
- 2026-11-01: add by m2/v0.6.13
Ridge bias in the learned subspace KVM4NRSZMK
| URI | m2://inv/KVM4NRSZMK |
|---|---|
| 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.05388#MZ88, Ridge bias in the learned subspace (statement). In 4HJK1986EJ/e1, lemma C.21
History
- 2026-10-29: add by m2/v0.4.10
charged current KVM57R592K
| URI | m2://inv/KVM57R592K |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4115391, charged current (unknown). Also nLab charged current
History
- 2026-10-26: add by m2/dev
KVM6YNZ1C5 KVM6YNZ1C5
| URI | m2://inv/KVM6YNZ1C5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05602#HUW8 (statement). In W88890HB4Z/e1, lemma 4.5
History
- 2026-10-29: add by m2/v0.4.10
KVM78EJCQG KVM78EJCQG
| URI | m2://inv/KVM78EJCQG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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.21627#EZGM (statement). In 4Z44S003HM/e1, corollary 2
History
- 2026-10-27: add by m2/v0.4.2
antinomy KVM9BPXT19
| URI | m2://inv/KVM9BPXT19 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#62Q2, antinomy (definition)
History
- 2026-11-02: add by m2/dev
Applications KVM9PVH65H
| URI | m2://inv/KVM9PVH65H |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia True-range multilateration#IGTN, Applications (example)
History
- 2026-11-02: add by m2/dev
HP 9g KVMKSMFPEB
| URI | m2://inv/KVMKSMFPEB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia HP 9g, HP 9g (definition). Also Wikidata Q5635636
History
- 2026-11-02: add by m2/dev
KVMQNATP7G KVMQNATP7G
| URI | m2://inv/KVMQNATP7G |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/axioms-systems/duals.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 50.3
History
- 2026-11-01: add by m2/v0.6.13
Faà di Bruno's formula KVMWWPKDKF
| URI | m2://inv/KVMWWPKDKF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generating function transformation#D6UK, Faà di Bruno's formula (statement)
History
- 2026-11-02: add by m2/dev
Definition and properties KVN33GH5EP
| URI | m2://inv/KVN33GH5EP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Natural logarithm#FMOA, Definition and properties (definition)
History
- 2026-11-02: add by m2/dev
KVN4VDF540 KVN4VDF540
| URI | m2://inv/KVN4VDF540 |
|---|---|
| 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.10581#VRDF (statement). In 6V42A71SPC/e1, theorem 2.3
History
- 2026-10-29: add by m2/v0.4.10
Saharon Shelah KVN7T5QRRT
| URI | m2://inv/KVN7T5QRRT |
|---|---|
| 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 Q448592, Saharon Shelah (unknown). Also nLab Saharon Shelah, ProofWiki Mathematician:Saharon_Shelah
- wikipedia: Wikipedia Saharon Shelah, Saharon Shelah (topic). Also Wikidata Q448592
History
- 2026-10-26: add by m2/dev
KVN994MG2Q KVN994MG2Q
| URI | m2://inv/KVN994MG2Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20760#IQKB (statement). In 6G9JSJ5JMP/e1, corollary 6
History
- 2026-10-27: add by m2/v0.4.2
KVN9JFJ1FJ KVN9JFJ1FJ
| URI | m2://inv/KVN9JFJ1FJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 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.25168#CR57 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Examples KVNBE6HSJ5
| URI | m2://inv/KVNBE6HSJ5 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nagata ring#2AKY, Examples (example)
History
- 2026-11-02: add by m2/dev
KVNDAXC6DX KVNDAXC6DX
| URI | m2://inv/KVNDAXC6DX |
|---|---|
| Kind | example |
| 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#94CX (example). In Q5Z178SAHP/e1, example 5.1
History
- 2026-10-30: add by m2/v0.4.12
Final state conjecture KVNFADTSWW
| URI | m2://inv/KVNFADTSWW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Final state conjecture, Final state conjecture (statement). Also Wikidata Q113451153
History
- 2026-11-02: add by m2/dev
KVNPCJD6FN KVNPCJD6FN
| URI | m2://inv/KVNPCJD6FN |
|---|---|
| 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.15405#WA9V (statement). In 9QCYCXVF5W/e1, lemma 2.1
History
- 2026-10-28: add by m2/v0.4.2
KVNQAHJJHX KVNQAHJJHX
| URI | m2://inv/KVNQAHJJHX |
|---|---|
| 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.02790#RBPN (statement). In NB7HZ8W2K2/e1, lemma 7
History
- 2026-10-29: add by m2/v0.4.12
van Kirkman point KVNRR1MYG1
| URI | m2://inv/KVNRR1MYG1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2251843, van Kirkman point (unknown). Also MathWorld KirkmanPoints
History
- 2026-10-26: add by m2/dev
KVNXCVHK29 KVNXCVHK29
| URI | m2://inv/KVNXCVHK29 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/seq-arithgeom.ptx#exercise-4 (exercise). In Y91XFCEVHQ, exercise, section 3.2
History
- 2026-11-01: add by m2/v0.6.13
KVP17C1AQV KVP17C1AQV
| URI | m2://inv/KVP17C1AQV |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20911#DATQ (example). In FF3MV70E7Z/e1, example 3.7
History
- 2026-10-27: add by m2/v0.4.2
Penka Georgieva KVP1FMTVJ9
| URI | m2://inv/KVP1FMTVJ9 |
|---|---|
| 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#DDEL, Penka Georgieva (topic)
History
- 2026-11-02: add by m2/dev
KVP3CP8QXY KVP3CP8QXY
| URI | m2://inv/KVP3CP8QXY |
|---|---|
| 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 2610.19660#599U (definition). In YKVVY2BW1B/e1, definition 1.1
History
- 2026-10-28: add by m2/v0.4.2
Bounds for overlap and boundary terms KVP9T1NFEW
| URI | m2://inv/KVP9T1NFEW |
|---|---|
| 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.06372#UWZ0, Bounds for overlap and boundary terms (statement). In G3E1P350Z6/e1, proposition 5.4
History
- 2026-10-29: add by m2/v0.4.10
KVPY4E1AFK KVPY4E1AFK
| URI | m2://inv/KVPY4E1AFK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX, 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.38068#XV44 (statement). In 67GE5M1GGD/e1, theorem 5.20
History
- 2026-10-30: add by m2/v0.4.12
KVPYRZ2JBQ KVPYRZ2JBQ
| URI | m2://inv/KVPYRZ2JBQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 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.28282#ZZ5P (statement)
History
- 2026-11-01: add by m2/v0.6.15
Linear stability KVQ059Y5JN
| URI | m2://inv/KVQ059Y5JN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linear stability, Linear stability (definition). Also Wikidata Q17098945
History
- 2026-11-02: add by m2/dev
Taylor's theorem in complex analysis KVQ1QNSQC8
| URI | m2://inv/KVQ1QNSQC8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Taylor's theorem#3ESR, Taylor's theorem in complex analysis (statement)
History
- 2026-11-02: add by m2/dev
KVQ7A7TB7Z KVQ7A7TB7Z
| URI | m2://inv/KVQ7A7TB7Z |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 11-XX, 13-XX, 14-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26127#ET5U (example)
History
- 2026-11-01: add by m2/v0.6.15
The False Subtlety of the Four Syllogistic Figures KVQNSJ1KPK
| URI | m2://inv/KVQNSJ1KPK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia The False Subtlety of the Four Syllogistic Figures, The False Subtlety of the Four Syllogistic Figures (definition). Also Wikidata Q7733268
History
- 2026-11-02: add by m2/dev
Principle and derivation KVQPMZYK6N
| URI | m2://inv/KVQPMZYK6N |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lifting-line theory#W9UF, Principle and derivation (statement)
History
- 2026-11-02: add by m2/dev
KVQQNAV1PY KVQQNAV1PY
| URI | m2://inv/KVQQNAV1PY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30600#53EQ (statement). In BKGWH9ZN4J/e1, proposition 4.4
History
- 2026-10-31: add by m2/v0.5.6
vector KVQQY8X8BT
| URI | m2://inv/KVQQY8X8BT |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula index/2.1.1/vector, vector (concept). In 649HGZKE96, index, section 2.1.1
History
- 2026-11-01: add by m2/v0.6.13
Subobjects of a regular quotient KVQR7M2247
| URI | m2://inv/KVQR7M2247 |
|---|---|
| Kind | statement |
| 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#SFEH, Subobjects of a regular quotient (statement). In HX63A1PH1W/e1, proposition 6.37
History
- 2026-10-28: add by m2/v0.4.3
Distributed source coding KVQTQ0MXF2
| URI | m2://inv/KVQTQ0MXF2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Distributed source coding, Distributed source coding (definition). Also Wikidata Q5283181
History
- 2026-11-02: add by m2/dev
Applications KVQVZ7YFAE
| URI | m2://inv/KVQVZ7YFAE |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Three-gap theorem#01CO, Applications (example)
History
- 2026-11-02: add by m2/dev
Ménage problem KVQXVZ9ABA
| URI | m2://inv/KVQXVZ9ABA |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of permutation topics#W8F2, Ménage problem (problem)
History
- 2026-11-02: add by m2/dev
KVR5HS4DV0 KVR5HS4DV0
| URI | m2://inv/KVR5HS4DV0 |
|---|---|
| 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.14450#B9HD (statement). In ZHTGQT07PE/e1, lemma 4.15
History
- 2026-10-28: add by m2/v0.4.2
positive set theory KVREAGX0JV
| URI | m2://inv/KVREAGX0JV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#4GG1, positive set theory (definition)
History
- 2026-11-02: add by m2/dev
Prime ideals in the Gaussian integers KVRJA5Y0NT
| URI | m2://inv/KVRJA5Y0NT |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17137#G6D0, Prime ideals in the Gaussian integers (example). In GKHSE92M91/e1, example 19
History
- 2026-10-28: add by m2/v0.4.2
Isogonal polytope KVRNVD0TYX
| URI | m2://inv/KVRNVD0TYX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Isogonal figure#0LXT, Isogonal polytope (unknown)
History
- 2026-11-02: add by m2/dev
KVRVDRF4GX KVRVDRF4GX
| URI | m2://inv/KVRVDRF4GX |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ryser's conjecture on circulant Hadamard matrices#T343 (problem)
History
- 2026-11-02: add by m2/dev
KVRX2Y22QS KVRX2Y22QS
| URI | m2://inv/KVRX2Y22QS |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09900#WV66 (definition). In ATSYBWEMMP/e1, definition 3.2
History
- 2026-10-29: add by m2/v0.4.10
368 (number) KVS3X2785B
| URI | m2://inv/KVS3X2785B |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 300 (number)#O747, 368 (number) (unknown)
History
- 2026-11-02: add by m2/dev
Big Bang KVS88S4MMN
| URI | m2://inv/KVS88S4MMN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of common misconceptions about science, technology, and mathematics#O1RJ, Big Bang (definition)
History
- 2026-11-02: add by m2/dev
KVSBA07V11 KVSBA07V11
| URI | m2://inv/KVSBA07V11 |
|---|---|
| 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#FAN2 (statement). In 6V5HP8W1ZG/e1, lemma 19
History
- 2026-10-28: add by m2/v0.4.2
Roland Rust KVSYB21ME3
| URI | m2://inv/KVSYB21ME3 |
|---|---|
| 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#Z7DD, Roland Rust (unknown)
History
- 2026-11-02: add by m2/dev
sufficient condition KVT2DMYSAF
| URI | m2://inv/KVT2DMYSAF |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi index/1.2.2/sufficient-condition, sufficient condition (concept). In Y91XFCEVHQ, index, section 1.2.2
History
- 2026-11-01: add by m2/v0.6.13
Exact run-threshold sensitivity KVT5T73D1K
| URI | m2://inv/KVT5T73D1K |
|---|---|
| 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.17006#1PDJ, Exact run-threshold sensitivity (statement). In YY81ZEJ82P/e1, theorem 8.2
History
- 2026-10-28: add by m2/v0.4.2
Example KVTC6GDKR3
| URI | m2://inv/KVTC6GDKR3 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Percentile rank#W0SK, Example (example)
History
- 2026-11-02: add by m2/dev
KVTHT1QE5V KVTHT1QE5V
| URI | m2://inv/KVTHT1QE5V |
|---|---|
| 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.22090#JPGP (statement). In NKJWGF050C/e1, lemma 3.7
History
- 2026-10-27: add by m2/v0.4.0
Computation KVTVJSKRWR
| URI | m2://inv/KVTVJSKRWR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Square root#HHC1, Computation (definition)
History
- 2026-11-02: add by m2/dev
The weak order on permutations KVV71PXXAW
| URI | m2://inv/KVV71PXXAW |
|---|---|
| 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 2609.20656#6ZLA, The weak order on permutations (example)
History
- 2026-11-02: add by m2/v0.6.18
KVVJ6Z14BE KVVJ6Z14BE
| URI | m2://inv/KVVJ6Z14BE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11847#XFN4 (statement). In MP2YM69XW8/e1, corollary 1
History
- 2026-10-28: add by m2/v0.4.3
Herbrand base KVVXTMXJBY
| URI | m2://inv/KVVXTMXJBY |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q9167528, Herbrand base (concept). Also MathWorld HerbrandBase
History
- 2026-10-26: add by m2/dev
KVW35PVPGM KVW35PVPGM
| URI | m2://inv/KVW35PVPGM |
|---|---|
| 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.07299#KOSJ (statement). In M70KP0BZ99/e1, theorem 4.2
History
- 2026-10-29: add by m2/v0.4.10
KVW5KNZ3KV KVW5KNZ3KV
| URI | m2://inv/KVW5KNZ3KV |
|---|---|
| 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.10337#76HC (statement). In RBBF0XNZ5E/e1, lemma 18
History
- 2026-10-27: add by m2/v0.3.5
KVW78W8NXJ KVW78W8NXJ
| URI | m2://inv/KVW78W8NXJ |
|---|---|
| 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.11082#CZBS (statement). In GFPFFN0BXV/e1, lemma 28
History
- 2026-10-28: add by m2/v0.4.3
KVWAHWTXK3 KVWAHWTXK3
| URI | m2://inv/KVWAHWTXK3 |
|---|---|
| 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.30097#4YRL (statement)
History
- 2026-11-01: add by m2/v0.6.15
Statement KVWD9JM2SP
| URI | m2://inv/KVWD9JM2SP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Local criterion for flatness#HTGD, Statement (statement)
History
- 2026-11-02: add by m2/dev
KVWQFX76F1 KVWQFX76F1
| URI | m2://inv/KVWQFX76F1 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_polya_burnside.ptx#proof-2 (proof). In QKM9DD2H56, proof, section 15.3
History
- 2026-11-01: add by m2/v0.6.13
KVWQP11CDR KVWQP11CDR
| URI | m2://inv/KVWQP11CDR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20801#XVD1 (statement). In A1GWWGRXPA/e1, theorem 1.13
History
- 2026-10-27: add by m2/v0.4.2
KVWSRQG69B KVWSRQG69B
| URI | m2://inv/KVWSRQG69B |
|---|---|
| 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 1707.06795#ZH0S (statement). In 32MMSEVHYN/e1, lemma 2.9
History
- 2026-10-27: add by m2/v0.3.5
Residual certificate KVWVKFHCY8
| URI | m2://inv/KVWVKFHCY8 |
|---|---|
| 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.03633#5VCC, Residual certificate (statement). In X3E4D61X4V/e1, lemma A.1
History
- 2026-10-29: add by m2/v0.4.12
Third arcsine law KVWVR1HKHZ
| URI | m2://inv/KVWVR1HKHZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wiener process#YD80, Third arcsine law (statement)
History
- 2026-11-02: add by m2/dev
KVWXAVKJZ1 KVWXAVKJZ1
| URI | m2://inv/KVWXAVKJZ1 |
|---|---|
| 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 2312.05005#UFM3 (statement). In SMJMAQ2S3J/e1, corollary 4
History
- 2026-10-27: add by m2/v0.4.0
KVX0BVJG2S KVX0BVJG2S
| URI | m2://inv/KVX0BVJG2S |
|---|---|
| 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.32599#VU0Z (statement). In E1Y93JNBJA/e1, lemma 5.2
History
- 2026-10-31: add by m2/v0.5.6
KVX1T6B7AP KVX1T6B7AP
| URI | m2://inv/KVX1T6B7AP |
|---|---|
| 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.27823#S4V5 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Determinantal capacity and slope semistability KVX49SW1GS
| URI | m2://inv/KVX49SW1GS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24078#INJD, Determinantal capacity and slope semistability (statement)
History
- 2026-11-02: add by m2/v0.6.17
Plotting KVXAJ1AR8Q
| URI | m2://inv/KVXAJ1AR8Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of graphical methods#JMHZ, Plotting (definition)
History
- 2026-11-02: add by m2/dev
KVXASX0033 KVXASX0033
| URI | m2://inv/KVXASX0033 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13291#QTUE (statement). In D16PSAVVWV/e1, theorem C
History
- 2026-10-28: add by m2/v0.4.2
Applications KVXK3M5W56
| URI | m2://inv/KVXK3M5W56 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia AM–GM inequality#7WT4, Applications (example)
History
- 2026-11-02: add by m2/dev
Weak factorization system KVXMVQR8YB
| URI | m2://inv/KVXMVQR8YB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Factorization system#6YMP, Weak factorization system (unknown)
History
- 2026-11-02: add by m2/dev
Enriques–Kodaira classification KVXRXAV3YF
| URI | m2://inv/KVXRXAV3YF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic geometry topics#DQJV, Enriques–Kodaira classification (definition)
History
- 2026-11-02: add by m2/dev
Synchronous/asynchronous equivalence KVY002V08R
| URI | m2://inv/KVY002V08R |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15824#YH2H, Synchronous/asynchronous equivalence (unknown). In GDZXR87FJV/e1, unknown 1
History
- 2026-10-28: add by m2/v0.4.2
Best and worst cases KVY6W1DY9Q
| URI | m2://inv/KVY6W1DY9Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computability and complexity topics#MF6S, Best and worst cases (definition)
- wikipedia: Wikipedia List of algorithm general topics#9F4V, Best and worst cases (definition)
History
- 2026-11-02: add by m2/dev
KVY7BQHJHN KVY7BQHJHN
| URI | m2://inv/KVY7BQHJHN |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises4-5.xml#exercise-8 (exercise). In 649HGZKE96, exercise, section 4.5
History
- 2026-11-01: add by m2/v0.6.13
KVYG35MNDE KVYG35MNDE
| URI | m2://inv/KVYG35MNDE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1903.11969#9B90 (statement). In 9N4EV3GRM7/e1, theorem 3.5
History
- 2026-10-27: add by m2/v0.3.5
Joseph S. B. Mitchell KVYKW9JAJR
| URI | m2://inv/KVYKW9JAJR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#XWDA, Joseph S. B. Mitchell (unknown)
History
- 2026-11-02: add by m2/dev
Theorem KVYPB23CC9
| URI | m2://inv/KVYPB23CC9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Self-adjoint operator#30YX, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Pointwise stability KVYQTN0FXP
| URI | m2://inv/KVYQTN0FXP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05652#QKOD, Pointwise stability (statement). In 8BNPFYQDQX/e1, corollary 6.5
History
- 2026-10-29: add by m2/v0.4.10
KVYZVHTK0J KVYZVHTK0J
| URI | m2://inv/KVYZVHTK0J |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section1-1.xml#ula-preview-1-1 (exercise). In 649HGZKE96, activity, section 1.1.1
History
- 2026-11-01: add by m2/v0.6.13
Properties KVZ0V17RAD
| URI | m2://inv/KVZ0V17RAD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ordinary least squares#I9IB, Properties (statement)
History
- 2026-11-02: add by m2/dev
KVZ3PKG6DV KVZ3PKG6DV
| URI | m2://inv/KVZ3PKG6DV |
|---|---|
| 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.13833#675I (statement). In VD4JP4HVBX/e1, proposition 6.15
History
- 2026-10-28: add by m2/v0.4.2
Fermat prime KVZ51DSPMS
| URI | m2://inv/KVZ51DSPMS |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of number theory topics#YNSZ, Fermat prime (conjecture)
History
- 2026-11-02: add by m2/dev
KVZDTY3VW5 KVZDTY3VW5
| URI | m2://inv/KVZDTY3VW5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2411.17227#397O (statement). In DDNP38CHQJ/e1, lemma 7.4
History
- 2026-10-27: add by m2/v0.3.5
KVZGR58DS9 KVZGR58DS9
| URI | m2://inv/KVZGR58DS9 |
|---|---|
| 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.21668#0QSQ (statement)
History
- 2026-11-02: add by m2/v0.6.18
KVZMPD9AES KVZMPD9AES
| URI | m2://inv/KVZMPD9AES |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04498#9W24 (statement). In HHF08X70P6/e1, corollary 7.6
History
- 2026-10-29: add by m2/v0.4.12