Inventory rows AR
The cards of the rows of the inventory whose ids start with AR. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Classical theorems AR040A84CT
| URI | m2://inv/AR040A84CT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Riemannian geometry#463K, Classical theorems (statement)
History
- 2026-11-02: add by m2/dev
AR06ZBA5AQ AR06ZBA5AQ
| URI | m2://inv/AR06ZBA5AQ |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0003117#XLZ0 (example). In WD2NCBV9F0/e1, example 2.13
History
- 2026-10-27: add by m2/v0.3.5
Converse AR096Q5AXS
| URI | m2://inv/AR096Q5AXS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cohn's irreducibility criterion#BY6F, Converse (statement)
History
- 2026-11-02: add by m2/dev
AR0NYX44MG AR0NYX44MG
| URI | m2://inv/AR0NYX44MG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0810.0962#7JUB (statement). In 80YMRN5KS9/e1, theorem 10
History
- 2026-10-27: add by m2/v0.3.5
AR0SARZJX3 AR0SARZJX3
| URI | m2://inv/AR0SARZJX3 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33590#K3FS (definition). In WRE0P7V6Z3/e1, definition 1.32
History
- 2026-10-30: add by m2/v0.4.12
Gersten's theorem AR0TMXJ6PW
| URI | m2://inv/AR0TMXJ6PW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stephen M. Gersten#Z431, Gersten's theorem (statement)
History
- 2026-11-02: add by m2/dev
Generalizations AR0YBSQN8K
| URI | m2://inv/AR0YBSQN8K |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Touchard polynomials#15QK, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Base-2 scientific notation AR13MPEYKF
| URI | m2://inv/AR13MPEYKF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Scientific notation#SO6E, Base-2 scientific notation (unknown)
History
- 2026-11-02: add by m2/dev
Tschirnhausen cubic AR19F3JZ20
| URI | m2://inv/AR19F3JZ20 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#DPG8, Tschirnhausen cubic (definition)
- wikipedia: Wikipedia List of curves#CJ98, Tschirnhausen cubic (definition)
History
- 2026-11-02: add by m2/dev
Gabino Barreda AR1C3JTJMY
| URI | m2://inv/AR1C3JTJMY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gabino Barreda, Gabino Barreda (topic). Also Wikidata Q944538
History
- 2026-11-02: add by m2/dev
Induction Order AR1C9N4WA7
| URI | m2://inv/AR1C9N4WA7 |
|---|---|
| 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.26337#7F8Q, Induction Order (definition)
History
- 2026-11-01: add by m2/v0.6.15
Hessenberg matrix AR1CZE6S4C
| URI | m2://inv/AR1CZE6S4C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Hessenberg matrix YCEEWJTX56 |
Mentions
- wikidata: Wikidata Q428813, Hessenberg matrix (unknown). Also MathWorld HessenbergMatrix
- wikipedia: Wikipedia Hessenberg matrix, Hessenberg matrix (definition). Also Wikidata Q428813
History
- 2026-10-26: add by m2/dev
AR1FBBVRVW AR1FBBVRVW
| URI | m2://inv/AR1FBBVRVW |
|---|---|
| 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.13741#PUUF (statement). In Q43F8N7XDE/e1, proposition 3.4
History
- 2026-10-28: add by m2/v0.4.2
Optimal maintenance AR1NZQ0YSP
| URI | m2://inv/AR1NZQ0YSP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#UJLV, Optimal maintenance (definition)
History
- 2026-11-02: add by m2/dev
Helmert–Wolf blocking AR1Q4W85Z3
| URI | m2://inv/AR1Q4W85Z3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#QTIC, Helmert–Wolf blocking (definition)
History
- 2026-11-02: add by m2/dev
Wisdom of repugnance AR1QV1GHFK
| URI | m2://inv/AR1QV1GHFK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wisdom of repugnance, Wisdom of repugnance (definition). Also Wikidata Q4115116
History
- 2026-11-02: add by m2/dev
AR1ZYQM4Q3 AR1ZYQM4Q3
| URI | m2://inv/AR1ZYQM4Q3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/computability/computability-theory/ce-closed-cup-cap.tex#thm-1 (statement). In PKGMM3P5QY, thm, section 2.2
History
- 2026-11-01: add by m2/v0.6.13
Conjugate closure AR227S1C7B
| URI | m2://inv/AR227S1C7B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#LRQU, Conjugate closure (definition)
History
- 2026-11-02: add by m2/dev
AR2443DQTV AR2443DQTV
| URI | m2://inv/AR2443DQTV |
|---|---|
| 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.36078#T5I2 (statement). In MVKXS0Q6XN/e1, theorem 3.6
History
- 2026-10-30: add by m2/v0.4.12
Vectorial Mechanics AR2E26TZ6R
| URI | m2://inv/AR2E26TZ6R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vectorial Mechanics, Vectorial Mechanics (definition). Also Wikidata Q7917850
History
- 2026-11-02: add by m2/dev
Törnqvist index AR2MSQ8FGJ
| URI | m2://inv/AR2MSQ8FGJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Törnqvist index, Törnqvist index (definition). Also Wikidata Q3798214
History
- 2026-11-02: add by m2/dev
NGS bound AR2TCKQCCR
| URI | m2://inv/AR2TCKQCCR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX, 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17815#HY43, NGS bound (statement). In GJ7N2EWACX/e1, lemma 2.1
History
- 2026-10-28: add by m2/v0.4.2
Hasse invariant of a quadratic form AR3CRX5GS7
| URI | m2://inv/AR3CRX5GS7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hasse invariant of a quadratic form, Hasse invariant of a quadratic form (definition). Also Wikidata Q5679984
History
- 2026-11-02: add by m2/dev
Formula AR3K415A8E
| URI | m2://inv/AR3K415A8E |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia K-convexity in Rn#UZY7, Formula (statement)
History
- 2026-11-02: add by m2/dev
AR3M3BP496 AR3M3BP496
| URI | m2://inv/AR3M3BP496 |
|---|---|
| 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 2011.12496#8ATP (statement). In 1DH15ZJFRZ/e1, lemma 7
History
- 2026-10-27: add by m2/v0.3.5
Interpretation of parameters in Euclid's formula AR3NX5KD3Z
| URI | m2://inv/AR3NX5KD3Z |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pythagorean triple#DVYT, Interpretation of parameters in Euclid's formula (statement)
History
- 2026-11-02: add by m2/dev
Transferable belief model AR3X06F6J2
| URI | m2://inv/AR3X06F6J2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#U2H0, Transferable belief model (definition)
- wikipedia: Wikipedia List of probability topics#8S7M, Transferable belief model (definition)
History
- 2026-11-02: add by m2/dev
AR404A45WM AR404A45WM
| URI | m2://inv/AR404A45WM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18078#U7OA (statement). In YVK8EFSYNJ/e1, lemma 5.5
History
- 2026-10-28: add by m2/v0.4.2
AR40W66EZM AR40W66EZM
| URI | m2://inv/AR40W66EZM |
|---|---|
| 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#BDB7 (definition). In XDMM0KNNZ9/e1, definition 53
History
- 2026-10-29: add by m2/v0.4.10
Formal definition AR45MSPTNK
| URI | m2://inv/AR45MSPTNK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nonnegative rank (linear algebra)#TYWF, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
Multiplication theorem AR46GQMB8A
| URI | m2://inv/AR46GQMB8A |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 33-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q98831, Multiplication theorem (statement). Also Wikidata Q98831
- thousand_plus: thousand_plus Q98831, Multiplication theorem (statement). Also Wikidata Q98831, Wikipedia Multiplication theorem
- wikipedia: Wikipedia Multiplication theorem, Multiplication theorem (statement). Also Wikidata Q98831
History
- 2026-10-26: add by m2/dev
Exact calibration AR4GD9A6V8
| URI | m2://inv/AR4GD9A6V8 |
|---|---|
| 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.07721#I4F7, Exact calibration (statement). In QMJDN66F5N/e1, theorem 2.1
History
- 2026-10-29: add by m2/v0.4.10
AR4J4SB1CA AR4J4SB1CA
| URI | m2://inv/AR4J4SB1CA |
|---|---|
| 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 2212.00617#8RTE (statement). In K7505G10SS/e1, proposition 5.4
History
- 2026-10-27: add by m2/v0.3.5
AR4J6GFMVN AR4J6GFMVN
| URI | m2://inv/AR4J6GFMVN |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22074#WDYD (definition). In F3BKXXPR3K/e1, definition B.1
History
- 2026-10-27: add by m2/v0.4.2
AR4PQSPQ9R AR4PQSPQ9R
| URI | m2://inv/AR4PQSPQ9R |
|---|---|
| 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.39809#LKGR (statement). In 97YSJAHESY/e1, theorem 2
History
- 2026-10-30: add by m2/v0.4.12
AR50QT13A8 AR50QT13A8
| URI | m2://inv/AR50QT13A8 |
|---|---|
| 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.15352#VGW3 (statement). In R39P7AFXM8/e1, lemma 3.10
History
- 2026-10-28: add by m2/v0.4.2
AR58HXGZRH AR58HXGZRH
| URI | m2://inv/AR58HXGZRH |
|---|---|
| Kind | definition |
| 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 2105.13129#00UM (definition). In J5Z1JD5VKR/e1, definition 3.6
History
- 2026-10-27: add by m2/v0.4.0
Definition AR594NBA4W
| URI | m2://inv/AR594NBA4W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Codimension#JWVE, Definition (definition)
History
- 2026-11-02: add by m2/dev
Locally convex algebra AR5CKF8MSH
| URI | m2://inv/AR5CKF8MSH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of functional analysis#77P6, Locally convex algebra (definition)
History
- 2026-11-02: add by m2/dev
Tetrahedral-octahedral honeycomb AR5EMBYAG0
| URI | m2://inv/AR5EMBYAG0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#EGR4, Tetrahedral-octahedral honeycomb (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#PL6L, Tetrahedral-octahedral honeycomb (definition)
History
- 2026-11-02: add by m2/dev
Abraham bar Hiyya AR5HP0646G
| URI | m2://inv/AR5HP0646G |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#CNMJ, Abraham bar Hiyya (unknown)
History
- 2026-11-02: add by m2/dev
Alpha blending AR5KNSM72Z
| URI | m2://inv/AR5KNSM72Z |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of convexity topics#3NC8, Alpha blending (unknown)
History
- 2026-11-02: add by m2/dev
AR5MHB55ZT AR5MHB55ZT
| URI | m2://inv/AR5MHB55ZT |
|---|---|
| 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#NMCM (statement). In E7W2HDNEKJ/e1, lemma 10.30
History
- 2026-10-30: add by m2/v0.4.12
Pure qubit state AR5S0JGKCK
| URI | m2://inv/AR5S0JGKCK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical topics in quantum theory#1Z8S, Pure qubit state (definition)
History
- 2026-11-02: add by m2/dev
Global softmax stability AR5ZR3D02S
| URI | m2://inv/AR5ZR3D02S |
|---|---|
| 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.12544#9NQE, Global softmax stability (statement). In XXV36V6CK8/e1, lemma 16
History
- 2026-10-28: add by m2/v0.4.2
Penrose–Lucas argument AR61BQDTH3
| URI | m2://inv/AR61BQDTH3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Penrose–Lucas argument, Penrose–Lucas argument (topic). Also Wikidata Q60740314
History
- 2026-11-02: add by m2/dev
Object oriented bounding box AR63KFY5GC
| URI | m2://inv/AR63KFY5GC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Minimum bounding box#G5DF, Object oriented bounding box (unknown)
History
- 2026-11-02: add by m2/dev
Lemma 2 AR657SS64V
| URI | m2://inv/AR657SS64V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Transcendental number#MP2D, Lemma 2 (statement)
History
- 2026-11-02: add by m2/dev
Bounded completant AR674KJ96C
| URI | m2://inv/AR674KJ96C |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Auxiliary normed space#SPOB, Bounded completant (unknown)
History
- 2026-11-02: add by m2/dev
AR6J1GAP4J AR6J1GAP4J
| URI | m2://inv/AR6J1GAP4J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13378#SMVA (statement). In QAH7SV1JT6/e1, theorem 1.3
History
- 2026-10-28: add by m2/v0.4.2
Aluthge transform AR6TH1GKKF
| URI | m2://inv/AR6TH1GKKF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Aluthge transform, Aluthge transform (definition). Also Wikidata Q30752150
History
- 2026-11-02: add by m2/dev
Helpful theorems AR70RJ4ACS
| URI | m2://inv/AR70RJ4ACS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Deduction theorem#J3K3, Helpful theorems (statement)
History
- 2026-11-02: add by m2/dev
Formula for a smooth subvariety AR721QFA5S
| URI | m2://inv/AR721QFA5S |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Adjunction formula#BL8U, Formula for a smooth subvariety (statement)
History
- 2026-11-02: add by m2/dev
Tracy–Widom distribution AR73AXJJW2
| URI | m2://inv/AR73AXJJW2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#RFQS, Tracy–Widom distribution (definition)
History
- 2026-11-02: add by m2/dev
Ruy de Queiroz AR76X9DAQ9
| URI | m2://inv/AR76X9DAQ9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ruy de Queiroz, Ruy de Queiroz (topic). Also Wikidata Q7383633
History
- 2026-11-02: add by m2/dev
Nerve theorems AR7EC88MER
| URI | m2://inv/AR7EC88MER |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nerve complex#WJWX, Nerve theorems (statement)
History
- 2026-11-02: add by m2/dev
AR7P1NW90Q AR7P1NW90Q
| URI | m2://inv/AR7P1NW90Q |
|---|---|
| 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.24544#NQ84 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Two-set AR7P5KDT0Z
| URI | m2://inv/AR7P5KDT0Z |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Finite set#OI4U, Two-set (unknown)
History
- 2026-11-02: add by m2/dev
AR7TGCZF0H AR7TGCZF0H
| URI | m2://inv/AR7TGCZF0H |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-contfunc.tex#exercise-75 (exercise). In E59CDZA4DP, exercise, section 2.6.3
History
- 2026-11-01: add by m2/v0.6.13
AR7Y01DERE AR7Y01DERE
| URI | m2://inv/AR7Y01DERE |
|---|---|
| Kind | example |
| 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.10967#AE98 (example). In J5B682ZHYV/e1, example 2.3
History
- 2026-10-28: add by m2/v0.4.3
Properties AR814BY736
| URI | m2://inv/AR814BY736 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Non-Hausdorff manifold#6MPI, Properties (statement)
History
- 2026-11-02: add by m2/dev
AR82WG1SNK AR82WG1SNK
| URI | m2://inv/AR82WG1SNK |
|---|---|
| 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 2610.19285#CM2O (definition). In 6DJR9DKY5W/e1, definition 4.12
History
- 2026-10-28: add by m2/v0.4.2
profunctor AR889MXB0G
| URI | m2://inv/AR889MXB0G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#8BQD, profunctor (definition)
History
- 2026-11-02: add by m2/dev
AR8J766P1T AR8J766P1T
| URI | m2://inv/AR8J766P1T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2306.12846#SK7U (statement). In D6XA7JXZF3/e1, corollary 3.17
History
- 2026-10-27: add by m2/v0.3.5
Lemma 1 AR8MTRR8DG
| URI | m2://inv/AR8MTRR8DG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Michael's theorem on paracompact spaces#MR6W, Lemma 1 (statement)
History
- 2026-11-02: add by m2/dev
Muhammad Hazi AR8TKA8ZPX
| URI | m2://inv/AR8TKA8ZPX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Muhammad Hazi, Muhammad Hazi (topic). Also Wikidata Q109536224
History
- 2026-11-02: add by m2/dev
Dynamic discrete choice AR8ZGV93BY
| URI | m2://inv/AR8ZGV93BY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dynamic discrete choice, Dynamic discrete choice (definition). Also Wikidata Q65072562
History
- 2026-11-02: add by m2/dev
AR8ZM6P55T AR8ZM6P55T
| URI | m2://inv/AR8ZM6P55T |
|---|---|
| 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 2310.02073#9AZP (statement). In 3PNCRG6J62/e1, corollary 5.3
History
- 2026-10-27: add by m2/v0.3.5
set difference AR94NGRP6G
| URI | m2://inv/AR94NGRP6G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | node (a node has the same name as the row) |
| Node | Set difference 05WTQ6FFPS |
Mentions
- wikidata: Wikidata Q845126, set difference (definition). Also MathWorld SetDifference, ProofWiki Definition:Set_Difference
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
AR9752824N AR9752824N
| URI | m2://inv/AR9752824N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18530#77BZ (statement). In HSXWVKPCQV/e1, proposition 2.2
History
- 2026-10-28: add by m2/v0.4.2
Fredholm alternative, simple case AR9E6193GH
| URI | m2://inv/AR9E6193GH |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs index/5.1.4/fredholm-alternative-simple-case, Fredholm alternative, simple case (concept). In E9HS8K3A52, index, section 5.1.4
History
- 2026-11-01: add by m2/v0.6.13
Ioannis Kontoyiannis AR9FFXP37T
| URI | m2://inv/AR9FFXP37T |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ioannis Kontoyiannis, Ioannis Kontoyiannis (topic). Also Wikidata Q59751138
History
- 2026-11-02: add by m2/dev
AR9GGPFC81 AR9GGPFC81
| URI | m2://inv/AR9GGPFC81 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10221#FW2L (definition). In 9Z5M655EPV/e1, definition 5.4
History
- 2026-10-29: add by m2/v0.4.10
Naming Context AR9HFPKMPN
| URI | m2://inv/AR9HFPKMPN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Active Directory#DUAD, Naming Context (unknown)
History
- 2026-11-02: add by m2/dev
AR9KZEEJR3 AR9KZEEJR3
| URI | m2://inv/AR9KZEEJR3 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2401.05118#TLZU (example). In BT0T0QS2TN/e1, example 3.8
History
- 2026-10-27: add by m2/v0.4.0
Definition of extremal length AR9M7Q25QH
| URI | m2://inv/AR9M7Q25QH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Extremal length#T97D, Definition of extremal length (definition)
History
- 2026-11-02: add by m2/dev
irreflexivity AR9SKRTC25
| URI | m2://inv/AR9SKRTC25 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#GQ8I, irreflexivity (definition)
History
- 2026-11-02: add by m2/dev
deterministic polynomial time AR9SXWW63D
| URI | m2://inv/AR9SXWW63D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#ZTYJ, deterministic polynomial time (definition)
History
- 2026-11-02: add by m2/dev
ARA042SSXF ARA042SSXF
| URI | m2://inv/ARA042SSXF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28357#MCRQ (statement)
History
- 2026-11-01: add by m2/v0.6.15
John Purser ARA82G8EEA
| URI | m2://inv/ARA82G8EEA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia John Purser (mathematician), John Purser (topic). Also Wikidata Q22808501
History
- 2026-11-02: add by m2/dev
Sharp moment-to-Lorentz embedding ARA85DCCHT
| URI | m2://inv/ARA85DCCHT |
|---|---|
| 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.22345#I2OG, Sharp moment-to-Lorentz embedding (statement)
History
- 2026-11-02: add by m2/v0.6.17
ARAGRW0V6W ARAGRW0V6W
| URI | m2://inv/ARAGRW0V6W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 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 1209.5343#HC9Z (statement). In 4SPYEGKZ8J/e1, theorem A
History
- 2026-10-27: add by m2/v0.3.5
ARAJWB41JW ARAJWB41JW
| URI | m2://inv/ARAJWB41JW |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20119#1G07 (definition)
History
- 2026-11-02: add by m2/v0.6.18
Maryam Mirzakhani ARAMP4QQGM
| URI | m2://inv/ARAMP4QQGM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Iranian mathematicians#G5UO, Maryam Mirzakhani (topic)
History
- 2026-11-02: add by m2/dev
Noncommutative algebraic geometry ARB3P2MJQ2
| URI | m2://inv/ARB3P2MJQ2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#PS1X, Noncommutative algebraic geometry (definition)
History
- 2026-11-02: add by m2/dev
SSM Convergence Rate under Distributed Learning ARBAWDZD02
| URI | m2://inv/ARBAWDZD02 |
|---|---|
| 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.02659#GN18, SSM Convergence Rate under Distributed Learning (statement). In EV933413SJ/e1, corollary D.8
History
- 2026-10-29: add by m2/v0.4.12
ARBB1A9V98 ARBB1A9V98
| URI | m2://inv/ARBB1A9V98 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2510.12502#30CS (definition). In 3A4K47Y9F2/e1, definition 5.11
History
- 2026-10-27: add by m2/v0.4.0
Lajos Szilassi ARBBKS060D
| URI | m2://inv/ARBBKS060D |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#9ET4, Lajos Szilassi (unknown)
History
- 2026-11-02: add by m2/dev
Rademacher complexity of a finite set ARBBT9T8C0
| URI | m2://inv/ARBBT9T8C0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22752#5A1B, Rademacher complexity of a finite set (statement)
History
- 2026-11-02: add by m2/v0.6.17
D. M. Chibisov ARBDTGZYXM
| URI | m2://inv/ARBDTGZYXM |
|---|---|
| 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#GHEU, D. M. Chibisov (unknown)
History
- 2026-11-02: add by m2/dev
ARBFWFXKHP ARBFWFXKHP
| URI | m2://inv/ARBFWFXKHP |
|---|---|
| Kind | example |
| 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.25524#IGR7 (example)
History
- 2026-11-01: add by m2/v0.6.15
ARBK4JT0YZ ARBK4JT0YZ
| URI | m2://inv/ARBK4JT0YZ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-approximate.tex#exercise-45 (exercise). In E59CDZA4DP, exercise, section 1.6.1
History
- 2026-11-01: add by m2/v0.6.13
ARBQ8WF2S8 ARBQ8WF2S8
| URI | m2://inv/ARBQ8WF2S8 |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00271#Q023 (problem). In T1NSCAZS28/e1, problem 8.2
History
- 2026-10-30: add by m2/v0.4.12
Hopf conjecture ARBW7KYHGJ
| URI | m2://inv/ARBW7KYHGJ |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#RUHP, Hopf conjecture (conjecture)
History
- 2026-11-02: add by m2/dev
Menelaus of Alexandria ARBWYWG3DB
| URI | m2://inv/ARBWYWG3DB |
|---|---|
| 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 Q451572, Menelaus of Alexandria (unknown). Also ProofWiki Mathematician:Menelaus_of_Alexandria
- wikipedia: Wikipedia Menelaus of Alexandria, Menelaus of Alexandria (topic). Also Wikidata Q451572
History
- 2026-10-26: add by m2/dev
ARC01SZJQ1 ARC01SZJQ1
| URI | m2://inv/ARC01SZJQ1 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book hits.tex#proof-29 (proof). In N54F33XE07, proof, section 5.12
History
- 2026-11-01: add by m2/v0.6.13
Marinus of Neapolis ARC9QF9AMG
| URI | m2://inv/ARC9QF9AMG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Greek mathematicians#FA67, Marinus of Neapolis (topic)
History
- 2026-11-02: add by m2/dev
Affine coefficient operator ARCEP0R1AV
| URI | m2://inv/ARCEP0R1AV |
|---|---|
| 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 2610.15262#VGKL, Affine coefficient operator (definition). In C44HVXWYRF/e1, definition 5.1
History
- 2026-10-28: add by m2/v0.4.2
Olof Staffans ARCJ7XSN87
| URI | m2://inv/ARCJ7XSN87 |
|---|---|
| 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#5VOH, Olof Staffans (unknown)
History
- 2026-11-02: add by m2/dev
ARCJZ8VDC7 ARCJZ8VDC7
| URI | m2://inv/ARCJZ8VDC7 |
|---|---|
| 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.00789#UNXF (example). In 4WPYBTARS2/e1, example 5.14
History
- 2026-10-29: add by m2/v0.4.12
Two-dimensional matrix reduction ARD16MPQGM
| URI | m2://inv/ARD16MPQGM |
|---|---|
| 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 2609.29565#EKBA, Two-dimensional matrix reduction (statement)
History
- 2026-11-01: add by m2/v0.6.15
ARD86VNB1K ARD86VNB1K
| URI | m2://inv/ARD86VNB1K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13850#0YR2 (statement). In KJY735KSMF/e1, theorem 9.2
History
- 2026-10-28: add by m2/v0.4.2
ARD8Z30QV2 ARD8Z30QV2
| URI | m2://inv/ARD8Z30QV2 |
|---|---|
| Kind | example |
| 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 2610.04046#2BPB (example). In 3THDT8WNF7/e1, example 13
History
- 2026-10-29: add by m2/v0.4.12
ARDD2P49PN ARDD2P49PN
| URI | m2://inv/ARDD2P49PN |
|---|---|
| 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.17817#SKGZ (definition). In M8TSJ24RC2/e1, definition 2.22
History
- 2026-10-28: add by m2/v0.4.2
L. W. Beineke ARDWHWDRK6
| URI | m2://inv/ARDWHWDRK6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#I8OO, L. W. Beineke (unknown)
History
- 2026-11-02: add by m2/dev
ARDY29A3EW ARDY29A3EW
| URI | m2://inv/ARDY29A3EW |
|---|---|
| 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.39706#KTPH (statement). In 79Y8JJMKP4/e1, lemma 2.1
History
- 2026-10-30: add by m2/v0.4.12
ARDY9838BY ARDY9838BY
| URI | m2://inv/ARDY9838BY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21662#18PZ (statement). In 25B3WHEKH2/e1, theorem B
History
- 2026-10-27: add by m2/v0.4.2
Block length ARE0QZD8AM
| URI | m2://inv/ARE0QZD8AM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Block code#Q3MU, Block length (unknown)
History
- 2026-11-02: add by m2/dev
Gyrated tetrahedral-octahedral honeycomb ARE1YMN099
| URI | m2://inv/ARE1YMN099 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#L15S, Gyrated tetrahedral-octahedral honeycomb (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#68M8, Gyrated tetrahedral-octahedral honeycomb (definition)
History
- 2026-11-02: add by m2/dev
Katona, Gyula O. H. ARE9SAG9VH
| URI | m2://inv/ARE9SAG9VH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Hungarian mathematicians#RBGX, Katona, Gyula O. H. (topic)
History
- 2026-11-02: add by m2/dev
369 (Number) AREBJH1VC2
| URI | m2://inv/AREBJH1VC2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 300 (number)#KP7B, 369 (Number) (unknown)
History
- 2026-11-02: add by m2/dev
Properties ARECJ3B6MZ
| URI | m2://inv/ARECJ3B6MZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bundle metric#3WN7, Properties (statement)
History
- 2026-11-02: add by m2/dev
BCH minimum-weight multiplicity AREEH0W153
| URI | m2://inv/AREEH0W153 |
|---|---|
| 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.15815#SHDB, BCH minimum-weight multiplicity (statement). In 9C75CTY5C3/e1, proposition 3.1
History
- 2026-10-28: add by m2/v0.4.2
AREH7TM20M AREH7TM20M
| URI | m2://inv/AREH7TM20M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07890#IA6K (statement). In 6F3GSDT2V1/e1, lemma 3.14
History
- 2026-10-29: add by m2/v0.4.10
Theorem AREKEE0QDA
| URI | m2://inv/AREKEE0QDA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jackson network#EOA1, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Block influence AREKYCPWCV
| URI | m2://inv/AREKYCPWCV |
|---|---|
| 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.17403#72Z5, Block influence (statement). In 9EMNMAW8YH/e1, lemma 28
History
- 2026-10-28: add by m2/v0.4.2
ARENFSQTTE ARENFSQTTE
| URI | m2://inv/ARENFSQTTE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17204#0WNO (statement). In 5CZ2BNV4MT/e1, proposition 4.3
History
- 2026-10-28: add by m2/v0.4.2
Quantitative marketing research AREQMHK7B3
| URI | m2://inv/AREQMHK7B3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quantitative marketing research, Quantitative marketing research (definition). Also Wikidata Q7268931
History
- 2026-11-02: add by m2/dev
Richard Palais ARER6XYMSK
| URI | m2://inv/ARER6XYMSK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#EQBZ, Richard Palais (topic)
History
- 2026-11-02: add by m2/dev
Mair Russell-Jones ARF5C17S49
| URI | m2://inv/ARF5C17S49 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mair Russell-Jones, Mair Russell-Jones (topic). Also Wikidata Q18737198
History
- 2026-11-02: add by m2/dev
Method ARF9514XMM
| URI | m2://inv/ARF9514XMM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Halley's method#WHZY, Method (definition)
History
- 2026-11-02: add by m2/dev
parent ARFC49BXKZ
| URI | m2://inv/ARFC49BXKZ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi index/5.2.2/parent, parent (concept). In Y91XFCEVHQ, index, section 5.2.2
History
- 2026-11-01: add by m2/v0.6.13
Hartogs phenomenon ARFFY5ZFHM
| URI | m2://inv/ARFFY5ZFHM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#thm-17, Hartogs phenomenon (statement). In VNMV985MXX, thm, section 4.3
History
- 2026-11-01: add by m2/v0.6.13
Seasonal adjustment ARFRVWR10S
| URI | m2://inv/ARFRVWR10S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#QEES, Seasonal adjustment (definition)
History
- 2026-11-02: add by m2/dev
quotient group ARG18M2NA1
| URI | m2://inv/ARG18M2NA1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | deferred (the item has its own article, page 11526) |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of group theory#5VSI, quotient group (definition)
History
- 2026-11-02: add by m2/dev
- 2026-11-03: outcome by m2 corpus adopt
Bin Dong ARG1XFCVZP
| URI | m2://inv/ARG1XFCVZP |
|---|---|
| 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#GX2G, Bin Dong (topic)
History
- 2026-11-02: add by m2/dev
David Shanno ARG247FJWS
| URI | m2://inv/ARG247FJWS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia David Shanno, David Shanno (topic). Also Wikidata Q15804821
History
- 2026-11-02: add by m2/dev
ARGEG8MHZ3 ARGEG8MHZ3
| URI | m2://inv/ARGEG8MHZ3 |
|---|---|
| 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 2105.13129#B9Y5 (statement). In J5Z1JD5VKR/e1, lemma 2.2
History
- 2026-10-27: add by m2/v0.4.0
ARGGYZP35D ARGGYZP35D
| URI | m2://inv/ARGGYZP35D |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 03-XX, 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 math/0406514#MG53 (example). In CY1FE8W1ZW/e1, example 0.150
History
- 2026-10-27: add by m2/v0.4.0
ARGM6N4HJ0 ARGM6N4HJ0
| URI | m2://inv/ARGM6N4HJ0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28780#TG5Q (statement)
History
- 2026-11-01: add by m2/v0.6.15
ARGPVBB13Y ARGPVBB13Y
| URI | m2://inv/ARGPVBB13Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02379#T471 (statement). In W9E40AZJ03/e1, theorem
History
- 2026-10-29: add by m2/v0.4.12
Joan Hutchinson ARH75508EQ
| URI | m2://inv/ARH75508EQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#FOSQ, Joan Hutchinson (topic)
History
- 2026-11-02: add by m2/dev
ARHCQ4H98P ARHCQ4H98P
| URI | m2://inv/ARHCQ4H98P |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11395#0PN5 (example). In T3W7SMWQ73/e1, example 20
History
- 2026-10-28: add by m2/v0.4.3
harmonic division ARHMYB2T95
| URI | m2://inv/ARHMYB2T95 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1101140, harmonic division (unknown). Also MathWorld HarmonicConjugate
- wikipedia: Wikipedia Projective harmonic conjugate, Projective harmonic conjugate (definition). Also Wikidata Q1101140
History
- 2026-10-26: add by m2/dev
Coverage probability ARHR4WGZA1
| URI | m2://inv/ARHR4WGZA1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#QBIR, Coverage probability (definition)
History
- 2026-11-02: add by m2/dev
Capable group ARHXS1P7RV
| URI | m2://inv/ARHXS1P7RV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Capable group, Capable group (definition). Also Wikidata Q5034472
History
- 2026-11-02: add by m2/dev
ARHYX4BWJX ARHYX4BWJX
| URI | m2://inv/ARHYX4BWJX |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section6-1.xml#ula-preview-6-1 (exercise). In 649HGZKE96, exploration, section 6.1.1
History
- 2026-11-01: add by m2/v0.6.13
Definition ARJ2XG3PAJ
| URI | m2://inv/ARJ2XG3PAJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Uniform matroid#R0I9, Definition (definition)
History
- 2026-11-02: add by m2/dev
Example ARJ37QXKKJ
| URI | m2://inv/ARJ37QXKKJ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mutation–selection balance#BMMW, Example (example)
History
- 2026-11-02: add by m2/dev
ARJ4MGEKJY ARJ4MGEKJY
| URI | m2://inv/ARJ4MGEKJY |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13931#WL5Y (definition). In EXA79VR78Q/e1, definition 2.1
History
- 2026-10-28: add by m2/v0.4.2
ARJ4QZ9WEK ARJ4QZ9WEK
| URI | m2://inv/ARJ4QZ9WEK |
|---|---|
| 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.17817#TIK4 (statement). In M8TSJ24RC2/e1, theorem 4.10
History
- 2026-10-28: add by m2/v0.4.2
For a singularity at a finite number ARJ4WZT9JG
| URI | m2://inv/ARJ4WZT9JG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cauchy principal value#6QZB, For a singularity at a finite number (definition)
History
- 2026-11-02: add by m2/dev
Discrete Schwarz-Ahlfors lemma ARJ6FSY9SS
| URI | m2://inv/ARJ6FSY9SS |
|---|---|
| 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 2208.04502#NY4U, Discrete Schwarz-Ahlfors lemma (statement). In BT6E9BXXF3/e1, theorem 1.5
History
- 2026-10-27: add by m2/v0.3.5
ARJ711ND7Z ARJ711ND7Z
| URI | m2://inv/ARJ711ND7Z |
|---|---|
| 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#FYB8 (statement). In JWNYJVH8XG/e1, lemma 2.11
History
- 2026-10-29: add by m2/v0.4.10
ARJ93RVT0Q ARJ93RVT0Q
| URI | m2://inv/ARJ93RVT0Q |
|---|---|
| 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 2308.05715#YBJ7 (definition). In FC0SB9JFWH/e1, definition 5.7
History
- 2026-10-27: add by m2/v0.3.5
ARJC0ZY8KR ARJC0ZY8KR
| URI | m2://inv/ARJC0ZY8KR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15610#3S9G (statement). In HENAFHBDQS/e1, theorem 4.7
History
- 2026-10-28: add by m2/v0.4.2
Toads and Frogs ARJFS85Q04
| URI | m2://inv/ARJFS85Q04 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Toads and Frogs, Toads and Frogs (definition). Also Wikidata Q7811378
History
- 2026-11-02: add by m2/dev
TM ARJQKJXAGS
| URI | m2://inv/ARJQKJXAGS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Midhinge#T2KA, TM (definition)
History
- 2026-11-02: add by m2/dev
ARJR165JMA ARJR165JMA
| URI | m2://inv/ARJR165JMA |
|---|---|
| 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 2507.03563#W2K4 (statement). In R6DR6F68BJ/e1, proposition 2.6
History
- 2026-10-27: add by m2/v0.4.0
Types of Cost Function ARJRZ4HKJS
| URI | m2://inv/ARJRZ4HKJS |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20126#0Z5F, Types of Cost Function (definition). In KVXDWX9B11/e1, definition 2.10
History
- 2026-10-27: add by m2/v0.4.2
ARJVCX3BRX ARJVCX3BRX
| URI | m2://inv/ARJVCX3BRX |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2508.03972#UDPB (example). In 2JD3KNKJ1P/e1, example 5.5
History
- 2026-10-27: add by m2/v0.3.5
ARK3DMX06N ARK3DMX06N
| URI | m2://inv/ARK3DMX06N |
|---|---|
| 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 2610.05314#9SM8 (statement). In PA3B6C0WY7/e1, proposition 5.1
History
- 2026-10-29: add by m2/v0.4.10
Michela Procesi ARK6SMZQJ5
| URI | m2://inv/ARK6SMZQJ5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Michela Procesi, Michela Procesi (topic). Also Wikidata Q97592391
History
- 2026-11-02: add by m2/dev
ARK74TR3EM ARK74TR3EM
| URI | m2://inv/ARK74TR3EM |
|---|---|
| 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.30664#8BSG (statement). In ZZGDNKDVJW/e1, lemma 4.4
History
- 2026-10-31: add by m2/v0.5.6
Off-nominal FRS approximation ARKAQ386W2
| URI | m2://inv/ARKAQ386W2 |
|---|---|
| Kind | problem |
| 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 2203.10220#0OCA, Off-nominal FRS approximation (problem). In FX2SD1GFHT/e1, problem 1
History
- 2026-10-27: add by m2/v0.3.5
Examples ARKCHYYBHN
| URI | m2://inv/ARKCHYYBHN |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Genetic fallacy#ZT26, Examples (example)
History
- 2026-11-02: add by m2/dev
Examples ARKDMDNAKE
| URI | m2://inv/ARKDMDNAKE |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Affine plane#YT79, Examples (example)
History
- 2026-11-02: add by m2/dev
DWBA ARKDZZ9WR3
| URI | m2://inv/ARKDZZ9WR3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Born approximation#YT84, DWBA (unknown)
History
- 2026-11-02: add by m2/dev
ARKE53JBBC ARKE53JBBC
| URI | m2://inv/ARKE53JBBC |
|---|---|
| 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 2610.14450#LF01 (definition). In ZHTGQT07PE/e1, definition 4.5
History
- 2026-10-28: add by m2/v0.4.2
Properties ARKJQQJD9H
| URI | m2://inv/ARKJQQJD9H |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Strictly convex space#KS0Q, Properties (statement)
History
- 2026-11-02: add by m2/dev
ARKKD4TTGC ARKKD4TTGC
| URI | m2://inv/ARKKD4TTGC |
|---|---|
| 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#DKOT (statement). In QXJP79APHN/e1, theorem 4.5
History
- 2026-10-27: add by m2/v0.3.5
ARKSD5VYV9 ARKSD5VYV9
| URI | m2://inv/ARKSD5VYV9 |
|---|---|
| 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.20679#G2SM (statement)
History
- 2026-11-02: add by m2/v0.6.18
ARKWD86EFQ ARKWD86EFQ
| URI | m2://inv/ARKWD86EFQ |
|---|---|
| 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.20028#YVGF (statement)
History
- 2026-11-02: add by m2/v0.6.18
Permuton coordinates ARKWMJ0KCB
| URI | m2://inv/ARKWMJ0KCB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14616#8FFI, Permuton coordinates (statement). In 17ACAG0N9C/e1, lemma 5.7
History
- 2026-10-28: add by m2/v0.4.2
Richard Burt Melrose ARKYN0BBD9
| URI | m2://inv/ARKYN0BBD9 |
|---|---|
| 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#0744, Richard Burt Melrose (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#JYAL, Richard Burt Melrose (unknown)
History
- 2026-11-02: add by m2/dev
Generalization ARM2SRAVK8
| URI | m2://inv/ARM2SRAVK8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quadratic form#U4HM, Generalization (statement)
History
- 2026-11-02: add by m2/dev
ARM80C0H5W ARM80C0H5W
| URI | m2://inv/ARM80C0H5W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-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.05391#V7LT (statement). In 9B5TNEBJHV/e1, lemma 1.11
History
- 2026-10-29: add by m2/v0.4.10
Morava K-theory ARM90E061C
| URI | m2://inv/ARM90E061C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6909307, Morava K-theory (unknown). Also nLab Morava K-theory
- wikipedia: Wikipedia Morava K-theory, Morava K-theory (definition). Also Wikidata Q6909307
History
- 2026-10-26: add by m2/dev
Rolf Rannacher ARMSCNDNHK
| URI | m2://inv/ARMSCNDNHK |
|---|---|
| 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#EFDQ, Rolf Rannacher (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#LR70, Rolf Rannacher (topic)
History
- 2026-11-02: add by m2/dev
ARMWHTJEE3 ARMWHTJEE3
| URI | m2://inv/ARMWHTJEE3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-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.09599#VH6W (statement). In 4JYGH9XNA9/e1, theorem 3.6
History
- 2026-10-29: add by m2/v0.4.10
The Four Color Problem ARMZ4DJ743
| URI | m2://inv/ARMZ4DJ743 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_100: mathlib_100 32, The Four Color Problem (statement)
History
- 2026-10-26: add by m2/dev
ARNA55ZR4H ARNA55ZR4H
| URI | m2://inv/ARNA55ZR4H |
|---|---|
| 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.17547#HPOD (statement). In XJ59TDP4HA/e1, lemma 4.10
History
- 2026-10-28: add by m2/v0.4.2
Algorithm ARNHF417M4
| URI | m2://inv/ARNHF417M4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bootstrapping populations#EC8A, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
ARNPTHVPAC ARNPTHVPAC
| URI | m2://inv/ARNPTHVPAC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38742#XT51 (statement). In TSXBJB0EXK/e1, proposition 2.3
History
- 2026-10-30: add by m2/v0.4.12
ARP68Q9MP7 ARP68Q9MP7
| URI | m2://inv/ARP68Q9MP7 |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 30-XX, 32-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37606#RNW4 (problem). In WNFW6GY38C/e1, problem 12.3
History
- 2026-10-30: add by m2/v0.4.12
Simion Stoilow ARPDZ1SGPA
| URI | m2://inv/ARPDZ1SGPA |
|---|---|
| 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#4YA5, Simion Stoilow (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#RQKN, Simion Stoilow (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#TFJ5, Simion Stoilow (unknown)
History
- 2026-11-02: add by m2/dev
Ralph Kaufmann ARPFSXJ43S
| URI | m2://inv/ARPFSXJ43S |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#Q67B, Ralph Kaufmann (topic)
History
- 2026-11-02: add by m2/dev
Sprague–Grundy theorem ARPHXHFBVA
| URI | m2://inv/ARPHXHFBVA |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 05-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q1687147, Sprague–Grundy theorem (statement). Also Wikidata Q1687147
- thousand_plus: thousand_plus Q1687147, Sprague–Grundy theorem (statement). Also Wikidata Q1687147, Wikipedia Sprague–Grundy theorem
- wikipedia: Wikipedia Sprague–Grundy theorem, Sprague–Grundy theorem (statement). Also Wikidata Q1687147
History
- 2026-10-26: add by m2/dev
The Emperor's New Mind ARPJ1GW8KV
| URI | m2://inv/ARPJ1GW8KV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a book, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1448484, The Emperor's New Mind (unknown). Also ProofWiki Book:Roger_Penrose/The_Emperor's_New_Mind
History
- 2026-10-26: add by m2/dev
Scott Flansburg ARPJ2J1AAZ
| URI | m2://inv/ARPJ2J1AAZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Scott Flansburg, Scott Flansburg (topic). Also Wikidata Q7436334
History
- 2026-11-02: add by m2/dev
Triple junction as curvature varifold with boundary ARPQJ0RFJ6
| URI | m2://inv/ARPQJ0RFJ6 |
|---|---|
| Kind | example |
| 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#Y14O, Triple junction as curvature varifold with boundary (example). In AKB3CNDA0F/e1, example 3.40
History
- 2026-10-29: add by m2/v0.4.12
Theorem [Gower & Richtarik 2015] ARPVF92W4X
| URI | m2://inv/ARPVF92W4X |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kaczmarz method#J422, Theorem [Gower & Richtarik 2015] (statement)
History
- 2026-11-02: add by m2/dev
ARQ2H861WJ ARQ2H861WJ
| URI | m2://inv/ARQ2H861WJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 16-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14060#EHBZ (statement). In X47RYAZF8P/e1, corollary 6.9
History
- 2026-10-28: add by m2/v0.4.2
Axiom 2 ARQ37VHJMV
| URI | m2://inv/ARQ37VHJMV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Construction of the real numbers#5O26, Axiom 2 (statement)
History
- 2026-11-02: add by m2/dev
ARQ49GEPBQ ARQ49GEPBQ
| URI | m2://inv/ARQ49GEPBQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-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.03422#VZX5 (statement). In SF88CM0957/e1, theorem 1.5
History
- 2026-10-29: add by m2/v0.4.12
Isosceles Triangle Theorem ARQ6ENP0RG
| URI | m2://inv/ARQ6ENP0RG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_100: mathlib_100 65, Isosceles Triangle Theorem (statement). Also Mathlib EuclideanGeometry.angle_eq_angle_of_dist_eq
History
- 2026-10-26: add by m2/dev
One-class classification ARQ9ZT5X1T
| URI | m2://inv/ARQ9ZT5X1T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia One-class classification, One-class classification (definition). Also Wikidata Q7092302
History
- 2026-11-02: add by m2/dev
Matsusaburo Fujiwara ARQAG5Z25A
| URI | m2://inv/ARQAG5Z25A |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Matsusaburo Fujiwara, Matsusaburo Fujiwara (topic). Also Wikidata Q1473278
History
- 2026-11-02: add by m2/dev
Poincaré’s formula for intersecting curves ARQH2PZTVA
| URI | m2://inv/ARQH2PZTVA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Crofton formula#FBEQ, Poincaré’s formula for intersecting curves (statement)
History
- 2026-11-02: add by m2/dev
439 (number) ARQMRV1ZMV
| URI | m2://inv/ARQMRV1ZMV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 400 (number)#AQ8V, 439 (number) (unknown)
History
- 2026-11-02: add by m2/dev
Miodrag Petković ARRAQDQ0P1
| URI | m2://inv/ARRAQDQ0P1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#UU2G, Miodrag Petković (unknown)
History
- 2026-11-02: add by m2/dev
ARRERF7R1D ARRERF7R1D
| URI | m2://inv/ARRERF7R1D |
|---|---|
| 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 2609.23660#GU7K (statement)
History
- 2026-11-02: add by m2/v0.6.17
ARRGY7T50N ARRGY7T50N
| URI | m2://inv/ARRGY7T50N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12277#PN6J (statement). In N6GW8Z49SZ/e1, proposition 2.2
History
- 2026-10-28: add by m2/v0.4.2
ARRHYRJ6SZ ARRHYRJ6SZ
| URI | m2://inv/ARRHYRJ6SZ |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 35-XX, 65-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13680#HOAC (unknown). In QNBFHFZ3H0/e1, unknown 35
History
- 2026-10-28: add by m2/v0.4.2
ARRSQPVY72 ARRSQPVY72
| URI | m2://inv/ARRSQPVY72 |
|---|---|
| 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.20760#K04S (statement). In 6G9JSJ5JMP/e1, lemma 2
History
- 2026-10-27: add by m2/v0.4.2
Radial Pitt's inequality for metaplectic operators ARRVXPTS25
| URI | m2://inv/ARRVXPTS25 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34946#EW8F, Radial Pitt's inequality for metaplectic operators (statement). In Y27BAB2BB4/e1, theorem 1.8
History
- 2026-10-30: add by m2/v0.4.12
ARS37B46Q8 ARS37B46Q8
| URI | m2://inv/ARS37B46Q8 |
|---|---|
| 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.37439#FC5B (statement). In 8K7D3FKJDT/e1, lemma 5.3
History
- 2026-10-30: add by m2/v0.4.12
ARS8SQT577 ARS8SQT577
| URI | m2://inv/ARS8SQT577 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24023#95FI (statement)
History
- 2026-11-02: add by m2/v0.6.17
ARSFQNNRZC ARSFQNNRZC
| URI | m2://inv/ARSFQNNRZC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25291#YLDR (statement)
History
- 2026-11-01: add by m2/v0.6.15
Main theorems ARSKE92AA7
| URI | m2://inv/ARSKE92AA7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Finite group#6RHI, Main theorems (statement)
History
- 2026-11-02: add by m2/dev
ARSSR3C5GP ARSSR3C5GP
| URI | m2://inv/ARSSR3C5GP |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20386#F5XR (definition). In 4WC4V49KAC/e1, definition 2.14
History
- 2026-10-27: add by m2/v0.4.2
ARSXXKGS0W ARSXXKGS0W
| URI | m2://inv/ARSXXKGS0W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-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.24232#U25Z (statement)
History
- 2026-11-01: add by m2/v0.6.15
Definition ARSYH3AKMD
| URI | m2://inv/ARSYH3AKMD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Skewed generalized t distribution#C4X5, Definition (definition)
History
- 2026-11-02: add by m2/dev
ART1JGWCBE ART1JGWCBE
| URI | m2://inv/ART1JGWCBE |
|---|---|
| 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 math/0003117#99PH (statement). In WD2NCBV9F0/e1, lemma 21.3
History
- 2026-10-27: add by m2/v0.3.5
Applications ART3BKJ08Y
| URI | m2://inv/ART3BKJ08Y |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Boolean prime ideal theorem#1R1Z, Applications (example)
History
- 2026-11-02: add by m2/dev
ART5TDS211 ART5TDS211
| URI | m2://inv/ART5TDS211 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39539#0YL7 (definition). In GVR218P3ZR/e1, definition 3.3.5
History
- 2026-10-30: add by m2/v0.4.12
ART7JE9FKX ART7JE9FKX
| URI | m2://inv/ART7JE9FKX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-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 1209.3562#PVPM (statement). In KZH1DCS18C/e1, theorem 6.11
History
- 2026-10-27: add by m2/v0.3.5
Romain Glèlè Kakaï ARTJ588NDW
| URI | m2://inv/ARTJ588NDW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Romain Glèlè Kakaï, Romain Glèlè Kakaï (topic). Also Wikidata Q65557356
History
- 2026-11-02: add by m2/dev
Concentration inequality ARTQMDNAT8
| URI | m2://inv/ARTQMDNAT8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of inequalities#LZZL, Concentration inequality (statement)
History
- 2026-11-02: add by m2/dev
Theorem 1 ARTRK0WDGS
| URI | m2://inv/ARTRK0WDGS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Godunov's theorem#UEXE, Theorem 1 (statement)
History
- 2026-11-02: add by m2/dev
Properties ARTVQJP3R2
| URI | m2://inv/ARTVQJP3R2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia BCH code#NABI, Properties (statement)
History
- 2026-11-02: add by m2/dev
Block size ARV15P9PFP
| URI | m2://inv/ARV15P9PFP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Block size (cryptography), Block size (definition). Also Wikidata Q1053357
History
- 2026-11-02: add by m2/dev
ARV17X83KQ ARV17X83KQ
| URI | m2://inv/ARV17X83KQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40017#EW2F (statement). In MBHJA0HT06/e1, proposition 6.4
History
- 2026-10-30: add by m2/v0.4.12
Further examples ARV2K1XY7C
| URI | m2://inv/ARV2K1XY7C |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Blowing up#OFG6, Further examples (example)
History
- 2026-11-02: add by m2/dev
Cun Hui Zhang ARV2YSZ2QN
| URI | m2://inv/ARV2YSZ2QN |
|---|---|
| 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#AE30, Cun Hui Zhang (unknown)
History
- 2026-11-02: add by m2/dev
separation from the axes ARV3M2FMB7
| URI | m2://inv/ARV3M2FMB7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01753#M8LE, separation from the axes (statement). In JY50YXMH5N/e1, lemma 46
History
- 2026-10-29: add by m2/v0.4.12
ARV7JA9457 ARV7JA9457
| URI | m2://inv/ARV7JA9457 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book homotopy.tex#thm-2 (statement). In N54F33XE07, thm, section 7.1.5
History
- 2026-11-01: add by m2/v0.6.13
Mean value theorem of differential calculus ARVC6CVJGF
| URI | m2://inv/ARVC6CVJGF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Logarithmic mean#RVLI, Mean value theorem of differential calculus (statement)
History
- 2026-11-02: add by m2/dev
regularity implies strict gradedness ARVNDN448X
| URI | m2://inv/ARVNDN448X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32733#1426, regularity implies strict gradedness (statement). In PCAS8S14J6/e1, proposition 6.6
History
- 2026-10-31: add by m2/v0.5.6
ARVNEZKKR2 ARVNEZKKR2
| URI | m2://inv/ARVNEZKKR2 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-approximate.tex#exercise-28 (exercise). In E59CDZA4DP, exercise, section 1.3.6
History
- 2026-11-01: add by m2/v0.6.13
ARVS1KC5FM ARVS1KC5FM
| URI | m2://inv/ARVS1KC5FM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08873#IZJ6 (statement). In 7WMNVJBAVR/e1, corollary 4.7
History
- 2026-10-29: add by m2/v0.4.10
Riemann curvature tensor ARVV2BRZMT
| URI | m2://inv/ARVV2BRZMT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Bernhard Riemann#I2B6, Riemann curvature tensor (definition)
History
- 2026-11-02: add by m2/dev
ARVWZPFHT8 ARVWZPFHT8
| URI | m2://inv/ARVWZPFHT8 |
|---|---|
| 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 2208.07401#6STX (statement). In GJD7HKCE56/e1, proposition 3.4
History
- 2026-10-27: add by m2/v0.3.6
arbitrary ARW28WC51E
| URI | m2://inv/ARW28WC51E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of mathematical jargon#NQ5T, arbitrary (definition)
History
- 2026-11-02: add by m2/dev
ARW3PWX6XK ARW3PWX6XK
| URI | m2://inv/ARW3PWX6XK |
|---|---|
| Kind | statement |
| 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 2610.13877#NABE (statement). In NBMA6DBKJG/e1, lemma 4.9
History
- 2026-10-28: add by m2/v0.4.2
Prüfer domain ARW9CRGN9T
| URI | m2://inv/ARW9CRGN9T |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Prüfer domain 2RDAA4PCK8 |
Mentions
- wikidata: Wikidata Q2894873, Prüfer domain (concept). Also ProofWiki Definition:Prüfer_Domain
- wikipedia: Wikipedia Prüfer domain, Prüfer domain (definition). Also Wikidata Q2894873
History
- 2026-10-26: add by m2/dev
Electronic Communications Act 2000 ARWDTC1233
| URI | m2://inv/ARWDTC1233 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Electronic Communications Act 2000, Electronic Communications Act 2000 (definition). Also Wikidata Q5358229
History
- 2026-11-02: add by m2/dev
ARWG4B31N6 ARWG4B31N6
| URI | m2://inv/ARWG4B31N6 |
|---|---|
| Kind | problem |
| 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.09596#1YB2 (problem). In HXFA55BREZ/e1, problem 1.22
History
- 2026-10-29: add by m2/v0.4.10
king's graph ARWJ8WSRSZ
| URI | m2://inv/ARWJ8WSRSZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6411145, king's graph (unknown). Also MathWorld KingGraph
History
- 2026-10-26: add by m2/dev
ARWKCNJEJ3 ARWKCNJEJ3
| URI | m2://inv/ARWKCNJEJ3 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30018#O017 (definition)
History
- 2026-11-01: add by m2/v0.6.15
Representation-optimized boundaries ARWMEVB55B
| URI | m2://inv/ARWMEVB55B |
|---|---|
| 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.04027#NP8B, Representation-optimized boundaries (statement). In DQB4YR2DFH/e1, theorem 8.2
History
- 2026-10-29: add by m2/v0.4.12
Apastamba Dharmasutra ARWRYM59Y2
| URI | m2://inv/ARWRYM59Y2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Indian mathematicians#1AQI, Apastamba Dharmasutra (unknown)
History
- 2026-11-02: add by m2/dev
Complexity and Real Computation ARWXFECZFX
| URI | m2://inv/ARWXFECZFX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Complexity and Real Computation, Complexity and Real Computation (definition). Also Wikidata Q85753701
History
- 2026-11-02: add by m2/dev
Algebraic combinatorics ARX1SF1F13
| URI | m2://inv/ARX1SF1F13 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#VKHN, Algebraic combinatorics (definition)
History
- 2026-11-02: add by m2/dev
Benno Kerry ARX1T5104M
| URI | m2://inv/ARX1T5104M |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Benno Kerry, Benno Kerry (topic). Also Wikidata Q3638288
History
- 2026-11-02: add by m2/dev
Neil Robertson ARX20WTWFC
| URI | m2://inv/ARX20WTWFC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#W6KW, Neil Robertson (topic)
History
- 2026-11-02: add by m2/dev
ARX7YN42NB ARX7YN42NB
| URI | m2://inv/ARX7YN42NB |
|---|---|
| Kind | statement |
| 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.21668#PUAO (statement)
History
- 2026-11-02: add by m2/v0.6.18
ARXB3G22BW ARXB3G22BW
| URI | m2://inv/ARXB3G22BW |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38548#1WI8 (example). In Z7ZFV3HM1S/e1, example 4.3
History
- 2026-10-30: add by m2/v0.4.12
Transfer of hardness in fixed dimension and degree ARXBKFJEQP
| URI | m2://inv/ARXBKFJEQP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 26-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12434#1ND5, Transfer of hardness in fixed dimension and degree (statement). In YCRZC9SDCE/e1, corollary 6.5
History
- 2026-10-28: add by m2/v0.4.2
ARXE63HADN ARXE63HADN
| URI | m2://inv/ARXE63HADN |
|---|---|
| Kind | example |
| 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 2609.30049#TYXP (example)
History
- 2026-11-01: add by m2/v0.6.15
Gordon Elliott Wall ARXKGVFSJE
| URI | m2://inv/ARXKGVFSJE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q66738092, Gordon Elliott Wall (unknown). Also ProofWiki Mathematician:Gordon_Elliott_Wall
History
- 2026-10-26: add by m2/dev
ARXNGZXHXX ARXNGZXHXX
| URI | m2://inv/ARXNGZXHXX |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-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 1912.02769#D8GD (example). In JH7VQ2EC16/e1, example 3.6
History
- 2026-10-27: add by m2/v0.3.5
ARXYD37PFW ARXYD37PFW
| URI | m2://inv/ARXYD37PFW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23202#E0O0 (statement)
History
- 2026-11-02: add by m2/v0.6.17
ARXZGC505S ARXZGC505S
| URI | m2://inv/ARXZGC505S |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/AxiomsRealNumbers.tex#theorem-2 (statement). In P1C114YBXG, theorem, section u1
History
- 2026-11-01: add by m2/v0.6.13
ARY86ZNTMP ARY86ZNTMP
| URI | m2://inv/ARY86ZNTMP |
|---|---|
| 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.21972#817Y (statement)
History
- 2026-11-02: add by m2/v0.6.17
hectare ARYFEJK6CN
| URI | m2://inv/ARYFEJK6CN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q35852, hectare (definition). Also ProofWiki Definition:Hectare
History
- 2026-10-26: add by m2/dev
Verdier ARYFH9GHRS
| URI | m2://inv/ARYFH9GHRS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#K4WH, Verdier (definition)
History
- 2026-11-02: add by m2/dev
Examples ARYKRRWWSK
| URI | m2://inv/ARYKRRWWSK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Steinberg symbol#FJJR, Examples (example)
History
- 2026-11-02: add by m2/dev
Aristaeus the Elder ARYR5F5PJ1
| URI | m2://inv/ARYR5F5PJ1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Greek mathematicians#AGYF, Aristaeus the Elder (unknown)
History
- 2026-11-02: add by m2/dev
Procedure ARYSV393RY
| URI | m2://inv/ARYSV393RY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia MINQUE#9P0Y, Procedure (definition)
History
- 2026-11-02: add by m2/dev
ARYZQ9X6X4 ARYZQ9X6X4
| URI | m2://inv/ARYZQ9X6X4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2108.03672#LUYH (statement). In EZZSZ1F071/e1, lemma 2.17
History
- 2026-10-27: add by m2/v0.4.0
Finiteness of $\rho(F_n)$ does not imply finiteness of $T_\lambda(\Gamma)$ ARZ099YKJ5
| URI | m2://inv/ARZ099YKJ5 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25805#PQCL, Finiteness of $\rho(F_n)$ does not imply finiteness of $T_\lambda(\Gamma)$ (example)
History
- 2026-11-01: add by m2/v0.6.15
ARZ0B7YC8Z ARZ0B7YC8Z
| URI | m2://inv/ARZ0B7YC8Z |
|---|---|
| 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.36313#418S (definition). In Z5SP3NW41S/e1, definition 2.9
History
- 2026-10-30: add by m2/v0.4.12
Statement ARZ1Q2E5CA
| URI | m2://inv/ARZ1Q2E5CA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dudley's theorem#ZX5L, Statement (statement)
History
- 2026-11-02: add by m2/dev
ARZ2YTDYMV ARZ2YTDYMV
| URI | m2://inv/ARZ2YTDYMV |
|---|---|
| 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.13214#48FK (statement). In 4GRNWWH88J/e1, lemma 6.6
History
- 2026-10-28: add by m2/v0.4.2
Definition ARZAR2V2X4
| URI | m2://inv/ARZAR2V2X4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cube-connected cycles#KLM8, Definition (definition)
History
- 2026-11-02: add by m2/dev
Applications ARZCHVAAYG
| URI | m2://inv/ARZCHVAAYG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fourier analysis#J0DO, Applications (example)
History
- 2026-11-02: add by m2/dev
ARZGR8FW1G ARZGR8FW1G
| URI | m2://inv/ARZGR8FW1G |
|---|---|
| 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.32058#VKBK (statement). In N0G73NM4WC/e1, lemma A.2
History
- 2026-10-31: add by m2/v0.5.6
Definitions and statement of the theorem ARZMPK73P3
| URI | m2://inv/ARZMPK73P3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Steinitz's theorem#U62L, Definitions and statement of the theorem (definition)
History
- 2026-11-02: add by m2/dev