Inventory rows V2
The cards of the rows of the inventory whose ids start with V2. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Channel chain rules and sharp signed scaffold-surplus bounds V208QB2PK4
| URI | m2://inv/V208QB2PK4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25039#BXOF, Channel chain rules and sharp signed scaffold-surplus bounds (statement)
History
- 2026-11-01: add by m2/v0.6.15
Method V20B1TTCE3
| URI | m2://inv/V20B1TTCE3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Error correction code#F9OA, Method (definition)
History
- 2026-11-02: add by m2/dev
V20GH7GG5J V20GH7GG5J
| URI | m2://inv/V20GH7GG5J |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28893#08BN (unknown)
History
- 2026-11-01: add by m2/v0.6.15
Cell phone problem V20HJ6V13D
| URI | m2://inv/V20HJ6V13D |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Opinion poll#4YQH, Cell phone problem (unknown)
History
- 2026-11-02: add by m2/dev
Ray class coordinates V20J0717AH
| URI | m2://inv/V20J0717AH |
|---|---|
| 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.15262#RCNN, Ray class coordinates (statement). In C44HVXWYRF/e1, lemma 7.3
History
- 2026-10-28: add by m2/v0.4.2
Finite operator algorithm V20JSY3D81
| URI | m2://inv/V20JSY3D81 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-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.10828#87SG, Finite operator algorithm (definition). In 8PTDFHV8SQ/e1, definition 8.1
History
- 2026-10-28: add by m2/v0.4.3
V20K60B2XN V20K60B2XN
| URI | m2://inv/V20K60B2XN |
|---|---|
| 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.19535#KD2W (statement). In MJXSE9QR4X/e1, lemma 2.3
History
- 2026-10-28: add by m2/v0.4.2
V20S990W95 V20S990W95
| URI | m2://inv/V20S990W95 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32174#V0C7 (definition). In GHKR740SG3/e1, definition 6.1
History
- 2026-10-31: add by m2/v0.5.6
V211CYD5N4 V211CYD5N4
| URI | m2://inv/V211CYD5N4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-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 2602.15812#CDRK (statement). In GAAZD3SGPN/e1, theorem
History
- 2026-10-27: add by m2/v0.3.5
Absolute integral closure V213495P9Z
| URI | m2://inv/V213495P9Z |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Integral element#LMS7, Absolute integral closure (unknown)
History
- 2026-11-02: add by m2/dev
Degree $12$ V213YXJPFF
| URI | m2://inv/V213YXJPFF |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23781#6YTA, Degree $12$ (example)
History
- 2026-11-02: add by m2/v0.6.17
Results V216Z0Q429
| URI | m2://inv/V216Z0Q429 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Unique games conjecture#QC7T, Results (statement)
History
- 2026-11-02: add by m2/dev
Sample update before the terminal modal neighborhood V217WD9RQZ
| URI | m2://inv/V217WD9RQZ |
|---|---|
| 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.01050#MURZ, Sample update before the terminal modal neighborhood (statement). In 48NN33SAH7/e1, lemma G.4
History
- 2026-10-29: add by m2/v0.4.12
V21A1WDWTJ V21A1WDWTJ
| URI | m2://inv/V21A1WDWTJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10469#AIEA (statement). In Q39BEKW6D9/e1, lemma 2.16
History
- 2026-10-29: add by m2/v0.4.10
Generic point V21F3Y63CB
| URI | m2://inv/V21F3Y63CB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of general topology#DSQY, Generic point (definition)
History
- 2026-11-02: add by m2/dev
V21G5ZDY68 V21G5ZDY68
| URI | m2://inv/V21G5ZDY68 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2308.08081#W2LB (statement). In FJ8XVQ6F0T/e1, lemma 3.2
History
- 2026-10-27: add by m2/v0.4.0
Example V21GR12Y2X
| URI | m2://inv/V21GR12Y2X |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conditional dependence#WMQ9, Example (example)
History
- 2026-11-02: add by m2/dev
V21S3NQT24 V21S3NQT24
| URI | m2://inv/V21S3NQT24 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2102.12931#T0FJ (statement). In PQHTR84RAJ/e1, proposition 5.3
History
- 2026-10-27: add by m2/v0.4.0
V21T1RZVCZ V21T1RZVCZ
| URI | m2://inv/V21T1RZVCZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20805#T74X (statement)
History
- 2026-11-02: add by m2/v0.6.18
V21V589113 V21V589113
| URI | m2://inv/V21V589113 |
|---|---|
| Kind | definition |
| 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 2610.06683#IR20 (definition). In NH7VBYH6PH/e1, definition 2.2
History
- 2026-10-29: add by m2/v0.4.10
V221AYHW57 V221AYHW57
| URI | m2://inv/V221AYHW57 |
|---|---|
| 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.06895#1PNT (statement). In PBB3PSDP0S/e1, lemma 7
History
- 2026-10-29: add by m2/v0.4.10
Integral geometry V221MB9GQX
| URI | m2://inv/V221MB9GQX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#71R2, Integral geometry (definition)
History
- 2026-11-02: add by m2/dev
V223HCBB72 V223HCBB72
| URI | m2://inv/V223HCBB72 |
|---|---|
| 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#120X (statement). In BJGS6ZCQ12/e1, theorem 5.3
History
- 2026-10-27: add by m2/v0.3.6
V2288YYDKW V2288YYDKW
| URI | m2://inv/V2288YYDKW |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-systems.tex#exercise-58 (exercise). In E9HS8K3A52, exercise, section 10.5.1
History
- 2026-11-01: add by m2/v0.6.13
V22FRY099A V22FRY099A
| URI | m2://inv/V22FRY099A |
|---|---|
| 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.26713#VYGB (definition)
History
- 2026-11-01: add by m2/v0.6.15
uniqueness, principle, propositional, for functions on a pushout V22HCXPHX4
| URI | m2://inv/V22HCXPHX4 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/5.8/uniqueness-principle-propositional-for-functions-on-a-pushout, uniqueness, principle, propositional, for functions on a pushout (concept). In N54F33XE07, index, section 5.8
History
- 2026-11-01: add by m2/v0.6.13
V22QSNCZVP V22QSNCZVP
| URI | m2://inv/V22QSNCZVP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 30-XX, 32-XX, 35-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 2505.04593#34FN (statement). In PEXJPV3NP8/e1, theorem 2.6
History
- 2026-10-27: add by m2/v0.3.5
Goldbach–Euler theorem V22WXVR9PA
| URI | m2://inv/V22WXVR9PA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of sums of reciprocals#SNVW, Goldbach–Euler theorem (statement)
History
- 2026-11-02: add by m2/dev
V237RFD18F V237RFD18F
| URI | m2://inv/V237RFD18F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/riemann-surface/morphism.tex#definition-1 (definition). In RZP28ERRZV, definition, section 86.3
History
- 2026-11-01: add by m2/v0.6.13
Haag–Łopuszański–Sohnius theorem V23BFQQ1N6
| URI | m2://inv/V23BFQQ1N6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#KCD8, Haag–Łopuszański–Sohnius theorem (statement)
History
- 2026-11-02: add by m2/dev
Saddle and Minty gaps under SGC V23EQJ4Z8V
| URI | m2://inv/V23EQJ4Z8V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12641#214B, Saddle and Minty gaps under SGC (statement). In X5BYGZZHPF/e1, theorem H.8
History
- 2026-10-28: add by m2/v0.4.2
Bounded multilinear chaos V23EV419VP
| URI | m2://inv/V23EV419VP |
|---|---|
| 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.15421#JZAW, Bounded multilinear chaos (statement). In 3RBKH0DA74/e1, lemma A.1
History
- 2026-10-28: add by m2/v0.4.2
V23F7NAQH1 V23F7NAQH1
| URI | m2://inv/V23F7NAQH1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27641#JBGT (statement)
History
- 2026-11-01: add by m2/v0.6.15
V23HXVVSVK V23HXVVSVK
| URI | m2://inv/V23HXVVSVK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36622#8TXC (statement). In 9704QPRPR6/e1, lemma 4.6
History
- 2026-10-30: add by m2/v0.4.12
V23P0RGZQ4 V23P0RGZQ4
| URI | m2://inv/V23P0RGZQ4 |
|---|---|
| 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 1008.2055#435D (statement). In 76JR4WFT4B/e1, corollary 3.2
History
- 2026-10-27: add by m2/v0.3.5
Behavioral game theory V23Q22C2PX
| URI | m2://inv/V23Q22C2PX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Behavioral game theory, Behavioral game theory (definition). Also Wikidata Q25051509
History
- 2026-11-02: add by m2/dev
V2412Y765Y V2412Y765Y
| URI | m2://inv/V2412Y765Y |
|---|---|
| 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.34283#SHWQ (statement). In DF1S2FHKJE/e1, theorem 10
History
- 2026-10-30: add by m2/v0.4.12
Examples V24172576H
| URI | m2://inv/V24172576H |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generating function#0GDO, Examples (example)
History
- 2026-11-02: add by m2/dev
dualizing V243XX0WK1
| URI | m2://inv/V243XX0WK1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of module theory#4QB9, dualizing (definition)
History
- 2026-11-02: add by m2/dev
Construction V246M8EF6H
| URI | m2://inv/V246M8EF6H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pentagonal icositetrahedron#OL5F, Construction (definition)
History
- 2026-11-02: add by m2/dev
symmetric V24A75W9F2
| URI | m2://inv/V24A75W9F2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of functional analysis#VAGV, symmetric (definition)
History
- 2026-11-02: add by m2/dev
Grundy number V24GT358SJ
| URI | m2://inv/V24GT358SJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of NP-complete problems#MMFW, Grundy number (definition)
History
- 2026-11-02: add by m2/dev
Properties V24HRWN2XS
| URI | m2://inv/V24HRWN2XS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Log-Cauchy distribution#3XIJ, Properties (statement)
History
- 2026-11-02: add by m2/dev
Eugenio Giuseppe Togliatti V24JX9418G
| URI | m2://inv/V24JX9418G |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eugenio Giuseppe Togliatti, Eugenio Giuseppe Togliatti (topic). Also Wikidata Q3734371
History
- 2026-11-02: add by m2/dev
Balanos Vasilopoulos V24M81CEDT
| URI | m2://inv/V24M81CEDT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Balanos Vasilopoulos, Balanos Vasilopoulos (topic). Also Wikidata Q4850052
History
- 2026-11-02: add by m2/dev
V256ZW2468 V256ZW2468
| URI | m2://inv/V256ZW2468 |
|---|---|
| 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.29748#CFI7 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Heisenberg's inequality V25QEH4WFQ
| URI | m2://inv/V25QEH4WFQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of inequalities#Q4HC, Heisenberg's inequality (statement)
History
- 2026-11-02: add by m2/dev
V25SGB4H9D V25SGB4H9D
| URI | m2://inv/V25SGB4H9D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27798#81NK (statement)
History
- 2026-11-01: add by m2/v0.6.15
V. S. Buslaev V25SJKHAE3
| URI | m2://inv/V25SJKHAE3 |
|---|---|
| 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#C36R, V. S. Buslaev (topic)
History
- 2026-11-02: add by m2/dev
Inner measure V25T8ZTVTF
| URI | m2://inv/V25T8ZTVTF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inner measure, Inner measure (definition). Also Wikidata Q6035652
History
- 2026-11-02: add by m2/dev
Putten V25WN5RJQZ
| URI | m2://inv/V25WN5RJQZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#VS0C, Putten (unknown)
History
- 2026-11-02: add by m2/dev
V2612GMFTS V2612GMFTS
| URI | m2://inv/V2612GMFTS |
|---|---|
| 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#UCX0 (statement). In ER5EH4W919/e1, theorem 1.7
History
- 2026-10-28: add by m2/v0.4.2
V2657680HF V2657680HF
| URI | m2://inv/V2657680HF |
|---|---|
| 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 2609.19945#56UH (statement)
History
- 2026-11-02: add by m2/v0.6.18
Lorentz-Lorenz V26B2N71FA
| URI | m2://inv/V26B2N71FA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Clausius–Mossotti relation#WO5P, Lorentz-Lorenz (unknown)
History
- 2026-11-02: add by m2/dev
V26CSWMJNT V26CSWMJNT
| URI | m2://inv/V26CSWMJNT |
|---|---|
| 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.24185#CKT3 (statement)
History
- 2026-11-01: add by m2/v0.6.15
V26D6BMTN9 V26D6BMTN9
| URI | m2://inv/V26D6BMTN9 |
|---|---|
| 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.01441#0182 (statement). In V678XY1P9A/e1, corollary 1
History
- 2026-10-29: add by m2/v0.4.12
Maurice Block V26GHEXQ24
| URI | m2://inv/V26GHEXQ24 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Maurice Block, Maurice Block (topic). Also Wikidata Q710901
History
- 2026-11-02: add by m2/dev
Examples V273BSSGG3
| URI | m2://inv/V273BSSGG3 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lattice word#6RFQ, Examples (example)
History
- 2026-11-02: add by m2/dev
Van H. Vu V27AR6YBGF
| URI | m2://inv/V27AR6YBGF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#RBTR, Van H. Vu (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#WPRF, Van H. Vu (topic)
History
- 2026-11-02: add by m2/dev
V27E9KD4G7 V27E9KD4G7
| URI | m2://inv/V27E9KD4G7 |
|---|---|
| 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.03151#103T (statement). In 7ZC21RKB29/e1, theorem 1.1
History
- 2026-10-29: add by m2/v0.4.12
V27F7RDX37 V27F7RDX37
| URI | m2://inv/V27F7RDX37 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30363#2E93 (statement). In QHBBP180QJ/e1, proposition 2
History
- 2026-10-31: add by m2/v0.5.6
V27FEKY09C V27FEKY09C
| URI | m2://inv/V27FEKY09C |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 03-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31352#X2UX (example). In SQZGKRDVBX/e1, example 4.4
History
- 2026-10-31: add by m2/v0.5.6
Examples V27WAVT0S6
| URI | m2://inv/V27WAVT0S6 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Steiner conic#ZRB9, Examples (example)
History
- 2026-11-02: add by m2/dev
V281XR939W V281XR939W
| URI | m2://inv/V281XR939W |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23605#9MFD (definition)
History
- 2026-11-02: add by m2/v0.6.17
Definition V283ENX26T
| URI | m2://inv/V283ENX26T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mixed Hodge structure#XXG2, Definition (definition)
History
- 2026-11-02: add by m2/dev
contrapositive, proof by V28FWDHA4D
| URI | m2://inv/V28FWDHA4D |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi index/4.2.2/contrapositive-proof-by, contrapositive, proof by (concept). In Y91XFCEVHQ, index, section 4.2.2
History
- 2026-11-01: add by m2/v0.6.13
Todd Spitzer V28JH06V5H
| URI | m2://inv/V28JH06V5H |
|---|---|
| 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#V81J, Todd Spitzer (unknown)
History
- 2026-11-02: add by m2/dev
displacements are commutators V28NMRD39J
| URI | m2://inv/V28NMRD39J |
|---|---|
| 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.06909#7MT2, displacements are commutators (statement). In F1EF8XE30A/e1, proposition 3.2
History
- 2026-10-29: add by m2/v0.4.10
Examples V28QT1SK9J
| URI | m2://inv/V28QT1SK9J |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Boolean algebras canonically defined#B4TR, Examples (example)
History
- 2026-11-02: add by m2/dev
V28RFV1T50 V28RFV1T50
| URI | m2://inv/V28RFV1T50 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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.20060#ZQXC (statement)
History
- 2026-11-02: add by m2/v0.6.18
V28T54D0DV V28T54D0DV
| URI | m2://inv/V28T54D0DV |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08776#WZ5F (problem). In ZQ4M778EA7/e1, problem 3.14
History
- 2026-10-29: add by m2/v0.4.10
associated prime V28TRX0Y65
| URI | m2://inv/V28TRX0Y65 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of module theory#M432, associated prime (definition)
History
- 2026-11-02: add by m2/dev
Solo activation interval V2913P5XHE
| URI | m2://inv/V2913P5XHE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17677#L6BB, Solo activation interval (statement). In 5E9G06XJKC/e1, lemma E.4
History
- 2026-10-28: add by m2/v0.4.2
V299XXMP2H V299XXMP2H
| URI | m2://inv/V299XXMP2H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25703#LUXG (statement)
History
- 2026-11-01: add by m2/v0.6.15
V29QVAD6MM V29QVAD6MM
| URI | m2://inv/V29QVAD6MM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28993#6MSF (statement)
History
- 2026-11-01: add by m2/v0.6.15
Thébault's theorem V29R6C941D
| URI | m2://inv/V29R6C941D |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 51-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q2500408, Thébault's theorem (statement). Also Wikidata Q2500408
- thousand_plus: thousand_plus Q2500408, Thébault's theorem (statement). Also Wikidata Q2500408, Wikipedia Thébault's theorem
- wikipedia: Wikipedia Thébault's theorem, Thébault's theorem (statement). Also Wikidata Q2500408
History
- 2026-10-26: add by m2/dev
V29SF1Z1D3 V29SF1Z1D3
| URI | m2://inv/V29SF1Z1D3 |
|---|---|
| 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 2609.31269#RYU5 (statement). In ZPT9XCCAPQ/e1, proposition 1.2.3
History
- 2026-10-31: add by m2/v0.5.6
Jarque–Bera test V29WZ49YH3
| URI | m2://inv/V29WZ49YH3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#GRAK, Jarque–Bera test (definition)
History
- 2026-11-02: add by m2/dev
Gall–Peters projection V2A5T31YB0
| URI | m2://inv/V2A5T31YB0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q27123, Gall–Peters projection (unknown). Also MathWorld GallOrthographicProjection, MathWorld PetersProjection
History
- 2026-10-26: add by m2/dev
V2ANGGA73C V2ANGGA73C
| URI | m2://inv/V2ANGGA73C |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32077#8THH (problem). In WYXQDSQR9B/e1, problem 3.17
History
- 2026-10-31: add by m2/v0.5.6
Identity matrix V2ARPEGS7R
| URI | m2://inv/V2ARPEGS7R |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Matrix (mathematics)#FXKI, Identity matrix (statement)
History
- 2026-11-02: add by m2/dev
Penelope Maddy V2AT6T0XFR
| URI | m2://inv/V2AT6T0XFR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Penelope Maddy, Penelope Maddy (topic). Also Wikidata Q2068784
History
- 2026-11-02: add by m2/dev
Floquet's theorem V2B1RX39Q4
| URI | m2://inv/V2B1RX39Q4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathieu function#CGNV, Floquet's theorem (statement)
History
- 2026-11-02: add by m2/dev
Speed prior V2B3SM15W7
| URI | m2://inv/V2B3SM15W7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#79G1, Speed prior (definition)
- wikipedia: Wikipedia List of computability and complexity topics#S02M, Speed Prior (definition)
History
- 2026-11-02: add by m2/dev
V2B69A295R V2B69A295R
| URI | m2://inv/V2B69A295R |
|---|---|
| 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.10365#OBEY (statement). In PRVQPSBVHK/e1, proposition 6
History
- 2026-10-29: add by m2/v0.4.10
V2B6W3JTFJ V2B6W3JTFJ
| URI | m2://inv/V2B6W3JTFJ |
|---|---|
| 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.18017#5KAX (statement). In EBSQEQYECS/e1, theorem 0.8
History
- 2026-10-28: add by m2/v0.4.2
V2BKH7EFK2 V2BKH7EFK2
| URI | m2://inv/V2BKH7EFK2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08873#4BT1 (statement). In 7WMNVJBAVR/e1, lemma 5.2
History
- 2026-10-29: add by m2/v0.4.10
Multilinear subspace learning V2BP8RHEBC
| URI | m2://inv/V2BP8RHEBC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multilinear subspace learning, Multilinear subspace learning (definition). Also Wikidata Q6934742
History
- 2026-11-02: add by m2/dev
Module theory V2BPSBKRY1
| URI | m2://inv/V2BPSBKRY1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#USSK, Module theory (definition)
History
- 2026-11-02: add by m2/dev
Trigonometric formulas V2BXJ5EDTC
| URI | m2://inv/V2BXJ5EDTC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tangential quadrilateral#0N5T, Trigonometric formulas (statement)
History
- 2026-11-02: add by m2/dev
V2C1V2QF95 V2C1V2QF95
| URI | m2://inv/V2C1V2QF95 |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 58A10 |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q114702056 (topic)
History
- 2026-10-26: add by m2/dev
Applications V2C55R3MN3
| URI | m2://inv/V2C55R3MN3 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Errera graph#N75K, Applications (example)
History
- 2026-11-02: add by m2/dev
V2C7ERSHGF V2C7ERSHGF
| URI | m2://inv/V2C7ERSHGF |
|---|---|
| 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 2610.18061#4SMC (statement). In Y8A35AV31M/e1, theorem 6.1
History
- 2026-10-28: add by m2/v0.4.2
Algebraic logic V2C8N0QYM6
| URI | m2://inv/V2C8N0QYM6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical logic topics#UCH4, Algebraic logic (definition)
History
- 2026-11-02: add by m2/dev
Main Energy Inequality V2C9CGDGN9
| URI | m2://inv/V2C9CGDGN9 |
|---|---|
| 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#I0GG, Main Energy Inequality (statement). In K3WJ6ZN184/e1, proposition 12.1
History
- 2026-10-27: add by m2/v0.3.5
Kim-Chuan Toh V2CG3T7ZBW
| URI | m2://inv/V2CG3T7ZBW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kim-Chuan Toh, Kim-Chuan Toh (topic). Also Wikidata Q85648515
History
- 2026-11-02: add by m2/dev
V2CMKFEMKE V2CMKFEMKE
| URI | m2://inv/V2CMKFEMKE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 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 2610.16640#IH0A (statement). In DEVX71G2ZK/e1, lemma 2.1
History
- 2026-10-28: add by m2/v0.4.2
Tabular critic lower bound V2DCAZNQEG
| URI | m2://inv/V2DCAZNQEG |
|---|---|
| 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.04117#HMT8, Tabular critic lower bound (statement). In 65E9N3DFYP/e1, proposition 4.7
History
- 2026-10-29: add by m2/v0.4.12
Robinson–Foulds metric V2DD7TEBDQ
| URI | m2://inv/V2DD7TEBDQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Robinson–Foulds metric, Robinson–Foulds metric (definition). Also Wikidata Q7353146
History
- 2026-11-02: add by m2/dev
V2DDDFXX7H V2DDDFXX7H
| URI | m2://inv/V2DDDFXX7H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/ordinals/iso.tex#defn-2 (definition). In PKGMM3P5QY, defn, section 72.5
History
- 2026-11-01: add by m2/v0.6.13
Colin Maclaurin V2DMAGJ7RR
| URI | m2://inv/V2DMAGJ7RR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Colin Maclaurin, Colin Maclaurin (topic). Also Wikidata Q8755
History
- 2026-11-02: add by m2/dev
Dummy variable V2DPBEH6RS
| URI | m2://inv/V2DPBEH6RS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dummy variable (statistics), Dummy variable (definition). Also Wikidata Q427977
History
- 2026-11-02: add by m2/dev
Nets V2DQ44DTR5
| URI | m2://inv/V2DQ44DTR5 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22338#CI64, Nets (definition)
History
- 2026-11-02: add by m2/v0.6.17
V2DWHG38TV V2DWHG38TV
| URI | m2://inv/V2DWHG38TV |
|---|---|
| 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.23630#LKO1 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Properties V2DWRJBD19
| URI | m2://inv/V2DWRJBD19 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gregory number#B1LP, Properties (statement)
History
- 2026-11-02: add by m2/dev
Robert Zimmer V2E3MB2ZEN
| URI | m2://inv/V2E3MB2ZEN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Robert Zimmer, Robert Zimmer (topic). Also Wikidata Q4162666
History
- 2026-11-02: add by m2/dev
Exact integral-spectrum criterion V2EFFXS2K5
| URI | m2://inv/V2EFFXS2K5 |
|---|---|
| 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#U3QU, Exact integral-spectrum criterion (statement). In CJRBKR4JKT/e1, theorem 4.1
History
- 2026-10-29: add by m2/v0.4.10
Katherine Wallman V2EN4M4K5N
| URI | m2://inv/V2EN4M4K5N |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Katherine Wallman, Katherine Wallman (topic). Also Wikidata Q16886413
History
- 2026-11-02: add by m2/dev
Paradox of fiction V2ENVJPHAV
| URI | m2://inv/V2ENVJPHAV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Paradox of fiction, Paradox of fiction (statement). Also Wikidata Q7134451
History
- 2026-11-02: add by m2/dev
Main theorem of curve theory V2ESPMGQKJ
| URI | m2://inv/V2ESPMGQKJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Differentiable curve#ZO39, Main theorem of curve theory (statement)
History
- 2026-11-02: add by m2/dev
Komjáth, Péter V2EV6FN55V
| URI | m2://inv/V2EV6FN55V |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Hungarian mathematicians#I0A7, Komjáth, Péter (unknown)
History
- 2026-11-02: add by m2/dev
V2F31D1KTD V2F31D1KTD
| URI | m2://inv/V2F31D1KTD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03612#32SO (statement). In REDG6QVHM3/e1, theorem 8.11
History
- 2026-10-29: add by m2/v0.4.12
V2F533VK49 V2F533VK49
| URI | m2://inv/V2F533VK49 |
|---|---|
| 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.32058#U4WB (statement). In N0G73NM4WC/e1, lemma 3.4
History
- 2026-10-31: add by m2/v0.5.6
V2F8FKSQKZ V2F8FKSQKZ
| URI | m2://inv/V2F8FKSQKZ |
|---|---|
| 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.19288#I3NP (statement). In 1EA6AM9V01/e1, lemma 3.1
History
- 2026-10-28: add by m2/v0.4.2
Beamforming ceiling and finite-$N$ law V2FA10QFJT
| URI | m2://inv/V2FA10QFJT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15184#GYIO, Beamforming ceiling and finite-$N$ law (statement). In S8A7ZM40DN/e1, corollary 1
History
- 2026-10-28: add by m2/v0.4.2
V2FBB5A1J9 V2FBB5A1J9
| URI | m2://inv/V2FBB5A1J9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-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.25275#3458 (statement)
History
- 2026-11-01: add by m2/v0.6.15
V2FHH08DEW V2FHH08DEW
| URI | m2://inv/V2FHH08DEW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21092#RYHE (statement). In AGJE43FTF8/e1, lemma 4.5
History
- 2026-10-27: add by m2/v0.4.2
Zero degrees of freedom V2FJ1EWDG0
| URI | m2://inv/V2FJ1EWDG0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#AZID, Zero degrees of freedom (definition)
History
- 2026-11-02: add by m2/dev
Lagrange's four-square theorem V2FSC8RA1K
| URI | m2://inv/V2FSC8RA1K |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 11-XX |
| Sources | 6 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Lagrange's four-square theorem 0KYYSMEVHH |
Mentions
- mathlib_100: mathlib_100 19, Four Squares Theorem (statement). Also Mathlib Nat.sum_four_squares
- mathlib_1000: mathlib_1000 Q756946, Lagrange's four-square theorem (statement). Also Mathlib Nat.sum_four_squares, Wikidata Q756946
- mathlib_overview: mathlib_overview General algebra > Number theory > sum of four squares, sum of four squares (unknown). Also Mathlib Nat.sum_four_squares
- thousand_plus: thousand_plus Q756946, Lagrange's four-square theorem (statement). Also Mathlib Nat.sum_four_squares, Wikidata Q756946, Wikipedia Lagrange's four-square theorem
- wikidata: Wikidata Q756946, Lagrange's four-square theorem (statement). Also MathWorld LagrangesFour-SquareTheorem
- wikipedia: Wikipedia Lagrange's four-square theorem, Lagrange's four-square theorem (statement). Also Wikidata Q756946
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
V2FVY180Z1 V2FVY180Z1
| URI | m2://inv/V2FVY180Z1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17737#BJ42 (statement). In 8SXY7Y68HV/e1, corollary 6.7
History
- 2026-10-28: add by m2/v0.4.2
V2FVZ21J4H V2FVZ21J4H
| URI | m2://inv/V2FVZ21J4H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2609.20531#E6TJ (statement)
History
- 2026-11-02: add by m2/v0.6.18
Census consolidated subdivision V2FZDQSGCY
| URI | m2://inv/V2FZDQSGCY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Census geographic units of Canada#RI48, Census consolidated subdivision (unknown)
History
- 2026-11-02: add by m2/dev
Forty Mile Colony, Montana V2FZXYDWC3
| URI | m2://inv/V2FZXYDWC3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#2O2V, Forty Mile Colony, Montana (unknown)
History
- 2026-11-02: add by m2/dev
McNugget number V2G07RRBSH
| URI | m2://inv/V2G07RRBSH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coin problem#DR9O, McNugget number (unknown)
History
- 2026-11-02: add by m2/dev
Stepwise regression V2G2W7CKV2
| URI | m2://inv/V2G2W7CKV2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stepwise regression, Stepwise regression (definition). Also Wikidata Q7611170
History
- 2026-11-02: add by m2/dev
V2H3KA6GS1 V2H3KA6GS1
| URI | m2://inv/V2H3KA6GS1 |
|---|---|
| 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.38659#6T3Z (definition). In DCJ23ZYXGK/e1, definition
History
- 2026-10-30: add by m2/v0.4.12
Properties V2HGHB3F65
| URI | m2://inv/V2HGHB3F65 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Random forest#0TYO, Properties (statement)
History
- 2026-11-02: add by m2/dev
Bálint Virág V2HGP788K1
| URI | m2://inv/V2HGP788K1 |
|---|---|
| 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#67FF, Bálint Virág (topic)
History
- 2026-11-02: add by m2/dev
Lorna Stewart V2HKKV9ERY
| URI | m2://inv/V2HKKV9ERY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lorna Stewart, Lorna Stewart (topic). Also Wikidata Q102251774
History
- 2026-11-02: add by m2/dev
Lowest common ancestor V2HMNJ9XKX
| URI | m2://inv/V2HMNJ9XKX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lowest common ancestor, Lowest common ancestor (definition). Also Wikidata Q4312352
History
- 2026-11-02: add by m2/dev
V2HW496H3M V2HW496H3M
| URI | m2://inv/V2HW496H3M |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28669#MRD9 (definition)
History
- 2026-11-01: add by m2/v0.6.15
V2J1ZY5478 V2J1ZY5478
| URI | m2://inv/V2J1ZY5478 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-contfunc.tex#exercise-32 (exercise). In E59CDZA4DP, exercise, section 2.3.3
History
- 2026-11-01: add by m2/v0.6.13
V2JA2DMYAC V2JA2DMYAC
| URI | m2://inv/V2JA2DMYAC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08594#U09C (statement). In FEE70SSD96/e1, corollary 1.7
History
- 2026-10-29: add by m2/v0.4.10
tridiminished rhombicosidodecahedron V2JB13MVP1
| URI | m2://inv/V2JB13MVP1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q288249, tridiminished rhombicosidodecahedron (object). Also MathWorld TridiminishedRhombicosidodecahedron
- wikipedia: Wikipedia Tridiminished rhombicosidodecahedron, Tridiminished rhombicosidodecahedron (definition). Also Wikidata Q288249
History
- 2026-10-26: add by m2/dev
V2JEF21D05 V2JEF21D05
| URI | m2://inv/V2JEF21D05 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02079#AO91 (statement). In CNS2J2E4T2/e1, proposition 27
History
- 2026-10-29: add by m2/v0.4.12
Blake canonical form V2JH29ZBHQ
| URI | m2://inv/V2JH29ZBHQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Blake canonical form, Blake canonical form (definition). Also Wikidata Q16843005
History
- 2026-11-02: add by m2/dev
Collision integral V2JMW0JN8B
| URI | m2://inv/V2JMW0JN8B |
|---|---|
| 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.02436#SYOE, Collision integral (statement). In J9WZBK6KAY/e1, lemma 3.6
History
- 2026-10-29: add by m2/v0.4.12
Chen's theorem V2JP0WHH9A
| URI | m2://inv/V2JP0WHH9A |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 11-XX |
| Sources | 4 |
| Outcome | open |
| Node | Chen's theorem WE0RQTR68H |
Mentions
- mathlib_1000: mathlib_1000 Q1317350, Chen's theorem (statement). Also Wikidata Q1317350
- thousand_plus: thousand_plus Q1317350, Chen's theorem (statement). Also Wikidata Q1317350, Wikipedia Chen's theorem
- wikidata: Wikidata Q1317350, Chen's theorem (statement). Also MathWorld ChensTheorem
- wikipedia: Wikipedia Chen's theorem, Chen's theorem (statement). Also Wikidata Q1317350
History
- 2026-10-26: add by m2/dev
Statement V2JR2WFH5H
| URI | m2://inv/V2JR2WFH5H |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Walter theorem#VCYG, Statement (statement)
History
- 2026-11-02: add by m2/dev
Mennicke symbol V2K2K6ESV5
| URI | m2://inv/V2K2K6ESV5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mennicke symbol, Mennicke symbol (definition). Also Wikidata Q6817177
History
- 2026-11-02: add by m2/dev
The planning solution is a restriction V2KC7KEA29
| URI | m2://inv/V2KC7KEA29 |
|---|---|
| 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.14988#6FSD, The planning solution is a restriction (statement). In B29M4E6KGC/e1, lemma J.4
History
- 2026-10-28: add by m2/v0.4.2
V2KC7SW1N8 V2KC7SW1N8
| URI | m2://inv/V2KC7SW1N8 |
|---|---|
| Kind | conjecture |
| 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.08226#RAWG (conjecture). In V6EPE8XHAD/e1, conjecture 1.2
History
- 2026-10-29: add by m2/v0.4.10
Stability of the fixed-$\epsilon$ oracle GGDPC path length V2KR5GMXSN
| URI | m2://inv/V2KR5GMXSN |
|---|---|
| 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.01050#ZRMM, Stability of the fixed-$\epsilon$ oracle GGDPC path length (statement). In 48NN33SAH7/e1, lemma F.6
History
- 2026-10-29: add by m2/v0.4.12
V2KTFT4R1C V2KTFT4R1C
| URI | m2://inv/V2KTFT4R1C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1002.0879#QA2B (statement). In M0SQY5EZN5/e1, lemma 2.1.7
History
- 2026-10-27: add by m2/v0.3.5
ITP method V2KVB6M75F
| URI | m2://inv/V2KVB6M75F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia ITP method, ITP method (definition). Also Wikidata Q104880843
History
- 2026-11-02: add by m2/dev
Joseph Larmor V2KXE5JCR0
| URI | m2://inv/V2KXE5JCR0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#54VV, Joseph Larmor (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#G1K2, Joseph Larmor (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#GWBZ, Joseph Larmor (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#W6O3, Joseph Larmor (unknown)
History
- 2026-11-02: add by m2/dev
Kolmogorov's maximal inequality V2KXX06QY8
| URI | m2://inv/V2KXX06QY8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27765#VULO, Kolmogorov's maximal inequality (statement)
History
- 2026-11-01: add by m2/v0.6.15
Definitions V2M0J737H2
| URI | m2://inv/V2M0J737H2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Projective tensor product#5GZ0, Definitions (definition)
History
- 2026-11-02: add by m2/dev
V2M1BMCD1C V2M1BMCD1C
| URI | m2://inv/V2M1BMCD1C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0301148#ZOUO (statement). In 5RE15848Z0/e1, lemma A.3
History
- 2026-10-27: add by m2/v0.3.5
supported minimization V2MQX2W932
| URI | m2://inv/V2MQX2W932 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20775#AD3T, supported minimization (statement). In XG27B81T0G/e1, proposition 3.1
History
- 2026-10-27: add by m2/v0.4.2
Definition V2MS2QK8NG
| URI | m2://inv/V2MS2QK8NG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Support (measure theory)#76F5, Definition (definition)
History
- 2026-11-02: add by m2/dev
Wi-Fi Protected Access V2MVCBXSK5
| URI | m2://inv/V2MVCBXSK5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wi-Fi Protected Access, Wi-Fi Protected Access (definition). Also Wikidata Q272165
History
- 2026-11-02: add by m2/dev
Ivan Smith V2MVHT7BP0
| URI | m2://inv/V2MVHT7BP0 |
|---|---|
| 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#W19H, Ivan Smith (topic)
History
- 2026-11-02: add by m2/dev
V2MWGH43F7 V2MWGH43F7
| URI | m2://inv/V2MWGH43F7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16028#27MZ (statement). In D6MQYXVQEW/e1, proposition 3.2
History
- 2026-10-28: add by m2/v0.4.2
amnestic functor V2NBD0J2XN
| URI | m2://inv/V2NBD0J2XN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4747369, amnestic functor (unknown). Also nLab amnestic functor
- wikipedia: Wikipedia Amnestic functor, Amnestic functor (definition). Also Wikidata Q4747369
History
- 2026-10-26: add by m2/dev
Rubik's Cube V2NN3S9HDB
| URI | m2://inv/V2NN3S9HDB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q47043, Rubik's Cube (unknown). Also MathWorld RubiksCube
- wikipedia: Wikipedia Rubik's Cube, Rubik's Cube (definition). Also Wikidata Q47043
History
- 2026-10-26: add by m2/dev
V2NR0GCKZA V2NR0GCKZA
| URI | m2://inv/V2NR0GCKZA |
|---|---|
| Kind | example |
| 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.26776#3WF9 (example)
History
- 2026-11-01: add by m2/v0.6.15
Numerical range V2NS5DGP4D
| URI | m2://inv/V2NS5DGP4D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Numerical range, Numerical range (definition). Also Wikidata Q1579053
History
- 2026-11-02: add by m2/dev
V2P1MJWSTQ V2P1MJWSTQ
| URI | m2://inv/V2P1MJWSTQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 01-XX, 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.06338#9YRH (statement). In F1CYVYK7YB/e1, theorem 9.4
History
- 2026-10-29: add by m2/v0.4.10
V2P6MH7SR2 V2P6MH7SR2
| URI | m2://inv/V2P6MH7SR2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/model-theory/basics/partial-iso.tex#defn-5 (definition). In PKGMM3P5QY, defn, section 46.5
History
- 2026-11-01: add by m2/v0.6.13
V2P8DJE9Z2 V2P8DJE9Z2
| URI | m2://inv/V2P8DJE9Z2 |
|---|---|
| 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 2605.30285#JWAJ (statement). In YMY0NNSM27/e1, proposition 6.2
History
- 2026-10-27: add by m2/v0.3.6
Hodograph method V2PE7GPHN5
| URI | m2://inv/V2PE7GPHN5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hodograph#PF2D, Hodograph method (unknown)
History
- 2026-11-02: add by m2/dev
Airy zeta function V2PRWREH20
| URI | m2://inv/V2PRWREH20 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4699088, Airy zeta function (unknown). Also MathWorld AiryZetaFunction
- wikipedia: Wikipedia Airy zeta function, Airy zeta function (definition). Also Wikidata Q4699088
History
- 2026-10-26: add by m2/dev
V2PT8ZR1F1 V2PT8ZR1F1
| URI | m2://inv/V2PT8ZR1F1 |
|---|---|
| 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 2512.11346#BB14 (statement). In ZW58VE9XE3/e1, theorem C
History
- 2026-10-27: add by m2/v0.3.5
Least-angle regression V2PTNCYSAZ
| URI | m2://inv/V2PTNCYSAZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Least-angle regression, Least-angle regression (definition). Also Wikidata Q17086233
History
- 2026-11-02: add by m2/dev
V2PTTQN4RM V2PTTQN4RM
| URI | m2://inv/V2PTTQN4RM |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1903.11969#PV69 (example). In 9N4EV3GRM7/e1, example 4.3
History
- 2026-10-27: add by m2/v0.3.5
Definition V2PYYHGHGV
| URI | m2://inv/V2PYYHGHGV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Blockmodeling#GCAK, Definition (definition)
History
- 2026-11-02: add by m2/dev
A simple example V2Q4G1752V
| URI | m2://inv/V2Q4G1752V |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gauss–Bonnet theorem#P4SU, A simple example (example)
History
- 2026-11-02: add by m2/dev
V2Q9BA107Z V2Q9BA107Z
| URI | m2://inv/V2Q9BA107Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1806.05002#KJHF (statement). In JBAQ7DTW7B/e1, lemma B.4
History
- 2026-10-27: add by m2/v0.3.5
V2QANHPJEQ V2QANHPJEQ
| URI | m2://inv/V2QANHPJEQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01828#A12V (statement). In RQMJY73C8Q/e1, lemma VI.3
History
- 2026-10-29: add by m2/v0.4.12
V2QEANRG8G V2QEANRG8G
| URI | m2://inv/V2QEANRG8G |
|---|---|
| Kind | statement |
| Layer | research |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2103.12669#9HH1 (statement). In ZA6XNBA90V/e1, lemma
History
- 2026-10-27: add by m2/v0.3.5
V2QMM13E8P V2QMM13E8P
| URI | m2://inv/V2QMM13E8P |
|---|---|
| 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.20466#RIVR (statement). In M4ZVJWM8YA/e1, proposition 4.32
History
- 2026-10-27: add by m2/v0.4.2
caterpillar tree V2R8JXKPVR
| URI | m2://inv/V2R8JXKPVR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5051951, caterpillar tree (unknown). Also MathWorld CaterpillarGraph
- wikipedia: Wikipedia Caterpillar tree, Caterpillar tree (definition). Also Wikidata Q5051951
History
- 2026-10-26: add by m2/dev
V2RF4FQZPN V2RF4FQZPN
| URI | m2://inv/V2RF4FQZPN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00116#9IIO (statement). In QBNPEXJEFV/e1, proposition 2.1
History
- 2026-10-30: add by m2/v0.4.12
Hermitian function V2RHQWESNT
| URI | m2://inv/V2RHQWESNT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hermitian function, Hermitian function (definition). Also Wikidata Q3236862
History
- 2026-11-02: add by m2/dev
Veintiocho de Noviembre V2RPYNJCGW
| URI | m2://inv/V2RPYNJCGW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#KCNQ, Veintiocho de Noviembre (unknown)
History
- 2026-11-02: add by m2/dev
V2RYD27A20 V2RYD27A20
| URI | m2://inv/V2RYD27A20 |
|---|---|
| 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.21715#CPTK (statement). In QW0SV5D6MQ/e1, corollary 3.2
History
- 2026-10-27: add by m2/v0.4.2
V2S0AC682W V2S0AC682W
| URI | m2://inv/V2S0AC682W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09422#5JWJ (statement). In MS7M2BJS9X/e1, lemma 6.8
History
- 2026-10-29: add by m2/v0.4.10
Generalization V2SDC8VQ5F
| URI | m2://inv/V2SDC8VQ5F |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pyramid (geometry)#KHWR, Generalization (statement)
History
- 2026-11-02: add by m2/dev
V2SNHRTB4W V2SNHRTB4W
| URI | m2://inv/V2SNHRTB4W |
|---|---|
| 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.04993#UAPP (statement). In JQBWZPXKAV/e1, lemma 7.1
History
- 2026-10-29: add by m2/v0.4.12
V2SQMSK5HC V2SQMSK5HC
| URI | m2://inv/V2SQMSK5HC |
|---|---|
| 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.06546#A7DU (statement). In G6DK297DQN/e1, lemma 4
History
- 2026-10-29: add by m2/v0.4.10
V2SZ1QTG0Q V2SZ1QTG0Q
| URI | m2://inv/V2SZ1QTG0Q |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 55-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2303.09207#EHWT (example). In 9DQKY7KGE8/e1, example A.7
History
- 2026-10-31: add by m2/v0.5.6
graph diameter V2T328V7SJ
| URI | m2://inv/V2T328V7SJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q16628701, graph diameter (unknown). Also MathWorld GraphDiameter
- wikipedia: Wikipedia Diameter (graph theory), Diameter (definition). Also Wikidata Q16628701
History
- 2026-10-26: add by m2/dev
Algebraic root V2T3B4GXFS
| URI | m2://inv/V2T3B4GXFS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Algebraic equation#A37M, Algebraic root (unknown)
History
- 2026-11-02: add by m2/dev
V2T62515W3 V2T62515W3
| URI | m2://inv/V2T62515W3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2512.08487#3PA4 (statement). In 77TVQVYN0Z/e1, corollary 21
History
- 2026-10-27: add by m2/v0.3.6
Black hole V2T7EK0X2V
| URI | m2://inv/V2T7EK0X2V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of common misconceptions about science, technology, and mathematics#47JY, Black hole (definition)
History
- 2026-11-02: add by m2/dev
V2TXEVF21W V2TXEVF21W
| URI | m2://inv/V2TXEVF21W |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/calculus/limits.tex#theorem-2 (statement). In RZP28ERRZV, theorem, section 32.5
History
- 2026-11-01: add by m2/v0.6.13
Capelli's identity V2V0G74P6Y
| URI | m2://inv/V2V0G74P6Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Capelli's identity, Capelli's identity (statement). Also Wikidata Q4459373
History
- 2026-11-02: add by m2/dev
Notation V2V8VXMT73
| URI | m2://inv/V2V8VXMT73 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Configuration (geometry)#7DFC, Notation (definition)
History
- 2026-11-02: add by m2/dev
Central-overlap asymptotic independence V2VA27D5RB
| URI | m2://inv/V2VA27D5RB |
|---|---|
| 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.28198#TZJT, Central-overlap asymptotic independence (statement)
History
- 2026-11-01: add by m2/v0.6.15
Garden of Archimedes V2VE5MNE27
| URI | m2://inv/V2VE5MNE27 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Garden of Archimedes, Garden of Archimedes (definition). Also Wikidata Q650391
History
- 2026-11-02: add by m2/dev
Dedekind-infinite set V2VGCB5YHJ
| URI | m2://inv/V2VGCB5YHJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dedekind-infinite set, Dedekind-infinite set (definition). Also Wikidata Q5249754
History
- 2026-11-02: add by m2/dev
$T_\ell$ counting operator V2VK2QN1KF
| URI | m2://inv/V2VK2QN1KF |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1806.05002#42EO, $T_\ell$ counting operator (definition). In JBAQ7DTW7B/e1, definition 11.1
History
- 2026-10-27: add by m2/v0.3.5
Definition and examples V2VP6YVCP0
| URI | m2://inv/V2VP6YVCP0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Even and odd functions#UA7P, Definition and examples (definition)
History
- 2026-11-02: add by m2/dev
LAMBDA method V2VPANW6P5
| URI | m2://inv/V2VPANW6P5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lattice problem#RSMR, LAMBDA method (unknown)
History
- 2026-11-02: add by m2/dev
Efficiency V2VSWGQ24N
| URI | m2://inv/V2VSWGQ24N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Efficiency (statistics), Efficiency (definition). Also Wikidata Q2265984
History
- 2026-11-02: add by m2/dev
Bruno Nachtergaele V2VYKM4REV
| URI | m2://inv/V2VYKM4REV |
|---|---|
| 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#JRLK, Bruno Nachtergaele (topic)
History
- 2026-11-02: add by m2/dev
UEFA Champions League V2W64NMFDS
| URI | m2://inv/V2W64NMFDS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Borussia Dortmund records and statistics#BUF9, UEFA Champions League (unknown)
History
- 2026-11-02: add by m2/dev
V2WAAEG1AC V2WAAEG1AC
| URI | m2://inv/V2WAAEG1AC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2405.14678#ACLV (statement). In 9ZSNSJRJ5N/e1, theorem 4.3
History
- 2026-10-27: add by m2/v0.3.5
V2WP76601P V2WP76601P
| URI | m2://inv/V2WP76601P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/mor-scheme.tex#theorem-1 (statement). In RZP28ERRZV, theorem, section 22.5
History
- 2026-11-01: add by m2/v0.6.13
outcome V2WQ2CKW8M
| URI | m2://inv/V2WQ2CKW8M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Outcome 0F50N2P3FC |
Mentions
- wikidata: Wikidata Q17104930, outcome (unknown). Also MathWorld Outcome
- wikipedia: Wikipedia Outcome (probability), Outcome (definition). Also Wikidata Q17104930
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Polynomial regression V2WZEFF8SB
| URI | m2://inv/V2WZEFF8SB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#J4Y0, Polynomial regression (definition)
History
- 2026-11-02: add by m2/dev
rotunda V2X9YCC5ZY
| URI | m2://inv/V2X9YCC5ZY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2493022, rotunda (unknown). Also MathWorld Rotunda
- wikipedia: Wikipedia Rotunda (geometry), Rotunda (definition). Also Wikidata Q2493022
History
- 2026-10-26: add by m2/dev
V2XCQES6M1 V2XCQES6M1
| URI | m2://inv/V2XCQES6M1 |
|---|---|
| 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.20894#05RD (statement)
History
- 2026-11-02: add by m2/v0.6.18
Elizabeth Stephansen V2Y25WSMKM
| URI | m2://inv/V2Y25WSMKM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elizabeth Stephansen, Elizabeth Stephansen (topic). Also Wikidata Q5363555
History
- 2026-11-02: add by m2/dev
Definition V2YBXJD13H
| URI | m2://inv/V2YBXJD13H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Potential game#F0U6, Definition (definition)
History
- 2026-11-02: add by m2/dev
Consistency of the discrete exterior Liouville multiplier V2YM34YWYP
| URI | m2://inv/V2YM34YWYP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10484#QRHI, Consistency of the discrete exterior Liouville multiplier (statement). In 5B4AX4SF88/e1, lemma 4.2
History
- 2026-10-29: add by m2/v0.4.10
Relative error of polynomial approximation V2YMXHPXSD
| URI | m2://inv/V2YMXHPXSD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39992#B8KL, Relative error of polynomial approximation (statement). In WF64CGYVK1/e1, theorem S7
History
- 2026-10-30: add by m2/v0.4.12
triviality V2YSG55GTW
| URI | m2://inv/V2YSG55GTW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q945127, triviality (unknown). Also MathWorld Trivial
- wikipedia: Wikipedia Triviality (mathematics), Triviality (definition). Also Wikidata Q945127
History
- 2026-10-26: add by m2/dev
Barbara Keyfitz V2YV4YC5AR
| URI | m2://inv/V2YV4YC5AR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Barbara Keyfitz, Barbara Keyfitz (topic). Also Wikidata Q807504
History
- 2026-11-02: add by m2/dev
Pekka Myrberg V2YV9H7DZJ
| URI | m2://inv/V2YV9H7DZJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pekka Myrberg, Pekka Myrberg (topic). Also Wikidata Q3702124
History
- 2026-11-02: add by m2/dev
Extensions V2YVC594YZ
| URI | m2://inv/V2YVC594YZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Angles between flats#C7UU, Extensions (statement)
History
- 2026-11-02: add by m2/dev
V2YWH93868 V2YWH93868
| URI | m2://inv/V2YWH93868 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/models-theories/theories.tex#ex-1 (example). In PKGMM3P5QY, ex, section 13.3
History
- 2026-11-01: add by m2/v0.6.13
isomorphism V2Z4NFQR6Q
| URI | m2://inv/V2Z4NFQR6Q |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv index/D/isomorphism, isomorphism (concept). In VNMV985MXX, index, section D
History
- 2026-11-01: add by m2/v0.6.13
Elementary Calculus: An Infinitesimal Approach V2ZHM68BGC
| URI | m2://inv/V2ZHM68BGC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elementary Calculus: An Infinitesimal Approach, Elementary Calculus: An Infinitesimal Approach (definition). Also Wikidata Q5358881
History
- 2026-11-02: add by m2/dev
Euclidean distance transform V2ZSWZYQ9H
| URI | m2://inv/V2ZSWZYQ9H |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#E9R2, Euclidean distance transform (unknown)
History
- 2026-11-02: add by m2/dev