Inventory rows DX
The cards of the rows of the inventory whose ids start with DX. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Complexification part I\index{complexification} DX016DMKZM
| URI | m2://inv/DX016DMKZM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#prop-12, Complexification part I\index{complexification} (statement). In VNMV985MXX, prop, section 3.1
History
- 2026-11-01: add by m2/v0.6.13
Extension DX02R33WYM
| URI | m2://inv/DX02R33WYM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Extension (semantics), Extension (definition). Also Wikidata Q1384998
History
- 2026-11-02: add by m2/dev
DX0548BEN5 DX0548BEN5
| URI | m2://inv/DX0548BEN5 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graceful labeling#FFKJ (problem)
History
- 2026-11-02: add by m2/dev
Gabriele Eichfelder DX0K6ADY32
| URI | m2://inv/DX0K6ADY32 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gabriele Eichfelder, Gabriele Eichfelder (topic). Also Wikidata Q84171268
History
- 2026-11-02: add by m2/dev
Kraichnan noise DX0R1C79CM
| URI | m2://inv/DX0R1C79CM |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 35-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.25897#4QZ8, Kraichnan noise (example)
History
- 2026-11-01: add by m2/v0.6.15
pseudoprime DX10N41Z3H
| URI | m2://inv/DX10N41Z3H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1136176, pseudoprime (unknown). Also MathWorld Pseudoprime
- wikipedia: Wikipedia Pseudoprime, Pseudoprime (definition). Also Wikidata Q1136176
History
- 2026-10-26: add by m2/dev
Finite disjoint resolved-cell localization DX14QGKYY2
| URI | m2://inv/DX14QGKYY2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20215#XGGW, Finite disjoint resolved-cell localization (statement)
History
- 2026-11-02: add by m2/v0.6.18
Morton-Silverman Uniform Boundedness Conjecture DX153S5GG8
| URI | m2://inv/DX153S5GG8 |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2105.03715#T9X2, Morton-Silverman Uniform Boundedness Conjecture (conjecture). In H3FWT3Z0J4/e1, conjecture 1
History
- 2026-10-27: add by m2/v0.3.5
DX16CS4DGT DX16CS4DGT
| URI | m2://inv/DX16CS4DGT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/IntroCardinality.tex#theorem-1 (statement). In P1C114YBXG, theorem, section D
History
- 2026-11-01: add by m2/v0.6.13
graded Lazard algebras DX17HMBNGX
| URI | m2://inv/DX17HMBNGX |
|---|---|
| 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.06909#CCTU, graded Lazard algebras (statement). In F1EF8XE30A/e1, corollary 4.5
History
- 2026-10-29: add by m2/v0.4.10
fractional coloring DX192VV9AB
| URI | m2://inv/DX192VV9AB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5477527, fractional coloring (unknown). Also MathWorld FractionalColoring
- wikipedia: Wikipedia Fractional coloring, Fractional coloring (definition). Also Wikidata Q5477527
History
- 2026-10-26: add by m2/dev
DX1AXDTGGF DX1AXDTGGF
| URI | m2://inv/DX1AXDTGGF |
|---|---|
| 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#K22B (statement)
History
- 2026-11-02: add by m2/v0.6.17
Jacob E. Goodman DX1E3P8V4A
| URI | m2://inv/DX1E3P8V4A |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#RWDS, Jacob E. Goodman (unknown)
History
- 2026-11-02: add by m2/dev
DX1G9RYVNA DX1G9RYVNA
| URI | m2://inv/DX1G9RYVNA |
|---|---|
| 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.08226#6F8I (statement). In V6EPE8XHAD/e1, proposition 2.3
History
- 2026-10-29: add by m2/v0.4.10
DX1TWCYSYN DX1TWCYSYN
| URI | m2://inv/DX1TWCYSYN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0904.2839#6BV5 (statement). In 2P34N0GWS1/e1, proposition 5.2.1
History
- 2026-10-27: add by m2/v0.3.5
Nakayama's lemma DX23AH8HGV
| URI | m2://inv/DX23AH8HGV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of abstract algebra topics#2JNG, Nakayama's lemma (statement)
History
- 2026-11-02: add by m2/dev
Lusternik–Schnirelmann theorem DX2CQ22PHB
| URI | m2://inv/DX2CQ22PHB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lusternik–Schnirelmann theorem#788B, Lusternik–Schnirelmann theorem (statement)
History
- 2026-11-02: add by m2/dev
No-cloning theorem DX2E3W95MN
| URI | m2://inv/DX2E3W95MN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#3TV1, No-cloning theorem (statement)
History
- 2026-11-02: add by m2/dev
DX2JH116XC DX2JH116XC
| URI | m2://inv/DX2JH116XC |
|---|---|
| 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 2111.14143#JBZ8 (statement). In QSKV7N0T89/e1, corollary 1.6
History
- 2026-10-27: add by m2/v0.3.5
Martin Eichler DX2PKV59D0
| URI | m2://inv/DX2PKV59D0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Martin Eichler, Martin Eichler (topic). Also Wikidata Q78088
History
- 2026-11-02: add by m2/dev
DX2TMQ2P81 DX2TMQ2P81
| URI | m2://inv/DX2TMQ2P81 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17004#GU09 (example). In XNJGNMS6H0/e1, example 3.11
History
- 2026-10-28: add by m2/v0.4.2
Laura Matusevich DX2VC8XAJ0
| URI | m2://inv/DX2VC8XAJ0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Laura Matusevich, Laura Matusevich (topic). Also Wikidata Q102238634
History
- 2026-11-02: add by m2/dev
DX2XCHA720 DX2XCHA720
| URI | m2://inv/DX2XCHA720 |
|---|---|
| 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.26500#AHSK (statement)
History
- 2026-11-01: add by m2/v0.6.15
Theorem (Lampe 1982) DX2YAVX2YY
| URI | m2://inv/DX2YAVX2YY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Congruence lattice problem#O1TG, Theorem (Lampe 1982) (statement)
History
- 2026-11-02: add by m2/dev
DX3BRGF80H DX3BRGF80H
| URI | m2://inv/DX3BRGF80H |
|---|---|
| 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 2610.00105#UH0W (statement). In EZXTEXR47M/e1, theorem A
History
- 2026-10-30: add by m2/v0.4.12
Marston Conder DX3BWDY9AR
| URI | m2://inv/DX3BWDY9AR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#44GP, Marston Conder (topic)
History
- 2026-11-02: add by m2/dev
DX40V6AQHP DX40V6AQHP
| URI | m2://inv/DX40V6AQHP |
|---|---|
| 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.14154#6T8F (definition). In 8X6PXX2TRA/e1, definition 5.1
History
- 2026-10-28: add by m2/v0.4.2
DX44VZFZAP DX44VZFZAP
| URI | m2://inv/DX44VZFZAP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21260#HZ26 (statement). In Z7WW536KA5/e1, theorem 2.1
History
- 2026-10-27: add by m2/v0.4.2
PROPOSITION 9 DX461G4R17
| URI | m2://inv/DX461G4R17 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Algebra of sets#PYS7, PROPOSITION 9 (statement)
History
- 2026-11-02: add by m2/dev
DX481AGDB9 DX481AGDB9
| URI | m2://inv/DX481AGDB9 |
|---|---|
| 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.03272#BSO5 (statement). In H9ZC46G7BX/e1, lemma 2.3
History
- 2026-10-29: add by m2/v0.4.12
orbifold DX4EHW17VM
| URI | m2://inv/DX4EHW17VM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Orbifold RPAVY0W0XS |
Mentions
- wikidata: Wikidata Q40460, orbifold (unknown). Also MathWorld Orbifold, nLab orbifold
- wikipedia: Wikipedia Orbifold, Orbifold (definition). Also Wikidata Q40460
History
- 2026-10-26: add by m2/dev
DX4FDDG78K DX4FDDG78K
| URI | m2://inv/DX4FDDG78K |
|---|---|
| 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 2510.05499#2NAF (statement). In WRMNCC8VBC/e1, theorem 16
History
- 2026-10-27: add by m2/v0.3.6
DX4JXJH60S DX4JXJH60S
| URI | m2://inv/DX4JXJH60S |
|---|---|
| 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.03144#7IGP (statement). In 9QW88325GS/e1, lemma 4.7
History
- 2026-10-29: add by m2/v0.4.12
DX4MVFF4TG DX4MVFF4TG
| URI | m2://inv/DX4MVFF4TG |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-der.tex#exercise-27 (exercise). In E59CDZA4DP, exercise, section 3.3.3
History
- 2026-11-01: add by m2/v0.6.13
Zariski's connectedness theorem DX4N0MK073
| URI | m2://inv/DX4N0MK073 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#QEA9, Zariski's connectedness theorem (statement)
History
- 2026-11-02: add by m2/dev
Definition DX4QB1DVPH
| URI | m2://inv/DX4QB1DVPH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hooke's law#LFSV, Definition (definition)
History
- 2026-11-02: add by m2/dev
Examples DX4XK0D3Y3
| URI | m2://inv/DX4XK0D3Y3 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalized quantifier#EVWA, Examples (example)
History
- 2026-11-02: add by m2/dev
DX5014ZFH8 DX5014ZFH8
| URI | m2://inv/DX5014ZFH8 |
|---|---|
| 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.27800#N426 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Multivariate Normal Distribution DX56JKKF6Z
| URI | m2://inv/DX56JKKF6Z |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16883#HF5X, Multivariate Normal Distribution (example). In TYS9N30M63/e1, example 2
History
- 2026-10-28: add by m2/v0.4.2
Hamming-radius support stability DX57M6QHTM
| URI | m2://inv/DX57M6QHTM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05867#MQZB, Hamming-radius support stability (statement). In E2TP3AKTNV/e1, theorem 2
History
- 2026-10-29: add by m2/v0.4.10
E. B. Vinberg DX5CTVMQX8
| URI | m2://inv/DX5CTVMQX8 |
|---|---|
| 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#JE6O, E. B. Vinberg (topic)
History
- 2026-11-02: add by m2/dev
DX5QGB224E DX5QGB224E
| URI | m2://inv/DX5QGB224E |
|---|---|
| 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 2402.17852#4K2G (statement). In 1WCXV5PVZA/e1, lemma 2.16
History
- 2026-10-27: add by m2/v0.4.0
Pure intervals DX5QK58ASF
| URI | m2://inv/DX5QK58ASF |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20656#9S1J, Pure intervals (definition)
History
- 2026-11-02: add by m2/v0.6.18
SigmaStat DX5TM9TNK2
| URI | m2://inv/DX5TM9TNK2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia SigmaStat, SigmaStat (definition). Also Wikidata Q7512231
History
- 2026-11-02: add by m2/dev
group extension DX5YDNT0NJ
| URI | m2://inv/DX5YDNT0NJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Group extension MF4N3VGGFV |
Mentions
- wikidata: Wikidata Q3041173, group extension (unknown). Also MathWorld GroupExtension, nLab group extension
- wikipedia: Wikipedia Group extension, Group extension (definition). Also Wikidata Q3041173
History
- 2026-10-26: add by m2/dev
Countable transitive model DX61H3XR6Q
| URI | m2://inv/DX61H3XR6Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/set-theory/models.tex#theorem-1, Countable transitive model (statement). In RZP28ERRZV, theorem, section 91.7
History
- 2026-11-01: add by m2/v0.6.13
Example DX621DVR0X
| URI | m2://inv/DX621DVR0X |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Streaming SIMD Extensions#FZ6M, Example (example)
History
- 2026-11-02: add by m2/dev
DX637S2BQN DX637S2BQN
| URI | m2://inv/DX637S2BQN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37520#E0L2 (statement). In BDN507RN7J/e1, proposition 6.2.8
History
- 2026-10-30: add by m2/v0.4.12
Properties DX652HBGGW
| URI | m2://inv/DX652HBGGW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Least absolute deviations#20X6, Properties (statement)
History
- 2026-11-02: add by m2/dev
DX679J0S1Q DX679J0S1Q
| URI | m2://inv/DX679J0S1Q |
|---|---|
| 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 2102.12931#RTBC (statement). In PQHTR84RAJ/e1, lemma 3.9
History
- 2026-10-27: add by m2/v0.4.0
Bohr magneton DX68NNBDXQ
| URI | m2://inv/DX68NNBDXQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of scientific constants named after people#09IF, Bohr magneton (unknown)
History
- 2026-11-02: add by m2/dev
Stable permutation DX6DPQA80G
| URI | m2://inv/DX6DPQA80G |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07741#APAD, Stable permutation (definition). In K4YV2SF9MG/e1, definition 2.1
History
- 2026-10-29: add by m2/v0.4.10
DX6F897S70 DX6F897S70
| URI | m2://inv/DX6F897S70 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26496#1I87 (statement)
History
- 2026-11-01: add by m2/v0.6.15
DX6GWBDWHG DX6GWBDWHG
| URI | m2://inv/DX6GWBDWHG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 55-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30579#ZSG8 (statement). In FDYZFDHZH9/e1, corollary 2.19
History
- 2026-10-31: add by m2/v0.5.6
tensor DX6WRA1JZK
| URI | m2://inv/DX6WRA1JZK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q188524, tensor (unknown). Also MathWorld Tensor
- wikipedia: Wikipedia Tensor, Tensor (definition). Also Wikidata Q188524
History
- 2026-10-26: add by m2/dev
Axisymmetric DX6WZGRCVY
| URI | m2://inv/DX6WZGRCVY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rotational symmetry#DPTE, Axisymmetric (unknown)
History
- 2026-11-02: add by m2/dev
DX6Y4C1FB4 DX6Y4C1FB4
| URI | m2://inv/DX6Y4C1FB4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2501.18744#Q9NC (statement). In YRWZ02BGEF/e1, proposition 1.1
History
- 2026-10-27: add by m2/v0.3.5
DX6YDS4F0N DX6YDS4F0N
| URI | m2://inv/DX6YDS4F0N |
|---|---|
| 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.21622#MC3H (statement). In H21X3FHNYJ/e1, proposition 2.3
History
- 2026-10-27: add by m2/v0.4.2
Howard Jerome Keisler DX72C0ZWQQ
| URI | m2://inv/DX72C0ZWQQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1284005, Howard Jerome Keisler (unknown). Also nLab nonstandard analysis in topology
- wikipedia: Wikipedia Howard Jerome Keisler, Howard Jerome Keisler (topic). Also Wikidata Q1284005
History
- 2026-10-26: add by m2/dev
DX72XVXCW3 DX72XVXCW3
| URI | m2://inv/DX72XVXCW3 |
|---|---|
| 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.11455#SHIN (statement). In Z1EBVH5SP1/e1, proposition 9.1
History
- 2026-10-28: add by m2/v0.4.3
DX79KHC0HZ DX79KHC0HZ
| URI | m2://inv/DX79KHC0HZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36410#EDZW (statement). In 1FRV7XDEGF/e1, theorem A
History
- 2026-10-30: add by m2/v0.4.12
DX7A8MJAMN DX7A8MJAMN
| URI | m2://inv/DX7A8MJAMN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18016#6B22 (statement). In V5PVKDKGGG/e1, corollary 5.8
History
- 2026-10-28: add by m2/v0.4.2
Asthana Kolahalam DX7C5GRRPZ
| URI | m2://inv/DX7C5GRRPZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Asthana Kolahalam, Asthana Kolahalam (definition). Also Wikidata Q127685212
History
- 2026-11-02: add by m2/dev
DX7Q2BBH70 DX7Q2BBH70
| URI | m2://inv/DX7Q2BBH70 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10469#KBNP (example). In Q39BEKW6D9/e1, example A.4
History
- 2026-10-29: add by m2/v0.4.10
DX7SGY6FDE DX7SGY6FDE
| URI | m2://inv/DX7SGY6FDE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32077#8XJV (statement). In WYXQDSQR9B/e1, theorem 2.10
History
- 2026-10-31: add by m2/v0.5.6
DX7VCKHRXZ DX7VCKHRXZ
| URI | m2://inv/DX7VCKHRXZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book setmath.tex#epis-surj (statement). In N54F33XE07, lem, section C.1.2
History
- 2026-11-01: add by m2/v0.6.13
DX7VXRXS0S DX7VXRXS0S
| URI | m2://inv/DX7VXRXS0S |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 11-XX, 14-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 2104.12015#DRO3 (example). In ZZ2P08DVQW/e1, example 10.7
History
- 2026-10-27: add by m2/v0.3.5
Michael Minovitch DX7ZGP0HCW
| URI | m2://inv/DX7ZGP0HCW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Michael Minovitch, Michael Minovitch (topic). Also Wikidata Q1130426
History
- 2026-11-02: add by m2/dev
DX890FWB5K DX890FWB5K
| URI | m2://inv/DX890FWB5K |
|---|---|
| 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.07508#OEQ5 (statement). In TPA3E67MKK/e1, lemma 9.8
History
- 2026-10-29: add by m2/v0.4.10
Theorem DX8BPYW3MY
| URI | m2://inv/DX8BPYW3MY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Artin transfer (group theory)#BFP1, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Roche limit DX8BWVN9KZ
| URI | m2://inv/DX8BWVN9KZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical topics in classical mechanics#4S9Y, Roche limit (definition)
History
- 2026-11-02: add by m2/dev
DX8C6JA5R5 DX8C6JA5R5
| URI | m2://inv/DX8C6JA5R5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12479#OF1O (statement). In WE001PR75Z/e1, proposition 12
History
- 2026-10-28: add by m2/v0.4.2
Exponentially large memory time for $Z$ errors in mixed-boundary helical HGP codes DX8D8B4WRW
| URI | m2://inv/DX8D8B4WRW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04834#4V25, Exponentially large memory time for $Z$ errors in mixed-boundary helical HGP codes (statement). In YZNK67K060/e1, proposition 8.4
History
- 2026-10-29: add by m2/v0.4.12
Judy Zeh DX8DK5H2YY
| URI | m2://inv/DX8DK5H2YY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Judy Zeh, Judy Zeh (topic). Also Wikidata Q44126894
History
- 2026-11-02: add by m2/dev
DX8DVY062D DX8DVY062D
| URI | m2://inv/DX8DVY062D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0911.1417#29J7 (statement). In BBD7TZW79R/e1, theorem 1.1
History
- 2026-10-27: add by m2/v0.3.5
Pollock's conjecture DX8E38T2WD
| URI | m2://inv/DX8E38T2WD |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q15663613, Pollock's conjecture (unknown). Also MathWorld PollocksConjecture
- wikipedia: Wikipedia Pollock's conjectures, Pollock's conjectures (conjecture). Also Wikidata Q15663613
History
- 2026-10-26: add by m2/dev
DX8JJMV0A3 DX8JJMV0A3
| URI | m2://inv/DX8JJMV0A3 |
|---|---|
| Kind | example |
| 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.31484#HE4G (example). In 1RDQ10G87W/e1, example 3.10
History
- 2026-10-31: add by m2/v0.5.6
DX8XH90ADC DX8XH90ADC
| URI | m2://inv/DX8XH90ADC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31907#Q10N (statement). In 6B2PCEGCYZ/e1, proposition 6.11
History
- 2026-10-31: add by m2/v0.5.6
DX8YGGVKBA DX8YGGVKBA
| URI | m2://inv/DX8YGGVKBA |
|---|---|
| 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 2205.09049#6PKO (definition). In 37S7MNMZ2F/e1, definition 14
History
- 2026-10-27: add by m2/v0.3.5
basepoint DX8Z4Q9NXS
| URI | m2://inv/DX8Z4Q9NXS |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/6.5/basepoint, basepoint (concept). In N54F33XE07, index, section 6.5
History
- 2026-11-01: add by m2/v0.6.13
DX90QCPVCW DX90QCPVCW
| URI | m2://inv/DX90QCPVCW |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20801#N8KH (definition). In A1GWWGRXPA/e1, definition 2.13
History
- 2026-10-27: add by m2/v0.4.2
DX933W73HY DX933W73HY
| URI | m2://inv/DX933W73HY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2011.08789#FQIU (statement). In 43AGRMP7T3/e1, lemma 2.15
History
- 2026-10-27: add by m2/v0.3.5
DX99NWA8GA DX99NWA8GA
| URI | m2://inv/DX99NWA8GA |
|---|---|
| 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.14249#01WZ (statement). In B6P8PG8R8T/e1, proposition 2.6
History
- 2026-10-28: add by m2/v0.4.2
truncated storage DX9B8PVAQP
| URI | m2://inv/DX9B8PVAQP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32733#BAQJ, truncated storage (statement). In PCAS8S14J6/e1, corollary 5.7
History
- 2026-10-31: add by m2/v0.5.6
DX9DQBKBV7 DX9DQBKBV7
| URI | m2://inv/DX9DQBKBV7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10074#6UCD (statement). In BYAANB1NG0/e1, lemma 5.4
History
- 2026-10-27: add by m2/v0.3.5
spinode DX9EK7PN7B
| URI | m2://inv/DX9EK7PN7B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#PV8O, spinode (definition)
History
- 2026-11-02: add by m2/dev
Morse index theorem DX9KX7SEC9
| URI | m2://inv/DX9KX7SEC9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of differential geometry topics#YQVX, Morse index theorem (unknown)
History
- 2026-11-02: add by m2/dev
Uniform 6-polytope DX9M8FY2VE
| URI | m2://inv/DX9M8FY2VE |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Uniform 6-polytope, Uniform 6-polytope (object). Also Wikidata Q7885001
History
- 2026-11-02: add by m2/dev
DX9S4KJ71N DX9S4KJ71N
| URI | m2://inv/DX9S4KJ71N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0809.4587#HJOZ (statement). In KQ8JPHDKKE/e1, proposition 9.7.10
History
- 2026-10-27: add by m2/v0.3.5
DX9SKNNMWA DX9SKNNMWA
| URI | m2://inv/DX9SKNNMWA |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 30-XX, 32-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12497#EM20 (example). In Z0SAF18JPP/e1, example 3.8
History
- 2026-10-28: add by m2/v0.4.2
Arthur Edward Murphy DX9ST5ASA3
| URI | m2://inv/DX9ST5ASA3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arthur Edward Murphy, Arthur Edward Murphy (topic). Also Wikidata Q4798575
History
- 2026-11-02: add by m2/dev
DX9V04NJPE DX9V04NJPE
| URI | m2://inv/DX9V04NJPE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17717#L3NI (statement). In YXRKS451PK/e1, lemma A.6
History
- 2026-10-28: add by m2/v0.4.2
Hani Mahmassani DX9X77PA1C
| URI | m2://inv/DX9X77PA1C |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hani Mahmassani, Hani Mahmassani (topic). Also Wikidata Q102304434
History
- 2026-11-02: add by m2/dev
Logical kernel and logical row space DX9XQQQPZG
| URI | m2://inv/DX9XQQQPZG |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40252#E8KG, Logical kernel and logical row space (definition). In 7MVPNFPRKB/e1, definition 2.4
History
- 2026-10-30: add by m2/v0.4.12
DXA2QQ2REN DXA2QQ2REN
| URI | m2://inv/DXA2QQ2REN |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/set-theory/CH.tex#ques-4 (exercise). In RZP28ERRZV, ques, section 88.2
History
- 2026-11-01: add by m2/v0.6.13
Harris Hancock DXA7PMJB3Q
| URI | m2://inv/DXA7PMJB3Q |
|---|---|
| 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#ZED1, Harris Hancock (topic)
History
- 2026-11-02: add by m2/dev
DXA85FKV58 DXA85FKV58
| URI | m2://inv/DXA85FKV58 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/set-theory/ordinal.tex#theorem-6 (statement). In RZP28ERRZV, theorem, section 92.5
History
- 2026-11-01: add by m2/v0.6.13
DXABTCVNE1 DXABTCVNE1
| URI | m2://inv/DXABTCVNE1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34081#7H27 (statement). In 3RVGEKGX46/e1, proposition 5.2
History
- 2026-10-30: add by m2/v0.4.12
DXACMETYF1 DXACMETYF1
| URI | m2://inv/DXACMETYF1 |
|---|---|
| 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 2610.08594#MJIG (statement). In FEE70SSD96/e1, lemma 9.1
History
- 2026-10-29: add by m2/v0.4.10
Theorem DXAPQ4668A
| URI | m2://inv/DXAPQ4668A |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graph flattenability#RTEO, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Symmetric unimodal convolution DXAR4FX5J1
| URI | m2://inv/DXAR4FX5J1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22301#W0NW, Symmetric unimodal convolution (statement)
History
- 2026-11-02: add by m2/v0.6.17
Small-boundary Bellman inequality DXARMPBQGG
| URI | m2://inv/DXARMPBQGG |
|---|---|
| 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.24931#VKMB, Small-boundary Bellman inequality (statement)
History
- 2026-11-01: add by m2/v0.6.15
Conservative extension DXAXZEPSKY
| URI | m2://inv/DXAXZEPSKY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conservative extension, Conservative extension (definition). Also Wikidata Q864213
History
- 2026-11-02: add by m2/dev
Applications DXAYXKFCB9
| URI | m2://inv/DXAYXKFCB9 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Double Ratchet Algorithm#WEJY, Applications (example)
History
- 2026-11-02: add by m2/dev
Preliminary weighted estimate DXB262X5KW
| URI | m2://inv/DXB262X5KW |
|---|---|
| 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.20042#5JO1, Preliminary weighted estimate (statement)
History
- 2026-11-02: add by m2/v0.6.18
Examples DXB36XBABH
| URI | m2://inv/DXB36XBABH |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weak ordering#LMIK, Examples (example)
History
- 2026-11-02: add by m2/dev
Constructions DXBC4D7RAR
| URI | m2://inv/DXBC4D7RAR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Demihypercube#70U5, Constructions (definition)
History
- 2026-11-02: add by m2/dev
Properties DXBEPK2ZQK
| URI | m2://inv/DXBEPK2ZQK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Functor#G95K, Properties (statement)
History
- 2026-11-02: add by m2/dev
Examples DXBQNE4VNN
| URI | m2://inv/DXBQNE4VNN |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Riemann surface#4J0O, Examples (example)
History
- 2026-11-02: add by m2/dev
Mental calculation DXC0SY1MM1
| URI | m2://inv/DXC0SY1MM1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mental calculation, Mental calculation (definition). Also Wikidata Q620584
History
- 2026-11-02: add by m2/dev
Definition DXCDR6GZBQ
| URI | m2://inv/DXCDR6GZBQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bockstein spectral sequence#XWPX, Definition (definition)
History
- 2026-11-02: add by m2/dev
Vanishing or depth of the norm--trace error DXCG7DHM63
| URI | m2://inv/DXCG7DHM63 |
|---|---|
| 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 2610.10583#6Q6Q, Vanishing or depth of the norm--trace error (statement). In 5BZQS1KY9A/e1, proposition 9.15
History
- 2026-10-29: add by m2/v0.4.10
Statement DXCK7MB6TB
| URI | m2://inv/DXCK7MB6TB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Double bubble theorem#V8DU, Statement (statement)
History
- 2026-11-02: add by m2/dev
An infinite finitely based extension DXCQV5JEPY
| URI | m2://inv/DXCQV5JEPY |
|---|---|
| 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.12014#DJ87, An infinite finitely based extension (statement). In DR7BK4CQ0V/e1, proposition 6.7
History
- 2026-10-28: add by m2/v0.4.3
DXCSNH52YK DXCSNH52YK
| URI | m2://inv/DXCSNH52YK |
|---|---|
| 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.12047#9V7A (statement). In ZF1Y3HZMZ9/e1, lemma 2.5
History
- 2026-10-28: add by m2/v0.4.3
DXCZQHDGYB DXCZQHDGYB
| URI | m2://inv/DXCZQHDGYB |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27518#BVMK (definition)
History
- 2026-11-01: add by m2/v0.6.15
Lagrange equation DXDEF7CGS1
| URI | m2://inv/DXDEF7CGS1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3589419, Lagrange equation (unknown). Also EoM Lagrange_equation
History
- 2026-10-26: add by m2/dev
DXDGW4F9HR DXDGW4F9HR
| URI | m2://inv/DXDGW4F9HR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.19945#7I2C (statement)
History
- 2026-11-02: add by m2/v0.6.18
Anil Nerode DXDZJEAX60
| URI | m2://inv/DXDZJEAX60 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#LNRU, Anil Nerode (unknown)
History
- 2026-11-02: add by m2/dev
DXE9XSMTTR DXE9XSMTTR
| URI | m2://inv/DXE9XSMTTR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33185#6NQI (statement). In QX30H2WNA7/e1, lemma 2.2
History
- 2026-10-30: add by m2/v0.4.12
Representations DXED2D2K3J
| URI | m2://inv/DXED2D2K3J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Representations of classical groups#D6KL, Representations (definition)
History
- 2026-11-02: add by m2/dev
DXED86ZMHM DXED86ZMHM
| URI | m2://inv/DXED86ZMHM |
|---|---|
| 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.10527#ZQX0 (statement). In 9AXPPWBA9R/e1, lemma 3
History
- 2026-10-29: add by m2/v0.4.10
Spencer Bloch DXED963SVJ
| URI | m2://inv/DXED963SVJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#BV30, Spencer Bloch (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#DM15, Spencer Bloch (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#O9TL, Spencer Bloch (topic)
History
- 2026-11-02: add by m2/dev
Uniform overlap of the segment transition kernels DXEF2Q8QHS
| URI | m2://inv/DXEF2Q8QHS |
|---|---|
| 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.37944#CT3W, Uniform overlap of the segment transition kernels (statement). In KP94WJVJXY/e1, lemma 5
History
- 2026-10-30: add by m2/v0.4.12
Richard Earl Block DXEJDWAPMJ
| URI | m2://inv/DXEJDWAPMJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#G1U8, Richard Earl Block (topic)
History
- 2026-11-02: add by m2/dev
Counting against any reference support DXEP9V5FXP
| URI | m2://inv/DXEP9V5FXP |
|---|---|
| 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.30525#ORBH, Counting against any reference support (statement). In CHEZQEACQG/e1, lemma 3.1
History
- 2026-10-31: add by m2/v0.5.6
DXER5V2XGE DXER5V2XGE
| URI | m2://inv/DXER5V2XGE |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22205#KZM4 (problem). In 7REABAAQED/e1, problem
History
- 2026-10-27: add by m2/v0.4.0
Parallel algorithms for the minimum spanning tree problem DXERS39JHR
| URI | m2://inv/DXERS39JHR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Minimum spanning tree#UQMC, Parallel algorithms for the minimum spanning tree problem (unknown)
History
- 2026-11-02: add by m2/dev
Alfréd Haar DXES9WAFWA
| URI | m2://inv/DXES9WAFWA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematicians born in the 19th century#E1TM, Alfréd Haar (topic)
History
- 2026-11-02: add by m2/dev
Definitions DXEV2G1HBN
| URI | m2://inv/DXEV2G1HBN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Greibach's theorem#NFZI, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Efficient and reliable snapshot selection rules DXEVVX7VCX
| URI | m2://inv/DXEVVX7VCX |
|---|---|
| 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.12017#AG5F, Efficient and reliable snapshot selection rules (statement). In WW04MP0NAZ/e1, proposition 4.11
History
- 2026-10-28: add by m2/v0.4.3
DXF1R7SX10 DXF1R7SX10
| URI | m2://inv/DXF1R7SX10 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21578#49Z5 (statement). In 6M96RM3T7N/e1, theorem 5.3
History
- 2026-10-27: add by m2/v0.4.2
Behrens–Fisher problem DXF4JY65VW
| URI | m2://inv/DXF4JY65VW |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in statistics#XWVO, Behrens–Fisher problem (conjecture)
History
- 2026-11-02: add by m2/dev
Stochastic grammar DXF8EA6W4D
| URI | m2://inv/DXF8EA6W4D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#DIN0, Stochastic grammar (definition)
History
- 2026-11-02: add by m2/dev
One Through Zero DXF9SC54P8
| URI | m2://inv/DXF9SC54P8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia One Through Zero (The Ten Numbers), One Through Zero (definition). Also Wikidata Q106696149
History
- 2026-11-02: add by m2/dev
Definition DXFESJNRNA
| URI | m2://inv/DXFESJNRNA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sample-continuous process#X3YN, Definition (definition)
History
- 2026-11-02: add by m2/dev
DXFJBMTY2R DXFJBMTY2R
| URI | m2://inv/DXFJBMTY2R |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10927#KBHQ (example). In DHEJP3YATV/e1, example 5
History
- 2026-10-28: add by m2/v0.4.3
finite, sets, family of DXFMF2B3Y1
| URI | m2://inv/DXFMF2B3Y1 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/A.3/finite-sets-family-of, finite, sets, family of (concept). In N54F33XE07, index, section A.3
History
- 2026-11-01: add by m2/v0.6.13
Efron's non-transitive dice DXFNQQW9HB
| URI | m2://inv/DXFNQQW9HB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical examples#3377, Efron's non-transitive dice (definition)
History
- 2026-11-02: add by m2/dev
interval graph DXFQ5AYGVW
| URI | m2://inv/DXFQ5AYGVW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q835942, interval graph (unknown). Also MathWorld IntervalGraph
- wikipedia: Wikipedia Interval graph, Interval graph (definition). Also Wikidata Q835942
History
- 2026-10-26: add by m2/dev
Turning measure near a flat point DXFVWJWBJW
| URI | m2://inv/DXFVWJWBJW |
|---|---|
| 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.20643#8D2U, Turning measure near a flat point (statement)
History
- 2026-11-02: add by m2/v0.6.18
StatCrunch DXG33EG9AK
| URI | m2://inv/DXG33EG9AK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia StatCrunch, StatCrunch (definition). Also Wikidata Q39052740
History
- 2026-11-02: add by m2/dev
DXG63T8KHW DXG63T8KHW
| URI | m2://inv/DXG63T8KHW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16853#JHDI (statement). In Y43AAKZ7E6/e1, lemma 3.4
History
- 2026-10-28: add by m2/v0.4.2
Derivation from physical principles DXGDBSVH20
| URI | m2://inv/DXGDBSVH20 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tsirelson's bound#E8BB, Derivation from physical principles (statement)
History
- 2026-11-02: add by m2/dev
DXGR081GR5 DXGR081GR5
| URI | m2://inv/DXGR081GR5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 37-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13100#VC2K (statement). In CC6S1HVK0T/e1, lemma E.5
History
- 2026-10-28: add by m2/v0.4.2
DXGWBER1GN DXGWBER1GN
| URI | m2://inv/DXGWBER1GN |
|---|---|
| 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#ALGN (statement). In FT5TKY10T8/e1, proposition 3.3
History
- 2026-10-30: add by m2/v0.4.12
DXGXAKJYW8 DXGXAKJYW8
| URI | m2://inv/DXGXAKJYW8 |
|---|---|
| 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 2610.05611#K919 (definition). In QDTX6NXFEB/e1, definition 2.12
History
- 2026-10-29: add by m2/v0.4.10
Properties DXH6XKHEX6
| URI | m2://inv/DXH6XKHEX6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia All one polynomial#4WUO, Properties (statement)
History
- 2026-11-02: add by m2/dev
Skilling's figure DXH8ZQPXD4
| URI | m2://inv/DXH8ZQPXD4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of uniform polyhedra#7K1I, Skilling's figure (unknown)
History
- 2026-11-02: add by m2/dev
DXHJ4SSBA1 DXHJ4SSBA1
| URI | m2://inv/DXHJ4SSBA1 |
|---|---|
| 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.09483#9ATG (statement). In N1MQ8F9JN6/e1, lemma 2.2
History
- 2026-10-29: add by m2/v0.4.10
Theorem DXHN26FJFS
| URI | m2://inv/DXHN26FJFS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hidden subgroup problem#XE3L, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Ernst Cassirer DXHT36VWFF
| URI | m2://inv/DXHT36VWFF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q57188, Ernst Cassirer (unknown). Also nLab Ernst Cassirer
History
- 2026-10-26: add by m2/dev
DXJ3832E8C DXJ3832E8C
| URI | m2://inv/DXJ3832E8C |
|---|---|
| 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.37593#LJTQ (statement). In YTF96VHKAH/e1, theorem A.8
History
- 2026-10-30: add by m2/v0.4.12
Response surface methodology DXJDG21J5P
| URI | m2://inv/DXJDG21J5P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Response surface methodology, Response surface methodology (definition). Also Wikidata Q3136137
History
- 2026-11-02: add by m2/dev
Fisher's principle DXJEY39N47
| URI | m2://inv/DXJEY39N47 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fisher's principle, Fisher's principle (statement). Also Wikidata Q2621361
History
- 2026-11-02: add by m2/dev
MMB DXJJ7WYDC6
| URI | m2://inv/DXJJ7WYDC6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia MMB (cipher), MMB (definition). Also Wikidata Q2894267
History
- 2026-11-02: add by m2/dev
Geometric Algebra DXJJSJYFY4
| URI | m2://inv/DXJJSJYFY4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geometric Algebra (book), Geometric Algebra (definition). Also Wikidata Q48995754
History
- 2026-11-02: add by m2/dev
Aronszajn DXJTVJEXFA
| URI | m2://inv/DXJTVJEXFA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#D1L9, Aronszajn (definition)
History
- 2026-11-02: add by m2/dev
DXJWXX6J74 DXJWXX6J74
| URI | m2://inv/DXJWXX6J74 |
|---|---|
| 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.10968#AOY8 (statement). In KJRV9ZW833/e1, proposition 3.3
History
- 2026-10-28: add by m2/v0.4.3
Examples DXJXR1PAD4
| URI | m2://inv/DXJXR1PAD4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elementary theory#QNLN, Examples (example)
History
- 2026-11-02: add by m2/dev
DXJYB6WZ66 DXJYB6WZ66
| URI | m2://inv/DXJYB6WZ66 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10930#MUDF (example). In HX63A1PH1W/e1, example 4.3
History
- 2026-10-28: add by m2/v0.4.3
DXKAC9YZ4K DXKAC9YZ4K
| URI | m2://inv/DXKAC9YZ4K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26496#JENC (statement)
History
- 2026-11-01: add by m2/v0.6.15
DXKBTZD6NR DXKBTZD6NR
| URI | m2://inv/DXKBTZD6NR |
|---|---|
| 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.11143#EIEK (statement). In 9CS15SV662/e1, theorem 14.1
History
- 2026-10-28: add by m2/v0.4.3
Laura Gardini DXKDXM0MXQ
| URI | m2://inv/DXKDXM0MXQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Laura Gardini, Laura Gardini (topic). Also Wikidata Q30080560
History
- 2026-11-02: add by m2/dev
Normal nearly K\"ahler operator DXKSMEJZSV
| URI | m2://inv/DXKSMEJZSV |
|---|---|
| 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.00078#U1N4, Normal nearly K\"ahler operator (definition). In KXYGWSGP9M/e1, definition 2.4
History
- 2026-10-30: add by m2/v0.4.12
DXKV8J58HG DXKV8J58HG
| URI | m2://inv/DXKV8J58HG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07905#68L7 (statement). In 88GEN3Z5VG/e1, proposition 5.1
History
- 2026-10-29: add by m2/v0.4.10
New Foundations DXKW3WGYTG
| URI | m2://inv/DXKW3WGYTG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#EZQ5, New Foundations (definition)
History
- 2026-11-02: add by m2/dev
Newton's method in optimization DXMC04D05C
| URI | m2://inv/DXMC04D05C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#ZYLL, Newton's method in optimization (definition)
History
- 2026-11-02: add by m2/dev
Edward Lindsay Ince DXMFEP05FW
| URI | m2://inv/DXMFEP05FW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Edward Lindsay Ince, Edward Lindsay Ince (topic). Also Wikidata Q5344149
History
- 2026-11-02: add by m2/dev
Finite-energy selection DXN2H05KYZ
| URI | m2://inv/DXN2H05KYZ |
|---|---|
| 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.13613#M1VJ, Finite-energy selection (statement). In 3HCT4TQ5PM/e1, lemma 7.2
History
- 2026-10-28: add by m2/v0.4.2
DXN3SZHV7X DXN3SZHV7X
| URI | m2://inv/DXN3SZHV7X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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 2411.00562#6J1C (statement). In 99CQPHSSYF/e1, fact \zarabicsection.\zarabicthrm
History
- 2026-10-27: add by m2/v0.3.5
Donald L. Burkholder DXN4EAJKYZ
| URI | m2://inv/DXN4EAJKYZ |
|---|---|
| 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#R37L, Donald L. Burkholder (topic)
History
- 2026-11-02: add by m2/dev
Maile Misajon DXN59NYKG1
| URI | m2://inv/DXN59NYKG1 |
|---|---|
| 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#NO2L, Maile Misajon (unknown)
History
- 2026-11-02: add by m2/dev
Curve25519 DXN8TRB50E
| URI | m2://inv/DXN8TRB50E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Curve25519, Curve25519 (definition). Also Wikidata Q15702839
History
- 2026-11-02: add by m2/dev
Boundary minimum DXNVGYSN6G
| URI | m2://inv/DXNVGYSN6G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.19926#FEAR, Boundary minimum (statement)
History
- 2026-11-02: add by m2/v0.6.18
DXNVYZRFF9 DXNVYZRFF9
| URI | m2://inv/DXNVYZRFF9 |
|---|---|
| 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 2605.24355#LCZX (statement). In VV3AJMWWCR/e1, proposition 3
History
- 2026-10-27: add by m2/v0.3.6
DXP56BD2KX DXP56BD2KX
| URI | m2://inv/DXP56BD2KX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23833#752K (statement)
History
- 2026-11-02: add by m2/v0.6.17
DXQ5Y97SQS DXQ5Y97SQS
| URI | m2://inv/DXQ5Y97SQS |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2301.04933#5HVE (definition). In Q70CTMCJTP/e1, definition A.5
History
- 2026-10-27: add by m2/v0.3.5
DXQJ8GX9PQ DXQJ8GX9PQ
| URI | m2://inv/DXQJ8GX9PQ |
|---|---|
| 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 2201.10697#US72 (statement). In WN2Z20ZV49/e1, theorem 6.1
History
- 2026-10-27: add by m2/v0.3.6
DXQTBPN7JX DXQTBPN7JX
| URI | m2://inv/DXQTBPN7JX |
|---|---|
| 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.15588#VBCG (statement). In M2VCJFGZ4P/e1, lemma 3.5
History
- 2026-10-28: add by m2/v0.4.2
Dimetrodon DXR44396VT
| URI | m2://inv/DXR44396VT |
|---|---|
| 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#RY9J, Dimetrodon (unknown)
History
- 2026-11-02: add by m2/dev
DXR5MK14KA DXR5MK14KA
| URI | m2://inv/DXR5MK14KA |
|---|---|
| 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 2503.16884#SFAU (definition). In B984KNW591/e1, definition 3.1
History
- 2026-10-27: add by m2/v0.3.5
Binary tetrahedral group DXRACF0ZVH
| URI | m2://inv/DXRACF0ZVH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Binary tetrahedral group, Binary tetrahedral group (definition). Also Wikidata Q4913919
History
- 2026-11-02: add by m2/dev
Theorem DXRAXVYSSF
| URI | m2://inv/DXRAXVYSSF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Metrizable topological vector space#1F26, Theorem (statement)
History
- 2026-11-02: add by m2/dev
DXRJH66GRG DXRJH66GRG
| URI | m2://inv/DXRJH66GRG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20131#SMZV (statement). In 29D4TTE3J2/e1, corollary 9.10
History
- 2026-10-27: add by m2/v0.4.2
Persi Diaconis DXRWT7DFQ8
| URI | m2://inv/DXRWT7DFQ8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#SBNR, Persi Diaconis (topic)
History
- 2026-11-02: add by m2/dev
DXS3E79NPW DXS3E79NPW
| URI | m2://inv/DXS3E79NPW |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2308.09645#NW7I (definition). In HVDSC1GQRD/e1, definition 2.10
History
- 2026-10-27: add by m2/v0.3.5
target, of a path constructor DXS4BZQA4W
| URI | m2://inv/DXS4BZQA4W |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/5.13/target-of-a-path-constructor, target, of a path constructor (concept). In N54F33XE07, index, section 5.13
History
- 2026-11-01: add by m2/v0.6.13
DXS4CW5MJV DXS4CW5MJV
| URI | m2://inv/DXS4CW5MJV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10600#PB3M (statement). In V7WT21EDPM/e1, lemma 5.3
History
- 2026-10-29: add by m2/v0.4.10
Theorem DXS6GCEQGF
| URI | m2://inv/DXS6GCEQGF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chomsky–Schützenberger representation theorem#GD4P, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Theorem DXSBWA5CKB
| URI | m2://inv/DXSBWA5CKB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dimension (graph theory)#1R6R, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Mathematical Society of South Eastern Europe DXSHMJW3M5
| URI | m2://inv/DXSHMJW3M5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical societies#U4O9, Mathematical Society of South Eastern Europe (unknown)
History
- 2026-11-02: add by m2/dev
Construction DXSQQA3JXK
| URI | m2://inv/DXSQQA3JXK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Torus bundle#OUWY, Construction (definition)
History
- 2026-11-02: add by m2/dev
DXST5WAJBT DXST5WAJBT
| URI | m2://inv/DXST5WAJBT |
|---|---|
| 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 2609.28211#BOSJ (example)
History
- 2026-11-01: add by m2/v0.6.15
Example DXSTY2FAXT
| URI | m2://inv/DXSTY2FAXT |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Maximum a posteriori estimation#OZ0T, Example (example)
History
- 2026-11-02: add by m2/dev
DXSX4N35AX DXSX4N35AX
| URI | m2://inv/DXSX4N35AX |
|---|---|
| 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 1509.00950#891O (definition). In MDZFW5GACV/e1, definition 4.2
History
- 2026-10-27: add by m2/v0.3.5
DXSYM12X0D DXSYM12X0D
| URI | m2://inv/DXSYM12X0D |
|---|---|
| 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 2610.17825#1VGJ (definition). In T0ADPX1S05/e1, definition 2.1
History
- 2026-10-28: add by m2/v0.4.2
Generalization DXT0NYJ3JY
| URI | m2://inv/DXT0NYJ3JY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Heine–Borel theorem#SBGB, Generalization (statement)
History
- 2026-11-02: add by m2/dev
Definition DXT24W09PR
| URI | m2://inv/DXT24W09PR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalized complex structure#7ZWR, Definition (definition)
History
- 2026-11-02: add by m2/dev
DXT6R2XXH0 DXT6R2XXH0
| URI | m2://inv/DXT6R2XXH0 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-ser.tex#exercise:badnocauchy (exercise). In E59CDZA4DP, exercise, section 10.5.7
History
- 2026-11-01: add by m2/v0.6.13
A strict finite-point coarsening of a noncompact space DXTKDCE7T3
| URI | m2://inv/DXTKDCE7T3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20514#1W0O, A strict finite-point coarsening of a noncompact space (statement)
History
- 2026-11-02: add by m2/v0.6.18
Freudenthal algebra DXV61MYFNZ
| URI | m2://inv/DXV61MYFNZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Freudenthal algebra, Freudenthal algebra (definition). Also Wikidata Q17097916
History
- 2026-11-02: add by m2/dev
Misconceptions about the normal distribution DXV9P45M1R
| URI | m2://inv/DXV9P45M1R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Misconceptions about the normal distribution, Misconceptions about the normal distribution (definition). Also Wikidata Q7051859
History
- 2026-11-02: add by m2/dev
Sampling (statistics) DXVHY9GFZC
| URI | m2://inv/DXVHY9GFZC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#QHVE, Sampling (statistics) (definition)
History
- 2026-11-02: add by m2/dev
DXVQW6A2KZ DXVQW6A2KZ
| URI | m2://inv/DXVQW6A2KZ |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01596#9C9Y (example). In 40VTEP7WH8/e1, example 3.1
History
- 2026-10-29: add by m2/v0.4.12
Polish Mathematical Society DXVVTWERAY
| URI | m2://inv/DXVVTWERAY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical societies#J0KT, Polish Mathematical Society (topic)
History
- 2026-11-02: add by m2/dev
Heiko Harborth DXW1C57CND
| URI | m2://inv/DXW1C57CND |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#50DZ, Heiko Harborth (topic)
History
- 2026-11-02: add by m2/dev
DXWQ9KQP71 DXWQ9KQP71
| URI | m2://inv/DXWQ9KQP71 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31365#K9GW (definition). In 19GENJ3NCP/e1, definition 3.1
History
- 2026-10-31: add by m2/v0.5.6
limit, of a function DXWQARV4GH
| URI | m2://inv/DXWQARV4GH |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/2.1.2/limit-of-a-function, limit, of a function (concept). In E59CDZA4DP, index, section 2.1.2
History
- 2026-11-01: add by m2/v0.6.13
Critical exponent DXWTMSWNZ7
| URI | m2://inv/DXWTMSWNZ7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Critical exponent, Critical exponent (definition). Also Wikidata Q901927
History
- 2026-11-02: add by m2/dev
Sensemaking DXWXZXA003
| URI | m2://inv/DXWXZXA003 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sensemaking, Sensemaking (definition). Also Wikidata Q2063340
History
- 2026-11-02: add by m2/dev
DXX078DF9X DXX078DF9X
| URI | m2://inv/DXX078DF9X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/mor-scheme.tex#definition-3 (definition). In RZP28ERRZV, definition, section 22.3
History
- 2026-11-01: add by m2/v0.6.13
DXX19M04PP DXX19M04PP
| URI | m2://inv/DXX19M04PP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18101#ABYX (statement). In XXN6KKXPYF/e1, lemma 9.5
History
- 2026-10-28: add by m2/v0.4.2
Transitive tournament DXX7ZED7S6
| URI | m2://inv/DXX7ZED7S6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tournament (graph theory)#BXJY, Transitive tournament (unknown)
History
- 2026-11-02: add by m2/dev
DXXB8QSXDJ DXXB8QSXDJ
| URI | m2://inv/DXXB8QSXDJ |
|---|---|
| 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.23332#D4WK (statement)
History
- 2026-11-02: add by m2/v0.6.17
Pakington, John DXXC45HKPJ
| URI | m2://inv/DXXC45HKPJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#F4ZL, Pakington, John (unknown)
History
- 2026-11-02: add by m2/dev
Uses of total correlation DXXF6N5EQQ
| URI | m2://inv/DXXF6N5EQQ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Total correlation#B4PV, Uses of total correlation (example)
History
- 2026-11-02: add by m2/dev
DXXFV6PRB7 DXXFV6PRB7
| URI | m2://inv/DXXFV6PRB7 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22074#MOS0 (definition). In F3BKXXPR3K/e1, definition 3.2
History
- 2026-10-27: add by m2/v0.4.2
DXXGEWG8D3 DXXGEWG8D3
| URI | m2://inv/DXXGEWG8D3 |
|---|---|
| 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.27114#WIB1 (statement)
History
- 2026-11-01: add by m2/v0.6.15
DXXJ7TBHVP DXXJ7TBHVP
| URI | m2://inv/DXXJ7TBHVP |
|---|---|
| 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#4NGE (statement)
History
- 2026-11-02: add by m2/v0.6.18
DXXK00RCQF DXXK00RCQF
| URI | m2://inv/DXXK00RCQF |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/galois.tex#problem-1 (exercise). In RZP28ERRZV, problem, section 14.6
History
- 2026-11-01: add by m2/v0.6.13
DXXKQ7VT76 DXXKQ7VT76
| URI | m2://inv/DXXKQ7VT76 |
|---|---|
| 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.28664#OO34 (statement)
History
- 2026-11-01: add by m2/v0.6.15
The deterministic coalescence comparison DXY29MFQP2
| URI | m2://inv/DXY29MFQP2 |
|---|---|
| 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.14154#DSSU, The deterministic coalescence comparison (statement). In 8X6PXX2TRA/e1, lemma 7.5
History
- 2026-10-28: add by m2/v0.4.2
DXY9XSGZ63 DXY9XSGZ63
| URI | m2://inv/DXY9XSGZ63 |
|---|---|
| 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 2601.01000#9URB (statement). In RYFV9HGWWZ/e1, theorem 36
History
- 2026-10-27: add by m2/v0.3.5
Composition of continuous functions is continuous DXYAGDBEXN
| URI | m2://inv/DXYAGDBEXN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/metric-top.tex#proposition-1, Composition of continuous functions is continuous (statement). In RZP28ERRZV, proposition, section 100.3
History
- 2026-11-01: add by m2/v0.6.13
Dischiliagon DXYD3XFYZ1
| URI | m2://inv/DXYD3XFYZ1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of two-dimensional geometric shapes#K47S, Dischiliagon (definition)
History
- 2026-11-02: add by m2/dev
Definition DXYDY3C007
| URI | m2://inv/DXYDY3C007 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trace distance#VPY5, Definition (definition)
History
- 2026-11-02: add by m2/dev
Alexander Zamolodchikov DXYMSSXAXC
| URI | m2://inv/DXYMSSXAXC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1333246, Alexander Zamolodchikov (unknown). Also nLab Alexander Zamolodchikov
History
- 2026-10-26: add by m2/dev
DXYMVJ117Y DXYMVJ117Y
| URI | m2://inv/DXYMVJ117Y |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18016#C7BT (definition). In V5PVKDKGGG/e1, definition 7.1
History
- 2026-10-28: add by m2/v0.4.2
Second-order addition identity DXYN8CPS93
| URI | m2://inv/DXYN8CPS93 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20593#63VK, Second-order addition identity (statement). In 7GMD8J4200/e1, corollary 12
History
- 2026-10-27: add by m2/v0.4.2
DXYNXEFBDB DXYNXEFBDB
| URI | m2://inv/DXYNXEFBDB |
|---|---|
| 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.22657#ACFE (statement)
History
- 2026-11-02: add by m2/v0.6.17
Affine offsets do not increase the sequential entropy DXZBSHM32B
| URI | m2://inv/DXZBSHM32B |
|---|---|
| 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.20687#QY4O, Affine offsets do not increase the sequential entropy (statement)
History
- 2026-11-02: add by m2/v0.6.18
Two-urns paradox DXZC2E2M1J
| URI | m2://inv/DXZC2E2M1J |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ellsberg paradox#UYLD, Two-urns paradox (statement)
History
- 2026-11-02: add by m2/dev
Poincaré–Bjerknes circulation theorem DXZCPHF05R
| URI | m2://inv/DXZCPHF05R |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Henri Poincaré#SBOQ, Poincaré–Bjerknes circulation theorem (statement)
History
- 2026-11-02: add by m2/dev
DXZFJBET0N DXZFJBET0N
| URI | m2://inv/DXZFJBET0N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2607.25960#R1LB (statement). In 13GSWBXPCM/e1, lemma C.5
History
- 2026-10-27: add by m2/v0.3.5
DXZQ8HXD18 DXZQ8HXD18
| URI | m2://inv/DXZQ8HXD18 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30113#PLXZ (statement)
History
- 2026-11-01: add by m2/v0.6.15
DXZW1VKP68 DXZW1VKP68
| URI | m2://inv/DXZW1VKP68 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29304#AAIG (statement)
History
- 2026-11-01: add by m2/v0.6.15
Pin group DXZXMTKA89
| URI | m2://inv/DXZXMTKA89 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of tensor theory#P2XA, Pin group (definition)
History
- 2026-11-02: add by m2/dev