Inventory rows 79
The cards of the rows of the inventory whose ids start with 79. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
7902C2VRGX 7902C2VRGX
| URI | m2://inv/7902C2VRGX |
|---|---|
| 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.07644#QIIB (statement). In TFAN2DR6FD/e1, proposition 5
History
- 2026-10-27: add by m2/v0.3.5
Line and Plane 7903GG1BCG
| URI | m2://inv/7903GG1BCG |
|---|---|
| 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.10365#1ZRN, Line and Plane (definition). In PRVQPSBVHK/e1, definition 15
History
- 2026-10-29: add by m2/v0.4.10
7907RA3AV0 7907RA3AV0
| URI | m2://inv/7907RA3AV0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31858#ZIKR (statement). In QV16PHDXKJ/e1, lemma A.8
History
- 2026-10-31: add by m2/v0.5.6
7907XN5EJN 7907XN5EJN
| URI | m2://inv/7907XN5EJN |
|---|---|
| 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.15525#XI0R (statement). In EFDRME13PT/e1, lemma 6.9
History
- 2026-10-28: add by m2/v0.4.2
79097B8VD2 79097B8VD2
| URI | m2://inv/79097B8VD2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36377#IYKB (statement). In M98F6VRPZ2/e1, theorem 1.7
History
- 2026-10-30: add by m2/v0.4.12
pre-Lie algebra 790C6SVK46
| URI | m2://inv/790C6SVK46 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7239170, pre-Lie algebra (unknown). Also nLab pre-Lie algebra
- wikipedia: Wikipedia Pre-Lie algebra, Pre-Lie algebra (definition). Also Wikidata Q7239170
History
- 2026-10-26: add by m2/dev
790K0QQ4N1 790K0QQ4N1
| URI | m2://inv/790K0QQ4N1 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-higher-order-ode.tex#hol:eqfromsolex (exercise). In E9HS8K3A52, exercise, section 6.3.3
History
- 2026-11-01: add by m2/v0.6.13
circle bundle 790P3GH585
| URI | m2://inv/790P3GH585 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5121446, circle bundle (unknown). Also MathWorld CircleBundle, nLab circle bundle
- wikipedia: Wikipedia Circle bundle, Circle bundle (definition). Also Wikidata Q5121446
History
- 2026-10-26: add by m2/dev
Law of large numbers 790T1PHAK3
| URI | m2://inv/790T1PHAK3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#IRS7, Law of large numbers (statement)
History
- 2026-11-02: add by m2/dev
Arithmetic of the central exponents 7914F0TFE5
| URI | m2://inv/7914F0TFE5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20572#IVZD, Arithmetic of the central exponents (statement)
History
- 2026-11-02: add by m2/v0.6.18
Cheaper bounds from matching differences and duals 7915D9V2QQ
| URI | m2://inv/7915D9V2QQ |
|---|---|
| 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.10408#Q4CM, Cheaper bounds from matching differences and duals (statement). In H976NYKBNT/e1, lemma 23
History
- 2026-10-29: add by m2/v0.4.10
List of countries by wealth per adult 7916JN0C6F
| URI | m2://inv/7916JN0C6F |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of countries by wealth per adult, List of countries by wealth per adult (topic). Also Wikidata Q17107550
History
- 2026-11-02: add by m2/dev
mice 7916WEWG49
| URI | m2://inv/7916WEWG49 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#IBPI, mice (definition)
History
- 2026-11-02: add by m2/dev
LOTS 791JXB6GDS
| URI | m2://inv/791JXB6GDS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#31O1, LOTS (definition)
History
- 2026-11-02: add by m2/dev
791NT4C2C7 791NT4C2C7
| URI | m2://inv/791NT4C2C7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 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 2108.01302#WLJR (statement). In KTQS6YPA4E/e1, lemma 1.7
History
- 2026-10-27: add by m2/v0.3.5
791YDY2B5R 791YDY2B5R
| URI | m2://inv/791YDY2B5R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31278#AXAO (statement). In KEP21CZFV9/e1, lemma #1
History
- 2026-10-31: add by m2/v0.5.6
Panchbibi 7927VYY2EE
| URI | m2://inv/7927VYY2EE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#LEFH, Panchbibi (unknown)
History
- 2026-11-02: add by m2/dev
Audio 792BH16FZW
| URI | m2://inv/792BH16FZW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#5EY4, Audio (definition)
History
- 2026-11-02: add by m2/dev
KL Function 792K6XH1DB
| URI | m2://inv/792K6XH1DB |
|---|---|
| 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.37489#BRLD, KL Function (statement). In 5ZC91T5PHQ/e1, lemma
History
- 2026-10-30: add by m2/v0.4.12
792Q94PEFZ 792Q94PEFZ
| URI | m2://inv/792Q94PEFZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17116#XP0X (statement). In A02X6MX28Y/e1, proposition 4.4
History
- 2026-10-28: add by m2/v0.4.2
Geoff Webster 792TSX37SV
| URI | m2://inv/792TSX37SV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people arrested in the News International phone-hacking scandal#LTHN, Geoff Webster (unknown)
History
- 2026-11-02: add by m2/dev
792XHH16BP 792XHH16BP
| URI | m2://inv/792XHH16BP |
|---|---|
| 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#IZQV (statement). In 5350Q52F6P/e1, proposition 2.2
History
- 2026-10-28: add by m2/v0.4.2
792XTCTW2J 792XTCTW2J
| URI | m2://inv/792XTCTW2J |
|---|---|
| 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 2610.13229#UQZ2 (statement). In 4WN20N5Z57/e1, theorem 3.2
History
- 2026-10-28: add by m2/v0.4.2
Critical exponent of a word 792ZRMRHD5
| URI | m2://inv/792ZRMRHD5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Critical exponent of a word, Critical exponent of a word (definition). Also Wikidata Q5186712
History
- 2026-11-02: add by m2/dev
Applications 79304Q7H05
| URI | m2://inv/79304Q7H05 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mutual information#6HT1, Applications (example)
History
- 2026-11-02: add by m2/dev
7932QZXVPG 7932QZXVPG
| URI | m2://inv/7932QZXVPG |
|---|---|
| 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.10230#1MDQ (statement). In YS75517SF7/e1, corollary 3.10
History
- 2026-10-29: add by m2/v0.4.10
Combinatorial search 793BM8W2ZD
| URI | m2://inv/793BM8W2ZD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithm general topics#J3C1, Combinatorial search (unknown)
History
- 2026-11-02: add by m2/dev
793CYKRNZ2 793CYKRNZ2
| URI | m2://inv/793CYKRNZ2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24325#HFN5 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Properties 793FXDNN28
| URI | m2://inv/793FXDNN28 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Augmented triangular prism#H93K, Properties (statement)
History
- 2026-11-02: add by m2/dev
793P4JKFRC 793P4JKFRC
| URI | m2://inv/793P4JKFRC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01970#RJ1A (statement). In 1B400PB2NJ/e1, lemma 4.1
History
- 2026-10-29: add by m2/v0.4.12
Example 794GKG51RY
| URI | m2://inv/794GKG51RY |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Constraint (mathematics)#4CQI, Example (example)
History
- 2026-11-02: add by m2/dev
794RMFNPGF 794RMFNPGF
| URI | m2://inv/794RMFNPGF |
|---|---|
| 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.25016#TICE (statement)
History
- 2026-11-01: add by m2/v0.6.15
794ZBW13H8 794ZBW13H8
| URI | m2://inv/794ZBW13H8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 20-XX, 57-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09333#GDT5 (statement). In Z9HC1EDTQP/e1, theorem 1.4
History
- 2026-10-29: add by m2/v0.4.10
Ramond–Ramond field 795MHBMRB6
| URI | m2://inv/795MHBMRB6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5365385, Ramond–Ramond field (unknown). Also nLab RR field
History
- 2026-10-26: add by m2/dev
795QP1NA9K 795QP1NA9K
| URI | m2://inv/795QP1NA9K |
|---|---|
| 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.21475#BG5P (statement). In TTRSZVT4VX/e1, proposition 5.2
History
- 2026-10-27: add by m2/v0.4.2
795YJHMDNA 795YJHMDNA
| URI | m2://inv/795YJHMDNA |
|---|---|
| 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.24043#W4M8 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Albert Châtelet 7960YFV27A
| URI | m2://inv/7960YFV27A |
|---|---|
| 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#C8MF, Albert Châtelet (unknown)
History
- 2026-11-02: add by m2/dev
79621KM2C3 79621KM2C3
| URI | m2://inv/79621KM2C3 |
|---|---|
| Kind | definition |
| 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.06872#BYRM (definition). In J4H3A11MMX/e1, definition 2.1
History
- 2026-10-29: add by m2/v0.4.10
79679AVH74 79679AVH74
| URI | m2://inv/79679AVH74 |
|---|---|
| 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.23395#QPY0 (definition)
History
- 2026-11-02: add by m2/v0.6.17
796AF2HWTZ 796AF2HWTZ
| URI | m2://inv/796AF2HWTZ |
|---|---|
| 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 2609.27518#OE7P (statement)
History
- 2026-11-01: add by m2/v0.6.15
Gottfried Wilhelm Leibniz 796AW5JZ81
| URI | m2://inv/796AW5JZ81 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#KPRZ, Gottfried Wilhelm Leibniz (topic)
History
- 2026-11-02: add by m2/dev
pairing function 796DDMKXNK
| URI | m2://inv/796DDMKXNK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#S1IJ, pairing function (definition)
History
- 2026-11-02: add by m2/dev
Statement of the theorem 796J5KDV0S
| URI | m2://inv/796J5KDV0S |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ionescu-Tulcea theorem#QNQO, Statement of the theorem (statement)
History
- 2026-11-02: add by m2/dev
Properties 796KSZKZCT
| URI | m2://inv/796KSZKZCT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Refactorable number#B80T, Properties (statement)
History
- 2026-11-02: add by m2/dev
Definition 796MK4S58P
| URI | m2://inv/796MK4S58P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List coloring#NPQO, Definition (definition)
History
- 2026-11-02: add by m2/dev
796W7ZCDDN 796W7ZCDDN
| URI | m2://inv/796W7ZCDDN |
|---|---|
| Kind | statement |
| 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.06300#P3BU (statement). In 751KSRS7WT/e1, theorem 2.1
History
- 2026-10-29: add by m2/v0.4.10
Corollary 796WED92PQ
| URI | m2://inv/796WED92PQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Manin matrix#8UMO, Corollary (statement)
History
- 2026-11-02: add by m2/dev
7970GCSGDH 7970GCSGDH
| URI | m2://inv/7970GCSGDH |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1002.0879#PLRT (example). In M0SQY5EZN5/e1, example 2.3.5
History
- 2026-10-27: add by m2/v0.3.5
79735EQH3T 79735EQH3T
| URI | m2://inv/79735EQH3T |
|---|---|
| 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.21017#N81E (statement). In 8KKYZ4NKT2/e1, lemma 32
History
- 2026-10-27: add by m2/v0.4.2
matrix-tree theorem 7973YJWMMK
| URI | m2://inv/7973YJWMMK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18803#C506, matrix-tree theorem (statement). In VG8AF124T3/e1, lemma 6.9
History
- 2026-10-28: add by m2/v0.4.2
7976KPPHEY 7976KPPHEY
| URI | m2://inv/7976KPPHEY |
|---|---|
| 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.29152#QNQ8 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Twofish 7976SETVNS
| URI | m2://inv/7976SETVNS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cryptosystems#Y0QH, Twofish (definition)
History
- 2026-11-02: add by m2/dev
797740TVMK 797740TVMK
| URI | m2://inv/797740TVMK |
|---|---|
| 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.10221#0L2U (statement). In 9Z5M655EPV/e1, theorem 3.1
History
- 2026-10-29: add by m2/v0.4.10
Examples 797JA7AMEA
| URI | m2://inv/797JA7AMEA |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spherical lune#SCBR, Examples (example)
History
- 2026-11-02: add by m2/dev
Construction 797RXHP315
| URI | m2://inv/797RXHP315 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Twin circles#GGLE, Construction (definition)
History
- 2026-11-02: add by m2/dev
797T2M455J 797T2M455J
| URI | m2://inv/797T2M455J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 18-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 2406.13841#TFL0 (statement). In AB2EMMXC7X/e1, proposition 4.6
History
- 2026-10-27: add by m2/v0.3.5
Graph removal lemma 797W50ZY0R
| URI | m2://inv/797W50ZY0R |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graph removal lemma, Graph removal lemma (statement). Also Wikidata Q62931187
History
- 2026-11-02: add by m2/dev
Greg Ginn 7982M6N73G
| URI | m2://inv/7982M6N73G |
|---|---|
| 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#4MK6, Greg Ginn (unknown)
History
- 2026-11-02: add by m2/dev
Signpost sequence 7983N1C462
| URI | m2://inv/7983N1C462 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Signpost sequence, Signpost sequence (definition). Also Wikidata Q124427821
History
- 2026-11-02: add by m2/dev
Completely normal basis theorem 79844638KJ
| URI | m2://inv/79844638KJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22247#PPFZ, Completely normal basis theorem (statement). In SBNH1MWND8/e1, theorem 2
History
- 2026-10-27: add by m2/v0.4.0
798BHBFHGG 798BHBFHGG
| URI | m2://inv/798BHBFHGG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21181#8VXG (statement). In 3D0GJXDY11/e1, lemma 3.1
History
- 2026-10-27: add by m2/v0.4.2
798F2ZAKMQ 798F2ZAKMQ
| URI | m2://inv/798F2ZAKMQ |
|---|---|
| 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.17897#UO2U (statement). In G116A4SMS4/e1, lemma 6
History
- 2026-10-28: add by m2/v0.4.2
Great complex icosidodecahedron 798TGKK5RE
| URI | m2://inv/798TGKK5RE |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#Q305, Great complex icosidodecahedron (object)
History
- 2026-11-02: add by m2/dev
798XJSKPMR 798XJSKPMR
| URI | m2://inv/798XJSKPMR |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39317#8IV8 (example). In QM1T8JDK4A/e1, example 2.10
History
- 2026-10-30: add by m2/v0.4.12
Millennium Problems 799562P4S0
| URI | m2://inv/799562P4S0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q727000, Millennium Problems (definition). Also ProofWiki Definition:Millennium_Problems
- wikipedia: Wikipedia Millennium Prize Problems, Millennium Prize Problems (conjecture). Also Wikidata Q727000
History
- 2026-10-26: add by m2/dev
7999WHCSFN 7999WHCSFN
| URI | m2://inv/7999WHCSFN |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/set-theory/CH.tex#exercise-1 (exercise). In RZP28ERRZV, exercise, section 88.1
History
- 2026-11-01: add by m2/v0.6.13
Applications 799B0XZKKP
| URI | m2://inv/799B0XZKKP |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Latin square#RNB6, Applications (example)
History
- 2026-11-02: add by m2/dev
799F3AHF9M 799F3AHF9M
| URI | m2://inv/799F3AHF9M |
|---|---|
| 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 2012.05048#B45Y (statement). In NY9HW1E6DY/e1, lemma 2.4
History
- 2026-10-27: add by m2/v0.3.5
Examples 799M483JPE
| URI | m2://inv/799M483JPE |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linearly ordered group#IHLV, Examples (example)
History
- 2026-11-02: add by m2/dev
Variations 799MDEBGDV
| URI | m2://inv/799MDEBGDV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Iterated filtering#0E39, Variations (statement)
History
- 2026-11-02: add by m2/dev
Poisson regression 799P5QTB8G
| URI | m2://inv/799P5QTB8G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of analyses of categorical data#EHIH, Poisson regression (definition)
- wikipedia: Wikipedia List of statistics articles#NQZU, Poisson regression (definition)
History
- 2026-11-02: add by m2/dev
799QT0526K 799QT0526K
| URI | m2://inv/799QT0526K |
|---|---|
| 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.25854#3JNA (statement)
History
- 2026-11-01: add by m2/v0.6.15
Sylvia Serfaty 799SMY8VAR
| URI | m2://inv/799SMY8VAR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sylvia Serfaty, Sylvia Serfaty (topic). Also Wikidata Q519885
History
- 2026-11-02: add by m2/dev
Theorem (van der Waerden, 1927) 799V158J3D
| URI | m2://inv/799V158J3D |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Van der Waerden's theorem#ON7V, Theorem (van der Waerden, 1927) (statement)
History
- 2026-11-02: add by m2/dev
Propositions $7$--$11$ 79A8XRA2WB
| URI | m2://inv/79A8XRA2WB |
|---|---|
| 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.25656#25C3, Propositions $7$--$11$ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Reuleaux polygon 79A8XYK1TQ
| URI | m2://inv/79A8XYK1TQ |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of two-dimensional geometric shapes#XMX3, Reuleaux polygon (object)
History
- 2026-11-02: add by m2/dev
Theorem: D(EQ) = n 79ANCTHF4M
| URI | m2://inv/79ANCTHF4M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Communication complexity#JG07, Theorem: D(EQ) = n (statement)
History
- 2026-11-02: add by m2/dev
79APC5Y78E 79APC5Y78E
| URI | m2://inv/79APC5Y78E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/lambda-calculus/lambda-definability/truth-values.tex#defn-1 (definition). In PKGMM3P5QY, defn, section 38.7
History
- 2026-11-01: add by m2/v0.6.13
Ruffini's rule 79AX7SKXAS
| URI | m2://inv/79AX7SKXAS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2704282, Ruffini's rule (unknown). Also MathWorld RuffinisRule
- wikipedia: Wikipedia Ruffini's rule, Ruffini's rule (definition). Also Wikidata Q2704282
History
- 2026-10-26: add by m2/dev
79BT2N253H 79BT2N253H
| URI | m2://inv/79BT2N253H |
|---|---|
| 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.31907#B6T9 (statement). In 6B2PCEGCYZ/e1, theorem 4.2
History
- 2026-10-31: add by m2/v0.5.6
Wanda Szmielew 79BTMG1ZW6
| URI | m2://inv/79BTMG1ZW6 |
|---|---|
| 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 Q1606268, Wanda Szmielew (unknown). Also nLab Wanda Szmielew
- wikipedia: Wikipedia Wanda Szmielew, Wanda Szmielew (topic). Also Wikidata Q1606268
History
- 2026-10-26: add by m2/dev
Luigi Luiggi 79BVW36WXS
| URI | m2://inv/79BVW36WXS |
|---|---|
| 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#PAW0, Luigi Luiggi (unknown)
History
- 2026-11-02: add by m2/dev
Ferrers-cell \(q\)-Zeta formula 79BWC8A22X
| URI | m2://inv/79BWC8A22X |
|---|---|
| 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.24541#36O3, Ferrers-cell \(q\)-Zeta formula (statement)
History
- 2026-11-01: add by m2/v0.6.15
weakly interacting massive particle 79BX2593KH
| URI | m2://inv/79BX2593KH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1129252, weakly interacting massive particle (unknown). Also nLab weakly interacting massive particle
History
- 2026-10-26: add by m2/dev
Properties 79BYCDT1YX
| URI | m2://inv/79BYCDT1YX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Innovation method#JQDR, Properties (statement)
History
- 2026-11-02: add by m2/dev
Dziobek 79BZJ64DBY
| URI | m2://inv/79BZJ64DBY |
|---|---|
| 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.35632#WT9C, Dziobek (statement). In Q74G3BVZAQ/e1, lemma 2.6
History
- 2026-10-27: add by m2/v0.3.5
Complementary bases at a midpoint 79C1HS88GV
| URI | m2://inv/79C1HS88GV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38228#Z4A1, Complementary bases at a midpoint (statement). In 9YAE8FNQST/e1, lemma 5.8
History
- 2026-10-30: add by m2/v0.4.12
79CTGH2WH2 79CTGH2WH2
| URI | m2://inv/79CTGH2WH2 |
|---|---|
| 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.07927#23Y8 (statement). In GKM19DHQTM/e1, lemma 6.28
History
- 2026-10-29: add by m2/v0.4.10
Semiregular polytope 79CWQ6BW54
| URI | m2://inv/79CWQ6BW54 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Semiregular polytope, Semiregular polytope (object). Also Wikidata Q3895007
History
- 2026-11-02: add by m2/dev
Zhang Qiujian Suanjing 79D2PT1RTQ
| URI | m2://inv/79D2PT1RTQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a book, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q56239720, Zhang Qiujian Suanjing (unknown). Also ProofWiki Book:Zhang_Qiujian/Zhang_Qiujian_Suanjing
- wikipedia: Wikipedia Zhang Qiujian Suanjing, Zhang Qiujian Suanjing (topic). Also Wikidata Q56239720
History
- 2026-10-26: add by m2/dev
Tree consequence of ASH 79D3T7CYXZ
| URI | m2://inv/79D3T7CYXZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09650#7Q61, Tree consequence of ASH (statement). In 628KM8869P/e1, theorem 5.4
History
- 2026-10-29: add by m2/v0.4.10
differentiable, $n$ times 79D9H0ADSF
| URI | m2://inv/79D9H0ADSF |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/3.3.1/differentiable-n-times, differentiable, $n$ times (concept). In E59CDZA4DP, index, section 3.3.1
History
- 2026-11-01: add by m2/v0.6.13
79D9M7A78B 79D9M7A78B
| URI | m2://inv/79D9M7A78B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-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 2610.11545#BN4R (statement). In VN084GGZGK/e1, lemma 2.11
History
- 2026-10-28: add by m2/v0.4.3
79DEVZQVHY 79DEVZQVHY
| URI | m2://inv/79DEVZQVHY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23559#68SP (statement)
History
- 2026-11-02: add by m2/v0.6.17
79DVW9ZBEC 79DVW9ZBEC
| URI | m2://inv/79DVW9ZBEC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 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.35102#JUL4 (statement). In XK6H7F2F13/e1, theorem 1.1
History
- 2026-10-30: add by m2/v0.4.12
79DX1KNQEZ 79DX1KNQEZ
| URI | m2://inv/79DX1KNQEZ |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 35-XX, 37-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.29188#I9RZ (conjecture)
History
- 2026-11-01: add by m2/v0.6.15
Strengthened Grunsky inequality 79E7T9NC65
| URI | m2://inv/79E7T9NC65 |
|---|---|
| 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#9IZ6, Strengthened Grunsky inequality (statement)
History
- 2026-11-02: add by m2/v0.6.18
Basel problem 79E9PFC75Z
| URI | m2://inv/79E9PFC75Z |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical proofs#YZSO, Basel problem (problem)
- wikipedia: Wikipedia List of topics related to π#U97F, Basel problem (problem)
History
- 2026-11-02: add by m2/dev
Formulation 79EFS0TDED
| URI | m2://inv/79EFS0TDED |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Powell's dog leg method#H06E, Formulation (definition)
History
- 2026-11-02: add by m2/dev
Quadratic formula and its derivation 79EPXMMPJ4
| URI | m2://inv/79EPXMMPJ4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quadratic equation#9638, Quadratic formula and its derivation (statement)
History
- 2026-11-02: add by m2/dev
Crypt 79ESYSZVG3
| URI | m2://inv/79ESYSZVG3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Crypt (C), Crypt (definition). Also Wikidata Q15995009
History
- 2026-11-02: add by m2/dev
Ramified substitution and evaluation 79ETXEVE8N
| URI | m2://inv/79ETXEVE8N |
|---|---|
| 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.14044#MI1L, Ramified substitution and evaluation (statement). In 5452SJRWDT/e1, lemma 4.3
History
- 2026-10-28: add by m2/v0.4.2
Rafail Ostrovsky 79F0RSNH6S
| URI | m2://inv/79F0RSNH6S |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cryptographers#7SD7, Rafail Ostrovsky (unknown)
History
- 2026-11-02: add by m2/dev
Pal Revesz 79F6G3QJZ1
| URI | m2://inv/79F6G3QJZ1 |
|---|---|
| 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#NUM5, Pal Revesz (topic)
History
- 2026-11-02: add by m2/dev
The results 79FGF92X2F
| URI | m2://inv/79FGF92X2F |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eigenvalue perturbation#GFV4, The results (statement)
History
- 2026-11-02: add by m2/dev
Jerome Cornfield 79FGFE7XG3
| URI | m2://inv/79FGFE7XG3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#XCQA, Jerome Cornfield (unknown)
- wikipedia: Wikipedia List of fellows of the American Statistical Association#OXME, Jerome Cornfield (unknown)
History
- 2026-11-02: add by m2/dev
Examples 79FGJR4C42
| URI | m2://inv/79FGJR4C42 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dispersionless equation#SLJU, Examples (example)
History
- 2026-11-02: add by m2/dev
545 (number) 79FGZXMD09
| URI | m2://inv/79FGZXMD09 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 500 (number)#NKNQ, 545 (number) (unknown)
History
- 2026-11-02: add by m2/dev
Lucien Szpiro 79FM4R09XK
| URI | m2://inv/79FM4R09XK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#SNOJ, Lucien Szpiro (topic)
History
- 2026-11-02: add by m2/dev
Uses 79FZEXBWHY
| URI | m2://inv/79FZEXBWHY |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Self-signed certificate#BQ35, Uses (example)
History
- 2026-11-02: add by m2/dev
Examples 79G9M7NVZA
| URI | m2://inv/79G9M7NVZA |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Partition problem#WV97, Examples (example)
History
- 2026-11-02: add by m2/dev
79GBFDM58M 79GBFDM58M
| URI | m2://inv/79GBFDM58M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 62-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2409.03461#5ZZE (statement). In XJVZSGCX5V/e1, corollary 4
History
- 2026-10-27: add by m2/v0.3.5
Rules with at most one premise 79GDT1R4TV
| URI | m2://inv/79GDT1R4TV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33469#OMLM, Rules with at most one premise (statement). In TC5QA4AB4Z/e1, theorem 4.35
History
- 2026-10-30: add by m2/v0.4.12
Example 79GGH7ZATG
| URI | m2://inv/79GGH7ZATG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Subalgebra#IOYL, Example (example)
History
- 2026-11-02: add by m2/dev
Examples 79GJR7BFA5
| URI | m2://inv/79GJR7BFA5 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Unary operation#X7CQ, Examples (example)
History
- 2026-11-02: add by m2/dev
79GQJ43B4F 79GQJ43B4F
| URI | m2://inv/79GQJ43B4F |
|---|---|
| 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.11834#G08D (statement). In SMC03CWP4R/e1, lemma 1
History
- 2026-10-28: add by m2/v0.4.3
79GSANAZXR 79GSANAZXR
| URI | m2://inv/79GSANAZXR |
|---|---|
| Kind | definition |
| 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.28203#K3U5 (definition)
History
- 2026-11-01: add by m2/v0.6.15
Orthogonal decomposition 79H1T411ED
| URI | m2://inv/79H1T411ED |
|---|---|
| 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.01731#Z1PL, Orthogonal decomposition (statement). In 3TJ2FWXQ0D/e1, lemma 4.3
History
- 2026-10-29: add by m2/v0.4.12
Generalization 79H2EKYJH3
| URI | m2://inv/79H2EKYJH3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Proper map#R00O, Generalization (statement)
History
- 2026-11-02: add by m2/dev
79HDJ52JR8 79HDJ52JR8
| URI | m2://inv/79HDJ52JR8 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-multivar-int.tex#proof-14 (proof). In E59CDZA4DP, proof, section 5.3.3
History
- 2026-11-01: add by m2/v0.6.13
79HQNTEXDQ 79HQNTEXDQ
| URI | m2://inv/79HQNTEXDQ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25111#U6P7 (definition)
History
- 2026-11-01: add by m2/v0.6.15
79HQXYRGBZ 79HQXYRGBZ
| URI | m2://inv/79HQXYRGBZ |
|---|---|
| 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 1011.4141#X7EP (statement). In YQ4JYF18NH/e1, theorem 1.2
History
- 2026-10-27: add by m2/v0.3.5
79HT6QRP9G 79HT6QRP9G
| URI | m2://inv/79HT6QRP9G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40191#VTOH (statement). In F0D8VSM4Z4/e1, lemma 6.2
History
- 2026-10-30: add by m2/v0.4.12
Homotopy 79HT7DD01N
| URI | m2://inv/79HT7DD01N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic topology topics#S2IH, Homotopy (definition)
- wikipedia: Wikipedia List of general topology topics#K733, Homotopy (definition)
History
- 2026-11-02: add by m2/dev
Günter M. Ziegler 79J3A47DDM
| URI | m2://inv/79J3A47DDM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Günter M. Ziegler, Günter M. Ziegler (topic). Also Wikidata Q72382
History
- 2026-11-02: add by m2/dev
ADAM Software 79JESC5DKS
| URI | m2://inv/79JESC5DKS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Teradata#VMKD, ADAM Software (unknown)
History
- 2026-11-02: add by m2/dev
79JEYXNJJT 79JEYXNJJT
| URI | m2://inv/79JEYXNJJT |
|---|---|
| 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.01946#E4A1 (statement). In NB1Z31FMXN/e1, lemma 3.10
History
- 2026-10-29: add by m2/v0.4.12
Heterogeneous polyhedral recovery 79JH4EWPVQ
| URI | m2://inv/79JH4EWPVQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20215#3XQH, Heterogeneous polyhedral recovery (statement)
History
- 2026-11-02: add by m2/v0.6.18
79JNNSAAN2 79JNNSAAN2
| URI | m2://inv/79JNNSAAN2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05986#4P78 (statement). In N5ZM8MXJXH/e1, lemma B.7
History
- 2026-10-29: add by m2/v0.4.10
Applications 79JX3CYFQT
| URI | m2://inv/79JX3CYFQT |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jurimetrics#C3YK, Applications (example)
History
- 2026-11-02: add by m2/dev
Jan de Leeuw 79K2XG2KPH
| URI | m2://inv/79K2XG2KPH |
|---|---|
| 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#63OS, Jan de Leeuw (topic)
History
- 2026-11-02: add by m2/dev
Intersection graph 79K6AKKBAF
| URI | m2://inv/79K6AKKBAF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Intersection graph, Intersection graph (definition). Also Wikidata Q3498041
History
- 2026-11-02: add by m2/dev
79K6MRV2CA 79K6MRV2CA
| URI | m2://inv/79K6MRV2CA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21034#3EDV (statement)
History
- 2026-11-02: add by m2/v0.6.18
79K8F7WMH5 79K8F7WMH5
| URI | m2://inv/79K8F7WMH5 |
|---|---|
| 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.06755#1TQI (statement). In DKEX05SEXS/e1, theorem 1.2
History
- 2026-10-29: add by m2/v0.4.10
79K9GB6GN6 79K9GB6GN6
| URI | m2://inv/79K9GB6GN6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21972#9I6W (statement)
History
- 2026-11-02: add by m2/v0.6.17
Potential vorticity 79KEM1KSVK
| URI | m2://inv/79KEM1KSVK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Potential vorticity, Potential vorticity (definition). Also Wikidata Q1418563
History
- 2026-11-02: add by m2/dev
79KJTP4CCS 79KJTP4CCS
| URI | m2://inv/79KJTP4CCS |
|---|---|
| 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 2010.14428#FN1K (statement). In VTTVY2ZRAN/e1, lemma 3
History
- 2026-10-27: add by m2/v0.3.5
Identification 79KX3DDV6H
| URI | m2://inv/79KX3DDV6H |
|---|---|
| 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.18335#5ZYN, Identification (statement). In XKN1C8Y9SD/e1, theorem 1
History
- 2026-10-28: add by m2/v0.4.2
79MM9F2KMB 79MM9F2KMB
| URI | m2://inv/79MM9F2KMB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/proof-theory/sequent-calculus/admissible-derivable.tex#prop:weak-G3c-adm (statement). In PKGMM3P5QY, prop, section 61.6
History
- 2026-11-01: add by m2/v0.6.13
Differential poset 79MN43FHCS
| URI | m2://inv/79MN43FHCS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Differential poset, Differential poset (definition). Also Wikidata Q3195796
History
- 2026-11-02: add by m2/dev
79MVEPE0R6 79MVEPE0R6
| URI | m2://inv/79MVEPE0R6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24593#JH2F (statement)
History
- 2026-11-01: add by m2/v0.6.15
Bollob\'{a}s, Erd\H{o}s and Szemer\'{e}di 79N3SBZJ8W
| URI | m2://inv/79N3SBZJ8W |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20590#HT24, Bollob\'{a}s, Erd\H{o}s and Szemer\'{e}di (conjecture)
History
- 2026-11-02: add by m2/v0.6.18
79N8E4NPP8 79N8E4NPP8
| URI | m2://inv/79N8E4NPP8 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_strings_bin-coeff.ptx#example-1 (example). In QKM9DD2H56, example, section 2.5
History
- 2026-11-01: add by m2/v0.6.13
Gianfranco Cimmino 79NAYTRSMA
| URI | m2://inv/79NAYTRSMA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gianfranco Cimmino, Gianfranco Cimmino (topic). Also Wikidata Q13564225
History
- 2026-11-02: add by m2/dev
Definition 79NCVEG7VE
| URI | m2://inv/79NCVEG7VE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Long line (topology)#F7NC, Definition (definition)
History
- 2026-11-02: add by m2/dev
Morris William Hirsch 79NE4Q01WQ
| URI | m2://inv/79NE4Q01WQ |
|---|---|
| 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#ULDB, Morris William Hirsch (topic)
History
- 2026-11-02: add by m2/dev
Helly space 79NG5247YP
| URI | m2://inv/79NG5247YP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Helly space, Helly space (definition). Also Wikidata Q5709145
History
- 2026-11-02: add by m2/dev
sufficiently large, suitably small, sufficiently close 79P2Q6TZN6
| URI | m2://inv/79P2Q6TZN6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of mathematical jargon#FN6U, sufficiently large, suitably small, sufficiently close (definition)
History
- 2026-11-02: add by m2/dev
79P5H51KHQ 79P5H51KHQ
| URI | m2://inv/79P5H51KHQ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40054#TB6R (definition). In CA4C9PFM1E/e1, definition 1.1.1
History
- 2026-10-30: add by m2/v0.4.12
79PA80D0J3 79PA80D0J3
| URI | m2://inv/79PA80D0J3 |
|---|---|
| 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 2207.11097#SV3H (definition). In 13H5BTAXHF/e1, definition 21
History
- 2026-10-27: add by m2/v0.3.5
79PDQZCFXZ 79PDQZCFXZ
| URI | m2://inv/79PDQZCFXZ |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09596#XZ26 (problem). In HXFA55BREZ/e1, problem 1.21
History
- 2026-10-29: add by m2/v0.4.10
Policy iteration 79PMN1EQXE
| URI | m2://inv/79PMN1EQXE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Markov decision process#2R56, Policy iteration (unknown)
History
- 2026-11-02: add by m2/dev
Ginzburg–Landau theory 79PTTNZWNJ
| URI | m2://inv/79PTTNZWNJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ginzburg–Landau theory, Ginzburg–Landau theory (definition). Also Wikidata Q900905
History
- 2026-11-02: add by m2/dev
Prime number theorem for arithmetic progressions 79PYY72KE7
| URI | m2://inv/79PYY72KE7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Prime number theorem#IC95, Prime number theorem for arithmetic progressions (statement)
History
- 2026-11-02: add by m2/dev
79Q1HK1G81 79Q1HK1G81
| URI | m2://inv/79Q1HK1G81 |
|---|---|
| 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 2509.21444#Z3LA (statement). In CTVPA2FQT1/e1, lemma 8.5.4
History
- 2026-10-27: add by m2/v0.4.0
Wiener's 1/f theorem 79Q8TFFNV4
| URI | m2://inv/79Q8TFFNV4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wiener algebra#5N2F, Wiener's 1/f theorem (statement)
History
- 2026-11-02: add by m2/dev
79Q9GMDVCF 79Q9GMDVCF
| URI | m2://inv/79Q9GMDVCF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/second-order-logic/metatheory/undecidability-and-axiomatizability.tex#thm:sol-undecidable (statement). In PKGMM3P5QY, thm, section 66.2
History
- 2026-11-01: add by m2/v0.6.13
Fundamental theorem for toric geometry 79Q9N9P67W
| URI | m2://inv/79Q9N9P67W |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Toric variety#YXL6, Fundamental theorem for toric geometry (statement)
History
- 2026-11-02: add by m2/dev
79QAX57H3B 79QAX57H3B
| URI | m2://inv/79QAX57H3B |
|---|---|
| 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 2204.01073#9CWV (statement). In W4TYN4PGE8/e1, lemma 2.40
History
- 2026-10-27: add by m2/v0.3.5
79QBR6Z8N6 79QBR6Z8N6
| URI | m2://inv/79QBR6Z8N6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10077#ZILO (statement). In YA7H9PY3R1/e1, lemma 3.1
History
- 2026-10-29: add by m2/v0.4.10
lattice path, counting 79QCHCNKJW
| URI | m2://inv/79QCHCNKJW |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/2.5/lattice-path-counting, lattice path, counting (concept). In QKM9DD2H56, index, section 2.5
History
- 2026-11-01: add by m2/v0.6.13
Disperser 79QEAD0QJF
| URI | m2://inv/79QEAD0QJF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Disperser, Disperser (definition). Also Wikidata Q5282575
History
- 2026-11-02: add by m2/dev
Examples 79QFWB5RQP
| URI | m2://inv/79QFWB5RQP |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Perfect set#B4NY, Examples (example)
History
- 2026-11-02: add by m2/dev
79QGG0DFF2 79QGG0DFF2
| URI | m2://inv/79QGG0DFF2 |
|---|---|
| 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.00337#ZV2N (statement). In 5STQ3ABZ60/e1, theorem 1.3
History
- 2026-10-30: add by m2/v0.4.12
79QKCR5SFP 79QKCR5SFP
| URI | m2://inv/79QKCR5SFP |
|---|---|
| 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 2606.12009#13E5 (statement). In DNAN4SV8AM/e1, theorem 1.4
History
- 2026-10-27: add by m2/v0.3.5
Differential-linear attack 79QM1DRQBS
| URI | m2://inv/79QM1DRQBS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Differential-linear attack, Differential-linear attack (definition). Also Wikidata Q3005749
History
- 2026-11-02: add by m2/dev
Cographic matroids 79QQ2BSCR4
| URI | m2://inv/79QQ2BSCR4 |
|---|---|
| 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#7JNQ, Cographic matroids (statement). In XDTM624YPE/e1, corollary 9.2
History
- 2026-10-27: add by m2/v0.4.2
Admissible decision rule 79R1P2X1K5
| URI | m2://inv/79R1P2X1K5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#CF0X, Admissible decision rule (definition)
History
- 2026-11-02: add by m2/dev
79R1QRA7BZ 79R1QRA7BZ
| URI | m2://inv/79R1QRA7BZ |
|---|---|
| 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 2509.21444#6MH2 (statement). In CTVPA2FQT1/e1, proposition 4.1.1
History
- 2026-10-27: add by m2/v0.4.0
Exact directional line search 79RD30KWNQ
| URI | m2://inv/79RD30KWNQ |
|---|---|
| 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.13685#OIBA, Exact directional line search (statement). In 4XQWY8C4AV/e1, lemma 3
History
- 2026-10-28: add by m2/v0.4.2
Prior Analytics 79RFFP7MMA
| URI | m2://inv/79RFFP7MMA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Prior Analytics, Prior Analytics (definition). Also Wikidata Q485217
History
- 2026-11-02: add by m2/dev
79RKNE19PM 79RKNE19PM
| URI | m2://inv/79RKNE19PM |
|---|---|
| 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 2609.34856#SPUN (statement). In MRR92GQNZE/e1, theorem D
History
- 2026-10-30: add by m2/v0.4.12
Sauer-Shelah lemma 79RTAZ5VNV
| URI | m2://inv/79RTAZ5VNV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Combinatorics > Set families > Sauer-Shelah lemma, Sauer-Shelah lemma (unknown). Also Mathlib Finset.card_shatterer_le_sum_vcDim
History
- 2026-10-26: add by m2/dev
Nicholas Varopoulos 79RWCCN7G5
| URI | m2://inv/79RWCCN7G5 |
|---|---|
| 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#PENH, Nicholas Varopoulos (topic)
History
- 2026-11-02: add by m2/dev
79RXM3C03H 79RXM3C03H
| URI | m2://inv/79RXM3C03H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11047#LTA4 (statement). In MNQAZ70XTH/e1, lemma 10.2
History
- 2026-10-28: add by m2/v0.4.3
Properties 79S5G6674F
| URI | m2://inv/79S5G6674F |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Minimum rank of a graph#QNC7, Properties (statement)
History
- 2026-11-02: add by m2/dev
Goldstine theorem 79S7DNGP33
| URI | m2://inv/79S7DNGP33 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#772J, Goldstine theorem (statement)
History
- 2026-11-02: add by m2/dev
Approximation error and Taylor's theorem 79SC19SYQZ
| URI | m2://inv/79SC19SYQZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Taylor series#EWPK, Approximation error and Taylor's theorem (statement)
History
- 2026-11-02: add by m2/dev
79SJ920X83 79SJ920X83
| URI | m2://inv/79SJ920X83 |
|---|---|
| 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.14742#9AXV (statement). In GZYZ9FQHVC/e1, theorem 3.4
History
- 2026-10-28: add by m2/v0.4.2
79SNWE479S 79SNWE479S
| URI | m2://inv/79SNWE479S |
|---|---|
| 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.04330#Z06W (statement). In 17H0HEM54D/e1, proposition 1.4
History
- 2026-10-29: add by m2/v0.4.12
Statement of the lemma 79SVSF8X28
| URI | m2://inv/79SVSF8X28 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ehrling's lemma#0EGQ, Statement of the lemma (statement)
History
- 2026-11-02: add by m2/dev
Behavioral modeling 79T0ZPZBGM
| URI | m2://inv/79T0ZPZBGM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Behavioral modeling, Behavioral modeling (definition). Also Wikidata Q3318160
History
- 2026-11-02: add by m2/dev
79T6YTEZYZ 79T6YTEZYZ
| URI | m2://inv/79T6YTEZYZ |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00135#K8N9 (example). In PXWXV92SJY/e1, example 4.14
History
- 2026-10-30: add by m2/v0.4.12
matching 79T8PEY61C
| URI | m2://inv/79T8PEY61C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Matching 0MJ04A50QW |
Mentions
- wikidata: Wikidata Q1065144, matching (unknown). Also MathWorld Matching
- wikipedia: Wikipedia Matching (graph theory), Matching (definition). Also Wikidata Q1065144
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Extensions 79TA4QGMGN
| URI | m2://inv/79TA4QGMGN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia CYK algorithm#ACK9, Extensions (statement)
History
- 2026-11-02: add by m2/dev
79TBVCEPMB 79TBVCEPMB
| URI | m2://inv/79TBVCEPMB |
|---|---|
| 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.00775#AX5Z (statement). In WVHA7H05QC/e1, corollary 2.3
History
- 2026-10-29: add by m2/v0.4.12
Jesús A. De Loera 79TRRBGTBF
| URI | m2://inv/79TRRBGTBF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#PW58, Jesús A. De Loera (topic)
History
- 2026-11-02: add by m2/dev
Truncated regression model 79TV76GA98
| URI | m2://inv/79TV76GA98 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Truncated regression model, Truncated regression model (definition). Also Wikidata Q4477680
History
- 2026-11-02: add by m2/dev
instantaneous rate of change 79TW1Y4RPB
| URI | m2://inv/79TW1Y4RPB |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus index/1.3.2/instantaneous-rate-of-change, instantaneous rate of change (concept). In 907G4C4EJ1, index, section 1.3.2
History
- 2026-11-01: add by m2/v0.6.13
Analysis 79V5EPJD9Q
| URI | m2://inv/79V5EPJD9Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Analysis (journal), Analysis (definition). Also Wikidata Q485155
History
- 2026-11-02: add by m2/dev
Yehoshua Bar-Hillel 79V8EQZ7JC
| URI | m2://inv/79V8EQZ7JC |
|---|---|
| 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 Q584382, Yehoshua Bar-Hillel (unknown). Also ProofWiki Mathematician:Yehoshua_Bar-Hillel
- wikipedia: Wikipedia Yehoshua Bar-Hillel, Yehoshua Bar-Hillel (topic). Also Wikidata Q584382
History
- 2026-10-26: add by m2/dev
subfield 79VP79ZT44
| URI | m2://inv/79VP79ZT44 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview General algebra > Field theory > subfield, subfield (unknown). Also Mathlib Subfield
- mathlib_undergrad: mathlib_undergrad Ring Theory > Field Theory > Subfields, Subfields (unknown). Also Mathlib Subfield
History
- 2026-10-26: add by m2/dev
Crypto-shredding 79VWDCECWF
| URI | m2://inv/79VWDCECWF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Crypto-shredding, Crypto-shredding (definition). Also Wikidata Q30324745
History
- 2026-11-02: add by m2/dev
Elliptic recovery 79WH4WDY4V
| URI | m2://inv/79WH4WDY4V |
|---|---|
| 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.04894#WI15, Elliptic recovery (statement). In AZZ35SDENN/e1, lemma 5.2
History
- 2026-10-29: add by m2/v0.4.12
79WH83P0D5 79WH83P0D5
| URI | m2://inv/79WH83P0D5 |
|---|---|
| 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.05391#G48C (statement). In 9B5TNEBJHV/e1, lemma 2.18
History
- 2026-10-29: add by m2/v0.4.10
Drag count 79WHN8X0VT
| URI | m2://inv/79WHN8X0VT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Drag count, Drag count (definition). Also Wikidata Q5304817
History
- 2026-11-02: add by m2/dev
79WN3QDCMF 79WN3QDCMF
| URI | m2://inv/79WN3QDCMF |
|---|---|
| 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 1903.11969#0TH8 (statement). In 9N4EV3GRM7/e1, lemma 4.2
History
- 2026-10-27: add by m2/v0.3.5
79WS3959DV 79WS3959DV
| URI | m2://inv/79WS3959DV |
|---|---|
| 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#R9Q9 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Applications 79WTK310EE
| URI | m2://inv/79WTK310EE |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Power cone#VM2K, Applications (example)
History
- 2026-11-02: add by m2/dev
79WZCGK989 79WZCGK989
| URI | m2://inv/79WZCGK989 |
|---|---|
| Kind | problem |
| 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.26701#X9RM (problem)
History
- 2026-11-01: add by m2/v0.6.15
James H. Davenport 79WZY3FAYC
| URI | m2://inv/79WZY3FAYC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#8POI, James H. Davenport (unknown)
History
- 2026-11-02: add by m2/dev
Theorem 1 79X7G1GREG
| URI | m2://inv/79X7G1GREG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia MMH-Badger MAC#GTSM, Theorem 1 (statement)
History
- 2026-11-02: add by m2/dev
Properties 79XD47SGBS
| URI | m2://inv/79XD47SGBS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Transition-rate matrix#WJ35, Properties (statement)
History
- 2026-11-02: add by m2/dev
Gaussian copula 79XEYVXE0Z
| URI | m2://inv/79XEYVXE0Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Carl Friedrich Gauss#HGMD, Gaussian copula (definition)
History
- 2026-11-02: add by m2/dev
List of calculus topics 79XGDN5MEN
| URI | m2://inv/79XGDN5MEN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of calculus topics, List of calculus topics (topic). Also Wikidata Q6608708
History
- 2026-11-02: add by m2/dev
Flabby sheaf 79XTMKFHK2
| URI | m2://inv/79XTMKFHK2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Injective sheaf#968W, Flabby sheaf (unknown)
History
- 2026-11-02: add by m2/dev
79Y8KPBNFY 79Y8KPBNFY
| URI | m2://inv/79Y8KPBNFY |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35209#TNKC (definition). In YEERR7F4NW/e1, definition 2.1
History
- 2026-10-30: add by m2/v0.4.12
Arithmetic for Parents 79YBG66JT7
| URI | m2://inv/79YBG66JT7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arithmetic for Parents, Arithmetic for Parents (definition). Also Wikidata Q4791127
History
- 2026-11-02: add by m2/dev
Thesis antithesis synthesis 79YDM6T2S6
| URI | m2://inv/79YDM6T2S6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dialectic#3NM1, Thesis antithesis synthesis (unknown)
History
- 2026-11-02: add by m2/dev
Construction 79YETKXBXN
| URI | m2://inv/79YETKXBXN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nagel point#JT4J, Construction (definition)
History
- 2026-11-02: add by m2/dev
Statements 79YFKHYAAA
| URI | m2://inv/79YFKHYAAA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Transfinite recursion theorem#Q1KI, Statements (statement)
History
- 2026-11-02: add by m2/dev
79YH0A2Z54 79YH0A2Z54
| URI | m2://inv/79YH0A2Z54 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17135#A0O7 (statement). In XX1J2REXY2/e1, lemma 3.9
History
- 2026-10-28: add by m2/v0.4.2
SGD Upper Bound with Dynamic Batching 79YN2CYZ43
| URI | m2://inv/79YN2CYZ43 |
|---|---|
| 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.02355#Z8GT, SGD Upper Bound with Dynamic Batching (statement). In 1AXXV9ZT11/e1, theorem 2
History
- 2026-10-29: add by m2/v0.4.12
$0$-incompressibility 79YP9A2F8Q
| URI | m2://inv/79YP9A2F8Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09422#RXDX, $0$-incompressibility (statement). In MS7M2BJS9X/e1, lemma 6.6
History
- 2026-10-29: add by m2/v0.4.10
Ivan A. K. Kupka 79YWZA0J93
| URI | m2://inv/79YWZA0J93 |
|---|---|
| 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#338B, Ivan A. K. Kupka (unknown)
History
- 2026-11-02: add by m2/dev
79YZ67DWMV 79YZ67DWMV
| URI | m2://inv/79YZ67DWMV |
|---|---|
| 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 2504.02065#TOC7 (statement). In 60CK7P5F36/e1, corollary 2.3
History
- 2026-10-27: add by m2/v0.3.5
Implementation 79ZAWP61QN
| URI | m2://inv/79ZAWP61QN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wigner distribution function#VPP7, Implementation (definition)
History
- 2026-11-02: add by m2/dev
Appert topology 79ZXHWJ3KZ
| URI | m2://inv/79ZXHWJ3KZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topologies#CONL, Appert topology (definition)
History
- 2026-11-02: add by m2/dev
Describing the solution space from a reduced row echelon matrix 79ZZPBGK2V
| URI | m2://inv/79ZZPBGK2V |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section1-2.xml#example-2, Describing the solution space from a reduced row echelon matrix (example). In 649HGZKE96, example, section 1.2.3
History
- 2026-11-01: add by m2/v0.6.13