Inventory rows 1P
The cards of the rows of the inventory whose ids start with 1P. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Plummer model 1P04F8GDRZ
| URI | m2://inv/1P04F8GDRZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Plummer model, Plummer model (definition). Also Wikidata Q2099709
History
- 2026-11-02: add by m2/dev
Roland Fraïssé 1P06EPYW87
| URI | m2://inv/1P06EPYW87 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Roland Fraïssé, Roland Fraïssé (topic). Also Wikidata Q2162753
History
- 2026-11-02: add by m2/dev
Identity-based public key cryptography based on pairings (IEEE Std 1363.3-2013) 1P08DPSTZ4
| URI | m2://inv/1P08DPSTZ4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia IEEE P1363#J09K, Identity-based public key cryptography based on pairings (IEEE Std 1363.3-2013) (statement)
History
- 2026-11-02: add by m2/dev
Definition 1P09QAKVZ5
| URI | m2://inv/1P09QAKVZ5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pairing#JZUK, Definition (definition)
History
- 2026-11-02: add by m2/dev
Verification of the second-moment condition 1P0MDXRHKM
| URI | m2://inv/1P0MDXRHKM |
|---|---|
| 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.14085#1G47, Verification of the second-moment condition (statement). In T8F19ZGHF3/e1, proposition 1.4
History
- 2026-10-28: add by m2/v0.4.2
Compactification geometry 1P0W1EF8VZ
| URI | m2://inv/1P0W1EF8VZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10821#23W6, Compactification geometry (statement). In RWNP4FEE65/e1, lemma 4.3
History
- 2026-10-28: add by m2/v0.4.3
Laurence Chisholm Young 1P0WBBJ8Y1
| URI | m2://inv/1P0WBBJ8Y1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Laurence Chisholm Young, Laurence Chisholm Young (topic). Also Wikidata Q4179027
History
- 2026-11-02: add by m2/dev
1P110SMMK8 1P110SMMK8
| URI | m2://inv/1P110SMMK8 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15217#L05Q (definition). In G70Q2FB591/e1, definition 4.9
History
- 2026-10-28: add by m2/v0.4.2
Applications 1P111YW2YD
| URI | m2://inv/1P111YW2YD |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Continuous functional calculus#5UM2, Applications (example)
History
- 2026-11-02: add by m2/dev
Non-representability 1P17VY0MGN
| URI | m2://inv/1P17VY0MGN |
|---|---|
| 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.11917#H8TF, Non-representability (statement). In 7BB6PY94G9/e1, lemma 2
History
- 2026-10-28: add by m2/v0.4.3
Janet Sinsheimer 1P182SR9K0
| URI | m2://inv/1P182SR9K0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#BAY0, Janet Sinsheimer (unknown)
History
- 2026-11-02: add by m2/dev
Borel–Weil–Bott theorem 1P18Z8RW42
| URI | m2://inv/1P18Z8RW42 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of representation theory#3BKR, Borel–Weil–Bott theorem (definition)
History
- 2026-11-02: add by m2/dev
Applications 1P1B00MQJP
| URI | m2://inv/1P1B00MQJP |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Frank-Kamenetskii theory#MTKA, Applications (example)
History
- 2026-11-02: add by m2/dev
Real antisymmetric canonical form 1P1C2DVSXY
| URI | m2://inv/1P1C2DVSXY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-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.27966#AY0X, Real antisymmetric canonical form (statement)
History
- 2026-11-01: add by m2/v0.6.15
1P1E6V4N92 1P1E6V4N92
| URI | m2://inv/1P1E6V4N92 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25957#Q4J1 (statement)
History
- 2026-11-01: add by m2/v0.6.15
1P1GX6VV4V 1P1GX6VV4V
| URI | m2://inv/1P1GX6VV4V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21258#CGHC (statement). In PN98BKSKZP/e1, lemma A.2
History
- 2026-10-27: add by m2/v0.3.5
Formal calculation 1P1HNBTGR9
| URI | m2://inv/1P1HNBTGR9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Formal calculation, Formal calculation (definition). Also Wikidata Q5469955
History
- 2026-11-02: add by m2/dev
Sector filling 1P1Q8NK8A7
| URI | m2://inv/1P1Q8NK8A7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03763#ALGM, Sector filling (statement). In ARZ4X5PXXC/e1, lemma 3.3
History
- 2026-10-29: add by m2/v0.4.12
1P1SK9Q1GC 1P1SK9Q1GC
| URI | m2://inv/1P1SK9Q1GC |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21645#53EF (definition)
History
- 2026-11-02: add by m2/v0.6.18
First-moment truncation 1P1W827KQ8
| URI | m2://inv/1P1W827KQ8 |
|---|---|
| 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.14085#3KT8, First-moment truncation (statement). In T8F19ZGHF3/e1, theorem 3.1
History
- 2026-10-28: add by m2/v0.4.2
α-closed, α-open 1P21FH9QQW
| URI | m2://inv/1P21FH9QQW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of general topology#QC7R, α-closed, α-open (definition)
History
- 2026-11-02: add by m2/dev
Optimality of the exponents 1P244V2XHS
| URI | m2://inv/1P244V2XHS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-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.09640#7W0A, Optimality of the exponents (statement). In E9T3B4RVW4/e1, proposition 4
History
- 2026-10-29: add by m2/v0.4.10
1P2791F5TJ 1P2791F5TJ
| URI | m2://inv/1P2791F5TJ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2303.09207#ULAD (definition). In 9DQKY7KGE8/e1, definition 3.1
History
- 2026-10-27: add by m2/v0.3.5
Josephson effect 1P28MWVBCX
| URI | m2://inv/1P28MWVBCX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q764228, Josephson effect (unknown). Also nLab Josephson effect
History
- 2026-10-26: add by m2/dev
1P2GN41SK3 1P2GN41SK3
| URI | m2://inv/1P2GN41SK3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/spec-sheaf.tex#definition-5 (definition). In RZP28ERRZV, definition, section 27.4.2
History
- 2026-11-01: add by m2/v0.6.13
Bochner's theorem 1P2WM7G285
| URI | m2://inv/1P2WM7G285 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 05-XX |
| Sources | 3 |
| Outcome | open |
| Node | Bochner's theorem ZRHAG4NXHC |
Mentions
- arxiv: arXiv 2610.18907#IROB, Bochner's theorem (statement). In 4SSZ4PF2P2/e1, theorem B.3
- wikidata: Wikidata Q4936242, Bochner's theorem (statement). Also MathWorld BochnersTheorem
- wikipedia: Wikipedia Bochner's theorem, Bochner's theorem (statement). Also Wikidata Q4936242
History
- 2026-10-26: add by m2/dev
- 2026-10-31: merge by m2/v0.5.6
1P2ZBMGK07 1P2ZBMGK07
| URI | m2://inv/1P2ZBMGK07 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35631#FB50 (statement). In 9NCX0S6MTP/e1, lemma C.3
History
- 2026-10-30: add by m2/v0.4.12
Properties 1P2ZFVXG9F
| URI | m2://inv/1P2ZFVXG9F |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chebyshev nodes#0ZDG, Properties (statement)
History
- 2026-11-02: add by m2/dev
Ridit scoring 1P3CC7Q0CG
| URI | m2://inv/1P3CC7Q0CG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#0AGJ, Ridit scoring (definition)
History
- 2026-11-02: add by m2/dev
1P3GS4037A 1P3GS4037A
| URI | m2://inv/1P3GS4037A |
|---|---|
| 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 2603.07541#HKEW (statement). In X3RFXWN6FW/e1, theorem 5.6
History
- 2026-10-27: add by m2/v0.3.6
Covering numbers 1P3HBVXW17
| URI | m2://inv/1P3HBVXW17 |
|---|---|
| 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.20687#3Y4T, Covering numbers (statement)
History
- 2026-11-02: add by m2/v0.6.18
1P3RZXPD4C 1P3RZXPD4C
| URI | m2://inv/1P3RZXPD4C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11056#J2C7 (statement). In 1NDB3SAG7K/e1, proposition 4.6
History
- 2026-10-28: add by m2/v0.4.3
1P3WXESXST 1P3WXESXST
| URI | m2://inv/1P3WXESXST |
|---|---|
| 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 2609.28297#HC94 (definition)
History
- 2026-11-01: add by m2/v0.6.15
Tatsujiro Shimizu 1P3Z9J25CY
| URI | m2://inv/1P3Z9J25CY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tatsujiro Shimizu, Tatsujiro Shimizu (topic). Also Wikidata Q2278894
History
- 2026-11-02: add by m2/dev
Gini coefficient 1P43WNES6E
| URI | m2://inv/1P43WNES6E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gini coefficient, Gini coefficient (definition). Also Wikidata Q162455
History
- 2026-11-02: add by m2/dev
1P4HFEJF1D 1P4HFEJF1D
| URI | m2://inv/1P4HFEJF1D |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/z/separation.tex#proof-3 (proof). In PKGMM3P5QY, proof, section 76.8
History
- 2026-11-01: add by m2/v0.6.13
1P4HQ31D8Y 1P4HQ31D8Y
| URI | m2://inv/1P4HQ31D8Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33185#SVZN (statement). In QX30H2WNA7/e1, lemma 5.3
History
- 2026-10-30: add by m2/v0.4.12
1P4MMBH4R0 1P4MMBH4R0
| URI | m2://inv/1P4MMBH4R0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27049#7FUO (statement)
History
- 2026-11-01: add by m2/v0.6.15
CAPD library 1P4TYFDE90
| URI | m2://inv/1P4TYFDE90 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of open-source software for mathematics#SGTF, CAPD library (unknown)
History
- 2026-11-02: add by m2/dev
The algorithm 1P4WSB31X4
| URI | m2://inv/1P4WSB31X4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Projection method (fluid dynamics)#0CRE, The algorithm (definition)
History
- 2026-11-02: add by m2/dev
Examples 1P50V7AKB3
| URI | m2://inv/1P50V7AKB3 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Centered polygonal number theorem#XE4U, Examples (example)
History
- 2026-11-02: add by m2/dev
Residual frame 1P5DRM5V31
| URI | m2://inv/1P5DRM5V31 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21662#W5ER, Residual frame (definition). In 25B3WHEKH2/e1, definition 3.1
History
- 2026-10-27: add by m2/v0.4.2
1P5ESDFT96 1P5ESDFT96
| URI | m2://inv/1P5ESDFT96 |
|---|---|
| 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 2203.00606#LJGJ (definition). In 3WBQFVX65D/e1, definition 2.1
History
- 2026-10-27: add by m2/v0.3.5
1P5NGKPBX2 1P5NGKPBX2
| URI | m2://inv/1P5NGKPBX2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 53-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25289#BIR7 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Theorem 1P5QPQV9RJ
| URI | m2://inv/1P5QPQV9RJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schwarz–Ahlfors–Pick theorem#QALV, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Examples 1P60Q5XP1N
| URI | m2://inv/1P60Q5XP1N |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Meaning postulate#XMRI, Examples (example)
History
- 2026-11-02: add by m2/dev
Dov Gabbay 1P65D8QEA4
| URI | m2://inv/1P65D8QEA4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#AA53, Dov Gabbay (topic)
History
- 2026-11-02: add by m2/dev
1P6BWNTKC3 1P6BWNTKC3
| URI | m2://inv/1P6BWNTKC3 |
|---|---|
| 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.31127#9P2K (statement). In NS3RZ26JC7/e1, corollary 1
History
- 2026-10-31: add by m2/v0.5.6
1P6TR23E99 1P6TR23E99
| URI | m2://inv/1P6TR23E99 |
|---|---|
| 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.28020#J6VE (statement)
History
- 2026-11-01: add by m2/v0.6.15
Lisa Lix 1P6XKQS7QR
| URI | m2://inv/1P6XKQS7QR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#HVZM, Lisa Lix (unknown)
History
- 2026-11-02: add by m2/dev
Planar endofunctor of a sub-groupoid 1P6XN418H3
| URI | m2://inv/1P6XN418H3 |
|---|---|
| Kind | definition |
| 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 2312.05005#KV93, Planar endofunctor of a sub-groupoid (definition). In SMJMAQ2S3J/e1, definition 15
History
- 2026-10-27: add by m2/v0.4.0
Worm hole 1P6ZFCFFSK
| URI | m2://inv/1P6ZFCFFSK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical topics in relativity#4C3U, Worm hole (definition)
History
- 2026-11-02: add by m2/dev
Bounds for invariant projections 1P70JK34V1
| URI | m2://inv/1P70JK34V1 |
|---|---|
| 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.26576#F7FC, Bounds for invariant projections (statement)
History
- 2026-11-01: add by m2/v0.6.15
1P74SQRQY7 1P74SQRQY7
| URI | m2://inv/1P74SQRQY7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12329#A8S6 (statement). In ZJQB9W60T6/e1, lemma 7.13
History
- 2026-10-28: add by m2/v0.4.2
Daniel Kleitman 1P74XSADJW
| URI | m2://inv/1P74XSADJW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Daniel Kleitman, Daniel Kleitman (topic). Also Wikidata Q782922
History
- 2026-11-02: add by m2/dev
1P7BDVV8RA 1P7BDVV8RA
| URI | m2://inv/1P7BDVV8RA |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 55-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21365#76BC (definition). In FCMMB2EVAP/e1, definition 2.28
History
- 2026-10-27: add by m2/v0.4.2
ADMB 1P7J5RR0GM
| URI | m2://inv/1P7J5RR0GM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia ADMB, ADMB (definition). Also Wikidata Q4651150
History
- 2026-11-02: add by m2/dev
Electrochemical dualism 1P7RSS1XB1
| URI | m2://inv/1P7RSS1XB1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of superseded scientific theories#8KHD, Electrochemical dualism (unknown)
History
- 2026-11-02: add by m2/dev
Paul W. Holland 1P7VG6ANAV
| URI | m2://inv/1P7VG6ANAV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#A2D6, Paul W. Holland (topic)
History
- 2026-11-02: add by m2/dev
Michael Krivelevich 1P7ZF01C9X
| URI | m2://inv/1P7ZF01C9X |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Michael Krivelevich, Michael Krivelevich (topic). Also Wikidata Q16196545
History
- 2026-11-02: add by m2/dev
1P83VTPN6P 1P83VTPN6P
| URI | m2://inv/1P83VTPN6P |
|---|---|
| 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.23279#9MA6 (statement)
History
- 2026-11-02: add by m2/v0.6.17
1P8HQT7BTG 1P8HQT7BTG
| URI | m2://inv/1P8HQT7BTG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23230#YEZ2 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Hayter, Henry Heylyn 1P8N2ZFS17
| URI | m2://inv/1P8N2ZFS17 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#SBDW, Hayter, Henry Heylyn (unknown)
History
- 2026-11-02: add by m2/dev
1P8QJYDHJE 1P8QJYDHJE
| URI | m2://inv/1P8QJYDHJE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 37-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 2601.04559#MGVM (statement). In WWMHZKWZSM/e1, proposition 2
History
- 2026-10-27: add by m2/v0.3.5
Beniamino Segre 1P8V8CV73X
| URI | m2://inv/1P8V8CV73X |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Beniamino Segre, Beniamino Segre (topic). Also Wikidata Q817290
History
- 2026-11-02: add by m2/dev
sample variance 1P8YH0RD6D
| URI | m2://inv/1P8YH0RD6D |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | node (a node has the same name as the row) |
| Node | Sample variance 0JN9P4A944 |
Mentions
- wikidata: Wikidata Q10351825, sample variance (unknown). Also MathWorld SampleVariance
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Solid torus 1P90RJB26F
| URI | m2://inv/1P90RJB26F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of manifolds#MXHE, Solid torus (definition)
History
- 2026-11-02: add by m2/dev
Truncated norm homomorphism and adjoint 1P9AXSR6HY
| URI | m2://inv/1P9AXSR6HY |
|---|---|
| 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.10583#6LSX, Truncated norm homomorphism and adjoint (statement). In 5BZQS1KY9A/e1, lemma 6.2
History
- 2026-10-29: add by m2/v0.4.10
David Ginzburg 1P9GC745C2
| URI | m2://inv/1P9GC745C2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia David Ginzburg, David Ginzburg (topic). Also Wikidata Q86750440
History
- 2026-11-02: add by m2/dev
\bf Generic online-to-nonconvex conversion 1P9RV00NWS
| URI | m2://inv/1P9RV00NWS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2411.07061#O1G9, \bf Generic online-to-nonconvex conversion (statement). In S988ZVA1QE/e1, lemma 1
History
- 2026-10-27: add by m2/v0.3.6
1P9T8V746K 1P9T8V746K
| URI | m2://inv/1P9T8V746K |
|---|---|
| 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 2608.23797#91JG (statement). In PZCA01JXVR/e1, proposition 3.13
History
- 2026-10-27: add by m2/v0.3.5
1PA2SNYE9D 1PA2SNYE9D
| URI | m2://inv/1PA2SNYE9D |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/gt-trees.ptx#exercise-10 (exercise). In Y91XFCEVHQ, exercise, section 5.2
History
- 2026-11-01: add by m2/v0.6.13
1PAA5QFTAX 1PAA5QFTAX
| URI | m2://inv/1PAA5QFTAX |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/sec_addtops-genfun.ptx#example-1 (example). In Y91XFCEVHQ, example, section 6.1
History
- 2026-11-01: add by m2/v0.6.13
1PAB2A7DQH 1PAB2A7DQH
| URI | m2://inv/1PAB2A7DQH |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 01-XX, 11-XX, 26-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33529#PCKY (unknown). In RQZGQG3PBR/e1, unknown II.12.14
History
- 2026-10-30: add by m2/v0.4.12
1PAEPPHE0J 1PAEPPHE0J
| URI | m2://inv/1PAEPPHE0J |
|---|---|
| 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.13556#J0WI (statement). In 5ZB8N3YY72/e1, lemma 5.4
History
- 2026-10-28: add by m2/v0.4.2
Ryan Dusick 1PAKA4R8XN
| URI | m2://inv/1PAKA4R8XN |
|---|---|
| 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#KT4V, Ryan Dusick (unknown)
History
- 2026-11-02: add by m2/dev
Integration-by-parts 1PARHATFGA
| URI | m2://inv/1PARHATFGA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21781#R2A7, Integration-by-parts (statement). In FEQ72D1AX6/e1, proposition 9.3
History
- 2026-10-27: add by m2/v0.4.2
zero element 1PARWNWR9B
| URI | m2://inv/1PARWNWR9B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1468740, zero element (unknown). Also MathWorld ZeroElement
- wikipedia: Wikipedia Zero element, Zero element (definition). Also Wikidata Q1468740
History
- 2026-10-26: add by m2/dev
Theorem statement 1PAVBYH5Y0
| URI | m2://inv/1PAVBYH5Y0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alon–Boppana bound#FVOQ, Theorem statement (statement)
History
- 2026-11-02: add by m2/dev
Neaps 1PB2AXVRRZ
| URI | m2://inv/1PB2AXVRRZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tide#46GM, Neaps (unknown)
History
- 2026-11-02: add by m2/dev
Examples 1PB2JG924Z
| URI | m2://inv/1PB2JG924Z |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Independent and identically distributed random variables#XWDO, Examples (example)
History
- 2026-11-02: add by m2/dev
1PBAW8YZVM 1PBAW8YZVM
| URI | m2://inv/1PBAW8YZVM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 37-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 1503.05744#SGZI (statement). In 5XKHZKEGAF/e1, theorem 4.5
History
- 2026-10-27: add by m2/v0.3.5
1PBC8NFT6X 1PBC8NFT6X
| URI | m2://inv/1PBC8NFT6X |
|---|---|
| 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.18078#PAQX (statement). In YVK8EFSYNJ/e1, corollary 5.4
History
- 2026-10-28: add by m2/v0.4.2
1PBHQGQBH5 1PBHQGQBH5
| URI | m2://inv/1PBHQGQBH5 |
|---|---|
| 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#ZY16 (statement). In ZQ2YZ4P6P5/e1, theorem 5.3
History
- 2026-10-31: add by m2/v0.5.6
1PBKAXY2Q0 1PBKAXY2Q0
| URI | m2://inv/1PBKAXY2Q0 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2503.08488#HKSC (definition). In QH5MZXMXQH/e1, definition 6.12
History
- 2026-10-27: add by m2/v0.3.5
Krein–Milman theorem 1PBWMN9MQ3
| URI | m2://inv/1PBWMN9MQ3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 52-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q642620, Krein–Milman theorem (statement). Also Mathlib closure_convexHull_extremePoints, Wikidata Q642620
- thousand_plus: thousand_plus Q642620, Krein–Milman theorem (statement). Also Mathlib closure_convexHull_extremePoints, Wikidata Q642620, Wikipedia Krein–Milman theorem
- wikipedia: Wikipedia Krein–Milman theorem, Krein–Milman theorem (statement). Also Wikidata Q642620
History
- 2026-10-26: add by m2/dev
1PBX0980YZ 1PBX0980YZ
| URI | m2://inv/1PBX0980YZ |
|---|---|
| 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 2411.11470#LY9C (statement). In G1E3KERT6K/e1, theorem 1.2
History
- 2026-10-27: add by m2/v0.3.6
1PC8T7MY9K 1PC8T7MY9K
| URI | m2://inv/1PC8T7MY9K |
|---|---|
| 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.02933#I90Q (definition). In QSYZKPFRAN/e1, definition 2.1
History
- 2026-10-29: add by m2/v0.4.12
Stephen Rallis 1PCBEWQ10X
| URI | m2://inv/1PCBEWQ10X |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stephen Rallis, Stephen Rallis (topic). Also Wikidata Q20653674
History
- 2026-11-02: add by m2/dev
Satara 1PCBS8DX1H
| URI | m2://inv/1PCBS8DX1H |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#2JNV, Satara (unknown)
History
- 2026-11-02: add by m2/dev
History of modal logic 1PCFYE7Y8T
| URI | m2://inv/1PCFYE7Y8T |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Modal logic#E2ZW, History of modal logic (unknown)
History
- 2026-11-02: add by m2/dev
transitivity, of $<$ for reals 1PCR874ZW1
| URI | m2://inv/1PCR874ZW1 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/B.2.1/transitivity-of-for-reals, transitivity, of $<$ for reals (concept). In N54F33XE07, index, section B.2.1
History
- 2026-11-01: add by m2/v0.6.13
Peter M. Bentler 1PCS89EB2K
| URI | m2://inv/1PCS89EB2K |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#0V9N, Peter M. Bentler (topic)
History
- 2026-11-02: add by m2/dev
completeness 1PCWK4R7HE
| URI | m2://inv/1PCWK4R7HE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#0RXR, completeness (definition)
History
- 2026-11-02: add by m2/dev
Examples 1PCYJAA8F9
| URI | m2://inv/1PCYJAA8F9 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Diophantine set#CBBV, Examples (example)
History
- 2026-11-02: add by m2/dev
Constructions 1PD3TSKETK
| URI | m2://inv/1PD3TSKETK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rhombitetrahexagonal tiling#ZJUZ, Constructions (definition)
History
- 2026-11-02: add by m2/dev
Statistical randomness 1PD9TASDF8
| URI | m2://inv/1PD9TASDF8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#VKIW, Statistical randomness (definition)
History
- 2026-11-02: add by m2/dev
BV rigidity for exterior pairs 1PDJ5BM33N
| URI | m2://inv/1PDJ5BM33N |
|---|---|
| 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 2610.04164#DL62, BV rigidity for exterior pairs (statement). In KR7WXN4EWR/e1, theorem 8.5
History
- 2026-10-29: add by m2/v0.4.12
Freiman homomorphisms 1PDJCC2290
| URI | m2://inv/1PDJCC2290 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Combinatorics > Additive combinatorics > Freiman homomorphisms, Freiman homomorphisms (unknown). Also Mathlib IsAddFreimanHom
History
- 2026-10-26: add by m2/dev
antiderivative 1PDKW3YMP1
| URI | m2://inv/1PDKW3YMP1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Single Variable Complex Analysis > Complex-valued series > antiderivative, antiderivative (unknown)
History
- 2026-10-26: add by m2/dev
1PDMHARSF5 1PDMHARSF5
| URI | m2://inv/1PDMHARSF5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38436#3FZU (statement). In 702AF3E4AF/e1, theorem 7.10
History
- 2026-10-30: add by m2/v0.4.12
Pairs S57--S60 1PDMXSA8G9
| URI | m2://inv/1PDMXSA8G9 |
|---|---|
| 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.08865#E8HA, Pairs S57--S60 (statement). In SJ5JKGH94M/e1, theorem 26
History
- 2026-10-29: add by m2/v0.4.10
Derivative Bounds Implied by Assumption 2 1PDPWK84FT
| URI | m2://inv/1PDPWK84FT |
|---|---|
| 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.14344#T8TX, Derivative Bounds Implied by Assumption 2 (statement). In ZVCD8RG1JJ/e1, corollary 4
History
- 2026-10-28: add by m2/v0.4.2
Traffic equations 1PDSKTQ2PP
| URI | m2://inv/1PDSKTQ2PP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Traffic equations, Traffic equations (definition). Also Wikidata Q17097358
History
- 2026-11-02: add by m2/dev
Gnomon 1PDT1F8G03
| URI | m2://inv/1PDT1F8G03 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gnomon (figure), Gnomon (definition). Also Wikidata Q5574373
History
- 2026-11-02: add by m2/dev
Katsuo Yakura 1PDZ3ZJG69
| URI | m2://inv/1PDZ3ZJG69 |
|---|---|
| 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#SDPV, Katsuo Yakura (unknown)
History
- 2026-11-02: add by m2/dev
1PE7SBMB67 1PE7SBMB67
| URI | m2://inv/1PE7SBMB67 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37124#Q46Q (example). In 2QF1YG9DD0/e1, example 2.11
History
- 2026-10-30: add by m2/v0.4.12
1PEARFJC0H 1PEARFJC0H
| URI | m2://inv/1PEARFJC0H |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10330#BPQZ (definition). In CDXQHNX1P8/e1, definition 1.1
History
- 2026-10-29: add by m2/v0.4.10
Swiss Journal of Economics and Statistics 1PEHY2H4KE
| URI | m2://inv/1PEHY2H4KE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Swiss Journal of Economics and Statistics, Swiss Journal of Economics and Statistics (topic). Also Wikidata Q15766040
History
- 2026-11-02: add by m2/dev
Shambhu Dayal Sinvhal 1PEVZJTFKN
| URI | m2://inv/1PEVZJTFKN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shambhu Dayal Sinvhal, Shambhu Dayal Sinvhal (topic). Also Wikidata Q20128695
History
- 2026-11-02: add by m2/dev
1PEYTNZ7QF 1PEYTNZ7QF
| URI | m2://inv/1PEYTNZ7QF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/z/separation.tex#prop:intersectionsexist (statement). In PKGMM3P5QY, prop, section 76.8
History
- 2026-11-01: add by m2/v0.6.13
uniqueness, principle 1PEZM58M8B
| URI | m2://inv/1PEZM58M8B |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/A.12.3/uniqueness-principle, uniqueness, principle (concept). In N54F33XE07, index, section A.12.3
History
- 2026-11-01: add by m2/v0.6.13
William H. Press 1PFAVKQRN4
| URI | m2://inv/1PFAVKQRN4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#CS6N, William H. Press (unknown)
History
- 2026-11-02: add by m2/dev
1PFENJTDNJ 1PFENJTDNJ
| URI | m2://inv/1PFENJTDNJ |
|---|---|
| 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.25100#ASDR (statement)
History
- 2026-11-01: add by m2/v0.6.15
1PFG3TKGF5 1PFG3TKGF5
| URI | m2://inv/1PFG3TKGF5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24902#6BFP (statement)
History
- 2026-11-01: add by m2/v0.6.15
Aperiodic set of prototiles 1PFR8VXXBS
| URI | m2://inv/1PFR8VXXBS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Aperiodic set of prototiles, Aperiodic set of prototiles (definition). Also Wikidata Q17002261
History
- 2026-11-02: add by m2/dev
Numeral prefix 1PFV0842GW
| URI | m2://inv/1PFV0842GW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Numeral prefix, Numeral prefix (definition). Also Wikidata Q1546382
History
- 2026-11-02: add by m2/dev
1PG4DAT4PS 1PG4DAT4PS
| URI | m2://inv/1PG4DAT4PS |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-systems.tex#exercise-105 (exercise). In E9HS8K3A52, exercise, section 10.9.4
History
- 2026-11-01: add by m2/v0.6.13
1PG6F9HW99 1PG6F9HW99
| URI | m2://inv/1PG6F9HW99 |
|---|---|
| Kind | definition |
| 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 2608.23797#KIK6 (definition). In PZCA01JXVR/e1, definition 2.1
History
- 2026-10-27: add by m2/v0.3.5
Green’s Theorem 1PGA8AR8WH
| URI | m2://inv/1PGA8AR8WH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_100: mathlib_100 21, Green’s Theorem (statement)
History
- 2026-10-26: add by m2/dev
Richard Meyer 1PGB5MBMTZ
| URI | m2://inv/1PGB5MBMTZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Richard Meyer (mathematician), Richard Meyer (topic). Also Wikidata Q11113418
History
- 2026-11-02: add by m2/dev
1PGH1DGMXQ 1PGH1DGMXQ
| URI | m2://inv/1PGH1DGMXQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2007.14459#M3FI (statement). In SGQ7VFEZ22/e1, lemma 3.11
History
- 2026-10-27: add by m2/v0.3.5
1PGKF0WVAE 1PGKF0WVAE
| URI | m2://inv/1PGKF0WVAE |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/sylow.tex#problem-3 (exercise). In RZP28ERRZV, problem, section 7.3
History
- 2026-11-01: add by m2/v0.6.13
Buridan's bridge 1PGM9YZ3E5
| URI | m2://inv/1PGM9YZ3E5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Buridan's bridge, Buridan's bridge (definition). Also Wikidata Q4998817
History
- 2026-11-02: add by m2/dev
Law of contraposition 1PGMAW0XJ1
| URI | m2://inv/1PGMAW0XJ1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vector logic#P45J, Law of contraposition (statement)
History
- 2026-11-02: add by m2/dev
1PGMDHSJAF 1PGMDHSJAF
| URI | m2://inv/1PGMDHSJAF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-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.18483#9M6W (statement). In FF4HDVF1DC/e1, lemma 7.3
History
- 2026-10-28: add by m2/v0.4.2
1PGZVJ9ZQZ 1PGZVJ9ZQZ
| URI | m2://inv/1PGZVJ9ZQZ |
|---|---|
| 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.12736#WHOL (statement). In 5350Q52F6P/e1, lemma 3.12
History
- 2026-10-28: add by m2/v0.4.2
Statistical dispersion 1PH5HYC99C
| URI | m2://inv/1PH5HYC99C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#L58J, Statistical dispersion (definition)
- wikipedia: Wikipedia List of probability topics#MERU, Statistical dispersion (definition)
History
- 2026-11-02: add by m2/dev
Carl H. Brans 1PHAG5FWS8
| URI | m2://inv/1PHAG5FWS8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1038538, Carl H. Brans (unknown). Also nLab Carl Brans
History
- 2026-10-26: add by m2/dev
1PHEXT7N2V 1PHEXT7N2V
| URI | m2://inv/1PHEXT7N2V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03424#SU8P (statement). In Q6HRJP4AWA/e1, lemma 3.2
History
- 2026-10-29: add by m2/v0.4.12
Harald Helfgott 1PHQXMRZXM
| URI | m2://inv/1PHQXMRZXM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#HFL6, Harald Helfgott (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#N7ZT, Harald Helfgott (unknown)
History
- 2026-11-02: add by m2/dev
1PHXS83WM2 1PHXS83WM2
| URI | m2://inv/1PHXS83WM2 |
|---|---|
| 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.27800#G8UN (definition)
History
- 2026-11-01: add by m2/v0.6.15
number of combinations without repetition 1PJ9Q20J79
| URI | m2://inv/1PJ9Q20J79 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Combination 098PHYBTV9 |
Mentions
- wikidata: Wikidata Q109490472, number of combinations without repetition (unknown). Also MathWorld Combination
- wikidata: Wikidata Q202805, combination (concept). Also EoM Combination, MathWorld Combination, ProofWiki Definition:Combination
- wikipedia: Wikipedia Combination, Combination (definition). Also Wikidata Q202805
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
1PJAQNX3NC 1PJAQNX3NC
| URI | m2://inv/1PJAQNX3NC |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 19-XX, 20-XX, 22-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.14278#XZSX (definition). In RTE2C0PH4S/e1, definition 2.2
History
- 2026-10-28: add by m2/v0.4.2
Statement 1PJBK6MVMY
| URI | m2://inv/1PJBK6MVMY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Incenter–excenter lemma#GE06, Statement (statement)
History
- 2026-11-02: add by m2/dev
Focusing theorem 1PJD0M5PCA
| URI | m2://inv/1PJD0M5PCA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Raychaudhuri equation#AG0E, Focusing theorem (statement)
History
- 2026-11-02: add by m2/dev
Example 1PJJHF3Z7C
| URI | m2://inv/1PJJHF3Z7C |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thévenin's theorem#O45A, Example (example)
History
- 2026-11-02: add by m2/dev
1PJSRYC21Z 1PJSRYC21Z
| URI | m2://inv/1PJSRYC21Z |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21408#ZEWZ (problem). In 3XBEGXNPXZ/e1, problem 8.3
History
- 2026-10-27: add by m2/v0.4.2
Symmetry 1PK10GREBV
| URI | m2://inv/1PK10GREBV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Order-4 octahedral honeycomb#4ZFT, Symmetry (statement)
History
- 2026-11-02: add by m2/dev
Leibniz integral rule 1PK2XEQ16T
| URI | m2://inv/1PK2XEQ16T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Gottfried Leibniz#VNEV, Leibniz integral rule (definition)
History
- 2026-11-02: add by m2/dev
1PK6K3KVM6 1PK6K3KVM6
| URI | m2://inv/1PK6K3KVM6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21016#VAB3 (statement)
History
- 2026-11-02: add by m2/v0.6.18
1PK7P0R5S4 1PK7P0R5S4
| URI | m2://inv/1PK7P0R5S4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27125#R2AL (statement)
History
- 2026-11-01: add by m2/v0.6.15
1PKAA5NX3G 1PKAA5NX3G
| URI | m2://inv/1PKAA5NX3G |
|---|---|
| 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.01924#5PUF (statement). In CB89152EQW/e1, lemma 6
History
- 2026-10-29: add by m2/v0.4.12
Multivariate division algorithm 1PKBCQXNB1
| URI | m2://inv/1PKBCQXNB1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gröbner basis#67SS, Multivariate division algorithm (unknown)
History
- 2026-11-02: add by m2/dev
Overlap and interaction between inserted points 1PKGGYCRY5
| URI | m2://inv/1PKGGYCRY5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06372#4LVH, Overlap and interaction between inserted points (statement). In G3E1P350Z6/e1, lemma 5.6
History
- 2026-10-29: add by m2/v0.4.10
Principles of the Nemeth Code 1PKKT0KMAA
| URI | m2://inv/1PKKT0KMAA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nemeth Braille#74IB, Principles of the Nemeth Code (statement)
History
- 2026-11-02: add by m2/dev
Damage map 1PKSVNS4NT
| URI | m2://inv/1PKSVNS4NT |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0003117#K0MO, Damage map (definition). In WD2NCBV9F0/e1, definition 10.3
History
- 2026-10-27: add by m2/v0.3.5
Gödel's speed-up theorem 1PKT1VQP9K
| URI | m2://inv/1PKT1VQP9K |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gödel's speed-up theorem, Gödel's speed-up theorem (statement). Also Wikidata Q5626450
History
- 2026-11-02: add by m2/dev
Googol 1PKZYX21G2
| URI | m2://inv/1PKZYX21G2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numbers#SPL2, Googol (definition)
History
- 2026-11-02: add by m2/dev
Tetrapolis (Attica) 1PM0830HX0
| URI | m2://inv/1PM0830HX0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#ZT7B, Tetrapolis (Attica) (unknown)
History
- 2026-11-02: add by m2/dev
1PM8KRJYKE 1PM8KRJYKE
| URI | m2://inv/1PM8KRJYKE |
|---|---|
| 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.19251#XTBU (statement). In CSW6NG0FRN/e1, proposition 4.11
History
- 2026-10-28: add by m2/v0.4.2
1PMDBRHZ02 1PMDBRHZ02
| URI | m2://inv/1PMDBRHZ02 |
|---|---|
| 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.11619#X10A (statement). In HT2K76Y9WS/e1, corollary C.7
History
- 2026-10-28: add by m2/v0.4.3
List of set identities and relations 1PMFNH5APK
| URI | m2://inv/1PMFNH5APK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of set theory topics#FTOL, List of set identities and relations (topic)
- wikipedia: Wikipedia Lists of mathematics topics#4AFU, List of set identities and relations (topic)
History
- 2026-11-02: add by m2/dev
Romanian Statistical Yearbook 1PMGA0D7A6
| URI | m2://inv/1PMGA0D7A6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Romanian Statistical Yearbook, Romanian Statistical Yearbook (definition). Also Wikidata Q23073957
History
- 2026-11-02: add by m2/dev
Horst Sachs 1PMJEEFGMC
| URI | m2://inv/1PMJEEFGMC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#9208, Horst Sachs (topic)
History
- 2026-11-02: add by m2/dev
Common reference string model 1PMJZNGBRW
| URI | m2://inv/1PMJZNGBRW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Common reference string model, Common reference string model (definition). Also Wikidata Q5153605
History
- 2026-11-02: add by m2/dev
1PMMDAKAYS 1PMMDAKAYS
| URI | m2://inv/1PMMDAKAYS |
|---|---|
| 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.20656#RLA3 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Motions in the time-frequency distribution 1PMYJRYTHA
| URI | m2://inv/1PMYJRYTHA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Motions in the time-frequency distribution, Motions in the time-frequency distribution (definition). Also Wikidata Q17099114
History
- 2026-11-02: add by m2/dev
Hirzebruch–Riemann–Roch theorem 1PN1K447Z3
| URI | m2://inv/1PN1K447Z3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#GTK7, Hirzebruch–Riemann–Roch theorem (statement)
History
- 2026-11-02: add by m2/dev
Erdős-Menger conjecture 1PN9T5RT1D
| URI | m2://inv/1PN9T5RT1D |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Menger's theorem#R47J, Erdős-Menger conjecture (unknown)
History
- 2026-11-02: add by m2/dev
Wedderburn's little theorem 1PNKJ8MBBK
| URI | m2://inv/1PNKJ8MBBK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#5ZJE, Wedderburn's little theorem (statement)
History
- 2026-11-02: add by m2/dev
Neighborhood Nine 1PNPGY2V41
| URI | m2://inv/1PNPGY2V41 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#128J, Neighborhood Nine (unknown)
History
- 2026-11-02: add by m2/dev
Elementary graph operation 1PNPT2THH7
| URI | m2://inv/1PNPT2THH7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graph operations#NF5D, Elementary graph operation (unknown)
History
- 2026-11-02: add by m2/dev
superegg 1PNQYKGBSQ
| URI | m2://inv/1PNQYKGBSQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2329738, superegg (unknown). Also MathWorld Superegg
- wikipedia: Wikipedia Superegg, Superegg (definition). Also Wikidata Q2329738
History
- 2026-10-26: add by m2/dev
1PNWTRNET6 1PNWTRNET6
| URI | m2://inv/1PNWTRNET6 |
|---|---|
| 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 0809.0068#73LL (statement). In MBKYGM01FK/e1, theorem 3.2
History
- 2026-10-27: add by m2/v0.3.5
1PP3X0K8HB 1PP3X0K8HB
| URI | m2://inv/1PP3X0K8HB |
|---|---|
| Kind | example |
| 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.05259#WOJ5 (example). In X1J5HKPS3R/e1, example 1.10
History
- 2026-10-29: add by m2/v0.4.10
Jankov--von Neumann measurable selection 1PP620R62P
| URI | m2://inv/1PP620R62P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22485#VGXU, Jankov--von Neumann measurable selection (statement)
History
- 2026-11-02: add by m2/v0.6.17
Generalizations 1PP6775WXZ
| URI | m2://inv/1PP6775WXZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Yule–Simon distribution#GCOR, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
$3\times6$ case 1PP67FRDB4
| URI | m2://inv/1PP67FRDB4 |
|---|---|
| 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 2610.13291#UJ3E, $3\times6$ case (statement). In D16PSAVVWV/e1, proposition 4.6
History
- 2026-10-28: add by m2/v0.4.2
1PP9SZFD3F 1PP9SZFD3F
| URI | m2://inv/1PP9SZFD3F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-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.03422#GAN2 (statement). In SF88CM0957/e1, lemma 5.3
History
- 2026-10-29: add by m2/v0.4.12
1PPAJMFJJ3 1PPAJMFJJ3
| URI | m2://inv/1PPAJMFJJ3 |
|---|---|
| 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.08135#95JQ (statement). In D4PE6R0BT3/e1, theorem 1.1
History
- 2026-10-29: add by m2/v0.4.10
Jean Bertoin 1PPGCMD2MT
| URI | m2://inv/1PPGCMD2MT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jean Bertoin, Jean Bertoin (topic). Also Wikidata Q28869955
History
- 2026-11-02: add by m2/dev
Nottingham group 1PPJM429Q0
| URI | m2://inv/1PPJM429Q0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nottingham group, Nottingham group (definition). Also Wikidata Q7063725
History
- 2026-11-02: add by m2/dev
1PPTDC8CKR 1PPTDC8CKR
| URI | m2://inv/1PPTDC8CKR |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-first-order-ode.tex#exercise-87 (exercise). In E9HS8K3A52, exercise, section 4.6.1
History
- 2026-11-01: add by m2/v0.6.13
Standard L-function 1PPTFN54RF
| URI | m2://inv/1PPTFN54RF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Standard L-function, Standard L-function (definition). Also Wikidata Q7598255
History
- 2026-11-02: add by m2/dev
Tilted large deviation principle 1PPWAMJN9B
| URI | m2://inv/1PPWAMJN9B |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tilted large deviation principle, Tilted large deviation principle (statement). Also Wikidata Q7803014
History
- 2026-11-02: add by m2/dev
Corollary: Restricted STC 1PQB1T2N6D
| URI | m2://inv/1PQB1T2N6D |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Poisson-type random measure#4A0L, Corollary: Restricted STC (statement)
History
- 2026-11-02: add by m2/dev
1PQBSFSVV7 1PQBSFSVV7
| URI | m2://inv/1PQBSFSVV7 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 57-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10262#VCYF (definition). In MVSGDTN2PB/e1, definition 5.5
History
- 2026-10-29: add by m2/v0.4.10
Chebyshev roots 1PQEVB7T3V
| URI | m2://inv/1PQEVB7T3V |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chebyshev polynomials#SATE, Chebyshev roots (unknown)
History
- 2026-11-02: add by m2/dev
Digital topology 1PQF4HERFZ
| URI | m2://inv/1PQF4HERFZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topology topics#DFZN, Digital topology (definition)
History
- 2026-11-02: add by m2/dev
Asclepius of Tralles 1PQH7H8NG3
| URI | m2://inv/1PQH7H8NG3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Asclepius of Tralles, Asclepius of Tralles (topic). Also Wikidata Q732098
History
- 2026-11-02: add by m2/dev
bivariate analysis 1PQS4CB268
| URI | m2://inv/1PQS4CB268 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of probability and statistics#N3EK, bivariate analysis (definition)
History
- 2026-11-02: add by m2/dev
1PR4EX728T 1PR4EX728T
| URI | m2://inv/1PR4EX728T |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 17-XX, 20-XX, 22-XX, 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11785#PSJB (example). In 2XSZDXZ52E/e1, example 3.3
History
- 2026-10-28: add by m2/v0.4.3
Examples 1PR7HGGBSY
| URI | m2://inv/1PR7HGGBSY |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Superincreasing sequence#N8HY, Examples (example)
History
- 2026-11-02: add by m2/dev
Hermann Minkowski 1PR8AKS1S1
| URI | m2://inv/1PR8AKS1S1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of geometers#NBGF, Hermann Minkowski (topic)
History
- 2026-11-02: add by m2/dev
Jackson's inequality 1PRCDRW0MQ
| URI | m2://inv/1PRCDRW0MQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Jackson's inequality WQRT86VYA6 |
Mentions
- wikidata: Wikidata Q4317418, Jackson's inequality (statement). Also MathWorld JacksonsTheorem
- wikipedia: Wikipedia Jackson's inequality, Jackson's inequality (statement). Also Wikidata Q4317418
History
- 2026-10-26: add by m2/dev
Magnitude of resultant vector 1PRKW1E6Z9
| URI | m2://inv/1PRKW1E6Z9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euclidean vector#JHY9, Magnitude of resultant vector (unknown)
History
- 2026-11-02: add by m2/dev
1PRSFZ5376 1PRSFZ5376
| URI | m2://inv/1PRSFZ5376 |
|---|---|
| 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 2610.10377#82M2 (statement). In 6HP7BR9WZM/e1, proposition 3.19
History
- 2026-10-29: add by m2/v0.4.10
Rédei's theorem 1PRVXHW0JJ
| URI | m2://inv/1PRVXHW0JJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#94XD, Rédei's theorem (statement)
History
- 2026-11-02: add by m2/dev
1PS9STR2K5 1PS9STR2K5
| URI | m2://inv/1PS9STR2K5 |
|---|---|
| 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.36412#MW9E (statement). In 6HKGGCMBCK/e1, proposition 2.8
History
- 2026-10-30: add by m2/v0.4.12
Spin-local energy orthogonality 1PSG0MZ39X
| URI | m2://inv/1PSG0MZ39X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16351#Y8KP, Spin-local energy orthogonality (statement). In 1QSV7EQE3T/e1, proposition S73
History
- 2026-10-28: add by m2/v0.4.2
Logic translation 1PSNN1KCMR
| URI | m2://inv/1PSNN1KCMR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Logic translation, Logic translation (definition). Also Wikidata Q117337220
History
- 2026-11-02: add by m2/dev
Examples 1PSPWNHJZX
| URI | m2://inv/1PSPWNHJZX |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coherence (physics)#VEGV, Examples (example)
History
- 2026-11-02: add by m2/dev
Cryptographic module 1PT6ATHZJR
| URI | m2://inv/1PT6ATHZJR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cryptographic module, Cryptographic module (definition). Also Wikidata Q122799877
History
- 2026-11-02: add by m2/dev
Uses 1PT6QC880T
| URI | m2://inv/1PT6QC880T |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Flux balance analysis#8ARA, Uses (example)
History
- 2026-11-02: add by m2/dev
1PT7D3Q50V 1PT7D3Q50V
| URI | m2://inv/1PT7D3Q50V |
|---|---|
| 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.15313#HFTO (statement). In KWKY1CWG1Z/e1, lemma 3.1
History
- 2026-10-28: add by m2/v0.4.2
1PTD71V1KR 1PTD71V1KR
| URI | m2://inv/1PTD71V1KR |
|---|---|
| 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.11336#7BI0 (statement). In X1R1GDAJ0Y/e1, theorem 2.8
History
- 2026-10-28: add by m2/v0.4.3
1PTH0Y42JN 1PTH0Y42JN
| URI | m2://inv/1PTH0Y42JN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 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.19357#RBGM (statement). In RGXQ50RWXV/e1, corollary 3.9
History
- 2026-10-28: add by m2/v0.4.2
1PTKB2HD3J 1PTKB2HD3J
| URI | m2://inv/1PTKB2HD3J |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10937#RD4V (definition). In 6VVK3YTABP/e1, definition 2.8
History
- 2026-10-28: add by m2/v0.4.3
Theorems 1PTNAJR8Z0
| URI | m2://inv/1PTNAJR8Z0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Webbed space#F01J, Theorems (statement)
History
- 2026-11-02: add by m2/dev
Quasiperiodicity 1PTTHPG16J
| URI | m2://inv/1PTTHPG16J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quasiperiodicity, Quasiperiodicity (definition). Also Wikidata Q7269515
History
- 2026-11-02: add by m2/dev
Cell averages 1PTYVAHWVY
| URI | m2://inv/1PTYVAHWVY |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14616#089I, Cell averages (definition). In 17ACAG0N9C/e1, definition 2.7
History
- 2026-10-28: add by m2/v0.4.2
Primitive element 1PTZYMG3V8
| URI | m2://inv/1PTZYMG3V8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of field theory#29YZ, Primitive element (definition)
History
- 2026-11-02: add by m2/dev
Oleg Lupanov 1PV5VYTNEH
| URI | m2://inv/1PV5VYTNEH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Oleg Lupanov, Oleg Lupanov (topic). Also Wikidata Q3710046
History
- 2026-11-02: add by m2/dev
Konstantinos Negris 1PV7TREWMW
| URI | m2://inv/1PV7TREWMW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Konstantinos Negris, Konstantinos Negris (topic). Also Wikidata Q15980982
History
- 2026-11-02: add by m2/dev
1PVG1BN0ZA 1PVG1BN0ZA
| URI | m2://inv/1PVG1BN0ZA |
|---|---|
| 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.03011#EX5Y (statement). In VE8FB6K8EN/e1, lemma 17
History
- 2026-10-29: add by m2/v0.4.12
1PVJHHMC5C 1PVJHHMC5C
| URI | m2://inv/1PVJHHMC5C |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/computability/computability-theory/halting-problem.tex#proof-2 (proof). In PKGMM3P5QY, proof, section 3.5
History
- 2026-11-01: add by m2/v0.6.13
1PVN0PD234 1PVN0PD234
| URI | m2://inv/1PVN0PD234 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33162#6AUU (definition). In RPC7VG3KHQ/e1, definition 6.6
History
- 2026-10-30: add by m2/v0.4.12
1PVQ96RYFN 1PVQ96RYFN
| URI | m2://inv/1PVQ96RYFN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25896#4T7T (statement)
History
- 2026-11-01: add by m2/v0.6.15
1PW6YVA41Q 1PW6YVA41Q
| URI | m2://inv/1PW6YVA41Q |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/methods/proofs/inference-patterns.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 44.9.5
History
- 2026-11-01: add by m2/v0.6.13
1PW7865M68 1PW7865M68
| URI | m2://inv/1PW7865M68 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-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 1204.5958#ZOH2 (statement). In XYCBKM4WKY/e1, theorem 40
History
- 2026-10-27: add by m2/v0.3.5
1PW7KDW7DT 1PW7KDW7DT
| URI | m2://inv/1PW7KDW7DT |
|---|---|
| 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.20568#C3HB (statement). In BCD0ATARNZ/e1, proposition 4.5
History
- 2026-10-27: add by m2/v0.4.2
Apollonius's theorem 1PWCY453S2
| URI | m2://inv/1PWCY453S2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#54WG, Apollonius's theorem (statement)
History
- 2026-11-02: add by m2/dev
Example 1PWGC9KDM1
| URI | m2://inv/1PWGC9KDM1 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Successive over-relaxation#DGU8, Example (example)
History
- 2026-11-02: add by m2/dev
1PWNK6342Z 1PWNK6342Z
| URI | m2://inv/1PWNK6342Z |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section4-2.xml#ula-preview-4-2 (exercise). In 649HGZKE96, exploration, section 4.2.1
History
- 2026-11-01: add by m2/v0.6.13
Ashkan Nikeghbali 1PX8MCEQ3Q
| URI | m2://inv/1PX8MCEQ3Q |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ashkan Nikeghbali, Ashkan Nikeghbali (topic). Also Wikidata Q99483677
History
- 2026-11-02: add by m2/dev
1PXB7V4QS7 1PXB7V4QS7
| URI | m2://inv/1PXB7V4QS7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 46-XX, 49-XX, 51-XX, 52-XX, 60-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2505.10801#I8VT (statement). In BWJS3H55WH/e1, proposition 4
History
- 2026-10-27: add by m2/v0.3.5
1PXQK6S2JF 1PXQK6S2JF
| URI | m2://inv/1PXQK6S2JF |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23605#J30N (definition)
History
- 2026-11-02: add by m2/v0.6.17
Local existence and continuation 1PXWG1673P
| URI | m2://inv/1PXWG1673P |
|---|---|
| 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.15528#B7IL, Local existence and continuation (statement). In G9GEE64N32/e1, theorem 2.3
History
- 2026-10-28: add by m2/v0.4.2
Permutation matrix 1PXXN9YNCJ
| URI | m2://inv/1PXXN9YNCJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of permutation topics#DNB6, Permutation matrix (definition)
History
- 2026-11-02: add by m2/dev
Design effect 1PXXP23VPK
| URI | m2://inv/1PXXP23VPK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#JDXX, Design effect (definition)
History
- 2026-11-02: add by m2/dev
Analytic continuation 1PY1R06JKM
| URI | m2://inv/1PY1R06JKM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of complex analysis topics#1MNZ, Analytic continuation (definition)
History
- 2026-11-02: add by m2/dev
1PY5PF62A8 1PY5PF62A8
| URI | m2://inv/1PY5PF62A8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32916#4THD (statement). In G1RP4JY5PE/e1, proposition 4.2.2
History
- 2026-10-31: add by m2/v0.5.6
1PYGVV18PJ 1PYGVV18PJ
| URI | m2://inv/1PYGVV18PJ |
|---|---|
| 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 2601.18223#GDI9 (statement). In ZRXE7EJA93/e1, lemma 3.1
History
- 2026-10-27: add by m2/v0.3.5
Definition 1PYHBD2G9H
| URI | m2://inv/1PYHBD2G9H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia AKLT model#T8IE, Definition (definition)
History
- 2026-11-02: add by m2/dev
Gaussian optics 1PYKKERTGQ
| URI | m2://inv/1PYKKERTGQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Carl Friedrich Gauss#Q5IT, Gaussian optics (unknown)
History
- 2026-11-02: add by m2/dev
1PYXKAVHWW 1PYXKAVHWW
| URI | m2://inv/1PYXKAVHWW |
|---|---|
| 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.00358#MSSG (statement). In C5WGCSPM6W/e1, lemma 2.1
History
- 2026-10-30: add by m2/v0.4.12
sinc 1PZC28XSD3
| URI | m2://inv/1PZC28XSD3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#T5IA, sinc (definition)
History
- 2026-11-02: add by m2/dev
Definitions 1PZD1ARVVD
| URI | m2://inv/1PZD1ARVVD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Furuta pendulum#FNS8, Definitions (definition)
History
- 2026-11-02: add by m2/dev
natural logarithm 1PZGXVC44Z
| URI | m2://inv/1PZGXVC44Z |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Natural logarithm 0044CPHJBV |
Mentions
- wikidata: Wikidata Q204037, natural logarithm (unknown). Also MathWorld NaturalLogarithm
- wikipedia: Wikipedia Natural logarithm, Natural logarithm (object). Also Wikidata Q204037
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Claim 1 1PZQBH594G
| URI | m2://inv/1PZQBH594G |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Straight-line program#PIY8, Claim 1 (statement)
History
- 2026-11-02: add by m2/dev
Disjunctive number 1PZRR3DQPZ
| URI | m2://inv/1PZRR3DQPZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Disjunctive sequence#DII8, Disjunctive number (unknown)
History
- 2026-11-02: add by m2/dev
Alexander Samarskii 1PZS4S5KBW
| URI | m2://inv/1PZS4S5KBW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alexander Samarskii, Alexander Samarskii (topic). Also Wikidata Q302434
History
- 2026-11-02: add by m2/dev
IMA Journal of Numerical Analysis 1PZS59Y4C4
| URI | m2://inv/1PZS59Y4C4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia IMA Journal of Numerical Analysis, IMA Journal of Numerical Analysis (definition). Also Wikidata Q13731244
History
- 2026-11-02: add by m2/dev
Crime statistics 1PZX2DYKSR
| URI | m2://inv/1PZX2DYKSR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Crime statistics, Crime statistics (definition). Also Wikidata Q330344
History
- 2026-11-02: add by m2/dev