Inventory rows 18
The cards of the rows of the inventory whose ids start with 18. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
1805EWCRED 1805EWCRED
| URI | m2://inv/1805EWCRED |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03661#USX0 (definition). In ESDKTYDHC8/e1, definition 33
History
- 2026-10-29: add by m2/v0.4.12
Schwarz–Ahlfors–Pick theorem 18067N0KMH
| URI | m2://inv/18067N0KMH |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 53-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q942046, Schwarz–Ahlfors–Pick theorem (statement). Also Wikidata Q942046
- thousand_plus: thousand_plus Q942046, Schwarz–Ahlfors–Pick theorem (statement). Also Wikidata Q942046, Wikipedia Schwarz–Ahlfors–Pick theorem
- wikipedia: Wikipedia Schwarz–Ahlfors–Pick theorem, Schwarz–Ahlfors–Pick theorem (statement). Also Wikidata Q942046
History
- 2026-10-26: add by m2/dev
CKLS--CIR transform 180NTETAKR
| URI | m2://inv/180NTETAKR |
|---|---|
| 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.05864#RP8K, CKLS--CIR transform (statement). In 31QPXWDZSH/e1, theorem A.2
History
- 2026-10-29: add by m2/v0.4.10
Principal specialization 180TFNW6J5
| URI | m2://inv/180TFNW6J5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12326#CNPA, Principal specialization (statement). In 9S7HGSEX6Q/e1, theorem 4.1
History
- 2026-10-28: add by m2/v0.4.2
180ZXFEJW6 180ZXFEJW6
| URI | m2://inv/180ZXFEJW6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/lambda-calculus/syntax/alpha.tex#lem:inv (statement). In PKGMM3P5QY, lem, section 38.9
History
- 2026-11-01: add by m2/v0.6.13
Reinhardt cardinal 1811SMATY1
| URI | m2://inv/1811SMATY1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reinhardt cardinal, Reinhardt cardinal (definition). Also Wikidata Q7310357
History
- 2026-11-02: add by m2/dev
ET0L 1811WE2HR6
| URI | m2://inv/1811WE2HR6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of PSPACE-complete problems#J9RW, ET0L (unknown)
History
- 2026-11-02: add by m2/dev
Supergame (finite game) 1813AYDEHM
| URI | m2://inv/1813AYDEHM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Finite game#0OP8, Supergame (finite game) (unknown)
History
- 2026-11-02: add by m2/dev
Tresca criterion 181D8DFJPD
| URI | m2://inv/181D8DFJPD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Plasticity (physics)#OYTU, Tresca criterion (statement)
History
- 2026-11-02: add by m2/dev
permanent 181DBT3E9H
| URI | m2://inv/181DBT3E9H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of invariant theory#5VER, permanent (definition)
History
- 2026-11-02: add by m2/dev
181EC0GSBY 181EC0GSBY
| URI | m2://inv/181EC0GSBY |
|---|---|
| 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 2104.00162#IB6R (definition). In HVGT9D84WV/e1, definition 1.5
History
- 2026-10-27: add by m2/v0.3.5
181JZ375M4 181JZ375M4
| URI | m2://inv/181JZ375M4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04498#R2V0 (statement). In HHF08X70P6/e1, lemma 3.1
History
- 2026-10-29: add by m2/v0.4.12
Properties 181M7WBV21
| URI | m2://inv/181M7WBV21 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elongated pentagonal bipyramid#OORD, Properties (statement)
History
- 2026-11-02: add by m2/dev
181WY8606V 181WY8606V
| URI | m2://inv/181WY8606V |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0003117#3DH5 (definition). In WD2NCBV9F0/e1, definition 7.13
History
- 2026-10-27: add by m2/v0.3.5
search tree 182043SBSP
| URI | m2://inv/182043SBSP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q621673, search tree (unknown). Also MathWorld TreeSearching
History
- 2026-10-26: add by m2/dev
Definitions 1824YF1TWD
| URI | m2://inv/1824YF1TWD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Knee of a curve#KJDR, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Fundamental group of $S^1$ 18285QG503
| URI | m2://inv/18285QG503 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/cover-project.tex#example-6, Fundamental group of $S^1$ (example). In RZP28ERRZV, example, section 97.3
History
- 2026-11-01: add by m2/v0.6.13
182BSJGF4A 182BSJGF4A
| URI | m2://inv/182BSJGF4A |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2106.06387#LW6H (unknown). In 4YJH4FPWDA/e1, unknown 3.7
History
- 2026-10-30: add by m2/v0.4.12
Structurable algebra 182FV8W8RJ
| URI | m2://inv/182FV8W8RJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebras#RDG6, Structurable algebra (definition)
History
- 2026-11-02: add by m2/dev
Expectation of level increments 182GQ3C8WQ
| URI | m2://inv/182GQ3C8WQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06372#859H, Expectation of level increments (statement). In G3E1P350Z6/e1, lemma 7.4
History
- 2026-10-29: add by m2/v0.4.10
182HPCRNG1 182HPCRNG1
| URI | m2://inv/182HPCRNG1 |
|---|---|
| Kind | problem |
| 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#CSZO (problem). In ZPT9XCCAPQ/e1, problem 1.3.9
History
- 2026-10-31: add by m2/v0.5.6
182PAWKCB3 182PAWKCB3
| URI | m2://inv/182PAWKCB3 |
|---|---|
| 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 2205.15365#O9BA (statement). In R2XC1SC9NZ/e1, theorem 1
History
- 2026-10-27: add by m2/v0.3.5
Expected Benders cuts 182XRFXZPE
| URI | m2://inv/182XRFXZPE |
|---|---|
| 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.12713#7MF3, Expected Benders cuts (statement). In F14A5HX20Q/e1, proposition C.1.1
History
- 2026-10-28: add by m2/v0.4.2
Edge-of-the-wedge theorem 1832X4H2CJ
| URI | m2://inv/1832X4H2CJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of complex analysis topics#TL9P, Edge-of-the-wedge theorem (statement)
History
- 2026-11-02: add by m2/dev
Johann Tobias Mayer 1839G3WXHA
| URI | m2://inv/1839G3WXHA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#ESEK, Johann Tobias Mayer (unknown)
History
- 2026-11-02: add by m2/dev
183BWV0B9M 183BWV0B9M
| URI | m2://inv/183BWV0B9M |
|---|---|
| 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.08198#WEW3 (statement). In 50K0H8HRED/e1, theorem B
History
- 2026-10-29: add by m2/v0.4.10
Daniel A. Griffith 183H6XHS6E
| URI | m2://inv/183H6XHS6E |
|---|---|
| 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#XTSU, Daniel A. Griffith (topic)
History
- 2026-11-02: add by m2/dev
Oka coherence theorem 183P0T49FH
| URI | m2://inv/183P0T49FH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Oka coherence theorem, Oka coherence theorem (statement). Also Wikidata Q7081700
History
- 2026-11-02: add by m2/dev
183RCP54S9 183RCP54S9
| URI | m2://inv/183RCP54S9 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32599#DZXI (example). In E1Y93JNBJA/e1, example 7.7
History
- 2026-10-31: add by m2/v0.5.6
History of demography 1840MSNR25
| URI | m2://inv/1840MSNR25 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Demography#MJYF, History of demography (unknown)
History
- 2026-11-02: add by m2/dev
1842DSAZF8 1842DSAZF8
| URI | m2://inv/1842DSAZF8 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-der.tex#exercise-3 (exercise). In E59CDZA4DP, exercise, section 3.1.3
History
- 2026-11-01: add by m2/v0.6.13
1842VT313E 1842VT313E
| URI | m2://inv/1842VT313E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33651#8AAM (statement). In 69DBD2HKGK/e1, lemma 4.2
History
- 2026-10-30: add by m2/v0.4.12
Examples 1845E9SENR
| URI | m2://inv/1845E9SENR |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conway polyhedron notation#A9VR, Examples (example)
History
- 2026-11-02: add by m2/dev
Jamie Whyte 184BEC5XTZ
| URI | m2://inv/184BEC5XTZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jamie Whyte, Jamie Whyte (topic). Also Wikidata Q15070150
History
- 2026-11-02: add by m2/dev
184FJH1KJF 184FJH1KJF
| URI | m2://inv/184FJH1KJF |
|---|---|
| Kind | definition |
| 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 2105.13129#CMJM (definition). In J5Z1JD5VKR/e1, definition 2.4
History
- 2026-10-27: add by m2/v0.4.0
Properties 184YVS3N5V
| URI | m2://inv/184YVS3N5V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zero matrix#56AG, Properties (statement)
History
- 2026-11-02: add by m2/dev
Analytic element method 1853M6KQ4M
| URI | m2://inv/1853M6KQ4M |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#2R6Z, Analytic element method (unknown)
History
- 2026-11-02: add by m2/dev
Stowe Nine Churches 1856Q9GY8Z
| URI | m2://inv/1856Q9GY8Z |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#6CDB, Stowe Nine Churches (unknown)
History
- 2026-11-02: add by m2/dev
Henricus Reneri 185CG40AGG
| URI | m2://inv/185CG40AGG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Henricus Reneri, Henricus Reneri (topic). Also Wikidata Q2112937
History
- 2026-11-02: add by m2/dev
ciphertext 185D8CV3WG
| URI | m2://inv/185D8CV3WG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1589480, ciphertext (unknown). Also MathWorld Ciphertext
- wikipedia: Wikipedia Ciphertext, Ciphertext (definition). Also Wikidata Q1589480
History
- 2026-10-26: add by m2/dev
185M3WCN5Z 185M3WCN5Z
| URI | m2://inv/185M3WCN5Z |
|---|---|
| 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.22909#7PML (statement)
History
- 2026-11-02: add by m2/v0.6.17
185PTYQ0CW 185PTYQ0CW
| URI | m2://inv/185PTYQ0CW |
|---|---|
| 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.40252#PM07 (statement). In 7MVPNFPRKB/e1, corollary 8.13
History
- 2026-10-30: add by m2/v0.4.12
Sraffa's gesture 185RWFGWDN
| URI | m2://inv/185RWFGWDN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Philosophical Investigations#ZABP, Sraffa's gesture (unknown)
History
- 2026-11-02: add by m2/dev
Robert Murphy 185SHZ04ST
| URI | m2://inv/185SHZ04ST |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Robert Murphy (mathematician), Robert Murphy (topic). Also Wikidata Q18734466
History
- 2026-11-02: add by m2/dev
*{Secs. 1.1--1.2 185V15V3Q1
| URI | m2://inv/185V15V3Q1 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23341#0698, *{Secs. 1.1--1.2 (definition)
History
- 2026-11-02: add by m2/v0.6.17
Chvátal's toughness conjecture 185Z4TEBH1
| URI | m2://inv/185Z4TEBH1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#9ZPA, Chvátal's toughness conjecture (definition)
History
- 2026-11-02: add by m2/dev
18638D228M 18638D228M
| URI | m2://inv/18638D228M |
|---|---|
| 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.15982#RH39 (statement). In KB50SHR229/e1, lemma C.1
History
- 2026-10-28: add by m2/v0.4.2
Homogeneous distribution 1864XY760S
| URI | m2://inv/1864XY760S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Homogeneous distribution, Homogeneous distribution (definition). Also Wikidata Q5891331
History
- 2026-11-02: add by m2/dev
Hardy–Ramanujan number 1867FP60KW
| URI | m2://inv/1867FP60KW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Srinivasa Ramanujan#7ZJZ, Hardy–Ramanujan number (definition)
History
- 2026-11-02: add by m2/dev
1868YHMS58 1868YHMS58
| URI | m2://inv/1868YHMS58 |
|---|---|
| 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.11047#ZWPK (statement). In MNQAZ70XTH/e1, theorem 2.5
History
- 2026-10-28: add by m2/v0.4.3
matrix multiplication 186AT9JSNS
| URI | m2://inv/186AT9JSNS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of linear algebra#RHYB, matrix multiplication (definition)
History
- 2026-11-02: add by m2/dev
186PE364CD 186PE364CD
| URI | m2://inv/186PE364CD |
|---|---|
| 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.36423#MGCW (definition). In Q5Z178SAHP/e1, definition 4.6
History
- 2026-10-30: add by m2/v0.4.12
186RY9H314 186RY9H314
| URI | m2://inv/186RY9H314 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/measure/swapsum.tex#example-1 (example). In RZP28ERRZV, example, section 70.4
History
- 2026-11-01: add by m2/v0.6.13
186X3EC73M 186X3EC73M
| URI | m2://inv/186X3EC73M |
|---|---|
| Kind | definition |
| 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 2609.21052#Q99R (definition)
History
- 2026-11-02: add by m2/v0.6.18
186Z1RC7KB 186Z1RC7KB
| URI | m2://inv/186Z1RC7KB |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-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.13347#LAGA (definition). In Z6QS82DPHE/e1, definition Definition
History
- 2026-10-28: add by m2/v0.4.2
Lexell's hypercycle 1873MHT7P2
| URI | m2://inv/1873MHT7P2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lexell's theorem#90YG, Lexell's hypercycle (definition)
History
- 2026-11-02: add by m2/dev
Suresh Venapally 187PJ1A864
| URI | m2://inv/187PJ1A864 |
|---|---|
| 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#0Y59, Suresh Venapally (topic)
History
- 2026-11-02: add by m2/dev
187X3MN6KS 187X3MN6KS
| URI | m2://inv/187X3MN6KS |
|---|---|
| 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 2404.05965#AHMA (statement). In GD1GED3FZ3/e1, lemma 9.4
History
- 2026-10-27: add by m2/v0.3.5
2,024 187ZDW4D0Y
| URI | m2://inv/187ZDW4D0Y |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 2000 (number)#OOSG, 2,024 (unknown)
History
- 2026-11-02: add by m2/dev
Dual norm identity in the tangent cone 18885BXWQ3
| URI | m2://inv/18885BXWQ3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-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.17909#GLC7, Dual norm identity in the tangent cone (statement). In YXZX6Z8S6A/e1, lemma 4.13
History
- 2026-10-28: add by m2/v0.4.2
188FATA952 188FATA952
| URI | m2://inv/188FATA952 |
|---|---|
| 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 2609.32233#JEMN (statement). In V42PPD7SWH/e1, lemma A.1
History
- 2026-10-31: add by m2/v0.5.6
188G0Q0R8Q 188G0Q0R8Q
| URI | m2://inv/188G0Q0R8Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30301#JD7A (statement). In 7NS75J7HAM/e1, lemma 8.1
History
- 2026-10-31: add by m2/v0.5.6
Ancillary statistic 188GBS27GV
| URI | m2://inv/188GBS27GV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#72V4, Ancillary statistic (definition)
History
- 2026-11-02: add by m2/dev
Leopold Infeld 188JC3MWQ5
| URI | m2://inv/188JC3MWQ5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q465488, Leopold Infeld (unknown). Also nLab Leopold Infeld
History
- 2026-10-26: add by m2/dev
Properties 188PYCK64J
| URI | m2://inv/188PYCK64J |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rhombille tiling#XSTP, Properties (statement)
History
- 2026-11-02: add by m2/dev
Frozen Sign Lemma 1899VTBZVY
| URI | m2://inv/1899VTBZVY |
|---|---|
| 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.36377#K4XO, Frozen Sign Lemma (statement). In M98F6VRPZ2/e1, lemma 6.1
History
- 2026-10-30: add by m2/v0.4.12
Bn (mathematics) 189DV2WWCH
| URI | m2://inv/189DV2WWCH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Root system#E8NC, Bn (mathematics) (unknown)
History
- 2026-11-02: add by m2/dev
Convergence, concentration and diagonal rate for multichannel HMMs 189R8K9SV7
| URI | m2://inv/189R8K9SV7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21985#L3I0, Convergence, concentration and diagonal rate for multichannel HMMs (statement)
History
- 2026-11-02: add by m2/v0.6.17
UFO 189V48NJA8
| URI | m2://inv/189V48NJA8 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12817#RDZT, UFO (definition). In FPSGZ5S6YF/e1, definition 3.2
History
- 2026-10-28: add by m2/v0.4.2
Ryan Williams 18A3SWP40Z
| URI | m2://inv/18A3SWP40Z |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#5P03, Ryan Williams (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#MJE7, Ryan Williams (unknown)
History
- 2026-11-02: add by m2/dev
Gretl 18AEACFJMV
| URI | m2://inv/18AEACFJMV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistical software#Z2WJ, Gretl (definition)
History
- 2026-11-02: add by m2/dev
Castles, Ian 18AENDQZSV
| URI | m2://inv/18AENDQZSV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#E8N9, Castles, Ian (unknown)
History
- 2026-11-02: add by m2/dev
18AJE3FXP9 18AJE3FXP9
| URI | m2://inv/18AJE3FXP9 |
|---|---|
| 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.39103#TRRV (statement). In VGB0N93ES8/e1, theorem 3
History
- 2026-10-30: add by m2/v0.4.12
Napier's analogies 18AJZ7Q6KE
| URI | m2://inv/18AJZ7Q6KE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4491948, Napier's analogies (statement). Also MathWorld NapiersAnalogies, ProofWiki Napier's_Analogies
History
- 2026-10-26: add by m2/dev
Unevenly spaced time series 18AKNW9CK3
| URI | m2://inv/18AKNW9CK3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Unevenly spaced time series, Unevenly spaced time series (definition). Also Wikidata Q7884241
History
- 2026-11-02: add by m2/dev
Pablo Ferrari 18AM9ZN3VR
| URI | m2://inv/18AM9ZN3VR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pablo Ferrari, Pablo Ferrari (topic). Also Wikidata Q25136955
History
- 2026-11-02: add by m2/dev
18ANZ8QQ3T 18ANZ8QQ3T
| URI | m2://inv/18ANZ8QQ3T |
|---|---|
| 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.16554#8XXY (statement). In GWNT8HEZG1/e1, corollary 3.31
History
- 2026-10-27: add by m2/v0.3.6
18AZEKYHY9 18AZEKYHY9
| URI | m2://inv/18AZEKYHY9 |
|---|---|
| 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 2609.28195#SA4R (statement)
History
- 2026-11-01: add by m2/v0.6.15
18AZTQVX4V 18AZTQVX4V
| URI | m2://inv/18AZTQVX4V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/model-theory/models-of-arithmetic/models-of-pa.tex#prop-5 (statement). In PKGMM3P5QY, prop, section 49.1
History
- 2026-11-01: add by m2/v0.6.13
Excentral triangle 18BF34PGYD
| URI | m2://inv/18BF34PGYD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Incircle and excircles#V95N, Excentral triangle (unknown)
History
- 2026-11-02: add by m2/dev
18BJ8WJ4B3 18BJ8WJ4B3
| URI | m2://inv/18BJ8WJ4B3 |
|---|---|
| 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.12295#7QK3 (statement). In 6DZPR52HRP/e1, lemma 5.6
History
- 2026-10-28: add by m2/v0.4.2
18BMC6G6K0 18BMC6G6K0
| URI | m2://inv/18BMC6G6K0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.36332#HGJ0 (statement). In APK7X4MFAX/e1, lemma 7
History
- 2026-10-30: add by m2/v0.4.12
Jacobian conjecture 18BQGCNX68
| URI | m2://inv/18BQGCNX68 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#UBNN, Jacobian conjecture (statement)
History
- 2026-11-02: add by m2/dev
Anna Lubiw 18BRR2MAVB
| URI | m2://inv/18BRR2MAVB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#M7NM, Anna Lubiw (unknown)
History
- 2026-11-02: add by m2/dev
18BV6QG8C1 18BV6QG8C1
| URI | m2://inv/18BV6QG8C1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15405#D6C6 (statement). In 9QCYCXVF5W/e1, corollary 4.6
History
- 2026-10-28: add by m2/v0.4.2
Algorithm 18BZ4Y3CG8
| URI | m2://inv/18BZ4Y3CG8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Birkhoff factorization#IJYJ, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
Terminology 18C0Q9NJZA
| URI | m2://inv/18C0Q9NJZA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Surface (mathematics)#L4FW, Terminology (definition)
History
- 2026-11-02: add by m2/dev
372 (number) 18CAB929J3
| URI | m2://inv/18CAB929J3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 300 (number)#EIA5, 372 (number) (unknown)
History
- 2026-11-02: add by m2/dev
Grigory Margulis 18CPVVDZ3Q
| URI | m2://inv/18CPVVDZ3Q |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Grigory Margulis, Grigory Margulis (topic). Also Wikidata Q325705
History
- 2026-11-02: add by m2/dev
18CQB0H319 18CQB0H319
| URI | m2://inv/18CQB0H319 |
|---|---|
| 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#HJ6D (statement). In K3WJ6ZN184/e1, lemma 10.8
History
- 2026-10-27: add by m2/v0.3.5
18CRG5GH0E 18CRG5GH0E
| URI | m2://inv/18CRG5GH0E |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
History
- 2026-10-27: add by m2/v0.4.2
18CSHT03RM 18CSHT03RM
| URI | m2://inv/18CSHT03RM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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.11021#UHQQ (statement). In R0SSJZYVTJ/e1, proposition 5.1
History
- 2026-10-28: add by m2/v0.4.3
18CXS05MWQ 18CXS05MWQ
| URI | m2://inv/18CXS05MWQ |
|---|---|
| Kind | definition |
| 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 2207.05628#L1IJ (definition). In 9JPKTEWW4W/e1, definition 3.9
History
- 2026-10-27: add by m2/v0.3.5
18D2QTVB8Z 18D2QTVB8Z
| URI | m2://inv/18D2QTVB8Z |
|---|---|
| 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 2609.24484#2UPQ (statement)
History
- 2026-11-01: add by m2/v0.6.15
induction principle, for homotopies 18DJNHDSQC
| URI | m2://inv/18DJNHDSQC |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/8.8/induction-principle-for-homotopies, induction principle, for homotopies (concept). In N54F33XE07, index, section 8.8
History
- 2026-11-01: add by m2/v0.6.13
18DK8F6D3B 18DK8F6D3B
| URI | m2://inv/18DK8F6D3B |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/intro-statements.ptx#exercise-6 (exercise). In Y91XFCEVHQ, exercise, section 1.2
History
- 2026-11-01: add by m2/v0.6.13
Rankit 18DY2XQX9Z
| URI | m2://inv/18DY2XQX9Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#WL22, Rankit (definition)
- wikipedia: Wikipedia List of permutation topics#I54H, Rankit (definition)
- wikipedia: Wikipedia List of graphical methods#4FVQ, Rankit (definition)
History
- 2026-11-02: add by m2/dev
Local rigidity 18E1FH0NA1
| URI | m2://inv/18E1FH0NA1 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17004#Y0RM, Local rigidity (definition). In XNJGNMS6H0/e1, definition 4.1
History
- 2026-10-28: add by m2/v0.4.2
McDiarmid's Inequality (unbalanced) 18E7J23DNE
| URI | m2://inv/18E7J23DNE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia McDiarmid's inequality#7UHT, McDiarmid's Inequality (unbalanced) (statement)
History
- 2026-11-02: add by m2/dev
Finite Gram test 18E8AC1TMD
| URI | m2://inv/18E8AC1TMD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 65-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08980#JHUA, Finite Gram test (statement). In X407M6WFNR/e1, lemma 2.5
History
- 2026-10-29: add by m2/v0.4.10
List of integrals of inverse trigonometric functions 18E9KHH3GJ
| URI | m2://inv/18E9KHH3GJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of triangle topics#AO5Y, List of integrals of inverse trigonometric functions (topic)
- wikipedia: Wikipedia Lists of integrals#A1HC, List of integrals of inverse trigonometric functions (topic)
- wikipedia: Wikipedia List of calculus topics#D7WL, List of integrals of inverse trigonometric functions (topic)
- wikipedia: Wikipedia Lists of mathematics topics#W9HB, List of integrals of inverse trigonometric functions (topic)
History
- 2026-11-02: add by m2/dev
Poisson equation and differential values 18EGW5T4JE
| URI | m2://inv/18EGW5T4JE |
|---|---|
| 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#9WI7, Poisson equation and differential values (statement). In 65E9N3DFYP/e1, fact B.1
History
- 2026-10-29: add by m2/v0.4.12
18ERCMMNEW 18ERCMMNEW
| URI | m2://inv/18ERCMMNEW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09900#MO7Z (statement). In ATSYBWEMMP/e1, lemma 8.5
History
- 2026-10-29: add by m2/v0.4.10
Pullback Lemma 18ESPTVXTH
| URI | m2://inv/18ESPTVXTH |
|---|---|
| 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.09650#7RD0, Pullback Lemma (statement). In 628KM8869P/e1, lemma 4.8
History
- 2026-10-29: add by m2/v0.4.10
Regret of oracle Solomonoff induction 18ETB24XRJ
| URI | m2://inv/18ETB24XRJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34458#V09H, Regret of oracle Solomonoff induction (statement). In 2KQ85H6MS4/e1, theorem 3
History
- 2026-10-30: add by m2/v0.4.12
Glossary of probability and statistics 18F4CZBW19
| URI | m2://inv/18F4CZBW19 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of probability and statistics, Glossary of probability and statistics (topic). Also Wikidata Q5571851
History
- 2026-11-02: add by m2/dev
18F5BSTS4E 18F5BSTS4E
| URI | m2://inv/18F5BSTS4E |
|---|---|
| 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.18358#9YCR (statement). In SPZ446XNDW/e1, lemma 4.1
History
- 2026-10-28: add by m2/v0.4.2
Johann Georg Rosenhain 18FBBPW2RN
| URI | m2://inv/18FBBPW2RN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#014P, Johann Georg Rosenhain (topic)
History
- 2026-11-02: add by m2/dev
18FH16QSKG 18FH16QSKG
| URI | m2://inv/18FH16QSKG |
|---|---|
| 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 2603.21971#GWME (statement). In R6KSZ9H8CY/e1, lemma 5.3
History
- 2026-10-27: add by m2/v0.3.5
18FH5BK2NY 18FH5BK2NY
| URI | m2://inv/18FH5BK2NY |
|---|---|
| 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.09567#PBM9 (statement). In 7RV6BDZAFK/e1, proposition 7.2
History
- 2026-10-29: add by m2/v0.4.10
Theorem 18FHJK74FZ
| URI | m2://inv/18FHJK74FZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chromatic symmetric function#5VK8, Theorem (statement)
History
- 2026-11-02: add by m2/dev
18FMFS1XGD 18FMFS1XGD
| URI | m2://inv/18FMFS1XGD |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1002.0879#U1D4 (example). In M0SQY5EZN5/e1, example 2.1.4
History
- 2026-10-27: add by m2/v0.3.5
Wild arc 18FZ5RG177
| URI | m2://inv/18FZ5RG177 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wild arc, Wild arc (definition). Also Wikidata Q8000891
History
- 2026-11-02: add by m2/dev
18FZEM9PMR 18FZEM9PMR
| URI | m2://inv/18FZEM9PMR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/model-theory/basics/nonstandard-arithmetic.tex#defn-1 (definition). In PKGMM3P5QY, defn, section 46.3
History
- 2026-11-01: add by m2/v0.6.13
Parshin's conjecture 18G0ZX0R4S
| URI | m2://inv/18G0ZX0R4S |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#9SX4, Parshin's conjecture (statement)
History
- 2026-11-02: add by m2/dev
18GDEYBV6H 18GDEYBV6H
| URI | m2://inv/18GDEYBV6H |
|---|---|
| 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 2405.04958#5YU7 (statement). In 5HQJSF6458/e1, theorem 2
History
- 2026-10-27: add by m2/v0.3.5
Main theorem 18GFX9ACF4
| URI | m2://inv/18GFX9ACF4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06876#8HL7, Main theorem (statement). In BPCHEMS4RK/e1, theorem 1.1
History
- 2026-10-29: add by m2/v0.4.10
Common subsequence 18GK01E8ZY
| URI | m2://inv/18GK01E8ZY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Subsequence#56Y2, Common subsequence (unknown)
History
- 2026-11-02: add by m2/dev
Axiom 3 18GQ9GM2GG
| URI | m2://inv/18GQ9GM2GG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Construction of the real numbers#M9JN, Axiom 3 (statement)
History
- 2026-11-02: add by m2/dev
18H1E9K04Y 18H1E9K04Y
| URI | m2://inv/18H1E9K04Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-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.06152#X8C6 (statement). In HH35K7S17H/e1, lemma 4.14
History
- 2026-10-29: add by m2/v0.4.10
18H5W6XQY0 18H5W6XQY0
| URI | m2://inv/18H5W6XQY0 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-ser.tex#exercise-72 (exercise). In E59CDZA4DP, exercise, section 10.5.7
History
- 2026-11-01: add by m2/v0.6.13
physical process 18H9GGXS8N
| URI | m2://inv/18H9GGXS8N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q17320256, physical process (definition). Also ProofWiki Definition:Physical_Process
History
- 2026-10-26: add by m2/dev
18HBT10V1N 18HBT10V1N
| URI | m2://inv/18HBT10V1N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19660#GFTI (statement). In YKVVY2BW1B/e1, theorem 1.2
History
- 2026-10-28: add by m2/v0.4.2
Properties 18HE921SZQ
| URI | m2://inv/18HE921SZQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zonal spherical function#RI0E, Properties (statement)
History
- 2026-11-02: add by m2/dev
Totally separated 18HMC889AJ
| URI | m2://inv/18HMC889AJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Connected space#4U2N, Totally separated (unknown)
History
- 2026-11-02: add by m2/dev
Milnor's theorem on Kan complexes 18HRTKMAKS
| URI | m2://inv/18HRTKMAKS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Milnor's theorem on Kan complexes, Milnor's theorem on Kan complexes (statement). Also Wikidata Q133865161
History
- 2026-11-02: add by m2/dev
Meyerhoff manifold 18HZ2RF874
| URI | m2://inv/18HZ2RF874 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of manifolds#Z0T6, Meyerhoff manifold (definition)
History
- 2026-11-02: add by m2/dev
Bregman Lagrangian 18J3E14WBQ
| URI | m2://inv/18J3E14WBQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bregman Lagrangian, Bregman Lagrangian (definition). Also Wikidata Q28403784
History
- 2026-11-02: add by m2/dev
\href{https://github.com/Parcly-Taxel/Redhill/blob/arxiv-fixed/Redhill/Common/PrimeChain.lean\#L138}{\Verb|strongSSC\_chainTup| 18J6AAYV5B
| URI | m2://inv/18J6AAYV5B |
|---|---|
| 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.16323#ZTT0, \href{https://github.com/Parcly-Taxel/Redhill/blob/arxiv-fixed/Redhill/Common/PrimeChain.lean\#L138}{\Verb|strongSSC\_chainTup| (statement). In E215DFNY09/e1, lemma Lemma
History
- 2026-10-28: add by m2/v0.4.2
18JFQY0PE3 18JFQY0PE3
| URI | m2://inv/18JFQY0PE3 |
|---|---|
| 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 2510.02019#V6AT (statement). In PD607VXPY3/e1, lemma 9
History
- 2026-10-27: add by m2/v0.3.5
Barry Pennington 18JPG5XW0Y
| URI | m2://inv/18JPG5XW0Y |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Barry Pennington, Barry Pennington (topic). Also Wikidata Q4864603
History
- 2026-11-02: add by m2/dev
18JRT2A89M 18JRT2A89M
| URI | m2://inv/18JRT2A89M |
|---|---|
| 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#I7J6 (statement). In 5E9G06XJKC/e1, lemma F.32
History
- 2026-10-28: add by m2/v0.4.2
$\UUU = \XXX$, $C=C_0=\PP^1_k$, $\xi \neq 0$ 18JT0X64XF
| URI | m2://inv/18JT0X64XF |
|---|---|
| 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 2106.11898#R182, $\UUU = \XXX$, $C=C_0=\PP^1_k$, $\xi \neq 0$ (statement). In KXXV5X8AG4/e1, proposition 4.2
History
- 2026-10-27: add by m2/v0.3.6
(Elveden #8) 18JVX1MD3Y
| URI | m2://inv/18JVX1MD3Y |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people arrested in the News International phone-hacking scandal#9X0M, (Elveden #8) (unknown)
History
- 2026-11-02: add by m2/dev
Examples and counterexamples 18KC5A753P
| URI | m2://inv/18KC5A753P |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Normal extension#P412, Examples and counterexamples (example)
History
- 2026-11-02: add by m2/dev
Grunsky's inequalities 18KEFWZ7SE
| URI | m2://inv/18KEFWZ7SE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of inequalities#PFJZ, Grunsky's inequalities (statement)
History
- 2026-11-02: add by m2/dev
Frithiof Nevanlinna 18KGSGGNRN
| URI | m2://inv/18KGSGGNRN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Frithiof Nevanlinna, Frithiof Nevanlinna (topic). Also Wikidata Q5504755
History
- 2026-11-02: add by m2/dev
Charlie Lee 18KK11007B
| URI | m2://inv/18KK11007B |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Charlie Lee (computer scientist), Charlie Lee (topic). Also Wikidata Q55607117
History
- 2026-11-02: add by m2/dev
William F. Donoghue Jr. 18KMMBE027
| URI | m2://inv/18KMMBE027 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia William F. Donoghue Jr., William F. Donoghue Jr. (topic). Also Wikidata Q38123846
History
- 2026-11-02: add by m2/dev
Angular momentum operator 18KMMCQMG2
| URI | m2://inv/18KMMCQMG2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Angular momentum operator, Angular momentum operator (definition). Also Wikidata Q1190143
History
- 2026-11-02: add by m2/dev
Oenopides 18KWMNYB7Z
| URI | m2://inv/18KWMNYB7Z |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Greek mathematicians#CF0J, Oenopides (unknown)
History
- 2026-11-02: add by m2/dev
Ricardo Schiappa 18M0Y0ZC7Q
| URI | m2://inv/18M0Y0ZC7Q |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q62058459, Ricardo Schiappa (unknown). Also nLab Ricardo Schiappa
History
- 2026-10-26: add by m2/dev
Beresford Parlett 18M2SF5AJG
| URI | m2://inv/18M2SF5AJG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#2UKS, Beresford Parlett (unknown)
History
- 2026-11-02: add by m2/dev
18MC2BARDC 18MC2BARDC
| URI | m2://inv/18MC2BARDC |
|---|---|
| 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.05486#Q4MZ (statement). In 5Z46AK2XTC/e1, lemma C.4
History
- 2026-10-29: add by m2/v0.4.10
Token bounds and parameter sensitivity of the four-attention-block network 18MH1GGM0N
| URI | m2://inv/18MH1GGM0N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05333#BCQJ, Token bounds and parameter sensitivity of the four-attention-block network (statement). In N37WKFTR7Q/e1, lemma E.8
History
- 2026-10-29: add by m2/v0.4.10
Positive form 18MMWP9XYY
| URI | m2://inv/18MMWP9XYY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Positive form, Positive form (definition). Also Wikidata Q7233270
History
- 2026-11-02: add by m2/dev
Construction 18MPERYAQD
| URI | m2://inv/18MPERYAQD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hexadecagon#RHMF, Construction (definition)
History
- 2026-11-02: add by m2/dev
*{Def. 25 18MWXR5SB5
| URI | m2://inv/18MWXR5SB5 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21914#8W3X, *{Def. 25 (definition)
History
- 2026-11-02: add by m2/v0.6.17
18N0DG84ST 18N0DG84ST
| URI | m2://inv/18N0DG84ST |
|---|---|
| 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.33241#C5VA (statement). In NX6QV01PCE/e1, lemma 3.1
History
- 2026-10-30: add by m2/v0.4.12
18N5RWXKWJ 18N5RWXKWJ
| URI | m2://inv/18N5RWXKWJ |
|---|---|
| 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.08202#EEIP (statement). In N7XJ16700B/e1, theorem 1
History
- 2026-10-29: add by m2/v0.4.10
18NG9RYZCX 18NG9RYZCX
| URI | m2://inv/18NG9RYZCX |
|---|---|
| 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.33679#DWAS (statement). In 3N9E9T6AF5/e1, theorem 3.5
History
- 2026-10-30: add by m2/v0.4.12
18NGSKV878 18NGSKV878
| URI | m2://inv/18NGSKV878 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1903.07030#1FZR (definition). In 9H45HQE7AZ/e1, definition 3.35
History
- 2026-10-27: add by m2/v0.3.5
18NKWZTHS7 18NKWZTHS7
| URI | m2://inv/18NKWZTHS7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24545#EPIR (statement)
History
- 2026-11-01: add by m2/v0.6.15
Moment-transform limit 18PA7FG0G0
| URI | m2://inv/18PA7FG0G0 |
|---|---|
| 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.02531#46VE, Moment-transform limit (statement). In 44EQ0MZE8G/e1, lemma 7.4
History
- 2026-10-29: add by m2/v0.4.12
18PBP24H94 18PBP24H94
| URI | m2://inv/18PBP24H94 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 37-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.30821#2B3I (example). In 1MZ9XBPTFQ/e1, example 1
History
- 2026-10-31: add by m2/v0.5.6
18PFDBM5YA 18PFDBM5YA
| URI | m2://inv/18PFDBM5YA |
|---|---|
| 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.21781#1IV4 (statement). In FEQ72D1AX6/e1, proposition 9.4
History
- 2026-10-27: add by m2/v0.4.2
Three Rocks, California 18PN21JEB6
| URI | m2://inv/18PN21JEB6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#IL7A, Three Rocks, California (unknown)
History
- 2026-11-02: add by m2/dev
18Q1JYQGPQ 18Q1JYQGPQ
| URI | m2://inv/18Q1JYQGPQ |
|---|---|
| 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 2511.07697#F9X7 (definition). In 57P5P33HS3/e1, definition 6
History
- 2026-10-27: add by m2/v0.3.5
/ 18Q5Y7XWMY
| URI | m2://inv/18Q5Y7XWMY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of mathematical symbols#V5H6, / (definition)
History
- 2026-11-02: add by m2/dev
18Q8FFVSQK 18Q8FFVSQK
| URI | m2://inv/18Q8FFVSQK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24610#1W7B (statement)
History
- 2026-11-01: add by m2/v0.6.15
Definitions 18QDDMK3G1
| URI | m2://inv/18QDDMK3G1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Walras's law#4RYM, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Example 18QET751P5
| URI | m2://inv/18QET751P5 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Randomized response#AP8U, Example (example)
History
- 2026-11-02: add by m2/dev
18QQAANSHB 18QQAANSHB
| URI | m2://inv/18QQAANSHB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04583#337N (statement). In Y6774ZB8TE/e1, theorem A.2
History
- 2026-10-29: add by m2/v0.4.12
Definition 18QSG1MXXB
| URI | m2://inv/18QSG1MXXB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spin connection#UW3N, Definition (definition)
History
- 2026-11-02: add by m2/dev
Sava Grozdev 18QSXDGTXG
| URI | m2://inv/18QSXDGTXG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sava Grozdev, Sava Grozdev (topic). Also Wikidata Q7427665
History
- 2026-11-02: add by m2/dev
18QVR9SJ1B 18QVR9SJ1B
| URI | m2://inv/18QVR9SJ1B |
|---|---|
| Kind | statement |
| 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#RKNK (statement). In 9DQKY7KGE8/e1, lemma 5.4
History
- 2026-10-27: add by m2/v0.3.5
Disjunction and existence properties 18QY2Q8F2B
| URI | m2://inv/18QY2Q8F2B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Disjunction and existence properties, Disjunction and existence properties (definition). Also Wikidata Q5282264
History
- 2026-11-02: add by m2/dev
Definition 18R3CC0FTT
| URI | m2://inv/18R3CC0FTT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cofree coalgebra#26JS, Definition (definition)
History
- 2026-11-02: add by m2/dev
Zhegalkin, Ivan Ivanovich 18R5PTSRJ9
| URI | m2://inv/18R5PTSRJ9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Boolean algebra topics#RUJ6, Zhegalkin, Ivan Ivanovich (topic)
History
- 2026-11-02: add by m2/dev
18RBSH5QKE 18RBSH5QKE
| URI | m2://inv/18RBSH5QKE |
|---|---|
| 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 2310.14879#C16H (statement). In 3VZ55B2N0D/e1, corollary 6.8
History
- 2026-10-27: add by m2/v0.4.0
Properties 18RDWR8YQA
| URI | m2://inv/18RDWR8YQA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pure subgroup#1QW6, Properties (statement)
History
- 2026-11-02: add by m2/dev
Fourier Inversion Formula for L^1-Functions 18RG3P40M8
| URI | m2://inv/18RG3P40M8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pontryagin duality#XEZZ, Fourier Inversion Formula for L^1-Functions (statement)
History
- 2026-11-02: add by m2/dev
Time-varying covariate 18RMNN4223
| URI | m2://inv/18RMNN4223 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#5L19, Time-varying covariate (definition)
History
- 2026-11-02: add by m2/dev
Barcan formula 18RP9G70HW
| URI | m2://inv/18RP9G70HW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3748370, Barcan formula (unknown). Also nLab Barcan formula
- wikipedia: Wikipedia Barcan formula, Barcan formula (statement). Also Wikidata Q3748370
History
- 2026-10-26: add by m2/dev
Pentagonal number theorem 18RVRCY5GA
| URI | m2://inv/18RVRCY5GA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rogers–Ramanujan identities#68J3, Pentagonal number theorem (statement)
History
- 2026-11-02: add by m2/dev
18S0KSG5NJ 18S0KSG5NJ
| URI | m2://inv/18S0KSG5NJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21972#IL86 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Approximation and representation 18SA4DSNC4
| URI | m2://inv/18SA4DSNC4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21775#FTLY, Approximation and representation (statement). In KM3Q791JY0/e1, theorem 3.11
History
- 2026-10-27: add by m2/v0.4.2
18SC72KC4C 18SC72KC4C
| URI | m2://inv/18SC72KC4C |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/Topology.tex#theorem-4 (statement). In P1C114YBXG, theorem, section K
History
- 2026-11-01: add by m2/v0.6.13
geometric genus 18SC9BZNEA
| URI | m2://inv/18SC9BZNEA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#HMIK, geometric genus (definition)
History
- 2026-11-02: add by m2/dev
Georg Landsberg 18SFJ7F83W
| URI | m2://inv/18SFJ7F83W |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#FFC7, Georg Landsberg (topic)
History
- 2026-11-02: add by m2/dev
18SHC9H5RR 18SHC9H5RR
| URI | m2://inv/18SHC9H5RR |
|---|---|
| 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#TJI6 (statement). In M4ZVJWM8YA/e1, lemma 2.3
History
- 2026-10-27: add by m2/v0.4.2
Texas Instruments signing key controversy 18SM1B1MN1
| URI | m2://inv/18SM1B1MN1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Texas Instruments signing key controversy, Texas Instruments signing key controversy (definition). Also Wikidata Q7707773
History
- 2026-11-02: add by m2/dev
Twelve Mile Lake Township, Emmet County, Iowa 18SQSP2X8J
| URI | m2://inv/18SQSP2X8J |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#86ZD, Twelve Mile Lake Township, Emmet County, Iowa (unknown)
History
- 2026-11-02: add by m2/dev
Cantor set 18SR4RT755
| URI | m2://inv/18SR4RT755 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topologies#LTON, Cantor set (definition)
History
- 2026-11-02: add by m2/dev
Heatmap 18SRRN2M53
| URI | m2://inv/18SRRN2M53 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of graphical methods#K2QM, Heatmap (unknown)
History
- 2026-11-02: add by m2/dev
hexahedron 18SYY0Q7HF
| URI | m2://inv/18SYY0Q7HF |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q668113, hexahedron (unknown). Also MathWorld Hexahedron
- wikipedia: Wikipedia Hexahedron, Hexahedron (object). Also Wikidata Q668113
History
- 2026-10-26: add by m2/dev
Properties 18T2X98134
| URI | m2://inv/18T2X98134 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Telegraph process#FV5Z, Properties (statement)
History
- 2026-11-02: add by m2/dev
Density restriction 18T4FMY1N2
| URI | m2://inv/18T4FMY1N2 |
|---|---|
| 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.04948#8M0I, Density restriction (statement). In TKHA291X5N/e1, corollary 12
History
- 2026-10-29: add by m2/v0.4.12
Friedman 18TCETVAX3
| URI | m2://inv/18TCETVAX3 |
|---|---|
| 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 2209.00108#JUQC, Friedman (definition). In V2G422ZMPW/e1, definition 7
History
- 2026-10-27: add by m2/v0.3.5
Matthew Emerton 18TH6T5GBT
| URI | m2://inv/18TH6T5GBT |
|---|---|
| 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#8DLY, Matthew Emerton (unknown)
History
- 2026-11-02: add by m2/dev
Invariant entropy identity 18TNN5A9B9
| URI | m2://inv/18TNN5A9B9 |
|---|---|
| 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.16510#9OTB, Invariant entropy identity (statement). In V7SQ4VXCRX/e1, lemma 2.2
History
- 2026-10-28: add by m2/v0.4.2
18TP4X98FE 18TP4X98FE
| URI | m2://inv/18TP4X98FE |
|---|---|
| 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.08288#6ZQS (statement). In CHVWYJM7RM/e1, lemma 2.3
History
- 2026-10-29: add by m2/v0.4.10
18TZM1KATJ 18TZM1KATJ
| URI | m2://inv/18TZM1KATJ |
|---|---|
| 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 2406.01499#16BU (statement). In B32K3KBEKC/e1, lemma 3.2
History
- 2026-10-27: add by m2/v0.3.5
Extended) Teaching Dimension Growth Function 18V7EMGY9Q
| URI | m2://inv/18V7EMGY9Q |
|---|---|
| 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.27241#JF0L, Extended) Teaching Dimension Growth Function (definition)
History
- 2026-11-01: add by m2/v0.6.15
rigid 18VH53T8WB
| URI | m2://inv/18VH53T8WB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic geometry#CPSJ, rigid (definition)
History
- 2026-11-02: add by m2/dev
Category of super vector spaces 18VNRPGQZC
| URI | m2://inv/18VNRPGQZC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Super vector space#BUX4, Category of super vector spaces (unknown)
History
- 2026-11-02: add by m2/dev
18VQ5X5VX1 18VQ5X5VX1
| URI | m2://inv/18VQ5X5VX1 |
|---|---|
| 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 2510.12502#AC4U (statement). In 3A4K47Y9F2/e1, lemma 2.7
History
- 2026-10-27: add by m2/v0.4.0
Knaster's condition 18VRE9P51E
| URI | m2://inv/18VRE9P51E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of order theory topics#4SX4, Knaster's condition (definition)
History
- 2026-11-02: add by m2/dev
18VTHJ7QXG 18VTHJ7QXG
| URI | m2://inv/18VTHJ7QXG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-der.tex#defn-3 (definition). In E59CDZA4DP, defn, section 3.3.2
History
- 2026-11-01: add by m2/v0.6.13
Pinsker's inequality 18W9YWB79C
| URI | m2://inv/18W9YWB79C |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inequalities in information theory#85EO, Pinsker's inequality (statement)
History
- 2026-11-02: add by m2/dev
Lyapunov identities and the symbol 18WAQHZD9N
| URI | m2://inv/18WAQHZD9N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 35-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.18788#JR31, Lyapunov identities and the symbol (statement). In KFEASG3ZHS/e1, lemma 3.1
History
- 2026-10-28: add by m2/v0.4.2
Bhat, B. R. 18WD2GQGJR
| URI | m2://inv/18WD2GQGJR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#BY7E, Bhat, B. R. (topic)
History
- 2026-11-02: add by m2/dev
18WG6GAVCA 18WG6GAVCA
| URI | m2://inv/18WG6GAVCA |
|---|---|
| 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.07890#4GH0 (statement). In 6F3GSDT2V1/e1, proposition 3.11
History
- 2026-10-29: add by m2/v0.4.10
The logarithm of a commutative formal group law 18WGW79PG4
| URI | m2://inv/18WGW79PG4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Formal group law#Z790, The logarithm of a commutative formal group law (statement)
History
- 2026-11-02: add by m2/dev
Theorem 1 18WQ4RPR01
| URI | m2://inv/18WQ4RPR01 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schwartz–Zippel lemma#6JUW, Theorem 1 (statement)
History
- 2026-11-02: add by m2/dev
18WQVMTEV1 18WQVMTEV1
| URI | m2://inv/18WQVMTEV1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 18-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16541#F8OU (statement). In D0XH7W96T3/e1, theorem 5.8
History
- 2026-10-28: add by m2/v0.4.2
Adolphe Rome 18X4H4M7W7
| URI | m2://inv/18X4H4M7W7 |
|---|---|
| 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#PH48, Adolphe Rome (unknown)
History
- 2026-11-02: add by m2/dev
Steinberg tensor 18XQG2YJ74
| URI | m2://inv/18XQG2YJ74 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38212#3WQE, Steinberg tensor (statement). In 5821K2RD8J/e1, lemma 4.1
History
- 2026-10-30: add by m2/v0.4.12
Fides (reliability) 18XW1XKV6J
| URI | m2://inv/18XW1XKV6J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#HHDF, Fides (reliability) (definition)
History
- 2026-11-02: add by m2/dev
Definitions 18XZZ9VYAB
| URI | m2://inv/18XZZ9VYAB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Henselian ring#VMJM, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Robert Gompf 18Y7P6C94P
| URI | m2://inv/18Y7P6C94P |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Robert Gompf, Robert Gompf (topic). Also Wikidata Q15435327
History
- 2026-11-02: add by m2/dev
Ο/ο 18YA32SXZR
| URI | m2://inv/18YA32SXZR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a notation: the notation register holds it (corpus spec K10.4)) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q14408, Ο/ο (unknown). Also ProofWiki Symbols:Greek/Omicron
History
- 2026-10-26: add by m2/dev
Jyeshtadeva 18YGS66TAP
| URI | m2://inv/18YGS66TAP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Indian mathematicians#MLML, Jyeshtadeva (unknown)
History
- 2026-11-02: add by m2/dev
18YMPQHQ5X 18YMPQHQ5X
| URI | m2://inv/18YMPQHQ5X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.08500#0K0K (statement). In ZPCYW4N0EH/e1, corollary 4.16
History
- 2026-10-29: add by m2/v0.4.10
Almost-regular constant-weight codewords 18YP7XH61D
| URI | m2://inv/18YP7XH61D |
|---|---|
| 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.33753#SAJ5, Almost-regular constant-weight codewords (statement). In CGNMRJYD7Y/e1, lemma 2
History
- 2026-10-30: add by m2/v0.4.12
Implementations 18YPRYJVDT
| URI | m2://inv/18YPRYJVDT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Layered graph drawing#FGYG, Implementations (definition)
History
- 2026-11-02: add by m2/dev
18YWAK05EN 18YWAK05EN
| URI | m2://inv/18YWAK05EN |
|---|---|
| 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 2412.14956#RCBW (statement). In T8BQ6HHZYT/e1, proposition 6.13
History
- 2026-10-27: add by m2/v0.3.5
Results in Mathematics 18ZC78E4CX
| URI | m2://inv/18ZC78E4CX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Results in Mathematics, Results in Mathematics (definition). Also Wikidata Q15753329
History
- 2026-11-02: add by m2/dev
18ZNZT903H 18ZNZT903H
| URI | m2://inv/18ZNZT903H |
|---|---|
| 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 2610.17759#00AY (statement). In 7MWKMG2V8A/e1, lemma 4.7
History
- 2026-10-28: add by m2/v0.4.2
18ZVFJ0PP9 18ZVFJ0PP9
| URI | m2://inv/18ZVFJ0PP9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-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 2111.00832#POJX (statement). In KM0XEAXFMF/e1, theorem 5.1
History
- 2026-10-27: add by m2/v0.3.5