Inventory rows 6A
The cards of the rows of the inventory whose ids start with 6A. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Anna Seigal 6A04BSXFST
| URI | m2://inv/6A04BSXFST |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Anna Seigal, Anna Seigal (topic). Also Wikidata Q103141714
History
- 2026-11-02: add by m2/dev
XLispStat 6A0R5YWPEZ
| URI | m2://inv/6A0R5YWPEZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#6D4U, XLispStat (definition)
History
- 2026-11-02: add by m2/dev
Log-Laplace distribution 6A15MRTAPP
| URI | m2://inv/6A15MRTAPP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#91CP, Log-Laplace distribution (definition)
History
- 2026-11-02: add by m2/dev
Least trimmed squares 6A1B7R8J3F
| URI | m2://inv/6A1B7R8J3F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#PGWO, Least trimmed squares (definition)
History
- 2026-11-02: add by m2/dev
Definition 6A1BTRXNNN
| URI | m2://inv/6A1BTRXNNN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Maass wave form#5M8N, Definition (definition)
History
- 2026-11-02: add by m2/dev
Map algebra 6A1DBYQJAJ
| URI | m2://inv/6A1DBYQJAJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Map algebra, Map algebra (definition). Also Wikidata Q6753742
History
- 2026-11-02: add by m2/dev
Randall J. LeVeque 6A1JD3G1T2
| URI | m2://inv/6A1JD3G1T2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#FCB5, Randall J. LeVeque (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#6CXV, Randall J. LeVeque (unknown)
History
- 2026-11-02: add by m2/dev
disjoint sets 6A1JM8J0TB
| URI | m2://inv/6A1JM8J0TB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Disjoint sets 0W4RPA8QH3 |
Mentions
- wikidata: Wikidata Q215382, disjoint sets (unknown). Also MathWorld DisjointSets
- wikipedia: Wikipedia Disjoint sets, Disjoint sets (definition). Also Wikidata Q215382
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
6A1R13C0EQ 6A1R13C0EQ
| URI | m2://inv/6A1R13C0EQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05506#WWEH (statement). In FT53PMB1TE/e1, lemma 3.3.4
History
- 2026-10-29: add by m2/v0.4.10
Definition 6A1XREWN8E
| URI | m2://inv/6A1XREWN8E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Divisibility (ring theory)#3HPR, Definition (definition)
History
- 2026-11-02: add by m2/dev
6A21AC34GT 6A21AC34GT
| URI | m2://inv/6A21AC34GT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.39593#LDVE (statement). In BF0RYHPMS1/e1, theorem 5.5
History
- 2026-10-30: add by m2/v0.4.12
Method of normals 6A2265KCKS
| URI | m2://inv/6A2265KCKS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Method of normals, Method of normals (definition). Also Wikidata Q6823721
History
- 2026-11-02: add by m2/dev
Algorithms 6A298X7HSY
| URI | m2://inv/6A298X7HSY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tacit collusion#FWXN, Algorithms (definition)
History
- 2026-11-02: add by m2/dev
6A2CDHT26C 6A2CDHT26C
| URI | m2://inv/6A2CDHT26C |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21675#HNSO (example). In TB1294GY5X/e1, example C.1
History
- 2026-10-27: add by m2/v0.4.2
Schoenberg–Williamson theorem 6A2E29S5WT
| URI | m2://inv/6A2E29S5WT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bernstein's theorem on monotone functions#CQRO, Schoenberg–Williamson theorem (statement)
History
- 2026-11-02: add by m2/dev
6A2F9AJXV2 6A2F9AJXV2
| URI | m2://inv/6A2F9AJXV2 |
|---|---|
| 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.13913#L0A8 (statement). In BW5GVH97JE/e1, proposition 3.1
History
- 2026-10-28: add by m2/v0.4.2
6A2GMFJ1C0 6A2GMFJ1C0
| URI | m2://inv/6A2GMFJ1C0 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10930#Y2TD (example). In HX63A1PH1W/e1, example 4.27
History
- 2026-10-28: add by m2/v0.4.3
Entropy rearrangement on the seam 6A2J2BM2KK
| URI | m2://inv/6A2J2BM2KK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24931#I19X, Entropy rearrangement on the seam (statement)
History
- 2026-11-01: add by m2/v0.6.15
Properties 6A2M51B88S
| URI | m2://inv/6A2M51B88S |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia S-finite measure#CYFO, Properties (statement)
History
- 2026-11-02: add by m2/dev
Deriving Gauss's law from Newton's law 6A2R81855Y
| URI | m2://inv/6A2R81855Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gauss's law for gravity#2BQA, Deriving Gauss's law from Newton's law (statement)
History
- 2026-11-02: add by m2/dev
Three Rivers District 6A2SG2K52T
| URI | m2://inv/6A2SG2K52T |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#1KW7, Three Rivers District (unknown)
History
- 2026-11-02: add by m2/dev
Definition 6A35ZP4K1D
| URI | m2://inv/6A35ZP4K1D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Poincaré complex#VZQX, Definition (definition)
History
- 2026-11-02: add by m2/dev
6A39M077QE 6A39M077QE
| URI | m2://inv/6A39M077QE |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24449#9S56 (definition)
History
- 2026-11-01: add by m2/v0.6.15
6A3E3HAWSW 6A3E3HAWSW
| URI | m2://inv/6A3E3HAWSW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1903.07030#27LT (statement). In 9H45HQE7AZ/e1, corollary 5.8
History
- 2026-10-27: add by m2/v0.3.5
Holomorphic function 6A3EH0KTP5
| URI | m2://inv/6A3EH0KTP5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of types of functions#1KJK, Holomorphic function (definition)
History
- 2026-11-02: add by m2/dev
Call by value 6A3GXB829A
| URI | m2://inv/6A3GXB829A |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Evaluation strategy#N7XI, Call by value (unknown)
History
- 2026-11-02: add by m2/dev
6A3PHBKK9M 6A3PHBKK9M
| URI | m2://inv/6A3PHBKK9M |
|---|---|
| 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.07673#Q9MV (example). In 37B1MPV8GX/e1, example 2.9
History
- 2026-10-29: add by m2/v0.4.10
Levi-Civita parallelogramoid 6A40HVNKEA
| URI | m2://inv/6A40HVNKEA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Levi-Civita parallelogramoid, Levi-Civita parallelogramoid (definition). Also Wikidata Q6535343
History
- 2026-11-02: add by m2/dev
6A42P1X0PA 6A42P1X0PA
| URI | m2://inv/6A42P1X0PA |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1408.1555#24LP (proof). In S1F2QW24YW/e1, proof
History
- 2026-10-27: add by m2/v0.3.5
6A43764K80 6A43764K80
| URI | m2://inv/6A43764K80 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03719#ETPZ (statement). In 8MDK189ZMB/e1, proposition 2.3
History
- 2026-10-29: add by m2/v0.4.12
Joachim Weickert 6A4A6P7ENF
| URI | m2://inv/6A4A6P7ENF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Joachim Weickert, Joachim Weickert (topic). Also Wikidata Q121165
History
- 2026-11-02: add by m2/dev
6A4C87FEVW 6A4C87FEVW
| URI | m2://inv/6A4C87FEVW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09390#5E7F (statement). In 7SSKW778T8/e1, proposition 3.4
History
- 2026-10-29: add by m2/v0.4.10
Posterior-coordinate identities 6A4EAY3NDD
| URI | m2://inv/6A4EAY3NDD |
|---|---|
| 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.13685#IU70, Posterior-coordinate identities (statement). In 4XQWY8C4AV/e1, lemma 2
History
- 2026-10-28: add by m2/v0.4.2
Definition 6A4FQ1T19V
| URI | m2://inv/6A4FQ1T19V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Signalizer functor#RDXB, Definition (definition)
History
- 2026-11-02: add by m2/dev
6A4GH3R41N 6A4GH3R41N
| URI | m2://inv/6A4GH3R41N |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-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.31352#WQ6A (definition). In SQZGKRDVBX/e1, definition 3.7
History
- 2026-10-31: add by m2/v0.5.6
Moore method 6A4HXNVDY0
| URI | m2://inv/6A4HXNVDY0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3333612, Moore method (definition). Also ProofWiki Definition:Moore_Method
History
- 2026-10-26: add by m2/dev
6A4QS6YHH1 6A4QS6YHH1
| URI | m2://inv/6A4QS6YHH1 |
|---|---|
| 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.12413#J1PC (statement). In 6EJ8J60SP8/e1, corollary 20
History
- 2026-10-28: add by m2/v0.4.2
Richard S. Pierce 6A4QWE0E0P
| URI | m2://inv/6A4QWE0E0P |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Richard S. Pierce, Richard S. Pierce (topic). Also Wikidata Q83297549
History
- 2026-11-02: add by m2/dev
Weil function 6A4QX4S9GF
| URI | m2://inv/6A4QX4S9GF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of arithmetic and diophantine geometry#INH1, Weil function (definition)
History
- 2026-11-02: add by m2/dev
Emily Stone 6A4SREZB5P
| URI | m2://inv/6A4SREZB5P |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Emily Stone (mathematician), Emily Stone (topic). Also Wikidata Q88913000
History
- 2026-11-02: add by m2/dev
The Phenomenology of Spirit 6A4ZFE7A3S
| URI | m2://inv/6A4ZFE7A3S |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a book or a journal, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q877510, The Phenomenology of Spirit (unknown). Also nLab Phenomenology of Spirit
History
- 2026-10-26: add by m2/dev
Newton–Puiseux theorem 6A58M29H0A
| URI | m2://inv/6A58M29H0A |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Puiseux series#TH48, Newton–Puiseux theorem (statement)
History
- 2026-11-02: add by m2/dev
width 6A59AGZJ5R
| URI | m2://inv/6A59AGZJ5R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02743#XSHS, width (statement). In GQH4ZPDWET/e1, lemma 3.3
History
- 2026-10-29: add by m2/v0.4.12
Boosting (meta-algorithm) 6A59KZEGAH
| URI | m2://inv/6A59KZEGAH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#RDVW, Boosting (meta-algorithm) (unknown)
History
- 2026-11-02: add by m2/dev
Continuity under Stinespring perturbations 6A5HDN7V5D
| URI | m2://inv/6A5HDN7V5D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40214#NLSY, Continuity under Stinespring perturbations (statement). In XD603HRHKC/e1, lemma 5.8
History
- 2026-10-30: add by m2/v0.4.12
Theorem 6A5HVDQQ3Z
| URI | m2://inv/6A5HVDQQ3Z |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reshetnyak gluing theorem#C9NN, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Properties and applications 6A5MX5CD5X
| URI | m2://inv/6A5MX5CD5X |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Paraboloid#8PQW, Properties and applications (statement)
History
- 2026-11-02: add by m2/dev
superperfect number 6A5NB1EGYB
| URI | m2://inv/6A5NB1EGYB |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1164125, superperfect number (object). Also MathWorld SuperperfectNumber, OEIS A019279
- wikipedia: Wikipedia Superperfect number, Superperfect number (conjecture). Also Wikidata Q1164125
History
- 2026-10-26: add by m2/dev
Fabienne Comte 6A5S64991T
| URI | m2://inv/6A5S64991T |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fabienne Comte, Fabienne Comte (topic). Also Wikidata Q103367052
History
- 2026-11-02: add by m2/dev
6A5SWXRECT 6A5SWXRECT
| URI | m2://inv/6A5SWXRECT |
|---|---|
| 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.23562#V1SM (statement)
History
- 2026-11-02: add by m2/v0.6.17
6A5TC1DM5N 6A5TC1DM5N
| URI | m2://inv/6A5TC1DM5N |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34474#2T4Z (definition). In R8417G6ABM/e1, definition 6.1
History
- 2026-10-30: add by m2/v0.4.12
6A5Y3S9Z58 6A5Y3S9Z58
| URI | m2://inv/6A5Y3S9Z58 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06899#IZCN (statement). In 5Z2K9JGFSS/e1, lemma 3.1
History
- 2026-10-29: add by m2/v0.4.10
John von Neumann 6A5YK7ZJD9
| URI | m2://inv/6A5YK7ZJD9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of publications in mathematics#KKQP, John von Neumann (topic)
History
- 2026-11-02: add by m2/dev
Completeness Theorem 6A5YQQ4WXX
| URI | m2://inv/6A5YQQ4WXX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/completeness/completeness-thm.tex#thm:completeness, Completeness Theorem (statement). In PKGMM3P5QY, thm, section 9.11
History
- 2026-11-01: add by m2/v0.6.13
6A617N31EQ 6A617N31EQ
| URI | m2://inv/6A617N31EQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12329#DZRL (statement). In ZJQB9W60T6/e1, lemma 3.3
History
- 2026-10-28: add by m2/v0.4.2
6A6F6B5J4M 6A6F6B5J4M
| URI | m2://inv/6A6F6B5J4M |
|---|---|
| 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#YBP8 (definition). In FC0SB9JFWH/e1, definition 8.1
History
- 2026-10-27: add by m2/v0.3.5
6A6HXDB641 6A6HXDB641
| URI | m2://inv/6A6HXDB641 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-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.04305#7V5R (statement). In Y1DR0DPWD0/e1, theorem 6.9
History
- 2026-10-29: add by m2/v0.4.12
6A6JDEBZQ0 6A6JDEBZQ0
| URI | m2://inv/6A6JDEBZQ0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09650#CZV3 (statement). In 628KM8869P/e1, lemma 6.4
History
- 2026-10-29: add by m2/v0.4.10
6A6RFJ80SK 6A6RFJ80SK
| URI | m2://inv/6A6RFJ80SK |
|---|---|
| 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.26477#1M2A (statement)
- arxiv: arXiv 2609.26500#S1X7 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Stephen Fienberg 6A6RSZWKBJ
| URI | m2://inv/6A6RSZWKBJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#7XQ2, Stephen Fienberg (topic)
History
- 2026-11-02: add by m2/dev
6A6VTB46HJ 6A6VTB46HJ
| URI | m2://inv/6A6VTB46HJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 37-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.17139#W0X1 (statement). In AQWX60Z563/e1, corollary 4.9
History
- 2026-10-28: add by m2/v0.4.2
6A733278YY 6A733278YY
| URI | m2://inv/6A733278YY |
|---|---|
| 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 2312.06473#SJBP (statement). In P1MYSYHSGX/e1, lemma B.5
History
- 2026-10-27: add by m2/v0.3.5
6A75VB75JX 6A75VB75JX
| URI | m2://inv/6A75VB75JX |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24675#D2BO (definition)
History
- 2026-11-01: add by m2/v0.6.15
6A7836HPHC 6A7836HPHC
| URI | m2://inv/6A7836HPHC |
|---|---|
| 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.14434#Z4H5 (statement). In TW93XZXMHE/e1, corollary 7.3
History
- 2026-10-28: add by m2/v0.4.2
Example 6A7CCZTFP8
| URI | m2://inv/6A7CCZTFP8 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Grand mean#H5PL, Example (example)
History
- 2026-11-02: add by m2/dev
Spectral measures for spherical matrix coefficients 6A7CZ6YDAD
| URI | m2://inv/6A7CZ6YDAD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2503.01567#YQMQ, Spectral measures for spherical matrix coefficients (statement). In GB0V23Q6C5/e1, corollary 2.5
History
- 2026-10-27: add by m2/v0.3.5
Examples 6A7PJ3ARM9
| URI | m2://inv/6A7PJ3ARM9 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Law of trichotomy#R1NY, Examples (example)
History
- 2026-11-02: add by m2/dev
Shewhart Medal 6A7PW7RGWC
| URI | m2://inv/6A7PW7RGWC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shewhart Medal, Shewhart Medal (definition). Also Wikidata Q2278528
History
- 2026-11-02: add by m2/dev
6A7S79ME85 6A7S79ME85
| URI | m2://inv/6A7S79ME85 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-systems.tex#exercise-106 (exercise). In E9HS8K3A52, exercise, section 10.9.4
History
- 2026-11-01: add by m2/v0.6.13
Scientific community 6A7YHZX1Y3
| URI | m2://inv/6A7YHZX1Y3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Scientific community, Scientific community (topic). Also Wikidata Q240305
History
- 2026-11-02: add by m2/dev
Definition 6A87PN65SD
| URI | m2://inv/6A87PN65SD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Interpolation space#ZUKX, Definition (definition)
History
- 2026-11-02: add by m2/dev
Pappus of Alexandria 6A8A5HREMD
| URI | m2://inv/6A8A5HREMD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Greek mathematicians#GEX6, Pappus of Alexandria (topic)
History
- 2026-11-02: add by m2/dev
separation axiom 6A8B5ST4MA
| URI | m2://inv/6A8B5ST4MA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#26Y8, separation axiom (definition)
History
- 2026-11-02: add by m2/dev
Example 6A8D0T6EMG
| URI | m2://inv/6A8D0T6EMG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Censoring (statistics)#YHQR, Example (example)
History
- 2026-11-02: add by m2/dev
Dyadic derivative 6A8EFTQ7AA
| URI | m2://inv/6A8EFTQ7AA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dyadic derivative, Dyadic derivative (definition). Also Wikidata Q133891310
History
- 2026-11-02: add by m2/dev
QCMA 6A8Q9ZKYHA
| URI | m2://inv/6A8Q9ZKYHA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia QMA#MI6M, QCMA (unknown)
History
- 2026-11-02: add by m2/dev
Great dodecahemicosahedron 6A8W7RWKN1
| URI | m2://inv/6A8W7RWKN1 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#4ICK, Great dodecahemicosahedron (object)
History
- 2026-11-02: add by m2/dev
6A8Y2KWNZR 6A8Y2KWNZR
| URI | m2://inv/6A8Y2KWNZR |
|---|---|
| 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 2608.26046#1LKS (statement). In 96S9DAC9F9/e1, theorem 3
History
- 2026-10-27: add by m2/v0.3.5
6A96NYJDT2 6A96NYJDT2
| URI | m2://inv/6A96NYJDT2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18436#LKEF (statement). In M0Z0XAXZYW/e1, theorem 2.2
History
- 2026-10-28: add by m2/v0.4.2
Runcinated 24-cell honeycomb 6A9DSV4P3S
| URI | m2://inv/6A9DSV4P3S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Runcinated 24-cell honeycomb, Runcinated 24-cell honeycomb (definition). Also Wikidata Q17078251
History
- 2026-11-02: add by m2/dev
parameter weights to matrix entries 6A9FFRDQVB
| URI | m2://inv/6A9FFRDQVB |
|---|---|
| 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.05652#50P3, parameter weights to matrix entries (statement). In 8BNPFYQDQX/e1, lemma 3.16
History
- 2026-10-29: add by m2/v0.4.10
Epi-convergence 6A9HKW4S11
| URI | m2://inv/6A9HKW4S11 |
|---|---|
| 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.08821#TCIL, Epi-convergence (definition). In KP1THB2C09/e1, definition 4.10
History
- 2026-10-29: add by m2/v0.4.10
A horizontal quartic cap 6A9JCK105F
| URI | m2://inv/6A9JCK105F |
|---|---|
| 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.38953#VCFD, A horizontal quartic cap (statement). In 3CRBMY85R5/e1, lemma 3.1
History
- 2026-10-30: add by m2/v0.4.12
Hoon Balakram 6A9N8SSC8B
| URI | m2://inv/6A9N8SSC8B |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hoon Balakram, Hoon Balakram (topic). Also Wikidata Q15989820
History
- 2026-11-02: add by m2/dev
6A9XY31Y2Q 6A9XY31Y2Q
| URI | m2://inv/6A9XY31Y2Q |
|---|---|
| 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 2610.11157#JBUX (definition). In G30YTST9ZK/e1, definition 2.2
History
- 2026-10-28: add by m2/v0.4.3
monad 6A9Y3PVTGC
| URI | m2://inv/6A9Y3PVTGC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1579914, monad (unknown). Also nLab monad (in computer science)
- wikipedia: Wikipedia Monad (functional programming), Monad (definition). Also Wikidata Q1579914
History
- 2026-10-26: add by m2/dev
Cauchy–Schwarz inequality 6AA637DDHS
| URI | m2://inv/6AA637DDHS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#7EGH, Cauchy–Schwarz inequality (statement)
- wikipedia: Wikipedia List of things named after Augustin-Louis Cauchy#UNT1, Cauchy–Schwarz inequality (statement)
- wikipedia: Wikipedia List of real analysis topics#REHU, Cauchy–Schwarz inequality (statement)
- wikipedia: Wikipedia List of inequalities#GQ5O, Cauchy–Schwarz inequality (statement)
History
- 2026-11-02: add by m2/dev
Definition 6AA6VYKNJT
| URI | m2://inv/6AA6VYKNJT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Källén function#993O, Definition (definition)
History
- 2026-11-02: add by m2/dev
N. M. H. Lightfoot 6AA7F2EZDT
| URI | m2://inv/6AA7F2EZDT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia N. M. H. Lightfoot, N. M. H. Lightfoot (topic). Also Wikidata Q29510426
History
- 2026-11-02: add by m2/dev
6AA89XK666 6AA89XK666
| URI | m2://inv/6AA89XK666 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 17-XX, 57-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10262#VKGE (example). In MVSGDTN2PB/e1, example 3.2
History
- 2026-10-29: add by m2/v0.4.10
Lefschetz pencil 6AAA5Z82R0
| URI | m2://inv/6AAA5Z82R0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lefschetz pencil, Lefschetz pencil (definition). Also Wikidata Q6516734
History
- 2026-11-02: add by m2/dev
Applications 6AAAYA0C6D
| URI | m2://inv/6AAAYA0C6D |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bicomplex number#SQAA, Applications (example)
History
- 2026-11-02: add by m2/dev
6AACBK58FH 6AACBK58FH
| URI | m2://inv/6AACBK58FH |
|---|---|
| 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 1311.6044#PA41 (statement). In W4FFB6SVZD/e1, proposition 3.2
History
- 2026-10-27: add by m2/v0.3.5
Clara Eliza Smith 6AAG20XXM1
| URI | m2://inv/6AAG20XXM1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Clara Eliza Smith, Clara Eliza Smith (topic). Also Wikidata Q44840598
History
- 2026-11-02: add by m2/dev
6AAKT3NT4Y 6AAKT3NT4Y
| URI | m2://inv/6AAKT3NT4Y |
|---|---|
| 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.25843#1NPV (statement)
History
- 2026-11-01: add by m2/v0.6.15
neusis construction 6AAR055D2Y
| URI | m2://inv/6AAR055D2Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1079392, neusis construction (definition). Also MathWorld NeusisConstruction, ProofWiki Definition:Neusis_Construction
- wikipedia: Wikipedia Neusis construction, Neusis construction (definition). Also Wikidata Q1079392
History
- 2026-10-26: add by m2/dev
Χ/χ 6AARDKE71C
| URI | m2://inv/6AARDKE71C |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a notation: the notation register holds it (corpus spec K10.4)) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q14425, Χ/χ (unknown). Also ProofWiki Symbols:Greek/Chi
History
- 2026-10-26: add by m2/dev
Abel's lemma on summation by parts 6AAZZ1QASB
| URI | m2://inv/6AAZZ1QASB |
|---|---|
| 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 2104.04145#OUBD, Abel's lemma on summation by parts (statement). In 7TNHVC586V/e1, lemma 6
History
- 2026-10-27: add by m2/v0.3.5
the mirrored ordinals with one initial symbol 6AB5RM81FV
| URI | m2://inv/6AB5RM81FV |
|---|---|
| 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#TTBZ, the mirrored ordinals with one initial symbol (statement). In JY50YXMH5N/e1, corollary 41
History
- 2026-10-29: add by m2/v0.4.12
Positivity from root existence 6ABEKQMRTJ
| URI | m2://inv/6ABEKQMRTJ |
|---|---|
| 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.07905#PVM2, Positivity from root existence (statement). In 88GEN3Z5VG/e1, corollary 7.16
History
- 2026-10-29: add by m2/v0.4.10
Annita Tuller 6ABFCGJC28
| URI | m2://inv/6ABFCGJC28 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Annita Tuller, Annita Tuller (topic). Also Wikidata Q93723011
History
- 2026-11-02: add by m2/dev
6ABXS320ZY 6ABXS320ZY
| URI | m2://inv/6ABXS320ZY |
|---|---|
| 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#KW2L (statement). In YVK8EFSYNJ/e1, lemma 3.14
History
- 2026-10-28: add by m2/v0.4.2
Example 6AC7TPM285
| URI | m2://inv/6AC7TPM285 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Relaxed intersection#4MHT, Example (example)
History
- 2026-11-02: add by m2/dev
Definition 6AC9T9AVHS
| URI | m2://inv/6AC9T9AVHS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stereographic projection#YATZ, Definition (definition)
History
- 2026-11-02: add by m2/dev
Applications 6ACBD25VF8
| URI | m2://inv/6ACBD25VF8 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graph isomorphism problem#VNUP, Applications (example)
History
- 2026-11-02: add by m2/dev
6ACHSFAGGT 6ACHSFAGGT
| URI | m2://inv/6ACHSFAGGT |
|---|---|
| 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.33829#VNLB (statement). In S34H2JTJHH/e1, lemma 5.1
History
- 2026-10-30: add by m2/v0.4.12
Normalized Mutual Information 6ACWNVA6FR
| URI | m2://inv/6ACWNVA6FR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mutual information#DLR2, Normalized Mutual Information (unknown)
History
- 2026-11-02: add by m2/dev
6ACYZA00PY 6ACYZA00PY
| URI | m2://inv/6ACYZA00PY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 53-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26269#RLXY (statement)
History
- 2026-11-01: add by m2/v0.6.15
6AD78BSPKY 6AD78BSPKY
| URI | m2://inv/6AD78BSPKY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37739#1QUG (statement). In F5XF5VXTXY/e1, lemma 8.6
History
- 2026-10-30: add by m2/v0.4.12
Andréa W. Richa 6AD7XMQYAS
| URI | m2://inv/6AD7XMQYAS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#7BSQ, Andréa W. Richa (unknown)
History
- 2026-11-02: add by m2/dev
6ADCCZZEV9 6ADCCZZEV9
| URI | m2://inv/6ADCCZZEV9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.01473#6NQS (statement). In ABS9M47F4K/e1, proposition 4.22
History
- 2026-10-27: add by m2/v0.3.6
Optimal Partition Scale and Minimax Trade-Off 6ADHW5B9SF
| URI | m2://inv/6ADHW5B9SF |
|---|---|
| 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.21340#BF0Z, Optimal Partition Scale and Minimax Trade-Off (statement). In AEYX7SEVBG/e1, lemma 1
History
- 2026-10-27: add by m2/v0.4.2
6ADJQGWQ47 6ADJQGWQ47
| URI | m2://inv/6ADJQGWQ47 |
|---|---|
| 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.31336#RW12 (statement). In 70RV7J456D/e1, lemma 3
History
- 2026-10-31: add by m2/v0.5.6
6ADVQMJZN3 6ADVQMJZN3
| URI | m2://inv/6ADVQMJZN3 |
|---|---|
| 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.33829#LPP3 (statement). In S34H2JTJHH/e1, theorem 4.1
History
- 2026-10-30: add by m2/v0.4.12
Geoid 6ADWGFHNZD
| URI | m2://inv/6ADWGFHNZD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geoid, Geoid (definition). Also Wikidata Q185969
History
- 2026-11-02: add by m2/dev
Grid search 6AE20P8N49
| URI | m2://inv/6AE20P8N49 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hyperparameter optimization#VNUN, Grid search (unknown)
History
- 2026-11-02: add by m2/dev
6AE9VMA46P 6AE9VMA46P
| URI | m2://inv/6AE9VMA46P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25472#T9X3 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Keune: simplicial kernels and homotopy 6AEM5E5DVM
| URI | m2://inv/6AEM5E5DVM |
|---|---|
| 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.21513#BAMO, Keune: simplicial kernels and homotopy (statement)
History
- 2026-11-02: add by m2/v0.6.18
Madhav Vithal Nori 6AEN84XWAT
| URI | m2://inv/6AEN84XWAT |
|---|---|
| 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#BAI6, Madhav Vithal Nori (unknown)
History
- 2026-11-02: add by m2/dev
6AEW4G5H6K 6AEW4G5H6K
| URI | m2://inv/6AEW4G5H6K |
|---|---|
| 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.18101#49YF (statement). In XXN6KKXPYF/e1, lemma 2.1
History
- 2026-10-28: add by m2/v0.4.2
6AEX87A90X 6AEX87A90X
| URI | m2://inv/6AEX87A90X |
|---|---|
| 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.09515#6KO4 (statement). In N51RDVGNXG/e1, theorem 1.4
History
- 2026-10-29: add by m2/v0.4.10
Partial converse (Matoušek 2008, Lemma 2.4) 6AFN0HXMYT
| URI | m2://inv/6AFN0HXMYT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sub-Gaussian distribution#5XP4, Partial converse (Matoušek 2008, Lemma 2.4) (statement)
History
- 2026-11-02: add by m2/dev
Lloyd S. Nelson 6AFNSWMTPR
| URI | m2://inv/6AFNSWMTPR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#O14Y, Lloyd S. Nelson (topic)
History
- 2026-11-02: add by m2/dev
"Zipper rift" hypothesis 6AFT1KDXPS
| URI | m2://inv/6AFT1KDXPS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Snowball Earth#S2SX, "Zipper rift" hypothesis (statement)
History
- 2026-11-02: add by m2/dev
Homogeneous profiles and the exponent $q_c$ 6AFWF0WVX3
| URI | m2://inv/6AFWF0WVX3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02751#ZBY2, Homogeneous profiles and the exponent $q_c$ (statement). In MWGXPXF3BW/e1, theorem 5
History
- 2026-10-29: add by m2/v0.4.12
6AG7TQC25J 6AG7TQC25J
| URI | m2://inv/6AG7TQC25J |
|---|---|
| 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.21305#DBND (statement)
History
- 2026-11-02: add by m2/v0.6.18
6AG989ET57 6AG989ET57
| URI | m2://inv/6AG989ET57 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20469#447H (statement)
History
- 2026-11-02: add by m2/v0.6.18
Properties 6AG9FFDY2Q
| URI | m2://inv/6AG9FFDY2Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Semi-differentiability#1P80, Properties (statement)
History
- 2026-11-02: add by m2/dev
William Kahan 6AGFE1H1A5
| URI | m2://inv/6AGFE1H1A5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#8XA0, William Kahan (topic)
History
- 2026-11-02: add by m2/dev
Uses 6AGPVKJA2P
| URI | m2://inv/6AGPVKJA2P |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quota sampling#L31V, Uses (example)
History
- 2026-11-02: add by m2/dev
Uniform event-time and phase bookkeeping 6AGT5RKEJK
| URI | m2://inv/6AGT5RKEJK |
|---|---|
| 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.15686#72VP, Uniform event-time and phase bookkeeping (statement). In 4HCK722M2G/e1, lemma 5.8
History
- 2026-10-28: add by m2/v0.4.2
AM–GM inequality 6AGTGNY6S3
| URI | m2://inv/6AGTGNY6S3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Inequality of arithmetic and geometric means 0DRF0F3XC9 |
Mentions
- wikidata: Wikidata Q841170, AM–GM inequality (unknown). Also MathWorld CauchysFormula
- wikipedia: Wikipedia AM–GM inequality, AM–GM inequality (statement). Also Wikidata Q841170
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
6AGZW86JAQ 6AGZW86JAQ
| URI | m2://inv/6AGZW86JAQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39905#PCF2 (statement). In D4B23ER9QD/e1, proposition 10
History
- 2026-10-30: add by m2/v0.4.12
6AH2SFVMHN 6AH2SFVMHN
| URI | m2://inv/6AH2SFVMHN |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#example-23 (example). In VNMV985MXX, example, section 6.5
History
- 2026-11-01: add by m2/v0.6.13
Michael J. Larsen 6AH7W974PZ
| URI | m2://inv/6AH7W974PZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#HD6W, Michael J. Larsen (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#1ZNQ, Michael J. Larsen (unknown)
History
- 2026-11-02: add by m2/dev
6AHBDXB1M5 6AHBDXB1M5
| URI | m2://inv/6AHBDXB1M5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16731#0HB4 (statement). In D68KBZQ4Q6/e1, proposition 3.3
History
- 2026-10-28: add by m2/v0.4.2
Task-aligned hidden FTMLE localization 6AHD684DHE
| URI | m2://inv/6AHD684DHE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39190#8IP7, Task-aligned hidden FTMLE localization (statement). In J144J3ANFZ/e1, proposition 5.19
History
- 2026-10-30: add by m2/v0.4.12
Slope 6AHRB6G8M1
| URI | m2://inv/6AHRB6G8M1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of curves topics#OTZA, Slope (definition)
History
- 2026-11-02: add by m2/dev
Normalized critical variation 6AHWJBAHS3
| URI | m2://inv/6AHWJBAHS3 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05457#6VFY, Normalized critical variation (definition). In SV36P5P5Z3/e1, definition 4.1
History
- 2026-10-29: add by m2/v0.4.10
prime decomposition 6AJ074HY4A
| URI | m2://inv/6AJ074HY4A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#ZNXT, prime decomposition (definition)
History
- 2026-11-02: add by m2/dev
Proposition 6AJ19WHBPV
| URI | m2://inv/6AJ19WHBPV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Uniform boundedness principle#RDX5, Proposition (statement)
History
- 2026-11-02: add by m2/dev
Theorem for vertex-weighted graphs 6AJ2TGT9F2
| URI | m2://inv/6AJ2TGT9F2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kőnig's theorem (graph theory)#HNN9, Theorem for vertex-weighted graphs (statement)
History
- 2026-11-02: add by m2/dev
6AJ3AAX2J2 6AJ3AAX2J2
| URI | m2://inv/6AJ3AAX2J2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18620#TF3H (statement). In 6WJ0R9YEBR/e1, lemma 5.10
History
- 2026-10-28: add by m2/v0.4.2
Definition 6AJ44T6TXY
| URI | m2://inv/6AJ44T6TXY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Morava E-theory#VMPI, Definition (definition)
History
- 2026-11-02: add by m2/dev
Natalia Gudina 6AJ52EXXET
| URI | m2://inv/6AJ52EXXET |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#SEKA, Natalia Gudina (unknown)
History
- 2026-11-02: add by m2/dev
6AJA1VAVTT 6AJA1VAVTT
| URI | m2://inv/6AJA1VAVTT |
|---|---|
| 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 1902.04230#H642 (statement). In 22JZ68FGCW/e1, proposition 6.39
History
- 2026-10-27: add by m2/v0.3.5
Example 1: The twin paradox 6AJA6MMN0X
| URI | m2://inv/6AJA6MMN0X |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Proper time#JHB3, Example 1: The twin paradox (example)
History
- 2026-11-02: add by m2/dev
Eightmile, Oregon 6AJDYVQKW5
| URI | m2://inv/6AJDYVQKW5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#W7Y5, Eightmile, Oregon (unknown)
History
- 2026-11-02: add by m2/dev
perfect core 6AJGMG116D
| URI | m2://inv/6AJGMG116D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | deferred (the item has its own article, page 4939190) |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of group theory#JNTP, perfect core (definition)
History
- 2026-11-02: add by m2/dev
- 2026-11-03: outcome by m2 corpus adopt
6AJJCX8DNP 6AJJCX8DNP
| URI | m2://inv/6AJJCX8DNP |
|---|---|
| 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.02042#6UTN (statement). In P3HWTYFDBX/e1, theorem A
History
- 2026-10-29: add by m2/v0.4.12
6AJSC24MDW 6AJSC24MDW
| URI | m2://inv/6AJSC24MDW |
|---|---|
| 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.33365#C48L (statement). In MCXCMR7V0T/e1, lemma 12
History
- 2026-10-30: add by m2/v0.4.12
BS table 6AJVANJPF8
| URI | m2://inv/6AJVANJPF8 |
|---|---|
| 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.25543#4NB6, BS table (statement)
History
- 2026-11-01: add by m2/v0.6.15
6AJYY202WD 6AJYY202WD
| URI | m2://inv/6AJYY202WD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20013#5XT3 (statement). In SC5JZQKZH6/e1, lemma 7.2
History
- 2026-10-27: add by m2/v0.4.2
6AJZAC723G 6AJZAC723G
| URI | m2://inv/6AJZAC723G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 26-XX, 35-XX, 47-XX, 53-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16157#0XMH (statement). In GV251MW5RP/e1, theorem 1.3
History
- 2026-10-28: add by m2/v0.4.2
general linear group 6AK0N4CE2A
| URI | m2://inv/6AK0N4CE2A |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Linear algebra > Fundamentals > general linear group, general linear group (unknown). Also Mathlib LinearMap.GeneralLinearGroup
- mathlib_undergrad: mathlib_undergrad Linear algebra > Fundamentals > general linear group, general linear group (unknown). Also Mathlib LinearMap.GeneralLinearGroup
History
- 2026-10-26: add by m2/dev
6AK5QWXAEJ 6AK5QWXAEJ
| URI | m2://inv/6AK5QWXAEJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21914#EZR9 (statement)
History
- 2026-11-02: add by m2/v0.6.17
6AKCER2H38 6AKCER2H38
| URI | m2://inv/6AKCER2H38 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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.21670#774P (statement)
History
- 2026-11-02: add by m2/v0.6.18
K-regular sequence 6AKHQKW16A
| URI | m2://inv/6AKHQKW16A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia K-regular sequence, K-regular sequence (definition). Also Wikidata Q25304877
History
- 2026-11-02: add by m2/dev
Formula for the Number of Combinations 6AKMHBPMZ1
| URI | m2://inv/6AKMHBPMZ1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_100: mathlib_100 58, Formula for the Number of Combinations (statement). Also Mathlib Finset.card_powersetCard, Mathlib Finset.mem_powersetCard
History
- 2026-10-26: add by m2/dev
E8 manifold 6AKPJ9DJKC
| URI | m2://inv/6AKPJ9DJKC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia E8 manifold, E8 manifold (definition). Also Wikidata Q2788118
History
- 2026-11-02: add by m2/dev
Alfred Gray 6AKPRFGQWW
| URI | m2://inv/6AKPRFGQWW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alfred Gray (mathematician), Alfred Gray (topic). Also Wikidata Q4722754
History
- 2026-11-02: add by m2/dev
Recursive language 6AKTHEK825
| URI | m2://inv/6AKTHEK825 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Recursive language, Recursive language (definition). Also Wikidata Q1455907
History
- 2026-11-02: add by m2/dev
Rosy retrospection 6AKTZ7N2T1
| URI | m2://inv/6AKTZ7N2T1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cognitive biases#HHLZ, Rosy retrospection (unknown)
History
- 2026-11-02: add by m2/dev
Reflexivity 6AKX0VQM16
| URI | m2://inv/6AKX0VQM16 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/tableaux/proof-theoretic-notions.tex#prop:reflexivity, Reflexivity (statement). In PKGMM3P5QY, prop, section 22.5
History
- 2026-11-01: add by m2/v0.6.13
Herbert Douglas Anthony 6AM5XQP6JJ
| URI | m2://inv/6AM5XQP6JJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Herbert Douglas Anthony, Herbert Douglas Anthony (topic). Also Wikidata Q15994268
History
- 2026-11-02: add by m2/dev
433 (number) 6AMDFJMRBD
| URI | m2://inv/6AMDFJMRBD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 400 (number)#15YR, 433 (number) (unknown)
History
- 2026-11-02: add by m2/dev
6AME91NKSF 6AME91NKSF
| URI | m2://inv/6AME91NKSF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19455#YFHD (statement). In CBF6TQS4DW/e1, corollary 6.4
History
- 2026-10-28: add by m2/v0.4.2
6AMHPMR1MM 6AMHPMR1MM
| URI | m2://inv/6AMHPMR1MM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07445#AMYF (statement). In F1BM3Q8125/e1, lemma 2.2
History
- 2026-10-29: add by m2/v0.4.10
Mechanical engineering 6AMT2T3NJ9
| URI | m2://inv/6AMT2T3NJ9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of genetic algorithm applications#6R7V, Mechanical engineering (unknown)
History
- 2026-11-02: add by m2/dev
6AMTG0V3SS 6AMTG0V3SS
| URI | m2://inv/6AMTG0V3SS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 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.40028#N3CL (statement). In N8TDKGGC7S/e1, theorem 3.1
History
- 2026-10-30: add by m2/v0.4.12
Formula 6AMTP144M4
| URI | m2://inv/6AMTP144M4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Abel's summation formula#AKL5, Formula (statement)
History
- 2026-11-02: add by m2/dev
Time dependent vector field 6AMZPZHPNJ
| URI | m2://inv/6AMZPZHPNJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Time dependent vector field, Time dependent vector field (definition). Also Wikidata Q7805285
History
- 2026-11-02: add by m2/dev
6AN0SH1ZGS 6AN0SH1ZGS
| URI | m2://inv/6AN0SH1ZGS |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/set-theory/forcing.tex#proof-5 (proof). In RZP28ERRZV, proof, section 90.6
History
- 2026-11-01: add by m2/v0.6.13
The inequality 6AN2XTKER2
| URI | m2://inv/6AN2XTKER2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Remez inequality#Z662, The inequality (statement)
History
- 2026-11-02: add by m2/dev
Definition 6AN397PJNS
| URI | m2://inv/6AN397PJNS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exponential mechanism#1UXQ, Definition (definition)
History
- 2026-11-02: add by m2/dev
Logarithmic-derivative bridge 6AN6V5DSEE
| URI | m2://inv/6AN6V5DSEE |
|---|---|
| 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.37164#U0XH, Logarithmic-derivative bridge (statement). In B2PG75FSQJ/e1, proposition 2.3
History
- 2026-10-30: add by m2/v0.4.12
neighborhood 6AN7VXF8GX
| URI | m2://inv/6AN7VXF8GX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2478475, neighborhood (unknown). Also EoM Neighbourhood, MathWorld Neighborhood, MathWorld OpenNeighborhood, nLab neighborhood
- wikipedia: Wikipedia Neighbourhood (mathematics), Neighbourhood (definition). Also Wikidata Q2478475
History
- 2026-10-26: add by m2/dev
Kieka Mynhardt 6ANC44K698
| URI | m2://inv/6ANC44K698 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#T80X, Kieka Mynhardt (unknown)
History
- 2026-11-02: add by m2/dev
Jean-Marc Deshouillers 6ANCPBK49Y
| URI | m2://inv/6ANCPBK49Y |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#YM99, Jean-Marc Deshouillers (topic)
History
- 2026-11-02: add by m2/dev
Regina Liu 6ANQ4H5MHE
| URI | m2://inv/6ANQ4H5MHE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Regina Liu, Regina Liu (topic). Also Wikidata Q35495315
History
- 2026-11-02: add by m2/dev
Sam Ngam District 6ANR6K3FJE
| URI | m2://inv/6ANR6K3FJE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#P4IB, Sam Ngam District (unknown)
History
- 2026-11-02: add by m2/dev
Central Bureau of Statistics 6ANTB3AEG9
| URI | m2://inv/6ANTB3AEG9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Central Bureau of Statistics (North Korea), Central Bureau of Statistics (definition). Also Wikidata Q28942281
History
- 2026-11-02: add by m2/dev
Crab 6ANWJE6ZSJ
| URI | m2://inv/6ANWJE6ZSJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Crab (cipher), Crab (definition). Also Wikidata Q3696410
History
- 2026-11-02: add by m2/dev
6AP0H4Z33E 6AP0H4Z33E
| URI | m2://inv/6AP0H4Z33E |
|---|---|
| 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 2609.25718#6YG7 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Statement of criterion 6AP26ASYZN
| URI | m2://inv/6AP26ASYZN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nevanlinna's criterion#K217, Statement of criterion (statement)
History
- 2026-11-02: add by m2/dev
6AP5KP0982 6AP5KP0982
| URI | m2://inv/6AP5KP0982 |
|---|---|
| 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#JG4I (statement). In QAH7SV1JT6/e1, theorem 3.7
History
- 2026-10-28: add by m2/v0.4.2
6AP761C9BJ 6AP761C9BJ
| URI | m2://inv/6AP761C9BJ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/linalg/vector-space.tex#problem-4 (exercise). In RZP28ERRZV, problem, section 62.11
History
- 2026-11-01: add by m2/v0.6.13
David Masser 6APD9V1RQT
| URI | m2://inv/6APD9V1RQT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia David Masser, David Masser (topic). Also Wikidata Q687611
History
- 2026-11-02: add by m2/dev
Shirshov-Cohn theorem 6APFWPG5S6
| URI | m2://inv/6APFWPG5S6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jordan algebra#D6NU, Shirshov-Cohn theorem (unknown)
History
- 2026-11-02: add by m2/dev
6APJF5PK5Y 6APJF5PK5Y
| URI | m2://inv/6APJF5PK5Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05986#D1FC (statement). In N5ZM8MXJXH/e1, theorem 5.7
History
- 2026-10-29: add by m2/v0.4.10
Properties of the comparison field 6APM6ZN5FG
| URI | m2://inv/6APM6ZN5FG |
|---|---|
| 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.05428#F0TI, Properties of the comparison field (statement). In 31MQPCA8SH/e1, proposition 5.1
History
- 2026-10-29: add by m2/v0.4.10
6APQHGP2BE 6APQHGP2BE
| URI | m2://inv/6APQHGP2BE |
|---|---|
| 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 2310.13621#PI57 (statement). In DG0EZ1BPV5/e1, proposition 6.3
History
- 2026-10-27: add by m2/v0.3.5
Applications 6APRMKZCF0
| URI | m2://inv/6APRMKZCF0 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Second sound#XF6Z, Applications (example)
History
- 2026-11-02: add by m2/dev
6AQ15GRATG 6AQ15GRATG
| URI | m2://inv/6AQ15GRATG |
|---|---|
| Kind | definition |
| 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.15744#9JHF (definition). In NV3PBZGBB7/e1, definition 5.4
History
- 2026-10-28: add by m2/v0.4.2
function, contractible 6AQ2KBCP1Q
| URI | m2://inv/6AQ2KBCP1Q |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/3.4/function-contractible, function, contractible (concept). In N54F33XE07, index, section 3.4
History
- 2026-11-01: add by m2/v0.6.13
6AQ338M34P 6AQ338M34P
| URI | m2://inv/6AQ338M34P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21600#OV60 (statement). In EGAXXGHQNK/e1, lemma 4
History
- 2026-10-27: add by m2/v0.4.2
High-probability Gaussian instability 6AQ91TRJAZ
| URI | m2://inv/6AQ91TRJAZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28198#WYIC, High-probability Gaussian instability (statement)
History
- 2026-11-01: add by m2/v0.6.15
The run-chain reduction 6AQSP4JG1T
| URI | m2://inv/6AQSP4JG1T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18512#LQP7, The run-chain reduction (statement). In 11JNM66Z09/e1, proposition 6.10
History
- 2026-10-28: add by m2/v0.4.2
Uses 6AQTS7C01D
| URI | m2://inv/6AQTS7C01D |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia E-function#YWQW, Uses (example)
History
- 2026-11-02: add by m2/dev
Quantitative psychological research 6AQVJ26M4H
| URI | m2://inv/6AQVJ26M4H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quantitative psychological research, Quantitative psychological research (definition). Also Wikidata Q7268940
History
- 2026-11-02: add by m2/dev
6AQYZMZB9E 6AQYZMZB9E
| URI | m2://inv/6AQYZMZB9E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21533#I431 (statement). In N3Z6JFEPCF/e1, lemma 3.1
History
- 2026-10-27: add by m2/v0.4.2
Diagonal action of the Binet operator 6AR0Q1T3VT
| URI | m2://inv/6AR0Q1T3VT |
|---|---|
| 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.20593#X2BE, Diagonal action of the Binet operator (statement). In 7GMD8J4200/e1, proposition 2
History
- 2026-10-27: add by m2/v0.4.2
George Piranian 6AR6ZA3WZ9
| URI | m2://inv/6AR6ZA3WZ9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia George Piranian, George Piranian (topic). Also Wikidata Q5543437
History
- 2026-11-02: add by m2/dev
Guido Castelnuovo 6AR895XRVG
| URI | m2://inv/6AR895XRVG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#EUB1, Guido Castelnuovo (topic)
- wikipedia: Wikipedia List of Italian mathematicians#VPHH, Guido Castelnuovo (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#S6TT, Guido Castelnuovo (topic)
History
- 2026-11-02: add by m2/dev
Richardson number 6ARB8JMRCK
| URI | m2://inv/6ARB8JMRCK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Richardson number, Richardson number (definition). Also Wikidata Q961847
History
- 2026-11-02: add by m2/dev
Solution 6AREMB09EJ
| URI | m2://inv/6AREMB09EJ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04870#36WJ, Solution (definition). In X765ZXXVC3/e1, definition 4.3
History
- 2026-10-29: add by m2/v0.4.12
group field theory 6ARF3P2117
| URI | m2://inv/6ARF3P2117 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q17019528, group field theory (unknown). Also nLab group field theory
History
- 2026-10-26: add by m2/dev
National Navajo Code Talkers Day 6ARHC46MTQ
| URI | m2://inv/6ARHC46MTQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Code talker#KUOF, National Navajo Code Talkers Day (unknown)
History
- 2026-11-02: add by m2/dev
Linear search problem 6ARN0JX1GN
| URI | m2://inv/6ARN0JX1GN |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linear search problem, Linear search problem (problem). Also Wikidata Q6553518
History
- 2026-11-02: add by m2/dev
6ARSTNMG4N 6ARSTNMG4N
| URI | m2://inv/6ARSTNMG4N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21724#PQIG (statement). In EDDJCSBMXN/e1, theorem 2.3
History
- 2026-10-27: add by m2/v0.4.2
6ARTQM73SR 6ARTQM73SR
| URI | m2://inv/6ARTQM73SR |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/tableaux/provability-consistency.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 22.7
History
- 2026-11-01: add by m2/v0.6.13
Applications 6ARV0SZJFP
| URI | m2://inv/6ARV0SZJFP |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathieu group M24#HRP9, Applications (example)
History
- 2026-11-02: add by m2/dev
Jinho Baik 6ARVJGY73Z
| URI | m2://inv/6ARVJGY73Z |
|---|---|
| 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#GT67, Jinho Baik (unknown)
History
- 2026-11-02: add by m2/dev
6ARXEJWSRB 6ARXEJWSRB
| URI | m2://inv/6ARXEJWSRB |
|---|---|
| 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.33679#ZNN8 (statement). In 3N9E9T6AF5/e1, proposition 6.6
History
- 2026-10-30: add by m2/v0.4.12
Competitors 6AS1VVTWXR
| URI | m2://inv/6AS1VVTWXR |
|---|---|
| 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.02219#969M, Competitors (statement). In 8XMASJX0GZ/e1, proposition 4.2
History
- 2026-10-29: add by m2/v0.4.12
738 (number) 6AS4PZEJ4H
| URI | m2://inv/6AS4PZEJ4H |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 700 (number)#HJYA, 738 (number) (unknown)
History
- 2026-11-02: add by m2/dev
6ASFJ3WB5J 6ASFJ3WB5J
| URI | m2://inv/6ASFJ3WB5J |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
History
- 2026-10-27: add by m2/v0.3.5
6ASWKX89KQ 6ASWKX89KQ
| URI | m2://inv/6ASWKX89KQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 37-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13100#S6CU (statement). In CC6S1HVK0T/e1, proposition 10.5
History
- 2026-10-28: add by m2/v0.4.2
Formulas 6AT34QXQF3
| URI | m2://inv/6AT34QXQF3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Feynman parametrization#ZM4Q, Formulas (statement)
History
- 2026-11-02: add by m2/dev
Proposition 6ATCG6MJ31
| URI | m2://inv/6ATCG6MJ31 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gauss's lemma (polynomials)#VT84, Proposition (statement)
History
- 2026-11-02: add by m2/dev
Appeal to probability 6ATJH5W9XY
| URI | m2://inv/6ATJH5W9XY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Appeal to probability, Appeal to probability (definition). Also Wikidata Q2975435
History
- 2026-11-02: add by m2/dev
6ATKQG5R9F 6ATKQG5R9F
| URI | m2://inv/6ATKQG5R9F |
|---|---|
| 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.22557#TRQT (example)
History
- 2026-11-02: add by m2/v0.6.17
6ATSSGMVMC 6ATSSGMVMC
| URI | m2://inv/6ATSSGMVMC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24593#AAVV (statement)
History
- 2026-11-01: add by m2/v0.6.15
Diederich--Forn\ae ss 6ATVB83RB8
| URI | m2://inv/6ATVB83RB8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#cor-8, Diederich--Forn\ae ss (statement). In VNMV985MXX, cor, section 6.8
History
- 2026-11-01: add by m2/v0.6.13
6AV4BV7JY1 6AV4BV7JY1
| URI | m2://inv/6AV4BV7JY1 |
|---|---|
| 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.11939#05EP (statement). In DQMEN40FZV/e1, lemma 1
History
- 2026-10-28: add by m2/v0.4.3
6AVBE5MF63 6AVBE5MF63
| URI | m2://inv/6AVBE5MF63 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2308.05066#HHY5 (definition). In 1QSCT53ZED/e1, definition 9.1
History
- 2026-10-27: add by m2/v0.4.0
6AVF53NEW5 6AVF53NEW5
| URI | m2://inv/6AVF53NEW5 |
|---|---|
| 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 2606.23841#A92C (statement). In 67FPT1PG7R/e1, lemma 1
History
- 2026-10-27: add by m2/v0.3.5
Irreducibility Theorem 6AVK1MRKF8
| URI | m2://inv/6AVK1MRKF8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Valuation (geometry)#TCJV, Irreducibility Theorem (statement)
History
- 2026-11-02: add by m2/dev
Apollonius' theorem 6AVM17SET0
| URI | m2://inv/6AVM17SET0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of triangle topics#LJQV, Apollonius' theorem (statement)
History
- 2026-11-02: add by m2/dev
6AVMZZNT4M 6AVMZZNT4M
| URI | m2://inv/6AVMZZNT4M |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11145#T14V (definition). In 2KME4YY99M/e1, definition 3
History
- 2026-10-28: add by m2/v0.4.3
Required sample sizes for hypothesis tests 6AVVNR38TJ
| URI | m2://inv/6AVVNR38TJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sample size determination#FY5I, Required sample sizes for hypothesis tests (statement)
History
- 2026-11-02: add by m2/dev
6AVWRMX5BW 6AVWRMX5BW
| URI | m2://inv/6AVWRMX5BW |
|---|---|
| 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 2411.17412#SYBZ (statement). In DPBHYJBGKD/e1, proposition 3.4
History
- 2026-10-27: add by m2/v0.3.6
Vladimiro Sassone 6AVYT6KC07
| URI | m2://inv/6AVYT6KC07 |
|---|---|
| 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 Q62560413, Vladimiro Sassone (unknown). Also nLab Vladimiro Sassone
History
- 2026-10-26: add by m2/dev
6AW254NN4S 6AW254NN4S
| URI | m2://inv/6AW254NN4S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/proof-theory/sequent-calculus/rules-proofs.tex#defn-1 (definition). In PKGMM3P5QY, defn, section 61.12
History
- 2026-11-01: add by m2/v0.6.13
Resolution of the identity 6AWB3YB00C
| URI | m2://inv/6AWB3YB00C |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spectral theory#G0V6, Resolution of the identity (statement)
History
- 2026-11-02: add by m2/dev
Diagonal-overgroup orbit number of $\PGU(3,q)$ 6AWJVH9310
| URI | m2://inv/6AWJVH9310 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15340#PFH6, Diagonal-overgroup orbit number of $\PGU(3,q)$ (statement). In 9NVKKW8HDH/e1, proposition 2.36
History
- 2026-10-28: add by m2/v0.4.2
6AWXHJG894 6AWXHJG894
| URI | m2://inv/6AWXHJG894 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23167#P2PA (statement)
History
- 2026-11-02: add by m2/v0.6.17
6AX122P9AY 6AX122P9AY
| URI | m2://inv/6AX122P9AY |
|---|---|
| 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.25030#NYU7 (statement)
History
- 2026-11-01: add by m2/v0.6.15
6AXF5BG2FA 6AXF5BG2FA
| URI | m2://inv/6AXF5BG2FA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2309.01359#7LRJ (statement). In BFV19FC2G7/e1, lemma 4.3
History
- 2026-10-27: add by m2/v0.3.5
Generalization 6AXK7JE45J
| URI | m2://inv/6AXK7JE45J |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Composition series#JTES, Generalization (statement)
History
- 2026-11-02: add by m2/dev
differential calculus 6AXSGTNPEY
| URI | m2://inv/6AXSGTNPEY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q149999, differential calculus (topic). Also MathWorld DifferentialCalculus, nLab differential calculus
- wikipedia: Wikipedia Differential calculus, Differential calculus (topic). Also Wikidata Q149999
History
- 2026-10-26: add by m2/dev
6AXT85GEAX 6AXT85GEAX
| URI | m2://inv/6AXT85GEAX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20588#SNMW (statement)
History
- 2026-11-02: add by m2/v0.6.18
Edgeworth price cycle 6AXV8FY2YS
| URI | m2://inv/6AXV8FY2YS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Edgeworth price cycle, Edgeworth price cycle (definition). Also Wikidata Q5337941
History
- 2026-11-02: add by m2/dev
Logical paradox 6AY8R9B5CR
| URI | m2://inv/6AY8R9B5CR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Epimenides paradox#XDSJ, Logical paradox (statement)
History
- 2026-11-02: add by m2/dev
Rough sketch on how to arrive at the Gutzwiller trace formula 6AYKWVVDCA
| URI | m2://inv/6AYKWVVDCA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quantum chaos#F2A4, Rough sketch on how to arrive at the Gutzwiller trace formula (statement)
History
- 2026-11-02: add by m2/dev
Río Segundo 6AYXVJ2T5Z
| URI | m2://inv/6AYXVJ2T5Z |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#1JH6, Río Segundo (unknown)
History
- 2026-11-02: add by m2/dev
A standard compact-test criterion 6AZ0PQ7V0Y
| URI | m2://inv/6AZ0PQ7V0Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21268#DSBD, A standard compact-test criterion (statement). In 9W2YX5X4AX/e1, lemma 5.4
History
- 2026-10-27: add by m2/v0.4.2
Color cycling 6AZ4JZJM42
| URI | m2://inv/6AZ4JZJM42 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#BXI7, Color cycling (unknown)
History
- 2026-11-02: add by m2/dev
Corollary 6AZ9QA4XF6
| URI | m2://inv/6AZ9QA4XF6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bloch sphere#OE1R, Corollary (statement)
History
- 2026-11-02: add by m2/dev
Multidimensional Szemerédi's Theorem 6AZA0AP3DD
| URI | m2://inv/6AZA0AP3DD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Corners theorem#2FYB, Multidimensional Szemerédi's Theorem (statement)
History
- 2026-11-02: add by m2/dev
Dual certificates bound the energy 6AZF7SF72C
| URI | m2://inv/6AZF7SF72C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 49-XX, 58-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.05164#A74K, Dual certificates bound the energy (statement). In JY6RYSNXMJ/e1, theorem 3.6
History
- 2026-10-29: add by m2/v0.4.10
U-Prove 6AZMZ1DC49
| URI | m2://inv/6AZMZ1DC49 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia U-Prove, U-Prove (definition). Also Wikidata Q7862918
History
- 2026-11-02: add by m2/dev
Robinson–Schensted correspondence 6AZN06030D
| URI | m2://inv/6AZN06030D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Robinson–Schensted correspondence 1SCF8X47G1 |
Mentions
- wikidata: Wikidata Q2997917, Robinson–Schensted correspondence (unknown). Also EoM Robinson-Schensted_correspondence, MathWorld SchenstedCorrespondence
- wikipedia: Wikipedia Robinson–Schensted correspondence, Robinson–Schensted correspondence (definition). Also Wikidata Q2997917
History
- 2026-10-26: add by m2/dev
G{\aa}rding inequality 6AZNQ8YH49
| URI | m2://inv/6AZNQ8YH49 |
|---|---|
| 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.32561#0CAK, G{\aa}rding inequality (statement). In NBT0ZCHBB6/e1, theorem 3
History
- 2026-10-31: add by m2/v0.5.6
6AZP9191CQ 6AZP9191CQ
| URI | m2://inv/6AZP9191CQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25111#NIF3 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Examples 6AZV1FP5J8
| URI | m2://inv/6AZV1FP5J8 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Doubling space#W84C, Examples (example)
History
- 2026-11-02: add by m2/dev
6AZVF94K46 6AZVF94K46
| URI | m2://inv/6AZVF94K46 |
|---|---|
| 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.19449#57PJ (statement). In 8ZKPJ3CBDF/e1, lemma 4.2
History
- 2026-10-28: add by m2/v0.4.2
6AZVNWD4J6 6AZVNWD4J6
| URI | m2://inv/6AZVNWD4J6 |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 37-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2510.05499#UZ0Y (conjecture). In WRMNCC8VBC/e1, conjecture 55
History
- 2026-10-27: add by m2/v0.3.6
6AZWSPQWA7 6AZWSPQWA7
| URI | m2://inv/6AZWSPQWA7 |
|---|---|
| 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 2510.09873#PPB7 (statement). In KNB3ZCNC9Q/e1, lemma 3.2
History
- 2026-10-27: add by m2/v0.3.5
6AZWYKGPQS 6AZWYKGPQS
| URI | m2://inv/6AZWYKGPQS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 35-XX, 37-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.23464#O9PD (statement)
History
- 2026-11-02: add by m2/v0.6.17