Inventory rows J4
The cards of the rows of the inventory whose ids start with J4. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Tadeusz Balaban J40044V31F
| URI | m2://inv/J40044V31F |
|---|---|
| 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#I40G, Tadeusz Balaban (unknown)
History
- 2026-11-02: add by m2/dev
J405RJKEFW J405RJKEFW
| URI | m2://inv/J405RJKEFW |
|---|---|
| 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 alg-geom/9506022#I7WW (example). In AQGEM4XAKD/e1, example 4.1
History
- 2026-10-27: add by m2/v0.3.5
Patricia Wahl J409VYY7GM
| URI | m2://inv/J409VYY7GM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#XENO, Patricia Wahl (unknown)
History
- 2026-11-02: add by m2/dev
Einstein's use of the principle J40A30DCAD
| URI | m2://inv/J40A30DCAD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mach's principle#UADV, Einstein's use of the principle (statement)
History
- 2026-11-02: add by m2/dev
Definition J40BJFGHG5
| URI | m2://inv/J40BJFGHG5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Koszul complex#VKG4, Definition (definition)
History
- 2026-11-02: add by m2/dev
Algebraic stack J40FKYZ96F
| URI | m2://inv/J40FKYZ96F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic geometry topics#3MUB, Algebraic stack (definition)
History
- 2026-11-02: add by m2/dev
Overlap and magnetization concentration for $\beta < 1$ J40GRAWCCF
| URI | m2://inv/J40GRAWCCF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30590#8PWB, Overlap and magnetization concentration for $\beta < 1$ (statement). In WYE2JVEZBT/e1, corollary B.1
History
- 2026-10-31: add by m2/v0.5.6
J40JK9RHR2 J40JK9RHR2
| URI | m2://inv/J40JK9RHR2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 19-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2211.10178#THGE (statement). In 8T90H89HNB/e1, lemma 2.1
History
- 2026-10-27: add by m2/v0.3.5
J40QT3J5AA J40QT3J5AA
| URI | m2://inv/J40QT3J5AA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX, 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14045#O1JN (statement). In KZ71GXT2B0/e1, proposition 2.25
History
- 2026-10-28: add by m2/v0.4.2
± J41CS4RYX8
| URI | m2://inv/J41CS4RYX8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of mathematical symbols#HK5B, ± (definition)
History
- 2026-11-02: add by m2/dev
J41P3XRPJG J41P3XRPJG
| URI | m2://inv/J41P3XRPJG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30086#NVKV (statement)
History
- 2026-11-01: add by m2/v0.6.15
rational mapping J41R836WF4
| URI | m2://inv/J41R836WF4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| MSC | 37F10 |
| Sources | 2 |
| Outcome | open |
| Node | Rational map 4D073CCYGV |
Mentions
- wikidata: Wikidata Q987226, rational mapping (topic)
- wikipedia: Wikipedia Rational mapping, Rational mapping (definition). Also Wikidata Q987226
History
- 2026-10-26: add by m2/dev
J41W40G8WF J41W40G8WF
| URI | m2://inv/J41W40G8WF |
|---|---|
| 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 2608.24599#L9UX (statement). In VG8QFWTT8S/e1, theorem 1.1
History
- 2026-10-27: add by m2/v0.3.6
Norm dependence and implicit concentration penalty J424P7QSR2
| URI | m2://inv/J424P7QSR2 |
|---|---|
| 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.11917#ZKQF, Norm dependence and implicit concentration penalty (statement). In 7BB6PY94G9/e1, proposition 4
History
- 2026-10-28: add by m2/v0.4.3
Construction J42B0NYJBE
| URI | m2://inv/J42B0NYJBE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Small hexagonal hexecontahedron#Y9VJ, Construction (definition)
History
- 2026-11-02: add by m2/dev
J42J8WK86T J42J8WK86T
| URI | m2://inv/J42J8WK86T |
|---|---|
| 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.14249#XX01 (statement). In B6P8PG8R8T/e1, proposition 2.3
History
- 2026-10-28: add by m2/v0.4.2
J431H4D85X J431H4D85X
| URI | m2://inv/J431H4D85X |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/sec_seq-arithgeom.ptx#example-6 (example). In Y91XFCEVHQ, example, section 3.2.1
History
- 2026-11-01: add by m2/v0.6.13
hull of a Hartogs figure J433WCJ9EZ
| URI | m2://inv/J433WCJ9EZ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv index/2.1/hull-of-a-hartogs-figure, hull of a Hartogs figure (concept). In VNMV985MXX, index, section 2.1
History
- 2026-11-01: add by m2/v0.6.13
Definitions J436NDJH5K
| URI | m2://inv/J436NDJH5K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chain complex#YEIL, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Kimberly Sellers J43BG4WCPF
| URI | m2://inv/J43BG4WCPF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kimberly Sellers, Kimberly Sellers (topic). Also Wikidata Q12892349
History
- 2026-11-02: add by m2/dev
Cauchy's theorem J43CXFGBBS
| URI | m2://inv/J43CXFGBBS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | deferred (the item has the name of the subject of its article, and a person decides if they are one item) |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cauchy's theorem (group theory)#BCTT, Cauchy's theorem (statement)
History
- 2026-11-02: add by m2/dev
- 2026-11-03: outcome by m2 corpus adopt
Representations J43DRJFVJ3
| URI | m2://inv/J43DRJFVJ3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ensemble (mathematical physics)#9EG7, Representations (definition)
History
- 2026-11-02: add by m2/dev
J43K72J55T J43K72J55T
| URI | m2://inv/J43K72J55T |
|---|---|
| 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 2406.19866#A0HP (statement). In 9F94CEQ1ZM/e1, lemma 5.3
History
- 2026-10-27: add by m2/v0.3.5
J43KG4BHDR J43KG4BHDR
| URI | m2://inv/J43KG4BHDR |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/measure/martingale.tex#exercise-2 (exercise). In RZP28ERRZV, exercise, section 66.2
History
- 2026-11-01: add by m2/v0.6.13
J43MFE0MC5 J43MFE0MC5
| URI | m2://inv/J43MFE0MC5 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21622#K3OA (definition). In H21X3FHNYJ/e1, definition 1.2
History
- 2026-10-27: add by m2/v0.4.2
De Sitter universe J43SVHX5DP
| URI | m2://inv/J43SVHX5DP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia De Sitter universe, De Sitter universe (definition). Also Wikidata Q3036474
History
- 2026-11-02: add by m2/dev
J440FJ63TV J440FJ63TV
| URI | m2://inv/J440FJ63TV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34011#D1I6 (statement). In RAXRNDW2Z0/e1, corollary E
History
- 2026-10-30: add by m2/v0.4.12
J444HWN25N J444HWN25N
| URI | m2://inv/J444HWN25N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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.07240#E66I (statement). In D0F1GK5AHW/e1, lemma C.4
History
- 2026-10-29: add by m2/v0.4.10
Hipparchus J444Y1MYY9
| URI | m2://inv/J444Y1MYY9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Greek mathematicians#4K54, Hipparchus (topic)
History
- 2026-11-02: add by m2/dev
cake number J444ZFYMK5
| URI | m2://inv/J444ZFYMK5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4516348, cake number (unknown). Also MathWorld CakeNumber, OEIS A000125
- wikipedia: Wikipedia Cake number, Cake number (definition). Also Wikidata Q4516348
History
- 2026-10-26: add by m2/dev
J445PKW57Y J445PKW57Y
| URI | m2://inv/J445PKW57Y |
|---|---|
| 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.24553#QNPB (statement)
History
- 2026-11-01: add by m2/v0.6.15
Amy Cohen-Corwin J44BXQBEP1
| URI | m2://inv/J44BXQBEP1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Amy Cohen-Corwin, Amy Cohen-Corwin (topic). Also Wikidata Q4749140
History
- 2026-11-02: add by m2/dev
Continuum variational characterisation J44PGVK838
| URI | m2://inv/J44PGVK838 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05313#HW73, Continuum variational characterisation (statement). In 8XPN1A2GR0/e1, lemma 5.17
History
- 2026-10-29: add by m2/v0.4.10
J44Q207NHE J44Q207NHE
| URI | m2://inv/J44Q207NHE |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26479#SPQ8 (definition)
History
- 2026-11-01: add by m2/v0.6.15
Properties J44TS4CQK8
| URI | m2://inv/J44TS4CQK8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Supporting line#TED9, Properties (statement)
History
- 2026-11-02: add by m2/dev
tensor J4513QXBJ4
| URI | m2://inv/J4513QXBJ4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of ring theory#287V, tensor (definition)
History
- 2026-11-02: add by m2/dev
Implementations J457QWKQNJ
| URI | m2://inv/J457QWKQNJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia NTRU#Q99E, Implementations (definition)
History
- 2026-11-02: add by m2/dev
Szilassi polyhedron J458YPM8NP
| URI | m2://inv/J458YPM8NP |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q838442, Szilassi polyhedron (unknown). Also MathWorld SzilassiPolyhedron
- wikipedia: Wikipedia Szilassi polyhedron, Szilassi polyhedron (conjecture). Also Wikidata Q838442
History
- 2026-10-26: add by m2/dev
J45EW6GB4C J45EW6GB4C
| URI | m2://inv/J45EW6GB4C |
|---|---|
| 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.15723#W8XA (statement). In A3KXZ2GBHN/e1, theorem 3
History
- 2026-10-28: add by m2/v0.4.2
Stieltjes representation of the Weyl matrix J45JJK07KN
| URI | m2://inv/J45JJK07KN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 26-XX, 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.26066#BNXX, Stieltjes representation of the Weyl matrix (statement)
History
- 2026-11-01: add by m2/v0.6.15
J45PY8EJH1 J45PY8EJH1
| URI | m2://inv/J45PY8EJH1 |
|---|---|
| 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.01731#GIZ6 (statement). In 3TJ2FWXQ0D/e1, corollary 5.4
History
- 2026-10-29: add by m2/v0.4.12
J45TR4X4F1 J45TR4X4F1
| URI | m2://inv/J45TR4X4F1 |
|---|---|
| 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.20702#P3N2 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Poisson distribution J45TZDMRRN
| URI | m2://inv/J45TZDMRRN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Poisson distribution 0VEFSSKX18 |
Mentions
- wikidata: Wikidata Q205692, Poisson distribution (definition). Also EoM Poisson_distribution, MathWorld PoissonDistribution, ProofWiki Definition:Poisson_Distribution
- wikipedia: Wikipedia Poisson distribution, Poisson distribution (definition). Also Wikidata Q205692
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Population optimizer J465K9T5S9
| URI | m2://inv/J465K9T5S9 |
|---|---|
| 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.38453#ABYM, Population optimizer (statement). In DWKWF242Y0/e1, lemma 13
History
- 2026-10-30: add by m2/v0.4.12
J468MNM81J J468MNM81J
| URI | m2://inv/J468MNM81J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39293#SEBM (statement). In S26QVW5613/e1, theorem 5.4.3
History
- 2026-10-30: add by m2/v0.4.12
J468WN9MSW J468WN9MSW
| URI | m2://inv/J468WN9MSW |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/counting-conc.ptx#exercise-4 (exercise). In Y91XFCEVHQ, exercise, section 2.7
History
- 2026-11-01: add by m2/v0.6.13
Properties J469PYBSEC
| URI | m2://inv/J469PYBSEC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stable polynomial#85OB, Properties (statement)
History
- 2026-11-02: add by m2/dev
Weitzenböck formula on $\Omega^{2,+}(V)$ J46AEB88VB
| URI | m2://inv/J46AEB88VB |
|---|---|
| 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.27114#3KZP, Weitzenböck formula on $\Omega^{2,+}(V)$ (statement)
History
- 2026-11-01: add by m2/v0.6.15
J46FG66QYN J46FG66QYN
| URI | m2://inv/J46FG66QYN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31527#G4V1 (statement). In ZQ2YZ4P6P5/e1, corollary 4.9
History
- 2026-10-31: add by m2/v0.5.6
Terrence L. Fine J46R1B701P
| URI | m2://inv/J46R1B701P |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Terrence L. Fine, Terrence L. Fine (topic). Also Wikidata Q16105232
History
- 2026-11-02: add by m2/dev
CryptoHarlem J46TDSBF7B
| URI | m2://inv/J46TDSBF7B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia CryptoHarlem, CryptoHarlem (definition). Also Wikidata Q112052127
History
- 2026-11-02: add by m2/dev
J47DFRM0E1 J47DFRM0E1
| URI | m2://inv/J47DFRM0E1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 46-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24901#5UR0 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Example of an antichain J47JJV7Z9R
| URI | m2://inv/J47JJV7Z9R |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/set-theory/CH.tex#example-1, Example of an antichain (example). In RZP28ERRZV, example, section 88.2
History
- 2026-11-01: add by m2/v0.6.13
Theorem J47M76QNX2
| URI | m2://inv/J47M76QNX2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Riordan array#T68E, Theorem (statement)
History
- 2026-11-02: add by m2/dev
J47MSKF31C J47MSKF31C
| URI | m2://inv/J47MSKF31C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15831#S6O4 (statement). In CVESAPNMCQ/e1, corollary 2.8
History
- 2026-10-28: add by m2/v0.4.2
Nuel Belnap J47P9026T2
| URI | m2://inv/J47P9026T2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#248H, Nuel Belnap (topic)
History
- 2026-11-02: add by m2/dev
E8 manifold J47QZD9Z4D
| URI | m2://inv/J47QZD9Z4D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of manifolds#KEW9, E8 manifold (definition)
History
- 2026-11-02: add by m2/dev
Quasi-inverse J47S4KG3N6
| URI | m2://inv/J47S4KG3N6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inverse element#JKDT, Quasi-inverse (unknown)
History
- 2026-11-02: add by m2/dev
Related results and conjectures J47XR6Z05C
| URI | m2://inv/J47XR6Z05C |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eilenberg–Ganea theorem#BZ55, Related results and conjectures (statement)
History
- 2026-11-02: add by m2/dev
Applications J4850QWZTY
| URI | m2://inv/J4850QWZTY |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conformal radius#8BB0, Applications (example)
History
- 2026-11-02: add by m2/dev
closure J496MXW2RD
| URI | m2://inv/J496MXW2RD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Closure 0QEAJB91GZ |
Mentions
- wikidata: Wikidata Q320346, closure (unknown). Also MathWorld TopologicalClosure
- wikipedia: Wikipedia Closure (topology), Closure (definition). Also Wikidata Q320346
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
J498193KEX J498193KEX
| URI | m2://inv/J498193KEX |
|---|---|
| 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.09704#F7AK (statement). In FNG4B47MRV/e1, proposition 3.1
History
- 2026-10-29: add by m2/v0.4.10
Skewes's number J49C4D7G30
| URI | m2://inv/J49C4D7G30 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#FDIG, Skewes's number (definition)
History
- 2026-11-02: add by m2/dev
Generalizations J49PCEH4NQ
| URI | m2://inv/J49PCEH4NQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dual curve#HQV2, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
J49RG47478 J49RG47478
| URI | m2://inv/J49RG47478 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX, 22-XX, 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14045#WTD8 (definition). In KZ71GXT2B0/e1, definition 4.15
History
- 2026-10-28: add by m2/v0.4.2
J49T1DGXRD J49T1DGXRD
| URI | m2://inv/J49T1DGXRD |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01354#QI8I (definition). In BWD76W20W8/e1, definition 6.3
History
- 2026-10-29: add by m2/v0.4.12
Iteratively reweighted least squares J4A06WY3S8
| URI | m2://inv/J4A06WY3S8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Iteratively reweighted least squares, Iteratively reweighted least squares (definition). Also Wikidata Q6094424
History
- 2026-11-02: add by m2/dev
Proposition 30 J4A6KFPY9A
| URI | m2://inv/J4A6KFPY9A |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euclid's lemma#FIL4, Proposition 30 (statement)
History
- 2026-11-02: add by m2/dev
J4A7F3QJ8A J4A7F3QJ8A
| URI | m2://inv/J4A7F3QJ8A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20528#PGGK (statement)
History
- 2026-11-02: add by m2/v0.6.18
J4AEQJQRQY J4AEQJQRQY
| URI | m2://inv/J4AEQJQRQY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07890#FFUV (statement). In 6F3GSDT2V1/e1, lemma 5.5
History
- 2026-10-29: add by m2/v0.4.10
L-system J4AG8XC0WN
| URI | m2://inv/J4AG8XC0WN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia L-system, L-system (definition). Also Wikidata Q1151098
History
- 2026-11-02: add by m2/dev
minimal J4AGXR1PFA
| URI | m2://inv/J4AGXR1PFA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#OU37, minimal (definition)
History
- 2026-11-02: add by m2/dev
J4AH2HPYYN J4AH2HPYYN
| URI | m2://inv/J4AH2HPYYN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28020#YTR3 (statement)
History
- 2026-11-01: add by m2/v0.6.15
McNemar's test J4AK706MBC
| URI | m2://inv/J4AK706MBC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of analyses of categorical data#0FZE, McNemar's test (definition)
- wikipedia: Wikipedia List of statistics articles#NKHN, McNemar's test (definition)
History
- 2026-11-02: add by m2/dev
Construction J4AN4YH0CD
| URI | m2://inv/J4AN4YH0CD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conchoid of Dürer#7YLV, Construction (definition)
History
- 2026-11-02: add by m2/dev
frequency distribution J4ANS9PT27
| URI | m2://inv/J4ANS9PT27 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of probability and statistics#8C9C, frequency distribution (definition)
History
- 2026-11-02: add by m2/dev
Mendelian randomization J4ASH52YKS
| URI | m2://inv/J4ASH52YKS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mendelian randomization, Mendelian randomization (definition). Also Wikidata Q6816584
History
- 2026-11-02: add by m2/dev
Exeter point J4BEKYY1RZ
| URI | m2://inv/J4BEKYY1RZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of triangle topics#MAXJ, Exeter point (definition)
History
- 2026-11-02: add by m2/dev
Positivity of the Gap Function for $SO_{11}$ J4BXRJWBHT
| URI | m2://inv/J4BXRJWBHT |
|---|---|
| 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.20364#07K1, Positivity of the Gap Function for $SO_{11}$ (statement). In 433NXYKPG3/e1, lemma 3
History
- 2026-10-27: add by m2/v0.4.2
J4C9WP9MRG J4C9WP9MRG
| URI | m2://inv/J4C9WP9MRG |
|---|---|
| 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.21934#9ENW (statement). In YKD51BX3XB/e1, lemma 4.11
History
- 2026-10-27: add by m2/v0.4.2
J4CBDVRJGV J4CBDVRJGV
| URI | m2://inv/J4CBDVRJGV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2411.17227#KVFB (statement). In DDNP38CHQJ/e1, proposition 5.12
History
- 2026-10-27: add by m2/v0.3.5
Morton's theorem J4CCA95EQF
| URI | m2://inv/J4CCA95EQF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#G3CW, Morton's theorem (statement)
History
- 2026-11-02: add by m2/dev
J4CCW4ZF9P J4CCW4ZF9P
| URI | m2://inv/J4CCW4ZF9P |
|---|---|
| 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 2311.01874#RM53 (statement). In A4TR95VGX2/e1, lemma 4
History
- 2026-10-27: add by m2/v0.3.5
nullity J4CJ72M4VS
| URI | m2://inv/J4CJ72M4VS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#F7YP, nullity (definition)
History
- 2026-11-02: add by m2/dev
Examples J4CNNED92A
| URI | m2://inv/J4CNNED92A |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Critical point (mathematics)#UQ4O, Examples (example)
History
- 2026-11-02: add by m2/dev
J4CP0J9Z14 J4CP0J9Z14
| URI | m2://inv/J4CP0J9Z14 |
|---|---|
| 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 2211.14214#HIXI (statement). In SY85Y9E45A/e1, lemma 34
History
- 2026-10-27: add by m2/v0.3.5
Definition J4CT7J3NG9
| URI | m2://inv/J4CT7J3NG9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orbit capacity#NE2F, Definition (definition)
History
- 2026-11-02: add by m2/dev
Vector transformation law J4CXG9B54N
| URI | m2://inv/J4CXG9B54N |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rotation formulations in three dimensions#WKD4, Vector transformation law (statement)
History
- 2026-11-02: add by m2/dev
Gudermannian function J4CXNJR373
| URI | m2://inv/J4CXNJR373 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1328149, Gudermannian function (concept). Also MathWorld Gudermannian, MathWorld GudermannianFunction
- wikipedia: Wikipedia Gudermannian function, Gudermannian function (definition). Also Wikidata Q1328149
History
- 2026-10-26: add by m2/dev
Runge's phenomenon J4D28BXPZG
| URI | m2://inv/J4D28BXPZG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polynomial topics#44JG, Runge's phenomenon (definition)
- wikipedia: Wikipedia List of numerical analysis topics#OJXJ, Runge's phenomenon (definition)
History
- 2026-11-02: add by m2/dev
Concrete site, concrete presheaf J4D2BGWV6N
| URI | m2://inv/J4D2BGWV6N |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26270#KZ8D, Concrete site, concrete presheaf (definition)
History
- 2026-11-01: add by m2/v0.6.15
Stone–Weierstrass theorem, quaternion version J4D5615B5C
| URI | m2://inv/J4D5615B5C |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stone–Weierstrass theorem#4475, Stone–Weierstrass theorem, quaternion version (statement)
History
- 2026-11-02: add by m2/dev
J4D85Q8EHK J4D85Q8EHK
| URI | m2://inv/J4D85Q8EHK |
|---|---|
| Kind | example |
| 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 1512.06981#ZGU2 (example). In X923ZEY423/e1, example 1.3.1
History
- 2026-10-27: add by m2/v0.3.5
J4D8P958BQ J4D8P958BQ
| URI | m2://inv/J4D8P958BQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/9802134#JE81 (statement). In 235B1J1ETB/e1, lemma 2.9
History
- 2026-10-27: add by m2/v0.3.5
Discrete inequalities J4DCDAA07B
| URI | m2://inv/J4DCDAA07B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01504#FKRH, Discrete inequalities (statement). In JAVB10Q2YZ/e1, lemma 4.2
History
- 2026-10-29: add by m2/v0.4.12
Definition J4DCRW2Z5Q
| URI | m2://inv/J4DCRW2Z5Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Komornik–Loreti constant#5BMS, Definition (definition)
History
- 2026-11-02: add by m2/dev
Domain J4DG86YYGV
| URI | m2://inv/J4DG86YYGV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Domain (mathematical analysis), Domain (definition). Also Wikidata Q11235244
History
- 2026-11-02: add by m2/dev
Notation J4DQJWJAJH
| URI | m2://inv/J4DQJWJAJH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arthur–Selberg trace formula#NDYR, Notation (definition)
History
- 2026-11-02: add by m2/dev
J4DWV257WY J4DWV257WY
| URI | m2://inv/J4DWV257WY |
|---|---|
| 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.32936#LYJ2 (statement). In QDBYK125AB/e1, lemma 2
History
- 2026-10-31: add by m2/v0.5.6
Generic simply-laced realization J4E7SHY6M4
| URI | m2://inv/J4E7SHY6M4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04189#2JO0, Generic simply-laced realization (statement). In 1KRZ5ACTKE/e1, theorem 1.2
History
- 2026-10-29: add by m2/v0.4.12
Skowronski–Weyman theorem J4E7WE8C2D
| URI | m2://inv/J4E7WE8C2D |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Semi-invariant of a quiver#UXNR, Skowronski–Weyman theorem (statement)
History
- 2026-11-02: add by m2/dev
J4EEX3RYRF J4EEX3RYRF
| URI | m2://inv/J4EEX3RYRF |
|---|---|
| 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.37093#BWT6 (statement). In GA6QH32CJQ/e1, theorem 15
History
- 2026-10-30: add by m2/v0.4.12
Tree and hypertree networks J4EF97YTHS
| URI | m2://inv/J4EF97YTHS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of network theory topics#ODAT, Tree and hypertree networks (unknown)
History
- 2026-11-02: add by m2/dev
J4EN3KTFDF J4EN3KTFDF
| URI | m2://inv/J4EN3KTFDF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24185#IPX3 (statement)
History
- 2026-11-01: add by m2/v0.6.15
J4ET5PPP9C J4ET5PPP9C
| URI | m2://inv/J4ET5PPP9C |
|---|---|
| Kind | definition |
| 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#RI36 (definition). In BFV19FC2G7/e1, definition 1.4
History
- 2026-10-27: add by m2/v0.3.5
The universal cover is exterior J4EW5K8V79
| URI | m2://inv/J4EW5K8V79 |
|---|---|
| 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 2610.04164#0C8O, The universal cover is exterior (statement). In KR7WXN4EWR/e1, corollary 3.11
History
- 2026-10-29: add by m2/v0.4.12
H. Pierre Noyes J4FG25X1MV
| URI | m2://inv/J4FG25X1MV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#FBRT, H. Pierre Noyes (unknown)
History
- 2026-11-02: add by m2/dev
Round-robin J4FKPK2WWD
| URI | m2://inv/J4FKPK2WWD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in fair division#360I, Round-robin (unknown)
History
- 2026-11-02: add by m2/dev
ladder rung graph J4FQBAS9PS
| URI | m2://inv/J4FQBAS9PS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q128803122, ladder rung graph (unknown). Also MathWorld LadderRungGraph
History
- 2026-10-26: add by m2/dev
J4FRQAZ8RG J4FRQAZ8RG
| URI | m2://inv/J4FRQAZ8RG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21937#95M7 (statement)
History
- 2026-11-02: add by m2/v0.6.17
J4FVF9BY6Q J4FVF9BY6Q
| URI | m2://inv/J4FVF9BY6Q |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 14-XX, 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2504.07573#1NWS (problem). In 78X5SKJX8J/e1, problem 6.6
History
- 2026-10-27: add by m2/v0.3.5
divergent, sequence J4FWRXH2ZB
| URI | m2://inv/J4FWRXH2ZB |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/10.1/divergent-sequence, divergent, sequence (concept). In E59CDZA4DP, index, section 10.1
History
- 2026-11-01: add by m2/v0.6.13
Rubinstein bargaining model J4FYT5XGB0
| URI | m2://inv/J4FYT5XGB0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rubinstein bargaining model, Rubinstein bargaining model (definition). Also Wikidata Q7376152
History
- 2026-11-02: add by m2/dev
Core model J4G6650XHZ
| URI | m2://inv/J4G6650XHZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Core model, Core model (definition). Also Wikidata Q5170200
History
- 2026-11-02: add by m2/dev
Definition J4GFC6HTTQ
| URI | m2://inv/J4GFC6HTTQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nilpotent Lie algebra#MZHT, Definition (definition)
History
- 2026-11-02: add by m2/dev
J4GP38ADTW J4GP38ADTW
| URI | m2://inv/J4GP38ADTW |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23781#ZVGQ (definition)
History
- 2026-11-02: add by m2/v0.6.17
J4GR3NW4AJ J4GR3NW4AJ
| URI | m2://inv/J4GR3NW4AJ |
|---|---|
| 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.22218#U9KM (statement). In 338GKREFVP/e1, lemma 12
History
- 2026-10-27: add by m2/v0.4.0
Thermodynamic phase space J4GSDSZB3T
| URI | m2://inv/J4GSDSZB3T |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Phase space#PFXT, Thermodynamic phase space (unknown)
History
- 2026-11-02: add by m2/dev
arc length J4H554HVY6
| URI | m2://inv/J4H554HVY6 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus index/6.1.4/arc-length, arc length (concept). In 907G4C4EJ1, index, section 6.1.4
History
- 2026-11-01: add by m2/v0.6.13
J4H7C1D60M J4H7C1D60M
| URI | m2://inv/J4H7C1D60M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21540#TKF2 (statement)
History
- 2026-11-02: add by m2/v0.6.18
induction principle, for $\Sn^1$ J4HKB8AS2J
| URI | m2://inv/J4HKB8AS2J |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/5.4/induction-principle-for-sn-1, induction principle, for $\Sn^1$ (concept). In N54F33XE07, index, section 5.4
History
- 2026-11-01: add by m2/v0.6.13
J4HMWYCGNP J4HMWYCGNP
| URI | m2://inv/J4HMWYCGNP |
|---|---|
| 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.05706#ED9J (statement). In 8EHE8CX1KJ/e1, proposition 5.1
History
- 2026-10-29: add by m2/v0.4.10
Sandra Di Rocco J4HP6GAXM8
| URI | m2://inv/J4HP6GAXM8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sandra Di Rocco, Sandra Di Rocco (topic). Also Wikidata Q102140725
History
- 2026-11-02: add by m2/dev
J4J11AEF6E J4J11AEF6E
| URI | m2://inv/J4J11AEF6E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22560#J5FT (statement)
History
- 2026-11-02: add by m2/v0.6.17
J4JAPJMD0K J4JAPJMD0K
| URI | m2://inv/J4JAPJMD0K |
|---|---|
| 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.25880#IREV (statement)
History
- 2026-11-01: add by m2/v0.6.15
List of methods for solving problems J4JRH64SSX
| URI | m2://inv/J4JRH64SSX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Problem solving#O5G4, List of methods for solving problems (unknown)
History
- 2026-11-02: add by m2/dev
Probabilistic combinatorics J4JWG9ZCE5
| URI | m2://inv/J4JWG9ZCE5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#4607, Probabilistic combinatorics (definition)
History
- 2026-11-02: add by m2/dev
Generalized additive model for location, scale and shape J4K0JW982H
| URI | m2://inv/J4K0JW982H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#DI2K, Generalized additive model for location, scale and shape (definition)
History
- 2026-11-02: add by m2/dev
Admissible family of gluing data J4K3455R7G
| URI | m2://inv/J4K3455R7G |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12619#A7OK, Admissible family of gluing data (definition). In 7F8KACT5AJ/e1, definition 2.6
History
- 2026-10-28: add by m2/v0.4.2
J4K3Q4FY0Y J4K3Q4FY0Y
| URI | m2://inv/J4K3Q4FY0Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0003117#V5BI (statement). In WD2NCBV9F0/e1, lemma 15.8
History
- 2026-10-27: add by m2/v0.3.5
J4KGAN2ENT J4KGAN2ENT
| URI | m2://inv/J4KGAN2ENT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21662#C7AL (statement). In 25B3WHEKH2/e1, theorem 6.4
History
- 2026-10-27: add by m2/v0.4.2
J4KMC16M8K J4KMC16M8K
| URI | m2://inv/J4KMC16M8K |
|---|---|
| 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.03988#DY5J (statement). In PQ2X97H1T9/e1, theorem 1.1
History
- 2026-10-29: add by m2/v0.4.12
Noether's first isomorphism theorem J4KPFJD3HA
| URI | m2://inv/J4KPFJD3HA |
|---|---|
| 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 2609.27056#IKQQ, Noether's first isomorphism theorem (statement)
History
- 2026-11-01: add by m2/v0.6.15
J4KQM9DXQ1 J4KQM9DXQ1
| URI | m2://inv/J4KQM9DXQ1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39353#TSW5 (statement). In 2PZR1KX2RC/e1, theorem C.2
History
- 2026-10-30: add by m2/v0.4.12
Size function J4KTNCAPES
| URI | m2://inv/J4KTNCAPES |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Size function, Size function (definition). Also Wikidata Q7533422
History
- 2026-11-02: add by m2/dev
Generalizations J4KYCQ698Y
| URI | m2://inv/J4KYCQ698Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Discriminant#EE6V, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Skolem function J4M37F0DY4
| URI | m2://inv/J4M37F0DY4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q121335944, Skolem function (unknown). Also EoM Skolem_function, MathWorld SkolemFunction
History
- 2026-10-26: add by m2/dev
Wedderburn's little theorem J4MEPHR4RW
| URI | m2://inv/J4MEPHR4RW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Noncommutative ring#PQEY, Wedderburn's little theorem (statement)
History
- 2026-11-02: add by m2/dev
matrix product J4MH9B6V6D
| URI | m2://inv/J4MH9B6V6D |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs index/2.2.3/matrix-product, matrix product (concept). In E9HS8K3A52, index, section 2.2.3
History
- 2026-11-01: add by m2/v0.6.13
Plane J4MKH86DHM
| URI | m2://inv/J4MKH86DHM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#WIM0, Plane (definition)
History
- 2026-11-02: add by m2/dev
split exact sequence J4MNKMSDC6
| URI | m2://inv/J4MNKMSDC6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Split exact sequence 1ZPMDE4ARK |
Mentions
- wikidata: Wikidata Q65122157, split exact sequence (unknown). Also EoM Split_sequence, MathWorld SplitExactSequence, nLab split exact sequence
- wikipedia: Wikipedia Split exact sequence, Split exact sequence (definition). Also Wikidata Q65122157
History
- 2026-10-26: add by m2/dev
J4MNTVEJW2 J4MNTVEJW2
| URI | m2://inv/J4MNTVEJW2 |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 11-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2404.00077#309Q (problem). In 25WX007DJ1/e1, problem 2
History
- 2026-10-27: add by m2/v0.3.5
Hurewicz space J4MRQH5H4K
| URI | m2://inv/J4MRQH5H4K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hurewicz space, Hurewicz space (definition). Also Wikidata Q28454682
History
- 2026-11-02: add by m2/dev
J4NBH4BZY8 J4NBH4BZY8
| URI | m2://inv/J4NBH4BZY8 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/frame-definability/properties-accessibility.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 53.3
History
- 2026-11-01: add by m2/v0.6.13
J4NPTVD8SH J4NPTVD8SH
| URI | m2://inv/J4NPTVD8SH |
|---|---|
| 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 1011.5443#FYQC (statement). In VQ0K2GV62A/e1, lemma 6.1
History
- 2026-10-27: add by m2/v0.3.5
Lower bound on $z_I$ J4NRAF95R9
| URI | m2://inv/J4NRAF95R9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1905.02785#CH6X, Lower bound on $z_I$ (statement). In PF9KV74Q02/e1, lemma A.1
History
- 2026-10-27: add by m2/v0.3.5
Edmund Schuster J4NVPTG124
| URI | m2://inv/J4NVPTG124 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#WR0S, Edmund Schuster (topic)
History
- 2026-11-02: add by m2/dev
diabolical cube J4NY2A94G9
| URI | m2://inv/J4NY2A94G9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5270197, diabolical cube (unknown). Also MathWorld DiabolicalCube
History
- 2026-10-26: add by m2/dev
Examples J4P17JJRGB
| URI | m2://inv/J4P17JJRGB |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia NP (complexity)#IB19, Examples (example)
History
- 2026-11-02: add by m2/dev
Savage, Leonard Jimmie J4P1YVC6ZM
| URI | m2://inv/J4P1YVC6ZM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#HN2Q, Savage, Leonard Jimmie (unknown)
History
- 2026-11-02: add by m2/dev
Formal definition J4P4RXS0VE
| URI | m2://inv/J4P4RXS0VE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lie algebra representation#T1OY, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
Finite-sample bound on the trace of the estimated score J4P54MMTTH
| URI | m2://inv/J4P54MMTTH |
|---|---|
| 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.14498#H0YU, Finite-sample bound on the trace of the estimated score (statement). In 81YXGYETE4/e1, corollary 8
History
- 2026-10-28: add by m2/v0.4.2
NewHope J4P7DWY0SX
| URI | m2://inv/J4P7DWY0SX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia NewHope, NewHope (definition). Also Wikidata Q85788390
History
- 2026-11-02: add by m2/dev
J4P9W6V0QW J4P9W6V0QW
| URI | m2://inv/J4P9W6V0QW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31476#JJ5D (statement). In PC1CFE8CJC/e1, theorem 1.2
History
- 2026-10-31: add by m2/v0.5.6
J4PCGCRH55 J4PCGCRH55
| URI | m2://inv/J4PCGCRH55 |
|---|---|
| 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.11517#U7VG (statement). In 87NF85QAKT/e1, lemma 3.4
History
- 2026-10-28: add by m2/v0.4.3
J4PPG68HRV J4PPG68HRV
| URI | m2://inv/J4PPG68HRV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09176#NX6I (statement). In BANPR56FBR/e1, lemma 3
History
- 2026-10-29: add by m2/v0.4.10
J4PWX9QFM3 J4PWX9QFM3
| URI | m2://inv/J4PWX9QFM3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 01-XX, 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.06338#ML35 (statement). In F1CYVYK7YB/e1, lemma 9.5
History
- 2026-10-29: add by m2/v0.4.10
Augmented triangular prism J4Q8AQ57NS
| URI | m2://inv/J4Q8AQ57NS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#XCW8, Augmented triangular prism (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#O94D, Augmented triangular prism (definition)
History
- 2026-11-02: add by m2/dev
Königsberg Bridges Problem J4QFVQTV0V
| URI | m2://inv/J4QFVQTV0V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_100: mathlib_100 54, Königsberg Bridges Problem (statement). Also Mathlib Konigsberg.not_isEulerian
History
- 2026-10-26: add by m2/dev
J4QGPMPKV0 J4QGPMPKV0
| URI | m2://inv/J4QGPMPKV0 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book basics.tex#proof-38 (proof). In N54F33XE07, proof, section 1.15
History
- 2026-11-01: add by m2/v0.6.13
Alf Victor Guldberg J4QVNGF1MA
| URI | m2://inv/J4QVNGF1MA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#8T4B, Alf Victor Guldberg (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#JQMN, Alf Victor Guldberg (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#QBPF, Alf Victor Guldberg (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#X4CJ, Alf Victor Guldberg (topic)
History
- 2026-11-02: add by m2/dev
Rössler attractor J4QY3BXA84
| URI | m2://inv/J4QY3BXA84 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#MSDJ, Rössler attractor (definition)
History
- 2026-11-02: add by m2/dev
Definition J4R0E2VXGK
| URI | m2://inv/J4R0E2VXGK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orientation (vector space)#RDU5, Definition (definition)
History
- 2026-11-02: add by m2/dev
J4RGGJJRDC J4RGGJJRDC
| URI | m2://inv/J4RGGJJRDC |
|---|---|
| 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.00113#5XSA (statement). In R9PP1Y2EP4/e1, theorem 2.3
History
- 2026-10-30: add by m2/v0.4.12
Classification of Global Solutions in 2d J4RMSACAJE
| URI | m2://inv/J4RMSACAJE |
|---|---|
| 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.18270#AKKP, Classification of Global Solutions in 2d (statement). In CPDMYJ0NJV/e1, theorem 1.3
History
- 2026-10-28: add by m2/v0.4.2
J4RVFXKRDQ J4RVFXKRDQ
| URI | m2://inv/J4RVFXKRDQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07927#D58B (statement). In GKM19DHQTM/e1, corollary 6.35
History
- 2026-10-29: add by m2/v0.4.10
Affine space J4RY0QG1N4
| URI | m2://inv/J4RY0QG1N4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic geometry topics#RKGR, Affine space (definition)
History
- 2026-11-02: add by m2/dev
Area-preserving contact tennis-ball map J4RZ67F763
| URI | m2://inv/J4RZ67F763 |
|---|---|
| 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.28014#2U5I, Area-preserving contact tennis-ball map (statement)
History
- 2026-11-01: add by m2/v0.6.15
Compound matrix J4S7ZCXTE1
| URI | m2://inv/J4S7ZCXTE1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Compound matrix, Compound matrix (definition). Also Wikidata Q5156840
History
- 2026-11-02: add by m2/dev
J4S92PDRJA J4S92PDRJA
| URI | m2://inv/J4S92PDRJA |
|---|---|
| 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.27151#V1O2 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Mikhail Belolipetsky J4SCEQZZ5X
| URI | m2://inv/J4SCEQZZ5X |
|---|---|
| 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#OTIL, Mikhail Belolipetsky (unknown)
History
- 2026-11-02: add by m2/dev
Regular 4-polytope J4SE20673S
| URI | m2://inv/J4SE20673S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#WSW1, Regular 4-polytope (definition)
History
- 2026-11-02: add by m2/dev
Ju. L. Ersov J4SMQ7KWDX
| URI | m2://inv/J4SMQ7KWDX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#7BM0, Ju. L. Ersov (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#RQGF, Ju. L. Ersov (topic)
History
- 2026-11-02: add by m2/dev
Jean-Pierre Serre J4SY7CDZR2
| URI | m2://inv/J4SY7CDZR2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of publications in mathematics#LA3C, Jean-Pierre Serre (topic)
History
- 2026-11-02: add by m2/dev
Artin braid group J4T3XXJ64M
| URI | m2://inv/J4T3XXJ64M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Emil Artin#H4D5, Artin braid group (definition)
History
- 2026-11-02: add by m2/dev
Residual SID Parent List J4T6NED2F9
| URI | m2://inv/J4T6NED2F9 |
|---|---|
| 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.37578#LJTZ, Residual SID Parent List (statement). In D7NDCWSDJE/e1, lemma 16
History
- 2026-10-30: add by m2/v0.4.12
Binomial regression J4TB0M2NTN
| URI | m2://inv/J4TB0M2NTN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of analyses of categorical data#2TKA, Binomial regression (definition)
- wikipedia: Wikipedia List of statistics articles#G4QZ, Binomial regression (definition)
History
- 2026-11-02: add by m2/dev
J4TDGHZJKB J4TDGHZJKB
| URI | m2://inv/J4TDGHZJKB |
|---|---|
| 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.05661#PH35 (statement). In FDBAQNDMF5/e1, lemma 1
History
- 2026-10-29: add by m2/v0.4.10
J4TK0C5R7K J4TK0C5R7K
| URI | m2://inv/J4TK0C5R7K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25805#YHAV (statement)
History
- 2026-11-01: add by m2/v0.6.15
J4TMGGG0GV J4TMGGG0GV
| URI | m2://inv/J4TMGGG0GV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37520#73VQ (statement). In BDN507RN7J/e1, proposition 3.5.26
History
- 2026-10-30: add by m2/v0.4.12
Gabriele Veneziano J4TMWBP2FX
| URI | m2://inv/J4TMWBP2FX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of string theory topics#9L0E, Gabriele Veneziano (unknown)
History
- 2026-11-02: add by m2/dev
Eutactic star J4TVKT90MB
| URI | m2://inv/J4TVKT90MB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eutactic star, Eutactic star (definition). Also Wikidata Q5414378
History
- 2026-11-02: add by m2/dev
Exact test J4TWKRNVJW
| URI | m2://inv/J4TWKRNVJW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exact test, Exact test (definition). Also Wikidata Q9250577
History
- 2026-11-02: add by m2/dev
Equivalent definitions J4VNQEBCN1
| URI | m2://inv/J4VNQEBCN1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sub-Gaussian distribution#3B5J, Equivalent definitions (definition)
History
- 2026-11-02: add by m2/dev
J4VQAT3E07 J4VQAT3E07
| URI | m2://inv/J4VQAT3E07 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31604#IC8T (statement). In GSN5YTQS2K/e1, lemma 4.4
History
- 2026-10-31: add by m2/v0.5.6
J4W8815PJ0 J4W8815PJ0
| URI | m2://inv/J4W8815PJ0 |
|---|---|
| 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.14803#0MGA (statement). In VAEVDTBD3B/e1, theorem 3.1
History
- 2026-10-28: add by m2/v0.4.2
Otto Hesse J4WCBV3495
| URI | m2://inv/J4WCBV3495 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Otto Hesse, Otto Hesse (topic). Also Wikidata Q60397
History
- 2026-11-02: add by m2/dev
J4WD4KBDS0 J4WD4KBDS0
| URI | m2://inv/J4WD4KBDS0 |
|---|---|
| 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.09570#CZBP (statement). In 6QAW01629C/e1, lemma 4.1
History
- 2026-10-29: add by m2/v0.4.10
Definition J4WECBKK2F
| URI | m2://inv/J4WECBKK2F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sturm series#95UL, Definition (definition)
History
- 2026-11-02: add by m2/dev
Lehmer's totient problem J4WFK80YTD
| URI | m2://inv/J4WFK80YTD |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#93GC, Lehmer's totient problem (conjecture)
History
- 2026-11-02: add by m2/dev
Normal slices of radial source densities J4WR9TMMNJ
| URI | m2://inv/J4WR9TMMNJ |
|---|---|
| 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.24716#SYXY, Normal slices of radial source densities (statement)
History
- 2026-11-01: add by m2/v0.6.15
Process trees as sets of SP partial orders J4WREEST39
| URI | m2://inv/J4WREEST39 |
|---|---|
| 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 2609.20478#F6M2, Process trees as sets of SP partial orders (statement)
History
- 2026-11-02: add by m2/v0.6.18
Applications J4WZXE5RS1
| URI | m2://inv/J4WZXE5RS1 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gaussian function#9AZ1, Applications (example)
History
- 2026-11-02: add by m2/dev
Laura Taalman J4X08JZ859
| URI | m2://inv/J4X08JZ859 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Laura Taalman, Laura Taalman (topic). Also Wikidata Q53478512
History
- 2026-11-02: add by m2/dev
J4X1N2WZYS J4X1N2WZYS
| URI | m2://inv/J4X1N2WZYS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2504.02065#IPIS (statement). In 60CK7P5F36/e1, corollary 7.10
History
- 2026-10-27: add by m2/v0.3.5
J4XH25GGWR J4XH25GGWR
| URI | m2://inv/J4XH25GGWR |
|---|---|
| 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 2601.15010#YVK5 (statement). In K3WJ6ZN184/e1, lemma 4.1
History
- 2026-10-27: add by m2/v0.3.5
ancestor J4XJRPAANT
| URI | m2://inv/J4XJRPAANT |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi index/5.2.2/ancestor, ancestor (concept). In Y91XFCEVHQ, index, section 5.2.2
History
- 2026-11-01: add by m2/v0.6.13
J4XV9E1ZNN J4XV9E1ZNN
| URI | m2://inv/J4XV9E1ZNN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book setmath.tex#cor-5 (statement). In N54F33XE07, cor, section C.4
History
- 2026-11-01: add by m2/v0.6.13
J4XWXYTAPV J4XWXYTAPV
| URI | m2://inv/J4XWXYTAPV |
|---|---|
| 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.15472#YB4D (statement). In 5Z3FH46YSY/e1, theorem 3.8
History
- 2026-10-28: add by m2/v0.4.2
Postnikov system J4Y819D8MW
| URI | m2://inv/J4Y819D8MW |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Postnikov tower EKGEZGHYBW |
Mentions
- wikidata: Wikidata Q6941533, Postnikov system (concept). Also MathWorld PostnikovSystem, nLab Postnikov system
- wikipedia: Wikipedia Postnikov system, Postnikov system (definition). Also Wikidata Q6941533
History
- 2026-10-26: add by m2/dev
J4YEBF37YX J4YEBF37YX
| URI | m2://inv/J4YEBF37YX |
|---|---|
| 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.11693#NBKR (statement). In F8QNPNTBTZ/e1, theorem A.2
History
- 2026-10-28: add by m2/v0.4.3
Prediction difference between consecutive iterates J4YM955G77
| URI | m2://inv/J4YM955G77 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04357#SVOB, Prediction difference between consecutive iterates (statement). In 6FY8BVP1F3/e1, proposition I.3
History
- 2026-10-29: add by m2/v0.4.12
Examples J4YNGYJ1KS
| URI | m2://inv/J4YNGYJ1KS |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thin-film interference#CCH5, Examples (example)
History
- 2026-11-02: add by m2/dev
infinite loop space machine J4YRGP0VEM
| URI | m2://inv/J4YRGP0VEM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#YMY0, infinite loop space machine (definition)
History
- 2026-11-02: add by m2/dev
Paul Halmos J4YTQZG2XM
| URI | m2://inv/J4YTQZG2XM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#5DT7, Paul Halmos (topic)
History
- 2026-11-02: add by m2/dev
Diminish of oscillation - uniformly elliptic J4YW4CPCQ2
| URI | m2://inv/J4YW4CPCQ2 |
|---|---|
| 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 2401.14638#WK0O, Diminish of oscillation - uniformly elliptic (statement). In 2XC2MZFWPP/e1, lemma 3.6
History
- 2026-10-27: add by m2/v0.3.5
Generalized hyperbolicity J4YYW7MNZZ
| URI | m2://inv/J4YYW7MNZZ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04179#V1SS, Generalized hyperbolicity (definition). In D64RQ09KBP/e1, definition 2.1
History
- 2026-10-29: add by m2/v0.4.12
Mumford–Shah functional J4YZ5JEAPC
| URI | m2://inv/J4YZ5JEAPC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mumford–Shah functional, Mumford–Shah functional (definition). Also Wikidata Q17144601
History
- 2026-11-02: add by m2/dev
Examples J4Z0V2WSM4
| URI | m2://inv/J4Z0V2WSM4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Abstract elementary class#XAUN, Examples (example)
History
- 2026-11-02: add by m2/dev
All-or-nothing transform J4Z429JCT1
| URI | m2://inv/J4Z429JCT1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia All-or-nothing transform, All-or-nothing transform (definition). Also Wikidata Q4728366
History
- 2026-11-02: add by m2/dev
Applications J4ZDMF649H
| URI | m2://inv/J4ZDMF649H |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Potentially all pairwise rankings of all possible alternatives#VV9Y, Applications (example)
History
- 2026-11-02: add by m2/dev
Maximal Atlas J4ZJGJFTC3
| URI | m2://inv/J4ZJGJFTC3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Manifold#GNH7, Maximal Atlas (unknown)
History
- 2026-11-02: add by m2/dev
J4ZWSQDD19 J4ZWSQDD19
| URI | m2://inv/J4ZWSQDD19 |
|---|---|
| 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.23287#8RI3 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Hjalmar Magnus Eklund J4ZXZ12D6Y
| URI | m2://inv/J4ZXZ12D6Y |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hjalmar Magnus Eklund, Hjalmar Magnus Eklund (topic). Also Wikidata Q3846548
History
- 2026-11-02: add by m2/dev
Seismic wave J4ZYV711MG
| URI | m2://inv/J4ZYV711MG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Seismic wave, Seismic wave (definition). Also Wikidata Q186167
History
- 2026-11-02: add by m2/dev