Inventory rows 8C
The cards of the rows of the inventory whose ids start with 8C. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
8C05H0GGWJ 8C05H0GGWJ
| URI | m2://inv/8C05H0GGWJ |
|---|---|
| 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.23343#JB45 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Whitney's planarity criterion 8C0FTX3CTW
| URI | m2://inv/8C0FTX3CTW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Whitney's planarity criterion, Whitney's planarity criterion (statement). Also Wikidata Q7996657
History
- 2026-11-02: add by m2/dev
Common-ancestor separation 8C0M404GM7
| URI | m2://inv/8C0M404GM7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34122#I7NW, Common-ancestor separation (statement). In 6V2FT31QA1/e1, proposition 3.2
History
- 2026-10-30: add by m2/v0.4.12
Gaston Julia 8C0S29SYST
| URI | m2://inv/8C0S29SYST |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gaston Julia, Gaston Julia (topic). Also Wikidata Q323238
History
- 2026-11-02: add by m2/dev
Canonical Hopf projection 8C0WXP4CAF
| URI | m2://inv/8C0WXP4CAF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19837#FVZZ, Canonical Hopf projection (statement). In 837NSWQM1P/e1, theorem 3.1
History
- 2026-10-28: add by m2/v0.4.2
Ghouila–Houiri (1960) 8C15Z56QDW
| URI | m2://inv/8C15Z56QDW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hamiltonian path#R61F, Ghouila–Houiri (1960) (statement)
History
- 2026-11-02: add by m2/dev
Behrens–Fisher problem 8C18BCBE84
| URI | m2://inv/8C18BCBE84 |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Behrens–Fisher problem EJ3W3836VZ |
Mentions
- wikidata: Wikidata Q814556, Behrens–Fisher problem (problem). Also MathWorld Fisher-BehrensProblem
- wikipedia: Wikipedia Behrens–Fisher problem, Behrens–Fisher problem (conjecture). Also Wikidata Q814556
History
- 2026-10-26: add by m2/dev
Infimal convolute 8C1C5KHWEY
| URI | m2://inv/8C1C5KHWEY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of convexity topics#Z8QT, Infimal convolute (definition)
History
- 2026-11-02: add by m2/dev
Hilbert's third problem 8C1KVMDNXT
| URI | m2://inv/8C1KVMDNXT |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#VA2H, Hilbert's third problem (problem)
History
- 2026-11-02: add by m2/dev
Applications 8C1P25Z3Y4
| URI | m2://inv/8C1P25Z3Y4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cairo pentagonal tiling#TF9P, Applications (example)
History
- 2026-11-02: add by m2/dev
Marian Scott 8C1TQME0H6
| URI | m2://inv/8C1TQME0H6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Marian Scott (statistician), Marian Scott (topic). Also Wikidata Q50006977
History
- 2026-11-02: add by m2/dev
Goldstine theorem 8C1WB3CRGW
| URI | m2://inv/8C1WB3CRGW |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 46-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q3088644, Goldstine theorem (statement). Also Wikidata Q3088644
- thousand_plus: thousand_plus Q3088644, Goldstine theorem (statement). Also Wikidata Q3088644, Wikipedia Goldstine theorem
- wikipedia: Wikipedia Goldstine theorem, Goldstine theorem (statement). Also Wikidata Q3088644
History
- 2026-10-26: add by m2/dev
Benjamin Drake Wright 8C1Y25GY9A
| URI | m2://inv/8C1Y25GY9A |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Benjamin Drake Wright, Benjamin Drake Wright (topic). Also Wikidata Q4888492
History
- 2026-11-02: add by m2/dev
Herbert Robbins 8C21QZR19D
| URI | m2://inv/8C21QZR19D |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q951395, Herbert Robbins (unknown). Also ProofWiki Mathematician:Herbert_Ellis_Robbins
- wikipedia: Wikipedia Herbert Robbins, Herbert Robbins (topic). Also Wikidata Q951395
History
- 2026-10-26: add by m2/dev
8C23C9CQYG 8C23C9CQYG
| URI | m2://inv/8C23C9CQYG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 19-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 2504.00596#OUIL (statement). In F8RC6AENB0/e1, corollary 5.5
History
- 2026-10-27: add by m2/v0.3.5
8C26S5ADRG 8C26S5ADRG
| URI | m2://inv/8C26S5ADRG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 37-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.24623#O8F7 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Non-applicability of the strong maximum principle 8C27K83N55
| URI | m2://inv/8C27K83N55 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Maximum principle#GYG4, Non-applicability of the strong maximum principle (statement)
History
- 2026-11-02: add by m2/dev
8C2AYGWBMW 8C2AYGWBMW
| URI | m2://inv/8C2AYGWBMW |
|---|---|
| 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.17267#SW98 (statement). In 5VWB4A47R5/e1, theorem 2.4
History
- 2026-10-28: add by m2/v0.4.2
Supporting hyperplane theorem 8C2BJ4YCSG
| URI | m2://inv/8C2BJ4YCSG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#L3K7, Supporting hyperplane theorem (definition)
History
- 2026-11-02: add by m2/dev
Fivepenny 8C2C5Q99V1
| URI | m2://inv/8C2C5Q99V1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#S9K2, Fivepenny (unknown)
History
- 2026-11-02: add by m2/dev
Named set theory 8C2DJ8AT6C
| URI | m2://inv/8C2DJ8AT6C |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Named set theory, Named set theory (topic). Also Wikidata Q25112370
History
- 2026-11-02: add by m2/dev
8C2GH7FFV2 8C2GH7FFV2
| URI | m2://inv/8C2GH7FFV2 |
|---|---|
| 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.13580#0E5R (statement). In KEQ57N9N7Z/e1, lemma 5.4
History
- 2026-10-28: add by m2/v0.4.2
Examples 8C2ZP7AXRB
| URI | m2://inv/8C2ZP7AXRB |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 1-in-3-SAT#KWRX, Examples (example)
History
- 2026-11-02: add by m2/dev
Exponential moment of the sum of conditional second moments 8C35H7SSG2
| URI | m2://inv/8C35H7SSG2 |
|---|---|
| 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#MXDL, Exponential moment of the sum of conditional second moments (statement). In 7XV6T4N79V/e1, corollary 4.6
History
- 2026-10-29: add by m2/v0.4.10
Pál Révész 8C35VMJEZW
| URI | m2://inv/8C35VMJEZW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pál Révész, Pál Révész (topic). Also Wikidata Q1253223
History
- 2026-11-02: add by m2/dev
Friedrich Bessel 8C3XBJJY1M
| URI | m2://inv/8C3XBJJY1M |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#WF4W, Friedrich Bessel (topic)
History
- 2026-11-02: add by m2/dev
8C41SSGTGK 8C41SSGTGK
| URI | m2://inv/8C41SSGTGK |
|---|---|
| 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.20259#3IA2 (statement). In VHNRE38D97/e1, proposition 2.2
History
- 2026-10-27: add by m2/v0.4.2
path, dependent, in identity types 8C42DWEYJ5
| URI | m2://inv/8C42DWEYJ5 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/1.11/path-dependent-in-identity-types, path, dependent, in identity types (concept). In N54F33XE07, index, section 1.11
History
- 2026-11-01: add by m2/v0.6.13
Conservation laws 8C447G121M
| URI | m2://inv/8C447G121M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Electromagnetic stress–energy tensor#T2LK, Conservation laws (statement)
History
- 2026-11-02: add by m2/dev
Optical-fiber lamp 8C4583ME7Z
| URI | m2://inv/8C4583ME7Z |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Optical fiber#7NCC, Optical-fiber lamp (unknown)
History
- 2026-11-02: add by m2/dev
General Relativity 8C4BG9V8CG
| URI | m2://inv/8C4BG9V8CG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia General Relativity (book), General Relativity (definition). Also Wikidata Q5532148
History
- 2026-11-02: add by m2/dev
Applications 8C4C4X971G
| URI | m2://inv/8C4C4X971G |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chebyshev distance#4KEU, Applications (example)
History
- 2026-11-02: add by m2/dev
Matrix splitting 8C4R0WJQ0C
| URI | m2://inv/8C4R0WJQ0C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of operator splitting topics#9TWS, Matrix splitting (definition)
History
- 2026-11-02: add by m2/dev
8C4RAQ54M2 8C4RAQ54M2
| URI | m2://inv/8C4RAQ54M2 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-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.13213#GKE7 (definition). In V97F4YZ8B0/e1, definition 4.8
History
- 2026-10-28: add by m2/v0.4.2
8C4RZ37DCF 8C4RZ37DCF
| URI | m2://inv/8C4RZ37DCF |
|---|---|
| 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.40191#HGW7 (statement). In F0D8VSM4Z4/e1, theorem 5.4
History
- 2026-10-30: add by m2/v0.4.12
8C581K895T 8C581K895T
| URI | m2://inv/8C581K895T |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section5-1.xml#activity-2 (exercise). In 649HGZKE96, activity, section 5.1.3
History
- 2026-11-01: add by m2/v0.6.13
8C5C8CPGGM 8C5C8CPGGM
| URI | m2://inv/8C5C8CPGGM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31220#1FXT (statement). In JMWCGMNE84/e1, theorem 4.1
History
- 2026-10-31: add by m2/v0.5.6
Weil's conjecture on Tamagawa numbers 8C5CSVSMYW
| URI | m2://inv/8C5CSVSMYW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tamagawa number#3CC7, Weil's conjecture on Tamagawa numbers (statement)
History
- 2026-11-02: add by m2/dev
8C5G9RVJT2 8C5G9RVJT2
| URI | m2://inv/8C5G9RVJT2 |
|---|---|
| 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 2212.11038#P9HB (statement). In M3E3ARMJXK/e1, lemma 3.4
History
- 2026-10-27: add by m2/v0.3.5
Olive Jean Dunn 8C5HY3QJ8R
| URI | m2://inv/8C5HY3QJ8R |
|---|---|
| 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#5SQU, Olive Jean Dunn (topic)
History
- 2026-11-02: add by m2/dev
Brian Snow 8C5RGPK012
| URI | m2://inv/8C5RGPK012 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Brian Snow, Brian Snow (topic). Also Wikidata Q52003996
History
- 2026-11-02: add by m2/dev
Subdivision chain equivalence 8C645PAXF5
| URI | m2://inv/8C645PAXF5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-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.27799#3BG9, Subdivision chain equivalence (statement)
History
- 2026-11-01: add by m2/v0.6.15
Non-commutative conditional expectation 8C66TS4HAQ
| URI | m2://inv/8C66TS4HAQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Non-commutative conditional expectation, Non-commutative conditional expectation (definition). Also Wikidata Q19598150
History
- 2026-11-02: add by m2/dev
8C6ACNXJA0 8C6ACNXJA0
| URI | m2://inv/8C6ACNXJA0 |
|---|---|
| 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 math/9201244#LS0O (definition). In 7D3HCN21MK/e1, definition 3.7
History
- 2026-10-27: add by m2/v0.3.5
8C6CWKE23W 8C6CWKE23W
| URI | m2://inv/8C6CWKE23W |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX, 22-XX, 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0512416#0WPT (definition). In WJD9YPGGYH/e1, definition 5.1
History
- 2026-10-27: add by m2/v0.3.5
8C6HKZB8TE 8C6HKZB8TE
| URI | m2://inv/8C6HKZB8TE |
|---|---|
| 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.19694#SV8T (statement). In EP0M4RSZ9P/e1, theorem 5.3
History
- 2026-10-28: add by m2/v0.4.2
8C6JP3RDWZ 8C6JP3RDWZ
| URI | m2://inv/8C6JP3RDWZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.33584#X7XJ (statement). In 3HFBAWQCA1/e1, proposition 7.5
History
- 2026-10-30: add by m2/v0.4.12
Definition 8C6K3GX1Q4
| URI | m2://inv/8C6K3GX1Q4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Additive category#A2ZX, Definition (definition)
History
- 2026-11-02: add by m2/dev
French Institute for Research in Computer Science and Automation 8C6QVN04EN
| URI | m2://inv/8C6QVN04EN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia French Institute for Research in Computer Science and Automation, French Institute for Research in Computer Science and Automation (definition). Also Wikidata Q1146208
History
- 2026-11-02: add by m2/dev
Ōno's lexical law 8C6R5QEANE
| URI | m2://inv/8C6R5QEANE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ōno's lexical law, Ōno's lexical law (statement). Also Wikidata Q8081649
History
- 2026-11-02: add by m2/dev
8C6S7HJ7A0 8C6S7HJ7A0
| URI | m2://inv/8C6S7HJ7A0 |
|---|---|
| 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.24082#V8DM (statement)
History
- 2026-11-02: add by m2/v0.6.17
The Politics of Large Numbers 8C74ZY477R
| URI | m2://inv/8C74ZY477R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia The Politics of Large Numbers, The Politics of Large Numbers (definition). Also Wikidata Q123757869
History
- 2026-11-02: add by m2/dev
Hall's universal group 8C7640NG7Z
| URI | m2://inv/8C7640NG7Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hall's universal group, Hall's universal group (definition). Also Wikidata Q5642537
History
- 2026-11-02: add by m2/dev
Karl Prachar 8C77Q1KMMV
| URI | m2://inv/8C77Q1KMMV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Karl Prachar, Karl Prachar (topic). Also Wikidata Q89879
History
- 2026-11-02: add by m2/dev
8C78GMC0C9 8C78GMC0C9
| URI | m2://inv/8C78GMC0C9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of mathematical jargon#9OY5 (definition)
History
- 2026-11-02: add by m2/dev
Seven Troughs, Nevada 8C79XMERAP
| URI | m2://inv/8C79XMERAP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#ETFX, Seven Troughs, Nevada (unknown)
History
- 2026-11-02: add by m2/dev
8C7CARCGWX 8C7CARCGWX
| URI | m2://inv/8C7CARCGWX |
|---|---|
| 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.03327#P7R9 (statement). In EBNXA84CPM/e1, lemma 2.2
History
- 2026-10-29: add by m2/v0.4.12
Partial flatness 8C7V0DB7N6
| URI | m2://inv/8C7V0DB7N6 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17371#HZLE, Partial flatness (definition). In FF92TNYHQR/e1, definition 2
History
- 2026-10-28: add by m2/v0.4.2
8C7YWAZYJK 8C7YWAZYJK
| URI | m2://inv/8C7YWAZYJK |
|---|---|
| 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.04172#WJOX (statement). In 9Q1D1NMTTS/e1, theorem 3
History
- 2026-10-29: add by m2/v0.4.12
8C8BWYXWNG 8C8BWYXWNG
| URI | m2://inv/8C8BWYXWNG |
|---|---|
| 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.12329#75B4 (statement). In ZJQB9W60T6/e1, theorem 8.10
History
- 2026-10-28: add by m2/v0.4.2
One-sided lossless bigraph 8C8C5DN9SA
| URI | m2://inv/8C8C5DN9SA |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00525#UUIP, One-sided lossless bigraph (definition). In JN34PDDXH8/e1, definition 2.17
History
- 2026-10-30: add by m2/v0.4.12
8C8HBAYW0A 8C8HBAYW0A
| URI | m2://inv/8C8HBAYW0A |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 20-XX, 22-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
History
- 2026-10-31: add by m2/v0.5.6
Contour with respect to a fixed configuration $\omega^0$ 8C8JDP3EKQ
| URI | m2://inv/8C8JDP3EKQ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2310.11101#44PA, Contour with respect to a fixed configuration $\omega^0$ (definition). In YBBKTP4E70/e1, definition 4.3
History
- 2026-10-27: add by m2/v0.3.5
8C8P64R3YX 8C8P64R3YX
| URI | m2://inv/8C8P64R3YX |
|---|---|
| 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.06899#7HFV (statement). In 5Z2K9JGFSS/e1, lemma 3.7
History
- 2026-10-29: add by m2/v0.4.10
8C8Q8DJBYK 8C8Q8DJBYK
| URI | m2://inv/8C8Q8DJBYK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01915#9555 (statement). In 6HJQXZS0A6/e1, theorem 3.19
History
- 2026-10-29: add by m2/v0.4.12
Antolín-Blufstein-Paris 8C8RY93FW8
| URI | m2://inv/8C8RY93FW8 |
|---|---|
| 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.09704#D9MV, Antolín-Blufstein-Paris (statement). In FNG4B47MRV/e1, theorem 4.5
History
- 2026-10-29: add by m2/v0.4.10
Computation 8C8YBRQ15E
| URI | m2://inv/8C8YBRQ15E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Philosophy of computer science#GDPX, Computation (definition)
History
- 2026-11-02: add by m2/dev
8C9KW91FWK 8C9KW91FWK
| URI | m2://inv/8C9KW91FWK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2310.06695#24LR (statement). In D6F8XGF5SS/e1, proposition 5.3
History
- 2026-10-27: add by m2/v0.3.6
William Thurston 8C9P9R67JT
| URI | m2://inv/8C9P9R67JT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of geometers#QSNZ, William Thurston (topic)
History
- 2026-11-02: add by m2/dev
Suresh P. Sethi 8C9YBBGA6W
| URI | m2://inv/8C9YBBGA6W |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#18GG, Suresh P. Sethi (unknown)
History
- 2026-11-02: add by m2/dev
Ronald Fedkiw 8CA56JEJTA
| URI | m2://inv/8CA56JEJTA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ronald Fedkiw, Ronald Fedkiw (topic). Also Wikidata Q3710526
History
- 2026-11-02: add by m2/dev
8CA5801NZ5 8CA5801NZ5
| URI | m2://inv/8CA5801NZ5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07240#JL8S (statement). In D0F1GK5AHW/e1, proposition 1.7
History
- 2026-10-29: add by m2/v0.4.10
8CA72ME9WK 8CA72ME9WK
| URI | m2://inv/8CA72ME9WK |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13741#MYZI (example). In Q43F8N7XDE/e1, example 4.5
History
- 2026-10-28: add by m2/v0.4.2
Thom 8CAD8CAP2S
| URI | m2://inv/8CAD8CAP2S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#RLXE, Thom (definition)
History
- 2026-11-02: add by m2/dev
Posterior-universal conditional assignment 8CAFK7C0B5
| URI | m2://inv/8CAFK7C0B5 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29688#5EUR, Posterior-universal conditional assignment (definition)
History
- 2026-11-01: add by m2/v0.6.15
Function domain 8CATTQFDQG
| URI | m2://inv/8CATTQFDQG |
|---|---|
| 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 2609.29671#SGTG, Function domain (definition)
History
- 2026-11-01: add by m2/v0.6.15
8CAZZ17BS5 8CAZZ17BS5
| URI | m2://inv/8CAZZ17BS5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04305#CLTL (statement). In Y1DR0DPWD0/e1, corollary 6.8
History
- 2026-10-29: add by m2/v0.4.12
8CB5GPMTM6 8CB5GPMTM6
| URI | m2://inv/8CB5GPMTM6 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#proof-69 (proof). In VNMV985MXX, proof, section 6.2
History
- 2026-11-01: add by m2/v0.6.13
Hendrik van Heuraet 8CB87HT39X
| URI | m2://inv/8CB87HT39X |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hendrik van Heuraet, Hendrik van Heuraet (topic). Also Wikidata Q2564575
History
- 2026-11-02: add by m2/dev
Joachim von zur Gathen 8CB9NJVR89
| URI | m2://inv/8CB9NJVR89 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#SHVD, Joachim von zur Gathen (unknown)
- wikipedia: Wikipedia List of German mathematicians#RMEH, Joachim von zur Gathen (unknown)
History
- 2026-11-02: add by m2/dev
Exact square-cutoff law 8CBAHWGA7C
| URI | m2://inv/8CBAHWGA7C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32078#CVQN, Exact square-cutoff law (statement). In 5PN85N6EJF/e1, proposition 7.1
History
- 2026-10-31: add by m2/v0.5.6
8CBBH1QMHS 8CBBH1QMHS
| URI | m2://inv/8CBBH1QMHS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/cardinals/classing.tex#cor-1 (statement). In PKGMM3P5QY, cor, section 70.2
History
- 2026-11-01: add by m2/v0.6.13
Dedekind eta function 8CBH82KZSJ
| URI | m2://inv/8CBH82KZSJ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Dedekind eta function MX3CVYMNDV |
Mentions
- wikidata: Wikidata Q1182161, Dedekind eta function (concept). Also LMFDB knowl mf.half_integral_weight.dedekind_eta, MathWorld DedekindEtaFunction, nLab Dedekind eta function
- wikipedia: Wikipedia Dedekind eta function, Dedekind eta function (definition). Also Wikidata Q1182161
History
- 2026-10-26: add by m2/dev
8CBR157D84 8CBR157D84
| URI | m2://inv/8CBR157D84 |
|---|---|
| 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 1007.4365#HLYQ (statement). In 935WKCMD8C/e1, theorem 3
History
- 2026-10-27: add by m2/v0.3.5
8CBRFZX5C1 8CBRFZX5C1
| URI | m2://inv/8CBRFZX5C1 |
|---|---|
| Kind | statement |
| 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#E6B3 (statement). In BJGS6ZCQ12/e1, proposition 3.4
History
- 2026-10-27: add by m2/v0.3.6
724 (number) 8CBSVF5T35
| URI | m2://inv/8CBSVF5T35 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 700 (number)#A62B, 724 (number) (unknown)
History
- 2026-11-02: add by m2/dev
Applications 8CBV9MZ9TG
| URI | m2://inv/8CBV9MZ9TG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Borel–Carathéodory theorem#54Y2, Applications (example)
History
- 2026-11-02: add by m2/dev
8CBWBDK115 8CBWBDK115
| URI | m2://inv/8CBWBDK115 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21765#WASY (statement)
History
- 2026-11-02: add by m2/v0.6.18
Keith Fink 8CC0VBXMRA
| URI | m2://inv/8CC0VBXMRA |
|---|---|
| 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#U0HM, Keith Fink (unknown)
History
- 2026-11-02: add by m2/dev
8CC3SBRPF6 8CC3SBRPF6
| URI | m2://inv/8CC3SBRPF6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30976#KQK3 (statement). In 4QY9J1A0KT/e1, proposition 1
History
- 2026-10-31: add by m2/v0.5.6
Characterizations 8CC3TPY0W8
| URI | m2://inv/8CC3TPY0W8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Width of a hypergraph#8G06, Characterizations (statement)
History
- 2026-11-02: add by m2/dev
Cylinder inverse 8CC3ZQK1N0
| URI | m2://inv/8CC3ZQK1N0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18219#O072, Cylinder inverse (statement). In X1AGBB90EH/e1, lemma 5.13
History
- 2026-10-28: add by m2/v0.4.2
Cuthill–McKee algorithm 8CCC02H9ZK
| URI | m2://inv/8CCC02H9ZK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cuthill–McKee algorithm, Cuthill–McKee algorithm (definition). Also Wikidata Q1146458
History
- 2026-11-02: add by m2/dev
Ihara's constant 8CCD9H37DN
| URI | m2://inv/8CCD9H37DN |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32834#87Q7, Ihara's constant (definition). In N4M6B8EMCW/e1, definition 2.10
History
- 2026-10-31: add by m2/v0.5.6
8CCFMGK5HN 8CCFMGK5HN
| URI | m2://inv/8CCFMGK5HN |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-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 2609.21703#AWFT (definition)
History
- 2026-11-02: add by m2/v0.6.18
8CCFSM6ZGA 8CCFSM6ZGA
| URI | m2://inv/8CCFSM6ZGA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25912#INXP (statement)
History
- 2026-11-01: add by m2/v0.6.15
8CCGPC9A31 8CCGPC9A31
| URI | m2://inv/8CCGPC9A31 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36204#E9EH (statement). In ZEHQDJTEDG/e1, proposition 1.4
History
- 2026-10-30: add by m2/v0.4.12
8CCK05TH8Y 8CCK05TH8Y
| URI | m2://inv/8CCK05TH8Y |
|---|---|
| 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#01N3 (statement). In GM3S19KFDH/e1, lemma 2.3
History
- 2026-10-30: add by m2/v0.4.12
8CD5V7VSS4 8CD5V7VSS4
| URI | m2://inv/8CD5V7VSS4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 53-XX, 57-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2111.14699#3XJ8 (statement). In ES1CVGG59Y/e1, proposition 5.5
History
- 2026-10-27: add by m2/v0.3.5
Basic properties 8CD8N8Z7K2
| URI | m2://inv/8CD8N8Z7K2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linear canonical transformation#PZWC, Basic properties (statement)
History
- 2026-11-02: add by m2/dev
8CDKK9CEAD 8CDKK9CEAD
| URI | m2://inv/8CDKK9CEAD |
|---|---|
| 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.14838#JJMQ (statement). In J7ZX3WWRQP/e1, corollary 4.3
History
- 2026-10-28: add by m2/v0.4.2
Dirichlet-to-interior-Neumann map 8CDKXTKF9T
| URI | m2://inv/8CDKXTKF9T |
|---|---|
| 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.17519#SL03, Dirichlet-to-interior-Neumann map (statement). In H2DNTQ5MKV/e1, proposition 4.13
History
- 2026-10-28: add by m2/v0.4.2
Interior Schwarzschild metric 8CDMWYS6WD
| URI | m2://inv/8CDMWYS6WD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Interior Schwarzschild metric, Interior Schwarzschild metric (definition). Also Wikidata Q25113032
History
- 2026-11-02: add by m2/dev
Definitions 8CDV8MMQ35
| URI | m2://inv/8CDV8MMQ35 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chirplet transform#5FYW, Definitions (definition)
History
- 2026-11-02: add by m2/dev
8CDVX4V41K 8CDVX4V41K
| URI | m2://inv/8CDVX4V41K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26191#Y0L8 (statement)
History
- 2026-11-01: add by m2/v0.6.15
8CDWW90ACA 8CDWW90ACA
| URI | m2://inv/8CDWW90ACA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34856#OR0K (statement). In MRR92GQNZE/e1, proposition 2.7
History
- 2026-10-30: add by m2/v0.4.12
Lie derivative 8CE23FZ719
| URI | m2://inv/8CE23FZ719 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Lie groups topics#9JNV, Lie derivative (definition)
- wikipedia: Wikipedia List of differential geometry topics#F61W, Lie derivative (definition)
History
- 2026-11-02: add by m2/dev
8CE3MHMD5B 8CE3MHMD5B
| URI | m2://inv/8CE3MHMD5B |
|---|---|
| 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.35631#U2FV (statement). In 9NCX0S6MTP/e1, proposition B.1
History
- 2026-10-30: add by m2/v0.4.12
8CEBCDK0VT 8CEBCDK0VT
| URI | m2://inv/8CEBCDK0VT |
|---|---|
| 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.07114#L92J (statement). In HP3TM356J6/e1, theorem 3
History
- 2026-10-29: add by m2/v0.4.10
Extensions 8CEGP9256D
| URI | m2://inv/8CEGP9256D |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Integral#PTLI, Extensions (statement)
History
- 2026-11-02: add by m2/dev
Implementation 8CEJJF30A8
| URI | m2://inv/8CEJJF30A8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Optimal asymmetric encryption padding#CMDN, Implementation (definition)
History
- 2026-11-02: add by m2/dev
8CEV7RPBN4 8CEV7RPBN4
| URI | m2://inv/8CEV7RPBN4 |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29498#2F82 (problem)
History
- 2026-11-01: add by m2/v0.6.15
8CF24731RX 8CF24731RX
| URI | m2://inv/8CF24731RX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-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.39845#4G0Y (statement). In RK8DFVGQP1/e1, theorem 9
History
- 2026-10-30: add by m2/v0.4.12
8CF2DS5NKB 8CF2DS5NKB
| URI | m2://inv/8CF2DS5NKB |
|---|---|
| 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.21351#7T2N (statement). In 8TT2STBE9W/e1, fact 1
History
- 2026-10-27: add by m2/v0.4.2
8CF2MEF5FC 8CF2MEF5FC
| URI | m2://inv/8CF2MEF5FC |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/riemann-surface/morphism.tex#example-6 (example). In RZP28ERRZV, example, section 86.5
History
- 2026-11-01: add by m2/v0.6.13
Finite difference 8CF4BAWVWN
| URI | m2://inv/8CF4BAWVWN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#EU8E, Finite difference (definition)
History
- 2026-11-02: add by m2/dev
8CF6JJKGHF 8CF6JJKGHF
| URI | m2://inv/8CF6JJKGHF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04099#N9J6 (statement). In QPJ6FWG5HD/e1, proposition 2.82
History
- 2026-10-29: add by m2/v0.4.12
Kaplansky's unit conjecture 8CF6XG4A4V
| URI | m2://inv/8CF6XG4A4V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fibonacci group#DWS7, Kaplansky's unit conjecture (statement)
History
- 2026-11-02: add by m2/dev
8CFM94J0PA 8CFM94J0PA
| URI | m2://inv/8CFM94J0PA |
|---|---|
| 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 1011.4141#RUEQ (statement). In YQ4JYF18NH/e1, proposition 4.4
History
- 2026-10-27: add by m2/v0.3.5
8CG3V9FNVP 8CG3V9FNVP
| URI | m2://inv/8CG3V9FNVP |
|---|---|
| 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.30203#KPP0 (statement)
History
- 2026-11-01: add by m2/v0.6.15
exponential growth 8CG6N724H0
| URI | m2://inv/8CG6N724H0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Exponential growth and decay 00SVP6W3CB |
Mentions
- wikidata: Wikidata Q582659, exponential growth (unknown). Also MathWorld ExponentialGrowth
- wikipedia: Wikipedia Exponential growth, Exponential growth (definition). Also Wikidata Q582659
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Cure model 8CG79CXEDV
| URI | m2://inv/8CG79CXEDV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Survival analysis#HH17, Cure model (unknown)
History
- 2026-11-02: add by m2/dev
Joyal's extension and lifting theorems 8CGCTHDJQP
| URI | m2://inv/8CGCTHDJQP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Joyal's extension and lifting theorems, Joyal's extension and lifting theorems (statement). Also Wikidata Q134574613
History
- 2026-11-02: add by m2/dev
8CGJT2ENG8 8CGJT2ENG8
| URI | m2://inv/8CGJT2ENG8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08382#NIOX (statement). In GYMGDQS25R/e1, lemma 2.10
History
- 2026-10-29: add by m2/v0.4.10
Latin hypercube sampling 8CGMJXS5XT
| URI | m2://inv/8CGMJXS5XT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Latin hypercube sampling, Latin hypercube sampling (definition). Also Wikidata Q6496514
History
- 2026-11-02: add by m2/dev
Applications 8CGTYK21P7
| URI | m2://inv/8CGTYK21P7 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Point Cloud Library#3D5R, Applications (example)
History
- 2026-11-02: add by m2/dev
Mean reciprocal rank 8CGVG9VN1G
| URI | m2://inv/8CGVG9VN1G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mean reciprocal rank, Mean reciprocal rank (definition). Also Wikidata Q3853443
History
- 2026-11-02: add by m2/dev
8CH3A8K6ES 8CH3A8K6ES
| URI | m2://inv/8CH3A8K6ES |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15217#F4PD (definition). In G70Q2FB591/e1, definition 2.21
History
- 2026-10-28: add by m2/v0.4.2
Construction 8CH8D3BSN2
| URI | m2://inv/8CH8D3BSN2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 257-gon#VQA8, Construction (definition)
History
- 2026-11-02: add by m2/dev
Perfectly normal 8CHD89QXGE
| URI | m2://inv/8CHD89QXGE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of general topology#6408, Perfectly normal (definition)
History
- 2026-11-02: add by m2/dev
8CHFZAG9NM 8CHFZAG9NM
| URI | m2://inv/8CHFZAG9NM |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 35-XX, 65-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13680#ZP8A (unknown). In QNBFHFZ3H0/e1, unknown 80
History
- 2026-10-28: add by m2/v0.4.2
8CHGBM8J05 8CHGBM8J05
| URI | m2://inv/8CHGBM8J05 |
|---|---|
| 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.21005#47VL (statement). In E63NRC7MBE/e1, proposition 4.2
History
- 2026-10-27: add by m2/v0.4.2
Erdős Lectures 8CHHKWR1JP
| URI | m2://inv/8CHHKWR1JP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Erdős Lectures, Erdős Lectures (definition). Also Wikidata Q55610984
History
- 2026-11-02: add by m2/dev
Family systems theory 8CHMNMK0K0
| URI | m2://inv/8CHMNMK0K0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of types of systems theory#SID5, Family systems theory (unknown)
History
- 2026-11-02: add by m2/dev
Convex combinations on a continuous curve 8CHPMXQS7F
| URI | m2://inv/8CHPMXQS7F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10017#PIT1, Convex combinations on a continuous curve (statement). In CJRBKR4JKT/e1, lemma 2.3
History
- 2026-10-29: add by m2/v0.4.10
Rose–Vinet equation of state 8CHRWSYKSM
| URI | m2://inv/8CHRWSYKSM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rose–Vinet equation of state, Rose–Vinet equation of state (definition). Also Wikidata Q14174895
History
- 2026-11-02: add by m2/dev
Igor Rivin 8CHX7CJ310
| URI | m2://inv/8CHX7CJ310 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#M3B2, Igor Rivin (unknown)
History
- 2026-11-02: add by m2/dev
Procedure 8CJ3ARGCRJ
| URI | m2://inv/8CJ3ARGCRJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multidimensional scaling#E2YW, Procedure (definition)
History
- 2026-11-02: add by m2/dev
8CJCR4Z2HT 8CJCR4Z2HT
| URI | m2://inv/8CJCR4Z2HT |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36423#X42R (example). In Q5Z178SAHP/e1, example 5.6
History
- 2026-10-30: add by m2/v0.4.12
amount of substance 8CJESF1KNF
| URI | m2://inv/8CJESF1KNF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q104946, amount of substance (definition). Also ProofWiki Definition:Amount_of_Substance
History
- 2026-10-26: add by m2/dev
8CJHAX9AQJ 8CJHAX9AQJ
| URI | m2://inv/8CJHAX9AQJ |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 13-XX, 14-XX, 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23469#Z9CY (example)
History
- 2026-11-02: add by m2/v0.6.17
8CJKWT6QS3 8CJKWT6QS3
| URI | m2://inv/8CJKWT6QS3 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-first-order-ode.tex#exercise-21 (exercise). In E9HS8K3A52, exercise, section 4.2.3
History
- 2026-11-01: add by m2/v0.6.13
Christopher A. Sims 8CJT3T4A83
| URI | m2://inv/8CJT3T4A83 |
|---|---|
| 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#1ZS7, Christopher A. Sims (unknown)
History
- 2026-11-02: add by m2/dev
Ramsey number, small 8CJTGD34GC
| URI | m2://inv/8CJTGD34GC |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/11.2/ramsey-number-small, Ramsey number, small (concept). In QKM9DD2H56, index, section 11.2
History
- 2026-11-01: add by m2/v0.6.13
8CK3XN2A7E 8CK3XN2A7E
| URI | m2://inv/8CK3XN2A7E |
|---|---|
| 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.33829#3ZER (statement). In S34H2JTJHH/e1, proposition 3.7
History
- 2026-10-30: add by m2/v0.4.12
Kautz graph 8CK74PCDVW
| URI | m2://inv/8CK74PCDVW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kautz graph, Kautz graph (definition). Also Wikidata Q1737199
History
- 2026-11-02: add by m2/dev
Examples 8CKHAB337P
| URI | m2://inv/8CKHAB337P |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Absorbing element#CMDG, Examples (example)
History
- 2026-11-02: add by m2/dev
Ground formula 8CKHDZBQY9
| URI | m2://inv/8CKHDZBQY9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ground expression#KTCG, Ground formula (statement)
History
- 2026-11-02: add by m2/dev
Geometria Indivisibilibus Continuorum Nova Quadam Ratione Promota 8CKMC2B9AW
| URI | m2://inv/8CKMC2B9AW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a book, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q42190373, Geometria Indivisibilibus Continuorum Nova Quadam Ratione Promota (unknown). Also ProofWiki Book:Bonaventura_Cavalieri/Geometria_Indivisibilibus_Continuorum_Nova_Quadam_Ratione_Promota
History
- 2026-10-26: add by m2/dev
8CKQKTB5QV 8CKQKTB5QV
| URI | m2://inv/8CKQKTB5QV |
|---|---|
| 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.19360#T6MT (statement). In MFCW5CY96C/e1, lemma 53
History
- 2026-10-28: add by m2/v0.4.2
8CKZ4MDY0A 8CKZ4MDY0A
| URI | m2://inv/8CKZ4MDY0A |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.07644#NKD5 (definition). In TFAN2DR6FD/e1, definition 5
History
- 2026-10-27: add by m2/v0.3.5
8CM1K6GV2D 8CM1K6GV2D
| URI | m2://inv/8CM1K6GV2D |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/complex-ana/meromorphic.tex#problem-2 (exercise). In RZP28ERRZV, problem, section 41.6
History
- 2026-11-01: add by m2/v0.6.13
8CM6XMG7QF 8CM6XMG7QF
| URI | m2://inv/8CM6XMG7QF |
|---|---|
| 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 2601.22681#3RFW (statement). In 68VEQQX68G/e1, lemma 2.12
History
- 2026-10-27: add by m2/v0.4.0
Tiengemeten 8CMJZ27SNP
| URI | m2://inv/8CMJZ27SNP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#BF9K, Tiengemeten (unknown)
History
- 2026-11-02: add by m2/dev
8CMPM0AK93 8CMPM0AK93
| URI | m2://inv/8CMPM0AK93 |
|---|---|
| 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.15176#9QLJ (statement). In RKV0144CGA/e1, proposition 3.4
History
- 2026-10-28: add by m2/v0.4.2
reconstruction 8CMS4781AE
| URI | m2://inv/8CMS4781AE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#4WC9, reconstruction (definition)
History
- 2026-11-02: add by m2/dev
8CMYYNAW99 8CMYYNAW99
| URI | m2://inv/8CMYYNAW99 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26984#GJCG (statement)
History
- 2026-11-01: add by m2/v0.6.15
Mikael Rørdam 8CN0W9XJCJ
| URI | m2://inv/8CN0W9XJCJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mikael Rørdam, Mikael Rørdam (topic). Also Wikidata Q75184802
History
- 2026-11-02: add by m2/dev
8CN2EMFYFD 8CN2EMFYFD
| URI | m2://inv/8CN2EMFYFD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2108.01302#NUP0 (statement). In KTQS6YPA4E/e1, lemma 1.8
History
- 2026-10-27: add by m2/v0.3.5
Sarah Abramowitz 8CN3WTCXSV
| URI | m2://inv/8CN3WTCXSV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sarah Abramowitz, Sarah Abramowitz (topic). Also Wikidata Q105773629
History
- 2026-11-02: add by m2/dev
integral 8CN3WYVA2T
| URI | m2://inv/8CN3WYVA2T |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q80091, integral (concept). Also MathWorld Integral
- wikipedia: Wikipedia Integral, Integral (definition). Also Wikidata Q80091
History
- 2026-10-26: add by m2/dev
8CN56AD26P 8CN56AD26P
| URI | m2://inv/8CN56AD26P |
|---|---|
| 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.01883#DUMG (statement). In CYV4P9TDV0/e1, lemma 5.6
History
- 2026-10-29: add by m2/v0.4.12
Semi-continuity of Artin invariants 8CN68R08TE
| URI | m2://inv/8CN68R08TE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08382#KMYU, Semi-continuity of Artin invariants (statement). In GYMGDQS25R/e1, theorem 6.5
History
- 2026-10-29: add by m2/v0.4.10
Static analysis 8CNAQ9JEKX
| URI | m2://inv/8CNAQ9JEKX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Static analysis, Static analysis (definition). Also Wikidata Q7604153
History
- 2026-11-02: add by m2/dev
8CNH6YG9ZN 8CNH6YG9ZN
| URI | m2://inv/8CNH6YG9ZN |
|---|---|
| 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.28075#YGQX (statement)
History
- 2026-11-01: add by m2/v0.6.15
8CNMY1J0D8 8CNMY1J0D8
| URI | m2://inv/8CNMY1J0D8 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26896#6MNI (definition)
History
- 2026-11-01: add by m2/v0.6.15
Pickands–Balkema–De Haan theorem 8CNTB14A5C
| URI | m2://inv/8CNTB14A5C |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 60-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q7190748, Pickands–Balkema–de Haan theorem (statement). Also Wikidata Q7190748
- thousand_plus: thousand_plus Q7190748, Pickands–Balkema–de Haan theorem (statement). Also Wikidata Q7190748, Wikipedia Pickands–Balkema–de Haan theorem
- wikipedia: Wikipedia Pickands–Balkema–De Haan theorem, Pickands–Balkema–De Haan theorem (statement). Also Wikidata Q7190748
History
- 2026-10-26: add by m2/dev
8CNZ4QEM27 8CNZ4QEM27
| URI | m2://inv/8CNZ4QEM27 |
|---|---|
| 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.23258#UNZA (statement)
History
- 2026-11-02: add by m2/v0.6.17
Unknown nonsmooth regularity 8CP12BYXCN
| URI | m2://inv/8CP12BYXCN |
|---|---|
| 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.15202#NT8O, Unknown nonsmooth regularity (statement). In X1FPG0KYBM/e1, corollary L.7
History
- 2026-10-28: add by m2/v0.4.2
Planar ternary ring 8CP8F71ZH6
| URI | m2://inv/8CP8F71ZH6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Planar ternary ring, Planar ternary ring (definition). Also Wikidata Q2405012
History
- 2026-11-02: add by m2/dev
8CPH46THTX 8CPH46THTX
| URI | m2://inv/8CPH46THTX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24008#9LUP (statement)
History
- 2026-11-02: add by m2/v0.6.17
quotient 8CPXVFPN1G
| URI | m2://inv/8CPXVFPN1G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#IMTN, quotient (definition)
History
- 2026-11-02: add by m2/dev
Johan Wästlund 8CPXX77M3G
| URI | m2://inv/8CPXX77M3G |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#3T4W, Johan Wästlund (unknown)
History
- 2026-11-02: add by m2/dev
Timing side-channels 8CQ0BDA8ET
| URI | m2://inv/8CQ0BDA8ET |
|---|---|
| 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 1803.10042#GPHC, Timing side-channels (example). In 718SP8YERQ/e1, example A4
History
- 2026-10-27: add by m2/v0.3.5
8CQ3W0DY9F 8CQ3W0DY9F
| URI | m2://inv/8CQ3W0DY9F |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book categories.tex#proof-6 (proof). In N54F33XE07, proof, section 2.2
History
- 2026-11-01: add by m2/v0.6.13
♯P 8CQ5ZY4V80
| URI | m2://inv/8CQ5ZY4V80 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia ♯P, ♯P (definition). Also Wikidata Q1322138
History
- 2026-11-02: add by m2/dev
8CQ6JMD4KH 8CQ6JMD4KH
| URI | m2://inv/8CQ6JMD4KH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 46-XX, 47-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 1711.00219#DYKY (statement). In 7V3HG30ZGW/e1, proposition A.7
History
- 2026-10-27: add by m2/v0.4.0
Strict value of terminal information 8CQ99H86AZ
| URI | m2://inv/8CQ99H86AZ |
|---|---|
| Kind | example |
| 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.18180#TG7S, Strict value of terminal information (example). In NJGS7D1EPH/e1, example 6.3
History
- 2026-10-28: add by m2/v0.4.2
Example 8CQGNC55Y2
| URI | m2://inv/8CQGNC55Y2 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Significand#TKRW, Example (example)
History
- 2026-11-02: add by m2/dev
8CQMJQEBPH 8CQMJQEBPH
| URI | m2://inv/8CQMJQEBPH |
|---|---|
| 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 2406.19866#FX6J (definition). In 9F94CEQ1ZM/e1, definition 5.11
History
- 2026-10-27: add by m2/v0.3.5
No free lunch theorem (search and optimization) 8CQSHBJJ2K
| URI | m2://inv/8CQSHBJJ2K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#H5V0, No free lunch theorem (search and optimization) (definition)
History
- 2026-11-02: add by m2/dev
logicism 8CQYP1A0T0
| URI | m2://inv/8CQYP1A0T0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Logicism 5PGSQYB5Y1 |
Mentions
- wikidata: Wikidata Q845691, logicism (definition). Also ProofWiki Definition:Logicism
- wikipedia: Wikipedia Logicism, Logicism (definition). Also Wikidata Q845691
History
- 2026-10-26: add by m2/dev
Theorem 8CQZC5HAVN
| URI | m2://inv/8CQZC5HAVN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia FEE method#2TSY, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Vanishing of nontrivial characters 8CR04TEVEY
| URI | m2://inv/8CR04TEVEY |
|---|---|
| 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.13429#A2AK, Vanishing of nontrivial characters (statement). In B2VB5T5WQD/e1, lemma 2.11
History
- 2026-10-28: add by m2/v0.4.2
R. P. Boas 8CR288A39G
| URI | m2://inv/8CR288A39G |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of eponyms of special functions#DS9L, R. P. Boas (topic)
History
- 2026-11-02: add by m2/dev
8CRKGB3FW6 8CRKGB3FW6
| URI | m2://inv/8CRKGB3FW6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2506.16491#GMCW (statement). In P9J6P06Y40/e1, theorem 5.12
History
- 2026-10-27: add by m2/v0.3.5
Algorithm 8CRMQ781WZ
| URI | m2://inv/8CRMQ781WZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graph cuts in computer vision and artificial intelligence#OYQH, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
8CRPZPZ421 8CRPZPZ421
| URI | m2://inv/8CRPZPZ421 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22074#XVGB (statement). In F3BKXXPR3K/e1, proposition 3.41
History
- 2026-10-27: add by m2/v0.4.2
Todd–Coxeter algorithm 8CRTQ2VKPH
| URI | m2://inv/8CRTQ2VKPH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Todd–Coxeter algorithm, Todd–Coxeter algorithm (definition). Also Wikidata Q690505
History
- 2026-11-02: add by m2/dev
Shield of the Trinity 8CRWR3FFGN
| URI | m2://inv/8CRWR3FFGN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of triangle topics#S82D, Shield of the Trinity (unknown)
History
- 2026-11-02: add by m2/dev
8CS092CJFN 8CS092CJFN
| URI | m2://inv/8CS092CJFN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09319#J1CC (statement). In GMRT5GHBZS/e1, lemma A.1
History
- 2026-10-29: add by m2/v0.4.10
8CS5N82WKJ 8CS5N82WKJ
| URI | m2://inv/8CS5N82WKJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33173#VE4Z (statement). In R630A60CMM/e1, corollary 5.3
History
- 2026-10-30: add by m2/v0.4.12
Non-malleable code 8CS6NCH560
| URI | m2://inv/8CS6NCH560 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Non-malleable code, Non-malleable code (definition). Also Wikidata Q25304454
History
- 2026-11-02: add by m2/dev
Thomae's formula 8CS7J1RVYV
| URI | m2://inv/8CS7J1RVYV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thomae's formula, Thomae's formula (statement). Also Wikidata Q7786765
History
- 2026-11-02: add by m2/dev
8CS9SWMABG 8CS9SWMABG
| URI | m2://inv/8CS9SWMABG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/measure/caratheodory.tex#prop:cm_compatible (statement). In RZP28ERRZV, proposition, section 63.3
History
- 2026-11-01: add by m2/v0.6.13
Hungarian Operations Research Society 8CSCGH3VGH
| URI | m2://inv/8CSCGH3VGH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hungarian Operations Research Society, Hungarian Operations Research Society (definition). Also Wikidata Q20974129
History
- 2026-11-02: add by m2/dev
8CSCM5AGCV 8CSCM5AGCV
| URI | m2://inv/8CSCM5AGCV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39615#Q6PN (statement). In RNXRAZYR3S/e1, proposition 3.4
History
- 2026-10-30: add by m2/v0.4.12
Dijkstra's algorithm 8CSKB3BK7E
| URI | m2://inv/8CSKB3BK7E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#GPO6, Dijkstra's algorithm (definition)
History
- 2026-11-02: add by m2/dev
8CSRBJHNEX 8CSRBJHNEX
| URI | m2://inv/8CSRBJHNEX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16339#SFUD (statement). In ER5EH4W919/e1, theorem 1.5
History
- 2026-10-28: add by m2/v0.4.2
8CT69HNWQG 8CT69HNWQG
| URI | m2://inv/8CT69HNWQG |
|---|---|
| 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.08658#GSDQ (statement). In 7PK5WS7246/e1, proposition A.1
History
- 2026-10-29: add by m2/v0.4.10
8CT6N0VS70 8CT6N0VS70
| URI | m2://inv/8CT6N0VS70 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33512#VB6S (statement). In WYHZMYZT31/e1, theorem 3.14
History
- 2026-10-30: add by m2/v0.4.12
8CT6ZV5SN1 8CT6ZV5SN1
| URI | m2://inv/8CT6ZV5SN1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16241#E0R7 (statement). In WNDHZVY4WK/e1, theorem 5.4
History
- 2026-10-28: add by m2/v0.4.2
Claude Berge 8CV62MDCXE
| URI | m2://inv/8CV62MDCXE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Claude Berge, Claude Berge (topic). Also Wikidata Q551830
History
- 2026-11-02: add by m2/dev
Riemann sphere 8CVA0P167Q
| URI | m2://inv/8CVA0P167Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Bernhard Riemann#9RPW, Riemann sphere (definition)
- wikipedia: Wikipedia List of complex analysis topics#HPDP, Riemann sphere (definition)
History
- 2026-11-02: add by m2/dev
Annals of Mathematics Studies 8CVA57C62G
| URI | m2://inv/8CVA57C62G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Annals of Mathematics Studies, Annals of Mathematics Studies (definition). Also Wikidata Q15763006
History
- 2026-11-02: add by m2/dev
8CVCSZVJ30 8CVCSZVJ30
| URI | m2://inv/8CVCSZVJ30 |
|---|---|
| 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 1002.0879#JUV1 (definition). In M0SQY5EZN5/e1, definition 4.7.5
History
- 2026-10-27: add by m2/v0.3.5
8CVE3W9QGK 8CVE3W9QGK
| URI | m2://inv/8CVE3W9QGK |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30407#KK5R (definition). In HNY6N561H5/e1, definition 2.1
History
- 2026-10-31: add by m2/v0.5.6
Richard Lyons 8CVGFJX2GF
| URI | m2://inv/8CVGFJX2GF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#KSKW, Richard Lyons (topic)
History
- 2026-11-02: add by m2/dev
Center-of-gravity method 8CVGJ0K98R
| URI | m2://inv/8CVGJ0K98R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Center-of-gravity method, Center-of-gravity method (definition). Also Wikidata Q123772712
History
- 2026-11-02: add by m2/dev
Kryptographik 8CVNKNXEP6
| URI | m2://inv/8CVNKNXEP6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kryptographik, Kryptographik (definition). Also Wikidata Q104858487
History
- 2026-11-02: add by m2/dev
Enhanced differential Gr\"onwall inequality 8CVTJ0XNW5
| URI | m2://inv/8CVTJ0XNW5 |
|---|---|
| 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.27414#B93Z, Enhanced differential Gr\"onwall inequality (statement)
History
- 2026-11-01: add by m2/v0.6.15
8CVW0B4Y6M 8CVW0B4Y6M
| URI | m2://inv/8CVW0B4Y6M |
|---|---|
| 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.29489#ZSIR (statement)
History
- 2026-11-01: add by m2/v0.6.15
Remscheid 8CVXH9W3EC
| URI | m2://inv/8CVXH9W3EC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#Q5IY, Remscheid (unknown)
History
- 2026-11-02: add by m2/dev
Amir Mohammadi 8CW45S2PK3
| URI | m2://inv/8CW45S2PK3 |
|---|---|
| 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#YP3X, Amir Mohammadi (topic)
History
- 2026-11-02: add by m2/dev
8CW64YVB3Q 8CW64YVB3Q
| URI | m2://inv/8CW64YVB3Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 11-XX, 26-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21725#5R8Z (statement). In BQDZN6GRGF/e1, corollary 4.3
History
- 2026-10-27: add by m2/v0.4.2
8CWEYNZYEJ 8CWEYNZYEJ
| URI | m2://inv/8CWEYNZYEJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-several-vars-ders.tex#defn-4 (definition). In E59CDZA4DP, defn, section 11.1.3
History
- 2026-11-01: add by m2/v0.6.13
8CWNR3QCK0 8CWNR3QCK0
| URI | m2://inv/8CWNR3QCK0 |
|---|---|
| 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.38548#FBKI (statement). In Z7ZFV3HM1S/e1, lemma 5.9
History
- 2026-10-30: add by m2/v0.4.12
8CWS2050AG 8CWS2050AG
| URI | m2://inv/8CWS2050AG |
|---|---|
| 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.21017#H5PG (definition)
History
- 2026-11-02: add by m2/v0.6.18
cubical graph 8CWS5JT8YW
| URI | m2://inv/8CWS5JT8YW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3115569, cubical graph (unknown). Also House of Graphs 1022, MathWorld CubicalGraph
History
- 2026-10-26: add by m2/dev
Smooth Gaussian replacement and score 8CWT64VQ67
| URI | m2://inv/8CWT64VQ67 |
|---|---|
| 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#TRRG, Smooth Gaussian replacement and score (statement). In TJT32RQ9GC/e1, lemma 2.3
History
- 2026-10-29: add by m2/v0.4.10
Harish-Chandra class 8CX0SEXEHW
| URI | m2://inv/8CX0SEXEHW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Harish-Chandra class, Harish-Chandra class (definition). Also Wikidata Q5657835
History
- 2026-11-02: add by m2/dev
8CXE7C30HR 8CXE7C30HR
| URI | m2://inv/8CXE7C30HR |
|---|---|
| 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.01240#4Z26 (statement). In XD5HCP8DHF/e1, lemma 20
History
- 2026-10-29: add by m2/v0.4.12
8CXFA11FCW 8CXFA11FCW
| URI | m2://inv/8CXFA11FCW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2411.05198#EJKO (statement). In NJWY6HPFHG/e1, fact 6
History
- 2026-10-27: add by m2/v0.3.5
Federico Ardila 8CXFY0H83C
| URI | m2://inv/8CXFY0H83C |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Federico Ardila, Federico Ardila (topic). Also Wikidata Q85748548
History
- 2026-11-02: add by m2/dev
For a singularity at infinity (\infty) 8CXGT0NXNH
| URI | m2://inv/8CXGT0NXNH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cauchy principal value#1F91, For a singularity at infinity (\infty) (definition)
History
- 2026-11-02: add by m2/dev
Blooming 8CXHR1MP9N
| URI | m2://inv/8CXHR1MP9N |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Blooming (geometry), Blooming (object). Also Wikidata Q107355414
History
- 2026-11-02: add by m2/dev
Algebraic closure of a finite field 8CXT756Z0H
| URI | m2://inv/8CXT756Z0H |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Finite field#X9BC, Algebraic closure of a finite field (unknown)
History
- 2026-11-02: add by m2/dev
Poincar\'e--Bendixson\footnote{ \href{https://en.wikipedia.org/wiki/Ivar_Otto_Bendixson}{Ivar Otto Bendixson} (1861--1935) was a Swedish mathematician.} 8CXTVVJEDG
| URI | m2://inv/8CXTVVJEDG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-nonlin-systems.tex#theorem-1, Poincar\'e--Bendixson\footnote{ \href{https://en.wikipedia.org/wiki/Ivar_Otto_Bendixson}{Ivar Otto Bendixson} (1861--1935) was a Swedish mathematician.} (statement). In E9HS8K3A52, theorem, section 8.4
History
- 2026-11-01: add by m2/v0.6.13
8CXW0Q8M66 8CXW0Q8M66
| URI | m2://inv/8CXW0Q8M66 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-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.27420#AF9Q (statement)
History
- 2026-11-01: add by m2/v0.6.15
8CYC747MH4 8CYC747MH4
| URI | m2://inv/8CYC747MH4 |
|---|---|
| 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 2601.15010#QB60 (statement). In K3WJ6ZN184/e1, lemma 10.6
History
- 2026-10-27: add by m2/v0.3.5
8CYGG09BGR 8CYGG09BGR
| URI | m2://inv/8CYGG09BGR |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/natural-deduction/provability-consistency.tex#proof-3 (proof). In PKGMM3P5QY, proof, section 15.3
History
- 2026-11-01: add by m2/v0.6.13
Genericity 8CYM4X55W6
| URI | m2://inv/8CYM4X55W6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arrow–Debreu model#F7EB, Genericity (statement)
History
- 2026-11-02: add by m2/dev
Carole Lacampagne 8CYN4F4DG5
| URI | m2://inv/8CYN4F4DG5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Carole Lacampagne, Carole Lacampagne (topic). Also Wikidata Q19666651
History
- 2026-11-02: add by m2/dev
8CZ17QY1C9 8CZ17QY1C9
| URI | m2://inv/8CZ17QY1C9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25539#2AM8 (statement)
History
- 2026-11-01: add by m2/v0.6.15
8CZ4H8PD6G 8CZ4H8PD6G
| URI | m2://inv/8CZ4H8PD6G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04870#BQ40 (statement). In X765ZXXVC3/e1, theorem 4.19
History
- 2026-10-29: add by m2/v0.4.12
Joseph of Spain 8CZD6JX72M
| URI | m2://inv/8CZD6JX72M |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#M42X, Joseph of Spain (unknown)
History
- 2026-11-02: add by m2/dev
Bisika, Thomas John 8CZD6YMER6
| URI | m2://inv/8CZD6YMER6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#V6AW, Bisika, Thomas John (unknown)
History
- 2026-11-02: add by m2/dev
noncommutative symmetric function 8CZE8HEKAK
| URI | m2://inv/8CZE8HEKAK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q17099437, noncommutative symmetric function (unknown). Also nLab noncommutative symmetric function
- wikipedia: Wikipedia Noncommutative symmetric function, Noncommutative symmetric function (definition). Also Wikidata Q17099437
History
- 2026-10-26: add by m2/dev
8CZFD7M6RN 8CZFD7M6RN
| URI | m2://inv/8CZFD7M6RN |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 19-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40028#TAFZ (definition). In N8TDKGGC7S/e1, definition 3.3
History
- 2026-10-30: add by m2/v0.4.12
Lyapunov exponent 8CZJE59YAE
| URI | m2://inv/8CZJE59YAE |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Lyapunov exponent NJ1FJSNK6A |
Mentions
- wikidata: Wikidata Q1238630, Lyapunov exponent (concept). Also MathWorld LyapunovCharacteristicExponent
- wikipedia: Wikipedia Lyapunov exponent, Lyapunov exponent (definition). Also Wikidata Q1238630
History
- 2026-10-26: add by m2/dev
Hodge manifold 8CZSJ0YRQ3
| URI | m2://inv/8CZSJ0YRQ3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kähler manifold#XPXQ, Hodge manifold (unknown)
History
- 2026-11-02: add by m2/dev
8CZW2RY2AT 8CZW2RY2AT
| URI | m2://inv/8CZW2RY2AT |
|---|---|
| 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.22218#LART (statement). In 338GKREFVP/e1, lemma 57
History
- 2026-10-27: add by m2/v0.4.0