Inventory rows A8
The cards of the rows of the inventory whose ids start with A8. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Potential decrease A8021NKR9T
| URI | m2://inv/A8021NKR9T |
|---|---|
| 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.33360#W1HZ, Potential decrease (statement). In GH6FSDK4YB/e1, lemma 6.3
History
- 2026-10-30: add by m2/v0.4.12
Chernoff tangency A8033DJJ79
| URI | m2://inv/A8033DJJ79 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 37-XX, 46-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16094#E43Y, Chernoff tangency (definition). In RHBS9QDHC3/e1, definition 2.5
History
- 2026-10-28: add by m2/v0.4.2
A804KTSS91 A804KTSS91
| URI | m2://inv/A804KTSS91 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27931#N6KK (statement)
History
- 2026-11-01: add by m2/v0.6.15
A80657QCR1 A80657QCR1
| URI | m2://inv/A80657QCR1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39700#C673 (statement). In E7W2HDNEKJ/e1, lemma 7.25
History
- 2026-10-30: add by m2/v0.4.12
$N=3$, $m=4$ A80EQSDG12
| URI | m2://inv/A80EQSDG12 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36088#9MNT, $N=3$, $m=4$ (example). In QJD3MZMJHW/e1, example 4.3
History
- 2026-10-30: add by m2/v0.4.12
A80EVEB4ZR A80EVEB4ZR
| URI | m2://inv/A80EVEB4ZR |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32338#XNO9 (definition). In HVY45JQRNK/e1, definition 2.23
History
- 2026-10-31: add by m2/v0.5.6
Krylov–Bogolyubov theorem A80FJE8WNB
| URI | m2://inv/A80FJE8WNB |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 37-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q1121027, Krylov–Bogolyubov theorem (statement). Also Wikidata Q1121027
- thousand_plus: thousand_plus Q1121027, Krylov–Bogolyubov theorem (statement). Also Wikidata Q1121027, Wikipedia Krylov–Bogolyubov theorem
- wikipedia: Wikipedia Krylov–Bogolyubov theorem, Krylov–Bogolyubov theorem (statement). Also Wikidata Q1121027
History
- 2026-10-26: add by m2/dev
A80JKEX61T A80JKEX61T
| URI | m2://inv/A80JKEX61T |
|---|---|
| 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.20170#18TG (statement)
History
- 2026-11-02: add by m2/v0.6.18
Calogero–Degasperis–Fokas equation A80JP70RMX
| URI | m2://inv/A80JP70RMX |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5023145, Calogero–Degasperis–Fokas equation (concept). Also MathWorld Calogero-Degasperis-FokasEquation
- wikipedia: Wikipedia Calogero–Degasperis–Fokas equation, Calogero–Degasperis–Fokas equation (definition). Also Wikidata Q5023145
History
- 2026-10-26: add by m2/dev
A80W8DGNQ6 A80W8DGNQ6
| URI | m2://inv/A80W8DGNQ6 |
|---|---|
| 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.27908#0LY2 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Zeitschrift für Philosophie und philosophische Kritik A80Z70BX12
| URI | m2://inv/A80Z70BX12 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zeitschrift für Philosophie und philosophische Kritik, Zeitschrift für Philosophie und philosophische Kritik (definition). Also Wikidata Q15733707
History
- 2026-11-02: add by m2/dev
Theorem A810G3TDZX
| URI | m2://inv/A810G3TDZX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Projection-valued measure#ZRXI, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Rami Grossberg A8112KQ8YP
| URI | m2://inv/A8112KQ8YP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#A55B, Rami Grossberg (topic)
History
- 2026-11-02: add by m2/dev
Rescaling A813736N9V
| URI | m2://inv/A813736N9V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09295#JF9Q, Rescaling (statement). In 29X0B511NF/e1, lemma 7.4
History
- 2026-10-29: add by m2/v0.4.10
A813XSGET7 A813XSGET7
| URI | m2://inv/A813XSGET7 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21914#USG8 (example)
History
- 2026-11-02: add by m2/v0.6.17
Full sum in the favorable compact range A814EAGV5J
| URI | m2://inv/A814EAGV5J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19837#U4XZ, Full sum in the favorable compact range (statement). In 837NSWQM1P/e1, theorem 1.3
History
- 2026-10-28: add by m2/v0.4.2
Examples A816SEYSDB
| URI | m2://inv/A816SEYSDB |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Duckworth–Lewis–Stern method#POI3, Examples (example)
History
- 2026-11-02: add by m2/dev
Von Neumann universe A819YJ42C8
| URI | m2://inv/A819YJ42C8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Von Neumann universe, Von Neumann universe (definition). Also Wikidata Q77887
History
- 2026-11-02: add by m2/dev
A81G19FZ34 A81G19FZ34
| URI | m2://inv/A81G19FZ34 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2607.25960#G6O0 (statement). In 13GSWBXPCM/e1, theorem 2.13
History
- 2026-10-27: add by m2/v0.3.5
A81HHA5E52 A81HHA5E52
| URI | m2://inv/A81HHA5E52 |
|---|---|
| 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.20126#RI69 (statement). In KVXDWX9B11/e1, corollary 2.5
History
- 2026-10-27: add by m2/v0.4.2
A81M5ZZY5Y A81M5ZZY5Y
| URI | m2://inv/A81M5ZZY5Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28020#GSTD (statement)
History
- 2026-11-01: add by m2/v0.6.15
Notations A81N89JT0N
| URI | m2://inv/A81N89JT0N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hyperoperation#4LQ5, Notations (definition)
History
- 2026-11-02: add by m2/dev
A81P4D4RJJ A81P4D4RJJ
| URI | m2://inv/A81P4D4RJJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07092#OLIX (statement). In JWNYJVH8XG/e1, lemma 3.8
History
- 2026-10-29: add by m2/v0.4.10
Tarski-Vaught test A81SVYHD20
| URI | m2://inv/A81SVYHD20 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elementary equivalence#GLL0, Tarski-Vaught test (unknown)
History
- 2026-11-02: add by m2/dev
Siegel Eisenstein series A81T78E5KA
| URI | m2://inv/A81T78E5KA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q18845461, Siegel Eisenstein series (unknown). Also LMFDB knowl mf.siegel.eisenstein_series
History
- 2026-10-26: add by m2/dev
Maya Bar-Hillel A81W7MK4DZ
| URI | m2://inv/A81W7MK4DZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#XK6Y, Maya Bar-Hillel (unknown)
History
- 2026-11-02: add by m2/dev
A8210ZSWN6 A8210ZSWN6
| URI | m2://inv/A8210ZSWN6 |
|---|---|
| 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.30933#J8BB (statement). In KXWYE4SJY3/e1, theorem 1
History
- 2026-10-31: add by m2/v0.5.6
A8262K4E9V A8262K4E9V
| URI | m2://inv/A8262K4E9V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 55-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21365#TQWG (statement). In FCMMB2EVAP/e1, proposition 4.7
History
- 2026-10-27: add by m2/v0.4.2
Franklin Henry Giddings A829XP3QTM
| URI | m2://inv/A829XP3QTM |
|---|---|
| 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#XMOY, Franklin Henry Giddings (unknown)
History
- 2026-11-02: add by m2/dev
A82J44JNXD A82J44JNXD
| URI | m2://inv/A82J44JNXD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/proof-theory/proof-search/completeness.tex#cor:complete (statement). In PKGMM3P5QY, cor, section 59.5
History
- 2026-11-01: add by m2/v0.6.13
Gaussian approximation error A82MDY3HSA
| URI | m2://inv/A82MDY3HSA |
|---|---|
| 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.35466#WR5R, Gaussian approximation error (definition). In MVR35ZJPCC/e1, definition 3
History
- 2026-10-30: add by m2/v0.4.12
Gluing one new space A82QDFB0VK
| URI | m2://inv/A82QDFB0VK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17400#ZWPS, Gluing one new space (statement). In 8VDXGR4SVD/e1, lemma 4.1
History
- 2026-10-28: add by m2/v0.4.2
A82VDMYKCF A82VDMYKCF
| URI | m2://inv/A82VDMYKCF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23522#10IV (statement)
History
- 2026-11-02: add by m2/v0.6.17
Statement of the theorem A82ZA9FJ2G
| URI | m2://inv/A82ZA9FJ2G |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rayleigh theorem for eigenvalues#CJ5N, Statement of the theorem (statement)
History
- 2026-11-02: add by m2/dev
A835A1G8KM A835A1G8KM
| URI | m2://inv/A835A1G8KM |
|---|---|
| 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.34011#ITN4 (statement). In RAXRNDW2Z0/e1, proposition 7.2
History
- 2026-10-30: add by m2/v0.4.12
Cycles and fixed points A83B6GEXE2
| URI | m2://inv/A83B6GEXE2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of permutation topics#HJHE, Cycles and fixed points (definition)
History
- 2026-11-02: add by m2/dev
A83HPA3GJV A83HPA3GJV
| URI | m2://inv/A83HPA3GJV |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2108.03672#V2F7 (definition). In EZZSZ1F071/e1, definition 1.5
History
- 2026-10-27: add by m2/v0.4.0
A83KCMPZ2F A83KCMPZ2F
| URI | m2://inv/A83KCMPZ2F |
|---|---|
| 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.00789#CG5H (statement). In 4WPYBTARS2/e1, corollary 2.16
History
- 2026-10-29: add by m2/v0.4.12
A847T1D34T A847T1D34T
| URI | m2://inv/A847T1D34T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04833#GVLQ (statement). In AKB3CNDA0F/e1, lemma 3.10
History
- 2026-10-29: add by m2/v0.4.12
A847WAD088 A847WAD088
| URI | m2://inv/A847WAD088 |
|---|---|
| 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.15877#8KUQ (statement). In F3W750X9N6/e1, lemma A.3
History
- 2026-10-28: add by m2/v0.4.2
A84869D39G A84869D39G
| URI | m2://inv/A84869D39G |
|---|---|
| Kind | statement |
| 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#5VJ0 (statement). In 9ZSNSJRJ5N/e1, lemma 6
History
- 2026-10-27: add by m2/v0.4.2
Finite-dimensional geometry-to-error transfer A84AVPMQ05
| URI | m2://inv/A84AVPMQ05 |
|---|---|
| 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.11309#JZ3U, Finite-dimensional geometry-to-error transfer (statement). In TTEAQA1XXR/e1, proposition C.19
History
- 2026-10-28: add by m2/v0.4.3
P2PRIV A84GSTD82S
| URI | m2://inv/A84GSTD82S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia P2PRIV, P2PRIV (definition). Also Wikidata Q7117859
History
- 2026-11-02: add by m2/dev
Euler's formula A84JN8GH8N
| URI | m2://inv/A84JN8GH8N |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euler's continued fraction formula#JGTE, Euler's formula (statement)
History
- 2026-11-02: add by m2/dev
Local strong convergence of Eulerian reconstructions A84KRASJXE
| URI | m2://inv/A84KRASJXE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09278#TC40, Local strong convergence of Eulerian reconstructions (statement). In XREKHJHAT7/e1, proposition 4.5
History
- 2026-10-29: add by m2/v0.4.10
2-3 duoantiprism A84MDM5S6B
| URI | m2://inv/A84MDM5S6B |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Duoprism#HPJI, 2-3 duoantiprism (unknown)
History
- 2026-11-02: add by m2/dev
A84PD538A5 A84PD538A5
| URI | m2://inv/A84PD538A5 |
|---|---|
| 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#UJVI (statement). In TPA3E67MKK/e1, fact 2.1
History
- 2026-10-29: add by m2/v0.4.10
Conical spiral A84Q8CP6XV
| URI | m2://inv/A84Q8CP6XV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conical spiral, Conical spiral (definition). Also Wikidata Q67190334
History
- 2026-11-02: add by m2/dev
A84YC8VSN3 A84YC8VSN3
| URI | m2://inv/A84YC8VSN3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/structure.tex#definition-1 (definition). In RZP28ERRZV, definition, section 6.1
History
- 2026-11-01: add by m2/v0.6.13
Truncated tetrahedral graph A84YJ23JRE
| URI | m2://inv/A84YJ23JRE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Truncated tetrahedron#4304, Truncated tetrahedral graph (unknown)
History
- 2026-11-02: add by m2/dev
1943–1945: visit to the IAS, the Chern theorem A856019Y6Q
| URI | m2://inv/A856019Y6Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shiing-Shen Chern#8YRE, 1943–1945: visit to the IAS, the Chern theorem (statement)
History
- 2026-11-02: add by m2/dev
Cover's theorem A859MH4352
| URI | m2://inv/A859MH4352 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cover's theorem, Cover's theorem (statement). Also Wikidata Q5179139
History
- 2026-11-02: add by m2/dev
Hypergraph removal lemma A85C16XBJV
| URI | m2://inv/A85C16XBJV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hypergraph regularity method#QSQ5, Hypergraph removal lemma (statement)
History
- 2026-11-02: add by m2/dev
affine function A85GJTMY5T
| URI | m2://inv/A85GJTMY5T |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Geometry > Affine and Euclidean geometry > affine function, affine function (unknown). Also Mathlib AffineMap
- mathlib_undergrad: mathlib_undergrad Affine and Euclidean Geometry > General definitions > affine function, affine function (unknown). Also Mathlib AffineMap
History
- 2026-10-26: add by m2/dev
Seven Corners, Virginia A85X6ZNY7V
| URI | m2://inv/A85X6ZNY7V |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of U.S. communities with Hispanic-majority populations in the 2000 census#SAFX, Seven Corners, Virginia (unknown)
History
- 2026-11-02: add by m2/dev
Finite binomial atom bound A8692FAH1N
| URI | m2://inv/A8692FAH1N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10860#EG8E, Finite binomial atom bound (statement). In PBYNV2WF2H/e1, lemma B.4
History
- 2026-10-28: add by m2/v0.4.3
Good, Phillip A86EMCN7H0
| URI | m2://inv/A86EMCN7H0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#40UA, Good, Phillip (unknown)
History
- 2026-11-02: add by m2/dev
Frederick Rowbottom A86JH9CYVD
| URI | m2://inv/A86JH9CYVD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Frederick Rowbottom, Frederick Rowbottom (topic). Also Wikidata Q3087160
History
- 2026-11-02: add by m2/dev
coefficient estimate A86M409HZT
| URI | m2://inv/A86M409HZT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.17135#FNPJ, coefficient estimate (statement). In XX1J2REXY2/e1, theorem 2.13
History
- 2026-10-28: add by m2/v0.4.2
Association of Statisticians of American Religious Bodies A86SK64B4Q
| URI | m2://inv/A86SK64B4Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Association of Statisticians of American Religious Bodies, Association of Statisticians of American Religious Bodies (definition). Also Wikidata Q55071283
History
- 2026-11-02: add by m2/dev
Structure identity principle A86TZX4BTT
| URI | m2://inv/A86TZX4BTT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book categories.tex#thm:sip, Structure identity principle (statement). In N54F33XE07, thm, section 2.8
History
- 2026-11-01: add by m2/v0.6.13
Porter's constant A86V40ZV5H
| URI | m2://inv/A86V40ZV5H |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q30692563, Porter's constant (object). Also MathWorld PortersConstant
- wikipedia: Wikipedia Porter's constant, Porter's constant (object). Also Wikidata Q30692563
History
- 2026-10-26: add by m2/dev
A86VPZRRBJ A86VPZRRBJ
| URI | m2://inv/A86VPZRRBJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23424#H74J (statement)
History
- 2026-11-02: add by m2/v0.6.17
Limiting spectral bound A8715Z3HMC
| URI | m2://inv/A8715Z3HMC |
|---|---|
| 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.40203#K7TD, Limiting spectral bound (statement). In ECH66J4Y43/e1, lemma 6
History
- 2026-10-30: add by m2/v0.4.12
Law of the decimated coupling A8749SG2E8
| URI | m2://inv/A8749SG2E8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37479#UV29, Law of the decimated coupling (statement). In P3RTT99C41/e1, proposition 9.3
History
- 2026-10-30: add by m2/v0.4.12
Ingredients for the initial seed A87756X72S
| URI | m2://inv/A87756X72S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.02407#TZKF, Ingredients for the initial seed (statement). In ZZER8ZBSCR/e1, lemma 3.6
History
- 2026-10-29: add by m2/v0.4.12
Ulrich Pinkall A8799FS7AY
| URI | m2://inv/A8799FS7AY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ulrich Pinkall, Ulrich Pinkall (topic). Also Wikidata Q15455557
History
- 2026-11-02: add by m2/dev
hypercovering A87CYYC4P6
| URI | m2://inv/A87CYYC4P6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q30674136, hypercovering (unknown). Also nLab hypercover
- wikipedia: Wikipedia Hypercovering, Hypercovering (definition). Also Wikidata Q30674136
History
- 2026-10-26: add by m2/dev
Brendan McKay A87FJJACBT
| URI | m2://inv/A87FJJACBT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#683M, Brendan McKay (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#ONX4, Brendan McKay (unknown)
History
- 2026-11-02: add by m2/dev
Drifted Pitman representation A87FVZ0T87
| URI | m2://inv/A87FVZ0T87 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02436#85ZS, Drifted Pitman representation (statement). In J9WZBK6KAY/e1, lemma 3.1
History
- 2026-10-29: add by m2/v0.4.12
square centimetre A87HMSW505
| URI | m2://inv/A87HMSW505 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2489298, square centimetre (definition). Also ProofWiki Definition:Centimetre/Square_Centimetre
History
- 2026-10-26: add by m2/dev
Herbert Marshall A87JDC42ER
| URI | m2://inv/A87JDC42ER |
|---|---|
| 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#W52A, Herbert Marshall (unknown)
History
- 2026-11-02: add by m2/dev
M2-brane A87YBNQ1MM
| URI | m2://inv/A87YBNQ1MM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q15579580, M2-brane (unknown). Also nLab M2-brane
History
- 2026-10-26: add by m2/dev
Solomon Mikhlin A881JRNVJB
| URI | m2://inv/A881JRNVJB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Solomon Mikhlin, Solomon Mikhlin (topic). Also Wikidata Q324680
History
- 2026-11-02: add by m2/dev
Examples A888JYQ0A6
| URI | m2://inv/A888JYQ0A6 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bounded quantifier#BJT1, Examples (example)
History
- 2026-11-02: add by m2/dev
A88DYFZ1YY A88DYFZ1YY
| URI | m2://inv/A88DYFZ1YY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17276#RDVH (statement). In GG14QF0JKJ/e1, lemma 2.15
History
- 2026-10-28: add by m2/v0.4.2
Arnaud Denjoy A88N6ERT6E
| URI | m2://inv/A88N6ERT6E |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#2ESX, Arnaud Denjoy (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#LI0N, Arnaud Denjoy (unknown)
History
- 2026-11-02: add by m2/dev
A88P342BKY A88P342BKY
| URI | m2://inv/A88P342BKY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39293#5L4L (statement). In S26QVW5613/e1, lemma 5.2.11
History
- 2026-10-30: add by m2/v0.4.12
A88VF6GZJG A88VF6GZJG
| URI | m2://inv/A88VF6GZJG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book basics.tex#thm:apd-const (statement). In N54F33XE07, lem, section 1.3
History
- 2026-11-01: add by m2/v0.6.13
Implementation A890PETYMV
| URI | m2://inv/A890PETYMV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia ROT13#QZW7, Implementation (definition)
History
- 2026-11-02: add by m2/dev
A895H6SR4H A895H6SR4H
| URI | m2://inv/A895H6SR4H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21528#GZ90 (statement)
History
- 2026-11-02: add by m2/v0.6.18
A8992VN13R A8992VN13R
| URI | m2://inv/A8992VN13R |
|---|---|
| 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 2308.07021#DBYX (statement). In H4CM84JVPC/e1, lemma 5.1
History
- 2026-10-27: add by m2/v0.3.5
Nonconstructive proof A89H2S2D1H
| URI | m2://inv/A89H2S2D1H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical logic topics#UI7I, Nonconstructive proof (definition)
History
- 2026-11-02: add by m2/dev
A89N1EW10K A89N1EW10K
| URI | m2://inv/A89N1EW10K |
|---|---|
| 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 2409.20170#GLWQ (statement). In QXJP79APHN/e1, proposition 3.5
History
- 2026-10-27: add by m2/v0.3.5
centrosymmetric matrix A89Y7JXK7R
| URI | m2://inv/A89Y7JXK7R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2598955, centrosymmetric matrix (unknown). Also MathWorld CentrosymmetricMatrix
- wikipedia: Wikipedia Centrosymmetric matrix, Centrosymmetric matrix (definition). Also Wikidata Q2598955
History
- 2026-10-26: add by m2/dev
Statement A8A5GTS41Q
| URI | m2://inv/A8A5GTS41Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Neukirch–Uchida theorem#0ADI, Statement (statement)
History
- 2026-11-02: add by m2/dev
Dorothy Lewis Bernstein A8A5JR4ZAK
| URI | m2://inv/A8A5JR4ZAK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#4FVN, Dorothy Lewis Bernstein (topic)
History
- 2026-11-02: add by m2/dev
Extension A8A8QVA77N
| URI | m2://inv/A8A8QVA77N |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Harcourt's theorem#2G91, Extension (statement)
History
- 2026-11-02: add by m2/dev
Properties A8A9VPWN7Y
| URI | m2://inv/A8A9VPWN7Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia A* search algorithm#YJHC, Properties (statement)
History
- 2026-11-02: add by m2/dev
A8ACCQGCJ3 A8ACCQGCJ3
| URI | m2://inv/A8ACCQGCJ3 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX, 49-XX, 51-XX, 52-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 1904.08413#6BRB (definition). In X88HPQ0W8C/e1, definition 3.7
History
- 2026-10-27: add by m2/v0.3.5
Overspill principle A8AGXAYTZ5
| URI | m2://inv/A8AGXAYTZ5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Overspill#DM7A, Overspill principle (statement)
History
- 2026-11-02: add by m2/dev
haversine A8AVCRGYDC
| URI | m2://inv/A8AVCRGYDC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2528380, haversine (unknown). Also MathWorld Haversine
History
- 2026-10-26: add by m2/dev
A8AYC84XM4 A8AYC84XM4
| URI | m2://inv/A8AYC84XM4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36204#SG2B (statement). In ZEHQDJTEDG/e1, theorem 1.3
History
- 2026-10-30: add by m2/v0.4.12
A8AZECGDD1 A8AZECGDD1
| URI | m2://inv/A8AZECGDD1 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-XX, 49-XX, 51-XX, 52-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 1904.08413#8ZM5 (example). In X88HPQ0W8C/e1, example 2.25
History
- 2026-10-27: add by m2/v0.3.5
Camillo Agrippa A8B2G239D0
| URI | m2://inv/A8B2G239D0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#UT2K, Camillo Agrippa (unknown)
History
- 2026-11-02: add by m2/dev
Definition A8B3YVVNYA
| URI | m2://inv/A8B3YVVNYA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Monostatic polytope#HHPN, Definition (definition)
History
- 2026-11-02: add by m2/dev
Free probability A8B51JPJ4E
| URI | m2://inv/A8B51JPJ4E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of functional analysis topics#2PE6, Free probability (definition)
- wikipedia: Wikipedia List of probability topics#65EG, Free probability (definition)
History
- 2026-11-02: add by m2/dev
A8BEJ9EWB4 A8BEJ9EWB4
| URI | m2://inv/A8BEJ9EWB4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09319#P3M5 (statement). In GMRT5GHBZS/e1, lemma 3.3
History
- 2026-10-29: add by m2/v0.4.10
A8BNEFMHP7 A8BNEFMHP7
| URI | m2://inv/A8BNEFMHP7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20588#FU1V (statement)
History
- 2026-11-02: add by m2/v0.6.18
A8BRQ7REMR A8BRQ7REMR
| URI | m2://inv/A8BRQ7REMR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1204.5958#G74T (statement). In XYCBKM4WKY/e1, theorem 62
History
- 2026-10-27: add by m2/v0.3.5
A8BYA7J3VP A8BYA7J3VP
| URI | m2://inv/A8BYA7J3VP |
|---|---|
| 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.30090#AR47 (statement)
History
- 2026-11-01: add by m2/v0.6.15
A8C83G2MQ7 A8C83G2MQ7
| URI | m2://inv/A8C83G2MQ7 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/set-theory/ordinal.tex#exercise-4 (exercise). In RZP28ERRZV, exercise, section 92.6
History
- 2026-11-01: add by m2/v0.6.13
A8CEDXT12D A8CEDXT12D
| URI | m2://inv/A8CEDXT12D |
|---|---|
| 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 2609.31478#9D50 (statement). In 56P0XQZZ3D/e1, lemma 3.2
History
- 2026-10-31: add by m2/v0.5.6
Simplicius of Cilicia A8CK1MSM4M
| URI | m2://inv/A8CK1MSM4M |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#IVTX, Simplicius of Cilicia (unknown)
History
- 2026-11-02: add by m2/dev
Definitions A8CM2685A5
| URI | m2://inv/A8CM2685A5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Distance correlation#53VO, Definitions (definition)
History
- 2026-11-02: add by m2/dev
A8CQRYEBD5 A8CQRYEBD5
| URI | m2://inv/A8CQRYEBD5 |
|---|---|
| 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.20979#9C2I (definition)
History
- 2026-11-02: add by m2/v0.6.18
A8CSAKMJVT A8CSAKMJVT
| URI | m2://inv/A8CSAKMJVT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16834#QDF0 (statement). In Q0DTV6PJJW/e1, lemma 2.1
History
- 2026-10-28: add by m2/v0.4.2
Examples A8CVSN40G0
| URI | m2://inv/A8CVSN40G0 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia CN-group#S2ZS, Examples (example)
History
- 2026-11-02: add by m2/dev
Maxwell Rosenlicht A8CY75BYSM
| URI | m2://inv/A8CY75BYSM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Maxwell Rosenlicht, Maxwell Rosenlicht (topic). Also Wikidata Q371555
History
- 2026-11-02: add by m2/dev
A8CZ5J46Z4 A8CZ5J46Z4
| URI | m2://inv/A8CZ5J46Z4 |
|---|---|
| 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.22345#4MGP (statement). In 7JATJ4VG9G/e1, corollary 1.1
History
- 2026-10-27: add by m2/v0.4.0
A8D0T6E4TT A8D0T6E4TT
| URI | m2://inv/A8D0T6E4TT |
|---|---|
| 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 2610.05193#ND5W (definition). In XDMM0KNNZ9/e1, definition 33
History
- 2026-10-29: add by m2/v0.4.10
Integrable oscillation variance A8D2N81SV3
| URI | m2://inv/A8D2N81SV3 |
|---|---|
| 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.12387#DGNM, Integrable oscillation variance (statement). In 3Z0PRE77SY/e1, proposition 5.2
History
- 2026-10-28: add by m2/v0.4.2
Icosikaipentagon A8D47ACW2P
| URI | m2://inv/A8D47ACW2P |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of two-dimensional geometric shapes#N4XO, Icosikaipentagon (topic)
History
- 2026-11-02: add by m2/dev
isomorphism class A8D4FT4TZD
| URI | m2://inv/A8D4FT4TZD |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi index/5.1/isomorphism-class, isomorphism class (concept). In Y91XFCEVHQ, index, section 5.1
History
- 2026-11-01: add by m2/v0.6.13
Gabriel quiver and frozen vertices A8DFKKY6SB
| URI | m2://inv/A8DFKKY6SB |
|---|---|
| Kind | definition |
| 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#ZN5A, Gabriel quiver and frozen vertices (definition). In 6G1KBA0SXV/e1, definition 4.18
History
- 2026-10-31: add by m2/v0.5.6
A8DRFAZABB A8DRFAZABB
| URI | m2://inv/A8DRFAZABB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29498#OLFY (statement)
History
- 2026-11-01: add by m2/v0.6.15
A8DVSTJWX6 A8DVSTJWX6
| URI | m2://inv/A8DVSTJWX6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07855#U4AE (statement). In 1VT8CVVCM7/e1, fact 2.7
History
- 2026-10-29: add by m2/v0.4.10
A8E3EK5CTB A8E3EK5CTB
| URI | m2://inv/A8E3EK5CTB |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/set-theory/CH.tex#proof-3 (proof). In RZP28ERRZV, proof, section 88.3
History
- 2026-11-01: add by m2/v0.6.13
ISAAC A8E91BSNZB
| URI | m2://inv/A8E91BSNZB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of number theory topics#PT8H, ISAAC (definition)
History
- 2026-11-02: add by m2/dev
A8EA4FK8A4 A8EA4FK8A4
| URI | m2://inv/A8EA4FK8A4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16180#CQW7 (statement). In FCFD59D3T6/e1, lemma A.1
History
- 2026-10-28: add by m2/v0.4.2
A8EBF7H382 A8EBF7H382
| URI | m2://inv/A8EBF7H382 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2502.05771#YEKN (statement). In 958KKGH89J/e1, lemma 2.2
History
- 2026-10-27: add by m2/v0.3.6
bivector A8EDCZV7BG
| URI | m2://inv/A8EDCZV7BG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q663908, bivector (unknown). Also MathWorld Bivector, nLab bivector
- wikipedia: Wikipedia Bivector, Bivector (definition). Also Wikidata Q663908
History
- 2026-10-26: add by m2/dev
A8EDYTTMC3 A8EDYTTMC3
| URI | m2://inv/A8EDYTTMC3 |
|---|---|
| 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 2609.23694#P1S0 (example)
History
- 2026-11-02: add by m2/v0.6.17
A8EGFVTEW3 A8EGFVTEW3
| URI | m2://inv/A8EGFVTEW3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31604#G53X (statement). In GSN5YTQS2K/e1, proposition 1.13
History
- 2026-10-31: add by m2/v0.5.6
Caleb Afendopolo A8EPQ3DF5D
| URI | m2://inv/A8EPQ3DF5D |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#21Y0, Caleb Afendopolo (unknown)
History
- 2026-11-02: add by m2/dev
Expected resistance comparison A8EPTZZZ2W
| URI | m2://inv/A8EPTZZZ2W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28503#M8MF, Expected resistance comparison (statement)
History
- 2026-11-01: add by m2/v0.6.15
Schwarz minimal surface A8EZG8YSCJ
| URI | m2://inv/A8EZG8YSCJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#LXEA, Schwarz minimal surface (definition)
- wikipedia: Wikipedia List of surfaces#66GW, Schwarz minimal surface (definition)
History
- 2026-11-02: add by m2/dev
A8F35ZJ829 A8F35ZJ829
| URI | m2://inv/A8F35ZJ829 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17547#8KHN (definition). In XJ59TDP4HA/e1, definition 3.10
History
- 2026-10-28: add by m2/v0.4.2
A8F6BZMGTX A8F6BZMGTX
| URI | m2://inv/A8F6BZMGTX |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1607.01095#IXWH (definition). In W3T1ZAT3GC/e1, definition 2.6
History
- 2026-10-27: add by m2/v0.3.5
Examples A8F90V5XX0
| URI | m2://inv/A8F90V5XX0 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dynamical system#85Z4, Examples (example)
History
- 2026-11-02: add by m2/dev
Young's inequality for weak type spaces A8FATKT4A7
| URI | m2://inv/A8FATKT4A7 |
|---|---|
| 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.28454#82VW, Young's inequality for weak type spaces (statement)
History
- 2026-11-01: add by m2/v0.6.15
Carathéodory kernel theorem A8FEGEPMRQ
| URI | m2://inv/A8FEGEPMRQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Carathéodory kernel theorem, Carathéodory kernel theorem (statement). Also Wikidata Q5037754
History
- 2026-11-02: add by m2/dev
A8FNB3298V A8FNB3298V
| URI | m2://inv/A8FNB3298V |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 01-XX, 11-XX, 26-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33529#OP20 (unknown). In RQZGQG3PBR/e1, unknown II.12.17
History
- 2026-10-30: add by m2/v0.4.12
A decomposition A8FS139R2T
| URI | m2://inv/A8FS139R2T |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 13-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.15869#9WXB, A decomposition (example). In 5VRP29WZEK/e1, example 3.2
History
- 2026-10-28: add by m2/v0.4.2
Six cross-ratios A8FSDCH89A
| URI | m2://inv/A8FSDCH89A |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cross-ratio#2FXU, Six cross-ratios (unknown)
History
- 2026-11-02: add by m2/dev
abelian variety A8FVYJCBW0
| URI | m2://inv/A8FVYJCBW0 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Abelian variety R7W03TXRS9 |
Mentions
- wikidata: Wikidata Q318751, abelian variety (concept). Also EoM Abelian_variety, LMFDB knowl ag.abelian_variety, MathWorld AbelianVariety, nLab abelian variety
- wikipedia: Wikipedia Abelian variety, Abelian variety (definition). Also Wikidata Q318751
History
- 2026-10-26: add by m2/dev
Brian R. Price A8FWKBSRDK
| URI | m2://inv/A8FWKBSRDK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#CXUQ, Brian R. Price (unknown)
History
- 2026-11-02: add by m2/dev
A8G0AEDKHH A8G0AEDKHH
| URI | m2://inv/A8G0AEDKHH |
|---|---|
| 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 2409.17318#1VIO (statement). In 2P63T9MJ4P/e1, proposition 3.1
History
- 2026-10-27: add by m2/v0.3.5
Applications A8G2X6TVYK
| URI | m2://inv/A8G2X6TVYK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Autocorrelation#S34G, Applications (example)
History
- 2026-11-02: add by m2/dev
A8G3Z46EZ4 A8G3Z46EZ4
| URI | m2://inv/A8G3Z46EZ4 |
|---|---|
| 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.13556#WIYV (statement). In 5ZB8N3YY72/e1, lemma 5.7
History
- 2026-10-28: add by m2/v0.4.2
A8G78E5JPN A8G78E5JPN
| URI | m2://inv/A8G78E5JPN |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
History
- 2026-10-27: add by m2/v0.3.5
A8G7TR5F0P A8G7TR5F0P
| URI | m2://inv/A8G7TR5F0P |
|---|---|
| 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 2309.01359#A7SK (statement). In BFV19FC2G7/e1, proposition 2.1
History
- 2026-10-27: add by m2/v0.3.5
A8G8YY2TG1 A8G8YY2TG1
| URI | m2://inv/A8G8YY2TG1 |
|---|---|
| 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 2111.08123#JOO7 (statement). In TAAB0QAKAG/e1, theorem 2.4
History
- 2026-10-27: add by m2/v0.3.5
A8GEP5E52Y A8GEP5E52Y
| URI | m2://inv/A8GEP5E52Y |
|---|---|
| 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.07001#1UX0 (statement). In 5DFTVG7FFF/e1, proposition 2.8
History
- 2026-10-29: add by m2/v0.4.10
Classical linear code on $\mathbb{Z}_q$ A8GPCD283P
| URI | m2://inv/A8GPCD283P |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04834#FRDB, Classical linear code on $\mathbb{Z}_q$ (definition). In YZNK67K060/e1, definition 4.1
History
- 2026-10-29: add by m2/v0.4.12
A8GQESF7VV A8GQESF7VV
| URI | m2://inv/A8GQESF7VV |
|---|---|
| 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.12484#2RPS (statement). In GW23NX78SB/e1, lemma 3.10
History
- 2026-10-28: add by m2/v0.4.2
A8GRWD4ZJS A8GRWD4ZJS
| URI | m2://inv/A8GRWD4ZJS |
|---|---|
| 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 2201.12479#67DV (statement). In ZDWR95TW99/e1, lemma 2.2
History
- 2026-10-27: add by m2/v0.3.5
Archimedes' cattle problem A8GS0R4XEH
| URI | m2://inv/A8GS0R4XEH |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Archimedes#G4X3, Archimedes' cattle problem (problem)
History
- 2026-11-02: add by m2/dev
A8GXMHTX8A A8GXMHTX8A
| URI | m2://inv/A8GXMHTX8A |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 35-XX, 65-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13680#1KZC (unknown). In QNBFHFZ3H0/e1, unknown 77
History
- 2026-10-28: add by m2/v0.4.2
Henri Lebesgue A8GYZJRWYA
| URI | m2://inv/A8GYZJRWYA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of real analysis topics#RM77, Henri Lebesgue (topic)
- wikipedia: Wikipedia List of mathematicians born in the 19th century#POJP, Henri Lebesgue (topic)
History
- 2026-11-02: add by m2/dev
Paul A. Catlin A8GZW07JQW
| URI | m2://inv/A8GZW07JQW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Paul A. Catlin, Paul A. Catlin (topic). Also Wikidata Q7148949
History
- 2026-11-02: add by m2/dev
Matrix exponential A8H1KNPGTJ
| URI | m2://inv/A8H1KNPGTJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of named matrices#SVTT, Matrix exponential (definition)
History
- 2026-11-02: add by m2/dev
A8H6T096BR A8H6T096BR
| URI | m2://inv/A8H6T096BR |
|---|---|
| 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 2512.08487#UEGS (statement). In 77TVQVYN0Z/e1, theorem 17
History
- 2026-10-27: add by m2/v0.3.6
Willem Heiser A8H7RA613C
| URI | m2://inv/A8H7RA613C |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Willem Heiser, Willem Heiser (topic). Also Wikidata Q15059158
History
- 2026-11-02: add by m2/dev
Roger Wolcott Richardson A8H9PTYTJN
| URI | m2://inv/A8H9PTYTJN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Roger Wolcott Richardson, Roger Wolcott Richardson (topic). Also Wikidata Q7359153
History
- 2026-11-02: add by m2/dev
A8HBT37J0Y A8HBT37J0Y
| URI | m2://inv/A8HBT37J0Y |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-vol1-intro.tex#exercise-11 (exercise). In E59CDZA4DP, exercise, section 11.9.6
History
- 2026-11-01: add by m2/v0.6.13
Generalizations A8HCK6CY74
| URI | m2://inv/A8HCK6CY74 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Circular ensemble#6EGT, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
A8HNC81WTS A8HNC81WTS
| URI | m2://inv/A8HNC81WTS |
|---|---|
| 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.04317#MVUS (statement). In CF1X73QQ11/e1, lemma 3.2
History
- 2026-10-29: add by m2/v0.4.12
A8HWNSXNJC A8HWNSXNJC
| URI | m2://inv/A8HWNSXNJC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 55-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03865#JKL6 (statement). In G3D1YR20BJ/e1, proposition 4.27
History
- 2026-10-29: add by m2/v0.4.12
The taxonomy is temporal A8J4TDW2JS
| URI | m2://inv/A8J4TDW2JS |
|---|---|
| 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.29597#QVJG, The taxonomy is temporal (statement)
History
- 2026-11-01: add by m2/v0.6.15
A8JA5YCF30 A8JA5YCF30
| URI | m2://inv/A8JA5YCF30 |
|---|---|
| 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.22002#P90M (statement). In JTND2BM263/e1, lemma 4.3
History
- 2026-10-27: add by m2/v0.4.2
SUDAAN A8JBWS8NA9
| URI | m2://inv/A8JBWS8NA9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#7NZU, SUDAAN (definition)
History
- 2026-11-02: add by m2/dev
John Adrian Bondy A8JFYSSJ4D
| URI | m2://inv/A8JFYSSJ4D |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia John Adrian Bondy, John Adrian Bondy (topic). Also Wikidata Q3180867
History
- 2026-11-02: add by m2/dev
A8JJ45CPSZ A8JJ45CPSZ
| URI | m2://inv/A8JJ45CPSZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13883#XQWP (statement). In F3PQ8P7R2B/e1, lemma 10
History
- 2026-10-28: add by m2/v0.4.2
Matrix differential equation A8JQ6Y8H6H
| URI | m2://inv/A8JQ6Y8H6H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Matrix differential equation, Matrix differential equation (definition). Also Wikidata Q6787870
History
- 2026-11-02: add by m2/dev
Steve Sailer A8JQYQHHY3
| URI | m2://inv/A8JQYQHHY3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#7V3T, Steve Sailer (unknown)
History
- 2026-11-02: add by m2/dev
A8JXP7FMD2 A8JXP7FMD2
| URI | m2://inv/A8JXP7FMD2 |
|---|---|
| Kind | example |
| 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 2608.23797#HN4K (example). In PZCA01JXVR/e1, example 3.12
History
- 2026-10-27: add by m2/v0.3.5
Errors and residuals in statistics A8JZXB8DSA
| URI | m2://inv/A8JZXB8DSA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#6RVD, Errors and residuals in statistics (definition)
History
- 2026-11-02: add by m2/dev
A8K07YZV5D A8K07YZV5D
| URI | m2://inv/A8K07YZV5D |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_background_integers.ptx#lemma-1 (statement). In QKM9DD2H56, lemma, section B.14
History
- 2026-11-01: add by m2/v0.6.13
Algebraic properties A8K344R3T5
| URI | m2://inv/A8K344R3T5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Concatenation#Y81V, Algebraic properties (statement)
History
- 2026-11-02: add by m2/dev
Concave galleries A8K4FFW1YN
| URI | m2://inv/A8K4FFW1YN |
|---|---|
| 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 2207.12181#ZE0I, Concave galleries (statement). In FSD8NE3XSR/e1, proposition 3.3
History
- 2026-10-27: add by m2/v0.4.0
A8K56XYFKW A8K56XYFKW
| URI | m2://inv/A8K56XYFKW |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/rep-theory/semisimple.tex#proof-4 (proof). In RZP28ERRZV, proof, section 81.3
History
- 2026-11-01: add by m2/v0.6.13
almost simple group A8KA514HWP
| URI | m2://inv/A8KA514HWP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4734006, almost simple group (unknown). Also LMFDB knowl group.almost_simple
- wikipedia: Wikipedia Almost simple group, Almost simple group (definition). Also Wikidata Q4734006
History
- 2026-10-26: add by m2/dev
Denominator A8KHRAQ5ZY
| URI | m2://inv/A8KHRAQ5ZY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22301#H7FG, Denominator (statement)
History
- 2026-11-02: add by m2/v0.6.17
Coisometry and information contraction A8M0PA8RC4
| URI | m2://inv/A8M0PA8RC4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38228#MXLI, Coisometry and information contraction (statement). In 9YAE8FNQST/e1, proposition 13.9
History
- 2026-10-30: add by m2/v0.4.12
Preservation of smallness in modular lattices. A8MATNM3MJ
| URI | m2://inv/A8MATNM3MJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10930#JVNM, Preservation of smallness in modular lattices. (statement). In HX63A1PH1W/e1, lemma 5.40
History
- 2026-10-28: add by m2/v0.4.3
A8MFF8P8ZJ A8MFF8P8ZJ
| URI | m2://inv/A8MFF8P8ZJ |
|---|---|
| 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.29227#AXJR (statement)
History
- 2026-11-01: add by m2/v0.6.15
submanifold-with-boundary A8MGVK758Y
| URI | m2://inv/A8MGVK758Y |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv index/C/submanifold-with-boundary, submanifold-with-boundary (concept). In VNMV985MXX, index, section C
History
- 2026-11-01: add by m2/v0.6.13
Attainment at nondegenerate regular points A8MMYK8SBR
| URI | m2://inv/A8MMYK8SBR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15180#2RG5, Attainment at nondegenerate regular points (statement). In AMRWRJDNKJ/e1, corollary 9.3
History
- 2026-10-28: add by m2/v0.4.2
A8MNHMJ9E5 A8MNHMJ9E5
| URI | m2://inv/A8MNHMJ9E5 |
|---|---|
| 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#GDAV (statement)
History
- 2026-11-02: add by m2/v0.6.18
Applications A8MQ5ZQMJK
| URI | m2://inv/A8MQ5ZQMJK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Half-range Fourier series#0SGN, Applications (example)
History
- 2026-11-02: add by m2/dev
A8MY8XTWF1 A8MY8XTWF1
| URI | m2://inv/A8MY8XTWF1 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 46-XX, 47-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1711.00219#RA0M (definition). In 7V3HG30ZGW/e1, definition 7.1
History
- 2026-10-27: add by m2/v0.4.0
Intersection Flow, II A8NEPC3J2P
| URI | m2://inv/A8NEPC3J2P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31294#AMVP, Intersection Flow, II (statement). In 6GK9EJMWY4/e1, proposition 4.8
History
- 2026-10-31: add by m2/v0.5.6
Relation to other consistency principles A8NMAC4J51
| URI | m2://inv/A8NMAC4J51 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ω-consistent theory#GEGU, Relation to other consistency principles (statement)
History
- 2026-11-02: add by m2/dev
A8NTX932KC A8NTX932KC
| URI | m2://inv/A8NTX932KC |
|---|---|
| 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.38865#LM9G (statement). In TFZNHCE6EV/e1, lemma 2.6
History
- 2026-10-30: add by m2/v0.4.12
NetworkX A8NYS1APY0
| URI | m2://inv/A8NYS1APY0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia NetworkX, NetworkX (definition). Also Wikidata Q7000696
History
- 2026-11-02: add by m2/dev
Noise A8P3FDWGSD
| URI | m2://inv/A8P3FDWGSD |
|---|---|
| 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.14988#TP9P, Noise (statement). In B29M4E6KGC/e1, lemma J.11
History
- 2026-10-28: add by m2/v0.4.2
Greenberg--Vatsal, Castella--Grossi--Skinner, Keller--Yin A8P3P3GHVV
| URI | m2://inv/A8P3P3GHVV |
|---|---|
| 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.40282#WC3Z, Greenberg--Vatsal, Castella--Grossi--Skinner, Keller--Yin (statement). In P86RWY99S2/e1, theorem 3.2.1
History
- 2026-10-30: add by m2/v0.4.12
A8P44TY1VW A8P44TY1VW
| URI | m2://inv/A8P44TY1VW |
|---|---|
| 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.14555#9OWK (statement). In NHW0VEJ09F/e1, proposition B.2
History
- 2026-10-28: add by m2/v0.4.2
A8P9D1HWCW A8P9D1HWCW
| URI | m2://inv/A8P9D1HWCW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2401.07983#M2GD (statement). In 4WJ9HYVSZY/e1, lemma 3.7
History
- 2026-10-27: add by m2/v0.3.6
A8P9S2DEWR A8P9S2DEWR
| URI | m2://inv/A8P9S2DEWR |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21005#PTVL (example). In E63NRC7MBE/e1, example 2.8
History
- 2026-10-27: add by m2/v0.4.2
A8PAYKBXK3 A8PAYKBXK3
| URI | m2://inv/A8PAYKBXK3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12329#BLWR (statement). In ZJQB9W60T6/e1, lemma 2.11
History
- 2026-10-28: add by m2/v0.4.2
A8PEQSCVAT A8PEQSCVAT
| URI | m2://inv/A8PEQSCVAT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04503#0N7H (statement). In GWQP1XPM8E/e1, proposition 2.2
History
- 2026-10-29: add by m2/v0.4.12
A8PFA9FR5B A8PFA9FR5B
| URI | m2://inv/A8PFA9FR5B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38188#5RMX (statement). In 7615KVXDB5/e1, theorem 3.4
History
- 2026-10-30: add by m2/v0.4.12
Karine Chemla A8PFVE2SZ7
| URI | m2://inv/A8PFVE2SZ7 |
|---|---|
| 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#4CAL, Karine Chemla (topic)
History
- 2026-11-02: add by m2/dev
type, universe A8PJKQ9HRK
| URI | m2://inv/A8PJKQ9HRK |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/4.2.3/type-universe, type, universe (concept). In N54F33XE07, index, section 4.2.3
History
- 2026-11-01: add by m2/v0.6.13
Uniform local strong convexity along $\{m_t\}_{0\le t \le T(\beta)}$ A8PMNE3XXC
| URI | m2://inv/A8PMNE3XXC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30590#2WDE, Uniform local strong convexity along $\{m_t\}_{0\le t \le T(\beta)}$ (statement). In WYE2JVEZBT/e1, theorem 4.2
History
- 2026-10-31: add by m2/v0.5.6
A8PNWKQ8X4 A8PNWKQ8X4
| URI | m2://inv/A8PNWKQ8X4 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 57-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08837#YCH2 (definition). In KBH265QSBT/e1, definition 7.3
History
- 2026-10-29: add by m2/v0.4.10
Generalized balanced ternary A8PYAHHG3V
| URI | m2://inv/A8PYAHHG3V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalized balanced ternary, Generalized balanced ternary (definition). Also Wikidata Q118901683
History
- 2026-11-02: add by m2/dev
A8Q1V9P4CB A8Q1V9P4CB
| URI | m2://inv/A8Q1V9P4CB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10930#6W5P (statement). In HX63A1PH1W/e1, lemma 6.12
History
- 2026-10-28: add by m2/v0.4.3
A8Q59GBP5R A8Q59GBP5R
| URI | m2://inv/A8Q59GBP5R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05179#ZXH6 (statement). In 9EMCPF1F2T/e1, theorem 38
History
- 2026-10-29: add by m2/v0.4.10
A8QCS91TQ2 A8QCS91TQ2
| URI | m2://inv/A8QCS91TQ2 |
|---|---|
| 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#37B6 (example). In 9ZSNSJRJ5N/e1, example 39
History
- 2026-10-27: add by m2/v0.4.2
Factorization of Boolean morphisms A8QETAZ3Z7
| URI | m2://inv/A8QETAZ3Z7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2102.12931#S4LV, Factorization of Boolean morphisms (statement). In PQHTR84RAJ/e1, proposition 3.19
History
- 2026-10-27: add by m2/v0.4.0
A8QW467D9Y A8QW467D9Y
| URI | m2://inv/A8QW467D9Y |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/frobenius.tex#exercise-4 (exercise). In RZP28ERRZV, exercise, section 13.6.4
History
- 2026-11-01: add by m2/v0.6.13
Stationary affine recursion with a bounded perturbation A8QWMCSXP7
| URI | m2://inv/A8QWMCSXP7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06308#40ET, Stationary affine recursion with a bounded perturbation (statement). In HTWSDDAWGS/e1, lemma C.3
History
- 2026-10-29: add by m2/v0.4.10
Franco Burgersdijk A8QX63F3AM
| URI | m2://inv/A8QX63F3AM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#AJXX, Franco Burgersdijk (topic)
History
- 2026-11-02: add by m2/dev
Pencil singularity A8R3J6YXJ6
| URI | m2://inv/A8R3J6YXJ6 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 30-XX, 32-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12497#NRSL, Pencil singularity (definition). In Z0SAF18JPP/e1, definition 1.1
History
- 2026-10-28: add by m2/v0.4.2
Periodic or regular tiling A8R41CS7MY
| URI | m2://inv/A8R41CS7MY |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19455#JLIV, Periodic or regular tiling (definition). In CBF6TQS4DW/e1, definition 1.8
History
- 2026-10-28: add by m2/v0.4.2
A8RF8306H8 A8RF8306H8
| URI | m2://inv/A8RF8306H8 |
|---|---|
| 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.22237#FAOO (statement). In 2FWTWMHA2W/e1, proposition 3.3
History
- 2026-10-27: add by m2/v0.4.0
Viggo Brun A8RN34AYD8
| URI | m2://inv/A8RN34AYD8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Viggo Brun, Viggo Brun (topic). Also Wikidata Q381433
History
- 2026-11-02: add by m2/dev
Conditional Access Identification A8RP28D954
| URI | m2://inv/A8RP28D954 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conditional access#H6DZ, Conditional Access Identification (unknown)
History
- 2026-11-02: add by m2/dev
Formal definitions A8RPWSY7QR
| URI | m2://inv/A8RPWSY7QR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia ♯P#YY66, Formal definitions (definition)
History
- 2026-11-02: add by m2/dev
A8S1W68CXT A8S1W68CXT
| URI | m2://inv/A8S1W68CXT |
|---|---|
| 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 0805.4273#3X7K (statement). In ZX3NV58FRX/e1, lemma 2.5
History
- 2026-10-27: add by m2/v0.3.5
A8S7VVC96B A8S7VVC96B
| URI | m2://inv/A8S7VVC96B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39700#2MKS (statement). In E7W2HDNEKJ/e1, theorem 9.4
History
- 2026-10-30: add by m2/v0.4.12
Definitions A8SEE883J7
| URI | m2://inv/A8SEE883J7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polynomial hierarchy#5WM5, Definitions (definition)
History
- 2026-11-02: add by m2/dev
A8SSGZGVPF A8SSGZGVPF
| URI | m2://inv/A8SSGZGVPF |
|---|---|
| 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.36389#9R1R (statement). In N1S169J2MV/e1, lemma 6
History
- 2026-10-30: add by m2/v0.4.12
Applications A8SY9TPPPQ
| URI | m2://inv/A8SY9TPPPQ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 1/3–2/3 conjecture#AO0L, Applications (example)
History
- 2026-11-02: add by m2/dev
A8T1PDC967 A8T1PDC967
| URI | m2://inv/A8T1PDC967 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39700#GGM7 (statement). In E7W2HDNEKJ/e1, theorem 5.27
History
- 2026-10-30: add by m2/v0.4.12
Resilience A8T1Q6XTY7
| URI | m2://inv/A8T1Q6XTY7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Resilience (mathematics), Resilience (definition). Also Wikidata Q119999674
History
- 2026-11-02: add by m2/dev
Theorem A8TAZCN1WN
| URI | m2://inv/A8TAZCN1WN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Craig interpolation#79W5, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Orlov's reconstruction theorem A8TEZ8TTPY
| URI | m2://inv/A8TEZ8TTPY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Derived noncommutative algebraic geometry#HE7D, Orlov's reconstruction theorem (statement)
History
- 2026-11-02: add by m2/dev
A8TG5KWJ3H A8TG5KWJ3H
| URI | m2://inv/A8TG5KWJ3H |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 11-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.28141#NDST (example)
History
- 2026-11-01: add by m2/v0.6.15
A8TJFZ8ZN6 A8TJFZ8ZN6
| URI | m2://inv/A8TJFZ8ZN6 |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 35-XX, 65-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13680#6CBR (unknown). In QNBFHFZ3H0/e1, unknown 85
History
- 2026-10-28: add by m2/v0.4.2
Sharp estimate A8TQPRAHK7
| URI | m2://inv/A8TQPRAHK7 |
|---|---|
| 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.23230#L9K2, Sharp estimate (statement)
History
- 2026-11-02: add by m2/v0.6.17
Real number A8TZDG94M7
| URI | m2://inv/A8TZDG94M7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of types of numbers#CPO2, Real number (definition)
History
- 2026-11-02: add by m2/dev
A8TZYJAS5A A8TZYJAS5A
| URI | m2://inv/A8TZYJAS5A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32174#ZBU8 (statement). In GHKR740SG3/e1, proposition 18.2
History
- 2026-10-31: add by m2/v0.5.6
Smooth function A8V6DZHB4R
| URI | m2://inv/A8V6DZHB4R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of types of functions#9U1Y, Smooth function (definition)
History
- 2026-11-02: add by m2/dev
A8V6YNNBNM A8V6YNNBNM
| URI | m2://inv/A8V6YNNBNM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22667#TZRY (statement)
History
- 2026-11-02: add by m2/v0.6.17
A8VFBT38MQ A8VFBT38MQ
| URI | m2://inv/A8VFBT38MQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 53-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37769#9BIT (statement). In MJWNGM4S01/e1, proposition 1.3
History
- 2026-10-30: add by m2/v0.4.12
A8VK1CP9T1 A8VK1CP9T1
| URI | m2://inv/A8VK1CP9T1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book hits.tex#thm:retraction-quotient (statement). In N54F33XE07, cor, section 5.10
History
- 2026-11-01: add by m2/v0.6.13
A8VN7E3276 A8VN7E3276
| URI | m2://inv/A8VN7E3276 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2312.06473#MBSL (definition). In P1MYSYHSGX/e1, definition 3.1
History
- 2026-10-27: add by m2/v0.3.5
A8VXMXHZFA A8VXMXHZFA
| URI | m2://inv/A8VXMXHZFA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04179#SUAB (statement). In D64RQ09KBP/e1, theorem 3.2
History
- 2026-10-29: add by m2/v0.4.12
A8VYSF6YBD A8VYSF6YBD
| URI | m2://inv/A8VYSF6YBD |
|---|---|
| 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 2504.13328#OWEP (definition). In 736Q32FYCG/e1, definition 3.5
History
- 2026-10-27: add by m2/v0.3.5
Luciano Orlando A8VZSEBF9P
| URI | m2://inv/A8VZSEBF9P |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Luciano Orlando, Luciano Orlando (topic). Also Wikidata Q45182815
History
- 2026-11-02: add by m2/dev
A8W1TPMZA3 A8W1TPMZA3
| URI | m2://inv/A8W1TPMZA3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 18-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2304.07398#NZGL (statement). In JS5FKV1S9T/e1, theorem B.2
History
- 2026-10-27: add by m2/v0.3.5
A8W1VPCYG6 A8W1VPCYG6
| URI | m2://inv/A8W1VPCYG6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02944#ZO5P (statement). In 1F99Z64AB7/e1, theorem A.1
History
- 2026-10-29: add by m2/v0.4.12
Issai Schur A8W849GDPQ
| URI | m2://inv/A8W849GDPQ |
|---|---|
| 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 Q72599, Issai Schur (unknown). Also ProofWiki Mathematician:Issai_Schur
- wikipedia: Wikipedia Issai Schur, Issai Schur (topic). Also Wikidata Q72599
History
- 2026-10-26: add by m2/dev
Star refinement A8W9882P9Y
| URI | m2://inv/A8W9882P9Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Star refinement, Star refinement (definition). Also Wikidata Q7601285
History
- 2026-11-02: add by m2/dev
Crystallographic group A8WA7VWKTQ
| URI | m2://inv/A8WA7VWKTQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#FET5, Crystallographic group (definition)
- wikipedia: Wikipedia List of Lie groups topics#VZDQ, Crystallographic group (definition)
History
- 2026-11-02: add by m2/dev
Notation A8WB4MKHEG
| URI | m2://inv/A8WB4MKHEG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mark and recapture#KKE4, Notation (definition)
History
- 2026-11-02: add by m2/dev
Ramanujan bound for congruence tree quotients, consequence A8WBTS44EA
| URI | m2://inv/A8WBTS44EA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28028#V5SN, Ramanujan bound for congruence tree quotients, consequence (statement)
History
- 2026-11-01: add by m2/v0.6.15
A8WFHNSSFT A8WFHNSSFT
| URI | m2://inv/A8WFHNSSFT |
|---|---|
| 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 2304.08149#X42J (definition). In K16E32N55W/e1, definition
History
- 2026-10-27: add by m2/v0.3.6
A8WGRAFSNY A8WGRAFSNY
| URI | m2://inv/A8WGRAFSNY |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/second-order-logic/metatheory/second-order-arithmetic.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 66.1
History
- 2026-11-01: add by m2/v0.6.13
A8WK2SSRZH A8WK2SSRZH
| URI | m2://inv/A8WK2SSRZH |
|---|---|
| Kind | statement |
| 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.20516#T737 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Cayley–Purser algorithm A8WMD7DA74
| URI | m2://inv/A8WMD7DA74 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Arthur Cayley#W5FL, Cayley–Purser algorithm (definition)
History
- 2026-11-02: add by m2/dev
Magdalena Toda A8WS3RVWKT
| URI | m2://inv/A8WS3RVWKT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Magdalena Toda, Magdalena Toda (topic). Also Wikidata Q56152896
History
- 2026-11-02: add by m2/dev
A8WY1JEBSZ A8WY1JEBSZ
| URI | m2://inv/A8WY1JEBSZ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 57-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 2108.10246#EM5R (definition). In XD0YT3XCW2/e1, definition 2.17
History
- 2026-10-27: add by m2/v0.3.5
Swallowtail catastrophe A8WY8EB6AZ
| URI | m2://inv/A8WY8EB6AZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Catastrophe theory#6X5O, Swallowtail catastrophe (unknown)
History
- 2026-11-02: add by m2/dev
A8X04BSJVT A8X04BSJVT
| URI | m2://inv/A8X04BSJVT |
|---|---|
| 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.26180#KHBG (definition)
History
- 2026-11-01: add by m2/v0.6.15
A8X33N3MQ2 A8X33N3MQ2
| URI | m2://inv/A8X33N3MQ2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20521#PHH7 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Eva Kallin A8X5P0M6EC
| URI | m2://inv/A8X5P0M6EC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eva Kallin, Eva Kallin (topic). Also Wikidata Q21062216
History
- 2026-11-02: add by m2/dev
A8X9SD84TQ A8X9SD84TQ
| URI | m2://inv/A8X9SD84TQ |
|---|---|
| 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 2012.06334#63UT (statement). In QD725J6HV4/e1, theorem 2
History
- 2026-10-27: add by m2/v0.3.5
Hopfion A8XBPJSYWN
| URI | m2://inv/A8XBPJSYWN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hopfion, Hopfion (definition). Also Wikidata Q106707223
History
- 2026-11-02: add by m2/dev
A8XF6R4HSA A8XF6R4HSA
| URI | m2://inv/A8XF6R4HSA |
|---|---|
| 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.29531#KIMW (statement)
History
- 2026-11-01: add by m2/v0.6.15
A8XGMGP6P0 A8XGMGP6P0
| URI | m2://inv/A8XGMGP6P0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2308.05066#L8NR (statement). In 1QSCT53ZED/e1, lemma 4.9
History
- 2026-10-27: add by m2/v0.4.0
Indian Institute of Science Education and Research, Pune A8XSRJ61QH
| URI | m2://inv/A8XSRJ61QH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Srinivasa Ramanujan#WAV9, Indian Institute of Science Education and Research, Pune (unknown)
History
- 2026-11-02: add by m2/dev
Results A8Y91JRJ07
| URI | m2://inv/A8Y91JRJ07 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spinor genus#K8PS, Results (statement)
History
- 2026-11-02: add by m2/dev
Failure of the \(\mathbb Q\)-Gorenstein condition A8YDW3EDKE
| URI | m2://inv/A8YDW3EDKE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21093#MKKC, Failure of the \(\mathbb Q\)-Gorenstein condition (statement). In TBFPBPQV3G/e1, proposition 5.4
History
- 2026-10-27: add by m2/v0.4.2
A8YPD8EC8Q A8YPD8EC8Q
| URI | m2://inv/A8YPD8EC8Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section3-5.xml#definition-2 (definition). In 649HGZKE96, definition, section 3.5.2
History
- 2026-11-01: add by m2/v0.6.13
Whitehead Prize A8YPECFJGR
| URI | m2://inv/A8YPECFJGR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Whitehead Prize, Whitehead Prize (definition). Also Wikidata Q1814850
History
- 2026-11-02: add by m2/dev
A8YPX7N3BB A8YPX7N3BB
| URI | m2://inv/A8YPX7N3BB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2411.00562#Q53C (statement). In 99CQPHSSYF/e1, theorem \zarabicsection.\zarabicthrm
History
- 2026-10-27: add by m2/v0.3.5
A8YXCMWPQ0 A8YXCMWPQ0
| URI | m2://inv/A8YXCMWPQ0 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-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.04325#ERVE (example). In 42XHT97E64/e1, example 8.8
History
- 2026-10-29: add by m2/v0.4.12
A8Z04HNK46 A8Z04HNK46
| URI | m2://inv/A8Z04HNK46 |
|---|---|
| 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.15847#0PKN (statement). In BTV3DAMX28/e1, corollary 2
History
- 2026-10-28: add by m2/v0.4.2
Examples A8Z4TBPBBK
| URI | m2://inv/A8Z4TBPBBK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Householder transformation#OM07, Examples (example)
History
- 2026-11-02: add by m2/dev
A8Z53BXY86 A8Z53BXY86
| URI | m2://inv/A8Z53BXY86 |
|---|---|
| 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.20135#01F3 (statement). In ZQQEN3J866/e1, corollary 1.8
History
- 2026-10-27: add by m2/v0.4.2
Free inverse semigroup A8Z6CQ9K35
| URI | m2://inv/A8Z6CQ9K35 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inverse semigroup#TEEM, Free inverse semigroup (unknown)
History
- 2026-11-02: add by m2/dev
Francesco Tricomi A8Z91SP21G
| URI | m2://inv/A8Z91SP21G |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Francesco Tricomi, Francesco Tricomi (topic). Also Wikidata Q966203
History
- 2026-11-02: add by m2/dev
Laurence Broze A8ZDPWY4QZ
| URI | m2://inv/A8ZDPWY4QZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Laurence Broze, Laurence Broze (topic). Also Wikidata Q59160128
History
- 2026-11-02: add by m2/dev
second derivative A8ZDQZFG7E
| URI | m2://inv/A8ZDQZFG7E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of calculus#06FA, second derivative (definition)
History
- 2026-11-02: add by m2/dev
Normalized Log-Linear Combination of Measures A8ZKACPFFR
| URI | m2://inv/A8ZKACPFFR |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.19988#09EN, Normalized Log-Linear Combination of Measures (definition)
History
- 2026-11-02: add by m2/v0.6.18
A8ZKWBTWC5 A8ZKWBTWC5
| URI | m2://inv/A8ZKWBTWC5 |
|---|---|
| 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.26129#JU68 (definition)
History
- 2026-11-01: add by m2/v0.6.15
Repopulation A8ZRFWD2YT
| URI | m2://inv/A8ZRFWD2YT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Repopulation, Repopulation (definition). Also Wikidata Q6105831
History
- 2026-11-02: add by m2/dev
Liouville's theorem (complex analysis) A8ZXD38AJC
| URI | m2://inv/A8ZXD38AJC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical proofs#P59R, Liouville's theorem (complex analysis) (statement)
- wikipedia: Wikipedia List of complex analysis topics#32LW, Liouville's theorem (complex analysis) (statement)
History
- 2026-11-02: add by m2/dev
Iverson bracket A8ZXJNNP9V
| URI | m2://inv/A8ZXJNNP9V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2114682, Iverson bracket (definition). Also MathWorld IversonBracket, ProofWiki Definition:Iverson's_Convention
- wikipedia: Wikipedia Iverson bracket, Iverson bracket (definition). Also Wikidata Q2114682
History
- 2026-10-26: add by m2/dev
Fixed-point logic A8ZY6B4JET
| URI | m2://inv/A8ZY6B4JET |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fixed-point logic, Fixed-point logic (definition). Also Wikidata Q111181235
History
- 2026-11-02: add by m2/dev