Inventory rows 8S
The cards of the rows of the inventory whose ids start with 8S. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Emitter theory 8S06RS6KRQ
| URI | m2://inv/8S06RS6KRQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of superseded scientific theories#IDGY, Emitter theory (unknown)
History
- 2026-11-02: add by m2/dev
Examples 8S09WT3XYV
| URI | m2://inv/8S09WT3XYV |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Complemented subspace#ZGFS, Examples (example)
History
- 2026-11-02: add by m2/dev
Degree and coprimality of a Schur sum 8S0BDN789N
| URI | m2://inv/8S0BDN789N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19669#2546, Degree and coprimality of a Schur sum (statement). In 1QPAA94Q76/e1, lemma 16
History
- 2026-10-28: add by m2/v0.4.2
Earth's rotation 8S0CDBBS95
| URI | m2://inv/8S0CDBBS95 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Earth's rotation, Earth's rotation (definition). Also Wikidata Q244743
History
- 2026-11-02: add by m2/dev
Stochastic Poincaré–Bendixson theorem 8S0DFMET4T
| URI | m2://inv/8S0DFMET4T |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Supersymmetric theory of stochastic dynamics#3N13, Stochastic Poincaré–Bendixson theorem (statement)
History
- 2026-11-02: add by m2/dev
Examples 8S0KZ8QAQN
| URI | m2://inv/8S0KZ8QAQN |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Congruence-permutable algebra#4960, Examples (example)
History
- 2026-11-02: add by m2/dev
Null set 8S0N0M739B
| URI | m2://inv/8S0N0M739B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of exceptional set concepts#V2Q0, Null set (definition)
History
- 2026-11-02: add by m2/dev
8S0YRSRQAK 8S0YRSRQAK
| URI | m2://inv/8S0YRSRQAK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/filtrations/examples-of-filtrations.tex#defn-2 (definition). In PKGMM3P5QY, defn, section 51.9
History
- 2026-11-01: add by m2/v0.6.13
Cohen–Sutherland algorithm 8S194V9R2V
| URI | m2://inv/8S194V9R2V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cohen–Sutherland algorithm, Cohen–Sutherland algorithm (definition). Also Wikidata Q1934994
History
- 2026-11-02: add by m2/dev
8S1G5X9JV3 8S1G5X9JV3
| URI | m2://inv/8S1G5X9JV3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 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.31445#IRN0 (statement). In 7V2PVZS04C/e1, theorem 5.15
History
- 2026-10-31: add by m2/v0.5.6
8S1VWJZYHF 8S1VWJZYHF
| URI | m2://inv/8S1VWJZYHF |
|---|---|
| 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.32651#HUM5 (statement). In WFJXSE3VDT/e1, corollary 5.2
History
- 2026-10-31: add by m2/v0.5.6
Dmitri Ilyich Kozlov 8S21STAMD3
| URI | m2://inv/8S21STAMD3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#PC5K, Dmitri Ilyich Kozlov (unknown)
History
- 2026-11-02: add by m2/dev
Construction 8S24B2CTJ0
| URI | m2://inv/8S24B2CTJ0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Golden ratio#A1PW, Construction (definition)
History
- 2026-11-02: add by m2/dev
8S24JE9JPB 8S24JE9JPB
| URI | m2://inv/8S24JE9JPB |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20801#RIHV (definition). In A1GWWGRXPA/e1, definition 3.20
History
- 2026-10-27: add by m2/v0.4.2
8S26BHQG31 8S26BHQG31
| URI | m2://inv/8S26BHQG31 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-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.26479#7NG9 (definition)
History
- 2026-11-01: add by m2/v0.6.15
Simplified form of the main result 8S276GS8NA
| URI | m2://inv/8S276GS8NA |
|---|---|
| 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.25367#7MB8, Simplified form of the main result (statement)
History
- 2026-11-01: add by m2/v0.6.15
Aurore Delaigle 8S2C14WC5J
| URI | m2://inv/8S2C14WC5J |
|---|---|
| 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#R2OD, Aurore Delaigle (unknown)
History
- 2026-11-02: add by m2/dev
Anosov diffeomorphism 8S2CZ2QFPV
| URI | m2://inv/8S2CZ2QFPV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Anosov diffeomorphism RCQH8P6DPQ |
Mentions
- wikidata: Wikidata Q56297274, Anosov diffeomorphism (unknown). Also MathWorld AnosovDiffeomorphism
- wikipedia: Wikipedia Anosov diffeomorphism, Anosov diffeomorphism (definition). Also Wikidata Q56297274
History
- 2026-10-26: add by m2/dev
ordered field, admissible 8S2HXRT53F
| URI | m2://inv/8S2HXRT53F |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/B.4/ordered-field-admissible, ordered field, admissible (concept). In N54F33XE07, index, section B.4
History
- 2026-11-01: add by m2/v0.6.13
8S2NZHXVB2 8S2NZHXVB2
| URI | m2://inv/8S2NZHXVB2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2309.01359#0SGO (statement). In BFV19FC2G7/e1, lemma 2.4
History
- 2026-10-27: add by m2/v0.3.5
Cesare Burali-Forti 8S2PXDJ68T
| URI | m2://inv/8S2PXDJ68T |
|---|---|
| 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 Q779798, Cesare Burali-Forti (unknown). Also nLab Cesare Burali-Forti
- wikipedia: Wikipedia Cesare Burali-Forti, Cesare Burali-Forti (topic). Also Wikidata Q779798
History
- 2026-10-26: add by m2/dev
8S2RQJ15HG 8S2RQJ15HG
| URI | m2://inv/8S2RQJ15HG |
|---|---|
| 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.21116#612T (statement)
History
- 2026-11-02: add by m2/v0.6.18
Quillen-Venkov for eventually negligible classes 8S2S1KAT6B
| URI | m2://inv/8S2S1KAT6B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19251#75FG, Quillen-Venkov for eventually negligible classes (statement). In CSW6NG0FRN/e1, theorem 2.5
History
- 2026-10-28: add by m2/v0.4.2
tetragram 8S2SSWGYWK
| URI | m2://inv/8S2SSWGYWK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#0SNI, tetragram (definition)
History
- 2026-11-02: add by m2/dev
Applications 8S2Z13KQP4
| URI | m2://inv/8S2Z13KQP4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pfaffian#E5MP, Applications (example)
History
- 2026-11-02: add by m2/dev
Peter Crüger 8S2Z9HRAXV
| URI | m2://inv/8S2Z9HRAXV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#IF8J, Peter Crüger (unknown)
History
- 2026-11-02: add by m2/dev
Markovian 8S306Q4G5C
| URI | m2://inv/8S306Q4G5C |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability topics#YGTX, Markovian (unknown)
History
- 2026-11-02: add by m2/dev
Quantitative halfspace property 8S3BF4TRZR
| URI | m2://inv/8S3BF4TRZR |
|---|---|
| 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.20031#W3MK, Quantitative halfspace property (statement)
History
- 2026-11-02: add by m2/v0.6.18
uncertainty principle 8S3D313WFX
| URI | m2://inv/8S3D313WFX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q44746, uncertainty principle (unknown). Also EoM Uncertainty_principle, nLab uncertainty principle
- wikipedia: Wikipedia Uncertainty principle, Uncertainty principle (statement). Also Wikidata Q44746
History
- 2026-10-26: add by m2/dev
Pitman, E. J. G. 8S3FAAZRK6
| URI | m2://inv/8S3FAAZRK6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#TMS7, Pitman, E. J. G. (topic)
History
- 2026-11-02: add by m2/dev
Weighted Grassmann-type formula 8S3HVGYG1A
| URI | m2://inv/8S3HVGYG1A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 16-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06739#CPH4, Weighted Grassmann-type formula (statement). In HA9B7PD0YV/e1, theorem 6
History
- 2026-10-29: add by m2/v0.4.10
8S3NFD98CZ 8S3NFD98CZ
| URI | m2://inv/8S3NFD98CZ |
|---|---|
| Kind | problem |
| 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#9P6W (problem). In G116A4SMS4/e1, problem
History
- 2026-10-28: add by m2/v0.4.2
8S3TMX7DT1 8S3TMX7DT1
| URI | m2://inv/8S3TMX7DT1 |
|---|---|
| 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.16898#ABBC (statement). In C8SYQK0GNJ/e1, theorem 3
History
- 2026-10-28: add by m2/v0.4.2
8S3XPJV5T4 8S3XPJV5T4
| URI | m2://inv/8S3XPJV5T4 |
|---|---|
| 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.10365#L1FW (statement). In PRVQPSBVHK/e1, proposition 5
History
- 2026-10-29: add by m2/v0.4.10
ANNNI model 8S3XWKCPHQ
| URI | m2://inv/8S3XWKCPHQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia ANNNI model, ANNNI model (definition). Also Wikidata Q295734
History
- 2026-11-02: add by m2/dev
Lusin's separation theorem 8S4B2JCHKY
| URI | m2://inv/8S4B2JCHKY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lusin's separation theorem, Lusin's separation theorem (statement). Also Wikidata Q6705124
History
- 2026-11-02: add by m2/dev
Chaplygin's Theorem 8S4BJGM8JS
| URI | m2://inv/8S4BJGM8JS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chaplygin's Theorem and Method for Solving ODE#7X8G, Chaplygin's Theorem (statement)
History
- 2026-11-02: add by m2/dev
8S4FR0HA9G 8S4FR0HA9G
| URI | m2://inv/8S4FR0HA9G |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/set-theory/models.tex#theorem-2 (statement). In RZP28ERRZV, theorem, section 91.7
History
- 2026-11-01: add by m2/v0.6.13
8S4G3RVZN0 8S4G3RVZN0
| URI | m2://inv/8S4G3RVZN0 |
|---|---|
| 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.35460#XB8R (statement). In R515NECVME/e1, lemma 7.5
History
- 2026-10-30: add by m2/v0.4.12
Statement 8S4NX7GPTC
| URI | m2://inv/8S4NX7GPTC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Riemann–Hurwitz formula#4U7Z, Statement (statement)
History
- 2026-11-02: add by m2/dev
Ole Peder Arvesen 8S4R94CA3S
| URI | m2://inv/8S4R94CA3S |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ole Peder Arvesen, Ole Peder Arvesen (topic). Also Wikidata Q12717472
History
- 2026-11-02: add by m2/dev
8S4WKMEK09 8S4WKMEK09
| URI | m2://inv/8S4WKMEK09 |
|---|---|
| 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.10452#TUKP (statement). In 2F4PNP1V3B/e1, corollary 5.2
History
- 2026-10-29: add by m2/v0.4.10
Anderson–Kadec 8S52SAA16D
| URI | m2://inv/8S52SAA16D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of functional analysis#JYEV, Anderson–Kadec (definition)
History
- 2026-11-02: add by m2/dev
axiom 8S53W571T8
| URI | m2://inv/8S53W571T8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#F0SP, axiom (definition)
History
- 2026-11-02: add by m2/dev
8S57YK64VF 8S57YK64VF
| URI | m2://inv/8S57YK64VF |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2303.09207#HOUC (definition). In 9DQKY7KGE8/e1, definition 7.8
History
- 2026-10-31: add by m2/v0.5.6
Bengt O. Muthén 8S59B4JY15
| URI | m2://inv/8S59B4JY15 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bengt O. Muthén, Bengt O. Muthén (topic). Also Wikidata Q28924969
History
- 2026-11-02: add by m2/dev
Directed profile radius 8S5A1EXK6S
| URI | m2://inv/8S5A1EXK6S |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13580#MOSG, Directed profile radius (definition). In KEQ57N9N7Z/e1, definition 3.14
History
- 2026-10-28: add by m2/v0.4.2
case of a f\/inite group 8S5DY1ZD6A
| URI | m2://inv/8S5DY1ZD6A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1408.1555#93ZP, case of a f\/inite group (statement). In S1F2QW24YW/e1, proposition 5.4
History
- 2026-10-27: add by m2/v0.3.5
8S5EG78P1F 8S5EG78P1F
| URI | m2://inv/8S5EG78P1F |
|---|---|
| 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.22074#ECHB (statement). In F3BKXXPR3K/e1, theorem 4.22
History
- 2026-10-27: add by m2/v0.4.2
Voigt distribution 8S5HGFWE21
| URI | m2://inv/8S5HGFWE21 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability distributions#S2KK, Voigt distribution (definition)
History
- 2026-11-02: add by m2/dev
8S5MCZ6FEB 8S5MCZ6FEB
| URI | m2://inv/8S5MCZ6FEB |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19260#K2A2 (definition). In PWXT7J9JX3/e1, definition 3.12
History
- 2026-10-28: add by m2/v0.4.2
8S5ZDTC6MK 8S5ZDTC6MK
| URI | m2://inv/8S5ZDTC6MK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2303.09207#N1B1 (statement). In 9DQKY7KGE8/e1, proposition C.17
History
- 2026-10-31: add by m2/v0.5.6
Periodic spectra 8S5ZGJC7T7
| URI | m2://inv/8S5ZGJC7T7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-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 2610.09912#UYG9, Periodic spectra (statement). In 65TJENWK7X/e1, proposition 76
History
- 2026-10-29: add by m2/v0.4.10
Propositions 8S60KRRYE1
| URI | m2://inv/8S60KRRYE1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chrysippus#84KU, Propositions (statement)
History
- 2026-11-02: add by m2/dev
8S60QJ5QWG 8S60QJ5QWG
| URI | m2://inv/8S60QJ5QWG |
|---|---|
| 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.12633#MC6W (statement). In NGZ5AZ70NN/e1, proposition 4.1
History
- 2026-10-28: add by m2/v0.4.2
Method 8S61JJQZPR
| URI | m2://inv/8S61JJQZPR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fundamentum Astronomiae#0ZSJ, Method (definition)
History
- 2026-11-02: add by m2/dev
8S622FVE49 8S622FVE49
| URI | m2://inv/8S622FVE49 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-eigenvalue-probs.tex#exercise-2 (exercise). In E9HS8K3A52, exercise, section 3.1.1
History
- 2026-11-01: add by m2/v0.6.13
8S63BWE7BX 8S63BWE7BX
| URI | m2://inv/8S63BWE7BX |
|---|---|
| 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#2R2T (statement). In YKD51BX3XB/e1, lemma 8.10
History
- 2026-10-27: add by m2/v0.4.2
Variants 8S643XSS1P
| URI | m2://inv/8S643XSS1P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sequent calculus#34WS, Variants (statement)
History
- 2026-11-02: add by m2/dev
8S66BHECCY 8S66BHECCY
| URI | m2://inv/8S66BHECCY |
|---|---|
| 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.20401#IS1Q (statement)
History
- 2026-11-02: add by m2/v0.6.18
Esteban Terradas i Illa 8S679H45JF
| URI | m2://inv/8S679H45JF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Esteban Terradas i Illa, Esteban Terradas i Illa (topic). Also Wikidata Q4894155
History
- 2026-11-02: add by m2/dev
8S6P0ZWHQX 8S6P0ZWHQX
| URI | m2://inv/8S6P0ZWHQX |
|---|---|
| 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 math/9801068#HQU7 (statement). In PMMWXCJVAZ/e1, proposition 5.5
History
- 2026-10-27: add by m2/v0.3.5
range 8S6QTD41BK
| URI | m2://inv/8S6QTD41BK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of probability and statistics#JW1O, range (definition)
History
- 2026-11-02: add by m2/dev
8S754GXG9F 8S754GXG9F
| URI | m2://inv/8S754GXG9F |
|---|---|
| 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.40345#UG46 (statement). In WK0PT95WW1/e1, lemma A.3
History
- 2026-10-30: add by m2/v0.4.12
Implementations 8S7673CHQT
| URI | m2://inv/8S7673CHQT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multidimensional scaling#LB8J, Implementations (definition)
History
- 2026-11-02: add by m2/dev
carrier 8S7ARZQ3T8
| URI | m2://inv/8S7ARZQ3T8 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/A.6/carrier, carrier (concept). In N54F33XE07, index, section A.6
History
- 2026-11-01: add by m2/v0.6.13
8S7MWQMT3W 8S7MWQMT3W
| URI | m2://inv/8S7MWQMT3W |
|---|---|
| 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 2609.20522#7G6N (statement)
History
- 2026-11-02: add by m2/v0.6.18
8S7XHQM6VC 8S7XHQM6VC
| URI | m2://inv/8S7XHQM6VC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11700#5VMC (statement). In RW9AZQ1YZ2/e1, proposition 13
History
- 2026-10-28: add by m2/v0.4.3
Properties 8S81DFGJM1
| URI | m2://inv/8S81DFGJM1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Canonical ensemble#AY6X, Properties (statement)
History
- 2026-11-02: add by m2/dev
Streamgraph 8S846PP7M4
| URI | m2://inv/8S846PP7M4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Streamgraph, Streamgraph (definition). Also Wikidata Q7622684
History
- 2026-11-02: add by m2/dev
8S8B2YDEN7 8S8B2YDEN7
| URI | m2://inv/8S8B2YDEN7 |
|---|---|
| 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.35691#I60D (statement). In G7R61RPWE2/e1, lemma A.1
History
- 2026-10-30: add by m2/v0.4.12
Definist fallacy (logic) 8S8BP85KVK
| URI | m2://inv/8S8BP85KVK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fallacies of definition#F43M, Definist fallacy (logic) (unknown)
History
- 2026-11-02: add by m2/dev
Discretization error 8S8E8XKKSZ
| URI | m2://inv/8S8E8XKKSZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Discretization error, Discretization error (definition). Also Wikidata Q3890355
History
- 2026-11-02: add by m2/dev
8S8S635275 8S8S635275
| URI | m2://inv/8S8S635275 |
|---|---|
| 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 2211.04758#FY82 (statement). In DRWDJG2G3S/e1, lemma 6.2
History
- 2026-10-31: add by m2/v0.5.6
Dipendra Prasad 8S8Z1QCZV1
| URI | m2://inv/8S8Z1QCZV1 |
|---|---|
| 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#GX11, Dipendra Prasad (topic)
History
- 2026-11-02: add by m2/dev
Example 8S91SHTD3R
| URI | m2://inv/8S91SHTD3R |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rankit#U7VS, Example (example)
History
- 2026-11-02: add by m2/dev
Cantor tree surface 8S979GZTKW
| URI | m2://inv/8S979GZTKW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cantor tree surface, Cantor tree surface (definition). Also Wikidata Q5034031
History
- 2026-11-02: add by m2/dev
Group family 8S98Q10CW8
| URI | m2://inv/8S98Q10CW8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Group family, Group family (definition). Also Wikidata Q5611229
History
- 2026-11-02: add by m2/dev
Applications 8S98XAB1AD
| URI | m2://inv/8S98XAB1AD |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Central product#2R9B, Applications (example)
History
- 2026-11-02: add by m2/dev
Minimax approximation algorithm 8S9CSFMJD2
| URI | m2://inv/8S9CSFMJD2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#KPMY, Minimax approximation algorithm (definition)
History
- 2026-11-02: add by m2/dev
König's theorem 8S9MH6EQ85
| URI | m2://inv/8S9MH6EQ85 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 05-XX |
| Sources | 4 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Kőnig's theorem 0JP0ZF57PN |
Mentions
- mathlib_1000: mathlib_1000 Q897769, Kőnig's theorem (graph theory) (statement). Also Wikidata Q897769
- thousand_plus: thousand_plus Q897769, Kőnig's theorem (statement). Also Wikidata Q897769, Wikipedia Kőnig's theorem (graph theory)
- wikidata: Wikidata Q897769, König's theorem (statement). Also MathWorld Koenig-EgevaryTheorem
- wikipedia: Wikipedia Kőnig's theorem (graph theory), Kőnig's theorem (statement). Also Wikidata Q897769
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Knot composition 8SA515JS0S
| URI | m2://inv/8SA515JS0S |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Connected sum#319S, Knot composition (unknown)
History
- 2026-11-02: add by m2/dev
Flype 8SA61J3SDG
| URI | m2://inv/8SA61J3SDG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Flype, Flype (definition). Also Wikidata Q5463669
History
- 2026-11-02: add by m2/dev
Kronecker–Weber theorem 8SA6Y3SW54
| URI | m2://inv/8SA6Y3SW54 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#4K3E, Kronecker–Weber theorem (statement)
History
- 2026-11-02: add by m2/dev
Example 8SAA2TS040
| URI | m2://inv/8SAA2TS040 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Semisimple representation#7A2O, Example (example)
History
- 2026-11-02: add by m2/dev
Compensatory fuzzy logic 8SAD71CNHQ
| URI | m2://inv/8SAD71CNHQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fuzzy logic#1VIN, Compensatory fuzzy logic (unknown)
History
- 2026-11-02: add by m2/dev
8SAHSWTHMM 8SAHSWTHMM
| URI | m2://inv/8SAHSWTHMM |
|---|---|
| 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 2412.14956#LB2R (statement). In T8BQ6HHZYT/e1, proposition 6.25
History
- 2026-10-27: add by m2/v0.3.5
8SAPD49ZQF 8SAPD49ZQF
| URI | m2://inv/8SAPD49ZQF |
|---|---|
| Kind | problem |
| 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 2205.13464#G86P (problem). In JPYGC2R3FC/e1, problem 1.2
History
- 2026-10-27: add by m2/v0.3.6
8SATT0R0JY 8SATT0R0JY
| URI | m2://inv/8SATT0R0JY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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 2609.21090#J70F (statement)
History
- 2026-11-02: add by m2/v0.6.18
8SAW941QND 8SAW941QND
| URI | m2://inv/8SAW941QND |
|---|---|
| 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.01501#DYR1 (statement). In 8Q2PXZDGB5/e1, lemma 4.9
History
- 2026-10-29: add by m2/v0.4.12
8SAYB671B4 8SAYB671B4
| URI | m2://inv/8SAYB671B4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24892#BXWY (statement)
History
- 2026-11-01: add by m2/v0.6.15
edge-critical graph 8SB630ZZV0
| URI | m2://inv/8SB630ZZV0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q141665403, edge-critical graph (unknown). Also MathWorld Edge-CriticalGraph
History
- 2026-10-26: add by m2/dev
Elementary consequences of the root system axioms 8SB6F96HV0
| URI | m2://inv/8SB6F96HV0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Root system#V3AL, Elementary consequences of the root system axioms (statement)
History
- 2026-11-02: add by m2/dev
Confidence distribution 8SB9WR8KRK
| URI | m2://inv/8SB9WR8KRK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#Z7IB, Confidence distribution (definition)
History
- 2026-11-02: add by m2/dev
8SBP2FQT1D 8SBP2FQT1D
| URI | m2://inv/8SBP2FQT1D |
|---|---|
| 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 2610.06480#OS9T (statement). In 2Y47E704Z9/e1, proposition 8.8
History
- 2026-10-29: add by m2/v0.4.10
8SBQSK6W9A 8SBQSK6W9A
| URI | m2://inv/8SBQSK6W9A |
|---|---|
| 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.35669#1WQW (statement). In 8380G43M8E/e1, lemma A.2
History
- 2026-10-30: add by m2/v0.4.12
S-1 block cipher 8SBSPB2APN
| URI | m2://inv/8SBSPB2APN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia S-1 block cipher, S-1 block cipher (definition). Also Wikidata Q727476
History
- 2026-11-02: add by m2/dev
8SBW88PX5S 8SBW88PX5S
| URI | m2://inv/8SBW88PX5S |
|---|---|
| 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.14068#Y8QH (statement). In JF19FEH3SW/e1, proposition 9.6
History
- 2026-10-28: add by m2/v0.4.2
8SBWXK76TE 8SBWXK76TE
| URI | m2://inv/8SBWXK76TE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/PowerSets.tex#theorem-1 (statement). In P1C114YBXG, theorem, section G
History
- 2026-11-01: add by m2/v0.6.13
Mary Flahive 8SBZ85HE4M
| URI | m2://inv/8SBZ85HE4M |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mary Flahive, Mary Flahive (topic). Also Wikidata Q49561956
History
- 2026-11-02: add by m2/dev
Herman Müntz 8SC054D3HH
| URI | m2://inv/8SC054D3HH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#YQ4T, Herman Müntz (topic)
History
- 2026-11-02: add by m2/dev
Bolza surface 8SC3N5TYZT
| URI | m2://inv/8SC3N5TYZT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of curves#KJUV, Bolza surface (definition)
History
- 2026-11-02: add by m2/dev
support-exclusion criterion 8SC8352XGA
| URI | m2://inv/8SC8352XGA |
|---|---|
| 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.39395#MSCW, support-exclusion criterion (statement). In ZDVPJ1XX5Z/e1, theorem 3
History
- 2026-10-30: add by m2/v0.4.12
8SCDCZ0P9K 8SCDCZ0P9K
| URI | m2://inv/8SCDCZ0P9K |
|---|---|
| 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.25717#WFXE (statement)
History
- 2026-11-01: add by m2/v0.6.15
Funnel analysis 8SCDT4WTEA
| URI | m2://inv/8SCDT4WTEA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Funnel analysis, Funnel analysis (definition). Also Wikidata Q18356622
History
- 2026-11-02: add by m2/dev
Time Warp Edit Distance 8SCJVXDAES
| URI | m2://inv/8SCJVXDAES |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Time Warp Edit Distance, Time Warp Edit Distance (definition). Also Wikidata Q15850970
History
- 2026-11-02: add by m2/dev
8SCR0QXBJ5 8SCR0QXBJ5
| URI | m2://inv/8SCR0QXBJ5 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09678#6FWY (definition). In 9VG7PNZHZT/e1, definition 5.3
History
- 2026-10-29: add by m2/v0.4.10
Hamming function 8SCSMHX4P0
| URI | m2://inv/8SCSMHX4P0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Window function#JHWG, Hamming function (unknown)
History
- 2026-11-02: add by m2/dev
Gerhard Kowalewski 8SCSSQQWVT
| URI | m2://inv/8SCSSQQWVT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gerhard Kowalewski, Gerhard Kowalewski (topic). Also Wikidata Q84785
History
- 2026-11-02: add by m2/dev
Compactly generated group 8SCTV8FS71
| URI | m2://inv/8SCTV8FS71 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#S37L, Compactly generated group (definition)
History
- 2026-11-02: add by m2/dev
Fioralba Cakoni 8SCVXZV6AS
| URI | m2://inv/8SCVXZV6AS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fioralba Cakoni, Fioralba Cakoni (topic). Also Wikidata Q58416620
History
- 2026-11-02: add by m2/dev
Euler spiral 8SD2TE3D6S
| URI | m2://inv/8SD2TE3D6S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q755003, Euler spiral (unknown). Also EoM Cornu_spiral, MathWorld CornuSpiral
- wikipedia: Wikipedia Euler spiral, Euler spiral (definition). Also Wikidata Q755003
History
- 2026-10-26: add by m2/dev
Surface 8SDDEFZRSV
| URI | m2://inv/8SDDEFZRSV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Surface, Surface (definition). Also Wikidata Q3783831
History
- 2026-11-02: add by m2/dev
8SDKC27P36 8SDKC27P36
| URI | m2://inv/8SDKC27P36 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33015#H70E (definition). In W6Y6NPK648/e1, definition 5.3
History
- 2026-10-27: add by m2/v0.3.5
geodesic curvature 8SDS671W0K
| URI | m2://inv/8SDS671W0K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Geodesic curvature 550P8PFMVC |
Mentions
- wikidata: Wikidata Q1460595, geodesic curvature (unknown). Also MathWorld GeodesicCurvature
- wikipedia: Wikipedia Geodesic curvature, Geodesic curvature (definition). Also Wikidata Q1460595
History
- 2026-10-26: add by m2/dev
8SDTJ1W7JR 8SDTJ1W7JR
| URI | m2://inv/8SDTJ1W7JR |
|---|---|
| Kind | example |
| 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 2303.10963#JUYA (example). In F32XWYWG8E/e1, example 4.12
History
- 2026-10-27: add by m2/v0.3.5
Estimate on the Hessian 8SDWNWWYX8
| URI | m2://inv/8SDWNWWYX8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX, 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17815#AAD8, Estimate on the Hessian (statement). In GJ7N2EWACX/e1, lemma 3.10
History
- 2026-10-28: add by m2/v0.4.2
8SDX2P2TQS 8SDX2P2TQS
| URI | m2://inv/8SDX2P2TQS |
|---|---|
| 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.07259#YL9G (statement). In XMR1TTDSPG/e1, theorem 4.1
History
- 2026-10-29: add by m2/v0.4.10
The algorithm 8SE15NMGCA
| URI | m2://inv/8SE15NMGCA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia DPLL algorithm#9D6Y, The algorithm (definition)
History
- 2026-11-02: add by m2/dev
8SE8KF24JG 8SE8KF24JG
| URI | m2://inv/8SE8KF24JG |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 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 2610.18302#58DX (definition). In VJTRH1S4JA/e1, definition 2.11
History
- 2026-10-28: add by m2/v0.4.2
8SEK7A3RQ3 8SEK7A3RQ3
| URI | m2://inv/8SEK7A3RQ3 |
|---|---|
| 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.18219#3YI7 (statement). In X1AGBB90EH/e1, lemma 7.17
History
- 2026-10-28: add by m2/v0.4.2
8SEMBYRVPT 8SEMBYRVPT
| URI | m2://inv/8SEMBYRVPT |
|---|---|
| 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 2311.16252#Z0Z9 (statement). In 8AHN9GSRMR/e1, proposition 3.2
History
- 2026-10-27: add by m2/v0.4.0
Bound on ground state 8SEX5F8JF5
| URI | m2://inv/8SEX5F8JF5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX, 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17815#Q52J, Bound on ground state (statement). In GJ7N2EWACX/e1, proposition 4.11
History
- 2026-10-28: add by m2/v0.4.2
Affine-evaluation kernel bound 8SEYG9FN1Y
| URI | m2://inv/8SEYG9FN1Y |
|---|---|
| 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.32834#WLJT, Affine-evaluation kernel bound (statement). In N4M6B8EMCW/e1, proposition 4.4
History
- 2026-10-31: add by m2/v0.5.6
Legendre's theorem on spherical triangles 8SEZBCDWSH
| URI | m2://inv/8SEZBCDWSH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Legendre's theorem on spherical triangles, Legendre's theorem on spherical triangles (statement). Also Wikidata Q2226714
History
- 2026-11-02: add by m2/dev
8SEZG6MEB8 8SEZG6MEB8
| URI | m2://inv/8SEZG6MEB8 |
|---|---|
| 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.30664#KKYU (statement). In ZZGDNKDVJW/e1, lemma 2.1
History
- 2026-10-31: add by m2/v0.5.6
Arthur Moritz Schoenflies 8SF26G44EK
| URI | m2://inv/8SF26G44EK |
|---|---|
| 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#EO1Z, Arthur Moritz Schoenflies (unknown)
History
- 2026-11-02: add by m2/dev
Hoeffding, Wassily 8SF2H8AA9W
| URI | m2://inv/8SF2H8AA9W |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#Q9PP, Hoeffding, Wassily (topic)
History
- 2026-11-02: add by m2/dev
Cut weight from algebraic connectivity 8SF82QYJDD
| URI | m2://inv/8SF82QYJDD |
|---|---|
| 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.09030#O88J, Cut weight from algebraic connectivity (statement). In BYN44C0X0C/e1, lemma A.3
History
- 2026-10-29: add by m2/v0.4.10
Component-swap variance comparison 8SF99GTWD3
| URI | m2://inv/8SF99GTWD3 |
|---|---|
| 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.10474#ADQ0, Component-swap variance comparison (statement). In MB29RAAQMG/e1, lemma 6.4
History
- 2026-10-29: add by m2/v0.4.10
8SFAT39NP3 8SFAT39NP3
| URI | m2://inv/8SFAT39NP3 |
|---|---|
| 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.01267#RAUS (statement). In GWWHP6R0BZ/e1, proposition 4.8
History
- 2026-10-29: add by m2/v0.4.12
intension 8SFBJGS8HV
| URI | m2://inv/8SFBJGS8HV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#04WP, intension (definition)
History
- 2026-11-02: add by m2/dev
Light curve 8SFDWEMPZ7
| URI | m2://inv/8SFDWEMPZ7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of curves#8FUH, Light curve (unknown)
History
- 2026-11-02: add by m2/dev
In Catholic canon law 8SFK3QWTET
| URI | m2://inv/8SFK3QWTET |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ipso facto#YM5O, In Catholic canon law (statement)
History
- 2026-11-02: add by m2/dev
Qualitative marketing research 8SFTPR61M4
| URI | m2://inv/8SFTPR61M4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Qualitative marketing research, Qualitative marketing research (definition). Also Wikidata Q1755089
History
- 2026-11-02: add by m2/dev
André-Louis Cholesky 8SG1RD7VGD
| URI | m2://inv/8SG1RD7VGD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q516458, André-Louis Cholesky (unknown). Also ProofWiki Mathematician:André-Louis_Cholesky
History
- 2026-10-26: add by m2/dev
Proof of {\olref[nen-alt]{thm:nonenum-pownat}} by reduction 8SG7RXTQBZ
| URI | m2://inv/8SG7RXTQBZ |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/size-of-sets/reduction-alt.tex#proof-1, Proof of {\olref[nen-alt]{thm:nonenum-pownat}} by reduction (proof). In PKGMM3P5QY, proof, section 83.12
History
- 2026-11-01: add by m2/v0.6.13
Harry A. Marmer 8SGG1Q1308
| URI | m2://inv/8SGG1Q1308 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Harry A. Marmer, Harry A. Marmer (topic). Also Wikidata Q23303213
History
- 2026-11-02: add by m2/dev
power 8SGP49268N
| URI | m2://inv/8SGP49268N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q25342, power (definition). Also ProofWiki Definition:Power_(Physics)
History
- 2026-10-26: add by m2/dev
Theorem 8SGPDHVT7P
| URI | m2://inv/8SGPDHVT7P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fréchet space#78HD, Theorem (statement)
History
- 2026-11-02: add by m2/dev
8SH16AQ426 8SH16AQ426
| URI | m2://inv/8SH16AQ426 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-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.11902#XYGG (statement). In K66QKM4N5E/e1, lemma 3.16
History
- 2026-10-28: add by m2/v0.4.3
8SH4D6RWCB 8SH4D6RWCB
| URI | m2://inv/8SH4D6RWCB |
|---|---|
| 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#SAJ5 (statement). In 9B5TNEBJHV/e1, theorem 1.2
History
- 2026-10-29: add by m2/v0.4.10
posterior probability 8SHDM0XSBM
| URI | m2://inv/8SHDM0XSBM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of probability and statistics#2IK1, posterior probability (definition)
History
- 2026-11-02: add by m2/dev
8SHHDWFQYV 8SHHDWFQYV
| URI | m2://inv/8SHHDWFQYV |
|---|---|
| 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.18907#6RND (statement). In 4SSZ4PF2P2/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.2
8SHMJQBAH1 8SHMJQBAH1
| URI | m2://inv/8SHMJQBAH1 |
|---|---|
| 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.13798#LI37 (statement). In GF2MA6Y29D/e1, fact 2.5
History
- 2026-10-28: add by m2/v0.4.2
8SHQ23E27A 8SHQ23E27A
| URI | m2://inv/8SHQ23E27A |
|---|---|
| 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.18620#T53E (statement). In 6WJ0R9YEBR/e1, lemma 4.15
History
- 2026-10-28: add by m2/v0.4.2
8SHRNTBRVJ 8SHRNTBRVJ
| URI | m2://inv/8SHRNTBRVJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00625#W6U6 (statement). In BGA625B7W1/e1, corollary 2.4
History
- 2026-10-30: add by m2/v0.4.12
8SHWBT4YKV 8SHWBT4YKV
| URI | m2://inv/8SHWBT4YKV |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section7-5.xml#activity-3 (exercise). In 649HGZKE96, activity, section 7.5.4
History
- 2026-11-01: add by m2/v0.6.13
8SHYE9BC1D 8SHYE9BC1D
| URI | m2://inv/8SHYE9BC1D |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-real-nums.tex#proof-11 (proof). In E59CDZA4DP, proof, section 7.3
History
- 2026-11-01: add by m2/v0.6.13
Applications 8SJ1EH1FYP
| URI | m2://inv/8SJ1EH1FYP |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Algebraic decision diagram#8OQX, Applications (example)
History
- 2026-11-02: add by m2/dev
8SJCMCCGAN 8SJCMCCGAN
| URI | m2://inv/8SJCMCCGAN |
|---|---|
| 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 2011.14561#E1XY (statement). In V2XJJJX1Z8/e1, proposition 3.4
History
- 2026-10-27: add by m2/v0.3.5
8SJDYT7XNR 8SJDYT7XNR
| URI | m2://inv/8SJDYT7XNR |
|---|---|
| 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.26600#0XZG (statement)
History
- 2026-11-01: add by m2/v0.6.15
8SJEVAW1QT 8SJEVAW1QT
| URI | m2://inv/8SJEVAW1QT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39293#1LQ9 (statement). In S26QVW5613/e1, proposition 5.4.2
History
- 2026-10-30: add by m2/v0.4.12
DESCHALL Project 8SJQ415QP4
| URI | m2://inv/8SJQ415QP4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia DESCHALL Project, DESCHALL Project (definition). Also Wikidata Q5204858
History
- 2026-11-02: add by m2/dev
Linearization of Chains 8SJS7G46CN
| URI | m2://inv/8SJS7G46CN |
|---|---|
| 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 2610.19812#13DQ, Linearization of Chains (statement). In ZS89RH18QM/e1, theorem 14
History
- 2026-10-28: add by m2/v0.4.2
monotone 8SJTA3DY33
| URI | m2://inv/8SJTA3DY33 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#L1NX, monotone (definition)
History
- 2026-11-02: add by m2/dev
8SK506EK3G 8SK506EK3G
| URI | m2://inv/8SK506EK3G |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#example-26 (example). In VNMV985MXX, example, section 6.7
History
- 2026-11-01: add by m2/v0.6.13
8SK69534ED 8SK69534ED
| URI | m2://inv/8SK69534ED |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17325#WBI9 (statement). In SE16BAED46/e1, corollary 5
History
- 2026-10-28: add by m2/v0.4.2
Pierre Rouchon 8SK7ZFQD3S
| URI | m2://inv/8SK7ZFQD3S |
|---|---|
| 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#6MG2, Pierre Rouchon (unknown)
History
- 2026-11-02: add by m2/dev
8SK96411XS 8SK96411XS
| URI | m2://inv/8SK96411XS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03288#5CA6 (statement). In ZHP1MFSACN/e1, lemma 6.9
History
- 2026-10-29: add by m2/v0.4.12
International Association for Mathematical Geosciences 8SKDDV2GD0
| URI | m2://inv/8SKDDV2GD0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia International Association for Mathematical Geosciences, International Association for Mathematical Geosciences (definition). Also Wikidata Q18351784
History
- 2026-11-02: add by m2/dev
Variants 8SKEXGP026
| URI | m2://inv/8SKEXGP026 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quasi-category#GBKU, Variants (statement)
History
- 2026-11-02: add by m2/dev
8SKVH1XGAJ 8SKVH1XGAJ
| URI | m2://inv/8SKVH1XGAJ |
|---|---|
| Kind | definition |
| 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.01050#PJGV (definition). In 48NN33SAH7/e1, definition 4
History
- 2026-10-29: add by m2/v0.4.12
Gram-matrix shear 8SKX5K6AE4
| URI | m2://inv/8SKX5K6AE4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32680#Z4BE, Gram-matrix shear (statement). In XVJGVCZA7V/e1, theorem 7.1
History
- 2026-10-31: add by m2/v0.5.6
8SM2C5K2Z7 8SM2C5K2Z7
| URI | m2://inv/8SM2C5K2Z7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23804#4AAV (statement)
History
- 2026-11-02: add by m2/v0.6.17
Strategy-stealing argument 8SM4J0R3JC
| URI | m2://inv/8SM4J0R3JC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Strategy-stealing argument, Strategy-stealing argument (definition). Also Wikidata Q1158962
History
- 2026-11-02: add by m2/dev
8SM880JBJ1 8SM880JBJ1
| URI | m2://inv/8SM880JBJ1 |
|---|---|
| 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.07828#ULX8 (statement). In TWGMVT1N1G/e1, corollary 5.2
History
- 2026-10-29: add by m2/v0.4.10
Statement 8SMA6NKGTQ
| URI | m2://inv/8SMA6NKGTQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jacobson–Bourbaki theorem#9ICK, Statement (statement)
History
- 2026-11-02: add by m2/dev
Table with historical formulas 8SMBHP0PGK
| URI | m2://inv/8SMBHP0PGK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rindler coordinates#T440, Table with historical formulas (statement)
History
- 2026-11-02: add by m2/dev
Exponential time hypothesis (ETH) and variants 8SMC09YCDP
| URI | m2://inv/8SMC09YCDP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Computational hardness assumption#K0G8, Exponential time hypothesis (ETH) and variants (statement)
History
- 2026-11-02: add by m2/dev
Yomtov Garti 8SMCAFJW2T
| URI | m2://inv/8SMCAFJW2T |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Yomtov Garti, Yomtov Garti (topic). Also Wikidata Q58217344
History
- 2026-11-02: add by m2/dev
Foundations of mathematics 8SMDB864P6
| URI | m2://inv/8SMDB864P6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical logic topics#HXM6, Foundations of mathematics (definition)
History
- 2026-11-02: add by m2/dev
2 8SMTB2DF83
| URI | m2://inv/8SMTB2DF83 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q200, 2 (statement). Also MathWorld 2, ProofWiki 2
- wikipedia: Wikipedia 2, 2 (definition). Also Wikidata Q200
History
- 2026-10-26: add by m2/dev
8SN23ZNJ6W 8SN23ZNJ6W
| URI | m2://inv/8SN23ZNJ6W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.16931#ZLCU (statement). In H7DMRWBBJN/e1, lemma 5.2
History
- 2026-10-28: add by m2/v0.4.2
Èlizbar Nadaraya 8SN3EQG3R1
| URI | m2://inv/8SN3EQG3R1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Èlizbar Nadaraya, Èlizbar Nadaraya (topic). Also Wikidata Q102266623
History
- 2026-11-02: add by m2/dev
Direct Proof of $(\exists x)P(x)$ 8SNDDMRXNR
| URI | m2://inv/8SNDDMRXNR |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/MoreQuantification.tex#skeleton:exists, Direct Proof of $(\exists x)P(x)$ (proof). In P1C114YBXG, skeleton, section F
History
- 2026-11-01: add by m2/v0.6.13
8SNVEZGVEY 8SNVEZGVEY
| URI | m2://inv/8SNVEZGVEY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX, 47-XX, 58-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2508.07433#NNR4 (statement). In 4247V5912M/e1, theorem 1.1
History
- 2026-10-27: add by m2/v0.3.5
8SP0CWG746 8SP0CWG746
| URI | m2://inv/8SP0CWG746 |
|---|---|
| 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 2303.10963#0V86 (statement). In F32XWYWG8E/e1, proposition 3.5
History
- 2026-10-27: add by m2/v0.3.5
Census tract 8SP18FWTHM
| URI | m2://inv/8SP18FWTHM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Census tract, Census tract (definition). Also Wikidata Q107738887
History
- 2026-11-02: add by m2/dev
8SP2JHSZ2W 8SP2JHSZ2W
| URI | m2://inv/8SP2JHSZ2W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 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.21507#DDHA (statement). In 879ZDHVK7N/e1, theorem B
History
- 2026-10-27: add by m2/v0.4.2
Definition 8SP8W6TV91
| URI | m2://inv/8SP8W6TV91 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sensitivity index#A2WH, Definition (definition)
History
- 2026-11-02: add by m2/dev
Ramanujan conjecture 8SPG1F5ZF2
| URI | m2://inv/8SPG1F5ZF2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of long mathematical proofs#HE18, Ramanujan conjecture (statement)
History
- 2026-11-02: add by m2/dev
8SPRNSBCTQ 8SPRNSBCTQ
| URI | m2://inv/8SPRNSBCTQ |
|---|---|
| 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.07290#HF88 (statement). In WC7BN66XSN/e1, lemma 2
History
- 2026-10-29: add by m2/v0.4.10
8SPXGQR92Q 8SPXGQR92Q
| URI | m2://inv/8SPXGQR92Q |
|---|---|
| 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#92AY (statement)
History
- 2026-11-02: add by m2/v0.6.17
8SQ6FWPKDE 8SQ6FWPKDE
| URI | m2://inv/8SQ6FWPKDE |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10519#B3KY (problem). In 83MMH8VF1X/e1, problem 2
History
- 2026-10-29: add by m2/v0.4.10
8SQ724NV75 8SQ724NV75
| URI | m2://inv/8SQ724NV75 |
|---|---|
| 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.04809#HU4N (statement). In 2VHV0RNTNV/e1, proposition 4.3
History
- 2026-10-29: add by m2/v0.4.12
8SQJNYVQKR 8SQJNYVQKR
| URI | m2://inv/8SQJNYVQKR |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21622#AQNV (definition). In H21X3FHNYJ/e1, definition 3.3
History
- 2026-10-27: add by m2/v0.4.2
8SQKDRK1T6 8SQKDRK1T6
| URI | m2://inv/8SQKDRK1T6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-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.25468#MU8S (statement)
History
- 2026-11-01: add by m2/v0.6.15
Universal Maximal Evidence Posterior 8SQKKVP5KT
| URI | m2://inv/8SQKKVP5KT |
|---|---|
| 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 2212.14457#WF8H, Universal Maximal Evidence Posterior (statement). In PNRHHWGHM2/e1, theorem 3.3
History
- 2026-10-27: add by m2/v0.3.6
Exact reverse-score dynamics on a positive-time interval 8SQMA71PSE
| URI | m2://inv/8SQMA71PSE |
|---|---|
| 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.05333#K6FJ, Exact reverse-score dynamics on a positive-time interval (statement). In N37WKFTR7Q/e1, lemma G.4
History
- 2026-10-29: add by m2/v0.4.10
explicit definition 8SQNTZWZXC
| URI | m2://inv/8SQNTZWZXC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#HU5R, explicit definition (definition)
History
- 2026-11-02: add by m2/dev
Hierarchical matrix 8SQTKTD39Y
| URI | m2://inv/8SQTKTD39Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hierarchical matrix, Hierarchical matrix (definition). Also Wikidata Q17029389
History
- 2026-11-02: add by m2/dev
Spectral criterion for the full output 8SQVBY6HW3
| URI | m2://inv/8SQVBY6HW3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2609.25805#GU0T, Spectral criterion for the full output (statement)
History
- 2026-11-01: add by m2/v0.6.15
8SR2J4ASAT 8SR2J4ASAT
| URI | m2://inv/8SR2J4ASAT |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 35-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 2610.20106#VNVJ (example). In 6HMZ36ZBXA/e1, example
History
- 2026-10-27: add by m2/v0.4.2
Two-dimensional Gray code 8SR6GTT3P0
| URI | m2://inv/8SR6GTT3P0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gray code#RJIL, Two-dimensional Gray code (unknown)
History
- 2026-11-02: add by m2/dev
Properties 8SRAEFZ3HC
| URI | m2://inv/8SRAEFZ3HC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reflexive space#B66O, Properties (statement)
History
- 2026-11-02: add by m2/dev
8SRDCQKR19 8SRDCQKR19
| URI | m2://inv/8SRDCQKR19 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20203#RMMY (statement)
History
- 2026-11-02: add by m2/v0.6.18
8SRFBP7FK7 8SRFBP7FK7
| URI | m2://inv/8SRFBP7FK7 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 30-XX, 32-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.11902#8D01 (example). In K66QKM4N5E/e1, example 3.20
History
- 2026-10-28: add by m2/v0.4.3
Auction theory 8SRFCY1HJ9
| URI | m2://inv/8SRFCY1HJ9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Auction theory, Auction theory (topic). Also Wikidata Q771334
History
- 2026-11-02: add by m2/dev
Concentration around the finite-horizon mean 8SRJ55006S
| URI | m2://inv/8SRJ55006S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21985#36XB, Concentration around the finite-horizon mean (statement)
History
- 2026-11-02: add by m2/v0.6.17
Nigel Boston 8SRKJGNKBA
| URI | m2://inv/8SRKJGNKBA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nigel Boston, Nigel Boston (topic). Also Wikidata Q7032256
History
- 2026-11-02: add by m2/dev
8SRR4YKQJ5 8SRR4YKQJ5
| URI | m2://inv/8SRR4YKQJ5 |
|---|---|
| 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.14555#1J18 (statement). In NHW0VEJ09F/e1, lemma 2.5
History
- 2026-10-28: add by m2/v0.4.2
8SRV29F4PF 8SRV29F4PF
| URI | m2://inv/8SRV29F4PF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 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 2610.20956#FV1M (statement). In X9WFC1D9ZS/e1, lemma 43
History
- 2026-10-27: add by m2/v0.4.2
partial order 8SRVF42H1J
| URI | m2://inv/8SRVF42H1J |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | node (a node has the same name as the row) |
| Node | Partial order 011C29Q1S1 |
Mentions
- wikidata: Wikidata Q1069998, partial order (unknown). Also EoM Partial_order, MathWorld PartialOrder, nLab partial order
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Hanoi 8SRZEBAFQE
| URI | m2://inv/8SRZEBAFQE |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi index/3/hanoi, Hanoi (concept). In Y91XFCEVHQ, index, section 3
History
- 2026-11-01: add by m2/v0.6.13
8SS1R2T6BZ 8SS1R2T6BZ
| URI | m2://inv/8SS1R2T6BZ |
|---|---|
| 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.39260#LBTK (statement). In ZNDB1AZZSA/e1, lemma 3.4
History
- 2026-10-30: add by m2/v0.4.12
Applied mathematician 8SS416V2KR
| URI | m2://inv/8SS416V2KR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathematician#MXW1, Applied mathematician (unknown)
History
- 2026-11-02: add by m2/dev
Compactness--lattice dichotomy 8SSD7HVRPW
| URI | m2://inv/8SSD7HVRPW |
|---|---|
| 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.20514#TMCY, Compactness--lattice dichotomy (statement)
History
- 2026-11-02: add by m2/v0.6.18
XNOR 8SSE7BGV9F
| URI | m2://inv/8SSE7BGV9F |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of rules of inference#NDOM, XNOR (unknown)
History
- 2026-11-02: add by m2/dev
Single-layer FedProx convergence rate 8SSKTPJD68
| URI | m2://inv/8SSKTPJD68 |
|---|---|
| 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.02659#7ZAK, Single-layer FedProx convergence rate (statement). In EV933413SJ/e1, corollary D.1
History
- 2026-10-29: add by m2/v0.4.12
Riffle shuffle permutation 8ST18KFD1H
| URI | m2://inv/8ST18KFD1H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Riffle shuffle permutation, Riffle shuffle permutation (definition). Also Wikidata Q13846433
History
- 2026-11-02: add by m2/dev
$8\pi$ obstruction 8ST35W6QNB
| URI | m2://inv/8ST35W6QNB |
|---|---|
| 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.02714#OIUX, $8\pi$ obstruction (statement). In R9AXCJWK8F/e1, proposition 23
History
- 2026-10-29: add by m2/v0.4.12
sharp tilt 8ST7NA4SXA
| URI | m2://inv/8ST7NA4SXA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14050#GZXO, sharp tilt (statement). In RENT22YXW3/e1, lemma 5.1
History
- 2026-10-28: add by m2/v0.4.2
Seven-dimensional cross product 8STGMRWVB7
| URI | m2://inv/8STGMRWVB7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Seven-dimensional cross product, Seven-dimensional cross product (definition). Also Wikidata Q3406765
History
- 2026-11-02: add by m2/dev
8STHS4GTSC 8STHS4GTSC
| URI | m2://inv/8STHS4GTSC |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20910#B3ZK (definition). In CETHKW9EBV/e1, definition 2.1
History
- 2026-10-27: add by m2/v0.4.2
8STKD0ZE32 8STKD0ZE32
| URI | m2://inv/8STKD0ZE32 |
|---|---|
| Kind | statement |
| 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 2407.06927#JKBP (statement). In YM4CSJJDJZ/e1, proposition 3.6
History
- 2026-10-27: add by m2/v0.3.6
8STKQ9BC4D 8STKQ9BC4D
| URI | m2://inv/8STKQ9BC4D |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03327#XYS2 (example). In EBNXA84CPM/e1, example 4.4
History
- 2026-10-29: add by m2/v0.4.12
8SVJE84J9Y 8SVJE84J9Y
| URI | m2://inv/8SVJE84J9Y |
|---|---|
| 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 2407.04161#U2GI (statement). In JBZJ7NPQ4G/e1, proposition 5.11
History
- 2026-10-27: add by m2/v0.4.0
8SVM3Y3S9Q 8SVM3Y3S9Q
| URI | m2://inv/8SVM3Y3S9Q |
|---|---|
| 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#DZW1 (statement)
History
- 2026-11-01: add by m2/v0.6.15
8SVMHA9BAE 8SVMHA9BAE
| URI | m2://inv/8SVMHA9BAE |
|---|---|
| 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 2011.06637#QWG3 (definition). In KFCJ5CFP3G/e1, definition 3.1
History
- 2026-10-27: add by m2/v0.3.5
Wolfgang Haack 8SVNCM9GQE
| URI | m2://inv/8SVNCM9GQE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wolfgang Haack, Wolfgang Haack (topic). Also Wikidata Q91642
History
- 2026-11-02: add by m2/dev
Quadratic Envelope as Variance 8SVR4HR4HQ
| URI | m2://inv/8SVR4HR4HQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 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.12239#QY3I, Quadratic Envelope as Variance (statement). In CW9MNA6K58/e1, lemma 9.6
History
- 2026-10-28: add by m2/v0.4.2
8SVT4GKZTK 8SVT4GKZTK
| URI | m2://inv/8SVT4GKZTK |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-higher-order-ode.tex#exercise-20 (exercise). In E9HS8K3A52, exercise, section 6.2.4
History
- 2026-11-01: add by m2/v0.6.13
Bounded deformation 8SVXSBRQW4
| URI | m2://inv/8SVXSBRQW4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bounded deformation, Bounded deformation (definition). Also Wikidata Q4949981
History
- 2026-11-02: add by m2/dev
8SW26MB17Q 8SW26MB17Q
| URI | m2://inv/8SW26MB17Q |
|---|---|
| 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 1709.08958#S6NY (statement). In H46J8XRDFJ/e1, lemma 4.3.1
History
- 2026-10-27: add by m2/v0.3.5
Leila Haaparanta 8SW29THCVA
| URI | m2://inv/8SW29THCVA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Leila Haaparanta, Leila Haaparanta (topic). Also Wikidata Q11875351
History
- 2026-11-02: add by m2/dev
Algorithm 8SW7AFCS11
| URI | m2://inv/8SW7AFCS11 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bellman filter#A8HL, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
Astrostatistics 8SW9P848Q1
| URI | m2://inv/8SW9P848Q1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Astrostatistics, Astrostatistics (topic). Also Wikidata Q4811716
History
- 2026-11-02: add by m2/dev
Generalization 8SWDA2AW19
| URI | m2://inv/8SWDA2AW19 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Central simple algebra#RJA3, Generalization (statement)
History
- 2026-11-02: add by m2/dev
8SWHB4W593 8SWHB4W593
| URI | m2://inv/8SWHB4W593 |
|---|---|
| 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.18620#CNRV (statement). In 6WJ0R9YEBR/e1, lemma 6.3
History
- 2026-10-28: add by m2/v0.4.2
Timing attack 8SWJEJM41F
| URI | m2://inv/8SWJEJM41F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Timing attack, Timing attack (definition). Also Wikidata Q2665075
History
- 2026-11-02: add by m2/dev
free variable 8SWM6E4511
| URI | m2://inv/8SWM6E4511 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs index/10.2.4/free-variable, free variable (concept). In E9HS8K3A52, index, section 10.2.4
History
- 2026-11-01: add by m2/v0.6.13
Alternating series 8SWQE4NS4V
| URI | m2://inv/8SWQE4NS4V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-ser.tex#prop-18, Alternating series (statement). In E59CDZA4DP, prop, section 10.6.2
History
- 2026-11-01: add by m2/v0.6.13
8SWQSY0276 8SWQSY0276
| URI | m2://inv/8SWQSY0276 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/metric-top.tex#example-9 (example). In RZP28ERRZV, example, section 100.4
History
- 2026-11-01: add by m2/v0.6.13
Galois, group 8SWSK8EECM
| URI | m2://inv/8SWSK8EECM |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/2.6/galois-group, Galois, group (concept). In N54F33XE07, index, section 2.6
History
- 2026-11-01: add by m2/v0.6.13
Antiquarian science books 8SWTAT70VH
| URI | m2://inv/8SWTAT70VH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Antiquarian science books, Antiquarian science books (definition). Also Wikidata Q4775155
History
- 2026-11-02: add by m2/dev
Extended Boolean model 8SX1KF31KQ
| URI | m2://inv/8SX1KF31KQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Extended Boolean model, Extended Boolean model (definition). Also Wikidata Q796230
History
- 2026-11-02: add by m2/dev
Finite second moment 8SX3KRH2BZ
| URI | m2://inv/8SX3KRH2BZ |
|---|---|
| Kind | definition |
| 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#01MR, Finite second moment (definition). In 4HJK1986EJ/e1, definition B.3
History
- 2026-10-29: add by m2/v0.4.10
8SX7Q7P9XE 8SX7Q7P9XE
| URI | m2://inv/8SX7Q7P9XE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-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.09319#XX2M (statement). In GMRT5GHBZS/e1, lemma C.5
History
- 2026-10-29: add by m2/v0.4.10
8SXBFTPV0H 8SXBFTPV0H
| URI | m2://inv/8SXBFTPV0H |
|---|---|
| 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#QP7B (statement). In KEP21CZFV9/e1, proposition #1
History
- 2026-10-31: add by m2/v0.5.6
Completeness 8SXBRQZY9T
| URI | m2://inv/8SXBRQZY9T |
|---|---|
| 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.38975#HTPU, Completeness (statement). In D2247CRPPE/e1, theorem 28
History
- 2026-10-30: add by m2/v0.4.12
Preference dynamics 8SXHT2PNZK
| URI | m2://inv/8SXHT2PNZK |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22338#BQE0, Preference dynamics (example)
History
- 2026-11-02: add by m2/v0.6.17
John von Neumann 8SXN61CHQ2
| URI | m2://inv/8SXN61CHQ2 |
|---|---|
| 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 Q17455, John von Neumann (unknown). Also nLab John von Neumann
- wikipedia: Wikipedia John von Neumann, John von Neumann (topic). Also Wikidata Q17455
History
- 2026-10-26: add by m2/dev
Independent S-increments 8SXQS6JZQS
| URI | m2://inv/8SXQS6JZQS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Independent increments#CMGR, Independent S-increments (unknown)
History
- 2026-11-02: add by m2/dev
SANDstorm hash 8SXSSS9RZE
| URI | m2://inv/8SXSSS9RZE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia SANDstorm hash, SANDstorm hash (definition). Also Wikidata Q7388655
History
- 2026-11-02: add by m2/dev
Joseph Waksberg 8SY0RTRJQX
| URI | m2://inv/8SY0RTRJQX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Joseph Waksberg, Joseph Waksberg (topic). Also Wikidata Q64021126
History
- 2026-11-02: add by m2/dev
Theorem 8SY0Y3TMEN
| URI | m2://inv/8SY0Y3TMEN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Barrelled space#5W8K, Theorem (statement)
History
- 2026-11-02: add by m2/dev
8SY2B2FT6W 8SY2B2FT6W
| URI | m2://inv/8SY2B2FT6W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-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.06699#QKBH (statement). In GXHKRV5BPY/e1, lemma A.1
History
- 2026-10-29: add by m2/v0.4.10
Examples 8SY6PYXJNH
| URI | m2://inv/8SY6PYXJNH |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quantifier rank#39GO, Examples (example)
History
- 2026-11-02: add by m2/dev
Marie Zervos 8SY7V3WR7T
| URI | m2://inv/8SY7V3WR7T |
|---|---|
| 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#65RT, Marie Zervos (unknown)
History
- 2026-11-02: add by m2/dev
8SYDW2PW8S 8SYDW2PW8S
| URI | m2://inv/8SYDW2PW8S |
|---|---|
| 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 2609.23202#J8K1 (statement)
History
- 2026-11-02: add by m2/v0.6.17
8SYF0VZS4G 8SYF0VZS4G
| URI | m2://inv/8SYF0VZS4G |
|---|---|
| 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 2502.08738#O7F2 (example). In 9GMTVSTAVN/e1, example 4
History
- 2026-10-27: add by m2/v0.3.5
\coqident{is_universe_transfer 8SYK00Q0JK
| URI | m2://inv/8SYK00Q0JK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 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 1705.04310#U660, \coqident{is_universe_transfer (statement). In MG51GG0QZN/e1, lemma 4.9
History
- 2026-10-27: add by m2/v0.3.5
Definitions 8SYK3WZWRS
| URI | m2://inv/8SYK3WZWRS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lelong number#2LJG, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Elementary properties 8SYW85MDQ4
| URI | m2://inv/8SYW85MDQ4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arithmetic derivative#6G65, Elementary properties (statement)
History
- 2026-11-02: add by m2/dev
8SYXCQMDWZ 8SYXCQMDWZ
| URI | m2://inv/8SYXCQMDWZ |
|---|---|
| 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.07092#6QXI (statement). In JWNYJVH8XG/e1, lemma 2.26
History
- 2026-10-29: add by m2/v0.4.10
Scene graph 8SYXMQQSKE
| URI | m2://inv/8SYXMQQSKE |
|---|---|
| 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#TCDK, Scene graph (unknown)
History
- 2026-11-02: add by m2/dev
John Selfridge 8SZ3C243TV
| URI | m2://inv/8SZ3C243TV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia John Selfridge, John Selfridge (topic). Also Wikidata Q454480
History
- 2026-11-02: add by m2/dev
Related results 8SZA7W7XB3
| URI | m2://inv/8SZA7W7XB3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pythagorean tiling#KX91, Related results (statement)
History
- 2026-11-02: add by m2/dev
8SZQHPBQS8 8SZQHPBQS8
| URI | m2://inv/8SZQHPBQS8 |
|---|---|
| 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.10828#52S3 (statement). In 8PTDFHV8SQ/e1, theorem B
History
- 2026-10-28: add by m2/v0.4.3
Additional axioms 8SZW1YBPRZ
| URI | m2://inv/8SZW1YBPRZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Non-normal modal logic#6KUV, Additional axioms (statement)
History
- 2026-11-02: add by m2/dev
8SZWV5MSY1 8SZWV5MSY1
| URI | m2://inv/8SZWV5MSY1 |
|---|---|
| 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 math/0411039#ID1L (statement). In ZTBDXSKFFW/e1, corollary 3.5
History
- 2026-10-27: add by m2/v0.3.5
8SZX763D0M 8SZX763D0M
| URI | m2://inv/8SZX763D0M |
|---|---|
| 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 2610.19812#YJNT (statement). In ZS89RH18QM/e1, proposition 4
History
- 2026-10-28: add by m2/v0.4.2