Inventory rows 78
The cards of the rows of the inventory whose ids start with 78. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Statement 7808PTE5ZV
| URI | m2://inv/7808PTE5ZV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cauchy–Binet formula#HAHO, Statement (statement)
History
- 2026-11-02: add by m2/dev
780EHA1SER 780EHA1SER
| URI | m2://inv/780EHA1SER |
|---|---|
| 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.22413#8JEY (statement)
History
- 2026-11-02: add by m2/v0.6.17
780S200X80 780S200X80
| URI | m2://inv/780S200X80 |
|---|---|
| Kind | example |
| 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.01802#1OCP (example). In XGPZ0G9E1Q/e1, example 9.5
History
- 2026-10-29: add by m2/v0.4.12
Davenport–Erdős theorem 780SSJ08SH
| URI | m2://inv/780SSJ08SH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Davenport–Erdős theorem, Davenport–Erdős theorem (statement). Also Wikidata Q65120950
History
- 2026-11-02: add by m2/dev
78110XWBY9 78110XWBY9
| URI | m2://inv/78110XWBY9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04730#7J1T (statement). In QHFP0837Q8/e1, proposition 5.17
History
- 2026-10-29: add by m2/v0.4.12
Tail weight in the classical phase 7812J4GR12
| URI | m2://inv/7812J4GR12 |
|---|---|
| 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.00339#O86O, Tail weight in the classical phase (statement). In ZRG6NY1ECH/e1, lemma 39
History
- 2026-10-30: add by m2/v0.4.12
781KCG9JCH 781KCG9JCH
| URI | m2://inv/781KCG9JCH |
|---|---|
| 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.30113#AN3A (statement)
History
- 2026-11-01: add by m2/v0.6.15
Representation 781MZDP5HK
| URI | m2://inv/781MZDP5HK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Absolutely and completely monotonic functions and sequences#VATK, Representation (definition)
History
- 2026-11-02: add by m2/dev
781WTQPD06 781WTQPD06
| URI | m2://inv/781WTQPD06 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trémaux tree#8BI9 (problem)
History
- 2026-11-02: add by m2/dev
782Q85Y4FV 782Q85Y4FV
| URI | m2://inv/782Q85Y4FV |
|---|---|
| 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 2304.02722#IEEF (statement). In AH7D55D3WV/e1, proposition 15.3
History
- 2026-10-27: add by m2/v0.3.5
782YQAFHNN 782YQAFHNN
| URI | m2://inv/782YQAFHNN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21408#5G71 (statement). In 3XBEGXNPXZ/e1, lemma 5.3
History
- 2026-10-27: add by m2/v0.4.2
782ZDGNN5K 782ZDGNN5K
| URI | m2://inv/782ZDGNN5K |
|---|---|
| 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 1912.08672#IX2K (statement). In 55X5V0M3K7/e1, theorem
History
- 2026-10-27: add by m2/v0.3.6
primes of the form k^2 + 1 7831K2RTAV
| URI | m2://inv/7831K2RTAV |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q10856136, primes of the form k^2 + 1 (object). Also OEIS A002496
History
- 2026-10-26: add by m2/dev
Second Borel–Cantelli Lemma 783291Q5QC
| URI | m2://inv/783291Q5QC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Borel–Cantelli lemma#LRP0, Second Borel–Cantelli Lemma (statement)
History
- 2026-11-02: add by m2/dev
parabidiminished rhombicosidodecahedron 7838X87XEJ
| URI | m2://inv/7838X87XEJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2004973, parabidiminished rhombicosidodecahedron (object). Also MathWorld ParabidiminishedRhombicosidodecahedron
- wikipedia: Wikipedia Parabidiminished rhombicosidodecahedron, Parabidiminished rhombicosidodecahedron (definition). Also Wikidata Q2004973
History
- 2026-10-26: add by m2/dev
783PE7TVJP 783PE7TVJP
| URI | m2://inv/783PE7TVJP |
|---|---|
| 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.21477#3HDX (statement)
History
- 2026-11-02: add by m2/v0.6.18
783RPNNA69 783RPNNA69
| URI | m2://inv/783RPNNA69 |
|---|---|
| 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.35398#DAVG (statement). In NAJCCHYXR6/e1, lemma 3.2
History
- 2026-10-30: add by m2/v0.4.12
783YWSC55D 783YWSC55D
| URI | m2://inv/783YWSC55D |
|---|---|
| Kind | definition |
| 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.12169#ZNHY (definition). In 645GF9SFWM/e1, definition 17
History
- 2026-10-28: add by m2/v0.4.2
Directrix (conic section) 783ZMKXPR7
| URI | m2://inv/783ZMKXPR7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conic section#SMGO, Directrix (conic section) (unknown)
History
- 2026-11-02: add by m2/dev
Power in Numbers: The Rebel Women of Mathematics 783ZSJGJEH
| URI | m2://inv/783ZSJGJEH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Power in Numbers: The Rebel Women of Mathematics, Power in Numbers: The Rebel Women of Mathematics (definition). Also Wikidata Q91098730
History
- 2026-11-02: add by m2/dev
7840G8AQ70 7840G8AQ70
| URI | m2://inv/7840G8AQ70 |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
History
- 2026-10-29: add by m2/v0.4.10
hypostatic abstraction 7846W5Y59A
| URI | m2://inv/7846W5Y59A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5961184, hypostatic abstraction (unknown). Also nLab hypostatic abstraction
- wikipedia: Wikipedia Hypostatic abstraction, Hypostatic abstraction (definition). Also Wikidata Q5961184
History
- 2026-10-26: add by m2/dev
7848D938SP 7848D938SP
| URI | m2://inv/7848D938SP |
|---|---|
| Kind | definition |
| 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#ZV5O (definition). In RGXQ50RWXV/e1, definition 1.1
History
- 2026-10-28: add by m2/v0.4.2
784HADQMBQ 784HADQMBQ
| URI | m2://inv/784HADQMBQ |
|---|---|
| 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.05216#0DH1 (definition). In J1VCHM6V0S/e1, definition 5.2
History
- 2026-10-29: add by m2/v0.4.10
Historical thinking 784JSJHZK2
| URI | m2://inv/784JSJHZK2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Historical thinking, Historical thinking (definition). Also Wikidata Q20826856
History
- 2026-11-02: add by m2/dev
784NBPTP4E 784NBPTP4E
| URI | m2://inv/784NBPTP4E |
|---|---|
| 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.12108#7S2M (statement). In JQH3FHYPW3/e1, proposition 2.18
History
- 2026-10-28: add by m2/v0.4.2
784PQFVRPJ 784PQFVRPJ
| URI | m2://inv/784PQFVRPJ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0406514#MRBA (definition). In CY1FE8W1ZW/e1, definition 0.205
History
- 2026-10-27: add by m2/v0.3.5
784QPHFEVA 784QPHFEVA
| URI | m2://inv/784QPHFEVA |
|---|---|
| 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.29205#YLU5 (statement)
History
- 2026-11-01: add by m2/v0.6.15
784VH5WC8A 784VH5WC8A
| URI | m2://inv/784VH5WC8A |
|---|---|
| Kind | example |
| 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 2604.11825#FP85 (example). In 6H76S52BG7/e1, example A.8
History
- 2026-10-27: add by m2/v0.4.0
Corollary 784W3JA8KB
| URI | m2://inv/784W3JA8KB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Expander code#81Z3, Corollary (statement)
History
- 2026-11-02: add by m2/dev
7853WZ8HBE 7853WZ8HBE
| URI | m2://inv/7853WZ8HBE |
|---|---|
| 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.34193#XT48 (definition). In 9XMZTTSF5E/e1, definition 2.1
History
- 2026-10-30: add by m2/v0.4.12
Info track 7856MP0DSV
| URI | m2://inv/7856MP0DSV |
|---|---|
| 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#K57L, Info track (definition). In WD2NCBV9F0/e1, definition 12.1
History
- 2026-10-27: add by m2/v0.3.5
Information content of the effective sample size 78580866MN
| URI | m2://inv/78580866MN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16680#UC45, Information content of the effective sample size (statement). In H29YHXQZV6/e1, proposition 16
History
- 2026-10-28: add by m2/v0.4.2
785ERZJCHE 785ERZJCHE
| URI | m2://inv/785ERZJCHE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.07718#W5F6 (statement). In CEKW9CNVVW/e1, lemma 6.3
History
- 2026-10-29: add by m2/v0.4.10
Definition 785HNJXZ5E
| URI | m2://inv/785HNJXZ5E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pareto frontier#HKCC, Definition (definition)
History
- 2026-11-02: add by m2/dev
785KY69FXE 785KY69FXE
| URI | m2://inv/785KY69FXE |
|---|---|
| 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.32174#HU07 (statement). In GHKR740SG3/e1, proposition 15.7
History
- 2026-10-31: add by m2/v0.5.6
Finite-Sample Pilot Efficiency, informal 78605W13MA
| URI | m2://inv/78605W13MA |
|---|---|
| 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.33695#WE4B, Finite-Sample Pilot Efficiency, informal (statement). In F0H13DV8VN/e1, corollary 1
History
- 2026-10-30: add by m2/v0.4.12
Chaffing and winnowing 786AKJXSSM
| URI | m2://inv/786AKJXSSM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of steganography techniques#6ON8, Chaffing and winnowing (definition)
History
- 2026-11-02: add by m2/dev
786BBVGQAP 786BBVGQAP
| URI | m2://inv/786BBVGQAP |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2412.01742#D3KT (example). In GYH7R98PPA/e1, example 4.2
History
- 2026-10-27: add by m2/v0.3.5
Existence of a bounded harmonic potential 786D80GB0N
| URI | m2://inv/786D80GB0N |
|---|---|
| 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.38375#BP91, Existence of a bounded harmonic potential (statement). In CHSB1TGAKB/e1, lemma 8
History
- 2026-10-30: add by m2/v0.4.12
Chronux 786KACJ2AG
| URI | m2://inv/786KACJ2AG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chronux, Chronux (definition). Also Wikidata Q5114269
History
- 2026-11-02: add by m2/dev
Yang–Mills instanton 786PEF5TPC
| URI | m2://inv/786PEF5TPC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q55982727, Yang–Mills instanton (unknown). Also nLab Yang-Mills instanton
History
- 2026-10-26: add by m2/dev
786QG680YK 786QG680YK
| URI | m2://inv/786QG680YK |
|---|---|
| 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#D0TH (statement). In 5350Q52F6P/e1, lemma 3.6
History
- 2026-10-28: add by m2/v0.4.2
786S0TGSVT 786S0TGSVT
| URI | m2://inv/786S0TGSVT |
|---|---|
| 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.06225#OL5I (statement). In RQVG8V4FJA/e1, corollary 2.3
History
- 2026-10-29: add by m2/v0.4.10
786W64P8W4 786W64P8W4
| URI | m2://inv/786W64P8W4 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-higher-order-ode.tex#exercise-71 (exercise). In E9HS8K3A52, exercise, section 6.5.4
History
- 2026-11-01: add by m2/v0.6.13
7874HJB77R 7874HJB77R
| URI | m2://inv/7874HJB77R |
|---|---|
| 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.00625#Y8YN (statement). In BGA625B7W1/e1, theorem 3.7
History
- 2026-10-30: add by m2/v0.4.12
Statistics Without Borders 78755P25GD
| URI | m2://inv/78755P25GD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Statistics Without Borders, Statistics Without Borders (definition). Also Wikidata Q7604431
History
- 2026-11-02: add by m2/dev
Definition 787FRH1BE2
| URI | m2://inv/787FRH1BE2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Differential entropy#L1NW, Definition (definition)
History
- 2026-11-02: add by m2/dev
stem-and-leaf display 787G89F8VP
| URI | m2://inv/787G89F8VP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of probability and statistics#PHCZ, stem-and-leaf display (definition)
History
- 2026-11-02: add by m2/dev
787GHPBAHG 787GHPBAHG
| URI | m2://inv/787GHPBAHG |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36423#IHXB (example). In Q5Z178SAHP/e1, example 5.4
History
- 2026-10-30: add by m2/v0.4.12
Rank-size rule 787M4PPG45
| URI | m2://inv/787M4PPG45 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rank–size distribution#4XUC, Rank-size rule (unknown)
History
- 2026-11-02: add by m2/dev
Ennio De Giorgi 787MCSBYE7
| URI | m2://inv/787MCSBYE7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ennio De Giorgi, Ennio De Giorgi (topic). Also Wikidata Q982690
History
- 2026-11-02: add by m2/dev
Corollary 787QHNZS85
| URI | m2://inv/787QHNZS85 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Approximately finite-dimensional C*-algebra#7UNM, Corollary (statement)
History
- 2026-11-02: add by m2/dev
split monomorphism 787RBNWC92
| URI | m2://inv/787RBNWC92 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q121773562, split monomorphism (unknown). Also nLab split monomorphism
History
- 2026-10-26: add by m2/dev
787TY7HA2D 787TY7HA2D
| URI | m2://inv/787TY7HA2D |
|---|---|
| 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.05696#VX0D (statement). In MG81A9XJTQ/e1, proposition III.1
History
- 2026-10-29: add by m2/v0.4.10
787VMMQX88 787VMMQX88
| URI | m2://inv/787VMMQX88 |
|---|---|
| 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.22190#A3XG (statement). In AM6Y5W3HGG/e1, theorem 9
History
- 2026-10-27: add by m2/v0.4.0
7884EAGR4F 7884EAGR4F
| URI | m2://inv/7884EAGR4F |
|---|---|
| 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 2609.29759#RCO9 (definition)
History
- 2026-11-01: add by m2/v0.6.15
antecedent 78885JAZSG
| URI | m2://inv/78885JAZSG |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi index/1.2.2/antecedent, antecedent (concept). In Y91XFCEVHQ, index, section 1.2.2
History
- 2026-11-01: add by m2/v0.6.13
Life table 788954SE5R
| URI | m2://inv/788954SE5R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#13FR, Life table (definition)
History
- 2026-11-02: add by m2/dev
Lists of mathematicians 788BK27GDE
| URI | m2://inv/788BK27GDE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lists of mathematicians, Lists of mathematicians (topic). Also Wikidata Q66777993
History
- 2026-11-02: add by m2/dev
Lions operators are singular operators 788J7A68QD
| URI | m2://inv/788J7A68QD |
|---|---|
| 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.29712#KJYT, Lions operators are singular operators (statement)
History
- 2026-11-01: add by m2/v0.6.15
788KCC4MXC 788KCC4MXC
| URI | m2://inv/788KCC4MXC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2601.15403#GTGZ (statement). In BSWNH3NW1M/e1, theorem B
History
- 2026-10-27: add by m2/v0.3.5
788MCVZ4GF 788MCVZ4GF
| URI | m2://inv/788MCVZ4GF |
|---|---|
| Kind | example |
| 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 1911.06467#H37M (example). In G35G1NJKBX/e1, example A.2
History
- 2026-10-27: add by m2/v0.3.5
Ernst Snapper 788R93WVJM
| URI | m2://inv/788R93WVJM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ernst Snapper, Ernst Snapper (topic). Also Wikidata Q102123543
History
- 2026-11-02: add by m2/dev
789D0PVZKR 789D0PVZKR
| URI | m2://inv/789D0PVZKR |
|---|---|
| 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 2610.16875#LVKL (definition). In KS30K5JXGB/e1, definition 2.17
History
- 2026-10-28: add by m2/v0.4.2
789K7FZS2C 789K7FZS2C
| URI | m2://inv/789K7FZS2C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 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.22288#73KX (statement). In X38P26DK6S/e1, proposition 4.8
History
- 2026-10-27: add by m2/v0.4.0
789S2BZN8C 789S2BZN8C
| URI | m2://inv/789S2BZN8C |
|---|---|
| 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 2610.22074#VIU3 (definition). In F3BKXXPR3K/e1, definition 2.13
History
- 2026-10-27: add by m2/v0.4.2
Self-similarity matrix 78A0CZKR2W
| URI | m2://inv/78A0CZKR2W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Self-similarity matrix, Self-similarity matrix (definition). Also Wikidata Q7448217
History
- 2026-11-02: add by m2/dev
78A1J3P35K 78A1J3P35K
| URI | m2://inv/78A1J3P35K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33590#EXZ4 (statement). In WRE0P7V6Z3/e1, lemma 4
History
- 2026-10-30: add by m2/v0.4.12
fair cake-cutting problem 78A8W7930S
| URI | m2://inv/78A8W7930S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q18206991, fair cake-cutting problem (unknown). Also MathWorld CakeCutting
- wikipedia: Wikipedia Fair cake-cutting, Fair cake-cutting (definition). Also Wikidata Q18206991
History
- 2026-10-26: add by m2/dev
Takens's theorem 78AAQQFNMA
| URI | m2://inv/78AAQQFNMA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#FB17, Takens's theorem (statement)
History
- 2026-11-02: add by m2/dev
Weighted sample variance 78ADN0G22Q
| URI | m2://inv/78ADN0G22Q |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weighted arithmetic mean#BRBY, Weighted sample variance (unknown)
History
- 2026-11-02: add by m2/dev
78AHA098S4 78AHA098S4
| URI | m2://inv/78AHA098S4 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13972#EU4G (definition). In S1KHNS8XQM/e1, definition 4.1
History
- 2026-10-28: add by m2/v0.4.2
78AHQCTHMV 78AHQCTHMV
| URI | m2://inv/78AHQCTHMV |
|---|---|
| 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.38396#090I (statement). In FGNNVKQR1Z/e1, theorem 6.1
History
- 2026-10-30: add by m2/v0.4.12
78AM3YCF79 78AM3YCF79
| URI | m2://inv/78AM3YCF79 |
|---|---|
| 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.19260#5X79 (definition). In PWXT7J9JX3/e1, definition 1.1
History
- 2026-10-28: add by m2/v0.4.2
78ASDHVAFK 78ASDHVAFK
| URI | m2://inv/78ASDHVAFK |
|---|---|
| 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.24353#YBS2 (statement)
History
- 2026-11-01: add by m2/v0.6.15
root test for series 78AXFNMCSY
| URI | m2://inv/78AXFNMCSY |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs index/9.1.2/root-test-for-series, root test for series (concept). In E9HS8K3A52, index, section 9.1.2
History
- 2026-11-01: add by m2/v0.6.13
Moses Schönfinkel 78B9XQZD7Z
| URI | m2://inv/78B9XQZD7Z |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q45113, Moses Schönfinkel (unknown). Also nLab Moses Schönfinkel
- wikipedia: Wikipedia Moses Schönfinkel, Moses Schönfinkel (topic). Also Wikidata Q45113
History
- 2026-10-26: add by m2/dev
78BFPF0FC2 78BFPF0FC2
| URI | m2://inv/78BFPF0FC2 |
|---|---|
| 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.37794#PUW2 (statement). In ACFC6XHAMQ/e1, lemma 1
History
- 2026-10-30: add by m2/v0.4.12
78BHG53R4Q 78BHG53R4Q
| URI | m2://inv/78BHG53R4Q |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-225 (exercise). In VNMV985MXX, exercise, section 4.4
History
- 2026-11-01: add by m2/v0.6.13
78BHZY0ZRP 78BHZY0ZRP
| URI | m2://inv/78BHZY0ZRP |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/spec-examples.tex#problem-1 (exercise). In RZP28ERRZV, problem, section 26.19
History
- 2026-11-01: add by m2/v0.6.13
Proposition 78BV626V3Y
| URI | m2://inv/78BV626V3Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Infinite-dimensional vector function#V1UM, Proposition (statement)
History
- 2026-11-02: add by m2/dev
quantifier, universal 78C3X46V17
| URI | m2://inv/78C3X46V17 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/A.11/quantifier-universal, quantifier, universal (concept). In N54F33XE07, index, section A.11
History
- 2026-11-01: add by m2/v0.6.13
78C7GNV46E 78C7GNV46E
| URI | m2://inv/78C7GNV46E |
|---|---|
| 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.06707#D02Y (statement). In 9TR5E527P5/e1, theorem 1.14
History
- 2026-10-29: add by m2/v0.4.10
78CA3WAMHV 78CA3WAMHV
| URI | m2://inv/78CA3WAMHV |
|---|---|
| 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.08211#8UE8 (statement). In 1QRK9HXJWT/e1, proposition 1.2
History
- 2026-10-29: add by m2/v0.4.10
Convolution theorem 78CGC3DFQF
| URI | m2://inv/78CGC3DFQF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Convolution#4QNU, Convolution theorem (statement)
History
- 2026-11-02: add by m2/dev
Short division 78CK2B4F6D
| URI | m2://inv/78CK2B4F6D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Short division, Short division (definition). Also Wikidata Q105834438
History
- 2026-11-02: add by m2/dev
Photosensitive glass 78CMYXXE4K
| URI | m2://inv/78CMYXXE4K |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of steganography techniques#MTQ4, Photosensitive glass (unknown)
History
- 2026-11-02: add by m2/dev
Paul Seidel 78D0VF8WX3
| URI | m2://inv/78D0VF8WX3 |
|---|---|
| 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#DDHL, Paul Seidel (topic)
- wikipedia: Wikipedia List of German mathematicians#IC52, Paul Seidel (topic)
History
- 2026-11-02: add by m2/dev
Ramiro Rampinelli 78D0W3MTGG
| URI | m2://inv/78D0W3MTGG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ramiro Rampinelli, Ramiro Rampinelli (topic). Also Wikidata Q12955031
History
- 2026-11-02: add by m2/dev
Boundary identities 78DA3RVY4B
| URI | m2://inv/78DA3RVY4B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02531#51B8, Boundary identities (statement). In 44EQ0MZE8G/e1, lemma 9.2
History
- 2026-10-29: add by m2/v0.4.12
Domenico Vandelli 78DFW8Y4RE
| URI | m2://inv/78DFW8Y4RE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#Z5KJ, Domenico Vandelli (unknown)
History
- 2026-11-02: add by m2/dev
Veronica Czitrom 78DMMQQT75
| URI | m2://inv/78DMMQQT75 |
|---|---|
| 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#GSZH, Veronica Czitrom (unknown)
History
- 2026-11-02: add by m2/dev
Spotlight effect 78DQ2S6G5P
| URI | m2://inv/78DQ2S6G5P |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cognitive biases#M1BL, Spotlight effect (unknown)
History
- 2026-11-02: add by m2/dev
Construction 78E4TMWJXV
| URI | m2://inv/78E4TMWJXV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hessian polyhedron#1SN4, Construction (definition)
History
- 2026-11-02: add by m2/dev
Identity group En 78E8M2N8PV
| URI | m2://inv/78E8M2N8PV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cycle index#7SE9, Identity group En (statement)
History
- 2026-11-02: add by m2/dev
Cheng Dawei 78EDG6PVQ3
| URI | m2://inv/78EDG6PVQ3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Chinese mathematicians#E1OO, Cheng Dawei (unknown)
History
- 2026-11-02: add by m2/dev
direct limit 78EE9S23HB
| URI | m2://inv/78EE9S23HB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#9XPO, direct limit (definition)
History
- 2026-11-02: add by m2/dev
78EMD428TV 78EMD428TV
| URI | m2://inv/78EMD428TV |
|---|---|
| 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.29393#I9ET (statement)
History
- 2026-11-01: add by m2/v0.6.15
78ERV4MZTY 78ERV4MZTY
| URI | m2://inv/78ERV4MZTY |
|---|---|
| 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.06488#U977 (statement). In XG3BJ2QXXP/e1, theorem 3.1
History
- 2026-10-29: add by m2/v0.4.10
78EWH0JNES 78EWH0JNES
| URI | m2://inv/78EWH0JNES |
|---|---|
| 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.15088#MUPY (statement). In 2BRTT5ZFC6/e1, theorem 3.1
History
- 2026-10-28: add by m2/v0.4.2
Modélisation mathématique et analyse numérique 78EWVS712F
| URI | m2://inv/78EWVS712F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Modélisation mathématique et analyse numérique, Modélisation mathématique et analyse numérique (definition). Also Wikidata Q28456633
History
- 2026-11-02: add by m2/dev
Class existence axioms and axiom of regularity 78EXSN56YW
| URI | m2://inv/78EXSN56YW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Von Neumann–Bernays–Gödel set theory#RVCC, Class existence axioms and axiom of regularity (statement)
History
- 2026-11-02: add by m2/dev
Coxeter matrix 78FEK00M8K
| URI | m2://inv/78FEK00M8K |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q25495142, Coxeter matrix (unknown). Also MathWorld CoxeterMatrix
History
- 2026-10-26: add by m2/dev
78FH8MCAQ6 78FH8MCAQ6
| URI | m2://inv/78FH8MCAQ6 |
|---|---|
| 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.39455#715E (statement). In HW4Y4TMEZ3/e1, theorem 3.1
History
- 2026-10-30: add by m2/v0.4.12
Township 2, Washington County, Nebraska 78FHC9VDFR
| URI | m2://inv/78FHC9VDFR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#AAVM, Township 2, Washington County, Nebraska (unknown)
History
- 2026-11-02: add by m2/dev
Forward second moment bound 78FJVS0KV0
| URI | m2://inv/78FJVS0KV0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10640#F2NI, Forward second moment bound (statement). In BAQVK6N0RD/e1, lemma 5
History
- 2026-10-29: add by m2/v0.4.10
Tree search algorithm 78FP65M8R3
| URI | m2://inv/78FP65M8R3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithm general topics#61J3, Tree search algorithm (unknown)
History
- 2026-11-02: add by m2/dev
Application 78FRBX7DTH
| URI | m2://inv/78FRBX7DTH |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Birth–death process#A36K, Application (example)
History
- 2026-11-02: add by m2/dev
Charles P. Neill 78FRW61YS2
| URI | m2://inv/78FRW61YS2 |
|---|---|
| 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#YY8B, Charles P. Neill (unknown)
History
- 2026-11-02: add by m2/dev
Ozyorsk 78FWPKSY1X
| URI | m2://inv/78FWPKSY1X |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#TS4X, Ozyorsk (unknown)
History
- 2026-11-02: add by m2/dev
78FXWQT5AH 78FXWQT5AH
| URI | m2://inv/78FXWQT5AH |
|---|---|
| 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.36668#X6WS (statement). In RD729BY377/e1, lemma 1
History
- 2026-10-30: add by m2/v0.4.12
Divisibility by 3 Rule 78FY36YSRV
| URI | m2://inv/78FY36YSRV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_100: mathlib_100 85, Divisibility by 3 Rule (statement). Also Mathlib Nat.three_dvd_iff
History
- 2026-10-26: add by m2/dev
78GCB9ZM8V 78GCB9ZM8V
| URI | m2://inv/78GCB9ZM8V |
|---|---|
| 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.03288#AA72 (statement). In ZHP1MFSACN/e1, theorem 6.3
History
- 2026-10-29: add by m2/v0.4.12
(a,b,0) class of distributions 78GG1RGEGF
| URI | m2://inv/78GG1RGEGF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia (a,b,0) class of distributions, (a,b,0) class of distributions (definition). Also Wikidata Q1090859
History
- 2026-11-02: add by m2/dev
Example 78GQ0WBNSR
| URI | m2://inv/78GQ0WBNSR |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dimension theory (algebra)#06C3, Example (example)
History
- 2026-11-02: add by m2/dev
RSA-129 78GQKB9137
| URI | m2://inv/78GQKB9137 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia RSA numbers#H2V7, RSA-129 (unknown)
History
- 2026-11-02: add by m2/dev
Lissajous curve 78GZ4WVERG
| URI | m2://inv/78GZ4WVERG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#RUIQ, Lissajous curve (definition)
- wikipedia: Wikipedia List of curves#X73I, Lissajous curve (definition)
History
- 2026-11-02: add by m2/dev
quasinormal mode 78H1PDR7P7
| URI | m2://inv/78H1PDR7P7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q48937708, quasinormal mode (unknown). Also nLab quasinormal mode
- wikipedia: Wikipedia Quasinormal mode, Quasinormal mode (definition). Also Wikidata Q48937708
History
- 2026-10-26: add by m2/dev
78H5JDSFVQ 78H5JDSFVQ
| URI | m2://inv/78H5JDSFVQ |
|---|---|
| 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 2106.01660#LOSZ (statement). In DY520CF58X/e1, theorem 6
History
- 2026-10-27: add by m2/v0.3.5
Key transparency 78HA9GC6HT
| URI | m2://inv/78HA9GC6HT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Key transparency, Key transparency (definition). Also Wikidata Q126362454
History
- 2026-11-02: add by m2/dev
hyperbolic cosine 78HAHS7H02
| URI | m2://inv/78HAHS7H02 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | node (a node has the same name as the row) |
| Node | Hyperbolic cosine 036696EMG2 |
Mentions
- wikidata: Wikidata Q1253682, hyperbolic cosine (definition). Also MathWorld HyperbolicCosine, ProofWiki Definition:Hyperbolic_Cosine
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Directed grouped corner 78HFDE5N65
| URI | m2://inv/78HFDE5N65 |
|---|---|
| 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.37164#KU61, Directed grouped corner (statement). In B2PG75FSQJ/e1, proposition 6.8
History
- 2026-10-30: add by m2/v0.4.12
78HH37EX1E 78HH37EX1E
| URI | m2://inv/78HH37EX1E |
|---|---|
| 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#T7YU (statement). In GEYDNVZEP7/e1, lemma 5.3
History
- 2026-10-30: add by m2/v0.4.12
Even and odd functions 78HHDKA1N9
| URI | m2://inv/78HHDKA1N9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Even and odd functions, Even and odd functions (definition). Also Wikidata Q126592
History
- 2026-11-02: add by m2/dev
78HJ9XSEE9 78HJ9XSEE9
| URI | m2://inv/78HJ9XSEE9 |
|---|---|
| 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#TWMT (statement). In 6HKGGCMBCK/e1, theorem 1.9
History
- 2026-10-30: add by m2/v0.4.12
Use 78HN3MFJ7T
| URI | m2://inv/78HN3MFJ7T |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dodecagonal prism#4KCZ, Use (example)
History
- 2026-11-02: add by m2/dev
\coqident{MoreFoundations}{ClosureOfHrel}{refl_trans_clos}, \coqident{MoreFoundations}{ClosureOfHrel}{refl_trans_clos_hrel 78HNKXG8PR
| URI | m2://inv/78HNKXG8PR |
|---|---|
| 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 1904.09810#JWXL, \coqident{MoreFoundations}{ClosureOfHrel}{refl_trans_clos}, \coqident{MoreFoundations}{ClosureOfHrel}{refl_trans_clos_hrel (definition). In T1VFA7TXPA/e1, definition 35
History
- 2026-10-27: add by m2/v0.3.5
78HZ2TA4VV 78HZ2TA4VV
| URI | m2://inv/78HZ2TA4VV |
|---|---|
| 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.33313#V2CB (statement). In HRCEFY172P/e1, lemma 3.23
History
- 2026-10-30: add by m2/v0.4.12
78J6YGG0HE 78J6YGG0HE
| URI | m2://inv/78J6YGG0HE |
|---|---|
| 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#G0UD (statement). In CHVWYJM7RM/e1, proposition B.3
History
- 2026-10-29: add by m2/v0.4.10
Weak Hall 78JFF6QHVV
| URI | m2://inv/78JFF6QHVV |
|---|---|
| Kind | conjecture |
| 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.35252#K938, Weak Hall (conjecture). In RPFP34GH09/e1, conjecture 1.1
History
- 2026-10-30: add by m2/v0.4.12
Examples 78JPVXAWDH
| URI | m2://inv/78JPVXAWDH |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hypercyclic operator#2ZSY, Examples (example)
History
- 2026-11-02: add by m2/dev
Jiaxing Hong 78JS1Z4ZX9
| URI | m2://inv/78JS1Z4ZX9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#XGXD, Jiaxing Hong (unknown)
History
- 2026-11-02: add by m2/dev
Product diameter bound 78K7R3MNG9
| URI | m2://inv/78K7R3MNG9 |
|---|---|
| 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.02216#NC0B, Product diameter bound (statement). In 34JGRZ2M5F/e1, lemma 2.1
History
- 2026-10-29: add by m2/v0.4.12
Procedures 78KAJJ8XDV
| URI | m2://inv/78KAJJ8XDV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Symmetric fair cake-cutting#T9LS, Procedures (definition)
History
- 2026-11-02: add by m2/dev
Fréchet lattice 78KDAZ2697
| URI | m2://inv/78KDAZ2697 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fréchet lattice, Fréchet lattice (definition). Also Wikidata Q96378798
History
- 2026-11-02: add by m2/dev
78KMC9PDP7 78KMC9PDP7
| URI | m2://inv/78KMC9PDP7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22909#FQ0L (statement)
History
- 2026-11-02: add by m2/v0.6.17
Bell triangle 78KQ8WNSC4
| URI | m2://inv/78KQ8WNSC4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3998567, Bell triangle (unknown). Also MathWorld BellTriangle
- wikipedia: Wikipedia Bell triangle, Bell triangle (definition). Also Wikidata Q3998567
History
- 2026-10-26: add by m2/dev
78KQFNWBDV 78KQFNWBDV
| URI | m2://inv/78KQFNWBDV |
|---|---|
| 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 2310.02073#IW4P (statement). In 3PNCRG6J62/e1, corollary 4.2
History
- 2026-10-27: add by m2/v0.3.5
Kepler–Poinsot polyhedron 78KT3H7W40
| URI | m2://inv/78KT3H7W40 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Johannes Kepler#QR3T, Kepler–Poinsot polyhedron (definition)
History
- 2026-11-02: add by m2/dev
Interpretation of other formulas and sentences 78KYBEPGCC
| URI | m2://inv/78KYBEPGCC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Boolean-valued model#QNRQ, Interpretation of other formulas and sentences (statement)
History
- 2026-11-02: add by m2/dev
Hasse–Weil conjecture 78M1MPB415
| URI | m2://inv/78M1MPB415 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hasse–Weil zeta function#C28Y, Hasse–Weil conjecture (statement)
History
- 2026-11-02: add by m2/dev
78M7TDKHX5 78M7TDKHX5
| URI | m2://inv/78M7TDKHX5 |
|---|---|
| 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 2610.07451#6Q7A (definition). In P7KT88N75Q/e1, definition 1.8
History
- 2026-10-29: add by m2/v0.4.10
78M8ER1SRS 78M8ER1SRS
| URI | m2://inv/78M8ER1SRS |
|---|---|
| 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.02585#WL3L (statement). In V0KBBY82SY/e1, corollary 7.1
History
- 2026-10-29: add by m2/v0.4.12
Rank-one lifting 78MBFJ524J
| URI | m2://inv/78MBFJ524J |
|---|---|
| Kind | statement |
| 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#AANB, Rank-one lifting (statement). In 25B3WHEKH2/e1, lemma 5.4
History
- 2026-10-27: add by m2/v0.4.2
78MH4ZPZGW 78MH4ZPZGW
| URI | m2://inv/78MH4ZPZGW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1002.0879#118Y (statement). In M0SQY5EZN5/e1, theorem 2.7.12
History
- 2026-10-27: add by m2/v0.3.5
First Fundamental Theorem of Welfare Economics 78MHX7CFH4
| URI | m2://inv/78MHX7CFH4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia General equilibrium theory#SC2E, First Fundamental Theorem of Welfare Economics (statement)
History
- 2026-11-02: add by m2/dev
Regression fallacy 78MMKE7W46
| URI | m2://inv/78MMKE7W46 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fallacies#2M64, Regression fallacy (definition)
History
- 2026-11-02: add by m2/dev
78MRZXKXTM 78MRZXKXTM
| URI | m2://inv/78MRZXKXTM |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/linalg/fourier.tex#example-4 (example). In RZP28ERRZV, example, section 59.3.2
History
- 2026-11-01: add by m2/v0.6.13
Gram determinant 78MS3A9TK5
| URI | m2://inv/78MS3A9TK5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q78592019, Gram determinant (unknown). Also EoM Gram_determinant, MathWorld GramDeterminant
History
- 2026-10-26: add by m2/dev
Numerical resistivity 78MV11BYFH
| URI | m2://inv/78MV11BYFH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#A5YD, Numerical resistivity (definition)
History
- 2026-11-02: add by m2/dev
Layla Parast 78N5VV7NQP
| URI | m2://inv/78N5VV7NQP |
|---|---|
| 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#WHM3, Layla Parast (unknown)
History
- 2026-11-02: add by m2/dev
M\"obius sums in short intervals 78N5WPSF7V
| URI | m2://inv/78N5WPSF7V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09567#2HVJ, M\"obius sums in short intervals (statement). In 7RV6BDZAFK/e1, theorem 1.4
History
- 2026-10-29: add by m2/v0.4.10
Definition 78NDBP3W4W
| URI | m2://inv/78NDBP3W4W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spline wavelet#CSY6, Definition (definition)
History
- 2026-11-02: add by m2/dev
78NGEVZ7GH 78NGEVZ7GH
| URI | m2://inv/78NGEVZ7GH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0301148#HYXF (statement). In 5RE15848Z0/e1, proposition 2.2
History
- 2026-10-27: add by m2/v0.3.5
Direct similitudes 78NH9RRP9B
| URI | m2://inv/78NH9RRP9B |
|---|---|
| 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 2609.36237#6CCE, Direct similitudes (example). In JNBMSFE14N/e1, example 3.16
History
- 2026-10-30: add by m2/v0.4.12
78NK0APP3S 78NK0APP3S
| URI | m2://inv/78NK0APP3S |
|---|---|
| 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.10233#ZB0X (statement). In QR9WE79ERQ/e1, lemma 7.5
History
- 2026-10-29: add by m2/v0.4.10
Freedman–He–Wang conjecture 78NQC5XZYM
| URI | m2://inv/78NQC5XZYM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Möbius energy#8XOU, Freedman–He–Wang conjecture (statement)
History
- 2026-11-02: add by m2/dev
Ward form of the product rule 78NWWSJJ8A
| URI | m2://inv/78NWWSJJ8A |
|---|---|
| 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.20593#6W01, Ward form of the product rule (statement). In 7GMD8J4200/e1, proposition 8
History
- 2026-10-27: add by m2/v0.4.2
Formal definition 78NYKTVE2Q
| URI | m2://inv/78NYKTVE2Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Characteristic polynomial#ZUPV, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
Special cases 78P0K9C2CV
| URI | m2://inv/78P0K9C2CV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hippopede#Q0T6, Special cases (statement)
History
- 2026-11-02: add by m2/dev
Undeceptions 78P3FHWETF
| URI | m2://inv/78P3FHWETF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arthur Schopenhauer#E4YO, Undeceptions (unknown)
History
- 2026-11-02: add by m2/dev
Strong equivalence principle 78P3X8K6DG
| URI | m2://inv/78P3X8K6DG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Equivalence principle#3GZG, Strong equivalence principle (statement)
History
- 2026-11-02: add by m2/dev
78P6E766JX 78P6E766JX
| URI | m2://inv/78P6E766JX |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/linalg/dets.tex#problem-5 (exercise). In RZP28ERRZV, problem, section 56.3
History
- 2026-11-01: add by m2/v0.6.13
Local distribution 78P6P09H7S
| URI | m2://inv/78P6P09H7S |
|---|---|
| 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.02352#WIW8, Local distribution (statement). In EAMF68FANV/e1, theorem 3
History
- 2026-10-29: add by m2/v0.4.12
Multiplicity formula 78PBVESR2Y
| URI | m2://inv/78PBVESR2Y |
|---|---|
| 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.36827#2KX8, Multiplicity formula (statement). In VSHAQTB2CA/e1, theorem 3.2
History
- 2026-10-30: add by m2/v0.4.12
78PEW27C3M 78PEW27C3M
| URI | m2://inv/78PEW27C3M |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10930#TPNB (example). In HX63A1PH1W/e1, example 3.12
History
- 2026-10-28: add by m2/v0.4.3
Alfréd Rényi Institute of Mathematics 78PFAD414W
| URI | m2://inv/78PFAD414W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alfréd Rényi Institute of Mathematics, Alfréd Rényi Institute of Mathematics (definition). Also Wikidata Q4723914
History
- 2026-11-02: add by m2/dev
78PH1ACB4N 78PH1ACB4N
| URI | m2://inv/78PH1ACB4N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25168#CM4G (statement)
History
- 2026-11-01: add by m2/v0.6.15
78PHC9FQYS 78PHC9FQYS
| URI | m2://inv/78PHC9FQYS |
|---|---|
| Kind | definition |
| 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.01802#3J68 (definition). In XGPZ0G9E1Q/e1, definition 6.9
History
- 2026-10-29: add by m2/v0.4.12
78PKRP15KN 78PKRP15KN
| URI | m2://inv/78PKRP15KN |
|---|---|
| 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.06438#T5EG (statement). In Z633BH3HER/e1, corollary 3.5
History
- 2026-10-29: add by m2/v0.4.10
Pooled gradients and local solves 78PZXWHFES
| URI | m2://inv/78PZXWHFES |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12641#FWK2, Pooled gradients and local solves (statement). In X5BYGZZHPF/e1, theorem M.1
History
- 2026-10-28: add by m2/v0.4.2
Gauss–Markov process 78Q3S9K81B
| URI | m2://inv/78Q3S9K81B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#PSVM, Gauss–Markov process (definition)
- wikipedia: Wikipedia List of things named after Carl Friedrich Gauss#JFR1, Gauss–Markov process (definition)
- wikipedia: Wikipedia List of probability topics#LG9J, Gauss–Markov process (definition)
History
- 2026-11-02: add by m2/dev
Sigma-notation, definition of 78QF16PAP0
| URI | m2://inv/78QF16PAP0 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/3.3/sigma-notation-definition-of, Sigma-notation, definition of (concept). In QKM9DD2H56, index, section 3.3
History
- 2026-11-01: add by m2/v0.6.13
History of irrational numbers 78QM393HBB
| URI | m2://inv/78QM393HBB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Irrational number#BM8F, History of irrational numbers (unknown)
History
- 2026-11-02: add by m2/dev
78QR8J5WZW 78QR8J5WZW
| URI | m2://inv/78QR8J5WZW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/frame-definability/equivalence-S5.tex#prop-1 (statement). In PKGMM3P5QY, prop, section 52.6
History
- 2026-11-01: add by m2/v0.6.13
78QVD0A941 78QVD0A941
| URI | m2://inv/78QVD0A941 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20675#1GG4 (statement)
History
- 2026-11-02: add by m2/v0.6.18
polar 78R5T44M1X
| URI | m2://inv/78R5T44M1X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#RL3D, polar (definition)
History
- 2026-11-02: add by m2/dev
the use of artificial intelligence 78R7H0VG6W
| URI | m2://inv/78R7H0VG6W |
|---|---|
| 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 2609.20798#6HFS, the use of artificial intelligence (statement)
History
- 2026-11-02: add by m2/v0.6.18
78RHF5TWKD 78RHF5TWKD
| URI | m2://inv/78RHF5TWKD |
|---|---|
| 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.00525#2D2V (statement). In JN34PDDXH8/e1, theorem 3.1
History
- 2026-10-30: add by m2/v0.4.12
Half-disk topology 78RJ23Q4P0
| URI | m2://inv/78RJ23Q4P0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topologies#8RYI, Half-disk topology (definition)
- wikipedia: Wikipedia List of topologies#DIVU, Half-disk topology (definition)
History
- 2026-11-02: add by m2/dev
partition 78RJMG2H0S
| URI | m2://inv/78RJMG2H0S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#2QEH, partition (definition)
History
- 2026-11-02: add by m2/dev
Reconstruction of large cocircuits 78RTPVY379
| URI | m2://inv/78RTPVY379 |
|---|---|
| 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#ACMB, Reconstruction of large cocircuits (statement). In XDTM624YPE/e1, theorem 6.8
History
- 2026-10-27: add by m2/v0.4.2
Applications 78S0VVDCPJ
| URI | m2://inv/78S0VVDCPJ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Contourlet#470Y, Applications (example)
History
- 2026-11-02: add by m2/dev
More complicated $L(-)$ spaces 78S9PWVMW1
| URI | m2://inv/78S9PWVMW1 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/riemann-surface/riemann-roch.tex#example-2, More complicated $L(-)$ spaces (example). In RZP28ERRZV, example, section 87.1
History
- 2026-11-01: add by m2/v0.6.13
Notation 78SPP0BNDF
| URI | m2://inv/78SPP0BNDF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cantellation (geometry)#V565, Notation (definition)
History
- 2026-11-02: add by m2/dev
Gordan's lemma 78SSNP8PME
| URI | m2://inv/78SSNP8PME |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gordan's lemma, Gordan's lemma (statement). Also Wikidata Q25098650
History
- 2026-11-02: add by m2/dev
the cone model 78SX0JSCAN
| URI | m2://inv/78SX0JSCAN |
|---|---|
| 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 2609.32733#GQN9, the cone model (definition). In PCAS8S14J6/e1, definition 8.1
History
- 2026-10-31: add by m2/v0.5.6
78SZV7J9ZD 78SZV7J9ZD
| URI | m2://inv/78SZV7J9ZD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 35-XX, 47-XX, 58-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.26058#LOOW (statement)
History
- 2026-11-01: add by m2/v0.6.15
$(k,\delta)$-symmetry 78T2QQ4EV0
| URI | m2://inv/78T2QQ4EV0 |
|---|---|
| Kind | definition |
| 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.26592#KZ5E, $(k,\delta)$-symmetry (definition)
History
- 2026-11-01: add by m2/v0.6.15
Procedure 78T4PZ616C
| URI | m2://inv/78T4PZ616C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jonckheere's trend test#KNZ3, Procedure (definition)
History
- 2026-11-02: add by m2/dev
78T7HVPY5V 78T7HVPY5V
| URI | m2://inv/78T7HVPY5V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31476#G3WI (statement). In PC1CFE8CJC/e1, theorem 3.1
History
- 2026-10-31: add by m2/v0.5.6
Alexey Chervonenkis 78TRY02SWA
| URI | m2://inv/78TRY02SWA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alexey Chervonenkis, Alexey Chervonenkis (topic). Also Wikidata Q2450560
History
- 2026-11-02: add by m2/dev
Euclid of Alexandria 78TRY55W77
| URI | m2://inv/78TRY55W77 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/1/euclid-of-alexandria, Euclid of Alexandria (concept). In N54F33XE07, index, section 1
History
- 2026-11-01: add by m2/v0.6.13
78TSQ4KBS4 78TSQ4KBS4
| URI | m2://inv/78TSQ4KBS4 |
|---|---|
| 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.06463#ED9D (statement). In 3WWY9K1K9V/e1, proposition 8
History
- 2026-10-29: add by m2/v0.4.10
78TZ3FSCE6 78TZ3FSCE6
| URI | m2://inv/78TZ3FSCE6 |
|---|---|
| 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.12912#1UEJ (statement). In PDKBKKJ4BV/e1, theorem 6.4
History
- 2026-10-28: add by m2/v0.4.2
Tree array 78TZ539ZXX
| URI | m2://inv/78TZ539ZXX |
|---|---|
| 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 2211.04758#NVK2, Tree array (definition). In DRWDJG2G3S/e1, definition 3.7
History
- 2026-10-27: add by m2/v0.3.5
Gilbert Strang 78V1ZB3X7Q
| URI | m2://inv/78V1ZB3X7Q |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#SOFZ, Gilbert Strang (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#9AGR, Gilbert Strang (topic)
History
- 2026-11-02: add by m2/dev
Robert G. Bland 78V3TWJKPT
| URI | m2://inv/78V3TWJKPT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Robert G. Bland, Robert G. Bland (topic). Also Wikidata Q7344597
History
- 2026-11-02: add by m2/dev
78V4A8DZB4 78V4A8DZB4
| URI | m2://inv/78V4A8DZB4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2609.25762#ISV9 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Regularized covariance and empirical-centering stability 78V6BAHMMD
| URI | m2://inv/78V6BAHMMD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05388#M13B, Regularized covariance and empirical-centering stability (statement). In 4HJK1986EJ/e1, lemma C.7
History
- 2026-10-29: add by m2/v0.4.10
Bland–Altman plot 78V9RFTJ6Q
| URI | m2://inv/78V9RFTJ6Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#QCJC, Bland–Altman plot (definition)
History
- 2026-11-02: add by m2/dev
Holley inequality 78VB2GDGM1
| URI | m2://inv/78VB2GDGM1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of inequalities#NR5R, Holley inequality (statement)
History
- 2026-11-02: add by m2/dev
Kida 78VJZPTH5W
| URI | m2://inv/78VJZPTH5W |
|---|---|
| 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.12054#WJHH, Kida (statement). In 1A01NFHBGA/e1, proposition 3.11
History
- 2026-10-28: add by m2/v0.4.3
linearity of the integral 78VW8J2Q3M
| URI | m2://inv/78VW8J2Q3M |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/5.1.3/linearity-of-the-integral, linearity of the integral (concept). In E59CDZA4DP, index, section 5.1.3
History
- 2026-11-01: add by m2/v0.6.13
Ackermann function 78VY6Y6N34
| URI | m2://inv/78VY6Y6N34 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical functions#GSDB, Ackermann function (definition)
History
- 2026-11-02: add by m2/dev
78W0S0JQG1 78W0S0JQG1
| URI | m2://inv/78W0S0JQG1 |
|---|---|
| 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.39505#VC4U (statement). In WAXS6FS388/e1, corollary F
History
- 2026-10-30: add by m2/v0.4.12
78W0ZBTMKQ 78W0ZBTMKQ
| URI | m2://inv/78W0ZBTMKQ |
|---|---|
| Kind | definition |
| 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.13030#D0QY (definition). In 6NZ0YS5MJ7/e1, definition III.1
History
- 2026-10-28: add by m2/v0.4.2
Bussgang Theorem 78W2Q12Q8M
| URI | m2://inv/78W2Q12Q8M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Julian J. Bussgang#CCY8, Bussgang Theorem (statement)
History
- 2026-11-02: add by m2/dev
Boolean invariant 78W3BSX020
| URI | m2://inv/78W3BSX020 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of invariant theory#5S1Z, Boolean invariant (definition)
History
- 2026-11-02: add by m2/dev
Pablo Mira 78WB9QQ319
| URI | m2://inv/78WB9QQ319 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#HKV2, Pablo Mira (unknown)
History
- 2026-11-02: add by m2/dev
Joseph Mazur 78WDX5QXA4
| URI | m2://inv/78WDX5QXA4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Joseph Mazur, Joseph Mazur (topic). Also Wikidata Q10969592
History
- 2026-11-02: add by m2/dev
78WFC50CPC 78WFC50CPC
| URI | m2://inv/78WFC50CPC |
|---|---|
| Kind | example |
| 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.12353#OV66 (example). In 7TSXNR7TC5/e1, example V.1
History
- 2026-10-28: add by m2/v0.4.2
The TAP free limit for $\beta<1$ 78WHM226BN
| URI | m2://inv/78WHM226BN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30590#2FOC, The TAP free limit for $\beta<1$ (statement). In WYE2JVEZBT/e1, lemma A.2
History
- 2026-10-31: add by m2/v0.5.6
78WSAKJCNN 78WSAKJCNN
| URI | m2://inv/78WSAKJCNN |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1903.07030#RA0A (example). In 9H45HQE7AZ/e1, example 3.15
History
- 2026-10-27: add by m2/v0.3.5
78WXCPRHMV 78WXCPRHMV
| URI | m2://inv/78WXCPRHMV |
|---|---|
| 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.23871#PBQN (statement)
History
- 2026-11-02: add by m2/v0.6.17
78WXSNB98X 78WXSNB98X
| URI | m2://inv/78WXSNB98X |
|---|---|
| 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.02174#X3GE (statement). In 7JPHSV4NXW/e1, lemma 3.3
History
- 2026-10-29: add by m2/v0.4.12
Petz recovery map 78WYZ0Q69D
| URI | m2://inv/78WYZ0Q69D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Petz recovery map, Petz recovery map (definition). Also Wikidata Q127388536
History
- 2026-11-02: add by m2/dev
Formulation 78X0XQ8KA6
| URI | m2://inv/78X0XQ8KA6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Balanced flow#RYI0, Formulation (definition)
History
- 2026-11-02: add by m2/dev
Examples 78X5NY3N6T
| URI | m2://inv/78X5NY3N6T |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Montel space#2DUZ, Examples (example)
History
- 2026-11-02: add by m2/dev
Clawson point 78XYNHY9CQ
| URI | m2://inv/78XYNHY9CQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2834709, Clawson point (unknown). Also MathWorld ClawsonPoint
- wikipedia: Wikipedia Clawson point, Clawson point (definition). Also Wikidata Q2834709
History
- 2026-10-26: add by m2/dev
ZPL (complexity) 78Y2XS0MJY
| URI | m2://inv/78Y2XS0MJY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia NL (complexity)#R9B1, ZPL (complexity) (unknown)
History
- 2026-11-02: add by m2/dev
78Y7ACM09B 78Y7ACM09B
| URI | m2://inv/78Y7ACM09B |
|---|---|
| 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.18600#PP4E (statement). In 31D6TQVCNZ/e1, lemma 3.12
History
- 2026-10-28: add by m2/v0.4.2
Subexponentiality and Kesten bound for the return density 78YASTJGKT
| URI | m2://inv/78YASTJGKT |
|---|---|
| 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.27335#NKFC, Subexponentiality and Kesten bound for the return density (statement)
History
- 2026-11-01: add by m2/v0.6.15
Properties 78YBTAKCSX
| URI | m2://inv/78YBTAKCSX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Median#CIYX, Properties (statement)
History
- 2026-11-02: add by m2/dev
The fixed-field cone 78YC2E9TKW
| URI | m2://inv/78YC2E9TKW |
|---|---|
| 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.32680#UL51, The fixed-field cone (statement). In XVJGVCZA7V/e1, proposition 7.2
History
- 2026-10-31: add by m2/v0.5.6
Karl-Rudolf Koch 78YE3K4T3Y
| URI | m2://inv/78YE3K4T3Y |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#S2SF, Karl-Rudolf Koch (unknown)
History
- 2026-11-02: add by m2/dev
78YPGENM9Q 78YPGENM9Q
| URI | m2://inv/78YPGENM9Q |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-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.20678#280Y (definition)
History
- 2026-11-02: add by m2/v0.6.18
PCF 78YPVXT7MY
| URI | m2://inv/78YPVXT7MY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#BKU4, PCF (definition)
History
- 2026-11-02: add by m2/dev
Ian Goulden 78YRY21K5Q
| URI | m2://inv/78YRY21K5Q |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ian Goulden, Ian Goulden (topic). Also Wikidata Q102200133
History
- 2026-11-02: add by m2/dev
78Z3AY2FNR 78Z3AY2FNR
| URI | m2://inv/78Z3AY2FNR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33856#WFP2 (statement). In 47WN78VDDF/e1, corollary 5.10
History
- 2026-10-30: add by m2/v0.4.12
Cohomology of the $t$-line 78ZDXEW9EQ
| URI | m2://inv/78ZDXEW9EQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04099#3XPD, Cohomology of the $t$-line (statement). In QPJ6FWG5HD/e1, proposition 1.8
History
- 2026-10-29: add by m2/v0.4.12
Cevian 78ZWH0DRC2
| URI | m2://inv/78ZWH0DRC2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of triangle topics#TJO4, Cevian (definition)
History
- 2026-11-02: add by m2/dev
78ZYXBHN39 78ZYXBHN39
| URI | m2://inv/78ZYXBHN39 |
|---|---|
| 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.29449#UKK9 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Samuel Eilenberg 78ZZC0SYE7
| URI | m2://inv/78ZZC0SYE7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q535833, Samuel Eilenberg (unknown). Also nLab Samuel Eilenberg
- wikipedia: Wikipedia Samuel Eilenberg, Samuel Eilenberg (topic). Also Wikidata Q535833
History
- 2026-10-26: add by m2/dev