Inventory rows 1S
The cards of the rows of the inventory whose ids start with 1S. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Mwesa Isaiah Mapoma 1S01ZJJKFX
| URI | m2://inv/1S01ZJJKFX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#BSYV, Mwesa Isaiah Mapoma (unknown)
History
- 2026-11-02: add by m2/dev
small-world network 1S04Q5FXP5
| URI | m2://inv/1S04Q5FXP5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#U7W8, small-world network (definition)
History
- 2026-11-02: add by m2/dev
1S05MP6VR9 1S05MP6VR9
| URI | m2://inv/1S05MP6VR9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2405.14678#1HBA (statement). In 9ZSNSJRJ5N/e1, corollary 2
History
- 2026-10-27: add by m2/v0.4.2
round-off error 1S09J727QP
| URI | m2://inv/1S09J727QP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of probability and statistics#4M24, round-off error (definition)
History
- 2026-11-02: add by m2/dev
Olle Häggström 1S0ASHPSQ2
| URI | m2://inv/1S0ASHPSQ2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Olle Häggström, Olle Häggström (topic). Also Wikidata Q5819438
History
- 2026-11-02: add by m2/dev
Kaoru Ono 1S0B0FVS8B
| URI | m2://inv/1S0B0FVS8B |
|---|---|
| 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#G8HO, Kaoru Ono (topic)
History
- 2026-11-02: add by m2/dev
Algebraic properties 1S0Q84DM52
| URI | m2://inv/1S0Q84DM52 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Compact operator#PQOB, Algebraic properties (statement)
History
- 2026-11-02: add by m2/dev
Pythagorean prime 1S0TTR8Z47
| URI | m2://inv/1S0TTR8Z47 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Pythagoras#JY0D, Pythagorean prime (object)
History
- 2026-11-02: add by m2/dev
1S0WC56EHF 1S0WC56EHF
| URI | m2://inv/1S0WC56EHF |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1712.02437#MY5D (proof). In GZDFK652T9/e1, proof
History
- 2026-10-27: add by m2/v0.3.5
1S150PJ0CB 1S150PJ0CB
| URI | m2://inv/1S150PJ0CB |
|---|---|
| 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.35307#65IU (statement). In FT5TKY10T8/e1, proposition 7.4
History
- 2026-10-30: add by m2/v0.4.12
Properties 1S1G5EG0EY
| URI | m2://inv/1S1G5EG0EY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Digit sum#T5IK, Properties (statement)
History
- 2026-11-02: add by m2/dev
1S1GHATB4Y 1S1GHATB4Y
| URI | m2://inv/1S1GHATB4Y |
|---|---|
| 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 2506.09840#KN69 (statement). In Y7TWHSF2HC/e1, proposition 3.5
History
- 2026-10-27: add by m2/v0.3.5
1S1H15RQTE 1S1H15RQTE
| URI | m2://inv/1S1H15RQTE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2510.01873#VX58 (statement). In FVZZDPEYNM/e1, lemma 4.3
- arxiv: arXiv 2609.23167#8TG2 (statement)
History
- 2026-10-27: add by m2/v0.3.5
1S1XKAS3JT 1S1XKAS3JT
| URI | m2://inv/1S1XKAS3JT |
|---|---|
| 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.23338#VA9U (statement)
History
- 2026-11-02: add by m2/v0.6.17
1S1XXRZ2YN 1S1XXRZ2YN
| URI | m2://inv/1S1XXRZ2YN |
|---|---|
| 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 2410.10337#UYXK (statement). In RBBF0XNZ5E/e1, lemma 21
History
- 2026-10-27: add by m2/v0.3.5
1S20RTZ5P5 1S20RTZ5P5
| URI | m2://inv/1S20RTZ5P5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/syntax-and-semantics/formation-sequences.tex#prop:subformula-equivs (statement). In PKGMM3P5QY, prop, section 19.8
History
- 2026-11-01: add by m2/v0.6.13
1S280KH0SG 1S280KH0SG
| URI | m2://inv/1S280KH0SG |
|---|---|
| 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.06806#QJMD (statement). In ZZQT0GFMT2/e1, proposition 1.7
History
- 2026-10-29: add by m2/v0.4.10
Theorems 1S28SH0S3P
| URI | m2://inv/1S28SH0S3P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Extreme point#Z506, Theorems (statement)
History
- 2026-11-02: add by m2/dev
Stanislav Smirnov 1S2B44E046
| URI | m2://inv/1S2B44E046 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stanislav Smirnov, Stanislav Smirnov (topic). Also Wikidata Q333948
History
- 2026-11-02: add by m2/dev
Abelian 1S2PZGV8C5
| URI | m2://inv/1S2PZGV8C5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of first-order theories#KL97, Abelian (definition)
History
- 2026-11-02: add by m2/dev
1S2QGJ67H1 1S2QGJ67H1
| URI | m2://inv/1S2QGJ67H1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08664#L4Q0 (statement). In 1YY0P4ZS0T/e1, corollary 59
History
- 2026-10-29: add by m2/v0.4.10
1S2VGH5STW 1S2VGH5STW
| URI | m2://inv/1S2VGH5STW |
|---|---|
| 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.21533#FXOT (statement). In N3Z6JFEPCF/e1, theorem 4.1
History
- 2026-10-27: add by m2/v0.4.2
Minnesota Borderline Personality Disorder Scale 1S2WN5NEKN
| URI | m2://inv/1S2WN5NEKN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Minnesota Borderline Personality Disorder Scale, Minnesota Borderline Personality Disorder Scale (definition). Also Wikidata Q16944402
History
- 2026-11-02: add by m2/dev
1S2Y19E9P6 1S2Y19E9P6
| URI | m2://inv/1S2Y19E9P6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35396#5G9Y (statement). In 51N4SF53EV/e1, corollary 3.3
History
- 2026-10-30: add by m2/v0.4.12
Definition 1S30AA1SY9
| URI | m2://inv/1S30AA1SY9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tangent vector#AROZ, Definition (definition)
History
- 2026-11-02: add by m2/dev
1S33WTMPVK 1S33WTMPVK
| URI | m2://inv/1S33WTMPVK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2109.09268#UOTF (statement). In SYZFEVFHC3/e1, lemma 2.11
History
- 2026-10-27: add by m2/v0.3.5
Factorization at $t=0$ 1S38B4GBHE
| URI | m2://inv/1S38B4GBHE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18350#AOUT, Factorization at $t=0$ (statement). In A20E8FZS21/e1, lemma 7.2
History
- 2026-10-28: add by m2/v0.4.2
1S38NZBT4N 1S38NZBT4N
| URI | m2://inv/1S38NZBT4N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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.24739#V417 (statement)
History
- 2026-11-01: add by m2/v0.6.15
The Wallet 1S3CNAT36T
| URI | m2://inv/1S3CNAT36T |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39615#DQYR, The Wallet (example). In RNXRAZYR3S/e1, example 4.5
History
- 2026-10-30: add by m2/v0.4.12
Wishful thinking 1S3FJ0VCK1
| URI | m2://inv/1S3FJ0VCK1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wishful thinking, Wishful thinking (definition). Also Wikidata Q8154361
History
- 2026-11-02: add by m2/dev
1S3R58T1V8 1S3R58T1V8
| URI | m2://inv/1S3R58T1V8 |
|---|---|
| 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.01700#S2OR (statement). In FC5PVA100K/e1, theorem 2.1
History
- 2026-10-29: add by m2/v0.4.12
1S3XBY8EVS 1S3XBY8EVS
| URI | m2://inv/1S3XBY8EVS |
|---|---|
| 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#PLNR (statement). In TWGMVT1N1G/e1, corollary 5.9
History
- 2026-10-29: add by m2/v0.4.10
1S3Z9WGRW0 1S3Z9WGRW0
| URI | m2://inv/1S3Z9WGRW0 |
|---|---|
| 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.34923#IAE2 (statement). In 7WKVFJEZQT/e1, lemma 2
History
- 2026-10-30: add by m2/v0.4.12
Use of mathematical formulas 1S43QWSK17
| URI | m2://inv/1S43QWSK17 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia MathOverflow#IO6R, Use of mathematical formulas (statement)
History
- 2026-11-02: add by m2/dev
tangent map 1S4FR30SNP
| URI | m2://inv/1S4FR30SNP |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q110535159, tangent map (concept). Also MathWorld TangentMap, nLab tangent map, ProofWiki Definition:Tangent_Map
History
- 2026-10-26: add by m2/dev
1S4HFW6TRV 1S4HFW6TRV
| URI | m2://inv/1S4HFW6TRV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20718#9UPW (statement)
History
- 2026-11-02: add by m2/v0.6.18
Christophe Soulé 1S4PWZ06QT
| URI | m2://inv/1S4PWZ06QT |
|---|---|
| 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#1UMA, Christophe Soulé (topic)
History
- 2026-11-02: add by m2/dev
1S4TF73ZYW 1S4TF73ZYW
| URI | m2://inv/1S4TF73ZYW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34193#FZXV (statement). In 9XMZTTSF5E/e1, proposition 6.7
History
- 2026-10-30: add by m2/v0.4.12
1S4W9EQMSB 1S4W9EQMSB
| URI | m2://inv/1S4W9EQMSB |
|---|---|
| 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 2403.08723#4YQ0 (statement). In HGE2NCQW29/e1, proposition 7.1
History
- 2026-10-27: add by m2/v0.3.5
1S58CSGMEH 1S58CSGMEH
| URI | m2://inv/1S58CSGMEH |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28265#FYC8 (example)
History
- 2026-11-01: add by m2/v0.6.15
Fixed-norm translations give cosine distance 1S5N9G5CP1
| URI | m2://inv/1S5N9G5CP1 |
|---|---|
| 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.31544#NQZ6, Fixed-norm translations give cosine distance (statement). In TX449S1VZV/e1, proposition A.3
History
- 2026-10-31: add by m2/v0.5.6
557 1S5SPB9TKQ
| URI | m2://inv/1S5SPB9TKQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q923333, 557 (statement). Also ProofWiki 557
History
- 2026-10-26: add by m2/dev
1S5XSCZCS1 1S5XSCZCS1
| URI | m2://inv/1S5XSCZCS1 |
|---|---|
| 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 2609.23238#GD8M (example)
History
- 2026-11-02: add by m2/v0.6.17
Examples 1S6AFGY8T7
| URI | m2://inv/1S6AFGY8T7 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Connotation#OJKH, Examples (example)
History
- 2026-11-02: add by m2/dev
Extensions 1S6CP41VC7
| URI | m2://inv/1S6CP41VC7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Restriction (mathematics)#PRHA, Extensions (statement)
History
- 2026-11-02: add by m2/dev
Prabhu Lal Bhatnagar 1S6D2HQJ1M
| URI | m2://inv/1S6D2HQJ1M |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Prabhu Lal Bhatnagar, Prabhu Lal Bhatnagar (topic). Also Wikidata Q3533604
History
- 2026-11-02: add by m2/dev
Robust Value 1S6ENQ345N
| URI | m2://inv/1S6ENQ345N |
|---|---|
| Kind | definition |
| 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 2311.04609#19D9, Robust Value (definition). In 66W1NPE62D/e1, definition 2
History
- 2026-10-27: add by m2/v0.3.5
cyclic polygon 1S6FBVSH85
| URI | m2://inv/1S6FBVSH85 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1713493, cyclic polygon (unknown). Also MathWorld CyclicPolygon
History
- 2026-10-26: add by m2/dev
Bellman's principle of optimality 1S6FM0PADG
| URI | m2://inv/1S6FM0PADG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bellman equation#A5L1, Bellman's principle of optimality (statement)
History
- 2026-11-02: add by m2/dev
1S6QBT57W8 1S6QBT57W8
| URI | m2://inv/1S6QBT57W8 |
|---|---|
| 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 2302.07710#3PBO (statement). In WD3CVPPH6H/e1, theorem 3.3
History
- 2026-10-27: add by m2/v0.3.5
1S6X30WPVG 1S6X30WPVG
| URI | m2://inv/1S6X30WPVG |
|---|---|
| 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 2503.05873#P95B (statement). In 2FY5P3FAS0/e1, theorem 5
History
- 2026-10-27: add by m2/v0.3.5
XLfit 1S6XSEM6ZD
| URI | m2://inv/1S6XSEM6ZD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical-analysis software#RJ0V, XLfit (definition)
History
- 2026-11-02: add by m2/dev
1S71FBMV17 1S71FBMV17
| URI | m2://inv/1S71FBMV17 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07370#3XVZ (statement). In Q94QXG67CK/e1, theorem V.1
History
- 2026-10-29: add by m2/v0.4.10
Peeling theorem 1S73P539AZ
| URI | m2://inv/1S73P539AZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 00-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q7160302, Peeling theorem (statement). Also Wikidata Q7160302
- thousand_plus: thousand_plus Q7160302, Peeling theorem (statement). Also Wikidata Q7160302, Wikipedia Peeling theorem
- wikipedia: Wikipedia Peeling theorem, Peeling theorem (statement). Also Wikidata Q7160302
History
- 2026-10-26: add by m2/dev
Stability of optimal potentials 1S77JP75HZ
| URI | m2://inv/1S77JP75HZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22240#K7SA, Stability of optimal potentials (statement)
History
- 2026-11-02: add by m2/v0.6.17
Fubini's theorem 1S77S2ARXM
| URI | m2://inv/1S77S2ARXM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Calculus on Euclidean space#6LMA, Fubini's theorem (statement)
History
- 2026-11-02: add by m2/dev
1S78BW9YYG 1S78BW9YYG
| URI | m2://inv/1S78BW9YYG |
|---|---|
| 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.35740#O4T9 (statement). In N7C6C0QGJM/e1, proposition 2.4
History
- 2026-10-30: add by m2/v0.4.12
Cannon's Conjecture 1S79NFA76D
| URI | m2://inv/1S79NFA76D |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gromov boundary#LXOD, Cannon's Conjecture (statement)
History
- 2026-11-02: add by m2/dev
Shortest common supersequence 1S7B153C91
| URI | m2://inv/1S7B153C91 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of NP-complete problems#2PJJ, Shortest common supersequence (definition)
History
- 2026-11-02: add by m2/dev
Walter Neumann 1S7CAE0JME
| URI | m2://inv/1S7CAE0JME |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#CN50, Walter Neumann (topic)
History
- 2026-11-02: add by m2/dev
1S7DGPJ9RM 1S7DGPJ9RM
| URI | m2://inv/1S7DGPJ9RM |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31274#I67X (definition). In RK0ZMDJ23T/e1, definition 1.3.1
History
- 2026-10-31: add by m2/v0.5.6
Weighted recovery margin 1S7EW7GHHM
| URI | m2://inv/1S7EW7GHHM |
|---|---|
| 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.38453#TZEA, Weighted recovery margin (statement). In DWKWF242Y0/e1, lemma 8
History
- 2026-10-30: add by m2/v0.4.12
Lie–Kolchin theorem 1S7NM2XYRD
| URI | m2://inv/1S7NM2XYRD |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 22-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q3527113, Lie–Kolchin theorem (statement). Also Wikidata Q3527113
- thousand_plus: thousand_plus Q3527113, Lie–Kolchin theorem (statement). Also Wikidata Q3527113, Wikipedia Lie–Kolchin theorem
- wikipedia: Wikipedia Lie–Kolchin theorem, Lie–Kolchin theorem (statement). Also Wikidata Q3527113
History
- 2026-10-26: add by m2/dev
1S7NTQPG5F 1S7NTQPG5F
| URI | m2://inv/1S7NTQPG5F |
|---|---|
| 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.22218#80LP (statement). In 338GKREFVP/e1, lemma 56
History
- 2026-10-27: add by m2/v0.4.0
Lagrange's approximation theorem 1S7PCRZ149
| URI | m2://inv/1S7PCRZ149 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Joseph-Louis Lagrange#2ZR0, Lagrange's approximation theorem (definition)
History
- 2026-11-02: add by m2/dev
Erdős–Kac theorem 1S7QP4MDW0
| URI | m2://inv/1S7QP4MDW0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#TQ3V, Erdős–Kac theorem (statement)
History
- 2026-11-02: add by m2/dev
Global optimality guarantee of MPA 1S7WHE6A3E
| URI | m2://inv/1S7WHE6A3E |
|---|---|
| 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.31363#2033, Global optimality guarantee of MPA (statement). In XB8NYRD86J/e1, theorem D.2
History
- 2026-10-31: add by m2/v0.5.6
1S81WGE6AN 1S81WGE6AN
| URI | m2://inv/1S81WGE6AN |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/syntax-and-semantics/formation-sequences.tex#proof-2 (proof). In PKGMM3P5QY, proof, section 19.8
History
- 2026-11-01: add by m2/v0.6.13
Statement 1S8720CKRE
| URI | m2://inv/1S8720CKRE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Akhiezer's theorem#OCC0, Statement (statement)
History
- 2026-11-02: add by m2/dev
1S882W94YT 1S882W94YT
| URI | m2://inv/1S882W94YT |
|---|---|
| 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 2610.01433#BREE (statement). In 160PQ7F1AS/e1, lemma 4.23
History
- 2026-10-29: add by m2/v0.4.12
Basic properties 1S88RZGZNJ
| URI | m2://inv/1S88RZGZNJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Germ (mathematics)#KZ9O, Basic properties (statement)
History
- 2026-11-02: add by m2/dev
Example 1S8DFRN7Y3
| URI | m2://inv/1S8DFRN7Y3 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Staged tree (mathematics)#FJJA, Example (example)
History
- 2026-11-02: add by m2/dev
Zelenogorsk, Krasnoyarsk Krai 1S8DFRZ0YP
| URI | m2://inv/1S8DFRZ0YP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#KWDK, Zelenogorsk, Krasnoyarsk Krai (unknown)
History
- 2026-11-02: add by m2/dev
Process graph 1S8F79K3MW
| URI | m2://inv/1S8F79K3MW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Process graph, Process graph (definition). Also Wikidata Q7247275
History
- 2026-11-02: add by m2/dev
1S8GKK8YV6 1S8GKK8YV6
| URI | m2://inv/1S8GKK8YV6 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23605#0M13 (definition)
History
- 2026-11-02: add by m2/v0.6.17
1S8K4ZZ496 1S8K4ZZ496
| URI | m2://inv/1S8K4ZZ496 |
|---|---|
| Kind | conjecture |
| 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.28848#FD0P (conjecture)
History
- 2026-11-01: add by m2/v0.6.15
Normalization of a cumulative margin bound 1S8P72R6DY
| URI | m2://inv/1S8P72R6DY |
|---|---|
| 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.11309#6LQO, Normalization of a cumulative margin bound (statement). In TTEAQA1XXR/e1, lemma B.4
History
- 2026-10-28: add by m2/v0.4.3
European Chapter on Combinatorial Optimization 1S8PRAR7WK
| URI | m2://inv/1S8PRAR7WK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia European Chapter on Combinatorial Optimization, European Chapter on Combinatorial Optimization (definition). Also Wikidata Q24963926
History
- 2026-11-02: add by m2/dev
Equivalent radius 1S8R39MRHA
| URI | m2://inv/1S8R39MRHA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Equivalent radius, Equivalent radius (definition). Also Wikidata Q130443887
History
- 2026-11-02: add by m2/dev
Applications 1S8X5GESK2
| URI | m2://inv/1S8X5GESK2 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Impossible world#5DDN, Applications (example)
History
- 2026-11-02: add by m2/dev
Demographics of Rotselaar 1S8YE7P2H2
| URI | m2://inv/1S8YE7P2H2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Demographics of Rotselaar, Demographics of Rotselaar (definition). Also Wikidata Q5256068
History
- 2026-11-02: add by m2/dev
Runcinated alternated cubic honeycomb 1S8ZWJ2ZJ3
| URI | m2://inv/1S8ZWJ2ZJ3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#NYRU, Runcinated alternated cubic honeycomb (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#TKJL, Runcinated alternated cubic honeycomb (definition)
History
- 2026-11-02: add by m2/dev
semantic consequence 1S90RR20SK
| URI | m2://inv/1S90RR20SK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Principle of explosion#1S2T, semantic consequence (definition)
History
- 2026-11-02: add by m2/dev
Uniform continuation of the ordinary chains 1S93S0JP9G
| URI | m2://inv/1S93S0JP9G |
|---|---|
| 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.33808#9XRN, Uniform continuation of the ordinary chains (statement). In 328KGRNN0W/e1, lemma 6.3
History
- 2026-10-30: add by m2/v0.4.12
Hugo Steinhaus 1S965KZKB8
| URI | m2://inv/1S965KZKB8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#X1KV, Hugo Steinhaus (topic)
History
- 2026-11-02: add by m2/dev
Info-gap decision theory 1S991XVTYX
| URI | m2://inv/1S991XVTYX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#L0QS, Info-gap decision theory (definition)
History
- 2026-11-02: add by m2/dev
1S9K905GP7 1S9K905GP7
| URI | m2://inv/1S9K905GP7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38240#SFU4 (statement). In WFZ0FG1F1R/e1, lemma 3.2
History
- 2026-10-30: add by m2/v0.4.12
Dawn Lott 1S9MXBVGVV
| URI | m2://inv/1S9MXBVGVV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dawn Lott, Dawn Lott (topic). Also Wikidata Q16946001
History
- 2026-11-02: add by m2/dev
1S9RC9RNCW 1S9RC9RNCW
| URI | m2://inv/1S9RC9RNCW |
|---|---|
| Kind | problem |
| 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.33019#X1PS (problem). In R4V2A3Z5GP/e1, problem 3.1
History
- 2026-10-31: add by m2/v0.5.6
1S9S7BVBF1 1S9S7BVBF1
| URI | m2://inv/1S9S7BVBF1 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12817#CNU4 (definition). In FPSGZ5S6YF/e1, definition 2.1
History
- 2026-10-28: add by m2/v0.4.2
Luis Vega 1S9VDKP1A9
| URI | m2://inv/1S9VDKP1A9 |
|---|---|
| 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#U221, Luis Vega (topic)
History
- 2026-11-02: add by m2/dev
Rocket City Math League 1S9VV07RV4
| URI | m2://inv/1S9VV07RV4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematics competitions#36ET, Rocket City Math League (definition)
History
- 2026-11-02: add by m2/dev
Ilona Palásti 1S9YD5ZY6D
| URI | m2://inv/1S9YD5ZY6D |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#V4S7, Ilona Palásti (topic)
History
- 2026-11-02: add by m2/dev
Sylvia de Neymet 1SA6J13TF7
| URI | m2://inv/1SA6J13TF7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sylvia de Neymet, Sylvia de Neymet (topic). Also Wikidata Q48397085
History
- 2026-11-02: add by m2/dev
Society for Industrial and Applied Mathematics 1SA6MWY48N
| URI | m2://inv/1SA6MWY48N |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical societies#TS32, Society for Industrial and Applied Mathematics (topic)
History
- 2026-11-02: add by m2/dev
1SAHQFSPW0 1SAHQFSPW0
| URI | m2://inv/1SAHQFSPW0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book equivalences.tex#fibwise-fiber-total-fiber-equiv (statement). In N54F33XE07, thm, section 3.7
History
- 2026-11-01: add by m2/v0.6.13
$k$-deck 1SAP1VSP77
| URI | m2://inv/1SAP1VSP77 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23106#CEX2, $k$-deck (definition)
History
- 2026-11-02: add by m2/v0.6.17
A-buffer 1SAQVP6MJ8
| URI | m2://inv/1SAQVP6MJ8 |
|---|---|
| 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#55KU, A-buffer (unknown)
History
- 2026-11-02: add by m2/dev
1SAY9GXAVN 1SAY9GXAVN
| URI | m2://inv/1SAY9GXAVN |
|---|---|
| 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.02199#T7ZA (statement). In A8Q52DFW6S/e1, theorem 1
History
- 2026-10-29: add by m2/v0.4.12
1SB1C70AZ6 1SB1C70AZ6
| URI | m2://inv/1SB1C70AZ6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03559#P1SP (statement). In R68THJCHX6/e1, corollary 2
History
- 2026-10-27: add by m2/v0.3.5
Pythagorean field 1SB2PEE1GM
| URI | m2://inv/1SB2PEE1GM |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 12-XX |
| Sources | 4 |
| Outcome | open |
| Node | Pythagorean field A6M3GTHM40 |
Mentions
- mathlib_1000: mathlib_1000 Q2120067, Diller–Dress theorem (statement). Also Wikidata Q2120067
- thousand_plus: thousand_plus Q2120067, Diller–Dress theorem (statement). Also Wikidata Q2120067, Wikipedia Diller–Dress theorem
- wikidata: Wikidata Q2120067, Pythagorean field (unknown). Also MathWorld PythagoreanField
- wikipedia: Wikipedia Pythagorean field, Pythagorean field (topic). Also Wikidata Q2120067
History
- 2026-10-26: add by m2/dev
Cycle decomposition of a nonnegative circulation 1SB3AXF30T
| URI | m2://inv/1SB3AXF30T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2605.10911#1THL, Cycle decomposition of a nonnegative circulation (statement). In Y23VR7N90M/e1, lemma 20
History
- 2026-10-27: add by m2/v0.3.5
Lemma statement 1SB63D7PVV
| URI | m2://inv/1SB63D7PVV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Céa's lemma#ZH9S, Lemma statement (statement)
History
- 2026-11-02: add by m2/dev
Adjoint Koopman Eigenpair 1SB7Y68N6M
| URI | m2://inv/1SB7Y68N6M |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32652#LEGW, Adjoint Koopman Eigenpair (definition). In 6KAZWJ8RFX/e1, definition 3.4
History
- 2026-10-31: add by m2/v0.5.6
1SBW1294NE 1SBW1294NE
| URI | m2://inv/1SBW1294NE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 57-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08638#C9S7 (statement). In 113VZ5XX7J/e1, proposition 4.4
History
- 2026-10-29: add by m2/v0.4.10
1SC5KSGC7D 1SC5KSGC7D
| URI | m2://inv/1SC5KSGC7D |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-der.tex#exercise:endpointderivative (exercise). In E59CDZA4DP, exercise, section 3.2.6
History
- 2026-11-01: add by m2/v0.6.13
Unibranch local ring 1SCAJSCFW5
| URI | m2://inv/1SCAJSCFW5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Unibranch local ring, Unibranch local ring (definition). Also Wikidata Q7884695
History
- 2026-11-02: add by m2/dev
1SCGA1T49X 1SCGA1T49X
| URI | m2://inv/1SCGA1T49X |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38131#TC8F (example). In GM3S19KFDH/e1, example 3.20
History
- 2026-10-30: add by m2/v0.4.12
1SCJTEV49B 1SCJTEV49B
| URI | m2://inv/1SCJTEV49B |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/proof-theory/cut-elimination/ce-topmost.tex#proof-2 (proof). In PKGMM3P5QY, proof, section 56.2
History
- 2026-11-01: add by m2/v0.6.13
Properties 1SCNZR09S5
| URI | m2://inv/1SCNZR09S5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Large set (Ramsey theory)#S7ER, Properties (statement)
History
- 2026-11-02: add by m2/dev
1SCP356D83 1SCP356D83
| URI | m2://inv/1SCP356D83 |
|---|---|
| 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.37026#699H (statement). In QGZPH9W8GY/e1, lemma A.6
History
- 2026-10-30: add by m2/v0.4.12
Fixed-coefficient fermionic construction 1SCP9WSRV7
| URI | m2://inv/1SCP9WSRV7 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36016#7XT4, Fixed-coefficient fermionic construction (example). In NAM9ZMPHZ9/e1, example 3.5
- arxiv: arXiv 2609.36016#JEFS (example). In NAM9ZMPHZ9/e1, example A.2
History
- 2026-10-30: add by m2/v0.4.12
1SCRZ2MSDR 1SCRZ2MSDR
| URI | m2://inv/1SCRZ2MSDR |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03555#6CW9 (definition). In 9JZJTRRVR1/e1, definition 2.18
History
- 2026-10-29: add by m2/v0.4.12
One-factor-at-a-time method 1SCTDTG2YZ
| URI | m2://inv/1SCTDTG2YZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#OHOP, One-factor-at-a-time method (definition)
History
- 2026-11-02: add by m2/dev
1SCV0R17KA 1SCV0R17KA
| URI | m2://inv/1SCV0R17KA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34289#GOG5 (statement). In 9RBATD2Z1F/e1, lemma 2.12
History
- 2026-10-30: add by m2/v0.4.12
$\errtol$-maximal feasible set 1SCZZMZ6VZ
| URI | m2://inv/1SCZZMZ6VZ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 60-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38132#X0DB, $\errtol$-maximal feasible set (definition). In K6CP8GP51H/e1, definition 2
History
- 2026-10-30: add by m2/v0.4.12
Pearson, Egon 1SD08VWBHS
| URI | m2://inv/1SD08VWBHS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#VHSA, Pearson, Egon (topic)
History
- 2026-11-02: add by m2/dev
Anatol Odzijewicz 1SD0TEAEJ1
| URI | m2://inv/1SD0TEAEJ1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Anatol Odzijewicz, Anatol Odzijewicz (topic). Also Wikidata Q112110784
History
- 2026-11-02: add by m2/dev
1SD1J14EK7 1SD1J14EK7
| URI | m2://inv/1SD1J14EK7 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/InjectiveSurjectiveFunctions.tex#problem-9 (exercise). In P1C114YBXG, problem, section D
History
- 2026-11-01: add by m2/v0.6.13
1SD2KANS1J 1SD2KANS1J
| URI | m2://inv/1SD2KANS1J |
|---|---|
| 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 2204.10840#DTY7 (statement). In EMS1MAJZ4X/e1, proposition 4
History
- 2026-10-27: add by m2/v0.3.6
Cubical graph 1SD4X5B726
| URI | m2://inv/1SD4X5B726 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cube#V5RB, Cubical graph (unknown)
History
- 2026-11-02: add by m2/dev
1SD6JJ7T4Y 1SD6JJ7T4Y
| URI | m2://inv/1SD6JJ7T4Y |
|---|---|
| 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 2609.26776#DJ8I (definition)
History
- 2026-11-01: add by m2/v0.6.15
gyroscopic forces 1SDATAC7MT
| URI | m2://inv/1SDATAC7MT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of common misconceptions about science, technology, and mathematics#MFXM, gyroscopic forces (unknown)
History
- 2026-11-02: add by m2/dev
Eratosthenes 1SDJXVRFJY
| URI | m2://inv/1SDJXVRFJY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of geometers#3QPJ, Eratosthenes (topic)
History
- 2026-11-02: add by m2/dev
Political views of Millenials 1SDM9CPAMS
| URI | m2://inv/1SDM9CPAMS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Millennials#MFTZ, Political views of Millenials (unknown)
History
- 2026-11-02: add by m2/dev
1SDNQC1KTH 1SDNQC1KTH
| URI | m2://inv/1SDNQC1KTH |
|---|---|
| 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.37265#WOY3 (statement). In BKYAWEC5XH/e1, proposition 6.5
History
- 2026-10-30: add by m2/v0.4.12
Variations 1SDTBFGVP3
| URI | m2://inv/1SDTBFGVP3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lambda-mu calculus#SYYS, Variations (statement)
History
- 2026-11-02: add by m2/dev
1SDWPFPTWK 1SDWPFPTWK
| URI | m2://inv/1SDWPFPTWK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 60-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01411#0NEU (statement). In SD28S3K7BT/e1, theorem 32
History
- 2026-10-29: add by m2/v0.4.12
1SE0ZN6XN1 1SE0ZN6XN1
| URI | m2://inv/1SE0ZN6XN1 |
|---|---|
| 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#NSG8 (statement). In WC7BN66XSN/e1, lemma 3
History
- 2026-10-29: add by m2/v0.4.10
Radial distribution function 1SE15N0B1W
| URI | m2://inv/1SE15N0B1W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Radial distribution function, Radial distribution function (definition). Also Wikidata Q651160
History
- 2026-11-02: add by m2/dev
Examples 1SE56FHKN8
| URI | m2://inv/1SE56FHKN8 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Krull–Schmidt category#HP1Z, Examples (example)
History
- 2026-11-02: add by m2/dev
Stationary distribution within the ACG family in Example 2 1SEAAJ9DXZ
| URI | m2://inv/1SEAAJ9DXZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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.33541#IGR1, Stationary distribution within the ACG family in Example 2 (statement). In N3P196CEAJ/e1, lemma A.3
History
- 2026-10-30: add by m2/v0.4.12
Canonical Hamming Partition 1SED453V54
| URI | m2://inv/1SED453V54 |
|---|---|
| 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.37578#KTQQ, Canonical Hamming Partition (statement). In D7NDCWSDJE/e1, lemma 10
History
- 2026-10-30: add by m2/v0.4.12
1SED8EKW8B 1SED8EKW8B
| URI | m2://inv/1SED8EKW8B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12912#0L8T (statement). In PDKBKKJ4BV/e1, theorem 7.5
History
- 2026-10-28: add by m2/v0.4.2
John Scotus Eriugena 1SEEH9PFBX
| URI | m2://inv/1SEEH9PFBX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia John Scotus Eriugena, John Scotus Eriugena (topic). Also Wikidata Q184500
History
- 2026-11-02: add by m2/dev
1SEREDVNE0 1SEREDVNE0
| URI | m2://inv/1SEREDVNE0 |
|---|---|
| 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.31542#F4L0 (statement). In RPR80CVAWT/e1, theorem 1
History
- 2026-10-31: add by m2/v0.5.6
1SFDG31T2P 1SFDG31T2P
| URI | m2://inv/1SFDG31T2P |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section6-2.xml#activity-4 (exercise). In 649HGZKE96, activity, section 6.2.4
History
- 2026-11-01: add by m2/v0.6.13
Major index 1SFGSHR8JN
| URI | m2://inv/1SFGSHR8JN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Major index, Major index (definition). Also Wikidata Q6738350
History
- 2026-11-02: add by m2/dev
1SFQFD9ZER 1SFQFD9ZER
| URI | m2://inv/1SFQFD9ZER |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34016#U28U (statement). In 1E4AJ49FWV/e1, proposition 5.4
History
- 2026-10-30: add by m2/v0.4.12
Liu Hui's inequality 1SFT2X4WG7
| URI | m2://inv/1SFT2X4WG7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Liu Hui's π algorithm#09GG, Liu Hui's inequality (statement)
History
- 2026-11-02: add by m2/dev
Alternative direct-classification route 1SG5VQBGCK
| URI | m2://inv/1SG5VQBGCK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04099#QDM5, Alternative direct-classification route (statement). In QPJ6FWG5HD/e1, theorem 2.76
History
- 2026-10-29: add by m2/v0.4.12
1SGD976S4H 1SGD976S4H
| URI | m2://inv/1SGD976S4H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25094#SGE4 (statement)
History
- 2026-11-01: add by m2/v0.6.15
1SGD9XPTW8 1SGD9XPTW8
| URI | m2://inv/1SGD9XPTW8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numbers#7XPZ (unknown)
History
- 2026-11-02: add by m2/dev
1SGERMYVZT 1SGERMYVZT
| URI | m2://inv/1SGERMYVZT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40017#KIDA (statement). In MBHJA0HT06/e1, theorem 1.2
History
- 2026-10-30: add by m2/v0.4.12
Invertible sheaf 1SGG7D87Z3
| URI | m2://inv/1SGG7D87Z3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Invertible sheaf, Invertible sheaf (definition). Also Wikidata Q2905137
History
- 2026-11-02: add by m2/dev
Waring's formula 1SGGV64ADB
| URI | m2://inv/1SGGV64ADB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3748393, Waring's formula (unknown). Also MathWorld WaringFormula
History
- 2026-10-26: add by m2/dev
Quantile normalization 1SGKBCFHAC
| URI | m2://inv/1SGKBCFHAC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quantile normalization, Quantile normalization (definition). Also Wikidata Q7268915
History
- 2026-11-02: add by m2/dev
T(1) theorem 1SGS1E68CF
| URI | m2://inv/1SGS1E68CF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia T(1) theorem, T(1) theorem (statement). Also Wikidata Q7667741
History
- 2026-11-02: add by m2/dev
1SGVVDHGCT 1SGVVDHGCT
| URI | m2://inv/1SGVVDHGCT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05427#WZ52 (statement). In 4VC60HRHH9/e1, proposition 3.1
History
- 2026-10-29: add by m2/v0.4.10
1SH35XCQYC 1SH35XCQYC
| URI | m2://inv/1SH35XCQYC |
|---|---|
| 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.08028#COUG (statement). In Z19XDA8QY9/e1, corollary 12
History
- 2026-10-29: add by m2/v0.4.10
Idempotent 1SH3KEHE0S
| URI | m2://inv/1SH3KEHE0S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Idempotent (ring theory), Idempotent (definition). Also Wikidata Q2243424
History
- 2026-11-02: add by m2/dev
Examples 1SH5Q5VGMS
| URI | m2://inv/1SH5Q5VGMS |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Non-Newtonian fluid#FJB1, Examples (example)
History
- 2026-11-02: add by m2/dev
quadratic differential 1SH73A4AFV
| URI | m2://inv/1SH73A4AFV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7268358, quadratic differential (unknown). Also nLab quadratic differential
- wikipedia: Wikipedia Quadratic differential, Quadratic differential (definition). Also Wikidata Q7268358
History
- 2026-10-26: add by m2/dev
1SHA0GC9XC 1SHA0GC9XC
| URI | m2://inv/1SHA0GC9XC |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-metric.tex#example-13 (example). In E59CDZA4DP, example, section 4.2.3
History
- 2026-11-01: add by m2/v0.6.13
1SHB3KDJM9 1SHB3KDJM9
| URI | m2://inv/1SHB3KDJM9 |
|---|---|
| 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.18154#9VDT (statement). In 4W7ARR1DAR/e1, fact B.10
History
- 2026-10-28: add by m2/v0.4.2
Applications 1SHEF0EZT6
| URI | m2://inv/1SHEF0EZT6 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Heavy-light decomposition#34XK, Applications (example)
History
- 2026-11-02: add by m2/dev
Solid-torus module 1SHGS2HWF0
| URI | m2://inv/1SHGS2HWF0 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09201#HK19, Solid-torus module (definition). In JQFPH09JG8/e1, definition 5.4
History
- 2026-10-29: add by m2/v0.4.10
1SHKRF9JRT 1SHKRF9JRT
| URI | m2://inv/1SHKRF9JRT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06868#E7ON (statement). In TV73V5E7JV/e1, corollary 4.3
History
- 2026-10-29: add by m2/v0.4.10
Topological degree theory 1SHP2XXREW
| URI | m2://inv/1SHP2XXREW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Topological degree theory, Topological degree theory (definition). Also Wikidata Q7825029
History
- 2026-11-02: add by m2/dev
,000 000 000 000 000 000 000 000 001 1SHQVXE2NE
| URI | m2://inv/1SHQVXE2NE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orders of magnitude (numbers)#Z3AR, ,000 000 000 000 000 000 000 000 001 (unknown)
History
- 2026-11-02: add by m2/dev
Properties 1SHZKSJZ9D
| URI | m2://inv/1SHZKSJZ9D |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quasigroup#BY2Z, Properties (statement)
History
- 2026-11-02: add by m2/dev
subcontrary 1SJ0VNGBBJ
| URI | m2://inv/1SJ0VNGBBJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#D57G, subcontrary (definition)
History
- 2026-11-02: add by m2/dev
Properties 1SJ70JFS72
| URI | m2://inv/1SJ70JFS72 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Annihilator (ring theory)#OA56, Properties (statement)
History
- 2026-11-02: add by m2/dev
Statement 1SJP4YQ7VQ
| URI | m2://inv/1SJP4YQ7VQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gabriel's theorem#SV2W, Statement (statement)
History
- 2026-11-02: add by m2/dev
1SJPRBV3XS 1SJPRBV3XS
| URI | m2://inv/1SJPRBV3XS |
|---|---|
| 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#LZBC (definition). In H21X3FHNYJ/e1, definition 9.1
History
- 2026-10-27: add by m2/v0.4.2
Firing of Commissioner of Labor Statistics 1SJSZ9PREY
| URI | m2://inv/1SJSZ9PREY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Erika McEntarfer#VJ9B, Firing of Commissioner of Labor Statistics (unknown)
History
- 2026-11-02: add by m2/dev
1SJYRKJAWP 1SJYRKJAWP
| URI | m2://inv/1SJYRKJAWP |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0003117#56TB (example). In WD2NCBV9F0/e1, example 4.20
History
- 2026-10-27: add by m2/v0.3.5
caesium-133 1SK85B8D9J
| URI | m2://inv/1SK85B8D9J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2327948, caesium-133 (definition). Also ProofWiki Definition:Caesium/133
History
- 2026-10-26: add by m2/dev
1SK9WW6DMY 1SK9WW6DMY
| URI | m2://inv/1SK9WW6DMY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2208.06310#H20C (statement). In 9YR0E0T9XA/e1, lemma 3.12
History
- 2026-10-27: add by m2/v0.3.5
Emil Gilels 1SKB0W42GC
| URI | m2://inv/1SKB0W42GC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#VGHO, Emil Gilels (unknown)
History
- 2026-11-02: add by m2/dev
Yiqun Lisa Yin 1SKKWYRA2N
| URI | m2://inv/1SKKWYRA2N |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#XHMJ, Yiqun Lisa Yin (unknown)
History
- 2026-11-02: add by m2/dev
James Ax 1SKR8052XF
| URI | m2://inv/1SKR8052XF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#EIQC, James Ax (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#IRIP, James Ax (topic)
History
- 2026-11-02: add by m2/dev
sampling error 1SM07GZ28D
| URI | m2://inv/1SM07GZ28D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of probability and statistics#NBYO, sampling error (definition)
History
- 2026-11-02: add by m2/dev
Abel–Ruffini theorem 1SM5469FCG
| URI | m2://inv/1SM5469FCG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#P3GM, Abel–Ruffini theorem (statement)
History
- 2026-11-02: add by m2/dev
1SM71X3FPM 1SM71X3FPM
| URI | m2://inv/1SM71X3FPM |
|---|---|
| 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 1806.00752#TTSU (statement). In GGW2N4JHXM/e1, corollary 16
History
- 2026-10-27: add by m2/v0.3.5
1SMBZJPJC9 1SMBZJPJC9
| URI | m2://inv/1SMBZJPJC9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29605#LEX5 (statement)
History
- 2026-11-01: add by m2/v0.6.15
National Center for Science and Engineering Statistics 1SMCCD3M81
| URI | m2://inv/1SMCCD3M81 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia National Center for Science and Engineering Statistics, National Center for Science and Engineering Statistics (definition). Also Wikidata Q30259254
History
- 2026-11-02: add by m2/dev
1SMCMEYHTP 1SMCMEYHTP
| URI | m2://inv/1SMCMEYHTP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33469#RDLI (statement). In TC5QA4AB4Z/e1, proposition 4.14
History
- 2026-10-30: add by m2/v0.4.12
Increasing process 1SMV6KF51X
| URI | m2://inv/1SMV6KF51X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Increasing process, Increasing process (definition). Also Wikidata Q6015335
History
- 2026-11-02: add by m2/dev
The Analytic Theory of Heat 1SN8GC3JDK
| URI | m2://inv/1SN8GC3JDK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Joseph Fourier#FSK1, The Analytic Theory of Heat (unknown)
History
- 2026-11-02: add by m2/dev
Application of the work energy theorem 1SN906JYSN
| URI | m2://inv/1SN906JYSN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Projectile motion#SRTK, Application of the work energy theorem (statement)
History
- 2026-11-02: add by m2/dev
1SNAR887AC 1SNAR887AC
| URI | m2://inv/1SNAR887AC |
|---|---|
| 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 2610.20758#Z4CY (statement). In PG0B4PH9YH/e1, lemma 3.10
History
- 2026-10-27: add by m2/v0.4.2
1SNBDME1E8 1SNBDME1E8
| URI | m2://inv/1SNBDME1E8 |
|---|---|
| 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.08210#C46E (definition). In 7452X8HQ21/e1, definition 2.5
History
- 2026-10-29: add by m2/v0.4.10
Xu Guangqi 1SNCBH0YTM
| URI | m2://inv/1SNCBH0YTM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Chinese mathematicians#MM29, Xu Guangqi (unknown)
History
- 2026-11-02: add by m2/dev
RRSEG with concrete parameter choices 1SNJ8EA7AV
| URI | m2://inv/1SNJ8EA7AV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35631#KGQQ, RRSEG with concrete parameter choices (statement). In 9NCX0S6MTP/e1, corollary 6.2
History
- 2026-10-30: add by m2/v0.4.12
1SNJNM77KD 1SNJNM77KD
| URI | m2://inv/1SNJNM77KD |
|---|---|
| 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#21SF (statement). In JBZJ7NPQ4G/e1, corollary 4.4
History
- 2026-10-27: add by m2/v0.4.0
Generalizations 1SNMV9D1FD
| URI | m2://inv/1SNMV9D1FD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dicyclic group#RH0Y, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Real projective space 1SNQK7B8JJ
| URI | m2://inv/1SNQK7B8JJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic geometry topics#72CU, Real projective space (definition)
History
- 2026-11-02: add by m2/dev
1SNT4P34B2 1SNT4P34B2
| URI | m2://inv/1SNT4P34B2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 01-XX, 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28552#L7YH (statement)
History
- 2026-11-01: add by m2/v0.6.15
1SNX7RYDYG 1SNX7RYDYG
| URI | m2://inv/1SNX7RYDYG |
|---|---|
| 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 2207.12181#GOP8 (definition). In FSD8NE3XSR/e1, definition 4.11
History
- 2026-10-27: add by m2/v0.4.0
Dncipher 1SP3PXENFW
| URI | m2://inv/1SP3PXENFW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of telecommunications encryption terms#HD0J, Dncipher (unknown)
History
- 2026-11-02: add by m2/dev
1SP41KC96J 1SP41KC96J
| URI | m2://inv/1SP41KC96J |
|---|---|
| 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.19260#FRLN (statement). In PWXT7J9JX3/e1, proposition 6.6
History
- 2026-10-28: add by m2/v0.4.2
1SP6HF3PJZ 1SP6HF3PJZ
| URI | m2://inv/1SP6HF3PJZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 19-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2505.05539#27V3 (statement). In 8SVVEVGMNE/e1, proposition 4.7
History
- 2026-10-27: add by m2/v0.3.5
Non-squeezing theorem 1SPA1K3PGW
| URI | m2://inv/1SPA1K3PGW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#5H0O, Non-squeezing theorem (statement)
History
- 2026-11-02: add by m2/dev
Auxiliary particle filter 1SPGGY8972
| URI | m2://inv/1SPGGY8972 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Auxiliary particle filter, Auxiliary particle filter (definition). Also Wikidata Q4827310
History
- 2026-11-02: add by m2/dev
Arithmetic number 1SPM1TARX1
| URI | m2://inv/1SPM1TARX1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arithmetic number, Arithmetic number (definition). Also Wikidata Q4791129
History
- 2026-11-02: add by m2/dev
1SPNVJAJN9 1SPNVJAJN9
| URI | m2://inv/1SPNVJAJN9 |
|---|---|
| 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.26515#4J6Z (statement)
History
- 2026-11-01: add by m2/v0.6.15
Total survey error 1SPQWY95KC
| URI | m2://inv/1SPQWY95KC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Total survey error, Total survey error (definition). Also Wikidata Q7828148
History
- 2026-11-02: add by m2/dev
Erd\H os, Rényi 1SQBFRXPJZ
| URI | m2://inv/1SQBFRXPJZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 01-XX, 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28552#49Z9, Erd\H os, Rényi (statement)
History
- 2026-11-01: add by m2/v0.6.15
Merdeka Center 1SQG1WRT5K
| URI | m2://inv/1SQG1WRT5K |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polling organizations#WT86, Merdeka Center (unknown)
History
- 2026-11-02: add by m2/dev
Sphube 1SQKGVN6XV
| URI | m2://inv/1SQKGVN6XV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Squircle#SHDR, Sphube (unknown)
History
- 2026-11-02: add by m2/dev
Notations 1SQN3K3AGQ
| URI | m2://inv/1SQN3K3AGQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Routh–Hurwitz theorem#WAL3, Notations (definition)
History
- 2026-11-02: add by m2/dev
Mauchly's sphericity test 1SQPGP30G2
| URI | m2://inv/1SQPGP30G2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mauchly's sphericity test, Mauchly's sphericity test (definition). Also Wikidata Q6792189
History
- 2026-11-02: add by m2/dev
gauge boson 1SQSVXR5ZM
| URI | m2://inv/1SQSVXR5ZM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q105580, gauge boson (unknown). Also nLab gauge boson
History
- 2026-10-26: add by m2/dev
1SQVPBY220 1SQVPBY220
| URI | m2://inv/1SQVPBY220 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10930#HZ7D (statement). In HX63A1PH1W/e1, corollary 4.20
History
- 2026-10-28: add by m2/v0.4.3
SIMD 1SQX45E9SM
| URI | m2://inv/1SQX45E9SM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia SIMD (hash function), SIMD (definition). Also Wikidata Q7390391
History
- 2026-11-02: add by m2/dev
Strong Contamination Model 1SQZERW2XD
| URI | m2://inv/1SQZERW2XD |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30105#3SZT, Strong Contamination Model (definition)
History
- 2026-11-01: add by m2/v0.6.15
1SR3ADMKJF 1SR3ADMKJF
| URI | m2://inv/1SR3ADMKJF |
|---|---|
| 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.29631#P9QN (statement)
History
- 2026-11-01: add by m2/v0.6.15
Why the degree and prime restrictions matter 1SR6T9WMBD
| URI | m2://inv/1SR6T9WMBD |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 20-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.04305#ZZ2D, Why the degree and prime restrictions matter (example). In Y1DR0DPWD0/e1, example 6.5
History
- 2026-10-29: add by m2/v0.4.12
valuation 1SRBMP20XB
| URI | m2://inv/1SRBMP20XB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Valuation B85T5VKR3M |
Mentions
- wikidata: Wikidata Q852757, valuation (unknown). Also MathWorld Valuation
- wikipedia: Wikipedia Valuation (algebra), Valuation (definition). Also Wikidata Q852757
History
- 2026-10-26: add by m2/dev
Alan Turing Building 1SRDJ2CPWS
| URI | m2://inv/1SRDJ2CPWS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Alan Turing#8GAK, Alan Turing Building (unknown)
History
- 2026-11-02: add by m2/dev
1SRG6WYQJ3 1SRG6WYQJ3
| URI | m2://inv/1SRG6WYQJ3 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2306.08237#QUFX (definition). In E22A2MFR4Y/e1, definition 3.4
History
- 2026-10-27: add by m2/v0.3.6
Norman Steenrod 1SRJVBE2X7
| URI | m2://inv/1SRJVBE2X7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#I1G0, Norman Steenrod (unknown)
History
- 2026-11-02: add by m2/dev
1SRMJ6DR5S 1SRMJ6DR5S
| URI | m2://inv/1SRMJ6DR5S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 37-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.27458#DBPX (statement)
History
- 2026-11-01: add by m2/v0.6.15
Planar Riemann surface 1SRPCM0SNE
| URI | m2://inv/1SRPCM0SNE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Planar Riemann surface, Planar Riemann surface (definition). Also Wikidata Q25305567
History
- 2026-11-02: add by m2/dev
1SRW8G9FEV 1SRW8G9FEV
| URI | m2://inv/1SRW8G9FEV |
|---|---|
| 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#I7PD (statement). In SE16BAED46/e1, proposition 1
History
- 2026-10-28: add by m2/v0.4.2
1SS0D0RQYK 1SS0D0RQYK
| URI | m2://inv/1SS0D0RQYK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37124#FUY1 (statement). In 2QF1YG9DD0/e1, lemma 3.17
History
- 2026-10-30: add by m2/v0.4.12
Alfréd Haar 1SS0RZ89H6
| URI | m2://inv/1SS0RZ89H6 |
|---|---|
| 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#QIHI, Alfréd Haar (topic)
History
- 2026-11-02: add by m2/dev
Definitions 1SS8SSG20V
| URI | m2://inv/1SS8SSG20V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lie algebra#ZLHH, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Beilinson–Bernstein localization 1SSAN2XQH6
| URI | m2://inv/1SSAN2XQH6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Beilinson–Bernstein localization, Beilinson–Bernstein localization (definition). Also Wikidata Q60794860
History
- 2026-11-02: add by m2/dev
Bateman transform 1SSBS551TF
| URI | m2://inv/1SSBS551TF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of transforms#ZQKO, Bateman transform (definition)
History
- 2026-11-02: add by m2/dev
Direct sum of rings 1SSC7JF4WB
| URI | m2://inv/1SSC7JF4WB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of abstract algebra topics#Y66V, Direct sum of rings (definition)
History
- 2026-11-02: add by m2/dev
Examples 1SSEEV9CAV
| URI | m2://inv/1SSEEV9CAV |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bounded lattice#U20I, Examples (example)
History
- 2026-11-02: add by m2/dev
1SSQAN1YSZ 1SSQAN1YSZ
| URI | m2://inv/1SSQAN1YSZ |
|---|---|
| Kind | problem |
| 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#BJIB (problem). In MG51GG0QZN/e1, problem 3.16
History
- 2026-10-27: add by m2/v0.3.5
1SSR6E7ABJ 1SSR6E7ABJ
| URI | m2://inv/1SSR6E7ABJ |
|---|---|
| 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.03384#VKK3 (statement). In J55JTTKG84/e1, lemma 3.2
History
- 2026-10-29: add by m2/v0.4.12
1SSVKBH57F 1SSVKBH57F
| URI | m2://inv/1SSVKBH57F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33590#SRVJ (statement). In WRE0P7V6Z3/e1, proposition 12.1
History
- 2026-10-30: add by m2/v0.4.12
Jack Good 1SSY21TMWD
| URI | m2://inv/1SSY21TMWD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cryptographers#LNGZ, Jack Good (topic)
History
- 2026-11-02: add by m2/dev
Virial mass 1SSZFNJQMV
| URI | m2://inv/1SSZFNJQMV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Virial mass, Virial mass (definition). Also Wikidata Q7934789
History
- 2026-11-02: add by m2/dev
1ST5HR6BFV 1ST5HR6BFV
| URI | m2://inv/1ST5HR6BFV |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 60-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38132#39NU (definition). In K6CP8GP51H/e1, definition 1
History
- 2026-10-30: add by m2/v0.4.12
Improper fraction 1ST63RNRQT
| URI | m2://inv/1ST63RNRQT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fraction#7TB6, Improper fraction (unknown)
History
- 2026-11-02: add by m2/dev
1ST95ZVEMG 1ST95ZVEMG
| URI | m2://inv/1ST95ZVEMG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34946#N81M (statement). In Y27BAB2BB4/e1, lemma A.2
History
- 2026-10-30: add by m2/v0.4.12
Theorem 1ST9H55JJY
| URI | m2://inv/1ST9H55JJY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Squeeze mapping#8571, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Monotone operator 1STBAG89H5
| URI | m2://inv/1STBAG89H5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Monotonic function#LHGU, Monotone operator (unknown)
History
- 2026-11-02: add by m2/dev
Properties 1STFXK74Z2
| URI | m2://inv/1STFXK74Z2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Maximal ideal#K5PG, Properties (statement)
History
- 2026-11-02: add by m2/dev
Evidence lower bound 1STN4K3SE5
| URI | m2://inv/1STN4K3SE5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Evidence lower bound, Evidence lower bound (definition). Also Wikidata Q55643021
History
- 2026-11-02: add by m2/dev
Consistent admissible stopped family 1STSX1MAVH
| URI | m2://inv/1STSX1MAVH |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28985#JIN1, Consistent admissible stopped family (definition)
History
- 2026-11-01: add by m2/v0.6.15
Bi-sided semiconjugacy 1SV2YN0PX9
| URI | m2://inv/1SV2YN0PX9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-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.04179#H5ID, Bi-sided semiconjugacy (statement). In D64RQ09KBP/e1, theorem 2.3
History
- 2026-10-29: add by m2/v0.4.12
Pascal 1SV6J5EEJF
| URI | m2://inv/1SV6J5EEJF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#OJHV, Pascal (definition)
History
- 2026-11-02: add by m2/dev
Output matrices of the mixed-type recurrence 1SV8KYN078
| URI | m2://inv/1SV8KYN078 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 26-XX, 35-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.26066#R7RO, Output matrices of the mixed-type recurrence (statement)
History
- 2026-11-01: add by m2/v0.6.15
Applications 1SVB8AX7F9
| URI | m2://inv/1SVB8AX7F9 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Berk-Jones test#301F, Applications (example)
History
- 2026-11-02: add by m2/dev
1SVEY161NA 1SVEY161NA
| URI | m2://inv/1SVEY161NA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21037#DZHY (statement). In PYB2RFYVVE/e1, lemma 3.1
History
- 2026-10-27: add by m2/v0.4.2
Heawood 4-color graph 1SVN2KA7G6
| URI | m2://inv/1SVN2KA7G6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3115450, Heawood 4-color graph (unknown). Also House of Graphs 1152, MathWorld HeawoodFour-ColorGraph
History
- 2026-10-26: add by m2/dev
1SVP1YPK4G 1SVP1YPK4G
| URI | m2://inv/1SVP1YPK4G |
|---|---|
| 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 2406.19866#X1JL (example). In 9F94CEQ1ZM/e1, example 2.31
History
- 2026-10-27: add by m2/v0.3.5
1SVW7SH1DD 1SVW7SH1DD
| URI | m2://inv/1SVW7SH1DD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01888#N6SF (statement). In A89G9GMPC9/e1, lemma 2.10
History
- 2026-10-29: add by m2/v0.4.12
Cecil C. Rousseau 1SVWA66RZN
| URI | m2://inv/1SVWA66RZN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#TO35, Cecil C. Rousseau (unknown)
History
- 2026-11-02: add by m2/dev
1SVYZDKG29 1SVYZDKG29
| URI | m2://inv/1SVYZDKG29 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32829#SPZ2 (statement). In RYWAX33Z51/e1, theorem 3.3
History
- 2026-10-31: add by m2/v0.5.6
Open problems 1SW4XZWEAK
| URI | m2://inv/1SW4XZWEAK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Transcendental number theory#NWKB, Open problems (statement)
History
- 2026-11-02: add by m2/dev
Union (set theory) 1SW57RYA0T
| URI | m2://inv/1SW57RYA0T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical logic topics#FV1J, Union (set theory) (definition)
History
- 2026-11-02: add by m2/dev
Gibbs sampling 1SW665BBHH
| URI | m2://inv/1SW665BBHH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#RWN2, Gibbs sampling (definition)
- wikipedia: Wikipedia List of probability topics#HDQR, Gibbs sampling (definition)
History
- 2026-11-02: add by m2/dev
universal, property, of Rezk completion 1SWBJT5MNS
| URI | m2://inv/1SWBJT5MNS |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/2.9/universal-property-of-rezk-completion, universal, property, of Rezk completion (concept). In N54F33XE07, index, section 2.9
History
- 2026-11-01: add by m2/v0.6.13
1SWEPA0CKM 1SWEPA0CKM
| URI | m2://inv/1SWEPA0CKM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 46-XX, 47-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 1711.00219#GLKH (statement). In 7V3HG30ZGW/e1, theorem 6.13
History
- 2026-10-27: add by m2/v0.4.0
Peter Bühlmann 1SWKVKXYB0
| URI | m2://inv/1SWKVKXYB0 |
|---|---|
| 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#O0FX, Peter Bühlmann (unknown)
- wikipedia: Wikipedia List of fellows of the American Statistical Association#QOTK, Peter Bühlmann (unknown)
History
- 2026-11-02: add by m2/dev
1SWMSDX0D3 1SWMSDX0D3
| URI | m2://inv/1SWMSDX0D3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26771#4TMK (statement)
History
- 2026-11-01: add by m2/v0.6.15
Clean smooth oracle 1SWN28GWDM
| URI | m2://inv/1SWN28GWDM |
|---|---|
| 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.18555#4SO7, Clean smooth oracle (statement). In JPR62EY6A5/e1, proposition 1
History
- 2026-10-28: add by m2/v0.4.2
1SWXGA6Z2N 1SWXGA6Z2N
| URI | m2://inv/1SWXGA6Z2N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-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 2411.16022#SQXP (statement). In QG9ATXTKJ6/e1, proposition 2.2
History
- 2026-10-27: add by m2/v0.3.5
1SWXTTA622 1SWXTTA622
| URI | m2://inv/1SWXTTA622 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-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 2609.28742#QKAO (statement)
History
- 2026-11-01: add by m2/v0.6.15
Rule of succession 1SWYPTEKXX
| URI | m2://inv/1SWYPTEKXX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rule of succession, Rule of succession (definition). Also Wikidata Q3823926
History
- 2026-11-02: add by m2/dev
Simply connected at infinity 1SX1S94YQR
| URI | m2://inv/1SX1S94YQR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Simply connected at infinity, Simply connected at infinity (definition). Also Wikidata Q7521034
History
- 2026-11-02: add by m2/dev
circumradius 1SX4FADA98
| URI | m2://inv/1SX4FADA98 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3678113, circumradius (definition). Also MathWorld Circumradius, ProofWiki Definition:Circumcircle_of_Triangle/Circumradius
History
- 2026-10-26: add by m2/dev
Framework for $HS$ and $Co_3$ 1SX5FKVXF2
| URI | m2://inv/1SX5FKVXF2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15340#PQOE, Framework for $HS$ and $Co_3$ (statement). In 9NVKKW8HDH/e1, theorem 2.85
History
- 2026-10-28: add by m2/v0.4.2
Localised Döblin--Fourier cancellation estimate 1SX6754M2H
| URI | m2://inv/1SX6754M2H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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.03083#7TOB, Localised Döblin--Fourier cancellation estimate (statement). In C71DZH5GBJ/e1, proposition 4.1
History
- 2026-10-29: add by m2/v0.4.12
1SX6J3G5VZ 1SX6J3G5VZ
| URI | m2://inv/1SX6J3G5VZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04252#PX14 (statement). In ZF0Z61VQ96/e1, corollary 5.9
History
- 2026-10-29: add by m2/v0.4.12
The symmetric monoidal $\infty$-category of global spectra 1SXCS4SFJ0
| URI | m2://inv/1SXCS4SFJ0 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21675#6SAO, The symmetric monoidal $\infty$-category of global spectra (definition). In TB1294GY5X/e1, definition B.1
History
- 2026-10-27: add by m2/v0.4.2
pentomino 1SXEWH6J4C
| URI | m2://inv/1SXEWH6J4C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q247406, pentomino (unknown). Also MathWorld Pentomino
- wikipedia: Wikipedia Pentomino, Pentomino (definition). Also Wikidata Q247406
History
- 2026-10-26: add by m2/dev
Friedman 1SXTSAZ2BW
| URI | m2://inv/1SXTSAZ2BW |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2209.00108#RLTA, Friedman (definition). In V2G422ZMPW/e1, definition 2
History
- 2026-10-27: add by m2/v0.3.5
Mediation (statistics) 1SXZQZG1ZW
| URI | m2://inv/1SXZQZG1ZW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#L3C3, Mediation (statistics) (definition)
History
- 2026-11-02: add by m2/dev
Applications 1SY2RPFN1A
| URI | m2://inv/1SY2RPFN1A |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Floor and ceiling functions#A62X, Applications (example)
History
- 2026-11-02: add by m2/dev
1SYA05J357 1SYA05J357
| URI | m2://inv/1SYA05J357 |
|---|---|
| Kind | example |
| 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.17240#ETKM (example). In 59BZ4V9RQW/e1, example 8.7
History
- 2026-10-28: add by m2/v0.4.2
1SYEP22QP3 1SYEP22QP3
| URI | m2://inv/1SYEP22QP3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 49-XX, 53-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.11677#XNH7 (statement). In 4R7HZD14M6/e1, lemma 4.1
History
- 2026-10-28: add by m2/v0.4.3
decomposition 1SYF6X9X3V
| URI | m2://inv/1SYF6X9X3V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#ISB9, decomposition (definition)
History
- 2026-11-02: add by m2/dev
1SYJ8H6KFR 1SYJ8H6KFR
| URI | m2://inv/1SYJ8H6KFR |
|---|---|
| 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.28518#3GDT (statement)
History
- 2026-11-01: add by m2/v0.6.15
Equivariant identification of the reduced object 1SYJFYKBAM
| URI | m2://inv/1SYJFYKBAM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 55-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03865#D6SL, Equivariant identification of the reduced object (statement). In G3D1YR20BJ/e1, lemma 3.27
History
- 2026-10-29: add by m2/v0.4.12
Dragon 1SYJVBBZ5N
| URI | m2://inv/1SYJVBBZ5N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dragon (cipher), Dragon (definition). Also Wikidata Q4037582
History
- 2026-11-02: add by m2/dev
Main result, informal version 1SYM3ZFFMS
| URI | m2://inv/1SYM3ZFFMS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 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.14266#KRH7, Main result, informal version (statement). In 7R33E8515R/e1, theorem 1.3
History
- 2026-10-28: add by m2/v0.4.2
Secure signature creation device 1SYNWC5HZM
| URI | m2://inv/1SYNWC5HZM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Secure signature creation device, Secure signature creation device (definition). Also Wikidata Q28136151
History
- 2026-11-02: add by m2/dev
1SYWNZV08V 1SYWNZV08V
| URI | m2://inv/1SYWNZV08V |
|---|---|
| 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.33829#XFB8 (statement). In S34H2JTJHH/e1, theorem 1.7
History
- 2026-10-30: add by m2/v0.4.12
Examples 1SYYEZK1J2
| URI | m2://inv/1SYYEZK1J2 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Perfect information#6UZD, Examples (example)
History
- 2026-11-02: add by m2/dev
Hans Heilbronn 1SZ7N0N413
| URI | m2://inv/1SZ7N0N413 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#OMSL, Hans Heilbronn (topic)
History
- 2026-11-02: add by m2/dev
Leopold Löwenheim 1SZBZ970MW
| URI | m2://inv/1SZBZ970MW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#YD6Q, Leopold Löwenheim (topic)
History
- 2026-11-02: add by m2/dev
Gyroelongated triangular bicupola 1SZQSBWVQE
| URI | m2://inv/1SZQSBWVQE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#45R5, Gyroelongated triangular bicupola (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#5Y40, Gyroelongated triangular bicupola (definition)
History
- 2026-11-02: add by m2/dev
1SZR5NM80Y 1SZR5NM80Y
| URI | m2://inv/1SZR5NM80Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24041#OVS4 (statement)
History
- 2026-11-02: add by m2/v0.6.17
1SZSNM59V4 1SZSNM59V4
| URI | m2://inv/1SZSNM59V4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2204.04265#44DP (statement). In YHA9M56TBB/e1, theorem 3.2
History
- 2026-10-27: add by m2/v0.4.0
Map 1SZVFZ28PN
| URI | m2://inv/1SZVFZ28PN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Map (graph theory), Map (definition). Also Wikidata Q65118634
History
- 2026-11-02: add by m2/dev