Inventory rows 9F
The cards of the rows of the inventory whose ids start with 9F. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
9F02AGDMDH 9F02AGDMDH
| URI | m2://inv/9F02AGDMDH |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34260#HND3 (problem). In BBE69ZPVTF/e1, problem 5.20
History
- 2026-10-30: add by m2/v0.4.12
9F03HH959Z 9F03HH959Z
| URI | m2://inv/9F03HH959Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40251#W2O0 (statement). In 9J7TJYKGYX/e1, lemma 6.3
History
- 2026-10-30: add by m2/v0.4.12
9F05NAXE1T 9F05NAXE1T
| URI | m2://inv/9F05NAXE1T |
|---|---|
| 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 math/9902147#G8SJ (statement). In 7CK21JGM5A/e1, lemma 3.7
History
- 2026-10-27: add by m2/v0.4.2
Example 9F087ERPGK
| URI | m2://inv/9F087ERPGK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linear function (calculus)#04JA, Example (example)
History
- 2026-11-02: add by m2/dev
pentagonal gyrobicupola 9F0B8M4NJE
| URI | m2://inv/9F0B8M4NJE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q780507, pentagonal gyrobicupola (object). Also MathWorld PentagonalGyrobicupola
- wikipedia: Wikipedia Pentagonal gyrobicupola, Pentagonal gyrobicupola (definition). Also Wikidata Q780507
History
- 2026-10-26: add by m2/dev
William Lionheart 9F10DYKECR
| URI | m2://inv/9F10DYKECR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia William Lionheart, William Lionheart (topic). Also Wikidata Q72191112
History
- 2026-11-02: add by m2/dev
Gamas's Theorem 9F1N74JJ2V
| URI | m2://inv/9F1N74JJ2V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#U0YH, Gamas's Theorem (statement)
History
- 2026-11-02: add by m2/dev
John Hajnal 9F1S5ZS68J
| URI | m2://inv/9F1S5ZS68J |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#N01B, John Hajnal (topic)
History
- 2026-11-02: add by m2/dev
9F1ZWJ2X0J 9F1ZWJ2X0J
| URI | m2://inv/9F1ZWJ2X0J |
|---|---|
| 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.07790#QUJR (statement). In A5YJDDM0NX/e1, proposition 5.2
History
- 2026-10-29: add by m2/v0.4.10
Generalized mean inequality 9F212Q9TXR
| URI | m2://inv/9F212Q9TXR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalized mean#2LC8, Generalized mean inequality (statement)
History
- 2026-11-02: add by m2/dev
9F228GZPVD 9F228GZPVD
| URI | m2://inv/9F228GZPVD |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 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.07695#HJIH (definition). In 8Z47D12KSX/e1, definition 5.8
History
- 2026-10-29: add by m2/v0.4.10
Duck curve 9F2CJ5HV4Z
| URI | m2://inv/9F2CJ5HV4Z |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of curves#YPJF, Duck curve (unknown)
History
- 2026-11-02: add by m2/dev
Hernando Burgos-Soto 9F2DNYRMTB
| URI | m2://inv/9F2DNYRMTB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hernando Burgos-Soto, Hernando Burgos-Soto (topic). Also Wikidata Q21822505
History
- 2026-11-02: add by m2/dev
9F2ETC1GC2 9F2ETC1GC2
| URI | m2://inv/9F2ETC1GC2 |
|---|---|
| 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.05216#SG8U (statement). In J1VCHM6V0S/e1, theorem 2.6
History
- 2026-10-29: add by m2/v0.4.10
Drinking eight glasses (2–3 liters) of water a day 9F2EZY1HT8
| URI | m2://inv/9F2EZY1HT8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of common misconceptions about science, technology, and mathematics#TPKQ, Drinking eight glasses (2–3 liters) of water a day (unknown)
History
- 2026-11-02: add by m2/dev
9F2HN4NA8P 9F2HN4NA8P
| URI | m2://inv/9F2HN4NA8P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13291#KCLN (statement). In D16PSAVVWV/e1, theorem 4.1
History
- 2026-10-28: add by m2/v0.4.2
9F2JND2BSF 9F2JND2BSF
| URI | m2://inv/9F2JND2BSF |
|---|---|
| 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 2609.27360#5OYQ (statement)
History
- 2026-11-01: add by m2/v0.6.15
9F2N3S7683 9F2N3S7683
| URI | m2://inv/9F2N3S7683 |
|---|---|
| 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.03517#EN1A (statement). In 3CGS9GSKTQ/e1, lemma 6.2
History
- 2026-10-29: add by m2/v0.4.12
Examples 9F32R31MGC
| URI | m2://inv/9F32R31MGC |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bounded operator#5G7F, Examples (example)
History
- 2026-11-02: add by m2/dev
9F37T8ZXPC 9F37T8ZXPC
| URI | m2://inv/9F37T8ZXPC |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-158 (exercise). In VNMV985MXX, exercise, section 2.6
History
- 2026-11-01: add by m2/v0.6.13
9F391CF91S 9F391CF91S
| URI | m2://inv/9F391CF91S |
|---|---|
| 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.20119#65UT (definition)
History
- 2026-11-02: add by m2/v0.6.18
9F3HVSV64K 9F3HVSV64K
| URI | m2://inv/9F3HVSV64K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03661#KRS1 (statement). In ESDKTYDHC8/e1, corollary 12
History
- 2026-10-29: add by m2/v0.4.12
9F3NWAPTW1 9F3NWAPTW1
| URI | m2://inv/9F3NWAPTW1 |
|---|---|
| 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#DLII (statement). In WAXS6FS388/e1, lemma 4.3
History
- 2026-10-30: add by m2/v0.4.12
9F3W4Y5MDZ 9F3W4Y5MDZ
| URI | m2://inv/9F3W4Y5MDZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/natural-deduction/proof-theoretic-notions.tex#prop:incons (statement). In PKGMM3P5QY, prop, section 15.1
History
- 2026-11-01: add by m2/v0.6.13
successor 9F3WPZE4WR
| URI | m2://inv/9F3WPZE4WR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#7M79, successor (definition)
History
- 2026-11-02: add by m2/dev
9F42D1TC1Q 9F42D1TC1Q
| URI | m2://inv/9F42D1TC1Q |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03628#ZQG6 (problem). In P8KT6JV9N1/e1, problem 4.16
History
- 2026-10-29: add by m2/v0.4.12
product 9F4FM822VT
| URI | m2://inv/9F4FM822VT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#J1ON, product (definition)
History
- 2026-11-02: add by m2/dev
Dauns' condition 9F4GF4S3CQ
| URI | m2://inv/9F4GF4S3CQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15869#GHPK, Dauns' condition (statement). In 5VRP29WZEK/e1, proposition 2.2
History
- 2026-10-28: add by m2/v0.4.2
Kepler scientific workflow system 9F4NKFBCBM
| URI | m2://inv/9F4NKFBCBM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Johannes Kepler#KAQX, Kepler scientific workflow system (unknown)
History
- 2026-11-02: add by m2/dev
loop space 9F4Q2S7N6M
| URI | m2://inv/9F4Q2S7N6M |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/7.1.2/loop-space, loop space (concept). In N54F33XE07, index, section 7.1.2
History
- 2026-11-01: add by m2/v0.6.13
C. V. Mourey 9F4QG1GX3T
| URI | m2://inv/9F4QG1GX3T |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia C. V. Mourey, C. V. Mourey (topic). Also Wikidata Q24330340
History
- 2026-11-02: add by m2/dev
9F4RVCQQR5 9F4RVCQQR5
| URI | m2://inv/9F4RVCQQR5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0406514#QEAN (statement). In CY1FE8W1ZW/e1, lemma
History
- 2026-10-27: add by m2/v0.3.5
9F4WPG331K 9F4WPG331K
| URI | m2://inv/9F4WPG331K |
|---|---|
| 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.18226#62Q6 (statement). In B3EHT1FRM5/e1, lemma 3.14
History
- 2026-10-28: add by m2/v0.4.2
Nanjamma Chinnappa 9F551YTZV5
| URI | m2://inv/9F551YTZV5 |
|---|---|
| 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#CEVK, Nanjamma Chinnappa (unknown)
History
- 2026-11-02: add by m2/dev
Similarity (geometry) 9F5JN57HER
| URI | m2://inv/9F5JN57HER |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of triangle topics#JOEG, Similarity (geometry) (definition)
History
- 2026-11-02: add by m2/dev
Torus halves and \(\mathcal A^\pm\)-functions 9F5NCB2F8T
| URI | m2://inv/9F5NCB2F8T |
|---|---|
| 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 2609.29671#7LFF, Torus halves and \(\mathcal A^\pm\)-functions (definition)
History
- 2026-11-01: add by m2/v0.6.15
9F5PS1451W 9F5PS1451W
| URI | m2://inv/9F5PS1451W |
|---|---|
| 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 2609.38323#76FL (statement). In MER0S03A77/e1, proposition 3.6
History
- 2026-10-30: add by m2/v0.4.12
9F622ADDC4 9F622ADDC4
| URI | m2://inv/9F622ADDC4 |
|---|---|
| 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.26769#LW9V (statement)
History
- 2026-11-01: add by m2/v0.6.15
Patterns N13 and N14 9F63JGTMEP
| URI | m2://inv/9F63JGTMEP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08865#NWPG, Patterns N13 and N14 (statement). In SJ5JKGH94M/e1, theorem 7
History
- 2026-10-29: add by m2/v0.4.10
9F6CC2F9WD 9F6CC2F9WD
| URI | m2://inv/9F6CC2F9WD |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2504.19468#5W7L (definition). In EY54F2SX08/e1, definition 2.1
History
- 2026-10-27: add by m2/v0.3.5
cyclic group 9F6D9KCJCZ
| URI | m2://inv/9F6D9KCJCZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | deferred (the item has its own article, page 52327) |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of group theory#3PE7, cyclic group (definition)
History
- 2026-11-02: add by m2/dev
- 2026-11-03: outcome by m2 corpus adopt
9F6TDFYESJ 9F6TDFYESJ
| URI | m2://inv/9F6TDFYESJ |
|---|---|
| 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.34876#9UEB (statement). In XXQAW3ZBDF/e1, proposition 6.3
History
- 2026-10-30: add by m2/v0.4.12
Bilinear operator 9F6Y5GQZK6
| URI | m2://inv/9F6Y5GQZK6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#F6F3, Bilinear operator (definition)
History
- 2026-11-02: add by m2/dev
9F749E7J7Z 9F749E7J7Z
| URI | m2://inv/9F749E7J7Z |
|---|---|
| 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 1512.06981#GKQ7 (statement). In X923ZEY423/e1, lemma 1.8.3
History
- 2026-10-27: add by m2/v0.3.5
Donald Kalish 9F764X427E
| URI | m2://inv/9F764X427E |
|---|---|
| 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#58R2, Donald Kalish (unknown)
History
- 2026-11-02: add by m2/dev
Mathematical formula 9F76RGTMZ2
| URI | m2://inv/9F76RGTMZ2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Von Foerster equation#YC8C, Mathematical formula (statement)
History
- 2026-11-02: add by m2/dev
9F78VTDNED 9F78VTDNED
| URI | m2://inv/9F78VTDNED |
|---|---|
| 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.24078#U6XS (statement)
History
- 2026-11-02: add by m2/v0.6.17
Yao's test 9F7MR8JQDE
| URI | m2://inv/9F7MR8JQDE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Yao's test, Yao's test (definition). Also Wikidata Q8049022
History
- 2026-11-02: add by m2/dev
Binomial solution factor 9F7PKZWTZ3
| URI | m2://inv/9F7PKZWTZ3 |
|---|---|
| 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.25380#QJFB, Binomial solution factor (statement)
History
- 2026-11-01: add by m2/v0.6.15
9F7Q5ZXJE8 9F7Q5ZXJE8
| URI | m2://inv/9F7Q5ZXJE8 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises2-2.xml#exercise-12 (exercise). In 649HGZKE96, exercise, section 2.2
History
- 2026-11-01: add by m2/v0.6.13
Necklace sensitivity formula 9F83ZH7V0K
| URI | m2://inv/9F83ZH7V0K |
|---|---|
| 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.17006#ZBFB, Necklace sensitivity formula (statement). In YY81ZEJ82P/e1, theorem 2.2
History
- 2026-10-28: add by m2/v0.4.2
Removing a cubic zero 9F84FB8628
| URI | m2://inv/9F84FB8628 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 49-XX, 58-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.05164#EMR2, Removing a cubic zero (statement). In JY6RYSNXMJ/e1, lemma 22
History
- 2026-10-29: add by m2/v0.4.10
degrees of freedom 9F88EQTMTP
| URI | m2://inv/9F88EQTMTP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of probability and statistics#QPP2, degrees of freedom (definition)
History
- 2026-11-02: add by m2/dev
spectrum of a matrix 9F89D494GH
| URI | m2://inv/9F89D494GH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Spectrum of a matrix 04EHB7YDQS |
Mentions
- wikidata: Wikidata Q3490774, spectrum of a matrix (unknown). Also MathWorld MatrixSpectrum
- wikipedia: Wikipedia Spectrum of a matrix, Spectrum of a matrix (definition). Also Wikidata Q3490774
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
9F8EXAMGKW 9F8EXAMGKW
| URI | m2://inv/9F8EXAMGKW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21052#AM2M (statement)
History
- 2026-11-02: add by m2/v0.6.18
Scheffé, Henry 9F8FD66YCY
| URI | m2://inv/9F8FD66YCY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#MYB1, Scheffé, Henry (topic)
History
- 2026-11-02: add by m2/dev
9F8G8YSG1C 9F8G8YSG1C
| URI | m2://inv/9F8G8YSG1C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/fundamental-group.tex#definition-3 (definition). In RZP28ERRZV, definition, section 98.2
History
- 2026-11-01: add by m2/v0.6.13
9F8KERQXNH 9F8KERQXNH
| URI | m2://inv/9F8KERQXNH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37520#0ELQ (statement). In BDN507RN7J/e1, proposition 3.8.8
History
- 2026-10-30: add by m2/v0.4.12
Carl Friedrich Gauss Prize 9F8KH4WX7H
| URI | m2://inv/9F8KH4WX7H |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Carl Friedrich Gauss#SP0I, Carl Friedrich Gauss Prize (unknown)
History
- 2026-11-02: add by m2/dev
Center 9F8M8766FM
| URI | m2://inv/9F8M8766FM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Center (algebra), Center (definition). Also Wikidata Q191166
History
- 2026-11-02: add by m2/dev
1 is not a prime number 9F8MV75E5V
| URI | m2://inv/9F8MV75E5V |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Prime number#JURI, 1 is not a prime number (unknown)
History
- 2026-11-02: add by m2/dev
Statement 9F936ADDDK
| URI | m2://inv/9F936ADDDK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reshetnyak gluing theorem#IV1S, Statement (statement)
History
- 2026-11-02: add by m2/dev
Designs from $\Sp(2n,2)$ 9F94K76J9B
| URI | m2://inv/9F94K76J9B |
|---|---|
| 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.15340#YPG3, Designs from $\Sp(2n,2)$ (statement). In 9NVKKW8HDH/e1, corollary 2.28
History
- 2026-10-28: add by m2/v0.4.2
9F94NAMHQB 9F94NAMHQB
| URI | m2://inv/9F94NAMHQB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27078#TEWT (statement)
History
- 2026-11-01: add by m2/v0.6.15
girth 9F9792T5R7
| URI | m2://inv/9F9792T5R7 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/5/girth, girth (concept). In QKM9DD2H56, index, section 5
History
- 2026-11-01: add by m2/v0.6.13
permutation representation 9F9NQ9C49J
| URI | m2://inv/9F9NQ9C49J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q60792472, permutation representation (unknown). Also nLab permutation representation
- wikipedia: Wikipedia Permutation representation, Permutation representation (definition). Also Wikidata Q60792472
History
- 2026-10-26: add by m2/dev
9F9PG4N4F5 9F9PG4N4F5
| URI | m2://inv/9F9PG4N4F5 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22394#J4WZ (example)
History
- 2026-11-02: add by m2/v0.6.17
Maria Colombo 9F9Z0SRMM7
| URI | m2://inv/9F9Z0SRMM7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Maria Colombo (mathematician), Maria Colombo (topic). Also Wikidata Q60528729
History
- 2026-11-02: add by m2/dev
9FA1V4TP12 9FA1V4TP12
| URI | m2://inv/9FA1V4TP12 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03497#NNMG (statement). In RRNHC0CAC9/e1, proposition
History
- 2026-10-29: add by m2/v0.4.12
Predation rates 9FA2W9ZTGD
| URI | m2://inv/9FA2W9ZTGD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Predation rates, Predation rates (definition). Also Wikidata Q111346531
History
- 2026-11-02: add by m2/dev
9FA32AS0AK 9FA32AS0AK
| URI | m2://inv/9FA32AS0AK |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 20-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2605.16669#J9AX (example). In 1463YCCRP5/e1, example 7.4
History
- 2026-10-27: add by m2/v0.4.0
9FA9W38EZ9 9FA9W38EZ9
| URI | m2://inv/9FA9W38EZ9 |
|---|---|
| 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.14434#ZXCW (statement). In TW93XZXMHE/e1, theorem 6.2
History
- 2026-10-28: add by m2/v0.4.2
Lucio Russo 9FACFTHJN7
| URI | m2://inv/9FACFTHJN7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#N3DL, Lucio Russo (topic)
History
- 2026-11-02: add by m2/dev
Realization 9FAPC7JY75
| URI | m2://inv/9FAPC7JY75 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Realization (probability), Realization (definition). Also Wikidata Q21856745
History
- 2026-11-02: add by m2/dev
9FASMZD21C 9FASMZD21C
| URI | m2://inv/9FASMZD21C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11056#R2UC (statement). In 1NDB3SAG7K/e1, theorem 1.5
History
- 2026-10-28: add by m2/v0.4.3
9FAYDTWZ1Z 9FAYDTWZ1Z
| URI | m2://inv/9FAYDTWZ1Z |
|---|---|
| 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.20366#2OB7 (statement)
History
- 2026-11-02: add by m2/v0.6.18
prime-counting function 9FB6GP0C2W
| URI | m2://inv/9FB6GP0C2W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Prime-counting function 0RQSNVTFVZ |
Mentions
- wikidata: Wikidata Q251922, prime-counting function (unknown). Also MathWorld PrimeCountingFunction
- wikipedia: Wikipedia Prime-counting function, Prime-counting function (definition). Also Wikidata Q251922
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Ellsberg paradox 9FBQEBEMYY
| URI | m2://inv/9FBQEBEMYY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Knightian uncertainty#RPRW, Ellsberg paradox (statement)
History
- 2026-11-02: add by m2/dev
9FBSYR4R5H 9FBSYR4R5H
| URI | m2://inv/9FBSYR4R5H |
|---|---|
| Kind | example |
| 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 2504.18390#X8YL (example). In A1E8BB0QHC/e1, example 3.6
History
- 2026-10-27: add by m2/v0.3.5
Clique problem 9FBT1TKJHQ
| URI | m2://inv/9FBT1TKJHQ |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical proofs#T8BE, Clique problem (problem)
History
- 2026-11-02: add by m2/dev
Examples 9FCH78ER7Y
| URI | m2://inv/9FCH78ER7Y |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Golomb sequence#FNEZ, Examples (example)
History
- 2026-11-02: add by m2/dev
Birkhoff 9FD0YK2H2W
| URI | m2://inv/9FD0YK2H2W |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#4ES6, Birkhoff (topic)
History
- 2026-11-02: add by m2/dev
Roitman's theorem 9FD16C10YD
| URI | m2://inv/9FD16C10YD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Albanese variety#Y5P2, Roitman's theorem (statement)
History
- 2026-11-02: add by m2/dev
9FD4CQPG93 9FD4CQPG93
| URI | m2://inv/9FD4CQPG93 |
|---|---|
| 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.14135#ST73 (statement). In C304J64Q79/e1, lemma 8.3
History
- 2026-10-28: add by m2/v0.4.2
Claim 1 9FD4YJ9X3X
| URI | m2://inv/9FD4YJ9X3X |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Proof that pi is irrational#HC4E, Claim 1 (statement)
History
- 2026-11-02: add by m2/dev
9FD710BXYC 9FD710BXYC
| URI | m2://inv/9FD710BXYC |
|---|---|
| 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#VFR4 (statement). In QHFP0837Q8/e1, proposition 4.16
History
- 2026-10-29: add by m2/v0.4.12
9FD7B3HMFG 9FD7B3HMFG
| URI | m2://inv/9FD7B3HMFG |
|---|---|
| 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#8XQB (statement). In MG81A9XJTQ/e1, lemma IV.4
History
- 2026-10-29: add by m2/v0.4.10
Level of detail (computer graphics) 9FD9SMFJKY
| URI | m2://inv/9FD9SMFJKY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#TO46, Level of detail (computer graphics) (unknown)
History
- 2026-11-02: add by m2/dev
Formula (mathematics) 9FDWKKDA0B
| URI | m2://inv/9FDWKKDA0B |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Formula#M7JZ, Formula (mathematics) (unknown)
History
- 2026-11-02: add by m2/dev
9FDXF54FZF 9FDXF54FZF
| URI | m2://inv/9FDXF54FZF |
|---|---|
| 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#MK13 (statement). In 9YAE8FNQST/e1, corollary 30.7
History
- 2026-10-30: add by m2/v0.4.12
Theorem 9FE200M5MA
| URI | m2://inv/9FE200M5MA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sub-Gaussian distribution#XKUD, Theorem (statement)
History
- 2026-11-02: add by m2/dev
The boundary filtration 9FE2JX5YPA
| URI | m2://inv/9FE2JX5YPA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00490#8KXL, The boundary filtration (statement). In PZJDV6SJ9E/e1, lemma 5.1
History
- 2026-10-30: add by m2/v0.4.12
9FE57S4KE0 9FE57S4KE0
| URI | m2://inv/9FE57S4KE0 |
|---|---|
| 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.13741#2AUE (statement). In Q43F8N7XDE/e1, corollary 3.3
History
- 2026-10-28: add by m2/v0.4.2
Terminology 9FE84BAF7Q
| URI | m2://inv/9FE84BAF7Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Variety (universal algebra)#PZ8Z, Terminology (definition)
History
- 2026-11-02: add by m2/dev
Fueter–Pólya theorem 9FEGTPWXM9
| URI | m2://inv/9FEGTPWXM9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fueter–Pólya theorem, Fueter–Pólya theorem (statement). Also Wikidata Q16320788
History
- 2026-11-02: add by m2/dev
Umbrella sampling 9FEN75BMJC
| URI | m2://inv/9FEN75BMJC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Umbrella sampling, Umbrella sampling (definition). Also Wikidata Q7881414
History
- 2026-11-02: add by m2/dev
Definition 9FEPKJVQCE
| URI | m2://inv/9FEPKJVQCE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multiple comparisons problem#F5TL, Definition (definition)
History
- 2026-11-02: add by m2/dev
9FEZ63081B 9FEZ63081B
| URI | m2://inv/9FEZ63081B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19806#P9LX (statement). In 64WX3WHW4H/e1, theorem 3.2
History
- 2026-10-28: add by m2/v0.4.2
9FF19RE8JD 9FF19RE8JD
| URI | m2://inv/9FF19RE8JD |
|---|---|
| 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.01228#XHQB (statement). In HZAJ20XW7F/e1, proposition 2
History
- 2026-10-29: add by m2/v0.4.12
9FF57FX52V 9FF57FX52V
| URI | m2://inv/9FF57FX52V |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-real-nums.tex#proof-13 (proof). In E59CDZA4DP, proof, section 7.3
History
- 2026-11-01: add by m2/v0.6.13
9FFDVSZFWX 9FFDVSZFWX
| URI | m2://inv/9FFDVSZFWX |
|---|---|
| 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.01368#5XD5 (statement). In 4ER0Z2TGN8/e1, lemma 1
History
- 2026-10-29: add by m2/v0.4.12
Properties 9FFK8T1YF6
| URI | m2://inv/9FFK8T1YF6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Advanced z-transform#Z64Y, Properties (statement)
History
- 2026-11-02: add by m2/dev
9FFR7WEK9Y 9FFR7WEK9Y
| URI | m2://inv/9FFR7WEK9Y |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus source/activities/act-7-1-3.xml#act-7-1-3 (exercise). In 907G4C4EJ1, activity, section 7.1.4
History
- 2026-11-01: add by m2/v0.6.13
continuous function 9FFY8BZ4H2
| URI | m2://inv/9FFY8BZ4H2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of calculus#UKZ9, continuous function (definition)
History
- 2026-11-02: add by m2/dev
Implementations 9FFYNN73FM
| URI | m2://inv/9FFYNN73FM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Signal Protocol#JBD7, Implementations (definition)
History
- 2026-11-02: add by m2/dev
Results 9FFZZ5VRGE
| URI | m2://inv/9FFZZ5VRGE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 2014 Moldovan census#3FVU, Results (statement)
History
- 2026-11-02: add by m2/dev
9FG46VR1VA 9FG46VR1VA
| URI | m2://inv/9FG46VR1VA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 19-XX, 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2504.00596#0RTY (statement). In F8RC6AENB0/e1, theorem A
History
- 2026-10-27: add by m2/v0.3.5
Gunnar Carlsson 9FG6CEZGTE
| URI | m2://inv/9FG6CEZGTE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gunnar Carlsson, Gunnar Carlsson (topic). Also Wikidata Q1398430
History
- 2026-11-02: add by m2/dev
Negentropy 9FGA063AGX
| URI | m2://inv/9FGA063AGX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Negentropy, Negentropy (definition). Also Wikidata Q252552
History
- 2026-11-02: add by m2/dev
9FGH92ZVSC 9FGH92ZVSC
| URI | m2://inv/9FGH92ZVSC |
|---|---|
| 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#2J80 (statement). In WRE0P7V6Z3/e1, lemma 9.2
History
- 2026-10-30: add by m2/v0.4.12
9FGS05F1KT 9FGS05F1KT
| URI | m2://inv/9FGS05F1KT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-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.11596#BGUQ (statement). In 76850E2X7T/e1, corollary 3.5
History
- 2026-10-28: add by m2/v0.4.3
9FGTMJXYQ1 9FGTMJXYQ1
| URI | m2://inv/9FGTMJXYQ1 |
|---|---|
| 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.24544#UPY9 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Backward differentiation formula 9FGY8K8YVR
| URI | m2://inv/9FGY8K8YVR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Backward differentiation formula, Backward differentiation formula (statement). Also Wikidata Q795746
History
- 2026-11-02: add by m2/dev
Adams 9FGYZMSJH5
| URI | m2://inv/9FGYZMSJH5 |
|---|---|
| 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#IO5X, Adams (statement). In 1A01NFHBGA/e1, proposition 2.23
History
- 2026-10-28: add by m2/v0.4.3
maximum absolute column sum norm 9FGZA7P99W
| URI | m2://inv/9FGZA7P99W |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1790926, maximum absolute column sum norm (unknown). Also MathWorld MaximumAbsoluteColumnSumNorm
History
- 2026-10-26: add by m2/dev
principal 9FH783TNKH
| URI | m2://inv/9FH783TNKH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#6798, principal (definition)
History
- 2026-11-02: add by m2/dev
9FHBKR3AMS 9FHBKR3AMS
| URI | m2://inv/9FHBKR3AMS |
|---|---|
| Kind | example |
| 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.07673#3KQA (example). In 37B1MPV8GX/e1, example 3.8
History
- 2026-10-29: add by m2/v0.4.10
Generalizations 9FHGFSMANQ
| URI | m2://inv/9FHGFSMANQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ladyzhenskaya's inequality#YKT4, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Statement 9FHJ5GAJ50
| URI | m2://inv/9FHJ5GAJ50 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hölder's inequality#IKJ1, Statement (statement)
History
- 2026-11-02: add by m2/dev
9FHKHS3AMM 9FHKHS3AMM
| URI | m2://inv/9FHKHS3AMM |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 37-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20131#V564 (example). In 29D4TTE3J2/e1, example 6.5
History
- 2026-10-27: add by m2/v0.4.2
9FHKM10V4W 9FHKM10V4W
| URI | m2://inv/9FHKM10V4W |
|---|---|
| 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 2304.02722#OW2G (problem). In AH7D55D3WV/e1, problem 1.6
History
- 2026-10-27: add by m2/v0.3.5
9FHMCRZ36A 9FHMCRZ36A
| URI | m2://inv/9FHMCRZ36A |
|---|---|
| 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.24481#N3H0 (statement)
History
- 2026-11-01: add by m2/v0.6.15
9FHV0CFDQV 9FHV0CFDQV
| URI | m2://inv/9FHV0CFDQV |
|---|---|
| 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#ZRVW (statement)
History
- 2026-11-01: add by m2/v0.6.15
9FHVCXP8B1 9FHVCXP8B1
| URI | m2://inv/9FHVCXP8B1 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book reals.tex#proof-9 (proof). In N54F33XE07, proof, section B.2.3
History
- 2026-11-01: add by m2/v0.6.13
Dirichlet's theorem on arithmetic progressions 9FJ2E84AKV
| URI | m2://inv/9FJ2E84AKV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euclid's theorem#AT84, Dirichlet's theorem on arithmetic progressions (statement)
History
- 2026-11-02: add by m2/dev
Comparison across memory scales 9FJGW2AAFK
| URI | m2://inv/9FJGW2AAFK |
|---|---|
| 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.15543#2N38, Comparison across memory scales (statement). In TQSHQZFCS5/e1, corollary 5.1
History
- 2026-10-28: add by m2/v0.4.2
Examples 9FJJSH088C
| URI | m2://inv/9FJJSH088C |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Berkovich space#KLPF, Examples (example)
History
- 2026-11-02: add by m2/dev
Complex representation 9FKCT5QB7A
| URI | m2://inv/9FKCT5QB7A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of representation theory topics#II9W, Complex representation (definition)
History
- 2026-11-02: add by m2/dev
9FKJ58KHB6 9FKJ58KHB6
| URI | m2://inv/9FKJ58KHB6 |
|---|---|
| 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 2208.06310#JJNP (statement). In 9YR0E0T9XA/e1, theorem 4.7
History
- 2026-10-27: add by m2/v0.3.5
9FKKJV0XDE 9FKKJV0XDE
| URI | m2://inv/9FKKJV0XDE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/ordinals/iso.tex#thm:woalwayscomparable (statement). In PKGMM3P5QY, thm, section 72.5
History
- 2026-11-01: add by m2/v0.6.13
Cora Sadosky 9FKMBJGGYE
| URI | m2://inv/9FKMBJGGYE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#DUSJ, Cora Sadosky (topic)
History
- 2026-11-02: add by m2/dev
9FKMMGJK67 9FKMMGJK67
| URI | m2://inv/9FKMMGJK67 |
|---|---|
| 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.32439#PSB2 (statement). In GD8D1YH7K4/e1, theorem 3.2
History
- 2026-10-31: add by m2/v0.5.6
Suslin's problem 9FKRXWVK4Q
| URI | m2://inv/9FKRXWVK4Q |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Suslin's problem, Suslin's problem (problem). Also Wikidata Q2296408
History
- 2026-11-02: add by m2/dev
Non-standard model of arithmetic 9FKSNH9XXS
| URI | m2://inv/9FKSNH9XXS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical logic topics#NNU8, Non-standard model of arithmetic (definition)
History
- 2026-11-02: add by m2/dev
9FKTR028F3 9FKTR028F3
| URI | m2://inv/9FKTR028F3 |
|---|---|
| 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 2011.07352#JYTZ (definition). In 3VPC1GGZ3E/e1, definition 3.1
History
- 2026-10-27: add by m2/v0.3.5
9FKV1686TA 9FKV1686TA
| URI | m2://inv/9FKV1686TA |
|---|---|
| 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.07190#TJRS (statement). In ZWS6Q4467X/e1, lemma C.2
History
- 2026-10-29: add by m2/v0.4.10
Properties 9FKYQFCTTN
| URI | m2://inv/9FKYQFCTTN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Circulant matrix#PEK7, Properties (statement)
History
- 2026-11-02: add by m2/dev
Conjecture on Complete Convex Surfaces 9FKZDMTX6D
| URI | m2://inv/9FKZDMTX6D |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Victor Andreevich Toponogov#WIJK, Conjecture on Complete Convex Surfaces (statement)
History
- 2026-11-02: add by m2/dev
LISREL 9FKZQMQGGP
| URI | m2://inv/9FKZQMQGGP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistical software#7N7Z, LISREL (definition)
History
- 2026-11-02: add by m2/dev
9FM4HS4509 9FM4HS4509
| URI | m2://inv/9FM4HS4509 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/complex-ana/meromorphic.tex#thm:arg_principle (statement). In RZP28ERRZV, theorem, section 41.4
History
- 2026-11-01: add by m2/v0.6.13
9FMBY74978 9FMBY74978
| URI | m2://inv/9FMBY74978 |
|---|---|
| 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 2112.05010#LIEV (statement). In 4SZNPS3Z00/e1, lemma 1
History
- 2026-10-27: add by m2/v0.3.6
9FMQ6T1C27 9FMQ6T1C27
| URI | m2://inv/9FMQ6T1C27 |
|---|---|
| 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.26496#E83T (statement)
History
- 2026-11-01: add by m2/v0.6.15
AlphaEvolve 9FMRGFEW5C
| URI | m2://inv/9FMRGFEW5C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical discoveries by artificial intelligence#W32K, AlphaEvolve (definition)
History
- 2026-11-02: add by m2/dev
9FMVY8AB1N 9FMVY8AB1N
| URI | m2://inv/9FMVY8AB1N |
|---|---|
| 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#M5DU (statement). In NB1Z31FMXN/e1, lemma 2.12
History
- 2026-10-29: add by m2/v0.4.12
9FMWMBFVQY 9FMWMBFVQY
| URI | m2://inv/9FMWMBFVQY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33704#K43C (statement). In STRVMT83HE/e1, lemma 7
History
- 2026-10-30: add by m2/v0.4.12
Applications 9FMXEJ75WZ
| URI | m2://inv/9FMXEJ75WZ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Campbell's theorem (geometry)#1JWD, Applications (example)
History
- 2026-11-02: add by m2/dev
Sebastiani, Paola 9FMY24RTKY
| URI | m2://inv/9FMY24RTKY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#AL1O, Sebastiani, Paola (unknown)
History
- 2026-11-02: add by m2/dev
extension 9FN1QBQ4Y9
| URI | m2://inv/9FN1QBQ4Y9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#7W4R, extension (definition)
History
- 2026-11-02: add by m2/dev
9FN416B6VN 9FN416B6VN
| URI | m2://inv/9FN416B6VN |
|---|---|
| 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.06899#2OY7 (statement). In 5Z2K9JGFSS/e1, lemma 3.9
History
- 2026-10-29: add by m2/v0.4.10
9FN44DF8YR 9FN44DF8YR
| URI | m2://inv/9FN44DF8YR |
|---|---|
| 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#9ISC (statement). In TC5QA4AB4Z/e1, proposition 4.50
History
- 2026-10-30: add by m2/v0.4.12
Peter Gustav Lejeune Dirichlet 9FN4TPXP5A
| URI | m2://inv/9FN4TPXP5A |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of eponyms of special functions#KLYR, Peter Gustav Lejeune Dirichlet (topic)
History
- 2026-11-02: add by m2/dev
Ergodicity economics 9FN7K88DF3
| URI | m2://inv/9FN7K88DF3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ergodicity economics, Ergodicity economics (definition). Also Wikidata Q104822256
History
- 2026-11-02: add by m2/dev
Swap-Directional Lipschitz constant 9FN7PBJEQK
| URI | m2://inv/9FN7PBJEQK |
|---|---|
| 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.01199#V3SJ, Swap-Directional Lipschitz constant (statement). In XZ4MRWR77Q/e1, lemma 4
History
- 2026-10-29: add by m2/v0.4.12
9FN8G2QTAC 9FN8G2QTAC
| URI | m2://inv/9FN8G2QTAC |
|---|---|
| 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#AD91 (statement). In MNQAZ70XTH/e1, proposition 4.5
History
- 2026-10-28: add by m2/v0.4.3
9FNFHX88GC 9FNFHX88GC
| URI | m2://inv/9FNFHX88GC |
|---|---|
| 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.21994#XO63 (statement)
History
- 2026-11-02: add by m2/v0.6.17
9FNKAFG2MJ 9FNKAFG2MJ
| URI | m2://inv/9FNKAFG2MJ |
|---|---|
| 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 2503.22636#VC8M (statement). In 2X2A6MT0QD/e1, proposition 3.13
History
- 2026-10-27: add by m2/v0.3.5
9FNNB3KRAK 9FNNB3KRAK
| URI | m2://inv/9FNNB3KRAK |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 26-XX, 35-XX, 46-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.12430#9LTU (definition). In VGKCBWQ65N/e1, definition 2.1
History
- 2026-10-28: add by m2/v0.4.2
9FP56AMNS6 9FP56AMNS6
| URI | m2://inv/9FP56AMNS6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21921#AWM1 (statement). In CM2YEK9T4F/e1, theorem 7.6
History
- 2026-10-27: add by m2/v0.4.2
Yamabe flow 9FPG1FQ1F3
| URI | m2://inv/9FPG1FQ1F3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Yamabe flow, Yamabe flow (definition). Also Wikidata Q8047576
History
- 2026-11-02: add by m2/dev
Permutation images on the lines of a self-polar simplex 9FPMDXM7WY
| URI | m2://inv/9FPMDXM7WY |
|---|---|
| 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.12295#APEY, Permutation images on the lines of a self-polar simplex (statement). In 6DZPR52HRP/e1, theorem 4.28
History
- 2026-10-28: add by m2/v0.4.2
Arlene Ash 9FPR5A19KM
| URI | m2://inv/9FPR5A19KM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#LFGM, Arlene Ash (unknown)
- wikipedia: Wikipedia List of fellows of the American Statistical Association#Q9MC, Arlene Ash (unknown)
History
- 2026-11-02: add by m2/dev
9FQ48FKGFR 9FQ48FKGFR
| URI | m2://inv/9FQ48FKGFR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21934#AXUC (statement). In YKD51BX3XB/e1, lemma 8.5
History
- 2026-10-27: add by m2/v0.4.2
singular homology 9FQ7XH6DE8
| URI | m2://inv/9FQ7XH6DE8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Singular homology M0Q5CFJ7ZH |
Mentions
- wikidata: Wikidata Q1095056, singular homology (unknown). Also MathWorld SingularHomology, nLab singular homology
- wikipedia: Wikipedia Singular homology, Singular homology (definition). Also Wikidata Q1095056
History
- 2026-10-26: add by m2/dev
László Pyber 9FQCJ50H09
| URI | m2://inv/9FQCJ50H09 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#I7NU, László Pyber (topic)
History
- 2026-11-02: add by m2/dev
9FQDW22BA5 9FQDW22BA5
| URI | m2://inv/9FQDW22BA5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36622#66HU (statement). In 9704QPRPR6/e1, proposition 3.16
History
- 2026-10-30: add by m2/v0.4.12
9FQGXKWBCP 9FQGXKWBCP
| URI | m2://inv/9FQGXKWBCP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-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.17669#XOP3 (statement). In RAWXJ72WWA/e1, theorem 2.4
History
- 2026-10-28: add by m2/v0.4.2
9FQJ838YPG 9FQJ838YPG
| URI | m2://inv/9FQJ838YPG |
|---|---|
| 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.06340#4EDU (statement). In PKNZPECH82/e1, corollary 6.2
History
- 2026-10-29: add by m2/v0.4.10
9FQMRW3Z0A 9FQMRW3Z0A
| URI | m2://inv/9FQMRW3Z0A |
|---|---|
| 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 2503.22636#U9JZ (statement). In 2X2A6MT0QD/e1, lemma 4.4
History
- 2026-10-27: add by m2/v0.3.5
9FQSKYK00B 9FQSKYK00B
| URI | m2://inv/9FQSKYK00B |
|---|---|
| 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.05868#B2A0 (statement). In WXD0FASTA7/e1, proposition 5.1
History
- 2026-10-29: add by m2/v0.4.10
Lipschitz bound and extension 9FQVM1D1M7
| URI | m2://inv/9FQVM1D1M7 |
|---|---|
| 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.18350#DODZ, Lipschitz bound and extension (statement). In A20E8FZS21/e1, proposition 4.2
History
- 2026-10-28: add by m2/v0.4.2
\tc{G\_ex 9FQZEZ5CHX
| URI | m2://inv/9FQZEZ5CHX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36279#7CUM, \tc{G\_ex (statement). In HX1QA0MJYV/e1, theorem 4
History
- 2026-10-30: add by m2/v0.4.12
Exceptional parameters and quadratic sections 9FR0K578BP
| URI | m2://inv/9FR0K578BP |
|---|---|
| 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.12483#5EXO, Exceptional parameters and quadratic sections (statement). In 159250CY6S/e1, proposition 9.2
History
- 2026-10-28: add by m2/v0.4.2
9FR4C7PKBN 9FR4C7PKBN
| URI | m2://inv/9FR4C7PKBN |
|---|---|
| Kind | definition |
| 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.38556#IJTX (definition). In GC2H0HS7ZM/e1, definition 4.2
History
- 2026-10-30: add by m2/v0.4.12
Example 9FR5BMXVAN
| URI | m2://inv/9FR5BMXVAN |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Representation theory of finite groups#KZUQ, Example (example)
History
- 2026-11-02: add by m2/dev
Leonidas Alaoglu 9FR5CERHE5
| URI | m2://inv/9FR5CERHE5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Greek mathematicians#PG5G, Leonidas Alaoglu (topic)
History
- 2026-11-02: add by m2/dev
Properties 9FR7R6Y059
| URI | m2://inv/9FR7R6Y059 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Metrizable space#W6VX, Properties (statement)
History
- 2026-11-02: add by m2/dev
system of imprimitivity 9FRDNK7V5G
| URI | m2://inv/9FRDNK7V5G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of representation theory#9LHQ, system of imprimitivity (definition)
History
- 2026-11-02: add by m2/dev
Yum-Tong Siu 9FST51BSYV
| URI | m2://inv/9FST51BSYV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Chinese mathematicians#T77Z, Yum-Tong Siu (topic)
History
- 2026-11-02: add by m2/dev
Dimension, Jordan-block and rank criteria 9FSYF4RSCA
| URI | m2://inv/9FSYF4RSCA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27204#UWTZ, Dimension, Jordan-block and rank criteria (statement)
History
- 2026-11-01: add by m2/v0.6.15
Definitions 9FT8S4Y89M
| URI | m2://inv/9FT8S4Y89M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rushbrooke inequality#DD69, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Group-character theory 9FTEW6J591
| URI | m2://inv/9FTEW6J591 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#GOMU, Group-character theory (definition)
History
- 2026-11-02: add by m2/dev
9FTFDJX571 9FTFDJX571
| URI | m2://inv/9FTFDJX571 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2405.14678#057M (example). In 9ZSNSJRJ5N/e1, example 56
History
- 2026-10-27: add by m2/v0.4.2
$L^2$ conditional response-noise bound 9FTG3Y5MV1
| URI | m2://inv/9FTG3Y5MV1 |
|---|---|
| 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#UK0H, $L^2$ conditional response-noise bound (statement). In 4HJK1986EJ/e1, lemma C.17
History
- 2026-10-29: add by m2/v0.4.10
Geoffrey McLachlan 9FTT6D7MVY
| URI | m2://inv/9FTT6D7MVY |
|---|---|
| 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#CYI3, Geoffrey McLachlan (unknown)
History
- 2026-11-02: add by m2/dev
Theorem 9FTVWBWC9M
| URI | m2://inv/9FTVWBWC9M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fine and Wilf's theorem#9DUI, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Continuous complexity theory 9FV7W467R0
| URI | m2://inv/9FV7W467R0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Computational complexity theory#REWR, Continuous complexity theory (unknown)
History
- 2026-11-02: add by m2/dev
Dirichlet energy 9FVBYVW4G7
| URI | m2://inv/9FVBYVW4G7 |
|---|---|
| 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 2607.28185#KYYP, Dirichlet energy (definition). In EG1XXNSTXX/e1, definition 3.1
History
- 2026-10-27: add by m2/v0.3.5
Carlo Cercignani 9FVCM8J6BA
| URI | m2://inv/9FVCM8J6BA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#YKGV, Carlo Cercignani (unknown)
History
- 2026-11-02: add by m2/dev
9FVCYCMYFE 9FVCYCMYFE
| URI | m2://inv/9FVCYCMYFE |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21960#4JHI (definition). In QX77AN49J0/e1, definition 2.4
History
- 2026-10-27: add by m2/v0.4.2
Eulerian poset 9FVE90A2DR
| URI | m2://inv/9FVE90A2DR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eulerian poset, Eulerian poset (definition). Also Wikidata Q5409003
History
- 2026-11-02: add by m2/dev
Extensions at the certified parameter 9FVG8D2269
| URI | m2://inv/9FVG8D2269 |
|---|---|
| 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.15125#GHG9, Extensions at the certified parameter (statement). In V5GT8NJKCM/e1, proposition H.3
History
- 2026-10-28: add by m2/v0.4.2
9FVHJCKQ6W 9FVHJCKQ6W
| URI | m2://inv/9FVHJCKQ6W |
|---|---|
| Kind | definition |
| 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.17737#VGD5 (definition). In 8SXY7Y68HV/e1, definition 2.2
History
- 2026-10-28: add by m2/v0.4.2
Bean curve 9FVMGC6CXM
| URI | m2://inv/9FVMGC6CXM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Plane quartic curve#P033, Bean curve (unknown)
History
- 2026-11-02: add by m2/dev
Caccioppoli inequality 2 9FVMXW3VYZ
| URI | m2://inv/9FVMXW3VYZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 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.25801#ZV67, Caccioppoli inequality 2 (statement)
History
- 2026-11-01: add by m2/v0.6.15
9FVX56FADS 9FVX56FADS
| URI | m2://inv/9FVX56FADS |
|---|---|
| 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#XJ77 (statement). In M0SQY5EZN5/e1, lemma 4.6.6
History
- 2026-10-27: add by m2/v0.3.5
Corrected Lemma 7 9FW2RC1B3M
| URI | m2://inv/9FW2RC1B3M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX, 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 1007.0842#IDX4, Corrected Lemma 7 (statement). In SEBS9D5AC5/e1, lemma 3.1
History
- 2026-10-27: add by m2/v0.3.5
Venterus Mandey 9FW392DNZ1
| URI | m2://inv/9FW392DNZ1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Venterus Mandey, Venterus Mandey (topic). Also Wikidata Q104726609
History
- 2026-11-02: add by m2/dev
Simplicial homotopy class 9FW7Y30DYN
| URI | m2://inv/9FW7Y30DYN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Simplicial homotopy#FUEF, Simplicial homotopy class (unknown)
History
- 2026-11-02: add by m2/dev
Demographic history of Scotland 9FWJNR2N7A
| URI | m2://inv/9FWJNR2N7A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Demographic history of Scotland, Demographic history of Scotland (definition). Also Wikidata Q16843496
History
- 2026-11-02: add by m2/dev
Indian Institute of Management, Calcutta 9FWRP1QKX3
| URI | m2://inv/9FWRP1QKX3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Srinivasa Ramanujan#KP4I, Indian Institute of Management, Calcutta (unknown)
History
- 2026-11-02: add by m2/dev
Example 9FWVBD7QAF
| URI | m2://inv/9FWVBD7QAF |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Planar lamina#6SRG, Example (example)
History
- 2026-11-02: add by m2/dev
Grigori Tseitin 9FWXWBHCDW
| URI | m2://inv/9FWXWBHCDW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Grigori Tseitin, Grigori Tseitin (topic). Also Wikidata Q54086508
History
- 2026-11-02: add by m2/dev
9FX1C7SH00 9FX1C7SH00
| URI | m2://inv/9FX1C7SH00 |
|---|---|
| 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.05459#42Y0 (statement). In VYW16D089Y/e1, theorem 5.6
History
- 2026-10-29: add by m2/v0.4.10
Marks 9FX589E7F5
| URI | m2://inv/9FX589E7F5 |
|---|---|
| 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.20760#BWMI, Marks (statement). In 6G9JSJ5JMP/e1, corollary 23
History
- 2026-10-27: add by m2/v0.4.2
Spherical divergence 9FX71GJKJE
| URI | m2://inv/9FX71GJKJE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Divergence#W3VT, Spherical divergence (unknown)
History
- 2026-11-02: add by m2/dev
9FXB1NRY83 9FXB1NRY83
| URI | m2://inv/9FXB1NRY83 |
|---|---|
| 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.27414#9EAX (statement)
History
- 2026-11-01: add by m2/v0.6.15
Normalized moments 9FXCXGS4DW
| URI | m2://inv/9FXCXGS4DW |
|---|---|
| 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.37074#9S8A, Normalized moments (definition). In VTNV72MCVD/e1, definition 3.1
History
- 2026-10-30: add by m2/v0.4.12
9FXJR7S04Z 9FXJR7S04Z
| URI | m2://inv/9FXJR7S04Z |
|---|---|
| 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#UFQ6 (statement). In TTRSZVT4VX/e1, theorem 4.8
History
- 2026-10-27: add by m2/v0.4.2
Stone's theorem on one-parameter unitary groups 9FXJX93MYQ
| URI | m2://inv/9FXJX93MYQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#S0Z0, Stone's theorem on one-parameter unitary groups (statement)
History
- 2026-11-02: add by m2/dev
9FXW1XWKX2 9FXW1XWKX2
| URI | m2://inv/9FXW1XWKX2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03231#TMR9 (statement). In 3Y76AQQGF0/e1, lemma 2.7
History
- 2026-10-29: add by m2/v0.4.12
Apportionment paradox 9FXX0FJFE8
| URI | m2://inv/9FXX0FJFE8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Apportionment paradox, Apportionment paradox (statement). Also Wikidata Q13627582
History
- 2026-11-02: add by m2/dev
9FXZV1X4EJ 9FXZV1X4EJ
| URI | m2://inv/9FXZV1X4EJ |
|---|---|
| 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 2511.05069#GJTN (statement). In SFQBJBTW8K/e1, proposition 14.10
History
- 2026-10-27: add by m2/v0.3.5
Moti Yung 9FY1V2TVEW
| URI | m2://inv/9FY1V2TVEW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cryptographers#XKOD, Moti Yung (unknown)
History
- 2026-11-02: add by m2/dev
9FY3KK0H3E 9FY3KK0H3E
| URI | m2://inv/9FY3KK0H3E |
|---|---|
| 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#E900 (definition)
History
- 2026-11-01: add by m2/v0.6.15
Jump process 9FYVRGV6RR
| URI | m2://inv/9FYVRGV6RR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jump process, Jump process (definition). Also Wikidata Q3922411
History
- 2026-11-02: add by m2/dev
9FYYGG37TH 9FYYGG37TH
| URI | m2://inv/9FYYGG37TH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/natural-deduction/soundness.tex#cor:weak-soundness (statement). In PKGMM3P5QY, cor, section 15.11
History
- 2026-11-01: add by m2/v0.6.13
V. J. Havel 9FZ11J74B3
| URI | m2://inv/9FZ11J74B3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia V. J. Havel, V. J. Havel (topic). Also Wikidata Q7906057
History
- 2026-11-02: add by m2/dev
Properties 9FZ94QS3D8
| URI | m2://inv/9FZ94QS3D8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Homotopy associative algebra#EV1T, Properties (statement)
History
- 2026-11-02: add by m2/dev
9FZCE10ADK 9FZCE10ADK
| URI | m2://inv/9FZCE10ADK |
|---|---|
| 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.20590#M5UV (statement)
History
- 2026-11-02: add by m2/v0.6.18
Manifold 9FZDJFV305
| URI | m2://inv/9FZDJFV305 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of differential geometry topics#3WYU, Manifold (definition)
- wikipedia: Wikipedia List of general topology topics#T13O, Manifold (definition)
History
- 2026-11-02: add by m2/dev
9FZDV5MYDP 9FZDV5MYDP
| URI | m2://inv/9FZDV5MYDP |
|---|---|
| Kind | conjecture |
| 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.03208#053H (conjecture). In A3CMP0TJK2/e1, conjecture II
History
- 2026-10-29: add by m2/v0.4.12
John Perry (philosopher) 9FZHAHFZ7Z
| URI | m2://inv/9FZHAHFZ7Z |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#MBEO, John Perry (philosopher) (topic)
History
- 2026-11-02: add by m2/dev
9FZMP631HF 9FZMP631HF
| URI | m2://inv/9FZMP631HF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25915#QNBS (statement)
History
- 2026-11-01: add by m2/v0.6.15
Beck's theorem 9FZN95N5JZ
| URI | m2://inv/9FZN95N5JZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Incidence geometry#KKJ5, Beck's theorem (statement)
History
- 2026-11-02: add by m2/dev
Richard A. Brualdi 9FZNPPX433
| URI | m2://inv/9FZNPPX433 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Richard A. Brualdi, Richard A. Brualdi (topic). Also Wikidata Q1446517
History
- 2026-11-02: add by m2/dev
9FZTFCJV9A 9FZTFCJV9A
| URI | m2://inv/9FZTFCJV9A |
|---|---|
| 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#5E4D (statement). In 9YAE8FNQST/e1, proposition A.2
History
- 2026-10-30: add by m2/v0.4.12
Tensor derivative 9FZW7NKGM1
| URI | m2://inv/9FZW7NKGM1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of tensor theory#0T3Q, Tensor derivative (definition)
History
- 2026-11-02: add by m2/dev
Applications 9FZY20K7P3
| URI | m2://inv/9FZY20K7P3 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Murray's law#2YP9, Applications (example)
History
- 2026-11-02: add by m2/dev
Inverse transform sampling method 9FZZW1RJX9
| URI | m2://inv/9FZZW1RJX9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematics-based methods#9Z9O, Inverse transform sampling method (definition)
History
- 2026-11-02: add by m2/dev