Inventory rows 7Q
The cards of the rows of the inventory whose ids start with 7Q. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Norwood, Janet L. 7Q08W6AR32
| URI | m2://inv/7Q08W6AR32 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#DGZM, Norwood, Janet L. (topic)
History
- 2026-11-02: add by m2/dev
7Q0DS5MCSE 7Q0DS5MCSE
| URI | m2://inv/7Q0DS5MCSE |
|---|---|
| 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.19300#8QHH (statement). In S6S4RD5VXJ/e1, lemma 13
History
- 2026-10-28: add by m2/v0.4.2
Comparison principle 7Q0HEHQDQJ
| URI | m2://inv/7Q0HEHQDQJ |
|---|---|
| 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.12165#426W, Comparison principle (statement). In 3JSE8A9CFH/e1, lemma 2.2
History
- 2026-10-28: add by m2/v0.4.2
Compact subgroup 7Q0W22154A
| URI | m2://inv/7Q0W22154A |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Compact space#26RP, Compact subgroup (unknown)
History
- 2026-11-02: add by m2/dev
Great truncated cuboctahedron 7Q0WK0W8B1
| URI | m2://inv/7Q0WK0W8B1 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of uniform polyhedra by Schwarz triangle#MXHR, Great truncated cuboctahedron (object)
History
- 2026-11-02: add by m2/dev
7Q12YB4EFV 7Q12YB4EFV
| URI | m2://inv/7Q12YB4EFV |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29759#VKJ5 (definition)
History
- 2026-11-01: add by m2/v0.6.15
Runcinated 5-simplexes 7Q141Z2RS5
| URI | m2://inv/7Q141Z2RS5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Runcinated 5-simplexes, Runcinated 5-simplexes (definition). Also Wikidata Q7379706
History
- 2026-11-02: add by m2/dev
Fisher market 7Q15K1TSW5
| URI | m2://inv/7Q15K1TSW5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fisher market, Fisher market (definition). Also Wikidata Q25304970
History
- 2026-11-02: add by m2/dev
7Q188TSEBG 7Q188TSEBG
| URI | m2://inv/7Q188TSEBG |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25718#P17F (example)
History
- 2026-11-01: add by m2/v0.6.15
Kang-Liu-Wang 7Q18KXNF59
| URI | m2://inv/7Q18KXNF59 |
|---|---|
| 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.22393#KOBS, Kang-Liu-Wang (statement)
History
- 2026-11-02: add by m2/v0.6.17
Examples 7Q1A25TPEZ
| URI | m2://inv/7Q1A25TPEZ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Smoothed analysis#FFVH, Examples (example)
History
- 2026-11-02: add by m2/dev
Discrete wavelet transform 7Q1K0TWR0V
| URI | m2://inv/7Q1K0TWR0V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Discrete wavelet transform, Discrete wavelet transform (definition). Also Wikidata Q2414958
History
- 2026-11-02: add by m2/dev
The power map $x \mapsto x^{D}$ 7Q1PBQZBAR
| URI | m2://inv/7Q1PBQZBAR |
|---|---|
| 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#M8NE, The power map $x \mapsto x^{D}$ (statement). In 88GEN3Z5VG/e1, lemma 7.3
History
- 2026-10-29: add by m2/v0.4.10
7Q1Q7SA6Y4 7Q1Q7SA6Y4
| URI | m2://inv/7Q1Q7SA6Y4 |
|---|---|
| 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.25912#C11V (statement)
History
- 2026-11-01: add by m2/v0.6.15
focus 7Q1R89AAJ5
| URI | m2://inv/7Q1R89AAJ5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Affine and Euclidean Geometry > Application of quadratic forms to study proper conic sections of the affine Euclidean plane > focus, focus (unknown)
History
- 2026-10-26: add by m2/dev
Giry monad 7Q1SHM1DJN
| URI | m2://inv/7Q1SHM1DJN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Analysis > Measures and integral calculus > Giry monad, Giry monad (unknown). Also Mathlib MeasureTheory.Measure.instMeasurableSpace
History
- 2026-10-26: add by m2/dev
Orientability 7Q21YNZY8Q
| URI | m2://inv/7Q21YNZY8Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orientability, Orientability (definition). Also Wikidata Q2748415
History
- 2026-11-02: add by m2/dev
Mean value theorem 7Q22FKHDMB
| URI | m2://inv/7Q22FKHDMB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical proofs#4HEP, Mean value theorem (statement)
- wikipedia: Wikipedia List of calculus topics#WOIJ, Mean value theorem (statement)
History
- 2026-11-02: add by m2/dev
$\Gamma$-convergence 7Q2BM1SQS5
| URI | m2://inv/7Q2BM1SQS5 |
|---|---|
| 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.21508#P29S, $\Gamma$-convergence (statement)
History
- 2026-11-02: add by m2/v0.6.18
Euler--Lagrange equation 7Q2D2SAJYA
| URI | m2://inv/7Q2D2SAJYA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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.08253#LV8M, Euler--Lagrange equation (statement). In 6AD2CTF0QF/e1, theorem 3.8
History
- 2026-10-29: add by m2/v0.4.10
square 7Q2E3TW7DF
| URI | m2://inv/7Q2E3TW7DF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q111124, square (definition). Also ProofWiki Definition:Square/Function
- wikipedia: Wikipedia Square (algebra), Square (definition). Also Wikidata Q111124
History
- 2026-10-26: add by m2/dev
7Q2RVT703T 7Q2RVT703T
| URI | m2://inv/7Q2RVT703T |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-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.00146#21II (definition). In 6KR7Z5ETRY/e1, definition 2.56
History
- 2026-10-27: add by m2/v0.3.5
$\UUU = \XXX$, $C=C_0=\PP^1_k$, $\xi = 0$ 7Q33KGRJR7
| URI | m2://inv/7Q33KGRJR7 |
|---|---|
| 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 2106.11898#IOE3, $\UUU = \XXX$, $C=C_0=\PP^1_k$, $\xi = 0$ (statement). In KXXV5X8AG4/e1, proposition 4.1
History
- 2026-10-27: add by m2/v0.3.6
7Q366XBACE 7Q366XBACE
| URI | m2://inv/7Q366XBACE |
|---|---|
| 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 2109.12716#N7D7 (statement). In 6X76XBE3HV/e1, corollary 5.3
History
- 2026-10-27: add by m2/v0.3.5
Wolstenholme's theorem 7Q3K5E8AAW
| URI | m2://inv/7Q3K5E8AAW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#11YX, Wolstenholme's theorem (statement)
History
- 2026-11-02: add by m2/dev
!!^{surjective} function 7Q3Q4ASVF0
| URI | m2://inv/7Q3Q4ASVF0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/functions/function-kinds.tex#defn-1, !!^{surjective} function (definition). In PKGMM3P5QY, defn, section 78.10
History
- 2026-11-01: add by m2/v0.6.13
7Q43ZYA0PJ 7Q43ZYA0PJ
| URI | m2://inv/7Q43ZYA0PJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00312#GF7N (statement). In 41NFABHFXH/e1, lemma 6.2
History
- 2026-10-30: add by m2/v0.4.12
Uses 7Q45M66QMK
| URI | m2://inv/7Q45M66QMK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rice's formula#EL8F, Uses (example)
History
- 2026-11-02: add by m2/dev
Parity bit 7Q466BKYDQ
| URI | m2://inv/7Q466BKYDQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic coding theory topics#OYC7, Parity bit (definition)
History
- 2026-11-02: add by m2/dev
Population process 7Q48H7878T
| URI | m2://inv/7Q48H7878T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Population process, Population process (definition). Also Wikidata Q7229814
History
- 2026-11-02: add by m2/dev
7Q4CZWCJNQ 7Q4CZWCJNQ
| URI | m2://inv/7Q4CZWCJNQ |
|---|---|
| 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.11082#94W4 (statement). In GFPFFN0BXV/e1, lemma 10
History
- 2026-10-28: add by m2/v0.4.3
DSPACE 7Q4DY8PBJ4
| URI | m2://inv/7Q4DY8PBJ4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia DSPACE, DSPACE (definition). Also Wikidata Q1155722
History
- 2026-11-02: add by m2/dev
Leibniz rule 7Q4EKG8MJ5
| URI | m2://inv/7Q4EKG8MJ5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Gottfried Leibniz#4EFD, Leibniz rule (definition)
History
- 2026-11-02: add by m2/dev
Causal notation 7Q4GKZ2W2S
| URI | m2://inv/7Q4GKZ2W2S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Causal notation, Causal notation (definition). Also Wikidata Q121297220
History
- 2026-11-02: add by m2/dev
Method of undetermined coefficients 7Q4GPS3CK4
| URI | m2://inv/7Q4GPS3CK4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Method of undetermined coefficients, Method of undetermined coefficients (definition). Also Wikidata Q1036452
History
- 2026-11-02: add by m2/dev
Ruriko Yoshida 7Q4REN6X5Q
| URI | m2://inv/7Q4REN6X5Q |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ruriko Yoshida, Ruriko Yoshida (topic). Also Wikidata Q89943705
History
- 2026-11-02: add by m2/dev
Example 7Q4WXRRHTD
| URI | m2://inv/7Q4WXRRHTD |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elementary arithmetic#7BH2, Example (example)
History
- 2026-11-02: add by m2/dev
7Q55ZFHZ1T 7Q55ZFHZ1T
| URI | m2://inv/7Q55ZFHZ1T |
|---|---|
| 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.37897#D8FD (statement). In RBQ5FNCVNZ/e1, lemma 9.3
History
- 2026-10-30: add by m2/v0.4.12
Completion of Part IV 7Q56JSWYZQ
| URI | m2://inv/7Q56JSWYZQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.22465#1M00, Completion of Part IV (statement)
History
- 2026-11-02: add by m2/v0.6.17
7Q5FX4KQWC 7Q5FX4KQWC
| URI | m2://inv/7Q5FX4KQWC |
|---|---|
| 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 1004.4564#ICK7 (statement). In BZ54C9SKYS/e1, lemma 6.20
History
- 2026-10-27: add by m2/v0.3.5
Computational hardness of useful event-tilt selection 7Q5Q5GAGNH
| URI | m2://inv/7Q5Q5GAGNH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-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.33499#J68T, Computational hardness of useful event-tilt selection (statement). In AAH14S2JJ2/e1, corollary 3.4
History
- 2026-10-30: add by m2/v0.4.12
7Q5RKS9C1S 7Q5RKS9C1S
| URI | m2://inv/7Q5RKS9C1S |
|---|---|
| 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.19309#909V (statement). In XKENQH35DW/e1, lemma 2.5
History
- 2026-10-28: add by m2/v0.4.2
Cauchy formula 7Q5SJ12DF3
| URI | m2://inv/7Q5SJ12DF3 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv index/B/cauchy-formula, Cauchy formula (concept). In VNMV985MXX, index, section B
History
- 2026-11-01: add by m2/v0.6.13
General systems theory 7Q5T3JWZG6
| URI | m2://inv/7Q5T3JWZG6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of types of systems theory#MLJ5, General systems theory (definition)
History
- 2026-11-02: add by m2/dev
7Q5TJPHMCD 7Q5TJPHMCD
| URI | m2://inv/7Q5TJPHMCD |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise:biholHartogs (exercise). In VNMV985MXX, exercise, section 2.5
History
- 2026-11-01: add by m2/v0.6.13
7Q5XXEKPTS 7Q5XXEKPTS
| URI | m2://inv/7Q5XXEKPTS |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2310.06695#HP3F (conjecture). In D6F8XGF5SS/e1, conjecture 1
History
- 2026-10-27: add by m2/v0.3.6
7Q5Y0C7A63 7Q5Y0C7A63
| URI | m2://inv/7Q5Y0C7A63 |
|---|---|
| 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 2610.06045#3443 (definition). In SVKM0852RJ/e1, definition 5
History
- 2026-10-29: add by m2/v0.4.10
Complete fine Hilbert series 7Q62937A00
| URI | m2://inv/7Q62937A00 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20649#OKT5, Complete fine Hilbert series (statement). In XDTM624YPE/e1, corollary 3.3
History
- 2026-10-27: add by m2/v0.4.2
Notation 7Q6NCJNEPA
| URI | m2://inv/7Q6NCJNEPA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Complex conjugate#QU0H, Notation (definition)
History
- 2026-11-02: add by m2/dev
Nina Uraltseva 7Q6QP8T4BM
| URI | m2://inv/7Q6QP8T4BM |
|---|---|
| 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#7UTJ, Nina Uraltseva (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#NTM0, Nina Uraltseva (topic)
History
- 2026-11-02: add by m2/dev
7Q6RJK4MTE 7Q6RJK4MTE
| URI | m2://inv/7Q6RJK4MTE |
|---|---|
| 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 2505.04063#TA6R (statement). In TFH7T63DX9/e1, lemma S.10
History
- 2026-10-27: add by m2/v0.3.5
Sufficient sample size for direction recovery 7Q6TXHCX5A
| URI | m2://inv/7Q6TXHCX5A |
|---|---|
| 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.37917#50X8, Sufficient sample size for direction recovery (statement). In YYN10BJG1Q/e1, corollary 1
History
- 2026-10-30: add by m2/v0.4.12
7Q712DF0A9 7Q712DF0A9
| URI | m2://inv/7Q712DF0A9 |
|---|---|
| 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.03255#EUC8 (statement). In DCC0Y18670/e1, lemma 2.7
History
- 2026-10-29: add by m2/v0.4.12
7Q7655B61T 7Q7655B61T
| URI | m2://inv/7Q7655B61T |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/many-valued-logic/sequent-calculus/proof-theoretic-notions.tex#proof-2 (proof). In PKGMM3P5QY, proof, section 40.4
History
- 2026-11-01: add by m2/v0.6.13
Sheldon Axler 7Q7F1HDVHK
| URI | m2://inv/7Q7F1HDVHK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#M68E, Sheldon Axler (topic)
History
- 2026-11-02: add by m2/dev
7Q7H6TGZNB 7Q7H6TGZNB
| URI | m2://inv/7Q7H6TGZNB |
|---|---|
| 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.02791#G8JR (statement). In TT9BA4VMTW/e1, theorem 1.1
History
- 2026-10-29: add by m2/v0.4.12
Bayesian vector autoregression 7Q7T1C2NWK
| URI | m2://inv/7Q7T1C2NWK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#LZR2, Bayesian vector autoregression (definition)
History
- 2026-11-02: add by m2/dev
7Q80EF3M22 7Q80EF3M22
| URI | m2://inv/7Q80EF3M22 |
|---|---|
| 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 2109.09268#LZ6I (definition). In SYZFEVFHC3/e1, definition 2.6
History
- 2026-10-27: add by m2/v0.3.5
Akbulut cork 7Q81FP0JKX
| URI | m2://inv/7Q81FP0JKX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Akbulut cork, Akbulut cork (definition). Also Wikidata Q4700514
History
- 2026-11-02: add by m2/dev
Finite deployment of buffered ERM 7Q81NBJKB6
| URI | m2://inv/7Q81NBJKB6 |
|---|---|
| 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.21363#NKWE, Finite deployment of buffered ERM (statement). In YPH7NS5AAQ/e1, corollary 2.4
History
- 2026-10-27: add by m2/v0.4.2
7Q8CS35JQY 7Q8CS35JQY
| URI | m2://inv/7Q8CS35JQY |
|---|---|
| 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.20609#LBNX (statement)
History
- 2026-11-02: add by m2/v0.6.18
Generalization 7Q8EDFHB8P
| URI | m2://inv/7Q8EDFHB8P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quillen–Suslin theorem#240O, Generalization (statement)
History
- 2026-11-02: add by m2/dev
black hole information paradox 7Q8PWXZFHE
| URI | m2://inv/7Q8PWXZFHE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1471710, black hole information paradox (unknown). Also nLab black hole information paradox
- wikipedia: Wikipedia Black hole information paradox, Black hole information paradox (statement). Also Wikidata Q1471710
History
- 2026-10-26: add by m2/dev
7Q8QDHZGQB 7Q8QDHZGQB
| URI | m2://inv/7Q8QDHZGQB |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/frame-definability/second-order-definability.tex#proof-2 (proof). In PKGMM3P5QY, proof, section 53.4
History
- 2026-11-01: add by m2/v0.6.13
Algorithms for unsupervised learning 7Q8S24H3X9
| URI | m2://inv/7Q8S24H3X9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Unsupervised learning#6NZI, Algorithms for unsupervised learning (unknown)
History
- 2026-11-02: add by m2/dev
Petr Mandl 7Q989EMCN1
| URI | m2://inv/7Q989EMCN1 |
|---|---|
| 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#5P0I, Petr Mandl (topic)
History
- 2026-11-02: add by m2/dev
Definition 7Q9AMDY6H3
| URI | m2://inv/7Q9AMDY6H3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Non-uniform discrete Fourier transform#YFK7, Definition (definition)
History
- 2026-11-02: add by m2/dev
7Q9ASSZY4E 7Q9ASSZY4E
| URI | m2://inv/7Q9ASSZY4E |
|---|---|
| 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 2610.20899#X4UF (example). In BSMDFADA39/e1, example 2.11
History
- 2026-10-27: add by m2/v0.4.2
Ciuni, Ferguson, and Szmuc 7Q9J67R49X
| URI | m2://inv/7Q9J67R49X |
|---|---|
| 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.08293#IFVQ, Ciuni, Ferguson, and Szmuc (statement). In 90A5DJG27R/e1, theorem 1
History
- 2026-10-29: add by m2/v0.4.10
Problem 1 7Q9PB29CSA
| URI | m2://inv/7Q9PB29CSA |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Priority heuristic#TT9L, Problem 1 (problem)
History
- 2026-11-02: add by m2/dev
7Q9TSJTKY5 7Q9TSJTKY5
| URI | m2://inv/7Q9TSJTKY5 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graph canonization#HI5G (problem)
History
- 2026-11-02: add by m2/dev
Statement 7QA9MXR7F2
| URI | m2://inv/7QA9MXR7F2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Witten conjecture#08I4, Statement (statement)
History
- 2026-11-02: add by m2/dev
Cayley coordinates and auxiliary inputs 7QA9XCM1M4
| URI | m2://inv/7QA9XCM1M4 |
|---|---|
| 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.03242#ASCX, Cayley coordinates and auxiliary inputs (statement). In MJE6HRC6PX/e1, lemma 6.2
History
- 2026-10-29: add by m2/v0.4.12
Vinogradov's theorem 7QADB6KRJT
| URI | m2://inv/7QADB6KRJT |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 11-XX |
| Sources | 4 |
| Outcome | open |
| Node | Vinogradov's theorem C01Z9QRGZY |
Mentions
- mathlib_1000: mathlib_1000 Q1694565, Vinogradov's theorem (statement). Also Wikidata Q1694565
- thousand_plus: thousand_plus Q1694565, Vinogradov's theorem (statement). Also Wikidata Q1694565, Wikipedia Vinogradov's theorem
- wikidata: Wikidata Q1694565, Vinogradov's theorem (statement). Also MathWorld VinogradovsTheorem
- wikipedia: Wikipedia Vinogradov's theorem, Vinogradov's theorem (statement). Also Wikidata Q1694565
History
- 2026-10-26: add by m2/dev
7QADZAN58H 7QADZAN58H
| URI | m2://inv/7QADZAN58H |
|---|---|
| Kind | definition |
| 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.27366#BCDL (definition)
History
- 2026-11-01: add by m2/v0.6.15
A/B testing 7QAE7CV3XA
| URI | m2://inv/7QAE7CV3XA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia A/B testing, A/B testing (definition). Also Wikidata Q1810071
History
- 2026-11-02: add by m2/dev
7QAFNMEW4S 7QAFNMEW4S
| URI | m2://inv/7QAFNMEW4S |
|---|---|
| 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.09314#3OQH (statement). In Z04N0B3R0V/e1, theorem 3.8
History
- 2026-10-29: add by m2/v0.4.10
7QAHQ831EW 7QAHQ831EW
| URI | m2://inv/7QAHQ831EW |
|---|---|
| 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.13030#Y221 (statement). In 6NZ0YS5MJ7/e1, corollary III.5
History
- 2026-10-28: add by m2/v0.4.2
7QARADG6AK 7QARADG6AK
| URI | m2://inv/7QARADG6AK |
|---|---|
| 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 2609.22855#XXRY (example)
History
- 2026-11-02: add by m2/v0.6.17
Definition 7QARK8WNQ3
| URI | m2://inv/7QARK8WNQ3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Semisimple module#6CWQ, Definition (definition)
History
- 2026-11-02: add by m2/dev
Special cases 7QAX2PQAME
| URI | m2://inv/7QAX2PQAME |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gauss–Lucas theorem#P9MQ, Special cases (statement)
History
- 2026-11-02: add by m2/dev
Nash equilibrium 7QAY70YJJ7
| URI | m2://inv/7QAY70YJJ7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of paradoxes#9MN5, Nash equilibrium (definition)
History
- 2026-11-02: add by m2/dev
Kontinuit\atssatz, first version 7QB1EY2WG9
| URI | m2://inv/7QB1EY2WG9 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv index/2.1/kontinuit-atssatz-first-version, Kontinuit\atssatz, first version (concept). In VNMV985MXX, index, section 2.1
History
- 2026-11-01: add by m2/v0.6.13
Thue's lemma 7QBEWN8AP2
| URI | m2://inv/7QBEWN8AP2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thue's lemma, Thue's lemma (statement). Also Wikidata Q948320
History
- 2026-11-02: add by m2/dev
7QBG6YK33V 7QBG6YK33V
| URI | m2://inv/7QBG6YK33V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 18-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21507#CSCC (statement). In 879ZDHVK7N/e1, theorem 4.6
History
- 2026-10-27: add by m2/v0.4.2
Represented outer paths 7QBQ7BCRQP
| URI | m2://inv/7QBQ7BCRQP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-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.28220#W42S, Represented outer paths (statement)
History
- 2026-11-01: add by m2/v0.6.15
Moore curve 7QBW0W3YPW
| URI | m2://inv/7QBW0W3YPW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#RVOD, Moore curve (unknown)
History
- 2026-11-02: add by m2/dev
7QBWHMXYYW 7QBWHMXYYW
| URI | m2://inv/7QBWHMXYYW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/classgrp.tex#theorem-3 (statement). In RZP28ERRZV, theorem, section 9.6
History
- 2026-11-01: add by m2/v0.6.13
Power inequalities 7QBXBC3H55
| URI | m2://inv/7QBXBC3H55 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inequality (mathematics)#FFHJ, Power inequalities (unknown)
History
- 2026-11-02: add by m2/dev
7QC1TGJPQK 7QC1TGJPQK
| URI | m2://inv/7QC1TGJPQK |
|---|---|
| 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#CHDE (example). In Q39BEKW6D9/e1, example 2.22
History
- 2026-10-29: add by m2/v0.4.10
7QC2T0YVDT 7QC2T0YVDT
| URI | m2://inv/7QC2T0YVDT |
|---|---|
| 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#TEFU (statement). In PQHTR84RAJ/e1, corollary 4.8
History
- 2026-10-27: add by m2/v0.4.0
Balanced-content transfer 7QC45W9NKB
| URI | m2://inv/7QC45W9NKB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39700#KC25, Balanced-content transfer (statement). In E7W2HDNEKJ/e1, lemma H.7
History
- 2026-10-30: add by m2/v0.4.12
Uniformly most powerful tests: The Karlin–Rubin theorem 7QCA4RQWM5
| URI | m2://inv/7QCA4RQWM5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Monotone likelihood ratio#1I7C, Uniformly most powerful tests: The Karlin–Rubin theorem (statement)
History
- 2026-11-02: add by m2/dev
HP-41CV 7QCBJ3BW0Y
| URI | m2://inv/7QCBJ3BW0Y |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia HP-41C#ZE23, HP-41CV (unknown)
History
- 2026-11-02: add by m2/dev
geometric function theory 7QCF372D1M
| URI | m2://inv/7QCF372D1M |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5535485, geometric function theory (topic). Also nLab geometric function theory
- wikipedia: Wikipedia Geometric function theory, Geometric function theory (topic). Also Wikidata Q5535485
History
- 2026-10-26: add by m2/dev
Blind deconvolution 7QCFENVP94
| URI | m2://inv/7QCFENVP94 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#76ZS, Blind deconvolution (definition)
History
- 2026-11-02: add by m2/dev
Predicate abstraction 7QCK4EP83Z
| URI | m2://inv/7QCK4EP83Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Predicate abstraction, Predicate abstraction (definition). Also Wikidata Q7239630
History
- 2026-11-02: add by m2/dev
Igor Rivin 7QCY8W9X9R
| URI | m2://inv/7QCY8W9X9R |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#LSBU, Igor Rivin (unknown)
History
- 2026-11-02: add by m2/dev
7QCZN27WJ8 7QCZN27WJ8
| URI | m2://inv/7QCZN27WJ8 |
|---|---|
| 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.13358#5ERL (statement). In QHT28GABDG/e1, proposition 3.7
History
- 2026-10-28: add by m2/v0.4.2
Derangement orbit space 7QD434VGBP
| URI | m2://inv/7QD434VGBP |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10745#GR0U, Derangement orbit space (definition). In 5MJ4NJ5ZCV/e1, definition 4.2
History
- 2026-10-28: add by m2/v0.4.3
ordinary and virtual boxes 7QDB7VV276
| URI | m2://inv/7QDB7VV276 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01753#89FT, ordinary and virtual boxes (definition). In JY50YXMH5N/e1, definition 35
History
- 2026-10-29: add by m2/v0.4.12
Facts 7QDBKFVZ8T
| URI | m2://inv/7QDBKFVZ8T |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Transcendental extension#QVOX, Facts (statement)
History
- 2026-11-02: add by m2/dev
pentatope number 7QDC1F8YWX
| URI | m2://inv/7QDC1F8YWX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1403502, pentatope number (unknown). Also MathWorld PentatopeNumber, OEIS A000332
History
- 2026-10-26: add by m2/dev
William Floyd 7QDE4BASP6
| URI | m2://inv/7QDE4BASP6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia William Floyd (mathematician), William Floyd (topic). Also Wikidata Q3828617
History
- 2026-11-02: add by m2/dev
Runcitruncated tesseractic honeycomb 7QDSKJGSP8
| URI | m2://inv/7QDSKJGSP8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Runcitruncated tesseractic honeycomb, Runcitruncated tesseractic honeycomb (definition). Also Wikidata Q17007217
History
- 2026-11-02: add by m2/dev
7QDT09A35X 7QDT09A35X
| URI | m2://inv/7QDT09A35X |
|---|---|
| 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.40207#TJHD (statement). In JXTG8KP95P/e1, lemma 5.6
History
- 2026-10-30: add by m2/v0.4.12
Affine Hecke algebra 7QDT8VSMDV
| URI | m2://inv/7QDT8VSMDV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Affine Hecke algebra, Affine Hecke algebra (definition). Also Wikidata Q4688934
History
- 2026-11-02: add by m2/dev
Principle 7QDTY0JBT5
| URI | m2://inv/7QDTY0JBT5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Planimeter#WSVS, Principle (statement)
History
- 2026-11-02: add by m2/dev
7QDX3ZBXJ7 7QDX3ZBXJ7
| URI | m2://inv/7QDX3ZBXJ7 |
|---|---|
| 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.20991#D5M0 (statement). In H98ZC5YBSD/e1, lemma 2.2
History
- 2026-10-27: add by m2/v0.4.2
Scattering transfer parameters 7QDYWJQYAQ
| URI | m2://inv/7QDYWJQYAQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Scattering parameters#LZKR, Scattering transfer parameters (unknown)
History
- 2026-11-02: add by m2/dev
Cleve Moler 7QEGPES1NN
| URI | m2://inv/7QEGPES1NN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cleve Moler, Cleve Moler (topic). Also Wikidata Q92871
History
- 2026-11-02: add by m2/dev
7QEPKC4QNC 7QEPKC4QNC
| URI | m2://inv/7QEPKC4QNC |
|---|---|
| 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.20801#J964 (statement). In A1GWWGRXPA/e1, proposition 3.27
History
- 2026-10-27: add by m2/v0.4.2
Nachum Dershowitz 7QES3FF87X
| URI | m2://inv/7QES3FF87X |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#ADUS, Nachum Dershowitz (unknown)
History
- 2026-11-02: add by m2/dev
idempotent clone 7QEYVB4XT5
| URI | m2://inv/7QEYVB4XT5 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12484#OAP0, idempotent clone (definition). In GW23NX78SB/e1, definition 2.23
History
- 2026-10-28: add by m2/v0.4.2
7QF7WNX5AM 7QF7WNX5AM
| URI | m2://inv/7QF7WNX5AM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21954#ZMF9 (statement). In F2XATDBRK4/e1, proposition 2
History
- 2026-10-27: add by m2/v0.4.2
7QF7X6TSDD 7QF7X6TSDD
| URI | m2://inv/7QF7X6TSDD |
|---|---|
| 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.21937#DXEA (statement)
History
- 2026-11-02: add by m2/v0.6.17
Eisenstein prime 7QFNCJX2E5
| URI | m2://inv/7QFNCJX2E5 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q898675, Eisenstein prime (concept). Also MathWorld EisensteinPrime
History
- 2026-10-26: add by m2/dev
Survival function 7QFT09Q8F5
| URI | m2://inv/7QFT09Q8F5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#HV8O, Survival function (definition)
History
- 2026-11-02: add by m2/dev
7QFZGH6KBQ 7QFZGH6KBQ
| URI | m2://inv/7QFZGH6KBQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04809#TBEK (statement). In 2VHV0RNTNV/e1, fact 7.5
History
- 2026-10-29: add by m2/v0.4.12
Rising sun lemma 7QG07ZRGXH
| URI | m2://inv/7QG07ZRGXH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#CZUE, Rising sun lemma (statement)
History
- 2026-11-02: add by m2/dev
7QG6WHW0HE 7QG6WHW0HE
| URI | m2://inv/7QG6WHW0HE |
|---|---|
| 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.20568#BSK2 (statement). In BCD0ATARNZ/e1, proposition 3.17
History
- 2026-10-27: add by m2/v0.4.2
Comparison with even conductors 7QG7EJ6QAE
| URI | m2://inv/7QG7EJ6QAE |
|---|---|
| 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.30301#1QKY, Comparison with even conductors (statement). In 7NS75J7HAM/e1, proposition 9.19
History
- 2026-10-31: add by m2/v0.5.6
Equilibrium Problem of the Tail 7QG7SBMCW7
| URI | m2://inv/7QG7SBMCW7 |
|---|---|
| Kind | definition |
| 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.13222#WJSN, Equilibrium Problem of the Tail (definition). In Z6WA2R0J50/e1, definition 2.22
History
- 2026-10-28: add by m2/v0.4.2
7QGDMS86NA 7QGDMS86NA
| URI | m2://inv/7QGDMS86NA |
|---|---|
| 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.02295#5QHW (statement). In PEBD9ZMA1W/e1, lemma 6.2
History
- 2026-10-29: add by m2/v0.4.12
Denjoy–Luzin–Saks theorem 7QGG0MNP5B
| URI | m2://inv/7QGG0MNP5B |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Denjoy–Luzin–Saks theorem, Denjoy–Luzin–Saks theorem (statement). Also Wikidata Q5257889
History
- 2026-11-02: add by m2/dev
David Blackwell 7QGGW93HYM
| URI | m2://inv/7QGGW93HYM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of presidents of the Institute of Mathematical Statistics#K5UU, David Blackwell (topic)
History
- 2026-11-02: add by m2/dev
7QH2AWGDJK 7QH2AWGDJK
| URI | m2://inv/7QH2AWGDJK |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 18-XX, 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20725#HFFD (definition)
History
- 2026-11-02: add by m2/v0.6.18
Definition 7QHFVYDA0G
| URI | m2://inv/7QHFVYDA0G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dot product#KWNU, Definition (definition)
History
- 2026-11-02: add by m2/dev
7QHWFJ4T42 7QHWFJ4T42
| URI | m2://inv/7QHWFJ4T42 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30018#J7HX (definition)
History
- 2026-11-01: add by m2/v0.6.15
Formal definition 7QHYEQP6JF
| URI | m2://inv/7QHYEQP6JF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trace diagram#HBGU, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
7QJ265NR4R 7QJ265NR4R
| URI | m2://inv/7QJ265NR4R |
|---|---|
| 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.06707#YJII (statement). In 9TR5E527P5/e1, theorem
History
- 2026-10-29: add by m2/v0.4.10
7QJBRGTWC1 7QJBRGTWC1
| URI | m2://inv/7QJBRGTWC1 |
|---|---|
| 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 1607.01095#3WGM (definition). In W3T1ZAT3GC/e1, definition 2.1
History
- 2026-10-27: add by m2/v0.3.5
7QJD42J8Q3 7QJD42J8Q3
| URI | m2://inv/7QJD42J8Q3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23202#7DSX (statement)
History
- 2026-11-02: add by m2/v0.6.17
7QJFC87FVK 7QJFC87FVK
| URI | m2://inv/7QJFC87FVK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35682#5MKL (statement). In 7XM8WXVBWK/e1, lemma 3.3
History
- 2026-10-30: add by m2/v0.4.12
Complete flag variety 7QJGXK4BH2
| URI | m2://inv/7QJGXK4BH2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalized flag variety#0WMC, Complete flag variety (unknown)
History
- 2026-11-02: add by m2/dev
Theories of iterated inductive definitions 7QJKEPVE9T
| URI | m2://inv/7QJKEPVE9T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Theories of iterated inductive definitions, Theories of iterated inductive definitions (definition). Also Wikidata Q108377893
History
- 2026-11-02: add by m2/dev
Moyal, José Enrique 7QJZGBHZYC
| URI | m2://inv/7QJZGBHZYC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#ZM76, Moyal, José Enrique (unknown)
History
- 2026-11-02: add by m2/dev
Uniform Young local limit 7QK2WYZJZB
| URI | m2://inv/7QK2WYZJZB |
|---|---|
| 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.35986#PGMN, Uniform Young local limit (statement). In PBX6AMPVT2/e1, lemma B.1
History
- 2026-10-30: add by m2/v0.4.12
Applications of cluster sampling 7QKA2AZPH4
| URI | m2://inv/7QKA2AZPH4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cluster sampling#AQNU, Applications of cluster sampling (example)
History
- 2026-11-02: add by m2/dev
7QKC5WN954 7QKC5WN954
| URI | m2://inv/7QKC5WN954 |
|---|---|
| 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.18152#IE7P (statement). In AAVGAGCWTE/e1, theorem 1.4
History
- 2026-10-28: add by m2/v0.4.2
7QKF5ZT4SG 7QKF5ZT4SG
| URI | m2://inv/7QKF5ZT4SG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22924#3BTB (statement)
History
- 2026-11-02: add by m2/v0.6.17
Dynamic factor 7QKMHPWW66
| URI | m2://inv/7QKMHPWW66 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dynamic factor, Dynamic factor (definition). Also Wikidata Q5318975
History
- 2026-11-02: add by m2/dev
Prime-side spectral reconstruction 7QKR9MZRTA
| URI | m2://inv/7QKR9MZRTA |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 11-XX, 37-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 2609.27962#7CD3, Prime-side spectral reconstruction (problem)
History
- 2026-11-01: add by m2/v0.6.15
Generalized Farkas' lemma 7QKXF754PQ
| URI | m2://inv/7QKXF754PQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Farkas' lemma#51IQ, Generalized Farkas' lemma (statement)
History
- 2026-11-02: add by m2/dev
Statement 7QM3R38XQZ
| URI | m2://inv/7QM3R38XQZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Porteous formula#WEWS, Statement (statement)
History
- 2026-11-02: add by m2/dev
7QMBYDC1H1 7QMBYDC1H1
| URI | m2://inv/7QMBYDC1H1 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_flowapplications_exercises.ptx#exercise-6 (exercise). In QKM9DD2H56, exercise, section 14
History
- 2026-11-01: add by m2/v0.6.13
7QMC7RZHWQ 7QMC7RZHWQ
| URI | m2://inv/7QMC7RZHWQ |
|---|---|
| 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.28075#8Y6D (statement)
History
- 2026-11-01: add by m2/v0.6.15
corollary 7QMK0QBH01
| URI | m2://inv/7QMK0QBH01 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#B8QH, corollary (definition)
History
- 2026-11-02: add by m2/dev
Dirk van Dalen 7QMK2BFW3G
| URI | m2://inv/7QMK2BFW3G |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dirk van Dalen, Dirk van Dalen (topic). Also Wikidata Q1228141
History
- 2026-11-02: add by m2/dev
7QMSGR9BG2 7QMSGR9BG2
| URI | m2://inv/7QMSGR9BG2 |
|---|---|
| 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.12277#T1KF (statement). In N6GW8Z49SZ/e1, theorem 3.2
History
- 2026-10-28: add by m2/v0.4.2
Cornelius Lanczos 7QMVJBPEXH
| URI | m2://inv/7QMVJBPEXH |
|---|---|
| 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#JZVF, Cornelius Lanczos (topic)
History
- 2026-11-02: add by m2/dev
7QN6AZYHVJ 7QN6AZYHVJ
| URI | m2://inv/7QN6AZYHVJ |
|---|---|
| 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 2205.13464#Z9RT (statement). In JPYGC2R3FC/e1, lemma 4.1
History
- 2026-10-27: add by m2/v0.3.6
7QN8GWSARX 7QN8GWSARX
| URI | m2://inv/7QN8GWSARX |
|---|---|
| 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#Y8WE (statement). In TWGMVT1N1G/e1, proposition 6.1
History
- 2026-10-29: add by m2/v0.4.10
7QN96007MB 7QN96007MB
| URI | m2://inv/7QN96007MB |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/calculus/integrate.tex#proof-1 (proof). In RZP28ERRZV, proof, section 31.1
History
- 2026-11-01: add by m2/v0.6.13
7QN9NE15AK 7QN9NE15AK
| URI | m2://inv/7QN9NE15AK |
|---|---|
| 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#NQ8K (statement). In V6EPE8XHAD/e1, theorem 1.1
History
- 2026-10-29: add by m2/v0.4.10
Applications 7QNA4655M0
| URI | m2://inv/7QNA4655M0 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Compound probability distribution#8D5M, Applications (example)
History
- 2026-11-02: add by m2/dev
Wasserstein-2 Displacement Monotonicity 7QNBQW8SSY
| URI | m2://inv/7QNBQW8SSY |
|---|---|
| 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.20998#TJ5I, Wasserstein-2 Displacement Monotonicity (statement)
History
- 2026-11-02: add by m2/v0.6.18
Fairmont City 7QNHA8BZZF
| URI | m2://inv/7QNHA8BZZF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of U.S. communities with Hispanic-majority populations in the 2000 census#Q0IE, Fairmont City (unknown)
History
- 2026-11-02: add by m2/dev
7QNWQWW147 7QNWQWW147
| URI | m2://inv/7QNWQWW147 |
|---|---|
| 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 2601.10958#XJ9I (statement). In 4W55AH5T6R/e1, proposition 2
History
- 2026-10-27: add by m2/v0.3.5
Least nonnegative solution and a matrix Pincherle principle 7QNZQ4WWFB
| URI | m2://inv/7QNZQ4WWFB |
|---|---|
| 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#2IT4, Least nonnegative solution and a matrix Pincherle principle (statement)
History
- 2026-11-01: add by m2/v0.6.15
Twin prime conjecture 7QP3MSGJXV
| URI | m2://inv/7QP3MSGJXV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Landau's problems#O778, Twin prime conjecture (statement)
History
- 2026-11-02: add by m2/dev
7QP7RG93JC 7QP7RG93JC
| URI | m2://inv/7QP7RG93JC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2308.02672#U2YH (statement). In ETRT1R1CQ8/e1, lemma 2.1
History
- 2026-10-27: add by m2/v0.4.0
The solution for smooth exponentially decaying data 7QQ70S4QTR
| URI | m2://inv/7QQ70S4QTR |
|---|---|
| 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.13753#16T0, The solution for smooth exponentially decaying data (statement). In AHM0PBKZZN/e1, corollary 4.7
History
- 2026-10-28: add by m2/v0.4.2
Largest cities in the United States in 1870 by population 7QQB5EMWY7
| URI | m2://inv/7QQB5EMWY7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 1870 United States census#7JB9, Largest cities in the United States in 1870 by population (unknown)
History
- 2026-11-02: add by m2/dev
sunflower lemma 7QQK0A2A1Z
| URI | m2://inv/7QQK0A2A1Z |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sunflower (mathematics)#FJBC, sunflower lemma (statement)
History
- 2026-11-02: add by m2/dev
7QQPJ28BR3 7QQPJ28BR3
| URI | m2://inv/7QQPJ28BR3 |
|---|---|
| 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.24363#0JWL (statement)
History
- 2026-11-01: add by m2/v0.6.15
7QQW31ZHA5 7QQW31ZHA5
| URI | m2://inv/7QQW31ZHA5 |
|---|---|
| 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.24522#CS2Z (statement)
History
- 2026-11-01: add by m2/v0.6.15
Conditional expectation and infinite-time limit, Proposition 8 of , Theorem 19 7QR278KPVY
| URI | m2://inv/7QR278KPVY |
|---|---|
| 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.36016#8UQR (statement). In NAM9ZMPHZ9/e1, proposition D.6
- arxiv: arXiv 2609.36016#93ZU, Conditional expectation and infinite-time limit, Proposition 8 of , Theorem 19 (statement). In NAM9ZMPHZ9/e1, proposition 4.12
History
- 2026-10-30: add by m2/v0.4.12
Kingman's formula 7QR4H6NS6D
| URI | m2://inv/7QR4H6NS6D |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#Y87S, Kingman's formula (statement)
History
- 2026-11-02: add by m2/dev
Dionisio Gallarati 7QR4JWF5JX
| URI | m2://inv/7QR4JWF5JX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dionisio Gallarati, Dionisio Gallarati (topic). Also Wikidata Q37732692
History
- 2026-11-02: add by m2/dev
Variants 7QR6N7XRD5
| URI | m2://inv/7QR6N7XRD5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Genetic method#KPGP, Variants (statement)
History
- 2026-11-02: add by m2/dev
Basic formula 7QRB4E8FRS
| URI | m2://inv/7QRB4E8FRS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exponential growth#9KW3, Basic formula (statement)
History
- 2026-11-02: add by m2/dev
7QRJJRRGB4 7QRJJRRGB4
| URI | m2://inv/7QRJJRRGB4 |
|---|---|
| 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.03353#3GRV (definition). In 8W61T5CSRB/e1, definition 2.2
History
- 2026-10-29: add by m2/v0.4.12
invariant polynomial 7QRWEZQ9A7
| URI | m2://inv/7QRWEZQ9A7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2920801, invariant polynomial (unknown). Also nLab invariant polynomial
- wikipedia: Wikipedia Invariant polynomial, Invariant polynomial (definition). Also Wikidata Q2920801
History
- 2026-10-26: add by m2/dev
Counterexample 7QRXFE89WF
| URI | m2://inv/7QRXFE89WF |
|---|---|
| Kind | counterexample |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dinitz–Garg–Goemans conjecture#C49L, Counterexample (counterexample)
History
- 2026-11-02: add by m2/dev
7QS2WRQD89 7QS2WRQD89
| URI | m2://inv/7QS2WRQD89 |
|---|---|
| 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.05327#IVHK (statement). In ZD7BWDKT84/e1, corollary B.4
History
- 2026-10-29: add by m2/v0.4.10
dyadic transformation 7QS31T7AYM
| URI | m2://inv/7QS31T7AYM |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Dyadic transformation HTWWJNSZNQ |
Mentions
- wikidata: Wikidata Q826704, dyadic transformation (concept). Also MathWorld 2xmod1Map
- wikipedia: Wikipedia Dyadic transformation, Dyadic transformation (definition). Also Wikidata Q826704
History
- 2026-10-26: add by m2/dev
Maximum entropy spectral estimation 7QS363F2B0
| URI | m2://inv/7QS363F2B0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#WM0Z, Maximum entropy spectral estimation (definition)
History
- 2026-11-02: add by m2/dev
7QS3FT3510 7QS3FT3510
| URI | m2://inv/7QS3FT3510 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2610.19455#XS70 (statement). In CBF6TQS4DW/e1, lemma 3.1
History
- 2026-10-28: add by m2/v0.4.2
q-Weibull distribution 7QS5EPK38Q
| URI | m2://inv/7QS5EPK38Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of q-analogs#3AA9, q-Weibull distribution (definition)
History
- 2026-11-02: add by m2/dev
7QS6YEJ6N1 7QS6YEJ6N1
| URI | m2://inv/7QS6YEJ6N1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX, 47-XX, 58-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.22109#66HL (statement). In MZ60NP20BH/e1, corollary 4.5
History
- 2026-10-27: add by m2/v0.4.0
Peter Diggle 7QS9BXQGM4
| URI | m2://inv/7QS9BXQGM4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#UTAU, Peter Diggle (unknown)
History
- 2026-11-02: add by m2/dev
Patchwork globalization 7QSFFVB5CD
| URI | m2://inv/7QSFFVB5CD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 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 2609.24610#ZM2U, Patchwork globalization (statement)
History
- 2026-11-01: add by m2/v0.6.15
TWIRL 7QSMCX1Z6J
| URI | m2://inv/7QSMCX1Z6J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia TWIRL, TWIRL (definition). Also Wikidata Q7672547
History
- 2026-11-02: add by m2/dev
fundamental vector field 7QSYE7A7SS
| URI | m2://inv/7QSYE7A7SS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5508976, fundamental vector field (unknown). Also nLab fundamental vector field
- wikipedia: Wikipedia Fundamental vector field, Fundamental vector field (definition). Also Wikidata Q5508976
History
- 2026-10-26: add by m2/dev
7QT4J4Z1XY 7QT4J4Z1XY
| URI | m2://inv/7QT4J4Z1XY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20140#KVZS (statement)
History
- 2026-11-02: add by m2/v0.6.18
Example 7QT53EET87
| URI | m2://inv/7QT53EET87 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arithmetic coding#06DC, Example (example)
History
- 2026-11-02: add by m2/dev
7QTT5YV1VN 7QTT5YV1VN
| URI | m2://inv/7QTT5YV1VN |
|---|---|
| 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.28203#V6RT (statement)
History
- 2026-11-01: add by m2/v0.6.15
Generic accelerated bound 7QTV32FJFN
| URI | m2://inv/7QTV32FJFN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 65-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.38741#1LU7, Generic accelerated bound (statement). In 1SQH3PTYMD/e1, lemma 7
History
- 2026-10-30: add by m2/v0.4.12
Lattès map 7QTVSY69F7
| URI | m2://inv/7QTVSY69F7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lattès map, Lattès map (definition). Also Wikidata Q6497180
History
- 2026-11-02: add by m2/dev
Oleg Viro 7QV5Y0C0EE
| URI | m2://inv/7QV5Y0C0EE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#39GI, Oleg Viro (topic)
History
- 2026-11-02: add by m2/dev
7QV9QE2PX9 7QV9QE2PX9
| URI | m2://inv/7QV9QE2PX9 |
|---|---|
| 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.22469#TLJJ (statement)
History
- 2026-11-02: add by m2/v0.6.17
Main result for \textsc{Confident MC-Politex 7QVB9RAG43
| URI | m2://inv/7QVB9RAG43 |
|---|---|
| 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 2108.05533#66B0, Main result for \textsc{Confident MC-Politex (statement). In 14DZA4M2C6/e1, theorem 5.2
History
- 2026-10-27: add by m2/v0.3.5
Definition 7QVMPS9V5K
| URI | m2://inv/7QVMPS9V5K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia GCD matrix#EKON, Definition (definition)
History
- 2026-11-02: add by m2/dev
Formal power series 7QVW4T86K9
| URI | m2://inv/7QVW4T86K9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of abstract algebra topics#AHKZ, Formal power series (definition)
- wikipedia: Wikipedia List of commutative algebra topics#CT23, Formal power series (definition)
History
- 2026-11-02: add by m2/dev
History of the fundamental theorems 7QVZC3A3BX
| URI | m2://inv/7QVZC3A3BX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fundamental theorems of welfare economics#3IXN, History of the fundamental theorems (statement)
History
- 2026-11-02: add by m2/dev
Paradox 7QW2QVAQK4
| URI | m2://inv/7QW2QVAQK4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Monty Hall problem#LG4Z, Paradox (statement)
History
- 2026-11-02: add by m2/dev
7QW65AC080 7QW65AC080
| URI | m2://inv/7QW65AC080 |
|---|---|
| Kind | definition |
| 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.20488#I5HC (definition)
History
- 2026-11-02: add by m2/v0.6.18
7QW98CAHWZ 7QW98CAHWZ
| URI | m2://inv/7QW98CAHWZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 17-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21860#6JFR (statement)
History
- 2026-11-02: add by m2/v0.6.18
Product formula for ideals 7QWA429RZ5
| URI | m2://inv/7QWA429RZ5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13888#7BBO, Product formula for ideals (statement). In XJWYBPS14M/e1, corollary 5.3
History
- 2026-10-28: add by m2/v0.4.2
7QWBJKM9DK 7QWBJKM9DK
| URI | m2://inv/7QWBJKM9DK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2211.04758#YU1L (statement). In DRWDJG2G3S/e1, theorem 1.5
History
- 2026-10-27: add by m2/v0.3.5
Nikolai Kapustin 7QWNA771TE
| URI | m2://inv/7QWNA771TE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nikolai Kapustin (mathematician), Nikolai Kapustin (topic). Also Wikidata Q24938138
History
- 2026-11-02: add by m2/dev
Uses 7QWNE9RB28
| URI | m2://inv/7QWNE9RB28 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pattern recognition#VQAQ, Uses (example)
History
- 2026-11-02: add by m2/dev
7QX3TBACV6 7QX3TBACV6
| URI | m2://inv/7QX3TBACV6 |
|---|---|
| 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.04603#XAH4 (statement). In HEAG8V2JM1/e1, lemma 4.5
History
- 2026-10-29: add by m2/v0.4.12
7QX4QSHBWD 7QX4QSHBWD
| URI | m2://inv/7QX4QSHBWD |
|---|---|
| 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 2610.04503#7WP8 (statement). In GWQP1XPM8E/e1, proposition 2.4
History
- 2026-10-29: add by m2/v0.4.12
7QX5GKT89R 7QX5GKT89R
| URI | m2://inv/7QX5GKT89R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02017#0728 (statement). In F6C80AEXC1/e1, proposition 5.11
History
- 2026-10-29: add by m2/v0.4.12
7QX9G9R84C 7QX9G9R84C
| URI | m2://inv/7QX9G9R84C |
|---|---|
| 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 2002.01498#QSWT (statement). In 2H7TQ695XW/e1, fact 3.1
History
- 2026-10-27: add by m2/v0.3.5
chirality 7QXTNT121V
| URI | m2://inv/7QXTNT121V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3734365, chirality (unknown). Also MathWorld Handedness
- wikipedia: Wikipedia Chirality, Chirality (definition). Also Wikidata Q3734365
History
- 2026-10-26: add by m2/dev
Sensitivity index 7QY48H1FCG
| URI | m2://inv/7QY48H1FCG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sensitivity index, Sensitivity index (definition). Also Wikidata Q5203038
History
- 2026-11-02: add by m2/dev
abstraction principle 7QY9ZYB2PK
| URI | m2://inv/7QY9ZYB2PK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#OV9C, abstraction principle (definition)
History
- 2026-11-02: add by m2/dev
National Statistical Coordination Board 7QYJ5HV9Q2
| URI | m2://inv/7QYJ5HV9Q2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Philippine Statistics Authority#4RAK, National Statistical Coordination Board (unknown)
History
- 2026-11-02: add by m2/dev
Clapeyron's theorem 7QYS8JXJYS
| URI | m2://inv/7QYS8JXJYS |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 00-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q5125859, Clapeyron's theorem (statement). Also Wikidata Q5125859
- thousand_plus: thousand_plus Q5125859, Clapeyron's theorem (statement). Also Wikidata Q5125859, Wikipedia Clapeyron's theorem
- wikipedia: Wikipedia Clapeyron's theorem, Clapeyron's theorem (statement). Also Wikidata Q5125859
History
- 2026-10-26: add by m2/dev
7QYWD09Q5N 7QYWD09Q5N
| URI | m2://inv/7QYWD09Q5N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2603.07541#F5U7 (statement). In X3RFXWN6FW/e1, theorem 3.13
History
- 2026-10-27: add by m2/v0.3.6
set 7QZFZFHV01
| URI | m2://inv/7QZFZFHV01 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi index/1.3/set, set (concept). In Y91XFCEVHQ, index, section 1.3
History
- 2026-11-01: add by m2/v0.6.13
n-torus 7QZHRN3796
| URI | m2://inv/7QZHRN3796 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of manifolds#CNJV, n-torus (definition)
History
- 2026-11-02: add by m2/dev
7QZR2E6WNZ 7QZR2E6WNZ
| URI | m2://inv/7QZR2E6WNZ |
|---|---|
| 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.30407#AVKF (statement). In HNY6N561H5/e1, theorem 4.1
History
- 2026-10-31: add by m2/v0.5.6
7QZTE584N2 7QZTE584N2
| URI | m2://inv/7QZTE584N2 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2312.06581#9ZRW (example). In WXJ2V3HA2R/e1, example E.8
History
- 2026-10-27: add by m2/v0.3.5