Inventory rows KN
The cards of the rows of the inventory whose ids start with KN. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
The second counit–unit equation KN0225S5NP
| URI | m2://inv/KN0225S5NP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Adjoint functors#JR4N, The second counit–unit equation (definition)
History
- 2026-11-02: add by m2/dev
Miscellaneous Mathematical Symbols-B KN09PJB39H
| URI | m2://inv/KN09PJB39H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Miscellaneous Mathematical Symbols-B, Miscellaneous Mathematical Symbols-B (definition). Also Wikidata Q2494130
History
- 2026-11-02: add by m2/dev
Lyapunov–Malkin theorem KN0G8HNDT6
| URI | m2://inv/KN0G8HNDT6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#EOHB, Lyapunov–Malkin theorem (unknown)
History
- 2026-11-02: add by m2/dev
KN0GS29E7H KN0GS29E7H
| URI | m2://inv/KN0GS29E7H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 46-XX, 47-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.10377#MRI9 (statement). In 6HP7BR9WZM/e1, lemma 3.11
History
- 2026-10-29: add by m2/v0.4.10
KN0HDZ7622 KN0HDZ7622
| URI | m2://inv/KN0HDZ7622 |
|---|---|
| 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.06544#ALGV (statement). In VCRB27RMN6/e1, lemma 12.1
History
- 2026-10-29: add by m2/v0.4.10
Initially open valve KN0NWV7XEM
| URI | m2://inv/KN0NWV7XEM |
|---|---|
| Kind | example |
| 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.18242#4383, Initially open valve (example). In VVC2FHQZZR/e1, example 6.1
History
- 2026-10-28: add by m2/v0.4.2
KN0RYX41ED KN0RYX41ED
| URI | m2://inv/KN0RYX41ED |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31604#2JMS (statement). In GSN5YTQS2K/e1, lemma 4.7
History
- 2026-10-31: add by m2/v0.5.6
Md5crypt KN0T6WCM1M
| URI | m2://inv/KN0T6WCM1M |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Crypt (C)#T16H, Md5crypt (unknown)
History
- 2026-11-02: add by m2/dev
Star polygon KN0YEYN4A9
| URI | m2://inv/KN0YEYN4A9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#5WE4, Star polygon (definition)
- wikipedia: Wikipedia List of mathematical shapes#C1Z6, Star polygon (definition)
- wikipedia: Wikipedia List of mathematical shapes#D2WU, Star polygon (definition)
History
- 2026-11-02: add by m2/dev
KN0ZTNVRWK KN0ZTNVRWK
| URI | m2://inv/KN0ZTNVRWK |
|---|---|
| Kind | example |
| 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#LH8W (example)
History
- 2026-11-02: add by m2/v0.6.18
KN10ZQ2503 KN10ZQ2503
| URI | m2://inv/KN10ZQ2503 |
|---|---|
| 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.33015#CV08 (definition). In W6Y6NPK648/e1, definition 3.3
History
- 2026-10-27: add by m2/v0.3.5
union KN144CKMBS
| URI | m2://inv/KN144CKMBS |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/B.2.1/union, union (concept). In QKM9DD2H56, index, section B.2.1
History
- 2026-11-01: add by m2/v0.6.13
KN15HC2EQD KN15HC2EQD
| URI | m2://inv/KN15HC2EQD |
|---|---|
| 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 2201.04174#F6A8 (statement). In NVTHDNQQ4Q/e1, lemma 5.5
History
- 2026-10-27: add by m2/v0.3.5
Wendelin Werner KN19KKM3FN
| URI | m2://inv/KN19KKM3FN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#O3HF, Wendelin Werner (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#49GX, Wendelin Werner (topic)
History
- 2026-11-02: add by m2/dev
Formal statement KN1E40FRA2
| URI | m2://inv/KN1E40FRA2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Axiom of dependent choice#JLCG, Formal statement (statement)
History
- 2026-11-02: add by m2/dev
KN1FSN0PJG KN1FSN0PJG
| URI | m2://inv/KN1FSN0PJG |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2206.11809#QRV9 (example). In YQXYSNW78V/e1, example 18
History
- 2026-10-27: add by m2/v0.3.5
Hausdorff density KN1J4ZM2PH
| URI | m2://inv/KN1J4ZM2PH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hausdorff density, Hausdorff density (definition). Also Wikidata Q17021390
History
- 2026-11-02: add by m2/dev
Definitions KN23HSB3DE
| URI | m2://inv/KN23HSB3DE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hurwitz space#EO2O, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Philippe Toint KN24PHAFT6
| URI | m2://inv/KN24PHAFT6 |
|---|---|
| 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#DAW9, Philippe Toint (unknown)
History
- 2026-11-02: add by m2/dev
Markov blanket KN28ZXB4PN
| URI | m2://inv/KN28ZXB4PN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Markov blanket, Markov blanket (definition). Also Wikidata Q3001792
History
- 2026-11-02: add by m2/dev
KN2AYP2SPS KN2AYP2SPS
| URI | m2://inv/KN2AYP2SPS |
|---|---|
| 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.20421#ATI9 (statement). In Q4R7J8JE3F/e1, lemma 2.11
History
- 2026-10-27: add by m2/v0.4.2
Euclidean geometry KN2E8V2HDR
| URI | m2://inv/KN2E8V2HDR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Euclidean geometry KRZD96GSVC |
Mentions
- wikidata: Wikidata Q162886, Euclidean geometry (topic). Also MathWorld EuclideanGeometry, ProofWiki Definition:Euclidean_Geometry
- wikipedia: Wikipedia Euclidean geometry, Euclidean geometry (definition). Also Wikidata Q162886
History
- 2026-10-26: add by m2/dev
Rectilinear Steiner tree KN2FRKFBCC
| URI | m2://inv/KN2FRKFBCC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rectilinear Steiner tree, Rectilinear Steiner tree (definition). Also Wikidata Q7303182
History
- 2026-11-02: add by m2/dev
Dixon elliptic functions KN2PBACX2H
| URI | m2://inv/KN2PBACX2H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dixon elliptic functions, Dixon elliptic functions (definition). Also Wikidata Q28402589
History
- 2026-11-02: add by m2/dev
KN2S7WDM8Z KN2S7WDM8Z
| URI | m2://inv/KN2S7WDM8Z |
|---|---|
| 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.12736#HU5S (statement). In 5350Q52F6P/e1, lemma 3.4
History
- 2026-10-28: add by m2/v0.4.2
KN2TXD9TYN KN2TXD9TYN
| URI | m2://inv/KN2TXD9TYN |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/ContinuousFunctions.tex#problem-6 (exercise). In P1C114YBXG, problem, section 1
History
- 2026-11-01: add by m2/v0.6.13
Construction KN2WT1Q9HK
| URI | m2://inv/KN2WT1Q9HK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Isotropy representation#WDXC, Construction (definition)
History
- 2026-11-02: add by m2/dev
Variants KN2XCQVBTX
| URI | m2://inv/KN2XCQVBTX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Permuted congruential generator#9U9S, Variants (statement)
History
- 2026-11-02: add by m2/dev
KN2Z41XWQJ KN2Z41XWQJ
| URI | m2://inv/KN2Z41XWQJ |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Square-difference-free set#YUNB (problem)
History
- 2026-11-02: add by m2/dev
Thomas Branker KN38C0V46Q
| URI | m2://inv/KN38C0V46Q |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thomas Branker, Thomas Branker (topic). Also Wikidata Q7787842
History
- 2026-11-02: add by m2/dev
Applications KN3EQ0XXVJ
| URI | m2://inv/KN3EQ0XXVJ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inverse problem#MMLS, Applications (example)
History
- 2026-11-02: add by m2/dev
KN3G1J83EB KN3G1J83EB
| URI | m2://inv/KN3G1J83EB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31289#OND9 (statement). In CPDM7J0CC0/e1, proposition 2.6
History
- 2026-10-31: add by m2/v0.5.6
Transcendental number theory KN3GX6MAEY
| URI | m2://inv/KN3GX6MAEY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#W90H, Transcendental number theory (definition)
History
- 2026-11-02: add by m2/dev
KN3RDK1BCM KN3RDK1BCM
| URI | m2://inv/KN3RDK1BCM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0910.5574#43Q2 (statement). In 2TJRBRKYAY/e1, proposition 4.4
History
- 2026-10-27: add by m2/v0.3.5
KN41Q81N0D KN41Q81N0D
| URI | m2://inv/KN41Q81N0D |
|---|---|
| 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.04876#GXWB (statement). In 2TNAKVC0YP/e1, proposition 4.10
History
- 2026-10-29: add by m2/v0.4.12
Properties KN43B1KW2V
| URI | m2://inv/KN43B1KW2V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia *-autonomous category#NYC2, Properties (statement)
History
- 2026-11-02: add by m2/dev
KN49XG7W0Y KN49XG7W0Y
| URI | m2://inv/KN49XG7W0Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28993#8B09 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Trudinger's theorem KN4DJY2NJE
| URI | m2://inv/KN4DJY2NJE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#8NN3, Trudinger's theorem (statement)
History
- 2026-11-02: add by m2/dev
KN4FRG2A7G KN4FRG2A7G
| URI | m2://inv/KN4FRG2A7G |
|---|---|
| Kind | statement |
| 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.12326#68KY (statement). In 9S7HGSEX6Q/e1, corollary 5.10
History
- 2026-10-28: add by m2/v0.4.2
Large-window bootstrap KN4H1NQMYM
| URI | m2://inv/KN4H1NQMYM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29147#U3IE, Large-window bootstrap (statement)
History
- 2026-11-01: add by m2/v0.6.15
Nguyen, Scott, \& Seymour KN4N1MKNMC
| URI | m2://inv/KN4N1MKNMC |
|---|---|
| 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.21895#1MVE, Nguyen, Scott, \& Seymour (statement)
History
- 2026-11-02: add by m2/v0.6.17
KN4RZDYMAK KN4RZDYMAK
| URI | m2://inv/KN4RZDYMAK |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14240#4T4V (definition). In HGQCBDDMQJ/e1, definition 2.13
History
- 2026-10-28: add by m2/v0.4.2
Theorem KN4WT136RD
| URI | m2://inv/KN4WT136RD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gabriel–Popescu theorem#8UEU, Theorem (statement)
History
- 2026-11-02: add by m2/dev
upward Löwenheim–Skolem theorem KN4Y2Y9XQY
| URI | m2://inv/KN4Y2Y9XQY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#P77M, upward Löwenheim–Skolem theorem (definition)
History
- 2026-11-02: add by m2/dev
Definition KN51PYNPP0
| URI | m2://inv/KN51PYNPP0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Locally finite measure#YBTY, Definition (definition)
History
- 2026-11-02: add by m2/dev
Misrak Gezmu KN53BE9PAQ
| URI | m2://inv/KN53BE9PAQ |
|---|---|
| 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#UAJ0, Misrak Gezmu (topic)
History
- 2026-11-02: add by m2/dev
KN53Q8F28G KN53Q8F28G
| URI | m2://inv/KN53Q8F28G |
|---|---|
| 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.16123#3L1O (statement). In 6VR4TY5BGV/e1, lemma 2.4
History
- 2026-10-28: add by m2/v0.4.2
Local error bound KN57T3NQ89
| URI | m2://inv/KN57T3NQ89 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30451#V5CE, Local error bound (statement). In 8YSTFDXWVC/e1, theorem 1
History
- 2026-10-31: add by m2/v0.5.6
Fay–Herriot model KN58V73CY5
| URI | m2://inv/KN58V73CY5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fay–Herriot model, Fay–Herriot model (definition). Also Wikidata Q104843743
History
- 2026-11-02: add by m2/dev
KN5A1XHN3K KN5A1XHN3K
| URI | m2://inv/KN5A1XHN3K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18078#Y4GX (statement). In YVK8EFSYNJ/e1, lemma 6.3
History
- 2026-10-28: add by m2/v0.4.2
Nielsen–Thurston classification KN5F98KN77
| URI | m2://inv/KN5F98KN77 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nielsen–Thurston classification, Nielsen–Thurston classification (definition). Also Wikidata Q7031628
History
- 2026-11-02: add by m2/dev
KN5FVP4XA5 KN5FVP4XA5
| URI | m2://inv/KN5FVP4XA5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39706#FTV1 (statement). In 79Y8JJMKP4/e1, lemma 6.1
History
- 2026-10-30: add by m2/v0.4.12
Conventions KN5H5Z0SQR
| URI | m2://inv/KN5H5Z0SQR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gaussian ensemble#NI5S, Conventions (definition)
History
- 2026-11-02: add by m2/dev
longitude KN5K0P8F3C
| URI | m2://inv/KN5K0P8F3C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q36477, longitude (definition). Also MathWorld Longitude, ProofWiki Definition:Longitude
History
- 2026-10-26: add by m2/dev
KN5MKWT40A KN5MKWT40A
| URI | m2://inv/KN5MKWT40A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/set-theory/zfc.tex#definition-1 (definition). In RZP28ERRZV, definition, section 93.5
History
- 2026-11-01: add by m2/v0.6.13
KN5PB1544Q KN5PB1544Q
| URI | m2://inv/KN5PB1544Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03424#WLYS (statement). In Q6HRJP4AWA/e1, theorem 9.1
History
- 2026-10-29: add by m2/v0.4.12
Maximal bounded-measurement variance KN5V4AGAAE
| URI | m2://inv/KN5V4AGAAE |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27752#ZQDT, Maximal bounded-measurement variance (definition)
History
- 2026-11-01: add by m2/v0.6.15
Ethical issues in machine learning KN64N8B7G3
| URI | m2://inv/KN64N8B7G3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Machine learning#3DUV, Ethical issues in machine learning (unknown)
History
- 2026-11-02: add by m2/dev
KN6B6KCVYY KN6B6KCVYY
| URI | m2://inv/KN6B6KCVYY |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-systems.tex#exercise-12 (exercise). In E9HS8K3A52, exercise, section 10.1.6
History
- 2026-11-01: add by m2/v0.6.13
KN6CBYE8TZ KN6CBYE8TZ
| URI | m2://inv/KN6CBYE8TZ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00909#RDAJ (definition). In Z4TD36VFPW/e1, definition 1.10
History
- 2026-10-29: add by m2/v0.4.12
Cancelling out KN6FHHBTJ0
| URI | m2://inv/KN6FHHBTJ0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cancelling out, Cancelling out (definition). Also Wikidata Q48968959
History
- 2026-11-02: add by m2/dev
Greece KN6Q23EQVG
| URI | m2://inv/KN6Q23EQVG |
|---|---|
| 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 Q41, Greece (unknown). Also ProofWiki Mathematician:Mathematicians/Sorted_By_Nation/Greece
History
- 2026-10-26: add by m2/dev
conservative vector field KN6RAA5MSH
| URI | m2://inv/KN6RAA5MSH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Conservative vector field 05R9NF2J49 |
Mentions
- wikidata: Wikidata Q1588205, conservative vector field (unknown). Also MathWorld ConservativeField
- wikipedia: Wikipedia Conservative vector field, Conservative vector field (definition). Also Wikidata Q1588205
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
KN754MEVF0 KN754MEVF0
| URI | m2://inv/KN754MEVF0 |
|---|---|
| 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.09882#CEXU (statement). In 7XV6T4N79V/e1, lemma D.2
History
- 2026-10-29: add by m2/v0.4.10
KN77W9H5QP KN77W9H5QP
| URI | m2://inv/KN77W9H5QP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08633#ECIS (statement). In 7MV7RGDVXF/e1, theorem 5.0.1
History
- 2026-10-29: add by m2/v0.4.10
577 (number) KN7B4MC8FH
| URI | m2://inv/KN7B4MC8FH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 500 (number)#VT5R, 577 (number) (unknown)
History
- 2026-11-02: add by m2/dev
auxiliary field KN7E1VVNQG
| URI | m2://inv/KN7E1VVNQG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4827307, auxiliary field (unknown). Also nLab auxiliary field
History
- 2026-10-26: add by m2/dev
Properties of Hausdorff dimension KN7MVREFQS
| URI | m2://inv/KN7MVREFQS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hausdorff dimension#VEML, Properties of Hausdorff dimension (statement)
History
- 2026-11-02: add by m2/dev
GraphPad Prism KN7P51D6CX
| URI | m2://inv/KN7P51D6CX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#8S8M, GraphPad Prism (definition)
History
- 2026-11-02: add by m2/dev
Induction puzzles KN7Q5PK92B
| URI | m2://inv/KN7Q5PK92B |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Induction puzzles, Induction puzzles (problem). Also Wikidata Q6027276
History
- 2026-11-02: add by m2/dev
KN7TKC7TKT KN7TKC7TKT
| URI | m2://inv/KN7TKC7TKT |
|---|---|
| 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 2106.01660#NUT2 (statement). In DY520CF58X/e1, theorem 3
History
- 2026-10-27: add by m2/v0.3.5
KN7W99TVVR KN7W99TVVR
| URI | m2://inv/KN7W99TVVR |
|---|---|
| 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.16705#TUON (statement). In B48YQVGAF5/e1, lemma 4.4
History
- 2026-10-28: add by m2/v0.4.2
formal scheme KN7WX165GC
| URI | m2://inv/KN7WX165GC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5469967, formal scheme (unknown). Also nLab formal scheme
- wikipedia: Wikipedia Formal scheme, Formal scheme (definition). Also Wikidata Q5469967
History
- 2026-10-26: add by m2/dev
KN80PB8R4C KN80PB8R4C
| URI | m2://inv/KN80PB8R4C |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00105#W1SJ (definition). In EZXTEXR47M/e1, definition 2.3
History
- 2026-10-30: add by m2/v0.4.12
KN8A1K8ZKZ KN8A1K8ZKZ
| URI | m2://inv/KN8A1K8ZKZ |
|---|---|
| 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.20225#H0OP (example)
History
- 2026-11-02: add by m2/v0.6.18
Rajendra Bhatia KN8NT46KG6
| URI | m2://inv/KN8NT46KG6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Indian mathematicians#4HMG, Rajendra Bhatia (topic)
History
- 2026-11-02: add by m2/dev
List of mathematical logic topics KN8SHYJ7XK
| URI | m2://inv/KN8SHYJ7XK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical logic topics, List of mathematical logic topics (topic). Also Wikidata Q6627326
History
- 2026-11-02: add by m2/dev
Gaussian-tail bounds for the selected radii KN8ZPAB87J
| URI | m2://inv/KN8ZPAB87J |
|---|---|
| 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.05333#9VCU, Gaussian-tail bounds for the selected radii (statement). In N37WKFTR7Q/e1, lemma G.7
History
- 2026-10-29: add by m2/v0.4.10
KN90M0435M KN90M0435M
| URI | m2://inv/KN90M0435M |
|---|---|
| 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.20740#K8UG (statement)
History
- 2026-11-02: add by m2/v0.6.18
KN92BTTRVW KN92BTTRVW
| URI | m2://inv/KN92BTTRVW |
|---|---|
| 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.12483#AUIX (statement). In 159250CY6S/e1, corollary 2.3
History
- 2026-10-28: add by m2/v0.4.2
Explicit linear-Gaussian garbling KN96SEHB8D
| URI | m2://inv/KN96SEHB8D |
|---|---|
| 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.13464#K63O, Explicit linear-Gaussian garbling (statement). In P40KK40XFP/e1, lemma 3
History
- 2026-10-28: add by m2/v0.4.2
Serre's conjecture II KN9H4T82EH
| URI | m2://inv/KN9H4T82EH |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#ZZHC, Serre's conjecture II (conjecture)
History
- 2026-11-02: add by m2/dev
KN9J4A5ZCD KN9J4A5ZCD
| URI | m2://inv/KN9J4A5ZCD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37606#VJ2O (statement). In WNFW6GY38C/e1, corollary 5.6
History
- 2026-10-30: add by m2/v0.4.12
KN9JGNJ26Q KN9JGNJ26Q
| URI | m2://inv/KN9JGNJ26Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24610#G3Z9 (statement)
History
- 2026-11-01: add by m2/v0.6.15
KN9Q7V5T38 KN9Q7V5T38
| URI | m2://inv/KN9Q7V5T38 |
|---|---|
| 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#ITK1 (statement). In 32MMSEVHYN/e1, corollary 2.17
History
- 2026-10-27: add by m2/v0.3.5
Eisenstein–Kronecker number KN9WV8X777
| URI | m2://inv/KN9WV8X777 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eisenstein–Kronecker number, Eisenstein–Kronecker number (definition). Also Wikidata Q5349961
History
- 2026-11-02: add by m2/dev
KN9XMHB3F4 KN9XMHB3F4
| URI | m2://inv/KN9XMHB3F4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-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.28781#20NG (statement)
History
- 2026-11-01: add by m2/v0.6.15
KN9ZW473VE KN9ZW473VE
| URI | m2://inv/KN9ZW473VE |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2305.10921#QP03 (example). In PD5PJ0EYG6/e1, example 2.7
History
- 2026-10-27: add by m2/v0.3.5
Design family is a Riesz basis KNA1KED8FT
| URI | m2://inv/KNA1KED8FT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22384#S78A, Design family is a Riesz basis (statement)
History
- 2026-11-02: add by m2/v0.6.17
Applications KNA2PD2AG5
| URI | m2://inv/KNA2PD2AG5 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jacquet module#0ST1, Applications (example)
History
- 2026-11-02: add by m2/dev
Properties KNACE4DEJQ
| URI | m2://inv/KNACE4DEJQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Casson invariant#LOW2, Properties (statement)
History
- 2026-11-02: add by m2/dev
KNACQ6FABH KNACQ6FABH
| URI | m2://inv/KNACQ6FABH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35191#6TV4 (statement). In W9Z6S1PDTP/e1, lemma 3.2
History
- 2026-10-30: add by m2/v0.4.12
KNAJRXRZC8 KNAJRXRZC8
| URI | m2://inv/KNAJRXRZC8 |
|---|---|
| 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 2606.05329#MNF5 (statement). In DZV8X6MNCH/e1, corollary 1
History
- 2026-10-27: add by m2/v0.4.0
Samuel Gerson KNAQYKD8PT
| URI | m2://inv/KNAQYKD8PT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#6ZHY, Samuel Gerson (unknown)
History
- 2026-11-02: add by m2/dev
Special cases KNB09XXD95
| URI | m2://inv/KNB09XXD95 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Brahmagupta polynomials#O933, Special cases (statement)
History
- 2026-11-02: add by m2/dev
Non-orientable genus KNB0TXVYVG
| URI | m2://inv/KNB0TXVYVG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Genus (mathematics)#J8O7, Non-orientable genus (unknown)
History
- 2026-11-02: add by m2/dev
Ziggurat algorithm KNB8GQ3GYV
| URI | m2://inv/KNB8GQ3GYV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ziggurat algorithm, Ziggurat algorithm (definition). Also Wikidata Q2894386
History
- 2026-11-02: add by m2/dev
KNBBSRXB58 KNBBSRXB58
| URI | m2://inv/KNBBSRXB58 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 30-XX, 32-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28814#TZTQ (statement)
History
- 2026-11-01: add by m2/v0.6.15
witness, to the truth of a proposition KNBF8KJQSD
| URI | m2://inv/KNBF8KJQSD |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/A.11/witness-to-the-truth-of-a-proposition, witness, to the truth of a proposition (concept). In N54F33XE07, index, section A.11
History
- 2026-11-01: add by m2/v0.6.13
Ranks of the differentials KNBFWDJJ2Y
| URI | m2://inv/KNBFWDJJ2Y |
|---|---|
| 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.21093#ZYT6, Ranks of the differentials (statement). In TBFPBPQV3G/e1, corollary 3.8
History
- 2026-10-27: add by m2/v0.4.2
G. I. Taylor KNBG0S3QH5
| URI | m2://inv/KNBG0S3QH5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia G. I. Taylor, G. I. Taylor (topic). Also Wikidata Q699541
History
- 2026-11-02: add by m2/dev
KNBG2KQZQA KNBG2KQZQA
| URI | m2://inv/KNBG2KQZQA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30675#M4OI (statement). In RQ0K0A6PQA/e1, lemma 4.4
History
- 2026-10-31: add by m2/v0.5.6
Banach–Mazur game KNBJW06S7G
| URI | m2://inv/KNBJW06S7G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Banach–Mazur game, Banach–Mazur game (definition). Also Wikidata Q3459695
History
- 2026-11-02: add by m2/dev
KNBMEAP0K0 KNBMEAP0K0
| URI | m2://inv/KNBMEAP0K0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2111.08123#HV4F (statement). In TAAB0QAKAG/e1, lemma 7.2
History
- 2026-10-27: add by m2/v0.3.5
KNBMX776PQ KNBMX776PQ
| URI | m2://inv/KNBMX776PQ |
|---|---|
| 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.29943#4JLI (statement)
History
- 2026-11-01: add by m2/v0.6.15
KNBN7F8B01 KNBN7F8B01
| URI | m2://inv/KNBN7F8B01 |
|---|---|
| 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.21937#KKQ6 (statement)
History
- 2026-11-02: add by m2/v0.6.17
KNBV20TVY2 KNBV20TVY2
| URI | m2://inv/KNBV20TVY2 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0003117#PHFT (definition). In WD2NCBV9F0/e1, definition 14.4
History
- 2026-10-27: add by m2/v0.3.5
direct proportionality KNBVD1K5M3
| URI | m2://inv/KNBVD1K5M3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q21043994, direct proportionality (unknown). Also MathWorld DirectlyProportional
History
- 2026-10-26: add by m2/dev
KNC13A26BV KNC13A26BV
| URI | m2://inv/KNC13A26BV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2508.16102#2SEC (statement). In 55QFMZQ5HM/e1, lemma 2.11
History
- 2026-10-27: add by m2/v0.3.6
KNC8F8CWTN KNC8F8CWTN
| URI | m2://inv/KNC8F8CWTN |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/calculus/differentiate.tex#problem-7 (exercise). In RZP28ERRZV, problem, section 30.6
History
- 2026-11-01: add by m2/v0.6.13
Sergei Sobolev KNCBAPSQN2
| URI | m2://inv/KNCBAPSQN2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sergei Sobolev, Sergei Sobolev (topic). Also Wikidata Q323337
History
- 2026-11-02: add by m2/dev
Dennis Arnold Hejhal KNCDKMJDDR
| URI | m2://inv/KNCDKMJDDR |
|---|---|
| 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#WB7M, Dennis Arnold Hejhal (topic)
History
- 2026-11-02: add by m2/dev
KNCKYXVJJH KNCKYXVJJH
| URI | m2://inv/KNCKYXVJJH |
|---|---|
| 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 2610.05259#WT8D (statement). In X1J5HKPS3R/e1, theorem 3.8
History
- 2026-10-29: add by m2/v0.4.10
Theorem KNCN09DF8N
| URI | m2://inv/KNCN09DF8N |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gelfand–Naimark theorem#V7LT, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Oriented projective geometry KNCQJ905PN
| URI | m2://inv/KNCQJ905PN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Oriented projective geometry, Oriented projective geometry (definition). Also Wikidata Q7102420
History
- 2026-11-02: add by m2/dev
Triangular coupling KNCXHCD8ZZ
| URI | m2://inv/KNCXHCD8ZZ |
|---|---|
| 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.05498#5PYO, Triangular coupling (statement). In TJT32RQ9GC/e1, lemma 2.4
History
- 2026-10-29: add by m2/v0.4.10
Notation KNCZC30YS1
| URI | m2://inv/KNCZC30YS1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Homogeneous coordinates#SGKE, Notation (definition)
History
- 2026-11-02: add by m2/dev
KND3NR1C0P KND3NR1C0P
| URI | m2://inv/KND3NR1C0P |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2512.16003#DBAZ (definition). In BJGS6ZCQ12/e1, definition 5.2
History
- 2026-10-27: add by m2/v0.3.6
KND4Q64A1X KND4Q64A1X
| URI | m2://inv/KND4Q64A1X |
|---|---|
| Kind | conjecture |
| 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 2506.00952#6HIE (conjecture). In GX0TV70D4N/e1, conjecture 1
History
- 2026-10-27: add by m2/v0.3.5
Dana Fisman KND4QM7J8K
| URI | m2://inv/KND4QM7J8K |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#PKH5, Dana Fisman (unknown)
History
- 2026-11-02: add by m2/dev
KNDAZZ4HAN KNDAZZ4HAN
| URI | m2://inv/KNDAZZ4HAN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22077#0HAG (statement)
History
- 2026-11-02: add by m2/v0.6.17
KNDD66C9SQ KNDD66C9SQ
| URI | m2://inv/KNDD66C9SQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20274#WDAK (statement)
History
- 2026-11-02: add by m2/v0.6.18
\textbf{Non-asymptotic error bound of randomized ULMC under log-concavity KNDWBCW01H
| URI | m2://inv/KNDWBCW01H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-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.20713#HQSI, \textbf{Non-asymptotic error bound of randomized ULMC under log-concavity (statement)
History
- 2026-11-02: add by m2/v0.6.18
KNE2Y9KFEE KNE2Y9KFEE
| URI | m2://inv/KNE2Y9KFEE |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/diffgeo/manifolds.tex#ques-2 (exercise). In RZP28ERRZV, ques, section 44.1
History
- 2026-11-01: add by m2/v0.6.13
KNEC6NMT3J KNEC6NMT3J
| URI | m2://inv/KNEC6NMT3J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-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.10329#DUBM (statement). In SCSTR1Q1BW/e1, proposition 3.6
History
- 2026-10-29: add by m2/v0.4.10
Restricted groupoid-equivariant layer KNEEK8KWYB
| URI | m2://inv/KNEEK8KWYB |
|---|---|
| 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.25987#FUN1, Restricted groupoid-equivariant layer (definition)
History
- 2026-11-01: add by m2/v0.6.15
KNEJZ1PR73 KNEJZ1PR73
| URI | m2://inv/KNEJZ1PR73 |
|---|---|
| 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 2512.07340#AH46 (statement). In WXE3PVAZBT/e1, lemma 2.3
History
- 2026-10-27: add by m2/v0.3.5
KNEPCQBFRD KNEPCQBFRD
| URI | m2://inv/KNEPCQBFRD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-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 1204.5958#4TE9 (statement). In XYCBKM4WKY/e1, theorem 9
History
- 2026-10-27: add by m2/v0.3.5
KNERYKG4RA KNERYKG4RA
| URI | m2://inv/KNERYKG4RA |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0911.1417#RJX1 (example). In BBD7TZW79R/e1, example 5.9
History
- 2026-10-27: add by m2/v0.3.5
generalized Fourier series KNEV0F92G9
| URI | m2://inv/KNEV0F92G9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Generalized Fourier series SNJC87TBHD |
Mentions
- wikidata: Wikidata Q5532436, generalized Fourier series (unknown). Also MathWorld GeneralizedFourierSeries
- wikipedia: Wikipedia Generalized Fourier series, Generalized Fourier series (definition). Also Wikidata Q5532436
History
- 2026-10-26: add by m2/dev
KNFAF9MCMQ KNFAF9MCMQ
| URI | m2://inv/KNFAF9MCMQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10505#7IMQ (statement). In JW8HH6EPG2/e1, theorem 3.53
History
- 2026-10-29: add by m2/v0.4.10
KNFHE7BBEN KNFHE7BBEN
| URI | m2://inv/KNFHE7BBEN |
|---|---|
| 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.13981#X8QI (statement). In V78F5DK90W/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.2
KNFJDCKVBP KNFJDCKVBP
| URI | m2://inv/KNFJDCKVBP |
|---|---|
| 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#GWW6 (statement). In NB7HZ8W2K2/e1, proposition 11
History
- 2026-10-29: add by m2/v0.4.12
Subgroup KNFM07SZPC
| URI | m2://inv/KNFM07SZPC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#2R8V, Subgroup (definition)
History
- 2026-11-02: add by m2/dev
Construction KNFMGQS0H4
| URI | m2://inv/KNFMGQS0H4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bayesian statistics#Z7WF, Construction (definition)
History
- 2026-11-02: add by m2/dev
Extension KNFMP7SKFT
| URI | m2://inv/KNFMP7SKFT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inner automorphism#J8PE, Extension (statement)
History
- 2026-11-02: add by m2/dev
Ben Shapiro KNFN9NP2KM
| URI | m2://inv/KNFN9NP2KM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#YBLK, Ben Shapiro (unknown)
History
- 2026-11-02: add by m2/dev
KNFR8RNNG5 KNFR8RNNG5
| URI | m2://inv/KNFR8RNNG5 |
|---|---|
| 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 0806.0033#6SLQ (definition). In RV34HVZMB3/e1, definition 5
History
- 2026-10-27: add by m2/v0.3.5
KNFT6K4HA0 KNFT6K4HA0
| URI | m2://inv/KNFT6K4HA0 |
|---|---|
| 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.35683#2KO7 (statement). In A4S9A3X494/e1, theorem
History
- 2026-10-30: add by m2/v0.4.12
Aleph 1 KNFZPWDFA1
| URI | m2://inv/KNFZPWDFA1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Aleph number#MI32, Aleph 1 (unknown)
History
- 2026-11-02: add by m2/dev
KNG7J7F3P2 KNG7J7F3P2
| URI | m2://inv/KNG7J7F3P2 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/axiomatic-deduction/proof-theoretic-notions.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 8.6
History
- 2026-11-01: add by m2/v0.6.13
Great hexagonal hexecontahedron KNGGBH3RN3
| URI | m2://inv/KNGGBH3RN3 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#DV61, Great hexagonal hexecontahedron (object)
History
- 2026-11-02: add by m2/dev
KNGHJTQMTV KNGHJTQMTV
| URI | m2://inv/KNGHJTQMTV |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37112#SMDG (example). In 5B10HAY4C3/e1, example 2.2
History
- 2026-10-30: add by m2/v0.4.12
Applications KNGSSYTJJD
| URI | m2://inv/KNGSSYTJJD |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Randomness extractor#D1WO, Applications (example)
History
- 2026-11-02: add by m2/dev
SSE4A KNGTX7EN2J
| URI | m2://inv/KNGTX7EN2J |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia SSE4#4QOT, SSE4A (unknown)
History
- 2026-11-02: add by m2/dev
KNH0M9ANEA KNH0M9ANEA
| URI | m2://inv/KNH0M9ANEA |
|---|---|
| Kind | definition |
| 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 1903.07030#OXXD (definition). In 9H45HQE7AZ/e1, definition 5.3
History
- 2026-10-27: add by m2/v0.3.5
Nancy Geller KNH0NP4TD4
| URI | m2://inv/KNH0NP4TD4 |
|---|---|
| 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#W9QB, Nancy Geller (unknown)
History
- 2026-11-02: add by m2/dev
KNH7885DTP KNH7885DTP
| URI | m2://inv/KNH7885DTP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20153#VNLO (statement)
History
- 2026-11-02: add by m2/v0.6.18
Integrated form KNHAX1XXZ4
| URI | m2://inv/KNHAX1XXZ4 |
|---|---|
| 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#6CCK, Integrated form (statement). In P3RTT99C41/e1, lemma A.6
History
- 2026-10-30: add by m2/v0.4.12
KNHMCE4NYD KNHMCE4NYD
| URI | m2://inv/KNHMCE4NYD |
|---|---|
| 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.13378#TWBK (statement). In QAH7SV1JT6/e1, lemma 3.1
History
- 2026-10-28: add by m2/v0.4.2
Accelerated mirror-prox KNHPR9ZH8H
| URI | m2://inv/KNHPR9ZH8H |
|---|---|
| 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.12641#SHHP, Accelerated mirror-prox (statement). In X5BYGZZHPF/e1, theorem L.2
History
- 2026-10-28: add by m2/v0.4.2
Stephen Wolfram KNHRD9DV57
| URI | m2://inv/KNHRD9DV57 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#FQ7V, Stephen Wolfram (topic)
History
- 2026-11-02: add by m2/dev
KNHVZDYDEM KNHVZDYDEM
| URI | m2://inv/KNHVZDYDEM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36016#PXED (statement). In NAM9ZMPHZ9/e1, proposition 4.13
History
- 2026-10-30: add by m2/v0.4.12
Spoke council KNHYJDCDVN
| URI | m2://inv/KNHYJDCDVN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Consensus decision-making#PFVL, Spoke council (unknown)
History
- 2026-11-02: add by m2/dev
Generalizations KNJ3V0C5SN
| URI | m2://inv/KNJ3V0C5SN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Equidissection#LI85, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
$K$-medoids KNJ5DX318C
| URI | m2://inv/KNJ5DX318C |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21985#R11D, $K$-medoids (definition)
History
- 2026-11-02: add by m2/v0.6.17
Ling Long KNJE6MPZ6S
| URI | m2://inv/KNJE6MPZ6S |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#0G7R, Ling Long (topic)
History
- 2026-11-02: add by m2/dev
KNJSWBD6RH KNJSWBD6RH
| URI | m2://inv/KNJSWBD6RH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35600#65JX (statement). In ET8GYMMDQM/e1, lemma 3.8
History
- 2026-10-30: add by m2/v0.4.12
KNJXS3QAR2 KNJXS3QAR2
| URI | m2://inv/KNJXS3QAR2 |
|---|---|
| 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.25030#77U2 (statement)
History
- 2026-11-01: add by m2/v0.6.15
KNK1KPQXYP KNK1KPQXYP
| URI | m2://inv/KNK1KPQXYP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19251#2RD4 (statement). In CSW6NG0FRN/e1, corollary 4.10
History
- 2026-10-28: add by m2/v0.4.2
2022 opinion polling on the Biden administration KNK7YDJZBJ
| URI | m2://inv/KNK7YDJZBJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 2022 opinion polling on the Biden administration, 2022 opinion polling on the Biden administration (definition). Also Wikidata Q110536113
History
- 2026-11-02: add by m2/dev
Simon B. Kochen KNK93AT336
| URI | m2://inv/KNK93AT336 |
|---|---|
| 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 Q1513086, Simon B. Kochen (unknown). Also nLab Simon Kochen, ProofWiki Mathematician:Simon_Bernhard_Kochen
History
- 2026-10-26: add by m2/dev
multiple regression KNKBDN3Y8F
| URI | m2://inv/KNKBDN3Y8F |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q15898391, multiple regression (unknown). Also MathWorld MultipleRegression
History
- 2026-10-26: add by m2/dev
Moyal bracket KNKCDZ04ZN
| URI | m2://inv/KNKCDZ04ZN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Moyal bracket, Moyal bracket (definition). Also Wikidata Q6927585
History
- 2026-11-02: add by m2/dev
KNKFQDD5KC KNKFQDD5KC
| URI | m2://inv/KNKFQDD5KC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 37-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13100#OT1S (statement). In CC6S1HVK0T/e1, lemma 5.3
History
- 2026-10-28: add by m2/v0.4.2
Lurdes Inoue KNKPFJ55Z9
| URI | m2://inv/KNKPFJ55Z9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lurdes Inoue, Lurdes Inoue (topic). Also Wikidata Q25999561
History
- 2026-11-02: add by m2/dev
\Erd--Hajnal KNKRAX9ZF5
| URI | m2://inv/KNKRAX9ZF5 |
|---|---|
| Kind | conjecture |
| 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.21895#HNXO, \Erd--Hajnal (conjecture)
History
- 2026-11-02: add by m2/v0.6.17
Predicable KNKT81V3KH
| URI | m2://inv/KNKT81V3KH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Predicable, Predicable (definition). Also Wikidata Q1748491
History
- 2026-11-02: add by m2/dev
Degree of a generator, and row sums KNKTQP8AKX
| URI | m2://inv/KNKTQP8AKX |
|---|---|
| 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.01731#GRV3, Degree of a generator, and row sums (statement). In 3TJ2FWXQ0D/e1, lemma 3.15
History
- 2026-10-29: add by m2/v0.4.12
KNKZ5WZGVJ KNKZ5WZGVJ
| URI | m2://inv/KNKZ5WZGVJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2008.10035#ZGCO (statement). In 29EH04FH4B/e1, corollary 5.14
History
- 2026-10-27: add by m2/v0.3.5
$(G, \mu)$-apertures KNM8027ENA
| URI | m2://inv/KNM8027ENA |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33808#9AM5, $(G, \mu)$-apertures (definition). In 328KGRNN0W/e1, definition 2.2
History
- 2026-10-30: add by m2/v0.4.12
KNM9GTE5T1 KNM9GTE5T1
| URI | m2://inv/KNM9GTE5T1 |
|---|---|
| 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.07318#PG9C (statement). In JWQNSEXRNW/e1, proposition 2.2
History
- 2026-10-29: add by m2/v0.4.10
Statement KNM9QZH9A4
| URI | m2://inv/KNM9QZH9A4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Beck's theorem (geometry)#4X7S, Statement (statement)
History
- 2026-11-02: add by m2/dev
Properties obtained from filters KNMEV1GBVJ
| URI | m2://inv/KNMEV1GBVJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/set-theory/forcing.tex#lemma-2, Properties obtained from filters (statement). In RZP28ERRZV, lemma, section 90.3
History
- 2026-11-01: add by m2/v0.6.13
Dixon's factorization method KNMFAEB0ER
| URI | m2://inv/KNMFAEB0ER |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1231787, Dixon's factorization method (unknown). Also MathWorld DixonsFactorizationMethod
- wikipedia: Wikipedia Dixon's factorization method, Dixon's factorization method (definition). Also Wikidata Q1231787
History
- 2026-10-26: add by m2/dev
KNMNQ8N0RK KNMNQ8N0RK
| URI | m2://inv/KNMNQ8N0RK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23847#UU0T (statement)
History
- 2026-11-02: add by m2/v0.6.17
Hyperbolic and relatively hyperbolic groups KNMYZ2ME4X
| URI | m2://inv/KNMYZ2ME4X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36098#KZMQ, Hyperbolic and relatively hyperbolic groups (statement). In NRP62VNE58/e1, corollary 8.5
History
- 2026-10-30: add by m2/v0.4.12
KNN0DWDEX0 KNN0DWDEX0
| URI | m2://inv/KNN0DWDEX0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38131#2NNN (statement). In GM3S19KFDH/e1, theorem C
History
- 2026-10-30: add by m2/v0.4.12
Power set KNNERJNTPP
| URI | m2://inv/KNNERJNTPP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical logic topics#5IU9, Power set (definition)
- wikipedia: Wikipedia List of types of sets#37Y2, Power set (definition)
History
- 2026-11-02: add by m2/dev
KNNSMYPH99 KNNSMYPH99
| URI | m2://inv/KNNSMYPH99 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23779#N85F (statement)
History
- 2026-11-02: add by m2/v0.6.17
Michael Resnik KNP66T1HDY
| URI | m2://inv/KNP66T1HDY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Michael Resnik, Michael Resnik (topic). Also Wikidata Q6833821
History
- 2026-11-02: add by m2/dev
KNP6ZH9TFQ KNP6ZH9TFQ
| URI | m2://inv/KNP6ZH9TFQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32174#DL1T (statement). In GHKR740SG3/e1, corollary 9.6
History
- 2026-10-31: add by m2/v0.5.6
Davies, Griffith KNPCQ8PKR3
| URI | m2://inv/KNPCQ8PKR3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#XOFO, Davies, Griffith (unknown)
History
- 2026-11-02: add by m2/dev
KNPEC165SC KNPEC165SC
| URI | m2://inv/KNPEC165SC |
|---|---|
| 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.02893#9SQN (statement). In DQ9TAGM5XP/e1, proposition P4
History
- 2026-10-29: add by m2/v0.4.12
Projection properties KNPG06THFX
| URI | m2://inv/KNPG06THFX |
|---|---|
| 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#AYHD, Projection properties (statement). In Y8QQAH7VCF/e1, lemma C.4
History
- 2026-10-28: add by m2/v0.4.2
Differentiable Sobolev metrics KNPJAA79ZH
| URI | m2://inv/KNPJAA79ZH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2410.06788#C47D, Differentiable Sobolev metrics (statement). In B2VE3JQZD3/e1, lemma 12
History
- 2026-10-27: add by m2/v0.3.5
KNPJE0QHNY KNPJE0QHNY
| URI | m2://inv/KNPJE0QHNY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2009.11127#SHJU (statement). In QEFS0Y021A/e1, corollary 5.3
History
- 2026-10-27: add by m2/v0.3.5
Madryga KNPR1E7C3F
| URI | m2://inv/KNPR1E7C3F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Madryga, Madryga (definition). Also Wikidata Q2075709
History
- 2026-11-02: add by m2/dev
KNPSRWBC47 KNPSRWBC47
| URI | m2://inv/KNPSRWBC47 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05391#649X (statement). In 9B5TNEBJHV/e1, lemma 2.16
History
- 2026-10-29: add by m2/v0.4.10
Recovery, non-divisible case KNPWMTDRF8
| URI | m2://inv/KNPWMTDRF8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20087#Y1T0, Recovery, non-divisible case (statement). In ZRE2WQR5XA/e1, theorem IV.5
History
- 2026-10-27: add by m2/v0.4.2
topological concrete category KNQ1SWK3T6
| URI | m2://inv/KNQ1SWK3T6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q131071939, topological concrete category (unknown). Also EoM Topological_structures, nLab topological concrete category
History
- 2026-10-26: add by m2/dev
KNQC84V15K KNQC84V15K
| URI | m2://inv/KNQC84V15K |
|---|---|
| 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.16404#2T3B (statement). In PQ7W037C2H/e1, lemma 2.1
History
- 2026-10-28: add by m2/v0.4.2
KNQCX4QJZA KNQCX4QJZA
| URI | m2://inv/KNQCX4QJZA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/sequent-calculus/soundness.tex#cor:weak-soundness (statement). In PKGMM3P5QY, cor, section 19.2
History
- 2026-11-01: add by m2/v0.6.13
$\tau$-Vandermonde--Pfaff convolution KNQK0PYKYZ
| URI | m2://inv/KNQK0PYKYZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX, 47-XX, 58-XX, 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08568#AZT7, $\tau$-Vandermonde--Pfaff convolution (statement). In FDDA562VCA/e1, lemma 3.21
History
- 2026-10-29: add by m2/v0.4.10
KNQSDJ6QAS KNQSDJ6QAS
| URI | m2://inv/KNQSDJ6QAS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/InjectiveSurjectiveFunctions.tex#theorem-1 (statement). In P1C114YBXG, theorem, section D
History
- 2026-11-01: add by m2/v0.6.13
KNQVMXDEEG KNQVMXDEEG
| URI | m2://inv/KNQVMXDEEG |
|---|---|
| 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.05953#J07M (statement). In P3XHJ1VB8C/e1, lemma 2
History
- 2026-10-29: add by m2/v0.4.10
Greatest Common Divisor Algorithm KNR7XCFKVX
| URI | m2://inv/KNR7XCFKVX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_100: mathlib_100 69, Greatest Common Divisor Algorithm (statement). Also Mathlib EuclideanDomain.gcd, Mathlib EuclideanDomain.gcd_dvd, Mathlib EuclideanDomain.dvd_gcd
History
- 2026-10-26: add by m2/dev
Definition KNRAD5YJYY
| URI | m2://inv/KNRAD5YJYY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Matrix normal distribution#D6T4, Definition (definition)
History
- 2026-11-02: add by m2/dev
KNRDXHXCJE KNRDXHXCJE
| URI | m2://inv/KNRDXHXCJE |
|---|---|
| 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.39246#IL4W (statement). In FVK0J9CFEF/e1, lemma 4.7
History
- 2026-10-30: add by m2/v0.4.12
KNRJEAKNHW KNRJEAKNHW
| URI | m2://inv/KNRJEAKNHW |
|---|---|
| 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.32829#DQSS (statement). In RYWAX33Z51/e1, lemma 5.2
History
- 2026-10-31: add by m2/v0.5.6
Extensions of ISOMAP KNRN32JJ8F
| URI | m2://inv/KNRN32JJ8F |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Isomap#3NBC, Extensions of ISOMAP (statement)
History
- 2026-11-02: add by m2/dev
KNRP8TG3CQ KNRP8TG3CQ
| URI | m2://inv/KNRP8TG3CQ |
|---|---|
| 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.21298#DSJU (statement). In AXWM2MBYXV/e1, proposition 8.4
History
- 2026-10-27: add by m2/v0.4.2
finitely presented KNRQHBE537
| URI | m2://inv/KNRQHBE537 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of ring theory#WUPH, finitely presented (definition)
History
- 2026-11-02: add by m2/dev
Prepolar values need not be generic values KNRTFFTF40
| URI | m2://inv/KNRTFFTF40 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 13-XX, 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07528#AFKT, Prepolar values need not be generic values (example). In WVX0T502A1/e1, example 7.4
History
- 2026-10-29: add by m2/v0.4.10
KNS36ES54M KNS36ES54M
| URI | m2://inv/KNS36ES54M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31242#GPZ5 (statement). In 3NPRR9546C/e1, theorem 1.3
History
- 2026-10-31: add by m2/v0.5.6
Implications of the axiom KNS5S8MB6H
| URI | m2://inv/KNS5S8MB6H |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Axiom of limitation of size#BLEN, Implications of the axiom (statement)
History
- 2026-11-02: add by m2/dev
World-systems theory KNSG2R95BR
| URI | m2://inv/KNSG2R95BR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of types of systems theory#452M, World-systems theory (unknown)
History
- 2026-11-02: add by m2/dev
Sandra Collins KNSNXKS9SZ
| URI | m2://inv/KNSNXKS9SZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sandra Collins (librarian), Sandra Collins (topic). Also Wikidata Q54989032
History
- 2026-11-02: add by m2/dev
comeagre set KNSPN36NQX
| URI | m2://inv/KNSPN36NQX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q97623888, comeagre set (unknown). Also MathWorld ResidualSet
History
- 2026-10-26: add by m2/dev
KNT0K7M6CT KNT0K7M6CT
| URI | m2://inv/KNT0K7M6CT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_graphalgorithms_min-wt-span.ptx#prop_graphalgorithms_spanforest (statement). In QKM9DD2H56, proposition, section 12.1.1
History
- 2026-11-01: add by m2/v0.6.13
Large curvature and sharp tilt bias coexist KNT167QYFG
| URI | m2://inv/KNT167QYFG |
|---|---|
| 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#153D, Large curvature and sharp tilt bias coexist (statement). In X3E4D61X4V/e1, proposition E.1
History
- 2026-10-29: add by m2/v0.4.12
Convex function KNT2DXGFY9
| URI | m2://inv/KNT2DXGFY9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of types of functions#EB26, Convex function (definition)
History
- 2026-11-02: add by m2/dev
KNTCWTJVXN KNTCWTJVXN
| URI | m2://inv/KNTCWTJVXN |
|---|---|
| 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 2208.07401#L9WI (statement). In GJD7HKCE56/e1, proposition 3.12
History
- 2026-10-27: add by m2/v0.3.6
Lowell Schoenfeld KNTMX4WX7R
| URI | m2://inv/KNTMX4WX7R |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lowell Schoenfeld, Lowell Schoenfeld (topic). Also Wikidata Q6693258
History
- 2026-11-02: add by m2/dev
Examples KNTNXF0QKJ
| URI | m2://inv/KNTNXF0QKJ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Most-perfect magic square#Y0J0, Examples (example)
History
- 2026-11-02: add by m2/dev
Erdelyi–Kober operator KNTXD65QJC
| URI | m2://inv/KNTXD65QJC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Erdelyi–Kober operator, Erdelyi–Kober operator (definition). Also Wikidata Q5385264
History
- 2026-11-02: add by m2/dev
Visible boundary segment KNTYEH6SSC
| URI | m2://inv/KNTYEH6SSC |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08656#5MEY, Visible boundary segment (definition). In JJC4DXX4ZR/e1, definition 3
History
- 2026-10-29: add by m2/v0.4.10
KNV1GD4A0C KNV1GD4A0C
| URI | m2://inv/KNV1GD4A0C |
|---|---|
| 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.26600#C0C0 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Gary T. Horowitz KNV296SN51
| URI | m2://inv/KNV296SN51 |
|---|---|
| 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 Q1258679, Gary T. Horowitz (unknown). Also nLab Gary Horowitz
History
- 2026-10-26: add by m2/dev
Convolution power KNV2HA0QXC
| URI | m2://inv/KNV2HA0QXC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Convolution power, Convolution power (definition). Also Wikidata Q5166605
History
- 2026-11-02: add by m2/dev
$g^\sigma_N$ as an energy meta-well KNV33P1R5A
| URI | m2://inv/KNV33P1R5A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2210.06147#R3FM, $g^\sigma_N$ as an energy meta-well (statement). In 94RBNQA07A/e1, proposition 5.27
History
- 2026-10-27: add by m2/v0.3.5
Agazzi et al. KNV48FK3C8
| URI | m2://inv/KNV48FK3C8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-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.39946#DGFV, Agazzi et al. (statement). In ZTREM09NFT/e1, theorem 5
History
- 2026-10-30: add by m2/v0.4.12
KNV5Y7DGGS KNV5Y7DGGS
| URI | m2://inv/KNV5Y7DGGS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01329#AH3E (statement). In 7XEVYJKJ5C/e1, lemma 3.1
History
- 2026-10-29: add by m2/v0.4.12
Lydia Ginzburg KNV847AYMV
| URI | m2://inv/KNV847AYMV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#SSJ3, Lydia Ginzburg (unknown)
History
- 2026-11-02: add by m2/dev
Solo pumping in the models without private memory KNVCCW1019
| URI | m2://inv/KNVCCW1019 |
|---|---|
| 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.17677#XO2Z, Solo pumping in the models without private memory (statement). In 5E9G06XJKC/e1, lemma E.15
History
- 2026-10-28: add by m2/v0.4.2
Computational electromagnetics KNVH2Z6SGK
| URI | m2://inv/KNVH2Z6SGK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Computational electromagnetics, Computational electromagnetics (topic). Also Wikidata Q5157313
History
- 2026-11-02: add by m2/dev
KNVJ2385B9 KNVJ2385B9
| URI | m2://inv/KNVJ2385B9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31757#TIKE (statement). In KBJHAD5TTY/e1, proposition 2.3
History
- 2026-10-31: add by m2/v0.5.6
List of things named after Ferdinand Georg Frobenius KNVQRT8RPP
| URI | m2://inv/KNVQRT8RPP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lists of mathematics topics#9S83, List of things named after Ferdinand Georg Frobenius (topic)
History
- 2026-11-02: add by m2/dev
Thomas S. Ferguson KNVRW94NFR
| URI | m2://inv/KNVRW94NFR |
|---|---|
| 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#7NQ7, Thomas S. Ferguson (unknown)
History
- 2026-11-02: add by m2/dev
KNVTCT57TV KNVTCT57TV
| URI | m2://inv/KNVTCT57TV |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/InjectiveSurjectiveFunctions.tex#problem-1 (exercise). In P1C114YBXG, problem, section D
History
- 2026-11-01: add by m2/v0.6.13
Georg Nöbeling KNVXDZEE8X
| URI | m2://inv/KNVXDZEE8X |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#QMAX, Georg Nöbeling (topic)
History
- 2026-11-02: add by m2/dev
Joanne Moldenhauer KNW23Q0M0R
| URI | m2://inv/KNW23Q0M0R |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Joanne Moldenhauer, Joanne Moldenhauer (topic). Also Wikidata Q68235083
History
- 2026-11-02: add by m2/dev
carving width KNWD82JGV0
| URI | m2://inv/KNWD82JGV0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#LSQH, carving width (definition)
History
- 2026-11-02: add by m2/dev
translation KNWD8G7Q1Q
| URI | m2://inv/KNWD8G7Q1Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#EWJ8, translation (definition)
History
- 2026-11-02: add by m2/dev
Bessel–Clifford function KNWGCC5TP6
| URI | m2://inv/KNWGCC5TP6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bessel–Clifford function, Bessel–Clifford function (definition). Also Wikidata Q4896413
History
- 2026-11-02: add by m2/dev
KNWRDT6463 KNWRDT6463
| URI | m2://inv/KNWRDT6463 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2605.24355#X5RO (example). In VV3AJMWWCR/e1, example 2
History
- 2026-10-27: add by m2/v0.3.6
Remark KNX3DPFNCB
| URI | m2://inv/KNX3DPFNCB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fuglede's theorem#KT1O, Remark (unknown)
History
- 2026-11-02: add by m2/dev
Sorted list KNX45NJ7JN
| URI | m2://inv/KNX45NJ7JN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#MYBF, Sorted list (definition)
History
- 2026-11-02: add by m2/dev
KNXC6S2ND5 KNXC6S2ND5
| URI | m2://inv/KNXC6S2ND5 |
|---|---|
| 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 2512.08487#RYZS (statement). In 77TVQVYN0Z/e1, corollary 18
History
- 2026-10-27: add by m2/v0.3.6
KNXDDF88S8 KNXDDF88S8
| URI | m2://inv/KNXDDF88S8 |
|---|---|
| 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.01899#RGOR (statement). In 638TEFBFGP/e1, lemma 5.1
History
- 2026-10-29: add by m2/v0.4.12
Theorem KNXKZNY0AH
| URI | m2://inv/KNXKZNY0AH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Closed graph theorem (functional analysis)#I7LB, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Example KNY330X17M
| URI | m2://inv/KNY330X17M |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Assumed mean#5JAS, Example (example)
History
- 2026-11-02: add by m2/dev
Geometric point KNY8VHN3ED
| URI | m2://inv/KNY8VHN3ED |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical properties of points#ITME, Geometric point (topic)
History
- 2026-11-02: add by m2/dev
O--Wu, Lemma 3.1(c KNYBC25SMP
| URI | m2://inv/KNYBC25SMP |
|---|---|
| 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.37208#60LB, O--Wu, Lemma 3.1(c (statement). In 7MCBCP4T0B/e1, lemma 4.6
History
- 2026-10-30: add by m2/v0.4.12
Existence of a pull-back set attractor KNYBYVC7H2
| URI | m2://inv/KNYBYVC7H2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06321#10YV, Existence of a pull-back set attractor (statement). In PGV1116XX4/e1, theorem 2.11
History
- 2026-10-29: add by m2/v0.4.10
KNYE4K58EG KNYE4K58EG
| URI | m2://inv/KNYE4K58EG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/applied-modal-logic/temporal-logic/temporal-logic-semantics.tex#defn-1 (definition). In PKGMM3P5QY, defn, section 1.12
History
- 2026-11-01: add by m2/v0.6.13
Global existence and uniqueness of generalised solutions KNYJVVVP4E
| URI | m2://inv/KNYJVVVP4E |
|---|---|
| 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.22189#A9LP, Global existence and uniqueness of generalised solutions (statement). In PKS0M89ZRT/e1, theorem 3.2
History
- 2026-10-27: add by m2/v0.4.0
Nearby Lagrangian conjecture KNYMAWP8SV
| URI | m2://inv/KNYMAWP8SV |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#46C1, Nearby Lagrangian conjecture (conjecture)
History
- 2026-11-02: add by m2/dev
Thévenin's theorem KNYR5NX7TS
| URI | m2://inv/KNYR5NX7TS |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 78-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q241868, Thévenin's theorem (statement). Also Wikidata Q241868
- thousand_plus: thousand_plus Q241868, Thévenin's theorem (statement). Also Wikidata Q241868, Wikipedia Thévenin's theorem
- wikipedia: Wikipedia Thévenin's theorem, Thévenin's theorem (statement). Also Wikidata Q241868
History
- 2026-10-26: add by m2/dev
KNYX8A3050 KNYX8A3050
| URI | m2://inv/KNYX8A3050 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31335#IDKY (statement). In YN58PZTGFD/e1, proposition
History
- 2026-10-31: add by m2/v0.5.6
Definition KNYY7J5SMX
| URI | m2://inv/KNYY7J5SMX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cayley graph#RQ0P, Definition (definition)
History
- 2026-11-02: add by m2/dev
Graph of a function KNZ5Z6YXJW
| URI | m2://inv/KNZ5Z6YXJW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/functions/functions-relations.tex#defn-1, Graph of a function (definition). In PKGMM3P5QY, defn, section 78.11
History
- 2026-11-01: add by m2/v0.6.13
KNZ8RMWJYG KNZ8RMWJYG
| URI | m2://inv/KNZ8RMWJYG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10505#IOFK (statement). In JW8HH6EPG2/e1, lemma 2.12
History
- 2026-10-29: add by m2/v0.4.10
Definition KNZA74P6WX
| URI | m2://inv/KNZA74P6WX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Confidence interval#RXMK, Definition (definition)
History
- 2026-11-02: add by m2/dev
Mean and predicted outcome KNZMRDKDE3
| URI | m2://inv/KNZMRDKDE3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Simple linear regression#J80H, Mean and predicted outcome (unknown)
History
- 2026-11-02: add by m2/dev
Bounded-radius row estimate KNZMV3SJM9
| URI | m2://inv/KNZMV3SJM9 |
|---|---|
| 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.23558#Z182, Bounded-radius row estimate (statement)
History
- 2026-11-02: add by m2/v0.6.17
Research Institute for Mathematical Sciences KNZN67E6MJ
| URI | m2://inv/KNZN67E6MJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Research Institute for Mathematical Sciences, Research Institute for Mathematical Sciences (definition). Also Wikidata Q840667
History
- 2026-11-02: add by m2/dev
KNZPVK1Y21 KNZPVK1Y21
| URI | m2://inv/KNZPVK1Y21 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 30-XX, 32-XX, 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22288#WPQ9 (definition). In X38P26DK6S/e1, definition 5.13
History
- 2026-10-27: add by m2/v0.4.0
Geohash KNZQ8C4HT4
| URI | m2://inv/KNZQ8C4HT4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#3PP1, Geohash (unknown)
History
- 2026-11-02: add by m2/dev
Cristina G. Fernandes KNZRGSE4XR
| URI | m2://inv/KNZRGSE4XR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#MG75, Cristina G. Fernandes (unknown)
History
- 2026-11-02: add by m2/dev
Approximate Plancherel inequality KNZRPKCG3Z
| URI | m2://inv/KNZRPKCG3Z |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Large sieve#K0KS, Approximate Plancherel inequality (statement)
History
- 2026-11-02: add by m2/dev
Two-vector probability-$\varpi$ zero-chain KNZS9EN3RD
| URI | m2://inv/KNZS9EN3RD |
|---|---|
| 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.01843#IF3E, Two-vector probability-$\varpi$ zero-chain (statement). In EDG9ZFDSWK/e1, corollary B.3
History
- 2026-10-29: add by m2/v0.4.12
Examples KNZSEPRWCN
| URI | m2://inv/KNZSEPRWCN |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cyclic symmetry in three dimensions#1VJ8, Examples (example)
History
- 2026-11-02: add by m2/dev
Moshe Vardi KNZVAXM75Z
| URI | m2://inv/KNZVAXM75Z |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#IUWP, Moshe Vardi (unknown)
History
- 2026-11-02: add by m2/dev
Cancellation Law of Addition KNZWGA3JWD
| URI | m2://inv/KNZWGA3JWD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_background_formal-num-sys.ptx#theorem-3, Cancellation Law of Addition (statement). In QKM9DD2H56, theorem, section B.7.1
History
- 2026-11-01: add by m2/v0.6.13