Inventory rows V3
The cards of the rows of the inventory whose ids start with V3. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
V30C89G68A V30C89G68A
| URI | m2://inv/V30C89G68A |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33219#OXFC (example). In ETTQWMJZXJ/e1, example 1
History
- 2026-10-30: add by m2/v0.4.12
V30HBDSNYD V30HBDSNYD
| URI | m2://inv/V30HBDSNYD |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 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 2609.30637#23AW (example). In 6G1KBA0SXV/e1, example 2.6
History
- 2026-10-31: add by m2/v0.5.6
V30JWAJPMD V30JWAJPMD
| URI | m2://inv/V30JWAJPMD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/cats/abelian.tex#definition-6 (definition). In RZP28ERRZV, definition, section 35.3
History
- 2026-11-01: add by m2/v0.6.13
Examples V30MJHTTFF
| URI | m2://inv/V30MJHTTFF |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Axonometry#ZPOX, Examples (example)
History
- 2026-11-02: add by m2/dev
Compatible characters of conductor $T$ V30Q1DJ90J
| URI | m2://inv/V30Q1DJ90J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30301#R2LQ, Compatible characters of conductor $T$ (statement). In 7NS75J7HAM/e1, proposition 7.5
History
- 2026-10-31: add by m2/v0.5.6
complete tree V30QWDSR9C
| URI | m2://inv/V30QWDSR9C |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q29791660, complete tree (unknown). Also MathWorld CompleteTree
History
- 2026-10-26: add by m2/dev
V30SSYWDMD V30SSYWDMD
| URI | m2://inv/V30SSYWDMD |
|---|---|
| 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.32439#PRD7 (statement). In GD8D1YH7K4/e1, theorem 2.6
History
- 2026-10-31: add by m2/v0.5.6
V30VDKVT61 V30VDKVT61
| URI | m2://inv/V30VDKVT61 |
|---|---|
| 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 2506.08233#VPFQ (statement). In 2TXXQ2575Y/e1, theorem 3.1
History
- 2026-10-27: add by m2/v0.3.5
Gerhard Gentzen V30X8MZT9T
| URI | m2://inv/V30X8MZT9T |
|---|---|
| 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 Q60502, Gerhard Gentzen (unknown). Also nLab Gerhard Gentzen, ProofWiki Mathematician:Gerhard_Karl_Erich_Gentzen
- wikipedia: Wikipedia Gerhard Gentzen, Gerhard Gentzen (topic). Also Wikidata Q60502
History
- 2026-10-26: add by m2/dev
Two-dimensional figure V30XVBFVBR
| URI | m2://inv/V30XVBFVBR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shape#A2MD, Two-dimensional figure (unknown)
History
- 2026-11-02: add by m2/dev
Tonelli's theorem for non-negative measurable functions V30ZREJGEQ
| URI | m2://inv/V30ZREJGEQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fubini's theorem#H5QM, Tonelli's theorem for non-negative measurable functions (statement)
History
- 2026-11-02: add by m2/dev
Non-recursive Primal Update V310GHPAQC
| URI | m2://inv/V310GHPAQC |
|---|---|
| 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.33814#9ZRB, Non-recursive Primal Update (statement). In WG5RT5PRNB/e1, lemma 1
History
- 2026-10-30: add by m2/v0.4.12
V311D5KC2D V311D5KC2D
| URI | m2://inv/V311D5KC2D |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 16-XX, 18-XX, 19-XX, 20-XX, 22-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 2410.14097#LM3G (example). In H52QQS8WZA/e1, example 3.9
History
- 2026-10-27: add by m2/v0.3.5
Ky Fan lemma V3166QEAS2
| URI | m2://inv/V3166QEAS2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of lemmas#8OZ8, Ky Fan lemma (statement)
History
- 2026-11-02: add by m2/dev
eliminant V316QJH6BY
| URI | m2://inv/V316QJH6BY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of invariant theory#UQJS, eliminant (definition)
History
- 2026-11-02: add by m2/dev
Examples V31JYF10DA
| URI | m2://inv/V31JYF10DA |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Star-shaped polygon#9ULO, Examples (example)
History
- 2026-11-02: add by m2/dev
Lattice hole V31K0WWBJC
| URI | m2://inv/V31K0WWBJC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical properties of points#T2ZS, Lattice hole (unknown)
History
- 2026-11-02: add by m2/dev
Applications V31RWK7N6H
| URI | m2://inv/V31RWK7N6H |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Order statistic#71JU, Applications (example)
History
- 2026-11-02: add by m2/dev
sfat lower bound V31TAC506M
| URI | m2://inv/V31TAC506M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20687#JXM0, sfat lower bound (statement)
History
- 2026-11-02: add by m2/v0.6.18
Cube-decorated graph V31TNXDN59
| URI | m2://inv/V31TNXDN59 |
|---|---|
| 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.00525#TFQX, Cube-decorated graph (definition). In JN34PDDXH8/e1, definition 2.3
History
- 2026-10-30: add by m2/v0.4.12
V31TZV4ZH6 V31TZV4ZH6
| URI | m2://inv/V31TZV4ZH6 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-first-order-ode.tex#example-3 (example). In E9HS8K3A52, example, section 4.1
History
- 2026-11-01: add by m2/v0.6.13
Gantt chart V31VXD7MV8
| URI | m2://inv/V31VXD7MV8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of graphical methods#FTLQ, Gantt chart (unknown)
History
- 2026-11-02: add by m2/dev
V31XQN4KMZ V31XQN4KMZ
| URI | m2://inv/V31XQN4KMZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/incompleteness/representability-in-q/basic-representable.tex#prop:rep-add (statement). In PKGMM3P5QY, prop, section 29.3
History
- 2026-11-01: add by m2/v0.6.13
Jack Edmonds V32B11S75G
| URI | m2://inv/V32B11S75G |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#XJRL, Jack Edmonds (topic)
History
- 2026-11-02: add by m2/dev
Symmetry V32CWZPNT7
| URI | m2://inv/V32CWZPNT7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fourier transform#P41Z, Symmetry (statement)
History
- 2026-11-02: add by m2/dev
V32KWA9MPS V32KWA9MPS
| URI | m2://inv/V32KWA9MPS |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27518#AOCS (example)
History
- 2026-11-01: add by m2/v0.6.15
V32QJH60PW V32QJH60PW
| URI | m2://inv/V32QJH60PW |
|---|---|
| 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.21009#ZRUB (statement). In 23G8VNDWDM/e1, theorem 3.2
History
- 2026-10-27: add by m2/v0.4.2
Tangent estimation event V32RFS1X76
| URI | m2://inv/V32RFS1X76 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31458#P736, Tangent estimation event (statement). In SNWC76WKWT/e1, lemma G.5
History
- 2026-10-31: add by m2/v0.5.6
Gaetano Pietra V32S4E19BJ
| URI | m2://inv/V32S4E19BJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gaetano Pietra, Gaetano Pietra (topic). Also Wikidata Q958725
History
- 2026-11-02: add by m2/dev
Proof using sequences V32SVMAE6G
| URI | m2://inv/V32SVMAE6G |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/compactness.tex#proof-7, Proof using sequences (proof). In RZP28ERRZV, proof, section 95.4
History
- 2026-11-01: add by m2/v0.6.13
V32TX2EDQK V32TX2EDQK
| URI | m2://inv/V32TX2EDQK |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-49 (exercise). In VNMV985MXX, exercise, section 1.6
History
- 2026-11-01: add by m2/v0.6.13
Adiabatic theorem V3349PMRVW
| URI | m2://inv/V3349PMRVW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#HJAU, Adiabatic theorem (statement)
History
- 2026-11-02: add by m2/dev
Special cases V33695JS21
| URI | m2://inv/V33695JS21 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hadjicostas's formula#13B9, Special cases (statement)
History
- 2026-11-02: add by m2/dev
V33CK4E5G7 V33CK4E5G7
| URI | m2://inv/V33CK4E5G7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-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 2609.37606#1SJ4 (statement). In WNFW6GY38C/e1, corollary 9.8
History
- 2026-10-30: add by m2/v0.4.12
Ky Fan metric V33FDHBGC8
| URI | m2://inv/V33FDHBGC8 |
|---|---|
| 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.26262#CVQO, Ky Fan metric (definition)
History
- 2026-11-01: add by m2/v0.6.15
V33HTMAX0N V33HTMAX0N
| URI | m2://inv/V33HTMAX0N |
|---|---|
| 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.14838#1VJC (statement). In J7ZX3WWRQP/e1, proposition 2.32
History
- 2026-10-28: add by m2/v0.4.2
Mean and Variance for the log-partition function V33PCYHE11
| URI | m2://inv/V33PCYHE11 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2109.12716#JGOX, Mean and Variance for the log-partition function (statement). In 6X76XBE3HV/e1, theorem 1.1
History
- 2026-10-27: add by m2/v0.3.5
V33R96KCV6 V33R96KCV6
| URI | m2://inv/V33R96KCV6 |
|---|---|
| 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 1903.07030#G1TB (definition). In 9H45HQE7AZ/e1, definition 2.13
History
- 2026-10-27: add by m2/v0.3.5
Semantic --- \textsc{Var V33WEHN036
| URI | m2://inv/V33WEHN036 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21131#7CMN, Semantic --- \textsc{Var (statement). In CPYWHRTPKC/e1, lemma 7.36
History
- 2026-10-27: add by m2/v0.4.2
V33YBR30SV V33YBR30SV
| URI | m2://inv/V33YBR30SV |
|---|---|
| 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 math/9201244#MYBW (statement). In 7D3HCN21MK/e1, theorem 3.1
History
- 2026-10-27: add by m2/v0.3.5
V346KHFB4F V346KHFB4F
| URI | m2://inv/V346KHFB4F |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2405.14678#9PFP (example). In 9ZSNSJRJ5N/e1, example 48
History
- 2026-10-27: add by m2/v0.4.2
Projective line V348JZT92G
| URI | m2://inv/V348JZT92G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic geometry topics#UDXH, Projective line (definition)
History
- 2026-11-02: add by m2/dev
Relation of $\psi$ and $\varphi$ V349TM53TA
| URI | m2://inv/V349TM53TA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21508#8YQM, Relation of $\psi$ and $\varphi$ (statement)
History
- 2026-11-02: add by m2/v0.6.18
Field equations from the Kaluza hypothesis V34EHAFYPT
| URI | m2://inv/V34EHAFYPT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kaluza–Klein theory#F92U, Field equations from the Kaluza hypothesis (statement)
History
- 2026-11-02: add by m2/dev
Local confluence V34PMVM5ZQ
| URI | m2://inv/V34PMVM5ZQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Confluence (abstract rewriting)#PNXE, Local confluence (unknown)
History
- 2026-11-02: add by m2/dev
V34PRFHM9Z V34PRFHM9Z
| URI | m2://inv/V34PRFHM9Z |
|---|---|
| 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.35095#4PSY (statement). In MM3XTWS35F/e1, proposition 1
History
- 2026-10-30: add by m2/v0.4.12
Pentagramma mirificum V34W3W0NM2
| URI | m2://inv/V34W3W0NM2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pentagramma mirificum, Pentagramma mirificum (definition). Also Wikidata Q60170081
History
- 2026-11-02: add by m2/dev
Variants V356EKVN1S
| URI | m2://inv/V356EKVN1S |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stellar parallax#G6XO, Variants (statement)
History
- 2026-11-02: add by m2/dev
Jeffrey Brock V35FPVKQF9
| URI | m2://inv/V35FPVKQF9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jeffrey Brock, Jeffrey Brock (topic). Also Wikidata Q15820932
History
- 2026-11-02: add by m2/dev
V35QJTS33A V35QJTS33A
| URI | m2://inv/V35QJTS33A |
|---|---|
| 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 2306.00212#W7YS (statement). In C9GG9C1X65/e1, lemma 23
History
- 2026-10-27: add by m2/v0.3.5
Effective population size V360W0B4AK
| URI | m2://inv/V360W0B4AK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Effective population size, Effective population size (definition). Also Wikidata Q1295959
History
- 2026-11-02: add by m2/dev
V36BKZV2DP V36BKZV2DP
| URI | m2://inv/V36BKZV2DP |
|---|---|
| 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#6364 (statement). In QPM0GQYNZ9/e1, theorem 6.1
History
- 2026-10-28: add by m2/v0.4.2
ESPACE V36PHD0DXC
| URI | m2://inv/V36PHD0DXC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia ESPACE, ESPACE (definition). Also Wikidata Q3298658
History
- 2026-11-02: add by m2/dev
Consistency of the projected tail V36QDM0ST7
| URI | m2://inv/V36QDM0ST7 |
|---|---|
| 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.10484#GL9D, Consistency of the projected tail (statement). In 5B4AX4SF88/e1, lemma 4.10
History
- 2026-10-29: add by m2/v0.4.10
Binary constraint V36S2AAPXE
| URI | m2://inv/V36S2AAPXE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Binary constraint, Binary constraint (definition). Also Wikidata Q4913885
History
- 2026-11-02: add by m2/dev
V36TBFAKCW V36TBFAKCW
| URI | m2://inv/V36TBFAKCW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07508#TK2Y (statement). In TPA3E67MKK/e1, proposition 9.14
History
- 2026-10-29: add by m2/v0.4.10
Geometry of Euclid's formula V370R01BNF
| URI | m2://inv/V370R01BNF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pythagorean triple#L1QR, Geometry of Euclid's formula (statement)
History
- 2026-11-02: add by m2/dev
Example 2 V3729G10DR
| URI | m2://inv/V3729G10DR |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sharpe ratio#XH1F, Example 2 (example)
History
- 2026-11-02: add by m2/dev
V379SCR8DX V379SCR8DX
| URI | m2://inv/V379SCR8DX |
|---|---|
| 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.36811#81HZ (statement). In ZQDX8E43SQ/e1, proposition 4.9
History
- 2026-10-30: add by m2/v0.4.12
V37DR80B8Q V37DR80B8Q
| URI | m2://inv/V37DR80B8Q |
|---|---|
| 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.17269#59VW (statement). In HENEGTGCJ9/e1, lemma 1
History
- 2026-10-28: add by m2/v0.4.2
Annette Imhausen V37E3EJ4XJ
| URI | m2://inv/V37E3EJ4XJ |
|---|---|
| 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#GVUH, Annette Imhausen (topic)
History
- 2026-11-02: add by m2/dev
V37EZ9VVCR V37EZ9VVCR
| URI | m2://inv/V37EZ9VVCR |
|---|---|
| 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.03288#VU51 (statement). In ZHP1MFSACN/e1, lemma 4.17
History
- 2026-10-29: add by m2/v0.4.12
V37FY0EYDR V37FY0EYDR
| URI | m2://inv/V37FY0EYDR |
|---|---|
| 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 2204.01073#0GK9 (statement). In W4TYN4PGE8/e1, lemma 6.10
History
- 2026-10-27: add by m2/v0.3.5
V37H0QB569 V37H0QB569
| URI | m2://inv/V37H0QB569 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10329#1GLH (statement). In SCSTR1Q1BW/e1, corollary 2.2
History
- 2026-10-29: add by m2/v0.4.10
Johannes Raddatz V37MNQJF54
| URI | m2://inv/V37MNQJF54 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alexander Grothendieck#6ZRD, Johannes Raddatz (unknown)
History
- 2026-11-02: add by m2/dev
Empirical V37PJ8B9XV
| URI | m2://inv/V37PJ8B9XV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#RD3N, Empirical (unknown)
History
- 2026-11-02: add by m2/dev
Definition V37R2WBS81
| URI | m2://inv/V37R2WBS81 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Born rigidity#8REL, Definition (definition)
History
- 2026-11-02: add by m2/dev
Formal definition V37TK6KE5J
| URI | m2://inv/V37TK6KE5J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia P/poly#E53D, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
Jackson A. Rigney V382PMM0VK
| URI | m2://inv/V382PMM0VK |
|---|---|
| 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#W51F, Jackson A. Rigney (unknown)
History
- 2026-11-02: add by m2/dev
Theorem V38A076QE6
| URI | m2://inv/V38A076QE6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sobolev space#7K6N, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Theorem V38ES5JZGB
| URI | m2://inv/V38ES5JZGB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glivenko–Cantelli theorem#K89J, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Boundary subdifferential ray V38W5HQDH0
| URI | m2://inv/V38W5HQDH0 |
|---|---|
| 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.17519#GHEU, Boundary subdifferential ray (statement). In H2DNTQ5MKV/e1, lemma 4.3
History
- 2026-10-28: add by m2/v0.4.2
V398FATTXT V398FATTXT
| URI | m2://inv/V398FATTXT |
|---|---|
| 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 2609.37489#F137 (definition). In 5ZC91T5PHQ/e1, definition
History
- 2026-10-30: add by m2/v0.4.12
Grazing singularity V39AEJX6HR
| URI | m2://inv/V39AEJX6HR |
|---|---|
| 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.21328#SQ76, Grazing singularity (statement). In BJXVV4ZF7B/e1, theorem 1.4
History
- 2026-10-27: add by m2/v0.4.2
V39EW7JCA1 V39EW7JCA1
| URI | m2://inv/V39EW7JCA1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/TasteNumberTheory.tex#thm:divides sum (statement). In P1C114YBXG, theorem, section J
History
- 2026-11-01: add by m2/v0.6.13
Generalizations V39K3BRJ0D
| URI | m2://inv/V39K3BRJ0D |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Transversal (combinatorics)#8M5P, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Coordinate systems for the hyperbolic plane V3A8SZ9YXD
| URI | m2://inv/V3A8SZ9YXD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coordinate systems for the hyperbolic plane, Coordinate systems for the hyperbolic plane (definition). Also Wikidata Q25304724
History
- 2026-11-02: add by m2/dev
V3A9D5T4P4 V3A9D5T4P4
| URI | m2://inv/V3A9D5T4P4 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16583#UNUX (definition). In 4RPXT0YCS5/e1, definition 2.2
History
- 2026-10-28: add by m2/v0.4.2
Convex conjugate V3ABK5MGJX
| URI | m2://inv/V3ABK5MGJX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Convex conjugate, Convex conjugate (definition). Also Wikidata Q3075186
History
- 2026-11-02: add by m2/dev
V3ABT3RQBH V3ABT3RQBH
| URI | m2://inv/V3ABT3RQBH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28664#9WZX (statement)
History
- 2026-11-01: add by m2/v0.6.15
V3AGP5K4TG V3AGP5K4TG
| URI | m2://inv/V3AGP5K4TG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02495#L40A (statement). In T4S7XVAJJC/e1, theorem 17.1
History
- 2026-10-29: add by m2/v0.4.12
Goldberg–Seymour conjecture V3AJMC4F92
| URI | m2://inv/V3AJMC4F92 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#3GPK, Goldberg–Seymour conjecture (statement)
History
- 2026-11-02: add by m2/dev
Robert Joshua Rubin V3AK2PFAX2
| URI | m2://inv/V3AK2PFAX2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Robert Joshua Rubin, Robert Joshua Rubin (topic). Also Wikidata Q104177295
History
- 2026-11-02: add by m2/dev
Ankeny–Artin–Chowla congruence V3AM8HHSRG
| URI | m2://inv/V3AM8HHSRG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Emil Artin#L7XG, Ankeny–Artin–Chowla congruence (definition)
History
- 2026-11-02: add by m2/dev
V3ANT0GBD2 V3ANT0GBD2
| URI | m2://inv/V3ANT0GBD2 |
|---|---|
| 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 2401.00191#OGN1 (definition). In ZMH2KJDAWJ/e1, definition 2.8
History
- 2026-10-27: add by m2/v0.3.5
Hopfian group V3AZ1N5NPG
| URI | m2://inv/V3AZ1N5NPG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hopfian group, Hopfian group (definition). Also Wikidata Q5900529
History
- 2026-11-02: add by m2/dev
Piergiorgio Odifreddi V3B3T4AH55
| URI | m2://inv/V3B3T4AH55 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Piergiorgio Odifreddi, Piergiorgio Odifreddi (topic). Also Wikidata Q929145
History
- 2026-11-02: add by m2/dev
V3B472NF9G V3B472NF9G
| URI | m2://inv/V3B472NF9G |
|---|---|
| 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.31269#4MEQ (statement). In ZPT9XCCAPQ/e1, lemma A.0.2
History
- 2026-10-31: add by m2/v0.5.6
Postmodern Mathematics V3B9TQVCR7
| URI | m2://inv/V3B9TQVCR7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Philosophy of mathematics#G7XI, Postmodern Mathematics (unknown)
History
- 2026-11-02: add by m2/dev
V3BBGHKCBA V3BBGHKCBA
| URI | m2://inv/V3BBGHKCBA |
|---|---|
| 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.00271#7NLZ (statement). In T1NSCAZS28/e1, corollary 4.4
History
- 2026-10-30: add by m2/v0.4.12
V3BBY8G5B4 V3BBY8G5B4
| URI | m2://inv/V3BBY8G5B4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 19-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 2504.00596#DJ00 (statement). In F8RC6AENB0/e1, corollary 5.2
History
- 2026-10-27: add by m2/v0.3.5
Method V3BS7BYAFS
| URI | m2://inv/V3BS7BYAFS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Binary splitting#59DE, Method (definition)
History
- 2026-11-02: add by m2/dev
order, total, on natural numbers V3BSE41GH2
| URI | m2://inv/V3BSE41GH2 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/B.11/order-total-on-natural-numbers, order, total, on natural numbers (concept). In QKM9DD2H56, index, section B.11
History
- 2026-11-01: add by m2/v0.6.13
Linde–Buzo–Gray algorithm V3C4H9MZS3
| URI | m2://inv/V3C4H9MZS3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#N3ZI, Linde–Buzo–Gray algorithm (unknown)
History
- 2026-11-02: add by m2/dev
Fréchet differentiability in the strong-to-weak sense V3CA03GFP4
| URI | m2://inv/V3CA03GFP4 |
|---|---|
| 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.27484#6M4S, Fréchet differentiability in the strong-to-weak sense (definition)
History
- 2026-11-01: add by m2/v0.6.15
Formal definition V3CACB7X86
| URI | m2://inv/V3CACB7X86 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Prime end#CM9W, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
Pumping lemma V3CHRY5DT2
| URI | m2://inv/V3CHRY5DT2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tree automaton#0ZUZ, Pumping lemma (statement)
History
- 2026-11-02: add by m2/dev
V3CPC4XK9W V3CPC4XK9W
| URI | m2://inv/V3CPC4XK9W |
|---|---|
| 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#XL5E (statement). In BKPSH4CD9K/e1, theorem A.1
History
- 2026-10-29: add by m2/v0.4.10
Rogers–Szegő polynomials V3CQTXDNYS
| URI | m2://inv/V3CQTXDNYS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rogers–Szegő polynomials, Rogers–Szegő polynomials (definition). Also Wikidata Q7359379
History
- 2026-11-02: add by m2/dev
Construction V3CX931HCH
| URI | m2://inv/V3CX931HCH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Higman–Sims group#AW20, Construction (definition)
History
- 2026-11-02: add by m2/dev
V3D02J6BTA V3D02J6BTA
| URI | m2://inv/V3D02J6BTA |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11395#DVJW (example). In T3W7SMWQ73/e1, example 11
History
- 2026-10-28: add by m2/v0.4.3
de Morgan's laws V3D33NFC8M
| URI | m2://inv/V3D33NFC8M |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/A.11/de-morgan-s-laws, de Morgan's laws (concept). In N54F33XE07, index, section A.11
History
- 2026-11-01: add by m2/v0.6.13
Lorenzo Respighi V3D5SEA7J6
| URI | m2://inv/V3D5SEA7J6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lorenzo Respighi, Lorenzo Respighi (topic). Also Wikidata Q1398937
History
- 2026-11-02: add by m2/dev
V3D5YSJHNG V3D5YSJHNG
| URI | m2://inv/V3D5YSJHNG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#prop:shlocal (statement). In VNMV985MXX, prop, section 2.4
History
- 2026-11-01: add by m2/v0.6.13
Kirby–Siebenmann class V3DNVTG9D2
| URI | m2://inv/V3DNVTG9D2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kirby–Siebenmann class, Kirby–Siebenmann class (definition). Also Wikidata Q6414983
History
- 2026-11-02: add by m2/dev
V3DSNRWQE4 V3DSNRWQE4
| URI | m2://inv/V3DSNRWQE4 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2401.13523#D26O (example). In DDA62XQTWW/e1, example 2.11
History
- 2026-10-27: add by m2/v0.3.5
V3DWB4JF02 V3DWB4JF02
| URI | m2://inv/V3DWB4JF02 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus source/sec-7-4-separable.xml#Ex-7-4-2 (example). In 907G4C4EJ1, example, section 7.4.2
History
- 2026-11-01: add by m2/v0.6.13
V3DZ2NZTQC V3DZ2NZTQC
| URI | m2://inv/V3DZ2NZTQC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36113#WBK1 (statement). In FSGSVD0XYH/e1, proposition 6
History
- 2026-10-30: add by m2/v0.4.12
Lemma A. V3EJ5MEWVB
| URI | m2://inv/V3EJ5MEWVB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lindemann–Weierstrass theorem#77BH, Lemma A. (statement)
History
- 2026-11-02: add by m2/dev
V3EP3ZGD4S V3EP3ZGD4S
| URI | m2://inv/V3EP3ZGD4S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13658#KJXD (statement). In R9BC934K3E/e1, corollary A.6
History
- 2026-10-28: add by m2/v0.4.2
Riemannian singular value decomposition V3EQ84FD68
| URI | m2://inv/V3EQ84FD68 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Bernhard Riemann#A5MG, Riemannian singular value decomposition (unknown)
History
- 2026-11-02: add by m2/dev
Braess's paradox V3F3G76JGY
| URI | m2://inv/V3F3G76JGY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Price of anarchy#FUHK, Braess's paradox (statement)
History
- 2026-11-02: add by m2/dev
V3F6B9SJC6 V3F6B9SJC6
| URI | m2://inv/V3F6B9SJC6 |
|---|---|
| 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 2610.12565#S5UK (statement). In 9RYQ164FWA/e1, lemma 8
History
- 2026-10-28: add by m2/v0.4.2
Full upper frontier V3F8VAKMH1
| URI | m2://inv/V3F8VAKMH1 |
|---|---|
| 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.20187#7XG9, Full upper frontier (statement). In N280AVNNBY/e1, corollary 4.2
History
- 2026-10-27: add by m2/v0.4.2
Grigory Margulis V3FA4AS667
| URI | m2://inv/V3FA4AS667 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#DC9Q, Grigory Margulis (topic)
History
- 2026-11-02: add by m2/dev
V3FB5S94SH V3FB5S94SH
| URI | m2://inv/V3FB5S94SH |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/compactness.tex#ques-1 (exercise). In RZP28ERRZV, ques, section 95.1
History
- 2026-11-01: add by m2/v0.6.13
History graph V3FC96Z2PP
| URI | m2://inv/V3FC96Z2PP |
|---|---|
| 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.31336#V5X4, History graph (definition). In 70RV7J456D/e1, definition 12
History
- 2026-10-31: add by m2/v0.5.6
V3FDWTXJYY V3FDWTXJYY
| URI | m2://inv/V3FDWTXJYY |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises7-3.xml#exercise-5 (exercise). In 649HGZKE96, exercise, section 7.3
History
- 2026-11-01: add by m2/v0.6.13
Sergei Konyagin V3FH787059
| URI | m2://inv/V3FH787059 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sergei Konyagin, Sergei Konyagin (topic). Also Wikidata Q7453591
History
- 2026-11-02: add by m2/dev
Enigma machine V3FNXTB0K1
| URI | m2://inv/V3FNXTB0K1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cryptosystems#M97O, Enigma machine (definition)
History
- 2026-11-02: add by m2/dev
V3FQYPSRQ4 V3FQYPSRQ4
| URI | m2://inv/V3FQYPSRQ4 |
|---|---|
| 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.07927#R7ST (statement). In GKM19DHQTM/e1, proposition 6.41
History
- 2026-10-29: add by m2/v0.4.10
GroovyLab V3FSFB1CC0
| URI | m2://inv/V3FSFB1CC0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical-analysis software#47N2, GroovyLab (unknown)
History
- 2026-11-02: add by m2/dev
V3FVHVH3FB V3FVHVH3FB
| URI | m2://inv/V3FVHVH3FB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2402.08944#565M (statement). In D8QFZG5R1D/e1, lemma 2.5
History
- 2026-10-27: add by m2/v0.3.6
Ebbinghaus, Hermann V3G08HX5JZ
| URI | m2://inv/V3G08HX5JZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#FU5F, Ebbinghaus, Hermann (unknown)
History
- 2026-11-02: add by m2/dev
V3G0DJGW0W V3G0DJGW0W
| URI | m2://inv/V3G0DJGW0W |
|---|---|
| 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.19861#C6FX (statement). In 5ZPQ60TM6J/e1, theorem 6
History
- 2026-10-28: add by m2/v0.4.2
Alex Biryukov V3G3ETPDYN
| URI | m2://inv/V3G3ETPDYN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alex Biryukov, Alex Biryukov (topic). Also Wikidata Q2832904
History
- 2026-11-02: add by m2/dev
Stochastic drift V3G8TEPPS4
| URI | m2://inv/V3G8TEPPS4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stochastic drift, Stochastic drift (definition). Also Wikidata Q7617815
History
- 2026-11-02: add by m2/dev
V3GB37XDKY V3GB37XDKY
| URI | m2://inv/V3GB37XDKY |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book homotopy.tex#proof-14 (proof). In N54F33XE07, proof, section 7.3
History
- 2026-11-01: add by m2/v0.6.13
Prasanta Chandra Mahalanobis V3GE0M1K46
| URI | m2://inv/V3GE0M1K46 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Prasanta Chandra Mahalanobis, Prasanta Chandra Mahalanobis (topic). Also Wikidata Q561478
History
- 2026-11-02: add by m2/dev
V3GW4HBYW3 V3GW4HBYW3
| URI | m2://inv/V3GW4HBYW3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12817#ZLPW (statement). In FPSGZ5S6YF/e1, theorem 2.8
History
- 2026-10-28: add by m2/v0.4.2
V3H20RZ4CE V3H20RZ4CE
| URI | m2://inv/V3H20RZ4CE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 16-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14060#DK5L (statement). In X47RYAZF8P/e1, lemma 11.2
History
- 2026-10-28: add by m2/v0.4.2
V3H4KQR10F V3H4KQR10F
| URI | m2://inv/V3H4KQR10F |
|---|---|
| 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.24023#7BGD (statement)
History
- 2026-11-02: add by m2/v0.6.17
V3HA4VR8PG V3HA4VR8PG
| URI | m2://inv/V3HA4VR8PG |
|---|---|
| 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#K0KV (statement). In 8SVVEVGMNE/e1, proposition 3.5
History
- 2026-10-27: add by m2/v0.3.5
V3HC9WZZEF V3HC9WZZEF
| URI | m2://inv/V3HC9WZZEF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/computability/recursive-functions/pr-functions.tex#prop-1 (statement). In PKGMM3P5QY, prop, section 3.30
History
- 2026-11-01: add by m2/v0.6.13
Properties V3HG0B5QK0
| URI | m2://inv/V3HG0B5QK0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sigma-additive set function#2P26, Properties (statement)
History
- 2026-11-02: add by m2/dev
Ziv–Zakai bound V3HRDQEBN8
| URI | m2://inv/V3HRDQEBN8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ziv–Zakai bound, Ziv–Zakai bound (definition). Also Wikidata Q134966232
History
- 2026-11-02: add by m2/dev
V3HRP7XT5R V3HRP7XT5R
| URI | m2://inv/V3HRP7XT5R |
|---|---|
| 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.13798#WIUU (statement). In GF2MA6Y29D/e1, theorem 1.4
History
- 2026-10-28: add by m2/v0.4.2
Gould polynomials V3HV57Q4VD
| URI | m2://inv/V3HV57Q4VD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gould polynomials, Gould polynomials (definition). Also Wikidata Q5588295
History
- 2026-11-02: add by m2/dev
V3HW3ZC1J4 V3HW3ZC1J4
| URI | m2://inv/V3HW3ZC1J4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book hits.tex#lem-1 (statement). In N54F33XE07, lem, section 5.5
History
- 2026-11-01: add by m2/v0.6.13
Sofia Vasilyevna Kovalevskaya V3J4JFJ12Z
| URI | m2://inv/V3J4JFJ12Z |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of geometers#NACE, Sofia Vasilyevna Kovalevskaya (topic)
History
- 2026-11-02: add by m2/dev
V3J61ZYF62 V3J61ZYF62
| URI | m2://inv/V3J61ZYF62 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21191#XTV4 (definition)
History
- 2026-11-02: add by m2/v0.6.18
Extremizers for Chv\'atal V3J7HD088J
| URI | m2://inv/V3J7HD088J |
|---|---|
| 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.23595#931C, Extremizers for Chv\'atal (statement)
History
- 2026-11-02: add by m2/v0.6.17
V3J8XHVG06 V3J8XHVG06
| URI | m2://inv/V3J8XHVG06 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21414#E89U (statement)
History
- 2026-11-02: add by m2/v0.6.18
V3JB1V4FSF V3JB1V4FSF
| URI | m2://inv/V3JB1V4FSF |
|---|---|
| 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.09298#1MSP (statement). In 1SPQ4J3AWY/e1, corollary 2.2
History
- 2026-10-29: add by m2/v0.4.10
Application V3JHVKRNZ1
| URI | m2://inv/V3JHVKRNZ1 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Grand mean#HWAL, Application (example)
History
- 2026-11-02: add by m2/dev
Robin Gandy V3JK9RGGHG
| URI | m2://inv/V3JK9RGGHG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#GGUK, Robin Gandy (topic)
History
- 2026-11-02: add by m2/dev
V3JPBGTE4T V3JPBGTE4T
| URI | m2://inv/V3JPBGTE4T |
|---|---|
| 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#Z2AO (statement). In TYS65EG479/e1, lemma 4.1
History
- 2026-10-27: add by m2/v0.3.5
$k$-rigidity V3K0F3TTN4
| URI | m2://inv/V3K0F3TTN4 |
|---|---|
| Kind | definition |
| 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#542Y, $k$-rigidity (definition). In S7PNTM0GZC/e1, definition 1.1
History
- 2026-10-28: add by m2/v0.4.2
Maximum likelihood method V3K0H6H6CN
| URI | m2://inv/V3K0H6H6CN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematics-based methods#S40Q, Maximum likelihood method (definition)
History
- 2026-11-02: add by m2/dev
V3K197C68Q V3K197C68Q
| URI | m2://inv/V3K197C68Q |
|---|---|
| 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.20849#7JE0 (statement). In HK7FV97MFD/e1, theorem 5.5
History
- 2026-10-27: add by m2/v0.4.2
Relevance vector machine V3K2R5FVTS
| URI | m2://inv/V3K2R5FVTS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Relevance vector machine, Relevance vector machine (definition). Also Wikidata Q7310972
History
- 2026-11-02: add by m2/dev
V3K8FEZ4MZ V3K8FEZ4MZ
| URI | m2://inv/V3K8FEZ4MZ |
|---|---|
| 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.27902#0P0W (statement)
History
- 2026-11-01: add by m2/v0.6.15
Algebraicity for the corresponding KZ-type output V3KGFPDM53
| URI | m2://inv/V3KGFPDM53 |
|---|---|
| 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#Y291, Algebraicity for the corresponding KZ-type output (statement)
History
- 2026-11-01: add by m2/v0.6.15
Ratio estimator V3KK4KB4JJ
| URI | m2://inv/V3KK4KB4JJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ratio estimator, Ratio estimator (definition). Also Wikidata Q7295738
History
- 2026-11-02: add by m2/dev
Properties V3KMSTCHKE
| URI | m2://inv/V3KMSTCHKE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nest algebra#VBG5, Properties (statement)
History
- 2026-11-02: add by m2/dev
Lifting positive unitarizability V3KP1PZA08
| URI | m2://inv/V3KP1PZA08 |
|---|---|
| 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#JR85, Lifting positive unitarizability (statement)
History
- 2026-11-01: add by m2/v0.6.15
Schurian coherent configuration on triples V3M1K71JGS
| URI | m2://inv/V3M1K71JGS |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15340#G5XR, Schurian coherent configuration on triples (definition). In 9NVKKW8HDH/e1, definition 3.30
History
- 2026-10-28: add by m2/v0.4.2
Statement V3M862NJEE
| URI | m2://inv/V3M862NJEE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chapman–Robbins bound#A34R, Statement (statement)
History
- 2026-11-02: add by m2/dev
Seven bridges of Königsberg V3M98XHQDK
| URI | m2://inv/V3M98XHQDK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematics history topics#Z0NN, Seven bridges of Königsberg (definition)
History
- 2026-11-02: add by m2/dev
integral over a segment of piecewise continuous functions V3MAQCAKGG
| URI | m2://inv/V3MAQCAKGG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Single Variable Real Analysis > Integration > integral over a segment of piecewise continuous functions, integral over a segment of piecewise continuous functions (unknown)
History
- 2026-10-26: add by m2/dev
V3MC8DG059 V3MC8DG059
| URI | m2://inv/V3MC8DG059 |
|---|---|
| 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.00775#KDD8 (statement). In WVHA7H05QC/e1, theorem 2.4
History
- 2026-10-29: add by m2/v0.4.12
Examples V3N2K9J3W8
| URI | m2://inv/V3N2K9J3W8 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Continuous linear operator#0AIG, Examples (example)
History
- 2026-11-02: add by m2/dev
Jump diffusion V3N3DX5MRJ
| URI | m2://inv/V3N3DX5MRJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability topics#Z0P1, Jump diffusion (definition)
History
- 2026-11-02: add by m2/dev
|X| V3N4W7Y9SY
| URI | m2://inv/V3N4W7Y9SY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#2HMJ, |X| (definition)
History
- 2026-11-02: add by m2/dev
Raegan Higgins V3N7FPAFSA
| URI | m2://inv/V3N7FPAFSA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Raegan Higgins, Raegan Higgins (topic). Also Wikidata Q96363641
History
- 2026-11-02: add by m2/dev
Arithmetic Torsion Conjecture V3N8G0QR0B
| URI | m2://inv/V3N8G0QR0B |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 11-XX, 14-XX, 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30033#W7SJ, Arithmetic Torsion Conjecture (conjecture)
History
- 2026-11-01: add by m2/v0.6.15
Concentration of Exact Policy Update V3NA436G18
| URI | m2://inv/V3NA436G18 |
|---|---|
| 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.22752#9F9A, Concentration of Exact Policy Update (statement)
History
- 2026-11-02: add by m2/v0.6.17
V3NDCATNMS V3NDCATNMS
| URI | m2://inv/V3NDCATNMS |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 13-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 2511.06555#5J1J (example). In 5GDDS20Q3D/e1, example 3.4
History
- 2026-10-27: add by m2/v0.4.0
Diplomatic Wireless Service V3NF1ENDWB
| URI | m2://inv/V3NF1ENDWB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Diplomatic Wireless Service, Diplomatic Wireless Service (definition). Also Wikidata Q5279921
History
- 2026-11-02: add by m2/dev
Method V3NFWE5P8N
| URI | m2://inv/V3NFWE5P8N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multilevel fast multipole method#F6OR, Method (definition)
History
- 2026-11-02: add by m2/dev
V3NMSYY766 V3NMSYY766
| URI | m2://inv/V3NMSYY766 |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 16-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2402.08625#EGP6 (conjecture). In F2Y9SQ2VP4/e1, conjecture 3
History
- 2026-10-27: add by m2/v0.4.0
V3NP5V1FQ0 V3NP5V1FQ0
| URI | m2://inv/V3NP5V1FQ0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2110.11143#NC64 (statement). In VTVC0TCWSB/e1, lemma 6.15
History
- 2026-10-27: add by m2/v0.3.5
Rank n reduced basis V3NSYYRFSM
| URI | m2://inv/V3NSYYRFSM |
|---|---|
| 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.32936#L4SM, Rank n reduced basis (definition). In QDBYK125AB/e1, definition 2
History
- 2026-10-31: add by m2/v0.5.6
Theorem 2 V3NYDMYVDX
| URI | m2://inv/V3NYDMYVDX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Loewy decomposition#43CD, Theorem 2 (statement)
History
- 2026-11-02: add by m2/dev
V3P5JGYBNC V3P5JGYBNC
| URI | m2://inv/V3P5JGYBNC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19300#3DD3 (statement). In S6S4RD5VXJ/e1, lemma 5
History
- 2026-10-28: add by m2/v0.4.2
Beale, Calvin V3P5YTWNK8
| URI | m2://inv/V3P5YTWNK8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#F30G, Beale, Calvin (unknown)
History
- 2026-11-02: add by m2/dev
V3P8D53Y2A V3P8D53Y2A
| URI | m2://inv/V3P8D53Y2A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31607#A30S (statement). In H9X9WZ17TT/e1, theorem
History
- 2026-10-31: add by m2/v0.5.6
Leslie Greengard V3PATQ88WJ
| URI | m2://inv/V3PATQ88WJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#E86P, Leslie Greengard (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#BGPW, Leslie Greengard (topic)
History
- 2026-11-02: add by m2/dev
Exponential algorithm V3PDZ3EA4W
| URI | m2://inv/V3PDZ3EA4W |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Time complexity#5KC1, Exponential algorithm (unknown)
History
- 2026-11-02: add by m2/dev
V3PE8JWVGM V3PE8JWVGM
| URI | m2://inv/V3PE8JWVGM |
|---|---|
| Kind | example |
| 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 2605.29624#H9FN (example). In TAD5A4R089/e1, example 2.5
History
- 2026-10-27: add by m2/v0.3.5
Sample median V3PMXMR2AF
| URI | m2://inv/V3PMXMR2AF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Median#F6NW, Sample median (unknown)
History
- 2026-11-02: add by m2/dev
Fibre-torus data V3PQW5AG8G
| URI | m2://inv/V3PQW5AG8G |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29839#FQYI, Fibre-torus data (definition)
History
- 2026-11-01: add by m2/v0.6.15
V3PS5DKE1J V3PS5DKE1J
| URI | m2://inv/V3PS5DKE1J |
|---|---|
| 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#LG95 (statement). In 8SVVEVGMNE/e1, lemma 4.12
History
- 2026-10-27: add by m2/v0.3.5
Baruch Barzel V3PVYYKB49
| URI | m2://inv/V3PVYYKB49 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Baruch Barzel, Baruch Barzel (topic). Also Wikidata Q20090238
History
- 2026-11-02: add by m2/dev
V3Q2V3QWP3 V3Q2V3QWP3
| URI | m2://inv/V3Q2V3QWP3 |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2106.06387#BORJ (unknown). In 4YJH4FPWDA/e1, unknown 4.7
History
- 2026-10-30: add by m2/v0.4.12
Strategic move V3Q4XZS0Y9
| URI | m2://inv/V3Q4XZS0Y9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Strategic move, Strategic move (definition). Also Wikidata Q7621849
History
- 2026-11-02: add by m2/dev
V3QM4K019N V3QM4K019N
| URI | m2://inv/V3QM4K019N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-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.26269#8KQ9 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Discrete Grad--Mercier problem V3QRA149R8
| URI | m2://inv/V3QRA149R8 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05313#RRE6, Discrete Grad--Mercier problem (definition). In 8XPN1A2GR0/e1, definition 3.2
History
- 2026-10-29: add by m2/v0.4.10
V3QZ9P7VPT V3QZ9P7VPT
| URI | m2://inv/V3QZ9P7VPT |
|---|---|
| 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.36186#VTKK (statement). In 30PQN6JP7W/e1, lemma 25
History
- 2026-10-27: add by m2/v0.3.5
Artin character V3R3P4QZHG
| URI | m2://inv/V3R3P4QZHG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Artin conductor#D242, Artin character (unknown)
History
- 2026-11-02: add by m2/dev
species V3R521H6HZ
| URI | m2://inv/V3R521H6HZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#P0S6, species (definition)
History
- 2026-11-02: add by m2/dev
Theorem V3R5A5FSTB
| URI | m2://inv/V3R5A5FSTB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Łojasiewicz inequality#DF4S, Theorem (statement)
History
- 2026-11-02: add by m2/dev
August Gutzmer V3R6S46H6F
| URI | m2://inv/V3R6S46H6F |
|---|---|
| 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#5G48, August Gutzmer (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#WQ9P, August Gutzmer (topic)
History
- 2026-11-02: add by m2/dev
V3R83ZDPYV V3R83ZDPYV
| URI | m2://inv/V3R83ZDPYV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39330#FK1V (statement). In 7ZTJ23YG7A/e1, theorem 1.3
History
- 2026-10-30: add by m2/v0.4.12
Transportation cost V3R8BX8NP8
| URI | m2://inv/V3R8BX8NP8 |
|---|---|
| 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#ASQ5, Transportation cost (definition)
History
- 2026-11-01: add by m2/v0.6.15
Weierstrass–Casorati theorem V3R9R536PX
| URI | m2://inv/V3R9R536PX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of complex analysis topics#HLGE, Weierstrass–Casorati theorem (statement)
History
- 2026-11-02: add by m2/dev
Nonprincipal ultrafilter V3RA014WF8
| URI | m2://inv/V3RA014WF8 |
|---|---|
| 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 2610.17400#U5F0, Nonprincipal ultrafilter (definition). In 8VDXGR4SVD/e1, definition 6.6
History
- 2026-10-28: add by m2/v0.4.2
A weak two-source parameter direction V3RH06ZH70
| URI | m2://inv/V3RH06ZH70 |
|---|---|
| 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.21301#7DT4, A weak two-source parameter direction (statement). In W7GCDXAK1K/e1, proposition 8
History
- 2026-10-27: add by m2/v0.4.2
Cap size and angular diameter V3RQ9Y4BGT
| URI | m2://inv/V3RQ9Y4BGT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20643#PSE5, Cap size and angular diameter (statement)
History
- 2026-11-02: add by m2/v0.6.18
Definition V3RTQPPCMM
| URI | m2://inv/V3RTQPPCMM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia False positive rate#JWTJ, Definition (definition)
History
- 2026-11-02: add by m2/dev
V3RXNBC3EB V3RXNBC3EB
| URI | m2://inv/V3RXNBC3EB |
|---|---|
| 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 2407.12231#YEQH (statement). In W44N3VEC6H/e1, lemma 1
History
- 2026-10-27: add by m2/v0.3.6
V3RY7YKSPY V3RY7YKSPY
| URI | m2://inv/V3RY7YKSPY |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38548#70EI (definition). In Z7ZFV3HM1S/e1, definition 3.4
History
- 2026-10-30: add by m2/v0.4.12
Secular variation V3RZ6MWHGB
| URI | m2://inv/V3RZ6MWHGB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#H7CD, Secular variation (definition)
History
- 2026-11-02: add by m2/dev
Consistency V3S2XHZY5Y
| URI | m2://inv/V3S2XHZY5Y |
|---|---|
| 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.04600#6E8G, Consistency (definition). In 4V64K0DYSV/e1, definition 3.1
History
- 2026-10-29: add by m2/v0.4.12
Teradata V3S445SHZZ
| URI | m2://inv/V3S445SHZZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Teradata, Teradata (definition). Also Wikidata Q430745
History
- 2026-11-02: add by m2/dev
\myindex{Local parametrization theorem} V3S5AK4FVS
| URI | m2://inv/V3S5AK4FVS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#localparthm, \myindex{Local parametrization theorem} (statement). In VNMV985MXX, thm, section 6.7
History
- 2026-11-01: add by m2/v0.6.13
Example V3S9BE7YKK
| URI | m2://inv/V3S9BE7YKK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tajima's D#028W, Example (example)
History
- 2026-11-02: add by m2/dev
Dmitry Kramkov V3SDMZPY4B
| URI | m2://inv/V3SDMZPY4B |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dmitry Kramkov, Dmitry Kramkov (topic). Also Wikidata Q1232565
History
- 2026-11-02: add by m2/dev
Alternating operator V3SG02S3GA
| URI | m2://inv/V3SG02S3GA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exterior algebra#OO1Y, Alternating operator (unknown)
History
- 2026-11-02: add by m2/dev
V3SJHPXEE3 V3SJHPXEE3
| URI | m2://inv/V3SJHPXEE3 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 49-XX, 65-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02901#K9CR (example). In NSP90G5XCQ/e1, example 2.7
History
- 2026-10-29: add by m2/v0.4.12
V3SP4ZRHVX V3SP4ZRHVX
| URI | m2://inv/V3SP4ZRHVX |
|---|---|
| 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.24030#QXED (statement)
History
- 2026-11-02: add by m2/v0.6.17
Definition V3SV835EFF
| URI | m2://inv/V3SV835EFF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Strictly positive measure#EK57, Definition (definition)
History
- 2026-11-02: add by m2/dev
Moments of the Mean V3SXS2FNVQ
| URI | m2://inv/V3SXS2FNVQ |
|---|---|
| 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.30105#URNG, Moments of the Mean (statement)
History
- 2026-11-01: add by m2/v0.6.15
Alfred H. Clifford V3T548J41H
| URI | m2://inv/V3T548J41H |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#SNHL, Alfred H. Clifford (topic)
History
- 2026-11-02: add by m2/dev
Generalized linear array model V3TFZRPE0G
| URI | m2://inv/V3TFZRPE0G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalized linear array model, Generalized linear array model (definition). Also Wikidata Q5532489
History
- 2026-11-02: add by m2/dev
Bertrand–Chebyshev theorem V3TVB645K6
| URI | m2://inv/V3TVB645K6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euclid's theorem#OMIB, Bertrand–Chebyshev theorem (statement)
History
- 2026-11-02: add by m2/dev
V3TVWRQ00P V3TVWRQ00P
| URI | m2://inv/V3TVWRQ00P |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-intro.tex#exercise-19 (exercise). In E9HS8K3A52, exercise, section 6.8.5
History
- 2026-11-01: add by m2/v0.6.13
Metalog distribution V3TXQ1WPCX
| URI | m2://inv/V3TXQ1WPCX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability distributions#1BEK, Metalog distribution (definition)
History
- 2026-11-02: add by m2/dev
J-homomorphism V3TYBQSDH3
| URI | m2://inv/V3TYBQSDH3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#A81U, J-homomorphism (definition)
History
- 2026-11-02: add by m2/dev
G. Frattini V3TZX1S3HX
| URI | m2://inv/V3TZX1S3HX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#1NH9, G. Frattini (topic)
History
- 2026-11-02: add by m2/dev
standard $n$-simplex V3V1503GCP
| URI | m2://inv/V3V1503GCP |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 54-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15099#EOG0, standard $n$-simplex (example). In PF5JJ9DS8Q/e1, example 2.2.8
History
- 2026-10-28: add by m2/v0.4.2
V3V1CWSEGR V3V1CWSEGR
| URI | m2://inv/V3V1CWSEGR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33590#MB64 (statement). In WRE0P7V6Z3/e1, lemma 4
History
- 2026-10-30: add by m2/v0.4.12
V3V4C2A36E V3V4C2A36E
| URI | m2://inv/V3V4C2A36E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21622#5K18 (statement). In H21X3FHNYJ/e1, lemma 7.5
History
- 2026-10-27: add by m2/v0.4.2
V3V8A0X4TZ V3V8A0X4TZ
| URI | m2://inv/V3V8A0X4TZ |
|---|---|
| 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.10813#QBWP (statement). In G8F4P7GDMA/e1, lemma 3.4
History
- 2026-10-28: add by m2/v0.4.3
$K$ is regular over $k$; base change of $\tgen$ V3V8ZNHYAY
| URI | m2://inv/V3V8ZNHYAY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07508#NMPB, $K$ is regular over $k$; base change of $\tgen$ (statement). In TPA3E67MKK/e1, lemma 5.6
History
- 2026-10-29: add by m2/v0.4.10
V3VA4PX1PY V3VA4PX1PY
| URI | m2://inv/V3VA4PX1PY |
|---|---|
| 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.29152#JD8S (statement)
History
- 2026-11-01: add by m2/v0.6.15
Definition V3VAYNNR3A
| URI | m2://inv/V3VAYNNR3A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Apollonius point#I6VS, Definition (definition)
History
- 2026-11-02: add by m2/dev
V3VCA4S2S3 V3VCA4S2S3
| URI | m2://inv/V3VCA4S2S3 |
|---|---|
| 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.08288#8GRG (statement). In CHVWYJM7RM/e1, lemma 4.5
History
- 2026-10-29: add by m2/v0.4.10
strategic scale of a strategy V3VGSDW59F
| URI | m2://inv/V3VGSDW59F |
|---|---|
| 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 2312.01517#46CZ, strategic scale of a strategy (definition). In 1H6HQSMYJW/e1, definition 5
History
- 2026-10-27: add by m2/v0.3.5
Switching V3VJ899DE9
| URI | m2://inv/V3VJ899DE9 |
|---|---|
| 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#FVAK, Switching (statement). In 6TTFGK6ZV0/e1, lemma 2.3
History
- 2026-10-27: add by m2/v0.3.5
V3VJXDK4DG V3VJXDK4DG
| URI | m2://inv/V3VJXDK4DG |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 13-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.10925#X4C3 (problem). In 9604WYX0BW/e1, problem 6.7
History
- 2026-10-28: add by m2/v0.4.3
Formulation V3VP1D085R
| URI | m2://inv/V3VP1D085R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dimensional analysis#3FA6, Formulation (definition)
History
- 2026-11-02: add by m2/dev
Hedonic scale V3VR28M2D6
| URI | m2://inv/V3VR28M2D6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hedonic scale, Hedonic scale (definition). Also Wikidata Q130425869
History
- 2026-11-02: add by m2/dev
Biconvex optimization V3VW5NMW0F
| URI | m2://inv/V3VW5NMW0F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Biconvex optimization, Biconvex optimization (definition). Also Wikidata Q17003174
History
- 2026-11-02: add by m2/dev
Matthias Kohl V3W5WBHK2A
| URI | m2://inv/V3W5WBHK2A |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Matthias Kohl, Matthias Kohl (topic). Also Wikidata Q56594914
History
- 2026-11-02: add by m2/dev
topological ring V3W8RAFHC3
| URI | m2://inv/V3W8RAFHC3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Topological ring TSF8RZDD5B |
Mentions
- wikidata: Wikidata Q922339, topological ring (definition). Also MathWorld TopologicalRing, nLab topological ring, ProofWiki Definition:Topological_Ring
- wikipedia: Wikipedia Topological ring, Topological ring (definition). Also Wikidata Q922339
History
- 2026-10-26: add by m2/dev
How Much Can We Boost IQ and Scholastic Achievement? V3WGW8AD2Q
| URI | m2://inv/V3WGW8AD2Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia How Much Can We Boost IQ and Scholastic Achievement?, How Much Can We Boost IQ and Scholastic Achievement? (definition). Also Wikidata Q5918000
History
- 2026-11-02: add by m2/dev
The Geometry of the Octonions V3WQWTN9ZG
| URI | m2://inv/V3WQWTN9ZG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia The Geometry of the Octonions, The Geometry of the Octonions (definition). Also Wikidata Q112052112
History
- 2026-11-02: add by m2/dev
Coefficient of consistency V3WY0D4C62
| URI | m2://inv/V3WY0D4C62 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of analyses of categorical data#7FMO, Coefficient of consistency (unknown)
History
- 2026-11-02: add by m2/dev
Hessian estimate in the Hermitian case V3X1CC8H7Q
| URI | m2://inv/V3X1CC8H7Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39726#ZAYS, Hessian estimate in the Hermitian case (statement). In 4CTC8A57SD/e1, corollary 1.2
History
- 2026-10-30: add by m2/v0.4.12
Relation to Hamilton's principle V3X36BJ2FC
| URI | m2://inv/V3X36BJ2FC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fermat's principle#4LHX, Relation to Hamilton's principle (statement)
History
- 2026-11-02: add by m2/dev
Definition V3X5AAE5H4
| URI | m2://inv/V3X5AAE5H4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Logarithmic mean temperature difference#LYCV, Definition (definition)
History
- 2026-11-02: add by m2/dev
V3X678CQW7 V3X678CQW7
| URI | m2://inv/V3X678CQW7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 60-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07285#D9YF (statement). In S284XRA4WK/e1, proposition 3.1
History
- 2026-10-29: add by m2/v0.4.10
Pareto chart V3XB59592P
| URI | m2://inv/V3XB59592P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pareto chart, Pareto chart (definition). Also Wikidata Q128536
History
- 2026-11-02: add by m2/dev
Computation V3XET7XRHB
| URI | m2://inv/V3XET7XRHB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Total least squares#QVP5, Computation (definition)
History
- 2026-11-02: add by m2/dev
V3XGNE2J36 V3XGNE2J36
| URI | m2://inv/V3XGNE2J36 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-metric.tex#example-24 (example). In E59CDZA4DP, example, section 4.5.4
History
- 2026-11-01: add by m2/v0.6.13
Packing condition V3XKM8880F
| URI | m2://inv/V3XKM8880F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31216#H1PW, Packing condition (statement). In M9CSGRSRB3/e1, proposition 2.4
History
- 2026-10-31: add by m2/v0.5.6
Ernest Rutherford V3XTP6NRZW
| URI | m2://inv/V3XTP6NRZW |
|---|---|
| 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 Q9123, Ernest Rutherford (unknown). Also ProofWiki Mathematician:Ernest_Rutherford
History
- 2026-10-26: add by m2/dev
Uniform local stability neighborhood V3Y2JZ9ZBW
| URI | m2://inv/V3Y2JZ9ZBW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 49-XX, 62-XX, 65-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23927#K5YB, Uniform local stability neighborhood (statement)
History
- 2026-11-02: add by m2/v0.6.17
Pedro Zadunaisky V3Y9W4SNMJ
| URI | m2://inv/V3Y9W4SNMJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#3OLE, Pedro Zadunaisky (unknown)
History
- 2026-11-02: add by m2/dev
Phaedo V3YBVH9HN8
| URI | m2://inv/V3YBVH9HN8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Phaedo, Phaedo (definition). Also Wikidata Q244161
History
- 2026-11-02: add by m2/dev
V3YFD0FDDV V3YFD0FDDV
| URI | m2://inv/V3YFD0FDDV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03612#RV71 (statement). In REDG6QVHM3/e1, theorem 8.14
History
- 2026-10-29: add by m2/v0.4.12
V3YRN1V65Y V3YRN1V65Y
| URI | m2://inv/V3YRN1V65Y |
|---|---|
| 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.20273#55TH (statement). In AEGHDSD5S7/e1, proposition 2.6
History
- 2026-10-27: add by m2/v0.4.2
V3YSFA2CGQ V3YSFA2CGQ
| URI | m2://inv/V3YSFA2CGQ |
|---|---|
| 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.01247#ERBZ (example). In 6EVNCRZ118/e1, example 14
History
- 2026-10-29: add by m2/v0.4.12
V3Z8TYP0RE V3Z8TYP0RE
| URI | m2://inv/V3Z8TYP0RE |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/finite-field.tex#proof-2 (proof). In RZP28ERRZV, proof, section 12.2
History
- 2026-11-01: add by m2/v0.6.13
William G. Dwyer V3ZMWX2W4N
| URI | m2://inv/V3ZMWX2W4N |
|---|---|
| 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#EC3C, William G. Dwyer (topic)
History
- 2026-11-02: add by m2/dev
Definitions V3ZPAM8P8K
| URI | m2://inv/V3ZPAM8P8K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Closure (mathematics)#WJP3, Definitions (definition)
History
- 2026-11-02: add by m2/dev