Inventory rows B5
The cards of the rows of the inventory whose ids start with B5. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
B5037300Q2 B5037300Q2
| URI | m2://inv/B5037300Q2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23237#6TK3 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Lambert's theorem B506QNJDAN
| URI | m2://inv/B506QNJDAN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Parabola#XUMF, Lambert's theorem (statement)
History
- 2026-11-02: add by m2/dev
Michael Rosen B508BTGK89
| URI | m2://inv/B508BTGK89 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Michael Rosen (mathematician), Michael Rosen (topic). Also Wikidata Q1275839
History
- 2026-11-02: add by m2/dev
B50950MVN3 B50950MVN3
| URI | m2://inv/B50950MVN3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39347#D5F2 (statement). In KBBA2FKDBH/e1, lemma 5.3
History
- 2026-10-30: add by m2/v0.4.12
Niccolò Tartaglia B50D23BJ25
| URI | m2://inv/B50D23BJ25 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#01I2, Niccolò Tartaglia (topic)
History
- 2026-11-02: add by m2/dev
Quotient of an abelian category B50DRPZ3BS
| URI | m2://inv/B50DRPZ3BS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quotient of an abelian category, Quotient of an abelian category (definition). Also Wikidata Q25100692
History
- 2026-11-02: add by m2/dev
Heterogeneous weights on fixed ray directions B50ETZ2Y5Q
| URI | m2://inv/B50ETZ2Y5Q |
|---|---|
| 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.20215#NQ54, Heterogeneous weights on fixed ray directions (statement)
History
- 2026-11-02: add by m2/v0.6.18
Enzo Tonti B50G5KHXT3
| URI | m2://inv/B50G5KHXT3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Enzo Tonti, Enzo Tonti (topic). Also Wikidata Q1346127
History
- 2026-11-02: add by m2/dev
Special Cases B50GG631PT
| URI | m2://inv/B50GG631PT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pochhammer k-symbol#47S7, Special Cases (statement)
History
- 2026-11-02: add by m2/dev
Regular CW complex B50GTC9WWD
| URI | m2://inv/B50GTC9WWD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia CW complex#OAY6, Regular CW complex (unknown)
History
- 2026-11-02: add by m2/dev
B50K9Z0Z5R B50K9Z0Z5R
| URI | m2://inv/B50K9Z0Z5R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36622#2MTD (statement). In 9704QPRPR6/e1, lemma 4.5
History
- 2026-10-30: add by m2/v0.4.12
Quillen–Suslin theorem B50MFKA804
| URI | m2://inv/B50MFKA804 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Jean-Pierre Serre#ZCBK, Quillen–Suslin theorem (statement)
History
- 2026-11-02: add by m2/dev
B50PTKBEMT B50PTKBEMT
| URI | m2://inv/B50PTKBEMT |
|---|---|
| Kind | statement |
| 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#EN0X (statement). In KZ71GXT2B0/e1, lemma 3.1
History
- 2026-10-28: add by m2/v0.4.2
B5136KS9TG B5136KS9TG
| URI | m2://inv/B5136KS9TG |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16178#0YLC (example). In 698X5RE1AB/e1, example 2.3
History
- 2026-10-28: add by m2/v0.4.2
$\R^n$ and $\pt$ are retracts B51AKDSPS9
| URI | m2://inv/B51AKDSPS9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26270#QCAU, $\R^n$ and $\pt$ are retracts (statement)
History
- 2026-11-01: add by m2/v0.6.15
Wilf Malcolm B51CQ0C626
| URI | m2://inv/B51CQ0C626 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wilf Malcolm, Wilf Malcolm (topic). Also Wikidata Q57162108
History
- 2026-11-02: add by m2/dev
the pentagon conjecture B51E9BSPCQ
| URI | m2://inv/B51E9BSPCQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20775#P421, the pentagon conjecture (statement). In XG27B81T0G/e1, corollary 5.7
History
- 2026-10-27: add by m2/v0.4.2
B51JZJ0M44 B51JZJ0M44
| URI | m2://inv/B51JZJ0M44 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23341#HMUE (definition)
History
- 2026-11-02: add by m2/v0.6.17
B51QMDZMAF B51QMDZMAF
| URI | m2://inv/B51QMDZMAF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21181#2EPU (statement). In 3D0GJXDY11/e1, theorem C
History
- 2026-10-27: add by m2/v0.4.2
Alexandre Eremenko B51S6TK82H
| URI | m2://inv/B51S6TK82H |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alexandre Eremenko, Alexandre Eremenko (topic). Also Wikidata Q4720833
History
- 2026-11-02: add by m2/dev
B51T1W5PSR B51T1W5PSR
| URI | m2://inv/B51T1W5PSR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19590#MEI7 (statement). In AZFARX0CXG/e1, lemma 3.1
History
- 2026-10-28: add by m2/v0.4.2
B51ZGFTAYR B51ZGFTAYR
| URI | m2://inv/B51ZGFTAYR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 62-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.11869#JUB0 (statement). In B5GGGWNJA6/e1, corollary 4
History
- 2026-10-28: add by m2/v0.4.3
The principles of science : a treatise on logic and scientific method B524113ST6
| URI | m2://inv/B524113ST6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a book, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q51427139, The principles of science : a treatise on logic and scientific method (unknown). Also ProofWiki Book:William_Stanley_Jevons/The_Principles_of_Science:_A_Treatise_on_Logic_and_Scientific_Method
History
- 2026-10-26: add by m2/dev
Cramér’s decomposition theorem B5289HAZMT
| URI | m2://inv/B5289HAZMT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#I5J9, Cramér’s decomposition theorem (statement)
History
- 2026-11-02: add by m2/dev
Faddeeva function B52DXW3RGY
| URI | m2://inv/B52DXW3RGY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Faddeeva function, Faddeeva function (definition). Also Wikidata Q4027138
History
- 2026-11-02: add by m2/dev
B52F9108DX B52F9108DX
| URI | m2://inv/B52F9108DX |
|---|---|
| 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.28650#FNCG (statement)
History
- 2026-11-01: add by m2/v0.6.15
Two-torus B52HY8P0D4
| URI | m2://inv/B52HY8P0D4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Torus#K9MU, Two-torus (unknown)
History
- 2026-11-02: add by m2/dev
Cartan's magic formula B52QFM50VQ
| URI | m2://inv/B52QFM50VQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Élie Cartan#QK08, Cartan's magic formula (definition)
History
- 2026-11-02: add by m2/dev
Logic of Paradox B52ST16C7C
| URI | m2://inv/B52ST16C7C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#INYQ, Logic of Paradox (definition)
History
- 2026-11-02: add by m2/dev
\textsf{Separated diagram bounds B52X89865B
| URI | m2://inv/B52X89865B |
|---|---|
| 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.09404#6E4D, \textsf{Separated diagram bounds (statement). In D7CZZ48FRN/e1, lemma 2.2
History
- 2026-10-29: add by m2/v0.4.10
B5303TG0KQ B5303TG0KQ
| URI | m2://inv/B5303TG0KQ |
|---|---|
| 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.40054#41X8 (statement). In CA4C9PFM1E/e1, theorem 2.2.5
History
- 2026-10-30: add by m2/v0.4.12
Real Mellin moments B533FQ6ZQD
| URI | m2://inv/B533FQ6ZQD |
|---|---|
| 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 2610.03811#Z5G7, Real Mellin moments (statement). In DHQWFJW02X/e1, proposition 5.7
History
- 2026-10-29: add by m2/v0.4.12
B53DKCSABC B53DKCSABC
| URI | m2://inv/B53DKCSABC |
|---|---|
| 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#WEBF (statement)
History
- 2026-11-01: add by m2/v0.6.15
B53KS3PV8Y B53KS3PV8Y
| URI | m2://inv/B53KS3PV8Y |
|---|---|
| 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.12480#Y5PS (statement). In 585QYGX4X6/e1, proposition 9
History
- 2026-10-28: add by m2/v0.4.2
Definitions B53R0D4JRF
| URI | m2://inv/B53R0D4JRF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Topological K-theory#YHCL, Definitions (definition)
History
- 2026-11-02: add by m2/dev
B53YE3CHHP B53YE3CHHP
| URI | m2://inv/B53YE3CHHP |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37897#U8IR (example). In RBQ5FNCVNZ/e1, example 2.1
History
- 2026-10-30: add by m2/v0.4.12
B53YFMXWJK B53YFMXWJK
| URI | m2://inv/B53YFMXWJK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19707#CCSR (statement). In R6SEBXARYC/e1, lemma 4.1
History
- 2026-10-28: add by m2/v0.4.2
B5407FBB8F B5407FBB8F
| URI | m2://inv/B5407FBB8F |
|---|---|
| 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.14450#ABS8 (statement). In ZHTGQT07PE/e1, proposition 4.1
History
- 2026-10-28: add by m2/v0.4.2
$\delta$-regularization B543GDR1B4
| URI | m2://inv/B543GDR1B4 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12544#ZZOO, $\delta$-regularization (definition). In XXV36V6CK8/e1, definition 4
History
- 2026-10-28: add by m2/v0.4.2
Least admissible common base B546FV3YW1
| URI | m2://inv/B546FV3YW1 |
|---|---|
| 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.28649#QYQZ, Least admissible common base (statement)
History
- 2026-11-01: add by m2/v0.6.15
B548QP4YVK B548QP4YVK
| URI | m2://inv/B548QP4YVK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16707#FU2U (statement). In HH7FRWBRMB/e1, proposition 2
History
- 2026-10-28: add by m2/v0.4.2
CRT decomposition of the centralizer; original B54BH6SJPQ
| URI | m2://inv/B54BH6SJPQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02392#VT1P, CRT decomposition of the centralizer; original (statement). In W066HQZQBF/e1, lemma 29
History
- 2026-10-29: add by m2/v0.4.12
Statement B54FQ3J5HF
| URI | m2://inv/B54FQ3J5HF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hájek–Le Cam convolution theorem#30EG, Statement (statement)
History
- 2026-11-02: add by m2/dev
Blasius theorem B54GMCR312
| URI | m2://inv/B54GMCR312 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Blasius theorem, Blasius theorem (statement). Also Wikidata Q881920
History
- 2026-11-02: add by m2/dev
B54GMS2EDZ B54GMS2EDZ
| URI | m2://inv/B54GMS2EDZ |
|---|---|
| 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.10206#MNSR (statement). In 8TRCP1482Q/e1, theorem B.13
History
- 2026-10-29: add by m2/v0.4.10
B54X21MGVB B54X21MGVB
| URI | m2://inv/B54X21MGVB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20203#9AHN (statement)
History
- 2026-11-02: add by m2/v0.6.18
zero vector B55A8T5RY8
| URI | m2://inv/B55A8T5RY8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q488630, zero vector (unknown). Also MathWorld ZeroVector
History
- 2026-10-26: add by m2/dev
Generalizations B55CT6D6P7
| URI | m2://inv/B55CT6D6P7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Supporting line#3DOU, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Multiplicative regularized Stokes trace system B55KAJJV6P
| URI | m2://inv/B55KAJJV6P |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27799#FSF9, Multiplicative regularized Stokes trace system (definition)
History
- 2026-11-01: add by m2/v0.6.15
Whitehead's lemma B55MH0NATT
| URI | m2://inv/B55MH0NATT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Whitehead's lemma (Lie algebra), Whitehead's lemma (statement). Also Wikidata Q16934830
History
- 2026-11-02: add by m2/dev
B55W434NWY B55W434NWY
| URI | m2://inv/B55W434NWY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20588#G24N (statement)
History
- 2026-11-02: add by m2/v0.6.18
B55YS480S3 B55YS480S3
| URI | m2://inv/B55YS480S3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23237#XT1V (statement)
History
- 2026-11-02: add by m2/v0.6.17
Kernel methods B560BX57FQ
| URI | m2://inv/B560BX57FQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#6EDW, Kernel methods (definition)
History
- 2026-11-02: add by m2/dev
substitution B562QTSDZF
| URI | m2://inv/B562QTSDZF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Substitution NCDZ969V7X |
Mentions
- wikidata: Wikidata Q1522579, substitution (unknown). Also nLab substitution
- wikipedia: Wikipedia Substitution (logic), Substitution (definition). Also Wikidata Q1522579
History
- 2026-10-26: add by m2/dev
B5698VZHS2 B5698VZHS2
| URI | m2://inv/B5698VZHS2 |
|---|---|
| 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.21899#HWSI (statement). In YRN5P43B2N/e1, lemma 3.3
History
- 2026-10-27: add by m2/v0.4.2
comodule B56AK4SQZV
| URI | m2://inv/B56AK4SQZV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Comodule 7WEM2E6RTV |
Mentions
- wikidata: Wikidata Q5155179, comodule (unknown). Also nLab comodule
- wikipedia: Wikipedia Comodule, Comodule (definition). Also Wikidata Q5155179
History
- 2026-10-26: add by m2/dev
B56B44XHVZ B56B44XHVZ
| URI | m2://inv/B56B44XHVZ |
|---|---|
| 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 2610.17798#JB2G (statement). In 66H5YPQCYV/e1, corollary 4.2
History
- 2026-10-28: add by m2/v0.4.2
\nameref{cor:gen B56G4KFWYQ
| URI | m2://inv/B56G4KFWYQ |
|---|---|
| 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 2402.05875#7DWV, \nameref{cor:gen (statement). In 35FDBKEDC0/e1, theorem
History
- 2026-10-27: add by m2/v0.3.5
7-simplex honeycomb B56GCMG2XZ
| URI | m2://inv/B56GCMG2XZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 7-simplex honeycomb, 7-simplex honeycomb (definition). Also Wikidata Q4642893
History
- 2026-11-02: add by m2/dev
Related results B56JDZNM2B
| URI | m2://inv/B56JDZNM2B |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ore's theorem#1OVK, Related results (statement)
History
- 2026-11-02: add by m2/dev
B57A31603M B57A31603M
| URI | m2://inv/B57A31603M |
|---|---|
| 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.04046#ETTX (statement). In 3THDT8WNF7/e1, proposition 3
History
- 2026-10-29: add by m2/v0.4.12
B57C3Z24D4 B57C3Z24D4
| URI | m2://inv/B57C3Z24D4 |
|---|---|
| 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.31126#SWR7 (statement). In GK1V5GEHTK/e1, theorem 6.1
History
- 2026-10-31: add by m2/v0.5.6
B57DBARGK2 B57DBARGK2
| URI | m2://inv/B57DBARGK2 |
|---|---|
| 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.20385#D4S9 (statement). In 54HS9AHWPE/e1, lemma 4.4
History
- 2026-10-27: add by m2/v0.4.2
B57JVSSF75 B57JVSSF75
| URI | m2://inv/B57JVSSF75 |
|---|---|
| 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.31527#TKDM (statement). In ZQ2YZ4P6P5/e1, proposition 2.1
History
- 2026-10-31: add by m2/v0.5.6
B57Q5FQSB9 B57Q5FQSB9
| URI | m2://inv/B57Q5FQSB9 |
|---|---|
| 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.02295#7J7N (statement). In PEBD9ZMA1W/e1, theorem 7.1
History
- 2026-10-29: add by m2/v0.4.12
Example 1 – simple version B57XAN48W8
| URI | m2://inv/B57XAN48W8 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Likelihood principle#3RM7, Example 1 – simple version (example)
History
- 2026-11-02: add by m2/dev
CryptoGraf B580T86JV3
| URI | m2://inv/B580T86JV3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia CryptoGraf, CryptoGraf (definition). Also Wikidata Q5190790
History
- 2026-11-02: add by m2/dev
Yitzhak Frenkel B581J8V8NX
| URI | m2://inv/B581J8V8NX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#S1N2, Yitzhak Frenkel (unknown)
History
- 2026-11-02: add by m2/dev
B582ZH5VJS B582ZH5VJS
| URI | m2://inv/B582ZH5VJS |
|---|---|
| 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.17349#K0TX (statement). In FCCV2ZABPM/e1, theorem 4
History
- 2026-10-28: add by m2/v0.4.2
Base curves through a point B586NRR1A6
| URI | m2://inv/B586NRR1A6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33327#V58B, Base curves through a point (statement). In A5R31P82BK/e1, lemma 2.5
History
- 2026-10-30: add by m2/v0.4.12
Construction B587NCYM6T
| URI | m2://inv/B587NCYM6T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Square knot (mathematics)#JBQH, Construction (definition)
History
- 2026-11-02: add by m2/dev
Ashtekar variables B58E8R5HMV
| URI | m2://inv/B58E8R5HMV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical topics in relativity#3GEV, Ashtekar variables (definition)
History
- 2026-11-02: add by m2/dev
B58EKM8HVM B58EKM8HVM
| URI | m2://inv/B58EKM8HVM |
|---|---|
| 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.16399#UITZ (statement). In 2N87D4KTSY/e1, lemma 4.3
History
- 2026-10-28: add by m2/v0.4.2
Comparison of the $s$-variances B58FAK5B9R
| URI | m2://inv/B58FAK5B9R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00501#83IZ, Comparison of the $s$-variances (statement). In FTPW1SZ8D3/e1, lemma 2.3
History
- 2026-10-30: add by m2/v0.4.12
B58FG7MDZ9 B58FG7MDZ9
| URI | m2://inv/B58FG7MDZ9 |
|---|---|
| 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.08052#V45U (statement). In 672XAVEQ34/e1, proposition 4.2
History
- 2026-10-29: add by m2/v0.4.10
B58J6KRQ6G B58J6KRQ6G
| URI | m2://inv/B58J6KRQ6G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1009.2043#S06A (statement). In 7DCNHRBK5A/e1, corollary 6.1
History
- 2026-10-27: add by m2/v0.3.5
B58Q8HA4AH B58Q8HA4AH
| URI | m2://inv/B58Q8HA4AH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/incompleteness/incompleteness-provability/tarski-thm.tex#defn-1 (definition). In PKGMM3P5QY, defn, section 28.6
History
- 2026-11-01: add by m2/v0.6.13
Exhaustivity B5947TGJ76
| URI | m2://inv/B5947TGJ76 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exhaustivity, Exhaustivity (definition). Also Wikidata Q113456568
History
- 2026-11-02: add by m2/dev
B594ZVEBYH B594ZVEBYH
| URI | m2://inv/B594ZVEBYH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13883#YL13 (statement). In F3PQ8P7R2B/e1, lemma 13
History
- 2026-10-28: add by m2/v0.4.2
B59766KD7R B59766KD7R
| URI | m2://inv/B59766KD7R |
|---|---|
| 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 2609.34168#2I5B (definition). In 30YQV8N04M/e1, definition 2.1
History
- 2026-10-30: add by m2/v0.4.12
gaunt category B59BY6PPD8
| URI | m2://inv/B59BY6PPD8 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/2.6/gaunt-category, gaunt category (concept). In N54F33XE07, index, section 2.6
History
- 2026-11-01: add by m2/v0.6.13
Variations B59ETPMTV0
| URI | m2://inv/B59ETPMTV0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Word metric#6DQA, Variations (statement)
History
- 2026-11-02: add by m2/dev
MacLaurin series B59FD9PEH3
| URI | m2://inv/B59FD9PEH3 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | node (a node has the same name as the row) |
| Node | Maclaurin series 043SJ5RF59 |
Mentions
- wikidata: Wikidata Q1882442, MacLaurin series (concept). Also MathWorld MaclaurinSeries, ProofWiki Definition:Maclaurin_Series
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
B59HF66TPB B59HF66TPB
| URI | m2://inv/B59HF66TPB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18017#UZ2N (statement). In EBSQEQYECS/e1, corollary 2
History
- 2026-10-28: add by m2/v0.4.2
Event transfer B59HZPR0A8
| URI | m2://inv/B59HZPR0A8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10519#8GCA, Event transfer (statement). In 83MMH8VF1X/e1, lemma B.1
History
- 2026-10-29: add by m2/v0.4.10
Definition B59KBT1XM8
| URI | m2://inv/B59KBT1XM8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Iterated function#5ANX, Definition (definition)
History
- 2026-11-02: add by m2/dev
B59KYBDGZF B59KYBDGZF
| URI | m2://inv/B59KYBDGZF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08288#Y4BS (statement). In CHVWYJM7RM/e1, proposition 2.6
History
- 2026-10-29: add by m2/v0.4.10
B59P0NC0P3 B59P0NC0P3
| URI | m2://inv/B59P0NC0P3 |
|---|---|
| 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.20153#7QUB (statement). In EYB107TM4Q/e1, lemma 3.4
History
- 2026-10-27: add by m2/v0.4.2
diamond principle B59P7JSNMC
| URI | m2://inv/B59P7JSNMC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#Z1IW, diamond principle (definition)
History
- 2026-11-02: add by m2/dev
B59SC8X6ZT B59SC8X6ZT
| URI | m2://inv/B59SC8X6ZT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09506#JF20 (statement). In AQC7E6RAT4/e1, lemma 3.6
History
- 2026-10-29: add by m2/v0.4.10
Comparison of general and generalized linear models B59XJ3527M
| URI | m2://inv/B59XJ3527M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#EG34, Comparison of general and generalized linear models (definition)
History
- 2026-11-02: add by m2/dev
Subnormal operator B5A25AWJEM
| URI | m2://inv/B5A25AWJEM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Subnormal operator, Subnormal operator (definition). Also Wikidata Q7631728
History
- 2026-11-02: add by m2/dev
B5A3FJVP65 B5A3FJVP65
| URI | m2://inv/B5A3FJVP65 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17325#PFTP (statement). In SE16BAED46/e1, lemma 5
History
- 2026-10-28: add by m2/v0.4.2
Cousin problems B5A52JCNXE
| URI | m2://inv/B5A52JCNXE |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cousin problems, Cousin problems (problem). Also Wikidata Q5178830
History
- 2026-11-02: add by m2/dev
B5AA1QEXHJ B5AA1QEXHJ
| URI | m2://inv/B5AA1QEXHJ |
|---|---|
| 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.28118#A8AL (statement)
History
- 2026-11-01: add by m2/v0.6.15
Weak and strong cosmic censorship hypothesis B5AB1Q61JV
| URI | m2://inv/B5AB1Q61JV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cosmic censorship hypothesis#22DQ, Weak and strong cosmic censorship hypothesis (statement)
History
- 2026-11-02: add by m2/dev
Ya'ish ibn Ibrahim al-Umawi B5AGYJ2JX1
| URI | m2://inv/B5AGYJ2JX1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ya'ish ibn Ibrahim al-Umawi, Ya'ish ibn Ibrahim al-Umawi (topic). Also Wikidata Q10394588
History
- 2026-11-02: add by m2/dev
B5AP3ANNXG B5AP3ANNXG
| URI | m2://inv/B5AP3ANNXG |
|---|---|
| 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.33015#U0YE (statement). In W6Y6NPK648/e1, lemma 5.14
History
- 2026-10-27: add by m2/v0.3.5
B5AR371YYF B5AR371YYF
| URI | m2://inv/B5AR371YYF |
|---|---|
| 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.36792#XHVM (statement). In 3BFA92YW3M/e1, fact
History
- 2026-10-30: add by m2/v0.4.12
Secure Communication based on Quantum Cryptography B5AWPNH67W
| URI | m2://inv/B5AWPNH67W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Secure Communication based on Quantum Cryptography, Secure Communication based on Quantum Cryptography (definition). Also Wikidata Q7444834
History
- 2026-11-02: add by m2/dev
Conjunction fallacy B5B1PM3NGH
| URI | m2://inv/B5B1PM3NGH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cognitive biases#5QNH, Conjunction fallacy (definition)
History
- 2026-11-02: add by m2/dev
observer effect B5B3ZCCJGP
| URI | m2://inv/B5B3ZCCJGP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of paradoxes#F6HP, observer effect (unknown)
History
- 2026-11-02: add by m2/dev
B5B79HFVM3 B5B79HFVM3
| URI | m2://inv/B5B79HFVM3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39254#OGM7 (statement). In A59MZ9H284/e1, theorem 2.19
History
- 2026-10-30: add by m2/v0.4.12
71 knot B5B9YKZ61F
| URI | m2://inv/B5B9YKZ61F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical knots and links#A398, 71 knot (definition)
History
- 2026-11-02: add by m2/dev
B5BNT7YWRM B5BNT7YWRM
| URI | m2://inv/B5BNT7YWRM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12484#H8IO (statement). In GW23NX78SB/e1, lemma 4.34
History
- 2026-10-28: add by m2/v0.4.2
B5C2CTKQ8B B5C2CTKQ8B
| URI | m2://inv/B5C2CTKQ8B |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-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.26417#9NT3 (definition)
History
- 2026-11-01: add by m2/v0.6.15
Error decomposition B5C64K4QWM
| URI | m2://inv/B5C64K4QWM |
|---|---|
| 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.20550#QNRW, Error decomposition (statement)
History
- 2026-11-02: add by m2/v0.6.18
minimum, strict relative B5C7ESPJ0J
| URI | m2://inv/B5C7ESPJ0J |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/3.3.2/minimum-strict-relative, minimum, strict relative (concept). In E59CDZA4DP, index, section 3.3.2
History
- 2026-11-01: add by m2/v0.6.13
Formal definition B5CF99AFC8
| URI | m2://inv/B5CF99AFC8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Co-Hopfian group#CF8L, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
Volodymyr Marchenko B5CNMGCRQ0
| URI | m2://inv/B5CNMGCRQ0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Volodymyr Marchenko, Volodymyr Marchenko (topic). Also Wikidata Q547136
History
- 2026-11-02: add by m2/dev
Logarithmic identities B5CT714M6W
| URI | m2://inv/B5CT714M6W |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical identities#E3AH, Logarithmic identities (topic)
History
- 2026-11-02: add by m2/dev
B5CV5BB82V B5CV5BB82V
| URI | m2://inv/B5CV5BB82V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2605.30285#D5IU (statement). In YMY0NNSM27/e1, lemma 7.3
History
- 2026-10-27: add by m2/v0.3.6
B5CVJKFQXA B5CVJKFQXA
| URI | m2://inv/B5CVJKFQXA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 18-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 2304.07398#K5QS (statement). In JS5FKV1S9T/e1, proposition C.3
History
- 2026-10-27: add by m2/v0.3.5
Exact radial seed and continuation B5D6CWBGVM
| URI | m2://inv/B5D6CWBGVM |
|---|---|
| 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 2609.25027#TAHH, Exact radial seed and continuation (statement)
History
- 2026-11-01: add by m2/v0.6.15
GRN on the LSE dual B5DDCQNYJ1
| URI | m2://inv/B5DDCQNYJ1 |
|---|---|
| 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.32558#VH8S, GRN on the LSE dual (statement). In SGQS629QNK/e1, proposition E.1
History
- 2026-10-31: add by m2/v0.5.6
B5DE599PSF B5DE599PSF
| URI | m2://inv/B5DE599PSF |
|---|---|
| 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.15472#OTS3 (statement). In 5Z3FH46YSY/e1, theorem 4.7
History
- 2026-10-28: add by m2/v0.4.2
Spectral layout B5DEH52437
| URI | m2://inv/B5DEH52437 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spectral layout, Spectral layout (definition). Also Wikidata Q7575197
History
- 2026-11-02: add by m2/dev
B5DRQBPNV0 B5DRQBPNV0
| URI | m2://inv/B5DRQBPNV0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2407.02022#Z71N (statement). In RZDNWV9E29/e1, corollary A.2
History
- 2026-10-27: add by m2/v0.3.6
Fractional odds B5E2SP2F27
| URI | m2://inv/B5E2SP2F27 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Odds#1ZEO, Fractional odds (unknown)
History
- 2026-11-02: add by m2/dev
Decomposition group and Galois group B5E4VQHPNK
| URI | m2://inv/B5E4VQHPNK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/ramification.tex#thm:decomposition, Decomposition group and Galois group (statement). In RZP28ERRZV, theorem, section 18.5
History
- 2026-11-01: add by m2/v0.6.13
Exact Riccati identities B5ECM5BRZ2
| URI | m2://inv/B5ECM5BRZ2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 49-XX, 62-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 2609.23927#8S25, Exact Riccati identities (statement)
History
- 2026-11-02: add by m2/v0.6.17
The remaining case as an inequality between pair angles B5EDCV1N1G
| URI | m2://inv/B5EDCV1N1G |
|---|---|
| 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.25120#2BN0, The remaining case as an inequality between pair angles (statement)
History
- 2026-11-01: add by m2/v0.6.15
Kristina Reiss B5EEB37R9A
| URI | m2://inv/B5EEB37R9A |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kristina Reiss, Kristina Reiss (topic). Also Wikidata Q21264235
History
- 2026-11-02: add by m2/dev
Kleene algebra B5EEMB439A
| URI | m2://inv/B5EEMB439A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebras#UZOK, Kleene algebra (definition)
History
- 2026-11-02: add by m2/dev
Tameness theorem B5ESBBT3Q8
| URI | m2://inv/B5ESBBT3Q8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 57-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q3893473, Tameness theorem (statement). Also Wikidata Q3893473
- thousand_plus: thousand_plus Q3893473, Tameness theorem (statement). Also Wikidata Q3893473, Wikipedia Tameness theorem
- wikipedia: Wikipedia Tameness theorem, Tameness theorem (statement). Also Wikidata Q3893473
History
- 2026-10-26: add by m2/dev
B5ET1VFE9M B5ET1VFE9M
| URI | m2://inv/B5ET1VFE9M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12531#ETM2 (statement). In D6RAQZ2DSK/e1, theorem 3.2
History
- 2026-10-28: add by m2/v0.4.2
point at infinity B5F455R6KP
| URI | m2://inv/B5F455R6KP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1191139, point at infinity (unknown). Also MathWorld PointatInfinity
- wikipedia: Wikipedia Point at infinity, Point at infinity (definition). Also Wikidata Q1191139
History
- 2026-10-26: add by m2/dev
B5F4ZFDKAM B5F4ZFDKAM
| URI | m2://inv/B5F4ZFDKAM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11671#INJ8 (statement). In V06H8BAGEH/e1, proposition 5.5
History
- 2026-10-28: add by m2/v0.4.3
Michael Tsetlin B5F5Q1VSKV
| URI | m2://inv/B5F5Q1VSKV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Michael Tsetlin, Michael Tsetlin (topic). Also Wikidata Q6832360
History
- 2026-11-02: add by m2/dev
Alexander Razborov B5F72EA4ZQ
| URI | m2://inv/B5F72EA4ZQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Russian mathematicians#Z7ZR, Alexander Razborov (topic)
History
- 2026-11-02: add by m2/dev
Primal-gradient lower bound B5F9CTFXEN
| URI | m2://inv/B5F9CTFXEN |
|---|---|
| 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.30877#PS4C, Primal-gradient lower bound (statement). In QKNE21ABF3/e1, theorem 2
History
- 2026-10-31: add by m2/v0.5.6
R (programming language) B5FHFTXPXJ
| URI | m2://inv/B5FHFTXPXJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#KM1I, R (programming language) (definition)
History
- 2026-11-02: add by m2/dev
One-seventh area triangle B5FMFJWAQH
| URI | m2://inv/B5FMFJWAQH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of triangle topics#YR0S, One-seventh area triangle (definition)
History
- 2026-11-02: add by m2/dev
Closed-loop controller B5FS8RBR4G
| URI | m2://inv/B5FS8RBR4G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Closed-loop controller, Closed-loop controller (definition). Also Wikidata Q98534667
History
- 2026-11-02: add by m2/dev
B5FTE2YXCX B5FTE2YXCX
| URI | m2://inv/B5FTE2YXCX |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-systems.tex#exercise-85 (exercise). In E9HS8K3A52, exercise, section 10.8.6
History
- 2026-11-01: add by m2/v0.6.13
B5G0X495K7 B5G0X495K7
| URI | m2://inv/B5G0X495K7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13850#Y1WU (statement). In KJY735KSMF/e1, theorem 10.8
History
- 2026-10-28: add by m2/v0.4.2
Results B5G46W47QT
| URI | m2://inv/B5G46W47QT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 2020 Mexican census#371M, Results (statement)
History
- 2026-11-02: add by m2/dev
B5G4NC13BE B5G4NC13BE
| URI | m2://inv/B5G4NC13BE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#thm:dolhomimpliesdoh (statement). In VNMV985MXX, thm, section 4.5
History
- 2026-11-01: add by m2/v0.6.13
B5GND96D75 B5GND96D75
| URI | m2://inv/B5GND96D75 |
|---|---|
| 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.21732#GRB6 (definition). In 6DJDRXDQNB/e1, definition 2.5
History
- 2026-10-27: add by m2/v0.4.2
Barry Mazur B5GNTSBK96
| URI | m2://inv/B5GNTSBK96 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#KT3J, Barry Mazur (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#XP8A, Barry Mazur (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#ZOGH, Barry Mazur (topic)
History
- 2026-11-02: add by m2/dev
inclusive or B5GPGS68KS
| URI | m2://inv/B5GPGS68KS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#VVQP, inclusive or (definition)
History
- 2026-11-02: add by m2/dev
B5H0TM43CP B5H0TM43CP
| URI | m2://inv/B5H0TM43CP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13931#IWTP (statement). In EXA79VR78Q/e1, lemma A.2
History
- 2026-10-28: add by m2/v0.4.2
power set B5H0V59TR9
| URI | m2://inv/B5H0V59TR9 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/A.8/power-set, power set (concept). In N54F33XE07, index, section A.8
History
- 2026-11-01: add by m2/v0.6.13
Examples B5H7SVCX4G
| URI | m2://inv/B5H7SVCX4G |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Closure (topology)#OL85, Examples (example)
History
- 2026-11-02: add by m2/dev
Properties and theorems B5H9JHX7G0
| URI | m2://inv/B5H9JHX7G0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exact functor#DFM0, Properties and theorems (statement)
History
- 2026-11-02: add by m2/dev
Hunter, Sir William Wilson B5HYZD8E1R
| URI | m2://inv/B5HYZD8E1R |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#1MU7, Hunter, Sir William Wilson (topic)
History
- 2026-11-02: add by m2/dev
Louis de Beausobre B5J95V96T5
| URI | m2://inv/B5J95V96T5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Louis de Beausobre, Louis de Beausobre (topic). Also Wikidata Q3263374
History
- 2026-11-02: add by m2/dev
Examples B5JG59DVDE
| URI | m2://inv/B5JG59DVDE |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Covering graph#FEPX, Examples (example)
History
- 2026-11-02: add by m2/dev
integral function B5JJ3T73QE
| URI | m2://inv/B5JJ3T73QE |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus index/5.1.4/integral-function, integral function (concept). In 907G4C4EJ1, index, section 5.1.4
History
- 2026-11-01: add by m2/v0.6.13
Reliability engineering B5JTT99T3P
| URI | m2://inv/B5JTT99T3P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fields of application of statistics#P68K, Reliability engineering (definition)
History
- 2026-11-02: add by m2/dev
Informal robust LCL inner gadgets B5JWN75J94
| URI | m2://inv/B5JWN75J94 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40252#ALT8, Informal robust LCL inner gadgets (statement). In 7MVPNFPRKB/e1, theorem 1.9
History
- 2026-10-30: add by m2/v0.4.12
Weierstrass Nullstellensatz B5JZ238CY1
| URI | m2://inv/B5JZ238CY1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weierstrass Nullstellensatz, Weierstrass Nullstellensatz (definition). Also Wikidata Q131470943
History
- 2026-11-02: add by m2/dev
B5K10QB1Q0 B5K10QB1Q0
| URI | m2://inv/B5K10QB1Q0 |
|---|---|
| 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.30565#8AFF (statement). In TP0R6GK9AX/e1, theorem 1
History
- 2026-10-31: add by m2/v0.5.6
Nobutada Saji B5KG0R2M2T
| URI | m2://inv/B5KG0R2M2T |
|---|---|
| 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#7WV2, Nobutada Saji (unknown)
History
- 2026-11-02: add by m2/dev
Richard Bellman B5KMK6Y0GZ
| URI | m2://inv/B5KMK6Y0GZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Richard Bellman, Richard Bellman (topic). Also Wikidata Q441199
History
- 2026-11-02: add by m2/dev
Exploration of Edmond Halley B5KMX42P0H
| URI | m2://inv/B5KMX42P0H |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Edmond Halley#I9WK, Exploration of Edmond Halley (unknown)
History
- 2026-11-02: add by m2/dev
Conditional attainment B5KTPZNATE
| URI | m2://inv/B5KTPZNATE |
|---|---|
| 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#M6E8, Conditional attainment (statement). In 9YAE8FNQST/e1, theorem 17.8
History
- 2026-10-30: add by m2/v0.4.12
B5M05QJTS9 B5M05QJTS9
| URI | m2://inv/B5M05QJTS9 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-nonlin-systems.tex#exercise-13 (exercise). In E9HS8K3A52, exercise, section 8.2.5
History
- 2026-11-01: add by m2/v0.6.13
B5M1FC7Y4X B5M1FC7Y4X
| URI | m2://inv/B5M1FC7Y4X |
|---|---|
| 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.27715#E6BY (statement)
History
- 2026-11-01: add by m2/v0.6.15
B5M546SZ1N B5M546SZ1N
| URI | m2://inv/B5M546SZ1N |
|---|---|
| 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.15992#D9W4 (statement). In P74TAV3ME5/e1, theorem B
History
- 2026-10-28: add by m2/v0.4.2
B5M5D7SXG5 B5M5D7SXG5
| URI | m2://inv/B5M5D7SXG5 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/linalg/transpose.tex#example-1 (example). In RZP28ERRZV, example, section 61.1
History
- 2026-11-01: add by m2/v0.6.13
Formulas involving derivatives B5M62DD39P
| URI | m2://inv/B5M62DD39P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Classical orthogonal polynomials#V8Y6, Formulas involving derivatives (statement)
History
- 2026-11-02: add by m2/dev
Rank-two pure-pair rank B5M6CFVRE4
| URI | m2://inv/B5M6CFVRE4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20649#C9M4, Rank-two pure-pair rank (statement). In XDTM624YPE/e1, corollary 11.6
History
- 2026-10-27: add by m2/v0.4.2
Coupling interpolation in Wasserstein spaces B5M6H67VRK
| URI | m2://inv/B5M6H67VRK |
|---|---|
| Kind | example |
| 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#3CMY, Coupling interpolation in Wasserstein spaces (example)
History
- 2026-11-02: add by m2/v0.6.18
Single-iteration bound B5M76RT2JN
| URI | m2://inv/B5M76RT2JN |
|---|---|
| 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.13631#LJ7D, Single-iteration bound (statement). In N6PQQSYN73/e1, lemma 3
History
- 2026-10-28: add by m2/v0.4.2
Egbert van Kampen B5M7GG9GZ3
| URI | m2://inv/B5M7GG9GZ3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Egbert van Kampen, Egbert van Kampen (topic). Also Wikidata Q1296937
History
- 2026-11-02: add by m2/dev
\emph{Asymptotic Block Separation B5MECEKTWE
| URI | m2://inv/B5MECEKTWE |
|---|---|
| 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.13424#G7FF, \emph{Asymptotic Block Separation (statement). In RBCXCDNPAN/e1, lemma 2
History
- 2026-10-28: add by m2/v0.4.2
Xmx B5MFZXF2HE
| URI | m2://inv/B5MFZXF2HE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Xmx, Xmx (definition). Also Wikidata Q8044864
History
- 2026-11-02: add by m2/dev
B5MQ3ASYAG B5MQ3ASYAG
| URI | m2://inv/B5MQ3ASYAG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24374#0IZJ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Dichotomy: affine rows concentrate, nonlinear rows do not B5MTAEV6H0
| URI | m2://inv/B5MTAEV6H0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04357#KZP9, Dichotomy: affine rows concentrate, nonlinear rows do not (statement). In 6FY8BVP1F3/e1, corollary K.7
History
- 2026-10-29: add by m2/v0.4.12
Derivation using Gauss's law B5MVC2WPQ9
| URI | m2://inv/B5MVC2WPQ9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shell theorem#VK4L, Derivation using Gauss's law (statement)
History
- 2026-11-02: add by m2/dev
Roppongi B5MXWD52ZE
| URI | m2://inv/B5MXWD52ZE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#PC7T, Roppongi (unknown)
History
- 2026-11-02: add by m2/dev
B5N7P68B3Z B5N7P68B3Z
| URI | m2://inv/B5N7P68B3Z |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06541#1I80 (definition). In R604B78EVK/e1, definition 6.10
History
- 2026-10-29: add by m2/v0.4.10
B5NH82VXY6 B5NH82VXY6
| URI | m2://inv/B5NH82VXY6 |
|---|---|
| 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.02481#JJYD (statement). In 5HACFNFY0P/e1, theorem 1.2
History
- 2026-10-29: add by m2/v0.4.12
Ilya Prigogine B5NHTAF0FE
| URI | m2://inv/B5NHTAF0FE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#A0GC, Ilya Prigogine (unknown)
History
- 2026-11-02: add by m2/dev
B5NR2Z5CAN B5NR2Z5CAN
| URI | m2://inv/B5NR2Z5CAN |
|---|---|
| Kind | definition |
| 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.01596#5E0P (definition). In 40VTEP7WH8/e1, definition 2.1
History
- 2026-10-29: add by m2/v0.4.12
B5NWD027YW B5NWD027YW
| URI | m2://inv/B5NWD027YW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14201#9P11 (statement). In 7NKMVRHY2E/e1, proposition 5
History
- 2026-10-27: add by m2/v0.3.5
B5NWP6QJ34 B5NWP6QJ34
| URI | m2://inv/B5NWP6QJ34 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39293#FN1M (statement). In S26QVW5613/e1, lemma 4.2.4
History
- 2026-10-30: add by m2/v0.4.12
Definition B5P1G4G0GG
| URI | m2://inv/B5P1G4G0GG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quotient space (topology)#MLI5, Definition (definition)
History
- 2026-11-02: add by m2/dev
B5P394Z23R B5P394Z23R
| URI | m2://inv/B5P394Z23R |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_recurrence_exercises.ptx#exercise-13 (exercise). In QKM9DD2H56, exercise, section 9
History
- 2026-11-01: add by m2/v0.6.13
B5PANC3CVE B5PANC3CVE
| URI | m2://inv/B5PANC3CVE |
|---|---|
| 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 2610.20593#YONW (definition). In 7GMD8J4200/e1, definition 21
History
- 2026-10-27: add by m2/v0.4.2
B5PEDGF32V B5PEDGF32V
| URI | m2://inv/B5PEDGF32V |
|---|---|
| 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.06521#Q1TE (statement). In NVXWD513NM/e1, proposition 2.6
History
- 2026-10-29: add by m2/v0.4.10
B5PHTF4B80 B5PHTF4B80
| URI | m2://inv/B5PHTF4B80 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2111.08123#GIT5 (statement). In TAAB0QAKAG/e1, lemma 7.3
History
- 2026-10-27: add by m2/v0.3.5
B5PHV2D1TY B5PHV2D1TY
| URI | m2://inv/B5PHV2D1TY |
|---|---|
| Kind | example |
| 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.31910#R702 (example). In E4EK1XXPY4/e1, example 4.7
History
- 2026-10-31: add by m2/v0.5.6
Example B5PHY9AA2Z
| URI | m2://inv/B5PHY9AA2Z |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Uniformly most powerful test#92PR, Example (example)
History
- 2026-11-02: add by m2/dev
Daniel J. Bernstein B5PKVKGK07
| URI | m2://inv/B5PKVKGK07 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cryptographers#ZCSF, Daniel J. Bernstein (topic)
History
- 2026-11-02: add by m2/dev
B5PXEEY3HE B5PXEEY3HE
| URI | m2://inv/B5PXEEY3HE |
|---|---|
| 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.24845#4UKV (statement)
History
- 2026-11-01: add by m2/v0.6.15
B5Q4TWAXCR B5Q4TWAXCR
| URI | m2://inv/B5Q4TWAXCR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-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.08426#UQP7 (statement). In YG2DPMNZ1N/e1, proposition 4.3
History
- 2026-10-29: add by m2/v0.4.10
40 B5QBMEZ8YG
| URI | m2://inv/B5QBMEZ8YG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 40 (number), 40 (definition). Also Wikidata Q42317
History
- 2026-11-02: add by m2/dev
B5QW92P0PC B5QW92P0PC
| URI | m2://inv/B5QW92P0PC |
|---|---|
| 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.36594#YWX4 (statement). In 8JDQ9FWFRK/e1, theorem 5
History
- 2026-10-30: add by m2/v0.4.12
Henry Mann B5R0G3R1RD
| URI | m2://inv/B5R0G3R1RD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#5CGA, Henry Mann (topic)
History
- 2026-11-02: add by m2/dev
B5R0HGBXP1 B5R0HGBXP1
| URI | m2://inv/B5R0HGBXP1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2102.12931#42SG (statement). In PQHTR84RAJ/e1, lemma 6.1
History
- 2026-10-27: add by m2/v0.4.0
mathematical analysis B5R2AVY7D5
| URI | m2://inv/B5R2AVY7D5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7754, mathematical analysis (topic). Also MathWorld Analysis, ProofWiki Definition:Analysis
- wikipedia: Wikipedia Mathematical analysis, Mathematical analysis (topic). Also Wikidata Q7754
History
- 2026-10-26: add by m2/dev
B5RGTXKQZN B5RGTXKQZN
| URI | m2://inv/B5RGTXKQZN |
|---|---|
| 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.29304#N9QA (statement)
History
- 2026-11-01: add by m2/v0.6.15
B5RP26FWA6 B5RP26FWA6
| URI | m2://inv/B5RP26FWA6 |
|---|---|
| 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 2502.08738#9JDX (statement). In 9GMTVSTAVN/e1, theorem 5.8
History
- 2026-10-27: add by m2/v0.3.5
Definition B5RW92G72R
| URI | m2://inv/B5RW92G72R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Regular tree grammar#S4Z6, Definition (definition)
History
- 2026-11-02: add by m2/dev
B5S3V4XQ10 B5S3V4XQ10
| URI | m2://inv/B5S3V4XQ10 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27056#FZNR (statement)
History
- 2026-11-01: add by m2/v0.6.15
Islamic law and theology B5SDBC4NTH
| URI | m2://inv/B5SDBC4NTH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Logic in Islamic philosophy#D0L6, Islamic law and theology (statement)
History
- 2026-11-02: add by m2/dev
B5SGAE6WMF B5SGAE6WMF
| URI | m2://inv/B5SGAE6WMF |
|---|---|
| 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 2606.16311#HW2B (statement). In 3G0HCK0DVA/e1, lemma 4.1
History
- 2026-10-27: add by m2/v0.3.5
Elastic map B5SHG9WJXH
| URI | m2://inv/B5SHG9WJXH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#7PQR, Elastic map (definition)
History
- 2026-11-02: add by m2/dev
B5SJ02X7HS B5SJ02X7HS
| URI | m2://inv/B5SJ02X7HS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22263#1LDY (statement)
History
- 2026-11-02: add by m2/v0.6.17
B5SRD0Y43S B5SRD0Y43S
| URI | m2://inv/B5SRD0Y43S |
|---|---|
| Kind | example |
| 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.11043#O8CZ (example). In R3NJYPZH52/e1, example 4.6
History
- 2026-10-28: add by m2/v0.4.3
B5ST1VFNQS B5ST1VFNQS
| URI | m2://inv/B5ST1VFNQS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.01473#PF0N (statement). In ABS9M47F4K/e1, proposition 4.15
History
- 2026-10-27: add by m2/v0.3.6
B5SYWEEDX9 B5SYWEEDX9
| URI | m2://inv/B5SYWEEDX9 |
|---|---|
| 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 2610.16069#KQ9B (statement). In MBJA03ES8N/e1, corollary 8.10
History
- 2026-10-28: add by m2/v0.4.2
B5TCSYJPV1 B5TCSYJPV1
| URI | m2://inv/B5TCSYJPV1 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/linalg/vector-space.tex#example-11 (example). In RZP28ERRZV, example, section 62.6.2
History
- 2026-11-01: add by m2/v0.6.13
B5TJBF9QP3 B5TJBF9QP3
| URI | m2://inv/B5TJBF9QP3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08198#P4E5 (statement). In 50K0H8HRED/e1, theorem C
History
- 2026-10-29: add by m2/v0.4.10
deontic modal logic B5TK9G4Q1T
| URI | m2://inv/B5TK9G4Q1T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#Y0NH, deontic modal logic (definition)
History
- 2026-11-02: add by m2/dev
B5TN1BJY9S B5TN1BJY9S
| URI | m2://inv/B5TN1BJY9S |
|---|---|
| Kind | definition |
| 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 2308.02672#OG0W (definition). In ETRT1R1CQ8/e1, definition 1.9
History
- 2026-10-27: add by m2/v0.4.0
B5TV152GD0 B5TV152GD0
| URI | m2://inv/B5TV152GD0 |
|---|---|
| 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.27152#OOME (statement)
History
- 2026-11-01: add by m2/v0.6.15
CH B5TYAVQTA6
| URI | m2://inv/B5TYAVQTA6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#5Y7T, CH (definition)
History
- 2026-11-02: add by m2/dev
Uniform distribution (continuous) B5V2CXVY02
| URI | m2://inv/B5V2CXVY02 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#NNPX, Uniform distribution (continuous) (definition)
History
- 2026-11-02: add by m2/dev
B5V52N1S1K B5V52N1S1K
| URI | m2://inv/B5V52N1S1K |
|---|---|
| Kind | definition |
| 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#6XZP (definition). In X47RYAZF8P/e1, definition 5.10
History
- 2026-10-28: add by m2/v0.4.2
Statement of the theorem B5VCTNDSNT
| URI | m2://inv/B5VCTNDSNT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Segal's conjecture#O7L4, Statement of the theorem (statement)
History
- 2026-11-02: add by m2/dev
false position method B5VHNKEX4Y
| URI | m2://inv/B5VHNKEX4Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Regula falsi 462AEY7MWF |
Mentions
- wikidata: Wikidata Q1476057, false position method (unknown). Also MathWorld MethodofFalsePosition
- wikipedia: Wikipedia Regula falsi, Regula falsi (definition). Also Wikidata Q1476057
History
- 2026-10-26: add by m2/dev
B5VS6D5Y84 B5VS6D5Y84
| URI | m2://inv/B5VS6D5Y84 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-laplace.tex#exercise-34 (exercise). In E9HS8K3A52, exercise, section 7.2.7
History
- 2026-11-01: add by m2/v0.6.13
FFT acceleration of the computation of $G$ B5VWV3YFK5
| URI | m2://inv/B5VWV3YFK5 |
|---|---|
| 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 2609.34025#WTIW, FFT acceleration of the computation of $G$ (statement). In VCG579E7MM/e1, proposition 1
History
- 2026-10-30: add by m2/v0.4.12
Marco Mastrofini B5W36T7A6Z
| URI | m2://inv/B5W36T7A6Z |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Marco Mastrofini, Marco Mastrofini (topic). Also Wikidata Q3846271
History
- 2026-11-02: add by m2/dev
B5WA8ZZRE0 B5WA8ZZRE0
| URI | m2://inv/B5WA8ZZRE0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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.02061#774O (statement). In F5STMSPR6X/e1, proposition 6.5
History
- 2026-10-29: add by m2/v0.4.12
Steve Shnider B5WBDPWQVA
| URI | m2://inv/B5WBDPWQVA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Steve Shnider, Steve Shnider (topic). Also Wikidata Q7613920
History
- 2026-11-02: add by m2/dev
B5WDKA555N B5WDKA555N
| URI | m2://inv/B5WDKA555N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28824#FAR4 (statement)
History
- 2026-11-01: add by m2/v0.6.15
B5WFZS3CR2 B5WFZS3CR2
| URI | m2://inv/B5WFZS3CR2 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37815#LAFQ (definition). In SVJYA0171G/e1, definition 2.3
History
- 2026-10-30: add by m2/v0.4.12
B5WJ8SRH39 B5WJ8SRH39
| URI | m2://inv/B5WJ8SRH39 |
|---|---|
| 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.03520#M2DN (statement). In CSRZ9CWK69/e1, theorem 9.1
History
- 2026-10-29: add by m2/v0.4.12
Compatibility Condition for Compression Dominance B5WPCHX3XM
| URI | m2://inv/B5WPCHX3XM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03769#MDJK, Compatibility Condition for Compression Dominance (statement). In 35DNCV14M4/e1, corollary B.2
History
- 2026-10-29: add by m2/v0.4.12
B5X05VG8D2 B5X05VG8D2
| URI | m2://inv/B5X05VG8D2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09482#DQUZ (statement). In VYMEQQVMBD/e1, corollary 1
History
- 2026-10-29: add by m2/v0.4.10
B5X4WYG3XG B5X4WYG3XG
| URI | m2://inv/B5X4WYG3XG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20588#JXSG (statement)
History
- 2026-11-02: add by m2/v0.6.18
Hans Föllmer B5X8HJ497E
| URI | m2://inv/B5X8HJ497E |
|---|---|
| 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#JK2I, Hans Föllmer (topic)
History
- 2026-11-02: add by m2/dev
B5XBBF7A9G B5XBBF7A9G
| URI | m2://inv/B5XBBF7A9G |
|---|---|
| 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.10107#2NJ5 (statement). In ZHNJ8MSXHW/e1, corollary 4.6
History
- 2026-10-29: add by m2/v0.4.10
490 (number) B5XDNTNTKC
| URI | m2://inv/B5XDNTNTKC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 400 (number)#QMOK, 490 (number) (unknown)
History
- 2026-11-02: add by m2/dev
the prime-to-$p$ tail B5XZ1C40T0
| URI | m2://inv/B5XZ1C40T0 |
|---|---|
| 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.09298#QBNT, the prime-to-$p$ tail (statement). In 1SPQ4J3AWY/e1, proposition 5.1
History
- 2026-10-29: add by m2/v0.4.10
B5Y03FQRK5 B5Y03FQRK5
| URI | m2://inv/B5Y03FQRK5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21949#SY85 (statement)
History
- 2026-11-02: add by m2/v0.6.17
universal, property B5Y3MRJSAJ
| URI | m2://inv/B5Y3MRJSAJ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/1.15/universal-property, universal, property (concept). In N54F33XE07, index, section 1.15
History
- 2026-11-01: add by m2/v0.6.13
ditrigonal dodecadodecahedron B5YB8B6BXG
| URI | m2://inv/B5YB8B6BXG |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3033698, ditrigonal dodecadodecahedron (unknown). Also MathWorld DitrigonalDodecadodecahedron
- wikipedia: Wikipedia Ditrigonal dodecadodecahedron, Ditrigonal dodecadodecahedron (object). Also Wikidata Q3033698
History
- 2026-10-26: add by m2/dev
B5YNKH1MCD B5YNKH1MCD
| URI | m2://inv/B5YNKH1MCD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37747#1VQY (statement). In GEYDNVZEP7/e1, theorem 3.2
History
- 2026-10-30: add by m2/v0.4.12
converse barcan formula B5YWTWDNM3
| URI | m2://inv/B5YWTWDNM3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#ZS0M, converse barcan formula (definition)
History
- 2026-11-02: add by m2/dev
discrete B5YYGD8JD0
| URI | m2://inv/B5YYGD8JD0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#KH37, discrete (definition)
History
- 2026-11-02: add by m2/dev
Rakhmanov's theorem B5Z0ZNX0V0
| URI | m2://inv/B5Z0ZNX0V0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orthogonal polynomials on the unit circle#4PJO, Rakhmanov's theorem (statement)
History
- 2026-11-02: add by m2/dev
dynamic modal logic B5Z4W9NB6Y
| URI | m2://inv/B5Z4W9NB6Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#RA27, dynamic modal logic (definition)
History
- 2026-11-02: add by m2/dev
Teaching dimension B5Z9MQ19M9
| URI | m2://inv/B5Z9MQ19M9 |
|---|---|
| Kind | definition |
| 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.18154#63ZO, Teaching dimension (definition). In 4W7ARR1DAR/e1, definition 2.4
History
- 2026-10-28: add by m2/v0.4.2
B5Z9S70MTT B5Z9S70MTT
| URI | m2://inv/B5Z9S70MTT |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33313#9UX7 (example). In HRCEFY172P/e1, example 3.8
History
- 2026-10-30: add by m2/v0.4.12
lower limit topology B5ZGASVBPT
| URI | m2://inv/B5ZGASVBPT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1543600, lower limit topology (unknown). Also EoM Sorgenfrey_topology
- wikipedia: Wikipedia Lower limit topology, Lower limit topology (definition). Also Wikidata Q1543600
History
- 2026-10-26: add by m2/dev
B5ZHG5NXG6 B5ZHG5NXG6
| URI | m2://inv/B5ZHG5NXG6 |
|---|---|
| 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.11965#26DI (statement). In 48QX0QD0XR/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.3
differentials (linear tangent functions) B5ZQM5W2AJ
| URI | m2://inv/B5ZQM5W2AJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Multivariable calculus > Differential calculus > differentials (linear tangent functions), differentials (linear tangent functions) (unknown). Also Mathlib fderiv
History
- 2026-10-26: add by m2/dev
B5ZR38TXQZ B5ZR38TXQZ
| URI | m2://inv/B5ZR38TXQZ |
|---|---|
| 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.05312#6O7X (statement). In 1CMMK399WQ/e1, lemma 8.4
History
- 2026-10-29: add by m2/v0.4.10