Inventory rows D9
The cards of the rows of the inventory whose ids start with D9. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Blockbusting D90AGAM1X3
| URI | m2://inv/D90AGAM1X3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Blockbusting (game), Blockbusting (definition). Also Wikidata Q60790851
History
- 2026-11-02: add by m2/dev
D90G0P4D02 D90G0P4D02
| URI | m2://inv/D90G0P4D02 |
|---|---|
| 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.08382#HC8T (statement). In GYMGDQS25R/e1, lemma 6.8
History
- 2026-10-29: add by m2/v0.4.10
D90PE82D90 D90PE82D90
| URI | m2://inv/D90PE82D90 |
|---|---|
| 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.10233#UD2N (statement). In QR9WE79ERQ/e1, theorem 5.1
History
- 2026-10-29: add by m2/v0.4.10
D90PHVFVRZ D90PHVFVRZ
| URI | m2://inv/D90PHVFVRZ |
|---|---|
| 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.10243#3JKG (statement). In 6N7EAD1PYD/e1, theorem 1.7
History
- 2026-10-29: add by m2/v0.4.10
D90V6HB5CJ D90V6HB5CJ
| URI | m2://inv/D90V6HB5CJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1512.06981#140P (statement). In X923ZEY423/e1, proposition 5.1.1
History
- 2026-10-27: add by m2/v0.3.5
Ten witness words D90ZBAS7VD
| URI | m2://inv/D90ZBAS7VD |
|---|---|
| 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#6XRZ, Ten witness words (statement). In E7W2HDNEKJ/e1, lemma 10.17
History
- 2026-10-30: add by m2/v0.4.12
D915YA34E9 D915YA34E9
| URI | m2://inv/D915YA34E9 |
|---|---|
| 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 2103.12669#LI6J (definition). In ZA6XNBA90V/e1, definition 3.8
History
- 2026-10-27: add by m2/v0.3.5
Applications D91769ZR32
| URI | m2://inv/D91769ZR32 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dynamic time warping#0AWR, Applications (example)
History
- 2026-11-02: add by m2/dev
Core (group) D918X49YQN
| URI | m2://inv/D918X49YQN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#IWHP, Core (group) (definition)
History
- 2026-11-02: add by m2/dev
D91B88HPKR D91B88HPKR
| URI | m2://inv/D91B88HPKR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/turing-machines/undecidability/verification.tex#lem:halt-config-implies-halt (statement). In PKGMM3P5QY, lem, section 87.3
History
- 2026-11-01: add by m2/v0.6.13
Affine initialization at the common radius D91EA9JYBQ
| URI | m2://inv/D91EA9JYBQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37482#0DUY, Affine initialization at the common radius (statement). In 9QDRMZX8EY/e1, lemma 21
History
- 2026-10-30: add by m2/v0.4.12
D91KBBN04M D91KBBN04M
| URI | m2://inv/D91KBBN04M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0411039#KJH3 (statement). In ZTBDXSKFFW/e1, lemma 8.3
History
- 2026-10-27: add by m2/v0.3.5
Balanced polygamma function D91KDMK69V
| URI | m2://inv/D91KDMK69V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Balanced polygamma function, Balanced polygamma function (definition). Also Wikidata Q4849995
History
- 2026-11-02: add by m2/dev
Path-clearing lemma D920K3PPK5
| URI | m2://inv/D920K3PPK5 |
|---|---|
| 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.09650#BZYY, Path-clearing lemma (statement). In 628KM8869P/e1, lemma 6.8
History
- 2026-10-29: add by m2/v0.4.10
D922ZAP02X D922ZAP02X
| URI | m2://inv/D922ZAP02X |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
History
- 2026-10-29: add by m2/v0.4.10
D924EAWNY4 D924EAWNY4
| URI | m2://inv/D924EAWNY4 |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
History
- 2026-10-29: add by m2/v0.4.10
Philip Hartman D926NJQ5G1
| URI | m2://inv/D926NJQ5G1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#L4DA, Philip Hartman (topic)
History
- 2026-11-02: add by m2/dev
D9278JCSW6 D9278JCSW6
| URI | m2://inv/D9278JCSW6 |
|---|---|
| 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 2308.05715#3M3J (statement). In FC0SB9JFWH/e1, lemma 4.15
History
- 2026-10-27: add by m2/v0.3.5
Examples D92E5FCP7P
| URI | m2://inv/D92E5FCP7P |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Contact bundle#0IPX, Examples (example)
History
- 2026-11-02: add by m2/dev
D92M4FKEKJ D92M4FKEKJ
| URI | m2://inv/D92M4FKEKJ |
|---|---|
| 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 2306.07511#0VFO (statement). In 652CJVBF7C/e1, lemma 4.2
History
- 2026-10-27: add by m2/v0.3.6
D92MXQGPZX D92MXQGPZX
| URI | m2://inv/D92MXQGPZX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-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.17516#MQDI (statement). In Z16NBNM4AK/e1, theorem 3.2
History
- 2026-10-28: add by m2/v0.4.2
Demographics of Andorra D92NYVP3FY
| URI | m2://inv/D92NYVP3FY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Demographics of Andorra, Demographics of Andorra (definition). Also Wikidata Q2087350
History
- 2026-11-02: add by m2/dev
D92ZYVGPZC D92ZYVGPZC
| URI | m2://inv/D92ZYVGPZC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 18-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 2304.07398#Y7TL (statement). In JS5FKV1S9T/e1, theorem A.1
History
- 2026-10-27: add by m2/v0.3.5
Initial entropy below two D938QW9EH1
| URI | m2://inv/D938QW9EH1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15511#DDPP, Initial entropy below two (statement). In TZM08VJAQT/e1, corollary 4.6
History
- 2026-10-28: add by m2/v0.4.2
Geometric flow D93B528TP9
| URI | m2://inv/D93B528TP9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geometric flow, Geometric flow (definition). Also Wikidata Q5535483
History
- 2026-11-02: add by m2/dev
Gibbard–Satterthwaite theorem D93FH6MMNQ
| URI | m2://inv/D93FH6MMNQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#GJ0I, Gibbard–Satterthwaite theorem (statement)
History
- 2026-11-02: add by m2/dev
Construction D93XV00G91
| URI | m2://inv/D93XV00G91 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tensor algebra#FPPT, Construction (definition)
History
- 2026-11-02: add by m2/dev
József Kürschák D948J4MR5S
| URI | m2://inv/D948J4MR5S |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of sums of reciprocals#49KJ, József Kürschák (topic)
History
- 2026-11-02: add by m2/dev
Pointwise lacunarity law for Diophantine angles D949PPZXBQ
| URI | m2://inv/D949PPZXBQ |
|---|---|
| Kind | conjecture |
| 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 2610.00295#WJ07, Pointwise lacunarity law for Diophantine angles (conjecture). In 7HXP270BD0/e1, conjecture 3.22
History
- 2026-10-30: add by m2/v0.4.12
D94C10004Z D94C10004Z
| URI | m2://inv/D94C10004Z |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/IntroCardinality.tex#example-3 (example). In P1C114YBXG, example, section D
History
- 2026-11-01: add by m2/v0.6.13
Peter Diggle D94C71FYW5
| URI | m2://inv/D94C71FYW5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of presidents of the Royal Statistical Society#FA28, Peter Diggle (unknown)
History
- 2026-11-02: add by m2/dev
CAT(k) space D94J5XPYQ2
| URI | m2://inv/D94J5XPYQ2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia CAT(k) space, CAT(k) space (definition). Also Wikidata Q5008891
History
- 2026-11-02: add by m2/dev
D94N96XA2Z D94N96XA2Z
| URI | m2://inv/D94N96XA2Z |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-riemann.tex#exercise-14 (exercise). In E59CDZA4DP, exercise, section 8.2.5
History
- 2026-11-01: add by m2/v0.6.13
Definition D94NG3F8VZ
| URI | m2://inv/D94NG3F8VZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hermitian adjoint#LW98, Definition (definition)
History
- 2026-11-02: add by m2/dev
D951E52X56 D951E52X56
| URI | m2://inv/D951E52X56 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21533#OS7F (statement). In N3Z6JFEPCF/e1, lemma 2.2
History
- 2026-10-27: add by m2/v0.4.2
Parity of $n=\theta_{d}(q)$; original D953EEKTZ6
| URI | m2://inv/D953EEKTZ6 |
|---|---|
| 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.02392#YGQZ, Parity of $n=\theta_{d}(q)$; original (statement). In W066HQZQBF/e1, lemma 12
History
- 2026-10-29: add by m2/v0.4.12
Government Statistical Service D959M9NSER
| URI | m2://inv/D959M9NSER |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Government Statistical Service, Government Statistical Service (definition). Also Wikidata Q19597365
History
- 2026-11-02: add by m2/dev
Definition D95BG30EMD
| URI | m2://inv/D95BG30EMD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Normal cone (variational analysis)#KLFT, Definition (definition)
History
- 2026-11-02: add by m2/dev
D95ECQE288 D95ECQE288
| URI | m2://inv/D95ECQE288 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2205.06433#XE9A (example). In 628PJKD3EV/e1, example 1.3
History
- 2026-10-27: add by m2/v0.3.5
D95FJ3RYK6 D95FJ3RYK6
| URI | m2://inv/D95FJ3RYK6 |
|---|---|
| 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 2504.01057#H95H (statement). In 69QFBXJENW/e1, corollary 2.25
History
- 2026-10-27: add by m2/v0.3.5
D95HW7WEX0 D95HW7WEX0
| URI | m2://inv/D95HW7WEX0 |
|---|---|
| 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.00909#P57P (statement). In Z4TD36VFPW/e1, lemma 5.5
History
- 2026-10-29: add by m2/v0.4.12
Boundedness of the first component D95MFB5J5G
| URI | m2://inv/D95MFB5J5G |
|---|---|
| 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.09278#Z2QF, Boundedness of the first component (statement). In XREKHJHAT7/e1, proposition 4.14
History
- 2026-10-29: add by m2/v0.4.10
Karlsruhe metric D95V2VAWZA
| URI | m2://inv/D95V2VAWZA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Karlsruhe metric, Karlsruhe metric (definition). Also Wikidata Q6372598
History
- 2026-11-02: add by m2/dev
Definition D96757N5BK
| URI | m2://inv/D96757N5BK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia K-equivalence#LZOG, Definition (definition)
History
- 2026-11-02: add by m2/dev
dilating D96907AEW6
| URI | m2://inv/D96907AEW6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of symplectic geometry#41D9, dilating (definition)
History
- 2026-11-02: add by m2/dev
Trigonometric number D96PAN9HWP
| URI | m2://inv/D96PAN9HWP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of types of numbers#MY8X, Trigonometric number (definition)
History
- 2026-11-02: add by m2/dev
Pell number D96T0KWXWN
| URI | m2://inv/D96T0KWXWN |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Pell numbers JY4ZN779YG |
Mentions
- wikidata: Wikidata Q1386491, Pell number (unknown). Also MathWorld PellNumber, OEIS A000129
- wikipedia: Wikipedia Pell number, Pell number (conjecture). Also Wikidata Q1386491
History
- 2026-10-26: add by m2/dev
Factorization characterization of invariant sufficiency D96TNP9STP
| URI | m2://inv/D96TNP9STP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-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.29348#DU2Y, Factorization characterization of invariant sufficiency (statement)
History
- 2026-11-01: add by m2/v0.6.15
Research Institute for Advanced Studies D96XFNKFRT
| URI | m2://inv/D96XFNKFRT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Research Institute for Advanced Studies, Research Institute for Advanced Studies (definition). Also Wikidata Q7315093
History
- 2026-11-02: add by m2/dev
Wind wave model D96XJ3RG9S
| URI | m2://inv/D96XJ3RG9S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wind wave model, Wind wave model (definition). Also Wikidata Q8024055
History
- 2026-11-02: add by m2/dev
Definition D97DD6J794
| URI | m2://inv/D97DD6J794 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Asymptotic distribution#X31H, Definition (definition)
History
- 2026-11-02: add by m2/dev
D97F6SQEJS D97F6SQEJS
| URI | m2://inv/D97F6SQEJS |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25111#FAOS (unknown)
History
- 2026-11-01: add by m2/v0.6.15
D97MN1CQ2W D97MN1CQ2W
| URI | m2://inv/D97MN1CQ2W |
|---|---|
| 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.22413#14AI (statement)
History
- 2026-11-02: add by m2/v0.6.17
Local-to-global Ext spectral sequence D97P7K97KR
| URI | m2://inv/D97P7K97KR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Grothendieck spectral sequence#27E8, Local-to-global Ext spectral sequence (unknown)
History
- 2026-11-02: add by m2/dev
Examples D97TRYAKX4
| URI | m2://inv/D97TRYAKX4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schrödinger equation#X19Y, Examples (example)
History
- 2026-11-02: add by m2/dev
Sum-check protocol D98C58GF5N
| URI | m2://inv/D98C58GF5N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sum-check protocol, Sum-check protocol (definition). Also Wikidata Q135964715
History
- 2026-11-02: add by m2/dev
Statement D98D1XME26
| URI | m2://inv/D98D1XME26 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hadwiger's theorem#Z9FH, Statement (statement)
History
- 2026-11-02: add by m2/dev
D98HGQADZ4 D98HGQADZ4
| URI | m2://inv/D98HGQADZ4 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/sets/unions-and-intersections.tex#prob-3 (exercise). In PKGMM3P5QY, prob, section 83.2
History
- 2026-11-01: add by m2/v0.6.13
Semiparametric model D98M43QK44
| URI | m2://inv/D98M43QK44 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#QBI5, Semiparametric model (definition)
History
- 2026-11-02: add by m2/dev
D98PPE6155 D98PPE6155
| URI | m2://inv/D98PPE6155 |
|---|---|
| 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-2 (exercise). In QKM9DD2H56, exercise, section 14
History
- 2026-11-01: add by m2/v0.6.13
$x$--trace D98S0A363R
| URI | m2://inv/D98S0A363R |
|---|---|
| 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 2609.21765#VQNR, $x$--trace (definition)
History
- 2026-11-02: add by m2/v0.6.18
Construction D98TB96PM9
| URI | m2://inv/D98TB96PM9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Goldberg polyhedron#1TEV, Construction (definition)
History
- 2026-11-02: add by m2/dev
D98WGHD77G D98WGHD77G
| URI | m2://inv/D98WGHD77G |
|---|---|
| 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.40191#M8K4 (statement). In F0D8VSM4Z4/e1, lemma 2.6
History
- 2026-10-30: add by m2/v0.4.12
D993YNDD0F D993YNDD0F
| URI | m2://inv/D993YNDD0F |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/model-theory/lindstrom/ls-property.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 48.1
History
- 2026-11-01: add by m2/v0.6.13
Confirmatory factor analysis D99CZ5STHB
| URI | m2://inv/D99CZ5STHB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Confirmatory factor analysis, Confirmatory factor analysis (definition). Also Wikidata Q5160137
History
- 2026-11-02: add by m2/dev
D99Q1Z81KV D99Q1Z81KV
| URI | m2://inv/D99Q1Z81KV |
|---|---|
| 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#XW77 (statement). In XKENQH35DW/e1, lemma 4.3
History
- 2026-10-28: add by m2/v0.4.2
Examples D99Q7J53CF
| URI | m2://inv/D99Q7J53CF |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ratio test#VAY4, Examples (example)
History
- 2026-11-02: add by m2/dev
Property of Baire D99QEBWQJR
| URI | m2://inv/D99QEBWQJR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of properties of sets of reals#HMNC, Property of Baire (definition)
History
- 2026-11-02: add by m2/dev
Type inference D99YSRX33Y
| URI | m2://inv/D99YSRX33Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of undecidable problems#BDIZ, Type inference (definition)
History
- 2026-11-02: add by m2/dev
Manuel Kauers D9AHT8NZDQ
| URI | m2://inv/D9AHT8NZDQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Manuel Kauers, Manuel Kauers (topic). Also Wikidata Q15302947
History
- 2026-11-02: add by m2/dev
D9AJT6B0H3 D9AJT6B0H3
| URI | m2://inv/D9AJT6B0H3 |
|---|---|
| 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.31274#4861 (statement). In RK0ZMDJ23T/e1, theorem 2.3.3
History
- 2026-10-31: add by m2/v0.5.6
Asymptotic Expansions of Meijer-$G$ D9AN97YNH6
| URI | m2://inv/D9AN97YNH6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2212.14457#QAWT, Asymptotic Expansions of Meijer-$G$ (statement). In PNRHHWGHM2/e1, theorem 3.2
History
- 2026-10-27: add by m2/v0.3.6
$\beta$-mixing coefficient D9AQ036TM0
| URI | m2://inv/D9AQ036TM0 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37944#1Q90, $\beta$-mixing coefficient (definition). In KP94WJVJXY/e1, definition 1
History
- 2026-10-30: add by m2/v0.4.12
D9AV67HZMG D9AV67HZMG
| URI | m2://inv/D9AV67HZMG |
|---|---|
| Kind | definition |
| 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#X7RD (definition). In BDN507RN7J/e1, definition 2.1.5
History
- 2026-10-30: add by m2/v0.4.12
D9AXJNQP53 D9AXJNQP53
| URI | m2://inv/D9AXJNQP53 |
|---|---|
| Kind | definition |
| 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.24082#BDTC (definition)
History
- 2026-11-02: add by m2/v0.6.17
D9AY38ZRSK D9AY38ZRSK
| URI | m2://inv/D9AY38ZRSK |
|---|---|
| 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.35275#UQH2 (statement). In B0NV0JBAKB/e1, lemma B.1
History
- 2026-10-30: add by m2/v0.4.12
Uniform logarithmic deficit--energy law D9AZVB6MPV
| URI | m2://inv/D9AZVB6MPV |
|---|---|
| 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.33154#XCZT, Uniform logarithmic deficit--energy law (statement). In N28DEYRBW7/e1, theorem 3.5
History
- 2026-10-30: add by m2/v0.4.12
Uniform $L^1-$estimate D9B15YH5Q7
| URI | m2://inv/D9B15YH5Q7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2201.04174#RIY8, Uniform $L^1-$estimate (statement). In NVTHDNQQ4Q/e1, proposition 4.6
History
- 2026-10-27: add by m2/v0.3.5
Genus stability D9B6336AQK
| URI | m2://inv/D9B6336AQK |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05652#PZYL, Genus stability (definition). In 8BNPFYQDQX/e1, definition 2.4
History
- 2026-10-29: add by m2/v0.4.10
Grothendieck–Riemann–Roch theorem D9B89JBZAJ
| URI | m2://inv/D9B89JBZAJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 14-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q1899432, Grothendieck–Hirzebruch–Riemann–Roch theorem (statement). Also Wikidata Q1899432
- thousand_plus: thousand_plus Q1899432, Grothendieck–Hirzebruch–Riemann–Roch theorem (statement). Also Wikidata Q1899432, Wikipedia Grothendieck–Hirzebruch–Riemann–Roch theorem
- wikipedia: Wikipedia Grothendieck–Riemann–Roch theorem, Grothendieck–Riemann–Roch theorem (statement). Also Wikidata Q1899432
History
- 2026-10-26: add by m2/dev
D9BAK8209R D9BAK8209R
| URI | m2://inv/D9BAK8209R |
|---|---|
| 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.40274#GE2N (statement). In 7ZDNJC9MST/e1, lemma 2.14
History
- 2026-10-30: add by m2/v0.4.12
University of Cape Town Mathematics Competition D9BEJQ5SR9
| URI | m2://inv/D9BEJQ5SR9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematics competitions#1FG7, University of Cape Town Mathematics Competition (definition)
History
- 2026-11-02: add by m2/dev
Invariance principle D9BKJJ9H7C
| URI | m2://inv/D9BKJJ9H7C |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Malliavin calculus#6M7J, Invariance principle (statement)
History
- 2026-11-02: add by m2/dev
Kaplansky's theorem on projective modules D9BQTNK5HQ
| URI | m2://inv/D9BQTNK5HQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kaplansky's theorem on projective modules, Kaplansky's theorem on projective modules (statement). Also Wikidata Q85773557
History
- 2026-11-02: add by m2/dev
D9BW75D4V3 D9BW75D4V3
| URI | m2://inv/D9BW75D4V3 |
|---|---|
| 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.08293#ISXY (definition). In 90A5DJG27R/e1, definition 2.4
History
- 2026-10-29: add by m2/v0.4.10
\textcite{roberson_oddomorphisms_2022 D9BW9WKQX4
| URI | m2://inv/D9BW9WKQX4 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07927#9TIT, \textcite{roberson_oddomorphisms_2022 (definition). In GKM19DHQTM/e1, definition 4.1
History
- 2026-10-29: add by m2/v0.4.10
D9BYY2RCHA D9BYY2RCHA
| URI | m2://inv/D9BYY2RCHA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2609.35632#2Q1V (statement). In Q74G3BVZAQ/e1, proposition 3.5
History
- 2026-10-27: add by m2/v0.3.5
D9C4H4XC75 D9C4H4XC75
| URI | m2://inv/D9C4H4XC75 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07092#7L5A (statement). In JWNYJVH8XG/e1, theorem 6.2
History
- 2026-10-29: add by m2/v0.4.10
Classification of finite-output parameters D9C8N16GJG
| URI | m2://inv/D9C8N16GJG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25805#RKY1, Classification of finite-output parameters (statement)
History
- 2026-11-01: add by m2/v0.6.15
Explicit connection polynomials D9CCBASR46
| URI | m2://inv/D9CCBASR46 |
|---|---|
| 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 2609.22027#QR1W, Explicit connection polynomials (statement)
History
- 2026-11-02: add by m2/v0.6.17
Population viability analysis controversy D9CCBB1WPD
| URI | m2://inv/D9CCBB1WPD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Population viability analysis#LXGI, Population viability analysis controversy (unknown)
History
- 2026-11-02: add by m2/dev
Janko group J4 D9CEABQBKQ
| URI | m2://inv/D9CEABQBKQ |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Janko group J4, Janko group J4 (object). Also Wikidata Q6154870
History
- 2026-11-02: add by m2/dev
D9CFCAKBX7 D9CFCAKBX7
| URI | m2://inv/D9CFCAKBX7 |
|---|---|
| Kind | problem |
| 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.07318#2O13 (problem). In JWQNSEXRNW/e1, problem 3.2
History
- 2026-10-29: add by m2/v0.4.10
D9D7B63AYK D9D7B63AYK
| URI | m2://inv/D9D7B63AYK |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-one-dim-ints-sv.tex#exercise-7 (exercise). In E59CDZA4DP, exercise, section 6.1.1
History
- 2026-11-01: add by m2/v0.6.13
D9DBKVYHVH D9DBKVYHVH
| URI | m2://inv/D9DBKVYHVH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 19-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2505.05539#64YL (statement). In 8SVVEVGMNE/e1, proposition 3.3
History
- 2026-10-27: add by m2/v0.3.5
Dilation D9DCTEWH0A
| URI | m2://inv/D9DCTEWH0A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dilation (operator theory), Dilation (definition). Also Wikidata Q5276677
History
- 2026-11-02: add by m2/dev
Example D9DEE17BB9
| URI | m2://inv/D9DEE17BB9 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Haversine formula#H31M, Example (example)
History
- 2026-11-02: add by m2/dev
sentential logic D9DK3N34PY
| URI | m2://inv/D9DK3N34PY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#BYVS, sentential logic (definition)
History
- 2026-11-02: add by m2/dev
top D9DPQGW98W
| URI | m2://inv/D9DPQGW98W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lattice (order)#DOYA, top (definition)
- wikipedia: Wikipedia Lattice (order)#PM0S, maximum (definition)
- wikipedia: Wikipedia Lattice (order)#RR8T, bottom (definition)
- wikipedia: Wikipedia Lattice (order)#X7Y9, minimum (definition)
History
- 2026-11-02: add by m2/dev
surreal number D9DSDKE7T5
| URI | m2://inv/D9DSDKE7T5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Surreal number YVPTBY45PK |
Mentions
- wikidata: Wikidata Q875333, surreal number (unknown). Also EoM Surreal_numbers, MathWorld SurrealNumber
- wikipedia: Wikipedia Surreal number, Surreal number (definition). Also Wikidata Q875333
History
- 2026-10-26: add by m2/dev
D9DXPW4ZT1 D9DXPW4ZT1
| URI | m2://inv/D9DXPW4ZT1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24325#MNKB (statement)
History
- 2026-11-01: add by m2/v0.6.15
D9ED3633X4 D9ED3633X4
| URI | m2://inv/D9ED3633X4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04498#6B3H (statement). In HHF08X70P6/e1, corollary 6.4
History
- 2026-10-29: add by m2/v0.4.12
Howard G. Funkhouser D9EDSBS71T
| URI | m2://inv/D9EDSBS71T |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Howard G. Funkhouser, Howard G. Funkhouser (topic). Also Wikidata Q18392663
History
- 2026-11-02: add by m2/dev
D9EHGS9PFG D9EHGS9PFG
| URI | m2://inv/D9EHGS9PFG |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/logic-proofs.ptx#proof-3 (proof). In Y91XFCEVHQ, proof, section 4.2
History
- 2026-11-01: add by m2/v0.6.13
Feodor Deahna D9EHKFA2Z5
| URI | m2://inv/D9EHKFA2Z5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Feodor Deahna, Feodor Deahna (topic). Also Wikidata Q5443711
History
- 2026-11-02: add by m2/dev
Central limit theorem for cloned margins D9EJ3QWE8V
| URI | m2://inv/D9EJ3QWE8V |
|---|---|
| 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.14616#HSRV, Central limit theorem for cloned margins (statement). In 17ACAG0N9C/e1, proposition 8.7
History
- 2026-10-28: add by m2/v0.4.2
Examples D9EMH0A0P9
| URI | m2://inv/D9EMH0A0P9 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Heyting algebra#RS7L, Examples (example)
History
- 2026-11-02: add by m2/dev
Matrix normal distribution D9ESD3ZT58
| URI | m2://inv/D9ESD3ZT58 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Matrix normal distribution, Matrix normal distribution (definition). Also Wikidata Q4820795
History
- 2026-11-02: add by m2/dev
Sofiya Ostrovska D9F2GFKF0Q
| URI | m2://inv/D9F2GFKF0Q |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sofiya Ostrovska, Sofiya Ostrovska (topic). Also Wikidata Q111303564
History
- 2026-11-02: add by m2/dev
Daniel Stroock D9F2QF1ZPH
| URI | m2://inv/D9F2QF1ZPH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#LUC1, Daniel Stroock (unknown)
History
- 2026-11-02: add by m2/dev
Orthogonalization D9F5ZXGDFJ
| URI | m2://inv/D9F5ZXGDFJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orthogonalization, Orthogonalization (definition). Also Wikidata Q1702189
History
- 2026-11-02: add by m2/dev
Properties D9FD7Y5K8S
| URI | m2://inv/D9FD7Y5K8S |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Carmichael number#CJZL, Properties (statement)
History
- 2026-11-02: add by m2/dev
Generalized linear model D9FDE8RQ4Y
| URI | m2://inv/D9FDE8RQ4Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#842M, Generalized linear model (definition)
History
- 2026-11-02: add by m2/dev
Homogeneous variety D9FF01N8GV
| URI | m2://inv/D9FF01N8GV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Homogeneous variety, Homogeneous variety (definition). Also Wikidata Q16887598
History
- 2026-11-02: add by m2/dev
D9FPWPFB65 D9FPWPFB65
| URI | m2://inv/D9FPWPFB65 |
|---|---|
| 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 2610.09809#QI9X (definition). In 7NKQ6PR78N/e1, definition 2.2
History
- 2026-10-29: add by m2/v0.4.10
D9FQ08MAFF D9FQ08MAFF
| URI | m2://inv/D9FQ08MAFF |
|---|---|
| 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 1303.4328#0QR8 (statement). In HCTYW6VH87/e1, lemma 5.1
History
- 2026-10-27: add by m2/v0.3.5
Lawrence J. Rosenblum D9FVDCXDS3
| URI | m2://inv/D9FVDCXDS3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lawrence J. Rosenblum, Lawrence J. Rosenblum (topic). Also Wikidata Q6504203
History
- 2026-11-02: add by m2/dev
Van Oss apeirogon D9FXV0F912
| URI | m2://inv/D9FXV0F912 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Complex polytope#MWJA, Van Oss apeirogon (unknown)
History
- 2026-11-02: add by m2/dev
Two-dimensional spectral dual estimate D9G5R78MQC
| URI | m2://inv/D9G5R78MQC |
|---|---|
| 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.33033#OKS1, Two-dimensional spectral dual estimate (statement). In AJWBAHJ8VD/e1, proposition 6.2
History
- 2026-10-31: add by m2/v0.5.6
D9G5XFJ6BC D9G5XFJ6BC
| URI | m2://inv/D9G5XFJ6BC |
|---|---|
| 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.05661#JBGY (statement). In FDBAQNDMF5/e1, theorem 1
History
- 2026-10-29: add by m2/v0.4.10
D9GCK9XPXM D9GCK9XPXM
| URI | m2://inv/D9GCK9XPXM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21675#EZ7B (statement). In TB1294GY5X/e1, proposition 2.16
History
- 2026-10-27: add by m2/v0.4.2
D9GFKCD1HW D9GFKCD1HW
| URI | m2://inv/D9GFKCD1HW |
|---|---|
| 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.07855#4NKX (statement). In 1VT8CVVCM7/e1, proposition 3.4
History
- 2026-10-29: add by m2/v0.4.10
D9GGYY830Y D9GGYY830Y
| URI | m2://inv/D9GGYY830Y |
|---|---|
| Kind | definition |
| 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#0PGN (definition). In HX63A1PH1W/e1, definition 3.2
History
- 2026-10-28: add by m2/v0.4.3
D9GMB2893H D9GMB2893H
| URI | m2://inv/D9GMB2893H |
|---|---|
| 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.21929#SSFX (statement). In 2PP4XRVS0J/e1, lemma 10.3
History
- 2026-10-27: add by m2/v0.4.2
Modality effect D9GS8EK1ZY
| URI | m2://inv/D9GS8EK1ZY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cognitive biases#6M8D, Modality effect (unknown)
History
- 2026-11-02: add by m2/dev
D9GYFY0K39 D9GYFY0K39
| URI | m2://inv/D9GYFY0K39 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 46-XX, 49-XX, 51-XX, 52-XX, 60-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2505.10801#C2N1 (statement). In BWJS3H55WH/e1, lemma 9
History
- 2026-10-27: add by m2/v0.3.5
Göbel's sequence D9H2QG0B2A
| URI | m2://inv/D9H2QG0B2A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Göbel's sequence, Göbel's sequence (definition). Also Wikidata Q25110904
History
- 2026-11-02: add by m2/dev
D9HAM15JNZ D9HAM15JNZ
| URI | m2://inv/D9HAM15JNZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2407.08004#AJGU (statement). In TYS65EG479/e1, corollary 9
History
- 2026-10-27: add by m2/v0.3.5
Equation solving D9HCJWSECM
| URI | m2://inv/D9HCJWSECM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Equation solving, Equation solving (definition). Also Wikidata Q1879820
History
- 2026-11-02: add by m2/dev
Theorem D9HJQZ42WQ
| URI | m2://inv/D9HJQZ42WQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wedderburn–Artin theorem#BBJ4, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Standardized mortality ratio D9HNWV17SN
| URI | m2://inv/D9HNWV17SN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Standardized mortality ratio, Standardized mortality ratio (definition). Also Wikidata Q7598403
History
- 2026-11-02: add by m2/dev
D9HP5HSV5H D9HP5HSV5H
| URI | m2://inv/D9HP5HSV5H |
|---|---|
| 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#YL3B (statement)
History
- 2026-11-02: add by m2/v0.6.18
Acyclic boundary criterion D9HR725BX2
| URI | m2://inv/D9HR725BX2 |
|---|---|
| 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#LOFA, Acyclic boundary criterion (statement)
History
- 2026-11-01: add by m2/v0.6.15
Chi-square automatic interaction detection D9HRBT26MZ
| URI | m2://inv/D9HRBT26MZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chi-square automatic interaction detection, Chi-square automatic interaction detection (definition). Also Wikidata Q1023599
History
- 2026-11-02: add by m2/dev
pure dimension D9HTQYRFWT
| URI | m2://inv/D9HTQYRFWT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic geometry#Z9HS, pure dimension (definition)
History
- 2026-11-02: add by m2/dev
Notation D9HYB79DMQ
| URI | m2://inv/D9HYB79DMQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Symmetry in quantum mechanics#Z9WQ, Notation (definition)
History
- 2026-11-02: add by m2/dev
Applications D9J4HWPN0K
| URI | m2://inv/D9J4HWPN0K |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia SPSS Modeler#7LD4, Applications (example)
History
- 2026-11-02: add by m2/dev
D9J5K80X5X D9J5K80X5X
| URI | m2://inv/D9J5K80X5X |
|---|---|
| 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.12633#GCP2 (definition). In NGZ5AZ70NN/e1, definition 2.4
History
- 2026-10-28: add by m2/v0.4.2
Prior Analytics D9JPPFHJEN
| URI | m2://inv/D9JPPFHJEN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of works by Averroes#TA4X, Prior Analytics (definition)
History
- 2026-11-02: add by m2/dev
D9JRR9FAF0 D9JRR9FAF0
| URI | m2://inv/D9JRR9FAF0 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 13-XX, 19-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2505.05539#4VQ9 (definition). In 8SVVEVGMNE/e1, definition 2.10
History
- 2026-10-27: add by m2/v0.3.5
D9JTXVYTCS D9JTXVYTCS
| URI | m2://inv/D9JTXVYTCS |
|---|---|
| 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.00048#KQFH (statement). In 4T0CFT0MMX/e1, proposition
History
- 2026-10-30: add by m2/v0.4.12
cycle D9K00D2PSW
| URI | m2://inv/D9K00D2PSW |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/5.1/cycle, cycle (concept). In QKM9DD2H56, index, section 5.1
History
- 2026-11-01: add by m2/v0.6.13
D9K3B37HRA D9K3B37HRA
| URI | m2://inv/D9K3B37HRA |
|---|---|
| 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.22291#PHYZ (statement). In TMBJ7NVPC7/e1, lemma 5
History
- 2026-10-27: add by m2/v0.4.0
Box distance D9K6N83J05
| URI | m2://inv/D9K6N83J05 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27752#PN7J, Box distance (definition)
History
- 2026-11-01: add by m2/v0.6.15
The Annotated Alice D9K98ANB2S
| URI | m2://inv/D9K98ANB2S |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a book, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7713867, The Annotated Alice (unknown). Also ProofWiki Book:Martin_Gardner/The_Annotated_Alice:_The_Definitive_Edition
History
- 2026-10-26: add by m2/dev
Gibbs variational inequality D9K9VXMSDX
| URI | m2://inv/D9K9VXMSDX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38243#XT1O, Gibbs variational inequality (statement). In R03K2N7FRF/e1, proposition B.1
History
- 2026-10-30: add by m2/v0.4.12
D9KCNTZYSN D9KCNTZYSN
| URI | m2://inv/D9KCNTZYSN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27078#36CI (statement)
History
- 2026-11-01: add by m2/v0.6.15
D9KMEMCXMM D9KMEMCXMM
| URI | m2://inv/D9KMEMCXMM |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section4-2.xml#example-2 (example). In 649HGZKE96, example, section 4.2.2
History
- 2026-11-01: add by m2/v0.6.13
D9KMJKYEZ0 D9KMJKYEZ0
| URI | m2://inv/D9KMJKYEZ0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15942#DJS6 (statement). In E1X1SEPNJZ/e1, theorem
History
- 2026-10-28: add by m2/v0.4.2
Georgios Sougdouris D9KT6Z770W
| URI | m2://inv/D9KT6Z770W |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Georgios Sougdouris, Georgios Sougdouris (topic). Also Wikidata Q5548444
History
- 2026-11-02: add by m2/dev
D9KTZSF0Z7 D9KTZSF0Z7
| URI | m2://inv/D9KTZSF0Z7 |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 19-XX, 46-XX, 47-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.28254#CPXK (problem)
History
- 2026-11-01: add by m2/v0.6.15
Complex exponential D9M3YP6355
| URI | m2://inv/D9M3YP6355 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exponential function#5JDL, Complex exponential (unknown)
History
- 2026-11-02: add by m2/dev
The machine matters on the CPU too; \OzII clearly wins with AMX-INT8 D9M4PKENNM
| URI | m2://inv/D9M4PKENNM |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29554#J8ND, The machine matters on the CPU too; \OzII clearly wins with AMX-INT8 (unknown)
History
- 2026-11-01: add by m2/v0.6.15
Paolo Emilio Ricci D9M57GVWX3
| URI | m2://inv/D9M57GVWX3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Paolo Emilio Ricci, Paolo Emilio Ricci (topic). Also Wikidata Q108171594
History
- 2026-11-02: add by m2/dev
D9MKRDYEGQ D9MKRDYEGQ
| URI | m2://inv/D9MKRDYEGQ |
|---|---|
| Kind | example |
| 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 2412.20238#F8MN (example). In V8CA0STSPB/e1, example 18
History
- 2026-10-27: add by m2/v0.3.5
D9MNB3XAD7 D9MNB3XAD7
| URI | m2://inv/D9MNB3XAD7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08865#1UTG (statement). In SJ5JKGH94M/e1, lemma 1
History
- 2026-10-29: add by m2/v0.4.10
D9MNXAZSQK D9MNXAZSQK
| URI | m2://inv/D9MNXAZSQK |
|---|---|
| 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.20225#7I50 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Statement D9MR9TKSXN
| URI | m2://inv/D9MR9TKSXN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Isserlis's theorem#HU1O, Statement (statement)
History
- 2026-11-02: add by m2/dev
D9MS5WXB8Z D9MS5WXB8Z
| URI | m2://inv/D9MS5WXB8Z |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/calculus/limits.tex#proof-1 (proof). In RZP28ERRZV, proof, section 32.2
History
- 2026-11-01: add by m2/v0.6.13
UP D9MSMH2NYB
| URI | m2://inv/D9MSMH2NYB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia UP (complexity), UP (definition). Also Wikidata Q906584
History
- 2026-11-02: add by m2/dev
D9MVW3Z3YY D9MVW3Z3YY
| URI | m2://inv/D9MVW3Z3YY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05365#L13A (statement). In BKPSH4CD9K/e1, proposition 3.10
History
- 2026-10-29: add by m2/v0.4.10
712 (number) D9MYGVE7JJ
| URI | m2://inv/D9MYGVE7JJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 700 (number)#VU91, 712 (number) (unknown)
History
- 2026-11-02: add by m2/dev
Examples D9MZD96NCS
| URI | m2://inv/D9MZD96NCS |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Look-elsewhere effect#5TPD, Examples (example)
History
- 2026-11-02: add by m2/dev
Roger Cotes D9N3G0AYA8
| URI | m2://inv/D9N3G0AYA8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Roger Cotes, Roger Cotes (topic). Also Wikidata Q451667
History
- 2026-11-02: add by m2/dev
Dugald Macpherson D9NAN688X4
| URI | m2://inv/D9NAN688X4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#MJJE, Dugald Macpherson (topic)
History
- 2026-11-02: add by m2/dev
Bergman kernel, unit disc D9NC3619EK
| URI | m2://inv/D9NC3619EK |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv index/5.2/bergman-kernel-unit-disc, Bergman kernel, unit disc (concept). In VNMV985MXX, index, section 5.2
History
- 2026-11-01: add by m2/v0.6.13
Survey Methodology/Techniques d'enquête D9NDACPRHX
| URI | m2://inv/D9NDACPRHX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics journals#4R3R, Survey Methodology/Techniques d'enquête (definition)
History
- 2026-11-02: add by m2/dev
850 (number) D9NE457B6J
| URI | m2://inv/D9NE457B6J |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 800 (number)#EXFS, 850 (number) (unknown)
History
- 2026-11-02: add by m2/dev
Panel data D9NJJDD167
| URI | m2://inv/D9NJJDD167 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Panel data, Panel data (definition). Also Wikidata Q857354
History
- 2026-11-02: add by m2/dev
three-dimensional jumps D9NNP5EG4Q
| URI | m2://inv/D9NNP5EG4Q |
|---|---|
| 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.08016#2QMJ, three-dimensional jumps (statement). In YR3CSTYEJW/e1, corollary 4.11
History
- 2026-10-29: add by m2/v0.4.10
D9NP1KHRH9 D9NP1KHRH9
| URI | m2://inv/D9NP1KHRH9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31781#IRUH (statement). In WTTVKKNPE6/e1, lemma 4
History
- 2026-10-31: add by m2/v0.5.6
D9NRQCD9B6 D9NRQCD9B6
| URI | m2://inv/D9NRQCD9B6 |
|---|---|
| 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#RC9W (statement)
History
- 2026-11-01: add by m2/v0.6.15
D9NT9JNNYQ D9NT9JNNYQ
| URI | m2://inv/D9NT9JNNYQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/riemann-surface/complex-structure.tex#definition-2 (definition). In RZP28ERRZV, definition, section 83.2
History
- 2026-11-01: add by m2/v0.6.13
Moment-coloring reduction D9NTKEYEKH
| URI | m2://inv/D9NTKEYEKH |
|---|---|
| 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.15421#4VHJ, Moment-coloring reduction (statement). In 3RBKH0DA74/e1, theorem 5.3
History
- 2026-10-28: add by m2/v0.4.2
differentiable, infinitely D9NY60VYZM
| URI | m2://inv/D9NY60VYZM |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/8.4.3/differentiable-infinitely, differentiable, infinitely (concept). In E59CDZA4DP, index, section 8.4.3
History
- 2026-11-01: add by m2/v0.6.13
Chueshov--Lasiecka D9P1DBE5ED
| URI | m2://inv/D9P1DBE5ED |
|---|---|
| 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.11027#H5IQ, Chueshov--Lasiecka (statement). In 2BBW80EX78/e1, theorem 2.5
History
- 2026-10-28: add by m2/v0.4.3
Formal statement D9P83XN0FW
| URI | m2://inv/D9P83XN0FW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Axiom of limitation of size#AWHH, Formal statement (statement)
History
- 2026-11-02: add by m2/dev
D9PFBS6DKJ D9PFBS6DKJ
| URI | m2://inv/D9PFBS6DKJ |
|---|---|
| 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.32077#5IES (definition). In WYXQDSQR9B/e1, definition 3.2
History
- 2026-10-31: add by m2/v0.5.6
Nati Linial D9PGNEZKT0
| URI | m2://inv/D9PGNEZKT0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#RFTL, Nati Linial (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#MSCL, Nati Linial (topic)
History
- 2026-11-02: add by m2/dev
D9PJ4ZWY1Y D9PJ4ZWY1Y
| URI | m2://inv/D9PJ4ZWY1Y |
|---|---|
| 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.02489#DFRW (statement). In ZCJDWDR16Z/e1, theorem 4.2
History
- 2026-10-29: add by m2/v0.4.12
D9PY090BD4 D9PY090BD4
| URI | m2://inv/D9PY090BD4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#defn-36 (definition). In VNMV985MXX, defn, section D
History
- 2026-11-01: add by m2/v0.6.13
FIR transfer function D9Q2AM8EEA
| URI | m2://inv/D9Q2AM8EEA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia FIR transfer function, FIR transfer function (definition). Also Wikidata Q30325008
History
- 2026-11-02: add by m2/dev
D9QC280K7N D9QC280K7N
| URI | m2://inv/D9QC280K7N |
|---|---|
| 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.19590#ELLA (statement). In AZFARX0CXG/e1, corollary 5.3
History
- 2026-10-28: add by m2/v0.4.2
Symmetry D9QPES5N04
| URI | m2://inv/D9QPES5N04 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Icositetragon#M2CZ, Symmetry (statement)
History
- 2026-11-02: add by m2/dev
D9QQZ5W3Q8 D9QQZ5W3Q8
| URI | m2://inv/D9QQZ5W3Q8 |
|---|---|
| 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.08480#IZ6K (statement). In R4EEE89C3S/e1, theorem 4.7
History
- 2026-10-29: add by m2/v0.4.10
Finitely generated D9R7HGNTTR
| URI | m2://inv/D9R7HGNTTR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Finitely generated object#EK99, Finitely generated (unknown)
History
- 2026-11-02: add by m2/dev
Laplace estimator D9RBFZS30E
| URI | m2://inv/D9RBFZS30E |
|---|---|
| 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 2610.14615#GFJM, Laplace estimator (definition). In 7D5MMP8XB5/e1, definition 2.10
History
- 2026-10-28: add by m2/v0.4.2
Preservation of properness D9RGQCCW7Z
| URI | m2://inv/D9RGQCCW7Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09557#T558, Preservation of properness (statement). In VHC7FQVPCZ/e1, lemma 2.2
History
- 2026-10-29: add by m2/v0.4.10
D9RPYARSCD D9RPYARSCD
| URI | m2://inv/D9RPYARSCD |
|---|---|
| Kind | statement |
| 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.36403#91KY (statement). In A4XGTS3QXQ/e1, proposition 3.1
History
- 2026-10-30: add by m2/v0.4.12
Legendre rational functions D9RTFP1Y5M
| URI | m2://inv/D9RTFP1Y5M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Legendre rational functions, Legendre rational functions (definition). Also Wikidata Q6517883
History
- 2026-11-02: add by m2/dev
Reusch's theorem D9S3RWG9YK
| URI | m2://inv/D9S3RWG9YK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Commandino's theorem#01CK, Reusch's theorem (statement)
History
- 2026-11-02: add by m2/dev
F. J. Murray D9S4XXGNKH
| URI | m2://inv/D9S4XXGNKH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of scientific publications by John von Neumann#6WRA, F. J. Murray (topic)
History
- 2026-11-02: add by m2/dev
Gödel's incompleteness theorems D9SQXQFQQX
| URI | m2://inv/D9SQXQFQQX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hilbert's program#HP3Z, Gödel's incompleteness theorems (statement)
History
- 2026-11-02: add by m2/dev
D9SSEXB8HQ D9SSEXB8HQ
| URI | m2://inv/D9SSEXB8HQ |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 03-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1705.04310#DX3V (problem). In MG51GG0QZN/e1, problem 3.12
History
- 2026-10-27: add by m2/v0.3.5
Quantum artificial life D9SYFE00E4
| URI | m2://inv/D9SYFE00E4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#GYH8, Quantum artificial life (unknown)
History
- 2026-11-02: add by m2/dev
D9SZA6VQCB D9SZA6VQCB
| URI | m2://inv/D9SZA6VQCB |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03011#PE8Z (definition). In VE8FB6K8EN/e1, definition B.1
History
- 2026-10-29: add by m2/v0.4.12
D9T1NZPP1R D9T1NZPP1R
| URI | m2://inv/D9T1NZPP1R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18992#Z671 (statement). In S7PNTM0GZC/e1, lemma 3.2
History
- 2026-10-28: add by m2/v0.4.2
Conservative vector fields and the gradient theorem D9TB223KW5
| URI | m2://inv/D9TB223KW5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gradient#TVCI, Conservative vector fields and the gradient theorem (statement)
History
- 2026-11-02: add by m2/dev
2π theorem D9TB2QHX10
| URI | m2://inv/D9TB2QHX10 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#RFZ6, 2π theorem (statement)
History
- 2026-11-02: add by m2/dev
limit D9TGP798VK
| URI | m2://inv/D9TGP798VK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Limit of a function 0PKRYB8ATM |
Mentions
- wikidata: Wikidata Q177239, limit (unknown). Also EoM Limit, MathWorld Limit
- wikidata: Wikidata Q33540, limit of a function (unknown). Also EoM Limit, nLab limit of a function
- wikipedia: Wikipedia Limit (mathematics), Limit (definition). Also Wikidata Q177239
- wikipedia: Wikipedia Limit of a function, Limit of a function (definition). Also Wikidata Q33540
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
D9TKM7QW98 D9TKM7QW98
| URI | m2://inv/D9TKM7QW98 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18620#WNQE (statement). In 6WJ0R9YEBR/e1, lemma 3.2
History
- 2026-10-28: add by m2/v0.4.2
D9TRGM50M8 D9TRGM50M8
| URI | m2://inv/D9TRGM50M8 |
|---|---|
| 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.28594#C5ZD (statement)
History
- 2026-11-01: add by m2/v0.6.15
Elementary tube bound D9TT30EHEZ
| URI | m2://inv/D9TT30EHEZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.37368#0TCV, Elementary tube bound (statement). In FRMCKEGVJZ/e1, theorem 4
History
- 2026-10-30: add by m2/v0.4.12
A common exceptional set for all reference parameters D9TTZD9XGJ
| URI | m2://inv/D9TTZD9XGJ |
|---|---|
| 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 2609.22485#98W8, A common exceptional set for all reference parameters (statement)
History
- 2026-11-02: add by m2/v0.6.17
Examples D9V1DXP0Y4
| URI | m2://inv/D9V1DXP0Y4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vector field#F3LP, Examples (example)
History
- 2026-11-02: add by m2/dev
Properties D9V5BHGWE1
| URI | m2://inv/D9V5BHGWE1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Successor ordinal#I3B5, Properties (statement)
History
- 2026-11-02: add by m2/dev
Bridg-It D9VCNM0PWC
| URI | m2://inv/D9VCNM0PWC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shannon switching game#6QWS, Bridg-It (unknown)
History
- 2026-11-02: add by m2/dev
Equivariant-section correspondence D9VSACY7CH
| URI | m2://inv/D9VSACY7CH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-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.03745#IHDN, Equivariant-section correspondence (statement). In YWXVX6AX8F/e1, theorem 3.2
History
- 2026-10-29: add by m2/v0.4.12
D9WE0C94DT D9WE0C94DT
| URI | m2://inv/D9WE0C94DT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06899#XZD1 (statement). In 5Z2K9JGFSS/e1, lemma 5.1
History
- 2026-10-29: add by m2/v0.4.10
Contraction of the canonical conditional maps D9WJQ1D19N
| URI | m2://inv/D9WJQ1D19N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38228#ZD8B, Contraction of the canonical conditional maps (statement). In 9YAE8FNQST/e1, theorem 16.1
History
- 2026-10-30: add by m2/v0.4.12
Definition D9WV1GF55A
| URI | m2://inv/D9WV1GF55A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Korteweg–De Vries hierarchy#QDY6, Definition (definition)
History
- 2026-11-02: add by m2/dev
Discrepancy theory D9WVCYQWFA
| URI | m2://inv/D9WVCYQWFA |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Discrepancy theory, Discrepancy theory (conjecture). Also Wikidata Q1228843
History
- 2026-11-02: add by m2/dev
Mary Everest Boole D9X2MCJEND
| URI | m2://inv/D9X2MCJEND |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mary Everest Boole, Mary Everest Boole (topic). Also Wikidata Q6779503
History
- 2026-11-02: add by m2/dev
D9X3YR8DAS D9X3YR8DAS
| URI | m2://inv/D9X3YR8DAS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19260#W4WP (statement). In PWXT7J9JX3/e1, proposition 4.5
History
- 2026-10-28: add by m2/v0.4.2
Example D9XED0VFZN
| URI | m2://inv/D9XED0VFZN |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Heesch's problem#S9FS, Example (example)
History
- 2026-11-02: add by m2/dev
Lemma 3 D9XGM9B6VD
| URI | m2://inv/D9XGM9B6VD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Proof of Bertrand's postulate#01FQ, Lemma 3 (statement)
History
- 2026-11-02: add by m2/dev
D9XHXBDRA5 D9XHXBDRA5
| URI | m2://inv/D9XHXBDRA5 |
|---|---|
| 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.38069#7K23 (statement). In K0E0H4RV6Y/e1, theorem 1
History
- 2026-10-30: add by m2/v0.4.12
Non-analytic smooth function D9XPHQMFC2
| URI | m2://inv/D9XPHQMFC2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Non-analytic smooth function, Non-analytic smooth function (definition). Also Wikidata Q7048840
History
- 2026-11-02: add by m2/dev
Digital raster graphic D9XSYEZ4FX
| URI | m2://inv/D9XSYEZ4FX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#PUCA, Digital raster graphic (unknown)
History
- 2026-11-02: add by m2/dev
D9XXHTHMWR D9XXHTHMWR
| URI | m2://inv/D9XXHTHMWR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33704#MKA6 (statement). In STRVMT83HE/e1, theorem 1
History
- 2026-10-30: add by m2/v0.4.12
progression from inferior to superior organisms D9XZ9ZWDCM
| URI | m2://inv/D9XZ9ZWDCM |
|---|---|
| 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#4VYV, progression from inferior to superior organisms (unknown)
History
- 2026-11-02: add by m2/dev
Thermal efficiency D9Y5C8PC7M
| URI | m2://inv/D9Y5C8PC7M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thermal efficiency, Thermal efficiency (definition). Also Wikidata Q1452104
History
- 2026-11-02: add by m2/dev
$p$-D'Alembertian D9Y5K98RSG
| URI | m2://inv/D9Y5K98RSG |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 46-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 2610.21775#QUV2, $p$-D'Alembertian (definition). In KM3Q791JY0/e1, definition 4.20
History
- 2026-10-27: add by m2/v0.4.2
Growth curve (biology) D9Y6GQS9MX
| URI | m2://inv/D9Y6GQS9MX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of curves#4INB, Growth curve (biology) (unknown)
History
- 2026-11-02: add by m2/dev
Yau's conjecture on the first eigenvalue D9Y6GYCMGE
| URI | m2://inv/D9Y6GYCMGE |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Yau's conjecture on the first eigenvalue, Yau's conjecture on the first eigenvalue (conjecture). Also Wikidata Q65079294
History
- 2026-11-02: add by m2/dev
D9Y7T7GYV7 D9Y7T7GYV7
| URI | m2://inv/D9Y7T7GYV7 |
|---|---|
| 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 2203.15223#6HHS (statement). In HSY17Q75DM/e1, lemma 4
History
- 2026-10-27: add by m2/v0.3.5
quadrillion D9YAGEAK5P
| URI | m2://inv/D9YAGEAK5P |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q25579173, quadrillion (unknown). Also MathWorld Quadrillion
History
- 2026-10-26: add by m2/dev
Grigori Milstein D9YFZNYY7M
| URI | m2://inv/D9YFZNYY7M |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Grigori Milstein, Grigori Milstein (topic). Also Wikidata Q131580369
History
- 2026-11-02: add by m2/dev
ETC-$m$ under an edit cap D9YG5GKC9H
| URI | m2://inv/D9YG5GKC9H |
|---|---|
| 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.11007#2GLY, ETC-$m$ under an edit cap (statement). In MF0H78XZXC/e1, theorem 2
History
- 2026-10-28: add by m2/v0.4.3
Three Mile Island D9YGW1AG58
| URI | m2://inv/D9YGW1AG58 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#I814, Three Mile Island (unknown)
History
- 2026-11-02: add by m2/dev
Peter Kollock D9YJVDX8QR
| URI | m2://inv/D9YJVDX8QR |
|---|---|
| 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#2BGF, Peter Kollock (unknown)
History
- 2026-11-02: add by m2/dev
D9YW1SDWFN D9YW1SDWFN
| URI | m2://inv/D9YW1SDWFN |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2509.21121#OUL6 (definition). In MTDABJF9AP/e1, definition 4
History
- 2026-10-27: add by m2/v0.3.5
Theorem D9YWBGRF7G
| URI | m2://inv/D9YWBGRF7G |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ingleton's inequality#UQ6S, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Gerstenhaber algebra D9Z1BWQF9V
| URI | m2://inv/D9Z1BWQF9V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebras#WQTF, Gerstenhaber algebra (definition)
History
- 2026-11-02: add by m2/dev
Andreas Brandhuber D9Z94WFSS7
| URI | m2://inv/D9Z94WFSS7 |
|---|---|
| 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 Q50777114, Andreas Brandhuber (unknown). Also nLab Andreas Brandhuber
History
- 2026-10-26: add by m2/dev
D9ZG582C8W D9ZG582C8W
| URI | m2://inv/D9ZG582C8W |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/gt-intro.ptx#exercise-2 (exercise). In Y91XFCEVHQ, exercise, section 5.1
History
- 2026-11-01: add by m2/v0.6.13
D9ZKRHYWRZ D9ZKRHYWRZ
| URI | m2://inv/D9ZKRHYWRZ |
|---|---|
| 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.29498#7270 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Desargues graph D9ZTD57XD0
| URI | m2://inv/D9ZTD57XD0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3113838, Desargues graph (unknown). Also House of Graphs 1036, MathWorld DesarguesGraph
- wikipedia: Wikipedia Desargues graph, Desargues graph (definition). Also Wikidata Q3113838
History
- 2026-10-26: add by m2/dev
Identity D9ZX3G63W3
| URI | m2://inv/D9ZX3G63W3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#thm:onevaridentity, Identity (statement). In VNMV985MXX, thm, section B
History
- 2026-11-01: add by m2/v0.6.13
tanh D9ZYH6BQCJ
| URI | m2://inv/D9ZYH6BQCJ |
|---|---|
| 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 2610.09044#KME0, tanh (example). In 4KYENHR0J8/e1, example 2
History
- 2026-10-29: add by m2/v0.4.10
Almost-global convergence D9ZZYJTWTA
| URI | m2://inv/D9ZZYJTWTA |
|---|---|
| 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 2610.10993#J0W3, Almost-global convergence (statement). In 1JCPN0K7DB/e1, theorem 3.7
History
- 2026-10-28: add by m2/v0.4.3