Inventory rows MZ
The cards of the rows of the inventory whose ids start with MZ. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Convex analysis MZ00Z8P210
| URI | m2://inv/MZ00Z8P210 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of convexity topics#9U2L, Convex analysis (definition)
History
- 2026-11-02: add by m2/dev
MZ019TJEHN MZ019TJEHN
| URI | m2://inv/MZ019TJEHN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18847#F5XB (statement). In DZ12XTTJSM/e1, proposition 3.6
History
- 2026-10-28: add by m2/v0.4.2
cocone MZ07FXV9T1
| URI | m2://inv/MZ07FXV9T1 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/6.4/cocone, cocone (concept). In N54F33XE07, index, section 6.4
History
- 2026-11-01: add by m2/v0.6.13
Thompson sporadic group MZ09F54YQQ
| URI | m2://inv/MZ09F54YQQ |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3117700, Thompson sporadic group (unknown). Also MathWorld ThompsonGroup
- wikipedia: Wikipedia Thompson sporadic group, Thompson sporadic group (object). Also Wikidata Q3117700
History
- 2026-10-26: add by m2/dev
Model complete MZ0B3WR0R9
| URI | m2://inv/MZ0B3WR0R9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of first-order theories#6WCL, Model complete (definition)
History
- 2026-11-02: add by m2/dev
Permutation cipher MZ0B8NPKYB
| URI | m2://inv/MZ0B8NPKYB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of permutation topics#SGUR, Permutation cipher (definition)
History
- 2026-11-02: add by m2/dev
Magical thinking MZ0E243VVA
| URI | m2://inv/MZ0E243VVA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fallacies#LFDG, Magical thinking (definition)
History
- 2026-11-02: add by m2/dev
MZ0RWY0AV8 MZ0RWY0AV8
| URI | m2://inv/MZ0RWY0AV8 |
|---|---|
| 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.12053#QG78 (statement). In MQ226ETRP6/e1, corollary 1.4
History
- 2026-10-28: add by m2/v0.4.3
Science of value MZ179Q7V7F
| URI | m2://inv/MZ179Q7V7F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Science of value, Science of value (definition). Also Wikidata Q7433709
History
- 2026-11-02: add by m2/dev
MZ185FNMS3 MZ185FNMS3
| URI | m2://inv/MZ185FNMS3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05327#ULEE (statement). In ZD7BWDKT84/e1, lemma A.7
History
- 2026-10-29: add by m2/v0.4.10
MZ1YT7C301 MZ1YT7C301
| URI | m2://inv/MZ1YT7C301 |
|---|---|
| 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.17720#B1UL (statement). In QPM0GQYNZ9/e1, corollary 8.5
History
- 2026-10-28: add by m2/v0.4.2
Zhang--Sun cuts satisfy the oracle MZ23M746KC
| URI | m2://inv/MZ23M746KC |
|---|---|
| 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.12713#EBCG, Zhang--Sun cuts satisfy the oracle (statement). In F14A5HX20Q/e1, proposition B.5.1
History
- 2026-10-28: add by m2/v0.4.2
Evasion attack MZ28WXJB22
| URI | m2://inv/MZ28WXJB22 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Adversarial machine learning#FJ2A, Evasion attack (unknown)
History
- 2026-11-02: add by m2/dev
Kiiti Morita MZ2BVQHDPY
| URI | m2://inv/MZ2BVQHDPY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q454583, Kiiti Morita (unknown). Also nLab Kiiti Morita
- wikipedia: Wikipedia Kiiti Morita, Kiiti Morita (topic). Also Wikidata Q454583
History
- 2026-10-26: add by m2/dev
Properties MZ2JSJMS5H
| URI | m2://inv/MZ2JSJMS5H |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Monus#RQGH, Properties (statement)
History
- 2026-11-02: add by m2/dev
MZ2PR4XNFV MZ2PR4XNFV
| URI | m2://inv/MZ2PR4XNFV |
|---|---|
| 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#VKKB (statement). In R03K2N7FRF/e1, lemma C.9
History
- 2026-10-30: add by m2/v0.4.12
Schreier domain MZ2PY40ZJS
| URI | m2://inv/MZ2PY40ZJS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schreier domain, Schreier domain (definition). Also Wikidata Q7432871
History
- 2026-11-02: add by m2/dev
Formula MZ2QBW4M63
| URI | m2://inv/MZ2QBW4M63 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Engset formula#PJS5, Formula (statement)
History
- 2026-11-02: add by m2/dev
MZ2VJWGJQP MZ2VJWGJQP
| URI | m2://inv/MZ2VJWGJQP |
|---|---|
| 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#IF9J (statement). In JWNYJVH8XG/e1, proposition 2.20
History
- 2026-10-29: add by m2/v0.4.10
MZ2X5EC9C6 MZ2X5EC9C6
| URI | m2://inv/MZ2X5EC9C6 |
|---|---|
| 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#Q60P (statement). In RK0ZMDJ23T/e1, lemma 3.1.1
History
- 2026-10-31: add by m2/v0.5.6
MZ2Z2FR8TM MZ2Z2FR8TM
| URI | m2://inv/MZ2Z2FR8TM |
|---|---|
| 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.21255#2PKV (statement). In FB4DAYJJ5F/e1, theorem D
History
- 2026-10-27: add by m2/v0.4.2
Examples MZ2ZYHXF4N
| URI | m2://inv/MZ2ZYHXF4N |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Langevin equation#Y0YF, Examples (example)
History
- 2026-11-02: add by m2/dev
MZ32EJKEYG MZ32EJKEYG
| URI | m2://inv/MZ32EJKEYG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13667#YMV5 (statement). In 820GZB4VEN/e1, proposition C.1
History
- 2026-10-28: add by m2/v0.4.2
MZ3511RVSB MZ3511RVSB
| URI | m2://inv/MZ3511RVSB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34295#3N6Q (statement). In A93R925Z24/e1, lemma 10.1
History
- 2026-10-30: add by m2/v0.4.12
Chevalley MZ36NM37Y3
| URI | m2://inv/MZ36NM37Y3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of representation theory#UB8T, Chevalley (definition)
History
- 2026-11-02: add by m2/dev
IP set MZ376XS66X
| URI | m2://inv/MZ376XS66X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of exceptional set concepts#A52M, IP set (definition)
History
- 2026-11-02: add by m2/dev
Riemannian Hessian MZ3HDG3YEQ
| URI | m2://inv/MZ3HDG3YEQ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 62-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.30220#P89U, Riemannian Hessian (definition)
History
- 2026-11-01: add by m2/v0.6.15
Definitions MZ3JTCDF5C
| URI | m2://inv/MZ3JTCDF5C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ordinary differential equation#71VM, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Discrete optimization MZ3RXE5601
| URI | m2://inv/MZ3RXE5601 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Discrete optimization, Discrete optimization (topic). Also Wikidata Q1493786
History
- 2026-11-02: add by m2/dev
Liouville number MZ3TXPC29V
| URI | m2://inv/MZ3TXPC29V |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Liouville number 0J1R5NP36S |
Mentions
- wikidata: Wikidata Q1755697, Liouville number (concept). Also MathWorld LiouvilleNumber
- wikipedia: Wikipedia Liouville number, Liouville number (definition). Also Wikidata Q1755697
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
logical antirealism MZ3Z4W2QDT
| URI | m2://inv/MZ3Z4W2QDT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#0173, logical antirealism (definition)
History
- 2026-11-02: add by m2/dev
MZ43ZA5G6Y MZ43ZA5G6Y
| URI | m2://inv/MZ43ZA5G6Y |
|---|---|
| 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 2204.13401#J4LY (statement). In B8MJT0GGW8/e1, proposition 4.5
History
- 2026-10-27: add by m2/v0.4.0
MZ45AGPGFC MZ45AGPGFC
| URI | m2://inv/MZ45AGPGFC |
|---|---|
| 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#5API (statement)
History
- 2026-11-01: add by m2/v0.6.15
Applications MZ46C1JTXQ
| URI | m2://inv/MZ46C1JTXQ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chetaev instability theorem#6D67, Applications (example)
History
- 2026-11-02: add by m2/dev
dg $\mathbb S$-module MZ4B6NVX9Y
| URI | m2://inv/MZ4B6NVX9Y |
|---|---|
| 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 2312.05005#YOYM, dg $\mathbb S$-module (definition). In SMJMAQ2S3J/e1, definition 8
History
- 2026-10-27: add by m2/v0.4.0
\(\epsilon, \delta\))-Differential Privacy MZ4H6EQFEB
| URI | m2://inv/MZ4H6EQFEB |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13631#QMA5, \(\epsilon, \delta\))-Differential Privacy (definition). In N6PQQSYN73/e1, definition 1
History
- 2026-10-28: add by m2/v0.4.2
Properties MZ4KD9FFST
| URI | m2://inv/MZ4KD9FFST |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Embedding problem#Z70R, Properties (statement)
History
- 2026-11-02: add by m2/dev
MZ55EZ0SGM MZ55EZ0SGM
| URI | m2://inv/MZ55EZ0SGM |
|---|---|
| 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.11905#2EO3 (statement). In QQFXT31CA5/e1, proposition 8.9
History
- 2026-10-28: add by m2/v0.4.3
MZ5CESTPD8 MZ5CESTPD8
| URI | m2://inv/MZ5CESTPD8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21752#43ZS (statement). In E4DJTPKHAX/e1, proposition 4.8
History
- 2026-10-27: add by m2/v0.4.2
Rickart space MZ5QPMMSS1
| URI | m2://inv/MZ5QPMMSS1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rickart space, Rickart space (definition). Also Wikidata Q7331894
History
- 2026-11-02: add by m2/dev
Special cases MZ5S6QE3KC
| URI | m2://inv/MZ5S6QE3KC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Acceleration#QVE3, Special cases (statement)
History
- 2026-11-02: add by m2/dev
MZ5VNC6Q5F MZ5VNC6Q5F
| URI | m2://inv/MZ5VNC6Q5F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30648#7TAU (statement). In 2P83KYQCMA/e1, lemma 19
History
- 2026-10-31: add by m2/v0.5.6
WinBUGS MZ5VNVQNTM
| URI | m2://inv/MZ5VNVQNTM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#ZD3L, WinBUGS (definition)
History
- 2026-11-02: add by m2/dev
MZ5WFMCTXK MZ5WFMCTXK
| URI | m2://inv/MZ5WFMCTXK |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27617#7G6F (definition)
History
- 2026-11-01: add by m2/v0.6.15
MZ61QQKBFN MZ61QQKBFN
| URI | m2://inv/MZ61QQKBFN |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2607.00146#KVZA (definition). In 6KR7Z5ETRY/e1, definition 2.53
History
- 2026-10-27: add by m2/v0.3.5
Eisenstein MZ65E1GDKN
| URI | m2://inv/MZ65E1GDKN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of representation theory#YIWK, Eisenstein (definition)
- wikipedia: Wikipedia Glossary of number theory#7M6I, Eisenstein (definition)
History
- 2026-11-02: add by m2/dev
Immediate !!^{subformula} MZ6722RKS8
| URI | m2://inv/MZ6722RKS8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/syntax-and-semantics/subformulas.tex#defn-1, Immediate !!^{subformula} (definition). In PKGMM3P5QY, defn, section 20.2
History
- 2026-11-01: add by m2/v0.6.13
MZ6AG9EB65 MZ6AG9EB65
| URI | m2://inv/MZ6AG9EB65 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33250#9V0L (statement). In JCTD510XJ0/e1, proposition 5.4
History
- 2026-10-30: add by m2/v0.4.12
Reilly formula MZ6DECWVG2
| URI | m2://inv/MZ6DECWVG2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reilly formula, Reilly formula (statement). Also Wikidata Q111938050
History
- 2026-11-02: add by m2/dev
MZ6J63VQKP MZ6J63VQKP
| URI | m2://inv/MZ6J63VQKP |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book hlevels.tex#proof-19 (proof). In N54F33XE07, proof, section 6.3
History
- 2026-11-01: add by m2/v0.6.13
MZ6MKC5PJ0 MZ6MKC5PJ0
| URI | m2://inv/MZ6MKC5PJ0 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 49-XX, 60-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01411#JAZV (example). In SD28S3K7BT/e1, example 8
History
- 2026-10-29: add by m2/v0.4.12
Examples MZ6NGM0V15
| URI | m2://inv/MZ6NGM0V15 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geometrically regular ring#K2E4, Examples (example)
History
- 2026-11-02: add by m2/dev
MZ6YJ3YT2B MZ6YJ3YT2B
| URI | m2://inv/MZ6YJ3YT2B |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/complex-ana/meromorphic.tex#theorem-1 (statement). In RZP28ERRZV, theorem, section 41.3
History
- 2026-11-01: add by m2/v0.6.13
Inradius MZ709RBMXV
| URI | m2://inv/MZ709RBMXV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of triangle inequalities#PGX8, Inradius (definition)
History
- 2026-11-02: add by m2/dev
7001 (number) MZ72BYNAB9
| URI | m2://inv/MZ72BYNAB9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 7000 (number)#8YO2, 7001 (number) (unknown)
History
- 2026-11-02: add by m2/dev
MZ7F6JBXNZ MZ7F6JBXNZ
| URI | m2://inv/MZ7F6JBXNZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 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.13972#Q9SQ (statement). In S1KHNS8XQM/e1, lemma 11.1
History
- 2026-10-28: add by m2/v0.4.2
Amanda Chetwynd MZ7H8E9RWR
| URI | m2://inv/MZ7H8E9RWR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Amanda Chetwynd, Amanda Chetwynd (topic). Also Wikidata Q37837947
History
- 2026-11-02: add by m2/dev
Changes of critical coordinate MZ82TKW3W9
| URI | m2://inv/MZ82TKW3W9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10583#KLHQ, Changes of critical coordinate (statement). In 5BZQS1KY9A/e1, lemma 9.4
History
- 2026-10-29: add by m2/v0.4.10
MZ88JSZ7C4 MZ88JSZ7C4
| URI | m2://inv/MZ88JSZ7C4 |
|---|---|
| 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.11047#8L3I (statement). In MNQAZ70XTH/e1, theorem 2.4
History
- 2026-10-28: add by m2/v0.4.3
Michiel Hazewinkel MZ8J61R658
| URI | m2://inv/MZ8J61R658 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1931225 (unknown). Also nLab Michiel Hazewinkel
- wikipedia: Wikipedia Michiel Hazewinkel, Michiel Hazewinkel (topic). Also Wikidata Q1931225
History
- 2026-10-26: add by m2/dev
MZ8PH342D8 MZ8PH342D8
| URI | m2://inv/MZ8PH342D8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06669#5RA6 (statement). In YXD3950ZXR/e1, lemma 3.3
History
- 2026-10-29: add by m2/v0.4.10
Example of a tautology MZ8YYSST4Z
| URI | m2://inv/MZ8YYSST4Z |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Implicational propositional calculus#V3SD, Example of a tautology (example)
History
- 2026-11-02: add by m2/dev
Approximation algorithm MZ90K2BBA8
| URI | m2://inv/MZ90K2BBA8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Approximation algorithm, Approximation algorithm (definition). Also Wikidata Q621751
History
- 2026-11-02: add by m2/dev
Restriction homomorphisms MZ94RBQWYY
| URI | m2://inv/MZ94RBQWYY |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21675#5J15, Restriction homomorphisms (definition). In TB1294GY5X/e1, definition 1.11
History
- 2026-10-27: add by m2/v0.4.2
MZ96D1KG0E MZ96D1KG0E
| URI | m2://inv/MZ96D1KG0E |
|---|---|
| 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.38014#8EFL (statement). In F3X5W4E0AJ/e1, lemma 4
History
- 2026-10-30: add by m2/v0.4.12
MZ9E5FRTCW MZ9E5FRTCW
| URI | m2://inv/MZ9E5FRTCW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/z/milestone.tex#defn-1 (definition). In PKGMM3P5QY, defn, section 76.4
History
- 2026-11-01: add by m2/v0.6.13
Theorem MZ9E9PFZWT
| URI | m2://inv/MZ9E9PFZWT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hilbert's basis theorem#9T6Z, Theorem (statement)
History
- 2026-11-02: add by m2/dev
MZ9K1M15MD MZ9K1M15MD
| URI | m2://inv/MZ9K1M15MD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24314#X15C (statement)
History
- 2026-11-01: add by m2/v0.6.15
MZ9SM04MMZ MZ9SM04MMZ
| URI | m2://inv/MZ9SM04MMZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2411.17227#4QG2 (statement). In DDNP38CHQJ/e1, theorem 6.1
History
- 2026-10-27: add by m2/v0.3.5
Sylvanus A. Tyler MZA4GQ8RPK
| URI | m2://inv/MZA4GQ8RPK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sylvanus A. Tyler, Sylvanus A. Tyler (topic). Also Wikidata Q96337290
History
- 2026-11-02: add by m2/dev
A smooth counterexample MZA5GQQ7JC
| URI | m2://inv/MZA5GQQ7JC |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 62-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1007.0842#QIZI, A smooth counterexample (example). In SEBS9D5AC5/e1, example 4.1
History
- 2026-10-27: add by m2/v0.3.5
MZA9AR7XY7 MZA9AR7XY7
| URI | m2://inv/MZA9AR7XY7 |
|---|---|
| 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 2205.09049#S9V5 (statement). In 37S7MNMZ2F/e1, lemma 43
History
- 2026-10-27: add by m2/v0.3.5
Euclidean plane MZAGCMKRXE
| URI | m2://inv/MZAGCMKRXE |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/linalg/vector-space.tex#example-6, Euclidean plane (example). In RZP28ERRZV, example, section 62.3
History
- 2026-11-01: add by m2/v0.6.13
Dobrushin coefficient MZAJ2M1WHS
| URI | m2://inv/MZAJ2M1WHS |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14988#VWAQ, Dobrushin coefficient (definition). In B29M4E6KGC/e1, definition E.2
History
- 2026-10-28: add by m2/v0.4.2
Classical orthogonal polynomials MZAMKB9B4S
| URI | m2://inv/MZAMKB9B4S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Classical orthogonal polynomials 47WJ34NC9K |
Mentions
- wikidata: Wikidata Q17006917, Classical orthogonal polynomials (unknown). Also EoM Classical_orthogonal_polynomials
- wikipedia: Wikipedia Classical orthogonal polynomials, Classical orthogonal polynomials (definition). Also Wikidata Q17006917
History
- 2026-10-26: add by m2/dev
Definition MZAPNDS003
| URI | m2://inv/MZAPNDS003 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Birman–Wenzl algebra#S4MD, Definition (definition)
History
- 2026-11-02: add by m2/dev
Mahalanobis distance MZAV2R3Q48
| URI | m2://inv/MZAV2R3Q48 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mahalanobis distance, Mahalanobis distance (definition). Also Wikidata Q1334846
History
- 2026-11-02: add by m2/dev
Self-similar process MZB07ZS9C1
| URI | m2://inv/MZB07ZS9C1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#SSX1, Self-similar process (definition)
History
- 2026-11-02: add by m2/dev
MZB8ZFHXK5 MZB8ZFHXK5
| URI | m2://inv/MZB8ZFHXK5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24610#V2GK (statement)
History
- 2026-11-01: add by m2/v0.6.15
Grünbaum-Dress polyhedron MZBG4J3MQF
| URI | m2://inv/MZBG4J3MQF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Regular skew apeirohedron#QKXG, Grünbaum-Dress polyhedron (unknown)
History
- 2026-11-02: add by m2/dev
Carew Arthur Meredith MZBPEQC8KJ
| URI | m2://inv/MZBPEQC8KJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5039073, Carew Arthur Meredith (unknown). Also ProofWiki Mathematician:Carew_Arthur_Meredith
- wikipedia: Wikipedia Carew Arthur Meredith, Carew Arthur Meredith (topic). Also Wikidata Q5039073
History
- 2026-10-26: add by m2/dev
sequent calculus MZBSSC774D
| URI | m2://inv/MZBSSC774D |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Sequent calculus W72CA3R9MP |
Mentions
- wikidata: Wikidata Q1771121, sequent calculus (concept). Also MathWorld SequentCalculus, nLab sequent calculus
- wikipedia: Wikipedia Sequent calculus, Sequent calculus (definition). Also Wikidata Q1771121
History
- 2026-10-26: add by m2/dev
Generalizations MZBVNFDDQQ
| URI | m2://inv/MZBVNFDDQQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Outline of geometry#6CER, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
G-fibration MZBWF12J0H
| URI | m2://inv/MZBWF12J0H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia G-fibration, G-fibration (definition). Also Wikidata Q25100794
History
- 2026-11-02: add by m2/dev
E. Lowell Kelly MZC0VGKTEW
| URI | m2://inv/MZC0VGKTEW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia E. Lowell Kelly, E. Lowell Kelly (topic). Also Wikidata Q18738756
History
- 2026-11-02: add by m2/dev
MZC0ZJR1SA MZC0ZJR1SA
| URI | m2://inv/MZC0ZJR1SA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15831#XHGJ (statement). In CVESAPNMCQ/e1, corollary 2.11
History
- 2026-10-28: add by m2/v0.4.2
MZC515MNQ7 MZC515MNQ7
| URI | m2://inv/MZC515MNQ7 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 14-XX, 16-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 2504.07573#1DTX (example). In 78X5SKJX8J/e1, example A.4
History
- 2026-10-27: add by m2/v0.3.5
MZC8N26QMZ MZC8N26QMZ
| URI | m2://inv/MZC8N26QMZ |
|---|---|
| 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.32903#ENIZ (statement). In S8NB83KQX3/e1, lemma 23
History
- 2026-10-31: add by m2/v0.5.6
Microsoft Power BI MZCB0Y3KV7
| URI | m2://inv/MZCB0Y3KV7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Microsoft Power BI, Microsoft Power BI (definition). Also Wikidata Q23542287
History
- 2026-11-02: add by m2/dev
Alan Greenspan MZCHPMTPTE
| URI | m2://inv/MZCHPMTPTE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#77JF, Alan Greenspan (unknown)
History
- 2026-11-02: add by m2/dev
Growth Rate of the Test-Space Lebesgue Constant MZCHW9YQXY
| URI | m2://inv/MZCHW9YQXY |
|---|---|
| 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.13222#SWSC, Growth Rate of the Test-Space Lebesgue Constant (statement). In Z6WA2R0J50/e1, corollary 2.26
History
- 2026-10-28: add by m2/v0.4.2
Recurrence Relation MZCMPNFFC5
| URI | m2://inv/MZCMPNFFC5 |
|---|---|
| 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 2603.16304#A2RU, Recurrence Relation (statement). In NEGP0YBA3C/e1, lemma 3.1
History
- 2026-10-27: add by m2/v0.3.6
Linear temporal logic MZCSET6WJ4
| URI | m2://inv/MZCSET6WJ4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of PSPACE-complete problems#QHYA, Linear temporal logic (definition)
History
- 2026-11-02: add by m2/dev
Isfahani Abol-fath MZCSJ58FJS
| URI | m2://inv/MZCSJ58FJS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Iranian mathematicians#MADJ, Isfahani Abol-fath (unknown)
History
- 2026-11-02: add by m2/dev
MZCY3F23RN MZCY3F23RN
| URI | m2://inv/MZCY3F23RN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-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.36823#007Q (statement). In 55WT8DME6Y/e1, corollary 4.2
History
- 2026-10-30: add by m2/v0.4.12
Vanishing increments of stationary AMP recursion MZD0T4VN3K
| URI | m2://inv/MZD0T4VN3K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20798#IU66, Vanishing increments of stationary AMP recursion (statement). In 947GFWDY7C/e1, lemma 2
History
- 2026-10-27: add by m2/v0.4.2
Fuchs's theorem MZD8P2560Q
| URI | m2://inv/MZD8P2560Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 34-XX |
| Sources | 4 |
| Outcome | open |
| Node | Fuchs' theorem 6EZ400WM94 |
Mentions
- mathlib_1000: mathlib_1000 Q5506929, Fuchs's theorem (statement). Also Wikidata Q5506929
- thousand_plus: thousand_plus Q5506929, Fuchs's theorem (statement). Also Wikidata Q5506929, Wikipedia Fuchs's theorem
- wikidata: Wikidata Q5506929, Fuchs's theorem (statement). Also MathWorld FuchssTheorem
- wikipedia: Wikipedia Fuchs's theorem, Fuchs's theorem (statement). Also Wikidata Q5506929
History
- 2026-10-26: add by m2/dev
MZD8RT8Y8D MZD8RT8Y8D
| URI | m2://inv/MZD8RT8Y8D |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0003117#KQG9 (example). In WD2NCBV9F0/e1, example 2.15
History
- 2026-10-27: add by m2/v0.3.5
Applications MZD9GMX3BC
| URI | m2://inv/MZD9GMX3BC |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Piecewise linear function#JE66, Applications (example)
History
- 2026-11-02: add by m2/dev
Takagi factorization MZD9MY479D
| URI | m2://inv/MZD9MY479D |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Symmetric matrix#E240, Takagi factorization (unknown)
History
- 2026-11-02: add by m2/dev
MZDB044DT5 MZDB044DT5
| URI | m2://inv/MZDB044DT5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-XX, 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13213#P7R5 (statement). In V97F4YZ8B0/e1, theorem 5.12
History
- 2026-10-28: add by m2/v0.4.2
MZE2VP7NH7 MZE2VP7NH7
| URI | m2://inv/MZE2VP7NH7 |
|---|---|
| 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 2202.10920#7PNI (statement). In 6TTFGK6ZV0/e1, lemma 3.6
History
- 2026-10-27: add by m2/v0.3.5
Generalization MZE61D3GKA
| URI | m2://inv/MZE61D3GKA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euclidean division#TB0U, Generalization (statement)
History
- 2026-11-02: add by m2/dev
Extensions of the theorem MZEA8QEN98
| URI | m2://inv/MZEA8QEN98 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Surjection of Fréchet spaces#IBU8, Extensions of the theorem (statement)
History
- 2026-11-02: add by m2/dev
Zero–one law MZEBX3NTFG
| URI | m2://inv/MZEBX3NTFG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zero–one law, Zero–one law (statement). Also Wikidata Q14481419
History
- 2026-11-02: add by m2/dev
MZEHX21RXS MZEHX21RXS
| URI | m2://inv/MZEHX21RXS |
|---|---|
| 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.08912#7K4H (statement). In DK5QY64NGH/e1, lemma 5.12
History
- 2026-10-29: add by m2/v0.4.10
Richard Pink MZEKVSDXHZ
| URI | m2://inv/MZEKVSDXHZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#WO9Y, Richard Pink (unknown)
History
- 2026-11-02: add by m2/dev
MZERPY9JT0 MZERPY9JT0
| URI | m2://inv/MZERPY9JT0 |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32338#JQ06 (problem). In HVY45JQRNK/e1, problem 5
History
- 2026-10-31: add by m2/v0.5.6
MZEV7J82FH MZEV7J82FH
| URI | m2://inv/MZEV7J82FH |
|---|---|
| Kind | definition |
| 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 1002.0879#U5X1 (definition). In M0SQY5EZN5/e1, definition 2.1.14
History
- 2026-10-27: add by m2/v0.3.5
MZEXY8PXXN MZEXY8PXXN
| URI | m2://inv/MZEXY8PXXN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX, 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0512416#VS3D (statement). In WJD9YPGGYH/e1, lemma 6.2
History
- 2026-10-27: add by m2/v0.3.5
Conditional collision bound MZEYM89C55
| URI | m2://inv/MZEYM89C55 |
|---|---|
| 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.17329#RXGI, Conditional collision bound (statement). In F6GD5JWK9M/e1, lemma 4.17
History
- 2026-10-28: add by m2/v0.4.2
MZFGSG8BZD MZFGSG8BZD
| URI | m2://inv/MZFGSG8BZD |
|---|---|
| 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.16060#BKER (statement). In X0BTF9HPGM/e1, fact 2.5
History
- 2026-10-28: add by m2/v0.4.2
UA MZFPDNCS6R
| URI | m2://inv/MZFPDNCS6R |
|---|---|
| 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.19088#L2XK, UA (definition). In 90QTB4CC31/e1, definition 3.3
History
- 2026-10-28: add by m2/v0.4.2
MZFT957QG3 MZFT957QG3
| URI | m2://inv/MZFT957QG3 |
|---|---|
| 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 2609.32903#E0HD (problem). In S8NB83KQX3/e1, problem 2
History
- 2026-10-31: add by m2/v0.5.6
Alessio Figalli MZFV1Z96KZ
| URI | m2://inv/MZFV1Z96KZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alessio Figalli, Alessio Figalli (topic). Also Wikidata Q2641168
History
- 2026-11-02: add by m2/dev
MZFX8Y8NPX MZFX8Y8NPX
| URI | m2://inv/MZFX8Y8NPX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21937#XPYH (statement)
History
- 2026-11-02: add by m2/v0.6.17
Mean line segment length MZG52CVNMD
| URI | m2://inv/MZG52CVNMD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mean line segment length, Mean line segment length (definition). Also Wikidata Q112052143
History
- 2026-11-02: add by m2/dev
Pensim2 MZG7JKZ6TY
| URI | m2://inv/MZG7JKZ6TY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#Y7OE, Pensim2 (definition)
History
- 2026-11-02: add by m2/dev
Normal Hausdorff MZGG02PBQY
| URI | m2://inv/MZGG02PBQY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of general topology#C4OM, Normal Hausdorff (definition)
History
- 2026-11-02: add by m2/dev
Implementations MZH0XW89SJ
| URI | m2://inv/MZH0XW89SJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia LSH (hash function)#CCU1, Implementations (definition)
History
- 2026-11-02: add by m2/dev
Properties MZHAYBSZKA
| URI | m2://inv/MZHAYBSZKA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coxeter's loxodromic sequence of tangent circles#5316, Properties (statement)
History
- 2026-11-02: add by m2/dev
bivalence MZHC7550N1
| URI | m2://inv/MZHC7550N1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#34BE, bivalence (definition)
History
- 2026-11-02: add by m2/dev
MZHC7FGDD4 MZHC7FGDD4
| URI | m2://inv/MZHC7FGDD4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31127#0J1X (statement). In NS3RZ26JC7/e1, lemma 5
History
- 2026-10-31: add by m2/v0.5.6
Young function MZHJGV69HF
| URI | m2://inv/MZHJGV69HF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Young function, Young function (definition). Also Wikidata Q125554130
History
- 2026-11-02: add by m2/dev
MZHTK3JS2F MZHTK3JS2F
| URI | m2://inv/MZHTK3JS2F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21489#7VB7 (statement). In R0Q0RV8XCF/e1, theorem 3.2
History
- 2026-10-27: add by m2/v0.4.2
Jaroslav Nešetřil MZHX0C2HJJ
| URI | m2://inv/MZHX0C2HJJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#GQ94, Jaroslav Nešetřil (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#8DU7, Jaroslav Nešetřil (topic)
History
- 2026-11-02: add by m2/dev
Singmaster's conjecture MZHY2BPHWH
| URI | m2://inv/MZHY2BPHWH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia David Singmaster#7ZGQ, Singmaster's conjecture (statement)
History
- 2026-11-02: add by m2/dev
Definitions MZJ482PXHG
| URI | m2://inv/MZJ482PXHG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Plane of rotation#SY4H, Definitions (definition)
History
- 2026-11-02: add by m2/dev
MZJ60NHM3V MZJ60NHM3V
| URI | m2://inv/MZJ60NHM3V |
|---|---|
| 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 2108.03672#3W9K (statement). In EZZSZ1F071/e1, lemma 4.14
History
- 2026-10-27: add by m2/v0.4.0
Kruskal count MZJ682PKS8
| URI | m2://inv/MZJ682PKS8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kruskal count, Kruskal count (definition). Also Wikidata Q121833185
History
- 2026-11-02: add by m2/dev
generalized mean MZJKD77VQ7
| URI | m2://inv/MZJKD77VQ7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q855729, generalized mean (definition). Also MathWorld PowerMean, ProofWiki Definition:Hölder_Mean
- wikipedia: Wikipedia Generalized mean, Generalized mean (definition). Also Wikidata Q855729
History
- 2026-10-26: add by m2/dev
Density errors imply source conditions MZJSYACMH4
| URI | m2://inv/MZJSYACMH4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20020#3MUL, Density errors imply source conditions (statement). In TGYC3SE8XM/e1, proposition 8
History
- 2026-10-27: add by m2/v0.4.2
Radon–Nikodym theorem MZK4FFV87K
| URI | m2://inv/MZK4FFV87K |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 28-XX |
| Sources | 4 |
| Outcome | open |
| Node | Radon–Nikodym theorem 1ZSZS5G1Q4 |
Mentions
- mathlib_1000: mathlib_1000 Q1191319, Radon–Nikodym theorem (statement). Also Mathlib MeasureTheory.Measure.absolutelyContinuous_iff_withDensity_rnDeriv_eq, Wikidata Q1191319
- thousand_plus: thousand_plus Q1191319, Radon–Nikodym theorem (statement). Also Mathlib MeasureTheory.Measure.absolutelyContinuous_iff_withDensity_rnDeriv_eq, Wikidata Q1191319, Wikipedia Radon–Nikodym theorem
- wikidata: Wikidata Q1191319, Radon–Nikodym theorem (statement). Also MathWorld Radon-NikodymTheorem, ProofWiki Radon-Nikodym_Theorem
- wikipedia: Wikipedia Radon–Nikodym theorem, Radon–Nikodym theorem (statement). Also Wikidata Q1191319
History
- 2026-10-26: add by m2/dev
MZK92E970X MZK92E970X
| URI | m2://inv/MZK92E970X |
|---|---|
| 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 2504.00267#C5QT (statement). In 38XJWDZ2PH/e1, lemma 4.15
History
- 2026-10-27: add by m2/v0.3.5
MZKBDR6M4C MZKBDR6M4C
| URI | m2://inv/MZKBDR6M4C |
|---|---|
| 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.05216#7N5W (statement). In J1VCHM6V0S/e1, proposition 2.9
History
- 2026-10-29: add by m2/v0.4.10
Ching-Li Chai MZKC1QVCFB
| URI | m2://inv/MZKC1QVCFB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Taiwanese mathematicians#F1S6, Ching-Li Chai (unknown)
History
- 2026-11-02: add by m2/dev
MZKQE287KY MZKQE287KY
| URI | m2://inv/MZKQE287KY |
|---|---|
| Kind | definition |
| 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.20410#321F (definition)
History
- 2026-11-02: add by m2/v0.6.18
4-genus MZKTD9945M
| URI | m2://inv/MZKTD9945M |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Slice knot#8OFP, 4-genus (unknown)
History
- 2026-11-02: add by m2/dev
Tangentiality to countably $\mathcal{H}^k$-rectifiable set MZKVDPBK7F
| URI | m2://inv/MZKVDPBK7F |
|---|---|
| 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 2609.24451#BPJD, Tangentiality to countably $\mathcal{H}^k$-rectifiable set (definition)
History
- 2026-11-01: add by m2/v0.6.15
Symmetric approximate functional equation MZKYHQ9N66
| URI | m2://inv/MZKYHQ9N66 |
|---|---|
| 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.22107#F2D9, Symmetric approximate functional equation (statement). In SN5RJPQ713/e1, lemma 3.1
History
- 2026-10-27: add by m2/v0.4.0
Källén function MZM21R295W
| URI | m2://inv/MZM21R295W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Källén function, Källén function (definition). Also Wikidata Q28455157
History
- 2026-11-02: add by m2/dev
MZM3W7N2D5 MZM3W7N2D5
| URI | m2://inv/MZM3W7N2D5 |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 11-XX, 14-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2104.12015#0UWG (conjecture). In ZZ2P08DVQW/e1, conjecture 9.3
History
- 2026-10-27: add by m2/v0.3.5
Kile MZM9W2G3F9
| URI | m2://inv/MZM9W2G3F9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of open-source software for mathematics#2JXT, Kile (unknown)
History
- 2026-11-02: add by m2/dev
set theory, Zermelo--Fraenkel MZMDNQMP7K
| URI | m2://inv/MZMDNQMP7K |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/C/set-theory-zermelo-fraenkel, set theory, Zermelo--Fraenkel (concept). In N54F33XE07, index, section C
History
- 2026-11-01: add by m2/v0.6.13
MZMVMSS0KR MZMVMSS0KR
| URI | m2://inv/MZMVMSS0KR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2609.01473#EUJA (statement). In ABS9M47F4K/e1, proposition 3.23
History
- 2026-10-27: add by m2/v0.3.6
MZN0P4KYPA MZN0P4KYPA
| URI | m2://inv/MZN0P4KYPA |
|---|---|
| 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.12543#4FXV (statement). In 5Y2KARN1YC/e1, proposition 5
History
- 2026-10-28: add by m2/v0.4.2
Jónsson MZN0XPZGCN
| URI | m2://inv/MZN0XPZGCN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#F05G, Jónsson (definition)
History
- 2026-11-02: add by m2/dev
Discrete Chebyshev transform MZN5JDWB4A
| URI | m2://inv/MZN5JDWB4A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Discrete Chebyshev transform, Discrete Chebyshev transform (definition). Also Wikidata Q5282036
History
- 2026-11-02: add by m2/dev
Marie Charpentier MZN8CAT905
| URI | m2://inv/MZN8CAT905 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Marie Charpentier, Marie Charpentier (topic). Also Wikidata Q43375797
History
- 2026-11-02: add by m2/dev
Church in the 21st Century Center MZND2BHE8G
| URI | m2://inv/MZND2BHE8G |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of research centers at Boston College#06Z7, Church in the 21st Century Center (unknown)
History
- 2026-11-02: add by m2/dev
Examples MZNPVBBP17
| URI | m2://inv/MZNPVBBP17 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Redheffer matrix#LZUF, Examples (example)
History
- 2026-11-02: add by m2/dev
Yonatan Harpaz MZP05ND2K9
| URI | m2://inv/MZP05ND2K9 |
|---|---|
| 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 Q98916880, Yonatan Harpaz (unknown). Also nLab Yonatan Harpaz
History
- 2026-10-26: add by m2/dev
MZP58P0FGG MZP58P0FGG
| URI | m2://inv/MZP58P0FGG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17737#O0CD (statement). In 8SXY7Y68HV/e1, lemma 2.5
History
- 2026-10-28: add by m2/v0.4.2
Cauchy's mean value theorem MZP658913T
| URI | m2://inv/MZP658913T |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Augustin-Louis Cauchy#QLD1, Cauchy's mean value theorem (statement)
History
- 2026-11-02: add by m2/dev
Hiroshi Haruki MZPABY3BS9
| URI | m2://inv/MZPABY3BS9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#LYFS, Hiroshi Haruki (unknown)
History
- 2026-11-02: add by m2/dev
Definition MZPB359Y4X
| URI | m2://inv/MZPB359Y4X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Whitehead product#7J8I, Definition (definition)
History
- 2026-11-02: add by m2/dev
MZPM0BPKZD MZPM0BPKZD
| URI | m2://inv/MZPM0BPKZD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39260#ZC58 (statement). In ZNDB1AZZSA/e1, proposition 3.5
History
- 2026-10-30: add by m2/v0.4.12
number of edges MZPY2C5KRF
| URI | m2://inv/MZPY2C5KRF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1332313, number of edges (definition). Also MathWorld EdgeCount, ProofWiki Definition:Graph_(Graph_Theory)/Size
History
- 2026-10-26: add by m2/dev
Higman–Sims graph MZPZ0DSMPB
| URI | m2://inv/MZPZ0DSMPB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical examples#TJ14, Higman–Sims graph (unknown)
History
- 2026-11-02: add by m2/dev
MZQ0GJ1563 MZQ0GJ1563
| URI | m2://inv/MZQ0GJ1563 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29631#M3R4 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Examples MZQA8VZA51
| URI | m2://inv/MZQA8VZA51 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cone (topology)#UYOE, Examples (example)
History
- 2026-11-02: add by m2/dev
Powers of the basic quadratic phase MZQHPKCQVJ
| URI | m2://inv/MZQHPKCQVJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10583#DOJX, Powers of the basic quadratic phase (statement). In 5BZQS1KY9A/e1, lemma 9.2
History
- 2026-10-29: add by m2/v0.4.10
List of statistics topics MZQRQC9EVZ
| URI | m2://inv/MZQRQC9EVZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#PRGF, List of statistics topics (topic)
History
- 2026-11-02: add by m2/dev
Complex numbers and Euler's identity MZR0TKTJ7A
| URI | m2://inv/MZR0TKTJ7A |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pi#E5CK, Complex numbers and Euler's identity (statement)
History
- 2026-11-02: add by m2/dev
MZR8RMXKAR MZR8RMXKAR
| URI | m2://inv/MZR8RMXKAR |
|---|---|
| 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.32903#XYOO (statement). In S8NB83KQX3/e1, lemma 7
History
- 2026-10-31: add by m2/v0.5.6
Completing the square MZRA20862Z
| URI | m2://inv/MZRA20862Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polynomial topics#V0GP, Completing the square (definition)
History
- 2026-11-02: add by m2/dev
cycle complement graph MZRJC9KYK8
| URI | m2://inv/MZRJC9KYK8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q136039715, cycle complement graph (unknown). Also MathWorld CycleComplementGraph
History
- 2026-10-26: add by m2/dev
MZRMVPQ62D MZRMVPQ62D
| URI | m2://inv/MZRMVPQ62D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33442#3OY4 (statement). In EWY5YPMKA3/e1, lemma 2.3
History
- 2026-10-30: add by m2/v0.4.12
permutohedron MZRQ91GJJ5
| URI | m2://inv/MZRQ91GJJ5 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Permutohedron T06PG3RWC0 |
Mentions
- wikidata: Wikidata Q1710083, permutohedron (unknown). Also MathWorld Permutohedron
- wikipedia: Wikipedia Permutohedron, Permutohedron (object). Also Wikidata Q1710083
History
- 2026-10-26: add by m2/dev
MZRW6Z1P7T MZRW6Z1P7T
| URI | m2://inv/MZRW6Z1P7T |
|---|---|
| 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.11056#46A0 (statement). In 1NDB3SAG7K/e1, lemma 5.4
History
- 2026-10-28: add by m2/v0.4.3
MZRYT74WK2 MZRYT74WK2
| URI | m2://inv/MZRYT74WK2 |
|---|---|
| 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 2304.13811#54D1 (definition). In HGKYMFSDEM/e1, definition 8
History
- 2026-10-27: add by m2/v0.4.0
MZS6J22PF0 MZS6J22PF0
| URI | m2://inv/MZS6J22PF0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16554#V6R1 (statement). In GWNT8HEZG1/e1, corollary 2.7
History
- 2026-10-27: add by m2/v0.3.6
Alain-Sol Sznitman MZS6NHCE0X
| URI | m2://inv/MZS6NHCE0X |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alain-Sol Sznitman, Alain-Sol Sznitman (topic). Also Wikidata Q2636350
History
- 2026-11-02: add by m2/dev
MZSBFVP0VX MZSBFVP0VX
| URI | m2://inv/MZSBFVP0VX |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19088#E02Y (problem). In 90QTB4CC31/e1, problem 3.19
History
- 2026-10-28: add by m2/v0.4.2
MZSJBFN2PM MZSJBFN2PM
| URI | m2://inv/MZSJBFN2PM |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21491#4HYK (definition)
History
- 2026-11-02: add by m2/v0.6.18
MZSVWT43J7 MZSVWT43J7
| URI | m2://inv/MZSVWT43J7 |
|---|---|
| Kind | conjecture |
| 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 1304.4839#QSQF (conjecture). In YWS516YD1V/e1, conjecture 1.1
History
- 2026-10-27: add by m2/v0.3.5
J. A. Todd MZSWNW3MG7
| URI | m2://inv/MZSWNW3MG7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of geometers#4B7W, J. A. Todd (unknown)
History
- 2026-11-02: add by m2/dev
Example MZSXJ9CCKF
| URI | m2://inv/MZSXJ9CCKF |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multinomial distribution#L1KK, Example (example)
History
- 2026-11-02: add by m2/dev
David Vernon Widder MZT0ZWY902
| URI | m2://inv/MZT0ZWY902 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#O6HT, David Vernon Widder (topic)
History
- 2026-11-02: add by m2/dev
Lagrange's four-square theorem MZT5MBMN7Y
| URI | m2://inv/MZT5MBMN7Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#FUQ3, Lagrange's four-square theorem (statement)
History
- 2026-11-02: add by m2/dev
almost MZTDVKT2YR
| URI | m2://inv/MZTDVKT2YR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#HAPP, almost (definition)
History
- 2026-11-02: add by m2/dev
Nicholas Varopoulos MZTDWH3MN7
| URI | m2://inv/MZTDWH3MN7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Greek mathematicians#LGQJ, Nicholas Varopoulos (topic)
History
- 2026-11-02: add by m2/dev
Spiral MZTEC0GBAX
| URI | m2://inv/MZTEC0GBAX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#7AZR, Spiral (definition)
- wikipedia: Wikipedia List of curves#79BE, Spiral (definition)
History
- 2026-11-02: add by m2/dev
Great orthogonality theorem MZTENKP8HZ
| URI | m2://inv/MZTENKP8HZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#Y17K, Great orthogonality theorem (definition)
History
- 2026-11-02: add by m2/dev
Examples MZTEP8TM87
| URI | m2://inv/MZTEP8TM87 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Intensive and extensive properties#B3R9, Examples (example)
History
- 2026-11-02: add by m2/dev
MZTFYZTRDH MZTFYZTRDH
| URI | m2://inv/MZTFYZTRDH |
|---|---|
| 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 2601.00910#VMNZ (statement). In 8B1548XAJ4/e1, lemma 2.3
History
- 2026-10-27: add by m2/v0.3.6
Retarded potential MZTQ1F9215
| URI | m2://inv/MZTQ1F9215 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Retarded potential, Retarded potential (definition). Also Wikidata Q1320019
History
- 2026-11-02: add by m2/dev
MZTTPHP9HJ MZTTPHP9HJ
| URI | m2://inv/MZTTPHP9HJ |
|---|---|
| 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.12716#MY13 (statement). In M6BCSQSM3R/e1, fact 1
History
- 2026-10-28: add by m2/v0.4.2
Refined Strichartz estimates MZTZAWTGQ0
| URI | m2://inv/MZTZAWTGQ0 |
|---|---|
| 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 2508.08809#V39X, Refined Strichartz estimates (statement). In X5NX1YEABW/e1, corollary 3.4
History
- 2026-10-27: add by m2/v0.3.5
MZV9MGR3GA MZV9MGR3GA
| URI | m2://inv/MZV9MGR3GA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39951#WQ9S (statement). In H343T48ZWE/e1, proposition 4.4
History
- 2026-10-30: add by m2/v0.4.12
MZVBJBQWB5 MZVBJBQWB5
| URI | m2://inv/MZVBJBQWB5 |
|---|---|
| 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 2303.13891#3TKP (statement). In TC91C5DGTG/e1, corollary 6
History
- 2026-10-27: add by m2/v0.3.5
MZVD73JWW9 MZVD73JWW9
| URI | m2://inv/MZVD73JWW9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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.29877#EFPZ (statement)
History
- 2026-11-01: add by m2/v0.6.15
MZVEKFD0NR MZVEKFD0NR
| URI | m2://inv/MZVEKFD0NR |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-308 (exercise). In VNMV985MXX, exercise, section 6.7
History
- 2026-11-01: add by m2/v0.6.13
Vladimir Kanovei MZVEQ073DS
| URI | m2://inv/MZVEQ073DS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vladimir Kanovei, Vladimir Kanovei (topic). Also Wikidata Q7938386
History
- 2026-11-02: add by m2/dev
MZVFES3MD9 MZVFES3MD9
| URI | m2://inv/MZVFES3MD9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26357#Q0I6 (statement)
History
- 2026-11-01: add by m2/v0.6.15
MZVH3QG834 MZVH3QG834
| URI | m2://inv/MZVH3QG834 |
|---|---|
| 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 2502.09442#YVAK (statement). In DNT32YYDM4/e1, corollary 1
History
- 2026-10-27: add by m2/v0.4.0
MZVQ8KN0W3 MZVQ8KN0W3
| URI | m2://inv/MZVQ8KN0W3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23343#D96M (statement)
History
- 2026-11-02: add by m2/v0.6.17
JAMA MZVT2B3Y2G
| URI | m2://inv/MZVT2B3Y2G |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of open-source software for mathematics#UX1I, JAMA (unknown)
History
- 2026-11-02: add by m2/dev
MZVTJ04P20 MZVTJ04P20
| URI | m2://inv/MZVTJ04P20 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 16-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 2306.12846#F8O7 (example). In D6XA7JXZF3/e1, example 3.7
History
- 2026-10-27: add by m2/v0.3.5
leaf MZW2MF00J0
| URI | m2://inv/MZW2MF00J0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#S08J, leaf (definition)
History
- 2026-11-02: add by m2/dev
MZWH1V48JW MZWH1V48JW
| URI | m2://inv/MZWH1V48JW |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-129 (exercise). In VNMV985MXX, exercise, section 2.4
History
- 2026-11-01: add by m2/v0.6.13
Legendre differential equation MZWKYS739K
| URI | m2://inv/MZWKYS739K |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3730891, Legendre differential equation (concept). Also MathWorld LegendreDifferentialEquation
History
- 2026-10-26: add by m2/dev
Pythagorean theorem MZWPK6MGX8
| URI | m2://inv/MZWPK6MGX8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pythagorean theorem#XF6X, Pythagorean theorem (statement)
History
- 2026-11-02: add by m2/dev
MZX0JJ3ZG0 MZX0JJ3ZG0
| URI | m2://inv/MZX0JJ3ZG0 |
|---|---|
| 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.20242#1E71 (statement). In TAX627CRH2/e1, proposition 2.2
History
- 2026-10-27: add by m2/v0.4.2
gyroelongated pentagonal bicupola MZX6RF25QZ
| URI | m2://inv/MZX6RF25QZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2276738, gyroelongated pentagonal bicupola (object). Also MathWorld GyroelongatedPentagonalBicupola
- wikipedia: Wikipedia Gyroelongated pentagonal bicupola, Gyroelongated pentagonal bicupola (definition). Also Wikidata Q2276738
History
- 2026-10-26: add by m2/dev
Three Lynx, Oregon MZXKBYMG9B
| URI | m2://inv/MZXKBYMG9B |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#FFDN, Three Lynx, Oregon (unknown)
History
- 2026-11-02: add by m2/dev
List of impossible puzzles MZXTQAYGA9
| URI | m2://inv/MZXTQAYGA9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of impossible puzzles, List of impossible puzzles (topic). Also Wikidata Q6623918
History
- 2026-11-02: add by m2/dev
MZY0R9NAPZ MZY0R9NAPZ
| URI | m2://inv/MZY0R9NAPZ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_genfunction_exercises.ptx#exercise-16 (exercise). In QKM9DD2H56, exercise, section 8
History
- 2026-11-01: add by m2/v0.6.13
MZY25NGEN0 MZY25NGEN0
| URI | m2://inv/MZY25NGEN0 |
|---|---|
| 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 dg-ga/9612010#T13Q (statement). In CM39SWC4A6/e1, corollary C
History
- 2026-10-27: add by m2/v0.3.5
Tail estimate MZY4N4KZJX
| URI | m2://inv/MZY4N4KZJX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.10840#TYDW, Tail estimate (statement). In P0HKF5DY7M/e1, lemma B.1
History
- 2026-10-27: add by m2/v0.3.5
Examples MZY5F27VYG
| URI | m2://inv/MZY5F27VYG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Derived algebraic geometry#9WSA, Examples (example)
History
- 2026-11-02: add by m2/dev
Example MZYARMPRPT
| URI | m2://inv/MZYARMPRPT |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multilinear map#9GJ0, Example (example)
History
- 2026-11-02: add by m2/dev
A criterion for the Poincar\'e inequality MZYCCR8Z9Y
| URI | m2://inv/MZYCCR8Z9Y |
|---|---|
| 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.32585#8BAZ, A criterion for the Poincar\'e inequality (statement). In FJFJ3WR1SS/e1, lemma 7.6
History
- 2026-10-31: add by m2/v0.5.6
Roberto Longo MZYFCM3W0Y
| URI | m2://inv/MZYFCM3W0Y |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q74576041, Roberto Longo (unknown). Also nLab Roberto Longo
- wikipedia: Wikipedia Roberto Longo (mathematician), Roberto Longo (topic). Also Wikidata Q74576041
History
- 2026-10-26: add by m2/dev
Oscillatory integral operator MZYTFE87F0
| URI | m2://inv/MZYTFE87F0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Fourier analysis topics#8YJZ, Oscillatory integral operator (definition)
History
- 2026-11-02: add by m2/dev
Notation MZZ03NKBXH
| URI | m2://inv/MZZ03NKBXH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geometrical properties of polynomial roots#SVBS, Notation (definition)
History
- 2026-11-02: add by m2/dev
MZZ1Q4TX67 MZZ1Q4TX67
| URI | m2://inv/MZZ1Q4TX67 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33250#P4RE (statement). In JCTD510XJ0/e1, proposition 4.4
History
- 2026-10-30: add by m2/v0.4.12
MZZ6DR20T8 MZZ6DR20T8
| URI | m2://inv/MZZ6DR20T8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13745#LFF6 (statement). In CFJH0Q39FZ/e1, proposition 6.1
History
- 2026-10-28: add by m2/v0.4.2
MZZBRXHRZ6 MZZBRXHRZ6
| URI | m2://inv/MZZBRXHRZ6 |
|---|---|
| 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 2403.15255#HGA4 (statement). In G691MXMYW0/e1, lemma 3.19
History
- 2026-10-27: add by m2/v0.4.0
MZZCDBBB31 MZZCDBBB31
| URI | m2://inv/MZZCDBBB31 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/lambda-calculus/syntax/eta.tex#thm-1 (statement). In PKGMM3P5QY, thm, section 38.13
History
- 2026-11-01: add by m2/v0.6.13
Randomized pairing estimators MZZCJ0T7PZ
| URI | m2://inv/MZZCJ0T7PZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00448#LLJM, Randomized pairing estimators (statement). In N06J7GC05Q/e1, lemma 5.6
History
- 2026-10-30: add by m2/v0.4.12
MZZG3A0F50 MZZG3A0F50
| URI | m2://inv/MZZG3A0F50 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31527#NJ5F (statement). In ZQ2YZ4P6P5/e1, proposition 2.2
History
- 2026-10-31: add by m2/v0.5.6
MZZJQ1DYMP MZZJQ1DYMP
| URI | m2://inv/MZZJQ1DYMP |
|---|---|
| Kind | example |
| 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 2308.05066#RQK1 (example). In 1QSCT53ZED/e1, example 4.8
History
- 2026-10-27: add by m2/v0.4.0
Uses MZZY3WWJTS
| URI | m2://inv/MZZY3WWJTS |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Circulation (physics)#M389, Uses (example)
History
- 2026-11-02: add by m2/dev
Mean of circular quantities MZZYTQ4TXJ
| URI | m2://inv/MZZYTQ4TXJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#NCME, Mean of circular quantities (definition)
History
- 2026-11-02: add by m2/dev