Inventory rows 19
The cards of the rows of the inventory whose ids start with 19. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
1904XX36K6 1904XX36K6
| URI | m2://inv/1904XX36K6 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX, 22-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.14045#S0M2 (definition). In KZ71GXT2B0/e1, definition 3.3
History
- 2026-10-28: add by m2/v0.4.2
1906771G9P 1906771G9P
| URI | m2://inv/1906771G9P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-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.35209#GGIO (statement). In YEERR7F4NW/e1, theorem 3.1
History
- 2026-10-30: add by m2/v0.4.12
open cover 1906G9J52Q
| URI | m2://inv/1906G9J52Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | node (a node has the same name as the row) |
| Node | Open cover 049PXYHW1T |
Mentions
- wikidata: Wikidata Q41509136, open cover (definition). Also MathWorld OpenCover, nLab open cover, ProofWiki Definition:Open_Cover
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
190ENDVRZ1 190ENDVRZ1
| URI | m2://inv/190ENDVRZ1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 60-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02158#U9R5 (statement). In PCV12VAD47/e1, lemma 8
History
- 2026-10-29: add by m2/v0.4.12
Tre Kronor castle 190FYCQMB4
| URI | m2://inv/190FYCQMB4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#MMP3, Tre Kronor castle (unknown)
History
- 2026-11-02: add by m2/dev
Hyperelliptic new tail 190NH9BRKZ
| URI | m2://inv/190NH9BRKZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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.20572#BYP4, Hyperelliptic new tail (statement)
History
- 2026-11-02: add by m2/v0.6.18
190NST8011 190NST8011
| URI | m2://inv/190NST8011 |
|---|---|
| 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.11210#PTMD (statement). In CRFDGFZHBF/e1, lemma 7.3
History
- 2026-10-28: add by m2/v0.4.3
190PPYRPQY 190PPYRPQY
| URI | m2://inv/190PPYRPQY |
|---|---|
| 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.32478#XVTH (statement). In 5QBSYDC2XH/e1, corollary D.3
History
- 2026-10-31: add by m2/v0.5.6
tripod graph 1910182A0V
| URI | m2://inv/1910182A0V |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q137542570, tripod graph (unknown). Also MathWorld Tripod
History
- 2026-10-26: add by m2/dev
Deliberative rhetoric 19165DNSGH
| URI | m2://inv/19165DNSGH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Deliberative rhetoric, Deliberative rhetoric (definition). Also Wikidata Q17051975
History
- 2026-11-02: add by m2/dev
Radial function 191GXQSZY2
| URI | m2://inv/191GXQSZY2 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7280269, Radial function (concept). Also MathWorld RadialFunction
- wikipedia: Wikipedia Radial function, Radial function (definition). Also Wikidata Q7280269
History
- 2026-10-26: add by m2/dev
191YPDKHY6 191YPDKHY6
| URI | m2://inv/191YPDKHY6 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 57-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.20558#C5K5 (definition). In 46370P3Y9S/e1, definition 4.1
History
- 2026-10-27: add by m2/v0.4.2
1922SQSWYS 1922SQSWYS
| URI | m2://inv/1922SQSWYS |
|---|---|
| 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.33231#JKZ1 (statement). In WPDRT63QNW/e1, lemma 5.5
History
- 2026-10-30: add by m2/v0.4.12
19278GB9J6 19278GB9J6
| URI | m2://inv/19278GB9J6 |
|---|---|
| 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.33682#RDVF (statement). In GN608RC9ES/e1, proposition 4.8
History
- 2026-10-30: add by m2/v0.4.12
19280P54NT 19280P54NT
| URI | m2://inv/19280P54NT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2309.17091#VPI9 (statement). In N0JJM098W2/e1, corollary 18
History
- 2026-10-27: add by m2/v0.4.0
Pierre Duhem 192APGB8M3
| URI | m2://inv/192APGB8M3 |
|---|---|
| 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#6LKO, Pierre Duhem (unknown)
History
- 2026-11-02: add by m2/dev
Carlo Emilio Bonferroni 192FG6Q8MV
| URI | m2://inv/192FG6Q8MV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Carlo Emilio Bonferroni, Carlo Emilio Bonferroni (topic). Also Wikidata Q858572
History
- 2026-11-02: add by m2/dev
Theory of equations 192FSGJ3EV
| URI | m2://inv/192FSGJ3EV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Theory of equations, Theory of equations (topic). Also Wikidata Q2551226
History
- 2026-11-02: add by m2/dev
192GGHKHA3 192GGHKHA3
| URI | m2://inv/192GGHKHA3 |
|---|---|
| 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 2203.07710#T41L (statement). In NESGAWA54K/e1, lemma 2.4
History
- 2026-10-27: add by m2/v0.3.5
Friedrich Götze 192KWVWCBF
| URI | m2://inv/192KWVWCBF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Friedrich Götze, Friedrich Götze (topic). Also Wikidata Q1459429
History
- 2026-11-02: add by m2/dev
Blow-up variation matrix 192RSA1YW3
| URI | m2://inv/192RSA1YW3 |
|---|---|
| Kind | definition |
| 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.05354#GQNX, Blow-up variation matrix (definition). In TZ5BMDXRQZ/e1, definition 3.2
History
- 2026-10-29: add by m2/v0.4.10
Definition 192ZAYFBZR
| URI | m2://inv/192ZAYFBZR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Amplitwist#U5ZX, Definition (definition)
History
- 2026-11-02: add by m2/dev
Statement 193C5ZV80V
| URI | m2://inv/193C5ZV80V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rado's theorem (Ramsey theory)#FJQL, Statement (statement)
History
- 2026-11-02: add by m2/dev
193C6T9HPD 193C6T9HPD
| URI | m2://inv/193C6T9HPD |
|---|---|
| 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.06868#5Y1A (statement). In TV73V5E7JV/e1, theorem 3.3
History
- 2026-10-29: add by m2/v0.4.10
193M64BXFT 193M64BXFT
| URI | m2://inv/193M64BXFT |
|---|---|
| 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.13846#3VSA (statement). In DN3HGHGRYJ/e1, proposition 5.3
History
- 2026-10-28: add by m2/v0.4.2
Koopman candidate residual bound 193MCT6ZF0
| URI | m2://inv/193MCT6ZF0 |
|---|---|
| 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 2609.32652#2JFX, Koopman candidate residual bound (statement). In 6KAZWJ8RFX/e1, corollary 5.15
History
- 2026-10-31: add by m2/v0.5.6
193NF0HJBH 193NF0HJBH
| URI | m2://inv/193NF0HJBH |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22514#Z7QV (definition)
History
- 2026-11-02: add by m2/v0.6.17
193XXTVFNC 193XXTVFNC
| URI | m2://inv/193XXTVFNC |
|---|---|
| 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.11056#F6UH (statement). In 1NDB3SAG7K/e1, theorem 1.3
History
- 2026-10-28: add by m2/v0.4.3
A closed-form star floor 1943RV55BS
| URI | m2://inv/1943RV55BS |
|---|---|
| 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.22301#QKYF, A closed-form star floor (statement)
History
- 2026-11-02: add by m2/v0.6.17
194640X0NS 194640X0NS
| URI | m2://inv/194640X0NS |
|---|---|
| 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.19917#RFCO (statement)
History
- 2026-11-02: add by m2/v0.6.18
Loránd Eötvös 19480SS7AY
| URI | m2://inv/19480SS7AY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of contributors to general relativity#HGF0, Loránd Eötvös (unknown)
History
- 2026-11-02: add by m2/dev
matrix diagonalization 194A8604BK
| URI | m2://inv/194A8604BK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q11917068, matrix diagonalization (unknown). Also MathWorld MatrixDiagonalization
History
- 2026-10-26: add by m2/dev
Cheeger's inequality 194B2HZ608
| URI | m2://inv/194B2HZ608 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cheeger constant#8D9G, Cheeger's inequality (statement)
History
- 2026-11-02: add by m2/dev
structure 194E41D24J
| URI | m2://inv/194E41D24J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01753#XN20, structure (statement). In JY50YXMH5N/e1, theorem 20
History
- 2026-10-29: add by m2/v0.4.12
Thomas Schick 194GZ1DD2J
| URI | m2://inv/194GZ1DD2J |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thomas Schick, Thomas Schick (topic). Also Wikidata Q15455878
History
- 2026-11-02: add by m2/dev
Definitions 194KABKCYB
| URI | m2://inv/194KABKCYB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia ACC0#0ULV, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Paolo Frisi 194NT89SZH
| URI | m2://inv/194NT89SZH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#0PIZ, Paolo Frisi (topic)
History
- 2026-11-02: add by m2/dev
polarization identity 194RYRPBZ9
| URI | m2://inv/194RYRPBZ9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Polarisation identity 05FKHRT0B4 |
Mentions
- wikidata: Wikidata Q1817177, polarization identity (unknown). Also nLab polarization identity
- wikipedia: Wikipedia Polarization identity, Polarization identity (statement). Also Wikidata Q1817177
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Uniform bounds for subanalytic families 194STQRPMR
| URI | m2://inv/194STQRPMR |
|---|---|
| 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 2610.14065#Y3D0, Uniform bounds for subanalytic families (statement). In PV7V3X78JH/e1, lemma 3.2
History
- 2026-10-28: add by m2/v0.4.2
194TRKB03K 194TRKB03K
| URI | m2://inv/194TRKB03K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2609.20375#JGVU (statement)
History
- 2026-11-02: add by m2/v0.6.18
Grid Search 194WRNJ3BD
| URI | m2://inv/194WRNJ3BD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#9A5L, Grid Search (definition)
History
- 2026-11-02: add by m2/dev
Primitive \texorpdfstring{$L$}{L}-function 194Z5Y0FME
| URI | m2://inv/194Z5Y0FME |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05652#XBT5, Primitive \texorpdfstring{$L$}{L}-function (definition). In 8BNPFYQDQX/e1, definition 2.16
History
- 2026-10-29: add by m2/v0.4.10
19520VEAZ9 19520VEAZ9
| URI | m2://inv/19520VEAZ9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39706#93OG (statement). In 79Y8JJMKP4/e1, lemma 9.1
History
- 2026-10-30: add by m2/v0.4.12
geometrically 19598V6YCN
| URI | m2://inv/19598V6YCN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#JXBB, geometrically (definition)
History
- 2026-11-02: add by m2/dev
Yangian 195D0VNXHR
| URI | m2://inv/195D0VNXHR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q8048582, Yangian (unknown). Also nLab Yangian
- wikipedia: Wikipedia Yangian, Yangian (definition). Also Wikidata Q8048582
History
- 2026-10-26: add by m2/dev
195GQ0YJ7F 195GQ0YJ7F
| URI | m2://inv/195GQ0YJ7F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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.09095#IQQR (statement). In 6DTDDM6JHP/e1, lemma 2.1
History
- 2026-10-29: add by m2/v0.4.10
weber 195JE6W4S7
| URI | m2://inv/195JE6W4S7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q170804, weber (definition). Also ProofWiki Definition:Weber_(Unit)
History
- 2026-10-26: add by m2/dev
Timeline of cosmic microwave background astronomy 195MVRVPHR
| URI | m2://inv/195MVRVPHR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cosmic microwave background#XJC2, Timeline of cosmic microwave background astronomy (unknown)
History
- 2026-11-02: add by m2/dev
Definition 195RHFJ51N
| URI | m2://inv/195RHFJ51N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia One-step method#7RFE, Definition (definition)
History
- 2026-11-02: add by m2/dev
Dependence on the path 195YM3JN07
| URI | m2://inv/195YM3JN07 |
|---|---|
| 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.32710#3JRA, Dependence on the path (statement). In KVYG6R7CGJ/e1, lemma 4.1
History
- 2026-10-31: add by m2/v0.5.6
Definition 19610H9M65
| URI | m2://inv/19610H9M65 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bidirectional transformation#7T93, Definition (definition)
History
- 2026-11-02: add by m2/dev
19689JWY7R 19689JWY7R
| URI | m2://inv/19689JWY7R |
|---|---|
| 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.14803#Y0U7 (statement). In VAEVDTBD3B/e1, corollary 4.8
History
- 2026-10-28: add by m2/v0.4.2
Applications 1969Y1W07V
| URI | m2://inv/1969Y1W07V |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Principle of maximum entropy#0BHI, Applications (example)
History
- 2026-11-02: add by m2/dev
Myra B. Cohen 196BN1QRRT
| URI | m2://inv/196BN1QRRT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#RXPN, Myra B. Cohen (unknown)
History
- 2026-11-02: add by m2/dev
196CFWRD21 196CFWRD21
| URI | m2://inv/196CFWRD21 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 53-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 2609.25289#EO06 (statement)
History
- 2026-11-01: add by m2/v0.6.15
196CKFY224 196CKFY224
| URI | m2://inv/196CKFY224 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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.19461#2SR0 (statement). In D5X5P2QD6A/e1, proposition 2.1
History
- 2026-10-28: add by m2/v0.4.2
Calvo 196P8D37ED
| URI | m2://inv/196P8D37ED |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24860#90R1, Calvo (statement)
History
- 2026-11-01: add by m2/v0.6.15
obversion 196YHCZRF7
| URI | m2://inv/196YHCZRF7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#7ZUD, obversion (definition)
History
- 2026-11-02: add by m2/dev
Tusi couple 19775CH4E7
| URI | m2://inv/19775CH4E7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1035674, Tusi couple (statement). Also MathWorld TusiCouple
History
- 2026-10-26: add by m2/dev
1979FZCKGN 1979FZCKGN
| URI | m2://inv/1979FZCKGN |
|---|---|
| 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#TDZP (statement). In GAAZD3SGPN/e1, theorem
History
- 2026-10-27: add by m2/v0.3.5
197GCBQYZ8 197GCBQYZ8
| URI | m2://inv/197GCBQYZ8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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.13180#9E3S (statement). In 7TSVFYEGD8/e1, lemma 3.7
History
- 2026-10-28: add by m2/v0.4.2
Third-Moment Contraction 197HJSHSA8
| URI | m2://inv/197HJSHSA8 |
|---|---|
| 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.30105#DTBA, Third-Moment Contraction (statement)
History
- 2026-11-01: add by m2/v0.6.15
197Q7NX6H9 197Q7NX6H9
| URI | m2://inv/197Q7NX6H9 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14988#31J2 (definition). In B29M4E6KGC/e1, definition E.1
History
- 2026-10-28: add by m2/v0.4.2
197W7E1VKB 197W7E1VKB
| URI | m2://inv/197W7E1VKB |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/numfield.tex#prob:rep_lemma (exercise). In RZP28ERRZV, sproblem, section 16.5
History
- 2026-11-01: add by m2/v0.6.13
David Crighton 198935K5H2
| URI | m2://inv/198935K5H2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia David Crighton, David Crighton (topic). Also Wikidata Q132259
History
- 2026-11-02: add by m2/dev
Median-unbiased estimation 198EE66710
| URI | m2://inv/198EE66710 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bias of an estimator#DF6K, Median-unbiased estimation (unknown)
History
- 2026-11-02: add by m2/dev
Formal definition 198EMV92NM
| URI | m2://inv/198EMV92NM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia YΔ- and ΔY-transformation#XQPS, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
computation rule, for higher inductive types 198KNV079K
| URI | m2://inv/198KNV079K |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/5.2/computation-rule-for-higher-inductive-types, computation rule, for higher inductive types (concept). In N54F33XE07, index, section 5.2
History
- 2026-11-01: add by m2/v0.6.13
Matching lower bound 198M5213F2
| URI | m2://inv/198M5213F2 |
|---|---|
| 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 2605.14343#EDAW, Matching lower bound (statement). In SP58NHA6N4/e1, theorem 4
History
- 2026-10-27: add by m2/v0.3.5
Exp algebra 198MM9Y6FY
| URI | m2://inv/198MM9Y6FY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exp algebra, Exp algebra (definition). Also Wikidata Q17012869
History
- 2026-11-02: add by m2/dev
Construction 198PT3K6G9
| URI | m2://inv/198PT3K6G9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rank factorization#R4SB, Construction (definition)
History
- 2026-11-02: add by m2/dev
198QRNCFRG 198QRNCFRG
| URI | m2://inv/198QRNCFRG |
|---|---|
| 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 2211.04758#DVDE (statement). In DRWDJG2G3S/e1, theorem 1.16
History
- 2026-10-27: add by m2/v0.3.5
198VBGCA7M 198VBGCA7M
| URI | m2://inv/198VBGCA7M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23128#HKPV (statement)
History
- 2026-11-02: add by m2/v0.6.17
C. T. C. Wall 198W0NPV44
| URI | m2://inv/198W0NPV44 |
|---|---|
| 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#6UK0, C. T. C. Wall (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#D40V, C. T. C. Wall (topic)
History
- 2026-11-02: add by m2/dev
198Z1KJ18V 198Z1KJ18V
| URI | m2://inv/198Z1KJ18V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 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 2609.25080#3FP1 (statement)
History
- 2026-11-01: add by m2/v0.6.15
kilowatt-hour 1990TMVB0R
| URI | m2://inv/1990TMVB0R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q182098, kilowatt-hour (definition). Also ProofWiki Definition:SI/Energy/Kilowatt-Hour
History
- 2026-10-26: add by m2/dev
Xiaohua Zhu 1993NZM9MV
| URI | m2://inv/1993NZM9MV |
|---|---|
| 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#S0Y0, Xiaohua Zhu (unknown)
History
- 2026-11-02: add by m2/dev
1994KCATB8 1994KCATB8
| URI | m2://inv/1994KCATB8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28323#DSCJ (statement)
History
- 2026-11-01: add by m2/v0.6.15
DMRG of the Heisenberg model 1994MPQHGZ
| URI | m2://inv/1994MPQHGZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Density matrix renormalization group#Q4Q0, DMRG of the Heisenberg model (unknown)
History
- 2026-11-02: add by m2/dev
1996D6MNJT 1996D6MNJT
| URI | m2://inv/1996D6MNJT |
|---|---|
| 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#thm:fv (statement). In PKGMM3P5QY, thm, section 38.9
History
- 2026-11-01: add by m2/v0.6.13
Formal definition 1999VQ9FH8
| URI | m2://inv/1999VQ9FH8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Morse homology#ESA0, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
199A3EN1V2 199A3EN1V2
| URI | m2://inv/199A3EN1V2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 16-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14060#C2YU (statement). In X47RYAZF8P/e1, lemma 8.1
History
- 2026-10-28: add by m2/v0.4.2
199BV5K2R2 199BV5K2R2
| URI | m2://inv/199BV5K2R2 |
|---|---|
| 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 2610.08251#5KI5 (statement). In YRJKC9DJEA/e1, proposition 3.3
History
- 2026-10-29: add by m2/v0.4.10
Random forest 199MXGJPVJ
| URI | m2://inv/199MXGJPVJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#11IL, Random forest (definition)
History
- 2026-11-02: add by m2/dev
199Q440YJX 199Q440YJX
| URI | m2://inv/199Q440YJX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02017#KY23 (statement). In F6C80AEXC1/e1, proposition 5.12
History
- 2026-10-29: add by m2/v0.4.12
Kavka's toxin puzzle 199RZC3XW4
| URI | m2://inv/199RZC3XW4 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kavka's toxin puzzle, Kavka's toxin puzzle (problem). Also Wikidata Q6379321
History
- 2026-11-02: add by m2/dev
Charles Sanders Peirce 199TA7K5VB
| URI | m2://inv/199TA7K5VB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#XFF3, Charles Sanders Peirce (topic)
History
- 2026-11-02: add by m2/dev
Michael Griebel 19A4ME17B7
| URI | m2://inv/19A4ME17B7 |
|---|---|
| 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#M5YC, Michael Griebel (topic)
- wikipedia: Wikipedia List of German mathematicians#VE58, Michael Griebel (topic)
History
- 2026-11-02: add by m2/dev
Pairwise Stone space 19A9D4JDRQ
| URI | m2://inv/19A9D4JDRQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pairwise Stone space, Pairwise Stone space (definition). Also Wikidata Q13394032
History
- 2026-11-02: add by m2/dev
19AADJ83PB 19AADJ83PB
| URI | m2://inv/19AADJ83PB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10881#2QTA (statement). In DC01XRB5YE/e1, theorem 8
History
- 2026-10-28: add by m2/v0.4.3
Laguerre form 19AAYKEPMC
| URI | m2://inv/19AAYKEPMC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Laguerre form, Laguerre form (definition). Also Wikidata Q6472736
History
- 2026-11-02: add by m2/dev
Examples 19AMBMPMKV
| URI | m2://inv/19AMBMPMKV |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Simplicial sphere#23BB, Examples (example)
History
- 2026-11-02: add by m2/dev
Examples 19AP86DZFY
| URI | m2://inv/19AP86DZFY |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Observer bias#SQGK, Examples (example)
History
- 2026-11-02: add by m2/dev
Radial oscillation 19ASWKTJ4D
| URI | m2://inv/19ASWKTJ4D |
|---|---|
| Kind | example |
| 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.37704#JLRT, Radial oscillation (example). In HGTFJ325A4/e1, example 8.2
History
- 2026-10-30: add by m2/v0.4.12
Covolumes 19B0Z5XSH4
| URI | m2://inv/19B0Z5XSH4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.37368#MJE4, Covolumes (statement). In FRMCKEGVJZ/e1, lemma 19
History
- 2026-10-30: add by m2/v0.4.12
19B4KRVHA0 19B4KRVHA0
| URI | m2://inv/19B4KRVHA0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2604.10080#9WUW (statement). In KM2FWKP93A/e1, lemma 2.16
History
- 2026-10-27: add by m2/v0.4.0
division 19B7NSYDSQ
| URI | m2://inv/19B7NSYDSQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#JSQT, division (definition)
History
- 2026-11-02: add by m2/dev
19BFC6000J 19BFC6000J
| URI | m2://inv/19BFC6000J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 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 math/0406514#FBPK (statement). In CY1FE8W1ZW/e1, corollary 0.95
History
- 2026-10-27: add by m2/v0.3.5
M/M/∞ queue 19BFHQ59F5
| URI | m2://inv/19BFHQ59F5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia M/M/∞ queue, M/M/∞ queue (definition). Also Wikidata Q6713465
History
- 2026-11-02: add by m2/dev
Sum coloring 19BMXEK54E
| URI | m2://inv/19BMXEK54E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sum coloring, Sum coloring (definition). Also Wikidata Q50310578
History
- 2026-11-02: add by m2/dev
Arthur Eddington 19BN5GQSJ3
| URI | m2://inv/19BN5GQSJ3 |
|---|---|
| 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 Q215022, Arthur Eddington (unknown). Also nLab Arthur Eddington
History
- 2026-10-26: add by m2/dev
19BV1V152W 19BV1V152W
| URI | m2://inv/19BV1V152W |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09578#07XX (definition). In WT0ZB7R39B/e1, definition 2.3
History
- 2026-10-29: add by m2/v0.4.10
uniform module 19BYYTGFT5
| URI | m2://inv/19BYYTGFT5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Uniform module YXEVE39Q31 |
Mentions
- wikidata: Wikidata Q7885110, uniform module (unknown). Also nLab uniform module
- wikipedia: Wikipedia Uniform module, Uniform module (definition). Also Wikidata Q7885110
History
- 2026-10-26: add by m2/dev
19C6NVK6Z5 19C6NVK6Z5
| URI | m2://inv/19C6NVK6Z5 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 54-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15099#GYBZ (example). In PF5JJ9DS8Q/e1, example 2.4.4
History
- 2026-10-28: add by m2/v0.4.2
19CCQ2MAQY 19CCQ2MAQY
| URI | m2://inv/19CCQ2MAQY |
|---|---|
| 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 2207.12181#9RHI (statement). In FSD8NE3XSR/e1, proposition 7.23
History
- 2026-10-27: add by m2/v0.4.0
T-schema 19CG8EN1D9
| URI | m2://inv/19CG8EN1D9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#7JVZ, T-schema (definition)
History
- 2026-11-02: add by m2/dev
Bauernfeind prism 19CR4Z3YW1
| URI | m2://inv/19CR4Z3YW1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bauernfeind prism, Bauernfeind prism (definition). Also Wikidata Q4873470
History
- 2026-11-02: add by m2/dev
Theorem 19CRT70SYK
| URI | m2://inv/19CRT70SYK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Feynman–Kac formula#NDUA, Theorem (statement)
History
- 2026-11-02: add by m2/dev
19CSE15SVD 19CSE15SVD
| URI | m2://inv/19CSE15SVD |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33590#U4XO (definition). In WRE0P7V6Z3/e1, definition D.23
History
- 2026-10-30: add by m2/v0.4.12
19CWT9Z06R 19CWT9Z06R
| URI | m2://inv/19CWT9Z06R |
|---|---|
| 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.26366#KIMD (statement)
History
- 2026-11-01: add by m2/v0.6.15
Ideal lattice 19CX9N7RGJ
| URI | m2://inv/19CX9N7RGJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ideal lattice, Ideal lattice (definition). Also Wikidata Q5987986
History
- 2026-11-02: add by m2/dev
Compound of twelve pentagonal prisms 19D2RP2A20
| URI | m2://inv/19D2RP2A20 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#2SH6, Compound of twelve pentagonal prisms (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#IMZ0, Compound of twelve pentagonal prisms (definition)
History
- 2026-11-02: add by m2/dev
Applications 19D5ZPQXES
| URI | m2://inv/19D5ZPQXES |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Situation theory#P9YF, Applications (example)
History
- 2026-11-02: add by m2/dev
Examples 19D8F6RMEE
| URI | m2://inv/19D8F6RMEE |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sharpe ratio#H25E, Examples (example)
History
- 2026-11-02: add by m2/dev
Boris Delaunay 19D8F7GFE2
| URI | m2://inv/19D8F7GFE2 |
|---|---|
| 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#W3XM, Boris Delaunay (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#ZBCZ, Boris Delaunay (unknown)
History
- 2026-11-02: add by m2/dev
19DM473818 19DM473818
| URI | m2://inv/19DM473818 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 51-XX, 52-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.21768#WQMS (statement). In VD53W58DS1/e1, lemma 4.1
History
- 2026-10-27: add by m2/v0.4.2
Acheson J. Duncan 19DW3EM1NP
| URI | m2://inv/19DW3EM1NP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Acheson J. Duncan, Acheson J. Duncan (topic). Also Wikidata Q4673627
History
- 2026-11-02: add by m2/dev
19DYP1AVSD 19DYP1AVSD
| URI | m2://inv/19DYP1AVSD |
|---|---|
| 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.28518#D5R0 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Definitions 19DZMA4C69
| URI | m2://inv/19DZMA4C69 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pell number#U5SR, Definitions (definition)
History
- 2026-11-02: add by m2/dev
gaugino 19E2KYRN8W
| URI | m2://inv/19E2KYRN8W |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1060144, gaugino (unknown). Also nLab gaugino
History
- 2026-10-26: add by m2/dev
Legendre form 19EH0SVYW1
| URI | m2://inv/19EH0SVYW1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Adrien-Marie Legendre#721X, Legendre form (definition)
History
- 2026-11-02: add by m2/dev
19EP2K9GQV 19EP2K9GQV
| URI | m2://inv/19EP2K9GQV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/proof-theory/sequent-calculus/translations.tex#prop-2 (statement). In PKGMM3P5QY, prop, section 62.1
History
- 2026-11-01: add by m2/v0.6.13
19ESN427KZ 19ESN427KZ
| URI | m2://inv/19ESN427KZ |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Map folding#091N (problem)
History
- 2026-11-02: add by m2/dev
The least-action level 19ESRZPJXP
| URI | m2://inv/19ESRZPJXP |
|---|---|
| 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.02933#E6CO, The least-action level (statement). In QSYZKPFRAN/e1, proposition 3.1
History
- 2026-10-29: add by m2/v0.4.12
Will Carl Rufus 19ETP1SWY5
| URI | m2://inv/19ETP1SWY5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Will Carl Rufus, Will Carl Rufus (topic). Also Wikidata Q110223858
History
- 2026-11-02: add by m2/dev
Switzerland 19EY2NZD5C
| URI | m2://inv/19EY2NZD5C |
|---|---|
| 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 Q39, Switzerland (unknown). Also ProofWiki Mathematician:Mathematicians/Sorted_By_Nation/Switzerland
History
- 2026-10-26: add by m2/dev
Second law 19FC03R0HM
| URI | m2://inv/19FC03R0HM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kepler's laws of planetary motion#JFLN, Second law (statement)
History
- 2026-11-02: add by m2/dev
Rudolf Gorenflo 19FC2MPKAZ
| URI | m2://inv/19FC2MPKAZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#4O36, Rudolf Gorenflo (topic)
- wikipedia: Wikipedia List of German mathematicians#JS4A, Rudolf Gorenflo (topic)
History
- 2026-11-02: add by m2/dev
Bollobas-Szemeredi-Thomason 19FKQEJYSH
| URI | m2://inv/19FKQEJYSH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30561#JUKV, Bollobas-Szemeredi-Thomason (statement). In EHQBEXHF9W/e1, theorem 4.1
History
- 2026-10-31: add by m2/v0.5.6
19FR1HH421 19FR1HH421
| URI | m2://inv/19FR1HH421 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23871#T6QQ (example)
History
- 2026-11-02: add by m2/v0.6.17
Christopher Clavius 19FVG4B2SC
| URI | m2://inv/19FVG4B2SC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Christopher Clavius, Christopher Clavius (topic). Also Wikidata Q76728
History
- 2026-11-02: add by m2/dev
Precise statement of the Adyan–Rabin theorem 19FY7T37H1
| URI | m2://inv/19FY7T37H1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Adian–Rabin theorem#7Z06, Precise statement of the Adyan–Rabin theorem (statement)
History
- 2026-11-02: add by m2/dev
19G7T3ZGG5 19G7T3ZGG5
| URI | m2://inv/19G7T3ZGG5 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-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 2110.11143#Y78C (definition). In VTVC0TCWSB/e1, definition 6.4
History
- 2026-10-27: add by m2/v0.3.5
Properties 19GA749J2G
| URI | m2://inv/19GA749J2G |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Essential spectrum#JQG6, Properties (statement)
History
- 2026-11-02: add by m2/dev
19GBA6WQ6K 19GBA6WQ6K
| URI | m2://inv/19GBA6WQ6K |
|---|---|
| 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.21600#7PIC (statement). In EGAXXGHQNK/e1, theorem 1
History
- 2026-10-27: add by m2/v0.4.2
Statistical Research Group 19GR8PVXTD
| URI | m2://inv/19GR8PVXTD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Statistical Research Group, Statistical Research Group (definition). Also Wikidata Q106506574
History
- 2026-11-02: add by m2/dev
19GT052FHZ 19GT052FHZ
| URI | m2://inv/19GT052FHZ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_networkflow_exercises.ptx#exercise-9 (exercise). In QKM9DD2H56, exercise, section 13
History
- 2026-11-01: add by m2/v0.6.13
Gerhard Christoph Hermann Vechtmann 19GTBREPZV
| URI | m2://inv/19GTBREPZV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gerhard Christoph Hermann Vechtmann, Gerhard Christoph Hermann Vechtmann (topic). Also Wikidata Q26295693
History
- 2026-11-02: add by m2/dev
Paris' law 19GTYAGDXA
| URI | m2://inv/19GTYAGDXA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Paris' law, Paris' law (statement). Also Wikidata Q7137166
History
- 2026-11-02: add by m2/dev
19H0DSPGCA 19H0DSPGCA
| URI | m2://inv/19H0DSPGCA |
|---|---|
| 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.15831#Y61Z (statement). In CVESAPNMCQ/e1, theorem 5.15
History
- 2026-10-28: add by m2/v0.4.2
induction principle, for torus 19H1AFXV96
| URI | m2://inv/19H1AFXV96 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/5.6/induction-principle-for-torus, induction principle, for torus (concept). In N54F33XE07, index, section 5.6
History
- 2026-11-01: add by m2/v0.6.13
19H1BX00NK 19H1BX00NK
| URI | m2://inv/19H1BX00NK |
|---|---|
| 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.39465#025O (definition). In 17F6FDEA3W/e1, definition 2.1
History
- 2026-10-30: add by m2/v0.4.12
Fiber-homotopy equivalence 19H5BRZNXG
| URI | m2://inv/19H5BRZNXG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fiber-homotopy equivalence, Fiber-homotopy equivalence (definition). Also Wikidata Q97360379
History
- 2026-11-02: add by m2/dev
19H7NYEMGH 19H7NYEMGH
| URI | m2://inv/19H7NYEMGH |
|---|---|
| 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.27974#LY6X (definition)
History
- 2026-11-01: add by m2/v0.6.15
Weyl calculus 19HJTQPN1G
| URI | m2://inv/19HJTQPN1G |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Oscillator representation#F81V, Weyl calculus (unknown)
History
- 2026-11-02: add by m2/dev
Applications 19HRJJVHV4
| URI | m2://inv/19HRJJVHV4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cauchy–Schwarz inequality#I5QV, Applications (example)
History
- 2026-11-02: add by m2/dev
Pop Out (game) 19JCNNY6Z2
| URI | m2://inv/19JCNNY6Z2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Connect Four#WJTI, Pop Out (game) (unknown)
History
- 2026-11-02: add by m2/dev
encode-decode method 19JDSXHTP9
| URI | m2://inv/19JDSXHTP9 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/7.6/encode-decode-method, encode-decode method (concept). In N54F33XE07, index, section 7.6
History
- 2026-11-01: add by m2/v0.6.13
Choice of the null hypothesis 19JG645C5G
| URI | m2://inv/19JG645C5G |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Statistical hypothesis test#941S, Choice of the null hypothesis (statement)
History
- 2026-11-02: add by m2/dev
19JHENKK76 19JHENKK76
| URI | m2://inv/19JHENKK76 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-systems.tex#exercise-70 (exercise). In E9HS8K3A52, exercise, section 10.6.4
History
- 2026-11-01: add by m2/v0.6.13
Sanjay Shete 19JMGR284F
| URI | m2://inv/19JMGR284F |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#8WN3, Sanjay Shete (unknown)
History
- 2026-11-02: add by m2/dev
19JPJ1HG3V 19JPJ1HG3V
| URI | m2://inv/19JPJ1HG3V |
|---|---|
| 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 2604.23212#8GMJ (statement). In 4X12V9RS0D/e1, proposition E.3
History
- 2026-10-27: add by m2/v0.3.5
Fixed-level convergence 19JWXEM8ZV
| URI | m2://inv/19JWXEM8ZV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00396#13J0, Fixed-level convergence (statement). In V13TE1RWT9/e1, theorem 10.8
History
- 2026-10-30: add by m2/v0.4.12
Exponential ratio mixing for the percolation representations 19JY178R01
| URI | m2://inv/19JY178R01 |
|---|---|
| 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.20583#R4TR, Exponential ratio mixing for the percolation representations (statement). In 5YEEPDPAQE/e1, corollary 1.7
History
- 2026-10-27: add by m2/v0.4.2
19K1P28BRJ 19K1P28BRJ
| URI | m2://inv/19K1P28BRJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33590#54EK (statement). In WRE0P7V6Z3/e1, lemma 8.1
History
- 2026-10-30: add by m2/v0.4.12
Properties 19K3X9E5RN
| URI | m2://inv/19K3X9E5RN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Asymptotic curve#8Q0C, Properties (statement)
History
- 2026-11-02: add by m2/dev
19K6SMEG3F 19K6SMEG3F
| URI | m2://inv/19K6SMEG3F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 20-XX, 57-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.09333#4D3Q (statement). In Z9HC1EDTQP/e1, proposition 6.3
History
- 2026-10-29: add by m2/v0.4.10
19K9K3P7BH 19K9K3P7BH
| URI | m2://inv/19K9K3P7BH |
|---|---|
| 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.04325#TLLM (statement). In 42XHT97E64/e1, lemma 8.6
History
- 2026-10-29: add by m2/v0.4.12
J. Warner Wallace 19KE2B3PR4
| URI | m2://inv/19KE2B3PR4 |
|---|---|
| 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#EH2R, J. Warner Wallace (unknown)
History
- 2026-11-02: add by m2/dev
Stark–Heegner theorem 19KE7FCYYG
| URI | m2://inv/19KE7FCYYG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#0G91, Stark–Heegner theorem (statement)
History
- 2026-11-02: add by m2/dev
Row-space invariance under left spectral preconditioning 19KFG8SYJ0
| URI | m2://inv/19KFG8SYJ0 |
|---|---|
| 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.33021#OY8O, Row-space invariance under left spectral preconditioning (statement). In GG96DW33Q9/e1, lemma F.1
History
- 2026-10-31: add by m2/v0.5.6
Moving-head clock length and locality 19KGQXM8MR
| URI | m2://inv/19KGQXM8MR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16351#4N2P, Moving-head clock length and locality (statement). In 1QSV7EQE3T/e1, lemma S69
History
- 2026-10-28: add by m2/v0.4.2
Boyer–Lindquist coordinates 19KH22Y2V1
| URI | m2://inv/19KH22Y2V1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Boyer–Lindquist coordinates, Boyer–Lindquist coordinates (definition). Also Wikidata Q2996687
History
- 2026-11-02: add by m2/dev
Fundamental theorem of curves 19KHHQH4X1
| URI | m2://inv/19KHHQH4X1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fundamental theorem of curves, Fundamental theorem of curves (statement). Also Wikidata Q57486
History
- 2026-11-02: add by m2/dev
19KKWBFTQG 19KKWBFTQG
| URI | m2://inv/19KKWBFTQG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19854#JTTA (statement). In D50WST4CG3/e1, lemma 4.3
History
- 2026-10-28: add by m2/v0.4.2
Temporal parts 19KR2WZ2CX
| URI | m2://inv/19KR2WZ2CX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Temporal parts, Temporal parts (definition). Also Wikidata Q7698931
History
- 2026-11-02: add by m2/dev
Applications 19KVD8SBFN
| URI | m2://inv/19KVD8SBFN |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Belief aggregation#75O6, Applications (example)
History
- 2026-11-02: add by m2/dev
19MZ5SHTTR 19MZ5SHTTR
| URI | m2://inv/19MZ5SHTTR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22560#7FF7 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Motz's problem 19N0X71RGD
| URI | m2://inv/19N0X71RGD |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Motz's problem, Motz's problem (problem). Also Wikidata Q6918819
History
- 2026-11-02: add by m2/dev
19N3TQB6RE 19N3TQB6RE
| URI | m2://inv/19N3TQB6RE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31335#D4P4 (statement). In YN58PZTGFD/e1, proposition 5.1
History
- 2026-10-31: add by m2/v0.5.6
Shyamaprasad Mukherjee 19N5DNK4TP
| URI | m2://inv/19N5DNK4TP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#1MWM, Shyamaprasad Mukherjee (unknown)
History
- 2026-11-02: add by m2/dev
JSJ decomposition 19N5FVKK2E
| URI | m2://inv/19N5FVKK2E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia JSJ decomposition, JSJ decomposition (definition). Also Wikidata Q683430
History
- 2026-11-02: add by m2/dev
19NS3WRJK5 19NS3WRJK5
| URI | m2://inv/19NS3WRJK5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25539#ANYO (statement)
History
- 2026-11-01: add by m2/v0.6.15
Decoupling of moment degree from family dimension 19NSM6MYJP
| URI | m2://inv/19NSM6MYJP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04099#RLGW, Decoupling of moment degree from family dimension (statement). In QPJ6FWG5HD/e1, lemma 2.112
History
- 2026-10-29: add by m2/v0.4.12
Jianqing Fan 19NXV4WSPK
| URI | m2://inv/19NXV4WSPK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of presidents of the Institute of Mathematical Statistics#5LWW, Jianqing Fan (topic)
History
- 2026-11-02: add by m2/dev
19P7CPKPFR 19P7CPKPFR
| URI | m2://inv/19P7CPKPFR |
|---|---|
| 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.08935#1S6Z (statement). In G02N9D40B9/e1, proposition 6.4.1
History
- 2026-10-29: add by m2/v0.4.10
19P9SD37AY 19P9SD37AY
| URI | m2://inv/19P9SD37AY |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31407#UQIO (definition). In 6JSC602CCF/e1, definition 3.1
History
- 2026-10-31: add by m2/v0.5.6
recursion principle, for cartesian product 19PAVA6SMF
| URI | m2://inv/19PAVA6SMF |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/A.5/recursion-principle-for-cartesian-product, recursion principle, for cartesian product (concept). In N54F33XE07, index, section A.5
History
- 2026-11-01: add by m2/v0.6.13
19PBJ37M59 19PBJ37M59
| URI | m2://inv/19PBJ37M59 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24917#F2SI (statement)
History
- 2026-11-01: add by m2/v0.6.15
19PDTB0R7N 19PDTB0R7N
| URI | m2://inv/19PDTB0R7N |
|---|---|
| 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#QFCE (statement). In MNQAZ70XTH/e1, lemma 11.3
History
- 2026-10-28: add by m2/v0.4.3
19PEQ6C0P0 19PEQ6C0P0
| URI | m2://inv/19PEQ6C0P0 |
|---|---|
| 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 2105.13129#XDYP (example). In J5Z1JD5VKR/e1, example 2.6
History
- 2026-10-27: add by m2/v0.4.0
Norman Routledge 19PGMBFVJ6
| URI | m2://inv/19PGMBFVJ6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Norman Routledge, Norman Routledge (topic). Also Wikidata Q37631960
History
- 2026-11-02: add by m2/dev
19PJ8TXDTF 19PJ8TXDTF
| URI | m2://inv/19PJ8TXDTF |
|---|---|
| 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#6BXN (statement). In 9DQKY7KGE8/e1, lemma 7.6
History
- 2026-10-31: add by m2/v0.5.6
\textbf{A Wiener-type basis criterion 19PPC98HK9
| URI | m2://inv/19PPC98HK9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 30-XX, 32-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14266#VL3Z, \textbf{A Wiener-type basis criterion (statement). In 7R33E8515R/e1, corollary 2.11
History
- 2026-10-28: add by m2/v0.4.2
Borůvka's algorithm 19PRXDV1AW
| URI | m2://inv/19PRXDV1AW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Borůvka's algorithm, Borůvka's algorithm (definition). Also Wikidata Q1468211
History
- 2026-11-02: add by m2/dev
19PTXJGDXR 19PTXJGDXR
| URI | m2://inv/19PTXJGDXR |
|---|---|
| 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.03358#TOUQ (statement). In KCXEY7HJ8V/e1, proposition 2.6
History
- 2026-10-29: add by m2/v0.4.12
Theorem 19PV2F4YMB
| URI | m2://inv/19PV2F4YMB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fourier series#TV9R, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Hooley's delta function 19PXF5JEZP
| URI | m2://inv/19PXF5JEZP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hooley's delta function, Hooley's delta function (definition). Also Wikidata Q115945781
History
- 2026-11-02: add by m2/dev
An extreme coupling on two circles 19QA4G3V6Q
| URI | m2://inv/19QA4G3V6Q |
|---|---|
| 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.38228#80XL, An extreme coupling on two circles (statement). In 9YAE8FNQST/e1, lemma 11.10
History
- 2026-10-30: add by m2/v0.4.12
Vertex contraction 19QN2KWA3H
| URI | m2://inv/19QN2KWA3H |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Edge contraction#NM2R, Vertex contraction (unknown)
History
- 2026-11-02: add by m2/dev
19QPBT4SRE 19QPBT4SRE
| URI | m2://inv/19QPBT4SRE |
|---|---|
| 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.20409#SGX6 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Examples 19QQXET9G7
| URI | m2://inv/19QQXET9G7 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Monotonically normal space#GLQI, Examples (example)
History
- 2026-11-02: add by m2/dev
Wolfgang Kundt 19QWSGQPJX
| URI | m2://inv/19QWSGQPJX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of contributors to general relativity#E8XU, Wolfgang Kundt (unknown)
History
- 2026-11-02: add by m2/dev
Definitions 19RNENN9CJ
| URI | m2://inv/19RNENN9CJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Moduli space#VBRO, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Periodic Bernoulli polynomial 19RQXSK248
| URI | m2://inv/19RQXSK248 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bernoulli polynomials#S7W6, Periodic Bernoulli polynomial (unknown)
History
- 2026-11-02: add by m2/dev
Properties 19S6Z7BHZG
| URI | m2://inv/19S6Z7BHZG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kaniadakis Weibull distribution#1FWL, Properties (statement)
History
- 2026-11-02: add by m2/dev
Chris Brink 19S8B08G6R
| URI | m2://inv/19S8B08G6R |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chris Brink, Chris Brink (topic). Also Wikidata Q4819906
History
- 2026-11-02: add by m2/dev
Inverse matrix gamma distribution 19S8ZYX27J
| URI | m2://inv/19S8ZYX27J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#JVEF, Inverse matrix gamma distribution (definition)
History
- 2026-11-02: add by m2/dev
19SBQXWCCE 19SBQXWCCE
| URI | m2://inv/19SBQXWCCE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03231#PXN0 (statement). In 3Y76AQQGF0/e1, proposition 3.1
History
- 2026-10-29: add by m2/v0.4.12
19SP0ZGY46 19SP0ZGY46
| URI | m2://inv/19SP0ZGY46 |
|---|---|
| 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.21445#O7N1 (statement). In 6XM9AETJT7/e1, corollary 6.1
History
- 2026-10-27: add by m2/v0.4.2
19T6R88NX1 19T6R88NX1
| URI | m2://inv/19T6R88NX1 |
|---|---|
| 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.35287#RIK4 (statement). In BPPBAWGPHJ/e1, corollary
History
- 2026-10-30: add by m2/v0.4.12
Warning: the greedy policy of $\mathcal V_1$ can stay suboptimal 19TCF1CVNQ
| URI | m2://inv/19TCF1CVNQ |
|---|---|
| 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#U9N6, Warning: the greedy policy of $\mathcal V_1$ can stay suboptimal (statement). In F14A5HX20Q/e1, proposition D.7.2
History
- 2026-10-28: add by m2/v0.4.2
19TGF5732R 19TGF5732R
| URI | m2://inv/19TGF5732R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2506.07061#JVIG (statement). In G2PA4KAGRP/e1, proposition 2.2
History
- 2026-10-27: add by m2/v0.3.6
19TM3GY2PA 19TM3GY2PA
| URI | m2://inv/19TM3GY2PA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01467#VTEY (statement). In 10GZB25WAC/e1, proposition 5.1
History
- 2026-10-29: add by m2/v0.4.12
19TMZKE7GP 19TMZKE7GP
| URI | m2://inv/19TMZKE7GP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 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.35543#9CW6 (statement). In WSG1ZW956E/e1, corollary 7.9
History
- 2026-10-30: add by m2/v0.4.12
Giuseppe Lauricella 19TW6B8X7J
| URI | m2://inv/19TW6B8X7J |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#M6M5, Giuseppe Lauricella (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#FDEJ, Giuseppe Lauricella (topic)
History
- 2026-11-02: add by m2/dev
19TWJRG4KV 19TWJRG4KV
| URI | m2://inv/19TWJRG4KV |
|---|---|
| Kind | example |
| 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#5UWW (example). In 9ZSNSJRJ5N/e1, example 12
History
- 2026-10-27: add by m2/v0.4.2
19TWRZ6K77 19TWRZ6K77
| URI | m2://inv/19TWRZ6K77 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16059#2NR1 (statement). In 51W7AECQDA/e1, lemma 4.2
History
- 2026-10-28: add by m2/v0.4.2
Example 19TXRWFWX1
| URI | m2://inv/19TXRWFWX1 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Poincaré map#P0ZG, Example (example)
History
- 2026-11-02: add by m2/dev
Mihaela Ifrim 19VB67T3VH
| URI | m2://inv/19VB67T3VH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mihaela Ifrim, Mihaela Ifrim (topic). Also Wikidata Q102403834
History
- 2026-11-02: add by m2/dev
Applications 19VBQNECNW
| URI | m2://inv/19VBQNECNW |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cheap talk#VF6Z, Applications (example)
History
- 2026-11-02: add by m2/dev
19VJCKMW0W 19VJCKMW0W
| URI | m2://inv/19VJCKMW0W |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2506.21337#J4S7 (conjecture). In EPZN0JTG2Z/e1, conjecture 6.1
History
- 2026-10-27: add by m2/v0.3.5
19VQ4TEPR2 19VQ4TEPR2
| URI | m2://inv/19VQ4TEPR2 |
|---|---|
| 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.12108#F4EG (definition). In JQH3FHYPW3/e1, definition 2.11
History
- 2026-10-28: add by m2/v0.4.2
19W6BXN591 19W6BXN591
| URI | m2://inv/19W6BXN591 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 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 math/0406514#C3U5 (definition). In CY1FE8W1ZW/e1, definition 0.204
History
- 2026-10-27: add by m2/v0.3.5
Basic properties 19W7AHNH3E
| URI | m2://inv/19W7AHNH3E |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Category O#559B, Basic properties (statement)
History
- 2026-11-02: add by m2/dev
19WA0Y1ZXR 19WA0Y1ZXR
| URI | m2://inv/19WA0Y1ZXR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2402.08944#BC2E (statement). In D8QFZG5R1D/e1, proposition 3.1
History
- 2026-10-27: add by m2/v0.3.6
David Reich 19WAZYCFEJ
| URI | m2://inv/19WAZYCFEJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia David Reich (geneticist), David Reich (topic). Also Wikidata Q5238967
History
- 2026-11-02: add by m2/dev
19WBKARCZ4 19WBKARCZ4
| URI | m2://inv/19WBKARCZ4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21934#LPQX (statement). In YKD51BX3XB/e1, lemma 9.4
History
- 2026-10-27: add by m2/v0.4.2
19WFZ88ZA3 19WFZ88ZA3
| URI | m2://inv/19WFZ88ZA3 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 19-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02017#57Q5 (definition). In F6C80AEXC1/e1, definition 2.10
History
- 2026-10-29: add by m2/v0.4.12
Random number generator attack 19WVSCNXA6
| URI | m2://inv/19WVSCNXA6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Random number generator attack, Random number generator attack (definition). Also Wikidata Q4071926
History
- 2026-11-02: add by m2/dev
Nondegeneracy in undersampled case 19WXFDY8TT
| URI | m2://inv/19WXFDY8TT |
|---|---|
| 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.08152#57NW, Nondegeneracy in undersampled case (statement). In T1GYQ6SCCZ/e1, lemma 2.4
History
- 2026-10-29: add by m2/v0.4.10
Nested exponentiation 19X0YHHQKB
| URI | m2://inv/19X0YHHQKB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Order of operations#P647, Nested exponentiation (unknown)
History
- 2026-11-02: add by m2/dev
Nessim Sibony 19X5YSCK0M
| URI | m2://inv/19X5YSCK0M |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nessim Sibony, Nessim Sibony (topic). Also Wikidata Q1485908
History
- 2026-11-02: add by m2/dev
19XKBHH1FY 19XKBHH1FY
| URI | m2://inv/19XKBHH1FY |
|---|---|
| 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 2511.12649#5Z70 (statement). In RT27S2YZKJ/e1, lemma 5
History
- 2026-10-27: add by m2/v0.4.0
abstract object 19XM7491NP
| URI | m2://inv/19XM7491NP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#WHD5, abstract object (definition)
History
- 2026-11-02: add by m2/dev
19XT6D5K6Y 19XT6D5K6Y
| URI | m2://inv/19XT6D5K6Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 19-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks 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.31413#MWCA (statement). In 1C68G64QZS/e1, lemma 4
History
- 2026-10-31: add by m2/v0.5.6
19Y1DAQA3M 19Y1DAQA3M
| URI | m2://inv/19Y1DAQA3M |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-metric.tex#proof-9 (proof). In E59CDZA4DP, proof, section 4.2.3
History
- 2026-11-01: add by m2/v0.6.13
Truncated Newton method 19Y3PCYY1Z
| URI | m2://inv/19Y3PCYY1Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Truncated Newton method, Truncated Newton method (definition). Also Wikidata Q25099426
History
- 2026-11-02: add by m2/dev
19YCWTQNXT 19YCWTQNXT
| URI | m2://inv/19YCWTQNXT |
|---|---|
| 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 2609.38396#K5N5 (definition). In FGNNVKQR1Z/e1, definition 5.5
History
- 2026-10-30: add by m2/v0.4.12
Julia 19YD758VCN
| URI | m2://inv/19YD758VCN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical-analysis software#17HW, Julia (unknown)
History
- 2026-11-02: add by m2/dev
19YDMYCZ53 19YDMYCZ53
| URI | m2://inv/19YDMYCZ53 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-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.20410#890G (statement)
History
- 2026-11-02: add by m2/v0.6.18
19YEFW81GY 19YEFW81GY
| URI | m2://inv/19YEFW81GY |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20466#LLID (definition). In M4ZVJWM8YA/e1, definition 3.7
History
- 2026-10-27: add by m2/v0.4.2
One-step approximation of the initial point 19YRK4GANZ
| URI | m2://inv/19YRK4GANZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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.20998#YT96, One-step approximation of the initial point (statement)
History
- 2026-11-02: add by m2/v0.6.18
Equivariant map 19YW8HFXKS
| URI | m2://inv/19YW8HFXKS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Equivariant map, Equivariant map (definition). Also Wikidata Q256355
History
- 2026-11-02: add by m2/dev
Complete characterization of wedge Gram representations 19YXJF9176
| URI | m2://inv/19YXJF9176 |
|---|---|
| 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#LAAO, Complete characterization of wedge Gram representations (statement). In X407M6WFNR/e1, lemma 2.1
History
- 2026-10-29: add by m2/v0.4.10
Hasse diagram 19YZAQG85V
| URI | m2://inv/19YZAQG85V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of order theory topics#XULW, Hasse diagram (definition)
History
- 2026-11-02: add by m2/dev
90,000 19Z1QRXX6A
| URI | m2://inv/19Z1QRXX6A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 90,000, 90,000 (definition). Also Wikidata Q3271930
History
- 2026-11-02: add by m2/dev
King Christian X Land 19Z5THVDG6
| URI | m2://inv/19Z5THVDG6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#BS5B, King Christian X Land (unknown)
History
- 2026-11-02: add by m2/dev
Tangent quadrilateral theorem and inscribed circles 19Z7A0FRKY
| URI | m2://inv/19Z7A0FRKY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tangent lines to circles#G3S3, Tangent quadrilateral theorem and inscribed circles (statement)
History
- 2026-11-02: add by m2/dev
19ZCHJPKCX 19ZCHJPKCX
| URI | m2://inv/19ZCHJPKCX |
|---|---|
| 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.38650#DS8K (statement). In DZJ9QJVQK3/e1, lemma 2
History
- 2026-10-30: add by m2/v0.4.12
\texttt{Propagation of chaos and Lipschitz regularity of the first flat derivatives 19ZHXE3JAG
| URI | m2://inv/19ZHXE3JAG |
|---|---|
| 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.06343#EH7V, \texttt{Propagation of chaos and Lipschitz regularity of the first flat derivatives (statement). In R8176XJ535/e1, theorem 1.4
History
- 2026-10-29: add by m2/v0.4.10
Lemma 5 19ZSFXRW3F
| URI | m2://inv/19ZSFXRW3F |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hilbert's theorem (differential geometry)#1NE9, Lemma 5 (statement)
History
- 2026-11-02: add by m2/dev
double turnstile 19ZYWPYY70
| URI | m2://inv/19ZYWPYY70 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#31I5, double turnstile (definition)
History
- 2026-11-02: add by m2/dev