Inventory rows J0
The cards of the rows of the inventory whose ids start with J0. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Herzog–Schönheim conjecture J0051HTHHT
| URI | m2://inv/J0051HTHHT |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#57DK, Herzog–Schönheim conjecture (conjecture)
History
- 2026-11-02: add by m2/dev
J00655KJCN J00655KJCN
| URI | m2://inv/J00655KJCN |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 57-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1001.0174#4Q7H (definition). In 4P97F3GPJC/e1, definition 2.5
History
- 2026-10-27: add by m2/v0.3.5
Doomsday conjecture J009R0JSPP
| URI | m2://inv/J009R0JSPP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of conjectures#DLUO, Doomsday conjecture (statement)
History
- 2026-11-02: add by m2/dev
Herman's normal form with continuous correction term J00B8V185H
| URI | m2://inv/J00B8V185H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 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.38013#98FX, Herman's normal form with continuous correction term (statement). In DQ6P0P6N78/e1, theorem 2.2
History
- 2026-10-30: add by m2/v0.4.12
Nernst heat theorem J00BF8WT79
| URI | m2://inv/J00BF8WT79 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nernst heat theorem, Nernst heat theorem (statement). Also Wikidata Q5372452
History
- 2026-11-02: add by m2/dev
Stanfield J00DDQN5K6
| URI | m2://inv/J00DDQN5K6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of U.S. communities with Hispanic-majority populations in the 2000 census#5WES, Stanfield (unknown)
History
- 2026-11-02: add by m2/dev
Quantum identity authentication J00HWHDQ0F
| URI | m2://inv/J00HWHDQ0F |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quantum authentication#EPX1, Quantum identity authentication (statement)
History
- 2026-11-02: add by m2/dev
Corollary to lemma (X^{\#} is weak-* complete) J00N2ANY0F
| URI | m2://inv/J00N2ANY0F |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Banach–Alaoglu theorem#83KD, Corollary to lemma (X^{\#} is weak-* complete) (statement)
History
- 2026-11-02: add by m2/dev
extreme value theorem J00SYWXDHY
| URI | m2://inv/J00SYWXDHY |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus index/3.5.2/extreme-value-theorem, extreme value theorem (concept). In 907G4C4EJ1, index, section 3.5.2
History
- 2026-11-01: add by m2/v0.6.13
J00XD04CJB J00XD04CJB
| URI | m2://inv/J00XD04CJB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 60-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01411#WY7R (statement). In SD28S3K7BT/e1, theorem 52
History
- 2026-10-29: add by m2/v0.4.12
J00Y3ZN30A J00Y3ZN30A
| URI | m2://inv/J00Y3ZN30A |
|---|---|
| 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.32599#VKU8 (statement). In E1Y93JNBJA/e1, proposition 5.6
History
- 2026-10-31: add by m2/v0.5.6
J011BJ81X4 J011BJ81X4
| URI | m2://inv/J011BJ81X4 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section1-4.xml#activity-1 (exercise). In 649HGZKE96, activity, section 1.4.2
History
- 2026-11-01: add by m2/v0.6.13
J011EJ1TEJ J011EJ1TEJ
| URI | m2://inv/J011EJ1TEJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23237#JP85 (statement)
History
- 2026-11-02: add by m2/v0.6.17
J01C5XQQ9E J01C5XQQ9E
| URI | m2://inv/J01C5XQQ9E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.31768#4OWN (statement). In WC7ZECEE3P/e1, proposition 6.1
History
- 2026-10-31: add by m2/v0.5.6
Gentzen's consistency proof J01JTG3JDG
| URI | m2://inv/J01JTG3JDG |
|---|---|
| Kind | definition |
| Layer | textbook |
| MSC | 03-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- thousand_plus: thousand_plus Q5533794, Gentzen's consistency proof for Peano Arithmetic (statement). Also Wikidata Q5533794, Wikipedia Gentzen's consistency proof
- wikipedia: Wikipedia Gentzen's consistency proof, Gentzen's consistency proof (definition). Also Wikidata Q5533794
History
- 2026-10-26: add by m2/dev
Schnorr signature J01P4B1MW1
| URI | m2://inv/J01P4B1MW1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cryptosystems#BYC2, Schnorr signature (definition)
History
- 2026-11-02: add by m2/dev
J01Q1BHQGT J01Q1BHQGT
| URI | m2://inv/J01Q1BHQGT |
|---|---|
| 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.11604#7C9H (statement). In P1J9MCFE7N/e1, theorem 2.6
History
- 2026-10-28: add by m2/v0.4.3
J01VRNFNAH J01VRNFNAH
| URI | m2://inv/J01VRNFNAH |
|---|---|
| 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.03555#MQ6J (statement). In 9JZJTRRVR1/e1, proposition 2.16
History
- 2026-10-29: add by m2/v0.4.12
Vanishing killed occupation J01W5JAQDW
| URI | m2://inv/J01W5JAQDW |
|---|---|
| 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#1T0S, Vanishing killed occupation (statement). In 9W2YX5X4AX/e1, lemma 3.7
History
- 2026-10-27: add by m2/v0.4.2
J01WK5S0T9 J01WK5S0T9
| URI | m2://inv/J01WK5S0T9 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-multivar-int.tex#exercise-9 (exercise). In E59CDZA4DP, exercise, section 5.1.6
History
- 2026-11-01: add by m2/v0.6.13
Development J01YHEHBYZ
| URI | m2://inv/J01YHEHBYZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Development (differential geometry), Development (definition). Also Wikidata Q5266667
History
- 2026-11-02: add by m2/dev
Example J02D9CDKF1
| URI | m2://inv/J02D9CDKF1 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schur polynomial#3LA6, Example (example)
History
- 2026-11-02: add by m2/dev
J02M2911WT J02M2911WT
| URI | m2://inv/J02M2911WT |
|---|---|
| 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 2506.21337#EVPN (statement). In EPZN0JTG2Z/e1, lemma 2.5
History
- 2026-10-27: add by m2/v0.3.5
Main density theorem J02Z25BCCN
| URI | m2://inv/J02Z25BCCN |
|---|---|
| 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.07214#F144, Main density theorem (statement). In 669PBFJX0Z/e1, theorem 5
History
- 2026-10-29: add by m2/v0.4.10
Atiyah–Bott fixed-point theorem J035YC3JCQ
| URI | m2://inv/J035YC3JCQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#M87Y, Atiyah–Bott fixed-point theorem (statement)
History
- 2026-11-02: add by m2/dev
Demlo number J03AAPYKP4
| URI | m2://inv/J03AAPYKP4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q30748332, Demlo number (unknown). Also MathWorld DemloNumber, OEIS A002477
History
- 2026-10-26: add by m2/dev
Ezri Namvar J03ACGD7HZ
| URI | m2://inv/J03ACGD7HZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#7P36, Ezri Namvar (unknown)
History
- 2026-11-02: add by m2/dev
J03JW3Q51H J03JW3Q51H
| URI | m2://inv/J03JW3Q51H |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/InfiniteSets.tex#prob:moreInfiniteSets (exercise). In P1C114YBXG, problem, section D
History
- 2026-11-01: add by m2/v0.6.13
J03KA6HDEW J03KA6HDEW
| URI | m2://inv/J03KA6HDEW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 17-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21860#ME7W (statement)
History
- 2026-11-02: add by m2/v0.6.18
J03RGPPV9C J03RGPPV9C
| URI | m2://inv/J03RGPPV9C |
|---|---|
| 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.15744#FTTV (statement). In NV3PBZGBB7/e1, proposition 2.1
History
- 2026-10-28: add by m2/v0.4.2
Properties J03VFJASA9
| URI | m2://inv/J03VFJASA9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cyclic category#6TRO, Properties (statement)
History
- 2026-11-02: add by m2/dev
J03Y2Z6M84 J03Y2Z6M84
| URI | m2://inv/J03Y2Z6M84 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/cats/functors.tex#ex:covariant_yoneda (example). In RZP28ERRZV, example, section 37.2
History
- 2026-11-01: add by m2/v0.6.13
J043V08T63 J043V08T63
| URI | m2://inv/J043V08T63 |
|---|---|
| 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#LQ19 (statement). In D0F1GK5AHW/e1, theorem 3.10
History
- 2026-10-29: add by m2/v0.4.10
J048VABF3Z J048VABF3Z
| URI | m2://inv/J048VABF3Z |
|---|---|
| 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 2502.08738#U946 (definition). In 9GMTVSTAVN/e1, definition 2.5
History
- 2026-10-27: add by m2/v0.3.5
Higman's lemma J04E0GZF7S
| URI | m2://inv/J04E0GZF7S |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Higman's lemma, Higman's lemma (statement). Also Wikidata Q3229340
History
- 2026-11-02: add by m2/dev
J04M1XHPXC J04M1XHPXC
| URI | m2://inv/J04M1XHPXC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22394#UOU2 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Scottish Café J04R47P0RE
| URI | m2://inv/J04R47P0RE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Scottish Café, Scottish Café (definition). Also Wikidata Q1737363
History
- 2026-11-02: add by m2/dev
Examples J04THT59CH
| URI | m2://inv/J04THT59CH |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Signaling game#JM07, Examples (example)
History
- 2026-11-02: add by m2/dev
J04TKK6J7K J04TKK6J7K
| URI | m2://inv/J04TKK6J7K |
|---|---|
| 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 1512.06981#QYKC (statement). In X923ZEY423/e1, lemma 1.8.7
History
- 2026-10-27: add by m2/v0.3.5
J0579KG8B6 J0579KG8B6
| URI | m2://inv/J0579KG8B6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39700#JQ5H (statement). In E7W2HDNEKJ/e1, proposition 10.3
History
- 2026-10-30: add by m2/v0.4.12
Define J057CVQAV7
| URI | m2://inv/J057CVQAV7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia BQP#C1WG, Define (statement)
History
- 2026-11-02: add by m2/dev
Linear separability J05GAS2P1R
| URI | m2://inv/J05GAS2P1R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linear separability, Linear separability (definition). Also Wikidata Q1064600
History
- 2026-11-02: add by m2/dev
483 (number) J05HJ4BJQ0
| URI | m2://inv/J05HJ4BJQ0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 400 (number)#3U21, 483 (number) (unknown)
History
- 2026-11-02: add by m2/dev
J05J6NJB9W J05J6NJB9W
| URI | m2://inv/J05J6NJB9W |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/measure/pontryagin.tex#thm:god (statement). In RZP28ERRZV, theorem, section 68.3
History
- 2026-11-01: add by m2/v0.6.13
Richard Schwartz J05R4W5CNM
| URI | m2://inv/J05R4W5CNM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Richard Schwartz (mathematician), Richard Schwartz (topic). Also Wikidata Q3893370
History
- 2026-11-02: add by m2/dev
Volcano plot (statistics) J05TZAF7DF
| URI | m2://inv/J05TZAF7DF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#85WQ, Volcano plot (statistics) (definition)
History
- 2026-11-02: add by m2/dev
Graph Action Space J05WH1SFGE
| URI | m2://inv/J05WH1SFGE |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36421#7KXO, Graph Action Space (definition). In E0ZRSZ0YHT/e1, definition 4
History
- 2026-10-30: add by m2/v0.4.12
Dual representation of $g_m$ J05X5HVMGD
| URI | m2://inv/J05X5HVMGD |
|---|---|
| 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.18350#TV3A, Dual representation of $g_m$ (statement). In A20E8FZS21/e1, lemma 9.4
History
- 2026-10-28: add by m2/v0.4.2
Maxwell Lagrangian J05XDQ3QXB
| URI | m2://inv/J05XDQ3QXB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Covariant formulation of classical electromagnetism#WUX4, Maxwell Lagrangian (unknown)
History
- 2026-11-02: add by m2/dev
Riesz representation theorem J05XPRG541
| URI | m2://inv/J05XPRG541 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#1HA4, Riesz representation theorem (statement)
History
- 2026-11-02: add by m2/dev
free Lie algebra J0646QTK1Y
| URI | m2://inv/J0646QTK1Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of Lie groups and Lie algebras#2YH4, free Lie algebra (definition)
History
- 2026-11-02: add by m2/dev
J06B33EQYB J06B33EQYB
| URI | m2://inv/J06B33EQYB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12497#TVNV (statement). In Z0SAF18JPP/e1, lemma 10.1
History
- 2026-10-28: add by m2/v0.4.2
J06FR3S5GK J06FR3S5GK
| URI | m2://inv/J06FR3S5GK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28195#RPAG (statement)
History
- 2026-11-01: add by m2/v0.6.15
milli- J06HQ4F631
| URI | m2://inv/J06HQ4F631 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q154108, milli- (definition). Also ProofWiki Definition:Metric_System/Scaling_Prefixes/milli-
History
- 2026-10-26: add by m2/dev
J06TX7BMNY J06TX7BMNY
| URI | m2://inv/J06TX7BMNY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-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 2610.20542#0KOY (statement). In 8PZXZ8Y9FK/e1, corollary 4.2
History
- 2026-10-27: add by m2/v0.4.2
Even and odd permutations J06TZKBQZQ
| URI | m2://inv/J06TZKBQZQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#DKRB, Even and odd permutations (definition)
History
- 2026-11-02: add by m2/dev
J074TBTSQC J074TBTSQC
| URI | m2://inv/J074TBTSQC |
|---|---|
| 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.27715#ZKRE (statement)
History
- 2026-11-01: add by m2/v0.6.15
Properties J074X5V4CP
| URI | m2://inv/J074X5V4CP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Magnetic helicity#FLE6, Properties (statement)
History
- 2026-11-02: add by m2/dev
J0773ZVXQY J0773ZVXQY
| URI | m2://inv/J0773ZVXQY |
|---|---|
| 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.20466#IMLX (definition). In M4ZVJWM8YA/e1, definition 3.2
History
- 2026-10-27: add by m2/v0.4.2
Realized variance J077RV7T3C
| URI | m2://inv/J077RV7T3C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Realized variance, Realized variance (definition). Also Wikidata Q7301291
History
- 2026-11-02: add by m2/dev
Jeffrey Lagarias J07EXQV9DK
| URI | m2://inv/J07EXQV9DK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#V7LI, Jeffrey Lagarias (topic)
History
- 2026-11-02: add by m2/dev
J07HSC4Y79 J07HSC4Y79
| URI | m2://inv/J07HSC4Y79 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_intro_geom.ptx#example-3 (example). In QKM9DD2H56, example, section 1.5
History
- 2026-11-01: add by m2/v0.6.13
J07WB56232 J07WB56232
| URI | m2://inv/J07WB56232 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2607.00146#KYAB (statement). In 6KR7Z5ETRY/e1, lemma 4.6
History
- 2026-10-27: add by m2/v0.3.5
J07Y1XBTTB J07Y1XBTTB
| URI | m2://inv/J07Y1XBTTB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-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.30821#8ZL3 (statement). In 1MZ9XBPTFQ/e1, proposition 1
History
- 2026-10-31: add by m2/v0.5.6
Bernhard Riemann J07YEJ3GJ6
| URI | m2://inv/J07YEJ3GJ6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of conjectures#G6OL, Bernhard Riemann (topic)
History
- 2026-11-02: add by m2/dev
Properties J08A71YKHZ
| URI | m2://inv/J08A71YKHZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Poncelet point#YYQ1, Properties (statement)
History
- 2026-11-02: add by m2/dev
Enrico Fermi J08GVXRA1A
| URI | m2://inv/J08GVXRA1A |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of contributors to general relativity#0MXE, Enrico Fermi (unknown)
History
- 2026-11-02: add by m2/dev
J08PZT5MY1 J08PZT5MY1
| URI | m2://inv/J08PZT5MY1 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/metric-top.tex#ques-2 (exercise). In RZP28ERRZV, ques, section 100.2
History
- 2026-11-01: add by m2/v0.6.13
J08RY59BVX J08RY59BVX
| URI | m2://inv/J08RY59BVX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26619#VRNT (statement)
History
- 2026-11-01: add by m2/v0.6.15
J08V62QD6T J08V62QD6T
| URI | m2://inv/J08V62QD6T |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/incompleteness/theories-computability/interpretability.tex#cor-1 (statement). In PKGMM3P5QY, cor, section 30.11
History
- 2026-11-01: add by m2/v0.6.13
Log-free sufficient clean budgets J08Y1JXDAX
| URI | m2://inv/J08Y1JXDAX |
|---|---|
| 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.15202#UC6U, Log-free sufficient clean budgets (statement). In X1FPG0KYBM/e1, corollary N.3
History
- 2026-10-28: add by m2/v0.4.2
J09BH36W56 J09BH36W56
| URI | m2://inv/J09BH36W56 |
|---|---|
| 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.25301#VM59 (statement)
History
- 2026-11-01: add by m2/v0.6.15
J09C1CJV8Z J09C1CJV8Z
| URI | m2://inv/J09C1CJV8Z |
|---|---|
| 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.14458#XE00 (statement). In WJ76MVYAZQ/e1, theorem 4.8
History
- 2026-10-28: add by m2/v0.4.2
Sander illusion J09PGKQFBB
| URI | m2://inv/J09PGKQFBB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2641583, Sander illusion (unknown). Also MathWorld ParallelogramIllusion
History
- 2026-10-26: add by m2/dev
Wolfgang Walter J09QQF1MNK
| URI | m2://inv/J09QQF1MNK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wolfgang Walter, Wolfgang Walter (topic). Also Wikidata Q103200
History
- 2026-11-02: add by m2/dev
Fibonacci sequence J09VDE3W3Y
| URI | m2://inv/J09VDE3W3Y |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi index/3.1/fibonacci-sequence, Fibonacci sequence (concept). In Y91XFCEVHQ, index, section 3.1
History
- 2026-11-01: add by m2/v0.6.13
J0A03QSXV3 J0A03QSXV3
| URI | m2://inv/J0A03QSXV3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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.25897#PDPI (statement)
History
- 2026-11-01: add by m2/v0.6.15
Elliptic partial differential equation J0A155KJB8
| URI | m2://inv/J0A155KJB8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of partial differential equation topics#9ZQI, Elliptic partial differential equation (definition)
History
- 2026-11-02: add by m2/dev
semiorthogonal decomposition J0A1J85M1S
| URI | m2://inv/J0A1J85M1S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q85800327, semiorthogonal decomposition (unknown). Also nLab semiorthogonal decomposition
- wikipedia: Wikipedia Semiorthogonal decomposition, Semiorthogonal decomposition (definition). Also Wikidata Q85800327
History
- 2026-10-26: add by m2/dev
J0A32XZHS0 J0A32XZHS0
| URI | m2://inv/J0A32XZHS0 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section4-2.xml#example-8 (example). In 649HGZKE96, example, section 4.2.4
History
- 2026-11-01: add by m2/v0.6.13
Generalizations J0A5R1F2AW
| URI | m2://inv/J0A5R1F2AW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glove problem#UD4F, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Wrens at Bletchley Park J0ADPG3B0C
| URI | m2://inv/J0ADPG3B0C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wrens at Bletchley Park, Wrens at Bletchley Park (definition). Also Wikidata Q141447021
History
- 2026-11-02: add by m2/dev
Eilon Solan J0ANW1GE33
| URI | m2://inv/J0ANW1GE33 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eilon Solan, Eilon Solan (topic). Also Wikidata Q6595971
History
- 2026-11-02: add by m2/dev
J0AZ559HET J0AZ559HET
| URI | m2://inv/J0AZ559HET |
|---|---|
| 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.24845#FJEP (statement)
History
- 2026-11-01: add by m2/v0.6.15
Valery Goppa J0BDWM3J75
| URI | m2://inv/J0BDWM3J75 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Valery Goppa, Valery Goppa (topic). Also Wikidata Q7911482
History
- 2026-11-02: add by m2/dev
Johnson–Lindenstrauss lemma J0BPH6TSV1
| URI | m2://inv/J0BPH6TSV1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Johnson–Lindenstrauss lemma, Johnson–Lindenstrauss lemma (statement). Also Wikidata Q6268577
History
- 2026-11-02: add by m2/dev
Algebraic properties J0BX1MZCVG
| URI | m2://inv/J0BX1MZCVG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tensor density#D2HG, Algebraic properties (statement)
History
- 2026-11-02: add by m2/dev
Enumeration, set-theoretic J0C6ZR8GNV
| URI | m2://inv/J0C6ZR8GNV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/size-of-sets/enumerability-alt.tex#defn-1, Enumeration, set-theoretic (definition). In PKGMM3P5QY, defn, section 83.4
History
- 2026-11-01: add by m2/v0.6.13
C. T. K. Chari J0C844FYGJ
| URI | m2://inv/J0C844FYGJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia C. T. K. Chari, C. T. K. Chari (topic). Also Wikidata Q5006884
History
- 2026-11-02: add by m2/dev
Infinite decimal representation J0C8MKE2MR
| URI | m2://inv/J0C8MKE2MR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Decimal representation#R2HK, Infinite decimal representation (unknown)
History
- 2026-11-02: add by m2/dev
Applications J0C9GA2ZRV
| URI | m2://inv/J0C9GA2ZRV |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Whittle likelihood#Q8IK, Applications (example)
History
- 2026-11-02: add by m2/dev
J0C9HB9GSQ J0C9HB9GSQ
| URI | m2://inv/J0C9HB9GSQ |
|---|---|
| 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 2609.34013#3UAJ (example). In 3TA3P3CWSJ/e1, example 4.2
History
- 2026-10-30: add by m2/v0.4.12
eigenstate thermalization hypothesis J0CC85N9ZF
| URI | m2://inv/J0CC85N9ZF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q17008931, eigenstate thermalization hypothesis (unknown). Also nLab eigenstate thermalization hypothesis
- wikipedia: Wikipedia Eigenstate thermalization hypothesis, Eigenstate thermalization hypothesis (statement). Also Wikidata Q17008931
History
- 2026-10-26: add by m2/dev
Abhyankar's inequality J0CEV5GBDK
| URI | m2://inv/J0CEV5GBDK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07508#JJ2B, Abhyankar's inequality (statement). In TPA3E67MKK/e1, lemma 7.5
History
- 2026-10-29: add by m2/v0.4.10
Time scale calculus J0CKCH6CVR
| URI | m2://inv/J0CKCH6CVR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of dynamical systems and differential equations topics#MK3E, Time scale calculus (definition)
History
- 2026-11-02: add by m2/dev
Effective dimension and its crossover J0CNG5FSCS
| URI | m2://inv/J0CNG5FSCS |
|---|---|
| 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.32558#N5GN, Effective dimension and its crossover (statement). In SGQS629QNK/e1, proposition I.1
History
- 2026-10-31: add by m2/v0.5.6
blackboard bold J0CPHJGAZE
| URI | m2://inv/J0CPHJGAZE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a notation: the notation register holds it (corpus spec K10.4)) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1142171, blackboard bold (unknown). Also MathWorld Doublestruck, ProofWiki Symbols:Fonts/mathbb
- wikipedia: Wikipedia Blackboard bold, Blackboard bold (definition). Also Wikidata Q1142171
History
- 2026-10-26: add by m2/dev
Bernoulli J0CPKEE5Q8
| URI | m2://inv/J0CPKEE5Q8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability journals#UGLB, Bernoulli (unknown)
History
- 2026-11-02: add by m2/dev
J0D15PSHKN J0D15PSHKN
| URI | m2://inv/J0D15PSHKN |
|---|---|
| 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.14979#1PI0 (statement). In 6NH1VVZK1N/e1, lemma 2.1
History
- 2026-10-28: add by m2/v0.4.2
Non-examples J0D1FTV1Q1
| URI | m2://inv/J0D1FTV1Q1 |
|---|---|
| Kind | counterexample |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zero divisor#KVUY, Non-examples (counterexample)
History
- 2026-11-02: add by m2/dev
Lajos Pukánszky J0D1Q80FD0
| URI | m2://inv/J0D1Q80FD0 |
|---|---|
| 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#9WUF, Lajos Pukánszky (topic)
History
- 2026-11-02: add by m2/dev
Michael Thaddeus J0D4QR0JZ5
| URI | m2://inv/J0D4QR0JZ5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Michael Thaddeus, Michael Thaddeus (topic). Also Wikidata Q102277846
History
- 2026-11-02: add by m2/dev
J0DNN348CP J0DNN348CP
| URI | m2://inv/J0DNN348CP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2108.03672#09NW (statement). In EZZSZ1F071/e1, lemma 2.7
History
- 2026-10-27: add by m2/v0.4.0
Uwe Grimm J0DVTN05JJ
| URI | m2://inv/J0DVTN05JJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#BSJE, Uwe Grimm (topic)
History
- 2026-11-02: add by m2/dev
Analyticity of the normalized coefficients J0DVWHSRQ2
| URI | m2://inv/J0DVWHSRQ2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 37-XX, 46-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16094#83LA, Analyticity of the normalized coefficients (statement). In RHBS9QDHC3/e1, proposition 5.6
History
- 2026-10-28: add by m2/v0.4.2
Fast folding algorithm J0E1FC8FMC
| URI | m2://inv/J0E1FC8FMC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#TYHS, Fast folding algorithm (unknown)
History
- 2026-11-02: add by m2/dev
Third law J0E2851J0M
| URI | m2://inv/J0E2851J0M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thermodynamics#OBUL, Third law (statement)
History
- 2026-11-02: add by m2/dev
Weighted average J0E36CDKGP
| URI | m2://inv/J0E36CDKGP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weighted average, Weighted average (definition). Also Wikidata Q107218751
History
- 2026-11-02: add by m2/dev
J0E77HH2GK J0E77HH2GK
| URI | m2://inv/J0E77HH2GK |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/calculus/p-adic.tex#problem-1 (exercise). In RZP28ERRZV, problem, section 33.5
History
- 2026-11-01: add by m2/v0.6.13
J0E8VHADVQ J0E8VHADVQ
| URI | m2://inv/J0E8VHADVQ |
|---|---|
| Kind | problem |
| 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.25016#QC4W (problem)
History
- 2026-11-01: add by m2/v0.6.15
J0ED9TWZSV J0ED9TWZSV
| URI | m2://inv/J0ED9TWZSV |
|---|---|
| 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.37589#ZPM5 (statement). In 18HVB2SKW1/e1, theorem 2.7
History
- 2026-10-30: add by m2/v0.4.12
Hilbert–Schmidt J0EMETWE46
| URI | m2://inv/J0EMETWE46 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of functional analysis#GK9D, Hilbert–Schmidt (definition)
History
- 2026-11-02: add by m2/dev
UltraViolet J0EMM8E6S5
| URI | m2://inv/J0EMM8E6S5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia UltraViolet (website), UltraViolet (definition). Also Wikidata Q3548057
History
- 2026-11-02: add by m2/dev
Fixed block projected Euler-Maruyama approximation J0EPNWG43Q
| URI | m2://inv/J0EPNWG43Q |
|---|---|
| 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.09522#G28O, Fixed block projected Euler-Maruyama approximation (statement). In KKR9167FPT/e1, proposition 17
History
- 2026-10-29: add by m2/v0.4.10
Slack variable J0F4T5QT86
| URI | m2://inv/J0F4T5QT86 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#PJ2S, Slack variable (definition)
History
- 2026-11-02: add by m2/dev
Statement J0FQ3MRY7F
| URI | m2://inv/J0FQ3MRY7F |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Whitney extension theorem#JL53, Statement (statement)
History
- 2026-11-02: add by m2/dev
Definition J0FVNPZ92N
| URI | m2://inv/J0FVNPZ92N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Core partition#HPKU, Definition (definition)
History
- 2026-11-02: add by m2/dev
Acid Cryptofiler J0FY4VR423
| URI | m2://inv/J0FY4VR423 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Acid Cryptofiler, Acid Cryptofiler (definition). Also Wikidata Q2823183
History
- 2026-11-02: add by m2/dev
J0G4FMNZXZ J0G4FMNZXZ
| URI | m2://inv/J0G4FMNZXZ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30482#C2QV (definition). In KWB9M5YH9G/e1, definition 2.13
History
- 2026-10-31: add by m2/v0.5.6
Ozone depletion J0G8FSF6T2
| URI | m2://inv/J0G8FSF6T2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of common misconceptions about science, technology, and mathematics#WVEB, Ozone depletion (unknown)
History
- 2026-11-02: add by m2/dev
black string J0GHJ0R7M3
| URI | m2://inv/J0GHJ0R7M3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q680247, black string (unknown). Also nLab black string
History
- 2026-10-26: add by m2/dev
Definition J0GS63HTXT
| URI | m2://inv/J0GS63HTXT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tame abstract elementary class#CAIU, Definition (definition)
History
- 2026-11-02: add by m2/dev
Fractional ideals form a group J0GV3X1NZ6
| URI | m2://inv/J0GV3X1NZ6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/dedekind.tex#theorem-2, Fractional ideals form a group (statement). In RZP28ERRZV, theorem, section 10.6
History
- 2026-11-01: add by m2/v0.6.13
J0GZJ5E5EM J0GZJ5E5EM
| URI | m2://inv/J0GZJ5E5EM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0805.4273#XHO2 (statement). In ZX3NV58FRX/e1, theorem 3.5
History
- 2026-10-27: add by m2/v0.3.5
Karola Mészáros J0H3N4F8PK
| URI | m2://inv/J0H3N4F8PK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Karola Mészáros, Karola Mészáros (topic). Also Wikidata Q102362892
History
- 2026-11-02: add by m2/dev
J0HCV4HTN9 J0HCV4HTN9
| URI | m2://inv/J0HCV4HTN9 |
|---|---|
| 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.32033#EBEL (statement). In 17W5G060QX/e1, proposition 3.1
History
- 2026-10-31: add by m2/v0.5.6
J0HZ52JZSP J0HZ52JZSP
| URI | m2://inv/J0HZ52JZSP |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23528#F8Y9 (definition)
History
- 2026-11-02: add by m2/v0.6.17
J0J2P6DAB7 J0J2P6DAB7
| URI | m2://inv/J0J2P6DAB7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30519#OWTD (statement). In GQQZNRYK15/e1, corollary 4.6
History
- 2026-10-31: add by m2/v0.5.6
J0J32WRNQY J0J32WRNQY
| URI | m2://inv/J0J32WRNQY |
|---|---|
| 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#A3GK (statement). In DQMEN40FZV/e1, corollary 1
History
- 2026-10-28: add by m2/v0.4.3
Theorem J0JCS5GW1K
| URI | m2://inv/J0JCS5GW1K |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Closed graph theorem (functional analysis)#72B6, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Cluster-weighted modeling J0JNVVX8GB
| URI | m2://inv/J0JNVVX8GB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cluster-weighted modeling, Cluster-weighted modeling (definition). Also Wikidata Q5136674
History
- 2026-11-02: add by m2/dev
Statement of the principle for self-adjoint Schrödinger operators J0JR92SCCK
| URI | m2://inv/J0JR92SCCK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Birman–Schwinger principle#V8K4, Statement of the principle for self-adjoint Schrödinger operators (statement)
History
- 2026-11-02: add by m2/dev
Example J0JWMP2JKY
| URI | m2://inv/J0JWMP2JKY |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Restricted representation#UC0P, Example (example)
History
- 2026-11-02: add by m2/dev
The nonlinear remainder on propagation cones J0K4PEA001
| URI | m2://inv/J0K4PEA001 |
|---|---|
| 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.13753#IHD7, The nonlinear remainder on propagation cones (statement). In AHM0PBKZZN/e1, proposition 3.5
History
- 2026-10-28: add by m2/v0.4.2
Examples J0K8BBXD7N
| URI | m2://inv/J0K8BBXD7N |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Signed measure#UXXZ, Examples (example)
History
- 2026-11-02: add by m2/dev
J0KC87BDRX J0KC87BDRX
| URI | m2://inv/J0KC87BDRX |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16583#9WED (definition). In 4RPXT0YCS5/e1, definition 6.3
History
- 2026-10-28: add by m2/v0.4.2
Binary space partitioning J0KD0D6XDQ
| URI | m2://inv/J0KD0D6XDQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#H4QQ, Binary space partitioning (unknown)
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#XR47, Binary space partitioning (unknown)
History
- 2026-11-02: add by m2/dev
Rudolf Berghammer J0KDBJDRYG
| URI | m2://inv/J0KDBJDRYG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rudolf Berghammer, Rudolf Berghammer (topic). Also Wikidata Q19609717
History
- 2026-11-02: add by m2/dev
J0KJ41637W J0KJ41637W
| URI | m2://inv/J0KJ41637W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2210.06147#IWD0 (statement). In 94RBNQA07A/e1, lemma 5.9
History
- 2026-10-27: add by m2/v0.3.5
derangement J0KPTK0QZ0
| URI | m2://inv/J0KPTK0QZ0 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi index/2.6.1/derangement, derangement (concept). In Y91XFCEVHQ, index, section 2.6.1
History
- 2026-11-01: add by m2/v0.6.13
J0KQ7370PH J0KQ7370PH
| URI | m2://inv/J0KQ7370PH |
|---|---|
| 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.28211#VX1E (statement)
History
- 2026-11-01: add by m2/v0.6.15
J0KVVFHVZP J0KVVFHVZP
| URI | m2://inv/J0KVVFHVZP |
|---|---|
| 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.19309#G6Q3 (statement). In XKENQH35DW/e1, proposition 3.1
History
- 2026-10-28: add by m2/v0.4.2
J0M68MGCS8 J0M68MGCS8
| URI | m2://inv/J0M68MGCS8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10505#6IK3 (statement). In JW8HH6EPG2/e1, lemma 3.12
History
- 2026-10-29: add by m2/v0.4.10
J0MET2JR56 J0MET2JR56
| URI | m2://inv/J0MET2JR56 |
|---|---|
| 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.07673#1YTZ (statement). In 37B1MPV8GX/e1, theorem 9.5
History
- 2026-10-29: add by m2/v0.4.10
Nash--Williams J0MQV8JN2Y
| URI | m2://inv/J0MQV8JN2Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20606#YY9Z, Nash--Williams (statement)
History
- 2026-11-02: add by m2/v0.6.18
Pandya theorem J0MT8TCPJV
| URI | m2://inv/J0MT8TCPJV |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 81-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q7130794, Pandya theorem (statement). Also Wikidata Q7130794
- thousand_plus: thousand_plus Q7130794, Pandya theorem (statement). Also Wikidata Q7130794, Wikipedia Pandya theorem
- wikipedia: Wikipedia Pandya theorem, Pandya theorem (statement). Also Wikidata Q7130794
History
- 2026-10-26: add by m2/dev
AIXI J0MWZ6F249
| URI | m2://inv/J0MWZ6F249 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia AIXI, AIXI (definition). Also Wikidata Q18204908
History
- 2026-11-02: add by m2/dev
J0MXQZ232W J0MXQZ232W
| URI | m2://inv/J0MXQZ232W |
|---|---|
| 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.17677#FIRA (statement). In 5E9G06XJKC/e1, lemma F.39
History
- 2026-10-28: add by m2/v0.4.2
Non-linear crowd J0MXV3GR7M
| URI | m2://inv/J0MXV3GR7M |
|---|---|
| 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.04671#E8TX, Non-linear crowd (statement). In BYP65TRGDT/e1, theorem 5.19
History
- 2026-10-29: add by m2/v0.4.12
J0N008KCYR J0N008KCYR
| URI | m2://inv/J0N008KCYR |
|---|---|
| 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#WZA8 (statement). In Y1DR0DPWD0/e1, lemma 3.6
History
- 2026-10-29: add by m2/v0.4.12
J0N05VZE0Y J0N05VZE0Y
| URI | m2://inv/J0N05VZE0Y |
|---|---|
| Kind | example |
| 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 2609.33313#NWBC (example). In HRCEFY172P/e1, example 3.10
History
- 2026-10-30: add by m2/v0.4.12
J0N80FNWQ3 J0N80FNWQ3
| URI | m2://inv/J0N80FNWQ3 |
|---|---|
| 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.14318#XZY5 (statement). In HA4SZZJ831/e1, theorem 5.2
History
- 2026-10-28: add by m2/v0.4.2
Rotation (sports) J0NFFDXZ8C
| URI | m2://inv/J0NFFDXZ8C |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rotation#CRDV, Rotation (sports) (unknown)
History
- 2026-11-02: add by m2/dev
Ian Agol J0NGBVZ1WP
| URI | m2://inv/J0NGBVZ1WP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#144L, Ian Agol (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#KCAY, Ian Agol (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#UU3W, Ian Agol (topic)
History
- 2026-11-02: add by m2/dev
Sliding DFT J0NNT2663C
| URI | m2://inv/J0NNT2663C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sliding DFT, Sliding DFT (definition). Also Wikidata Q96405843
History
- 2026-11-02: add by m2/dev
Strong prior J0NSWA6SAV
| URI | m2://inv/J0NSWA6SAV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Prior probability#TS4Q, Strong prior (unknown)
History
- 2026-11-02: add by m2/dev
J0NZP1N89Y J0NZP1N89Y
| URI | m2://inv/J0NZP1N89Y |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24484#70DR (definition)
History
- 2026-11-01: add by m2/v0.6.15
J0P0WCSGXB J0P0WCSGXB
| URI | m2://inv/J0P0WCSGXB |
|---|---|
| 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.20944#CJZI (statement). In DRRKZR6CQC/e1, lemma B.4
History
- 2026-10-27: add by m2/v0.4.2
exact J0P4J3NFTK
| URI | m2://inv/J0P4J3NFTK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#JYW9, exact (definition)
History
- 2026-11-02: add by m2/dev
J0P7GV48V4 J0P7GV48V4
| URI | m2://inv/J0P7GV48V4 |
|---|---|
| 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.33108#UP8R (statement). In 5JK5N2RRMS/e1, corollary 3.3
History
- 2026-10-30: add by m2/v0.4.12
Ernst Witt J0P7MZZ02W
| URI | m2://inv/J0P7MZZ02W |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of geometers#KKTT, Ernst Witt (topic)
History
- 2026-11-02: add by m2/dev
J0PDC7T3TN J0PDC7T3TN
| URI | m2://inv/J0PDC7T3TN |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0406514#NMYL (definition). In CY1FE8W1ZW/e1, definition 0.147
History
- 2026-10-27: add by m2/v0.4.0
J0PEB7M5GM J0PEB7M5GM
| URI | m2://inv/J0PEB7M5GM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32300#BP9A (statement). In VNE8N0D2FB/e1, corollary 4.4
History
- 2026-10-31: add by m2/v0.5.6
John Perry J0PEK0YSE7
| URI | m2://inv/J0PEK0YSE7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia John Perry (philosopher), John Perry (topic). Also Wikidata Q1701398
History
- 2026-11-02: add by m2/dev
Other admissibility identities J0PGNW29XF
| URI | m2://inv/J0PGNW29XF |
|---|---|
| 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.12483#LC9E, Other admissibility identities (statement). In 159250CY6S/e1, proposition 8.3
History
- 2026-10-28: add by m2/v0.4.2
Specialization to four loops J0PS9TGMBY
| URI | m2://inv/J0PS9TGMBY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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.10828#OTNS, Specialization to four loops (statement). In 8PTDFHV8SQ/e1, corollary 10.3
History
- 2026-10-28: add by m2/v0.4.3
Thebais Prima J0PT8QT2Q7
| URI | m2://inv/J0PT8QT2Q7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#AUWX, Thebais Prima (unknown)
History
- 2026-11-02: add by m2/dev
Main theoretical result J0PWKPVVPP
| URI | m2://inv/J0PWKPVVPP |
|---|---|
| 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 2102.11076#ZF1K, Main theoretical result (statement). In T9HZXHTQBJ/e1, theorem 1
History
- 2026-10-27: add by m2/v0.3.6
J0PYC94RSW J0PYC94RSW
| URI | m2://inv/J0PYC94RSW |
|---|---|
| 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.14783#51O0 (statement). In Y3X5XY2J65/e1, corollary 9.3
History
- 2026-10-28: add by m2/v0.4.2
J0Q3TM0VRM J0Q3TM0VRM
| URI | m2://inv/J0Q3TM0VRM |
|---|---|
| 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 2508.13122#PS24 (statement). In PX2GWH86PN/e1, lemma B.4
History
- 2026-10-27: add by m2/v0.3.5
J0Q53G9SEA J0Q53G9SEA
| URI | m2://inv/J0Q53G9SEA |
|---|---|
| Kind | problem |
| 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#M3O9 (problem)
History
- 2026-11-01: add by m2/v0.6.15
Theorem J0Q5V7JVWG
| URI | m2://inv/J0Q5V7JVWG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pontryagin duality#17O1, Theorem (statement)
History
- 2026-11-02: add by m2/dev
J0QBPMFZBD J0QBPMFZBD
| URI | m2://inv/J0QBPMFZBD |
|---|---|
| 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 2610.14914#APS6 (statement). In CHC3T113Y4/e1, lemma 5.7
History
- 2026-10-28: add by m2/v0.4.2
characteristic J0QGGR8HX7
| URI | m2://inv/J0QGGR8HX7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#YZBQ, characteristic (definition)
History
- 2026-11-02: add by m2/dev
Example J0QJ17Q03W
| URI | m2://inv/J0QJ17Q03W |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Levenberg–Marquardt algorithm#Y82I, Example (example)
History
- 2026-11-02: add by m2/dev
George David Birkhoff J0QQ78M664
| URI | m2://inv/J0QQ78M664 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia George David Birkhoff, George David Birkhoff (topic). Also Wikidata Q327301
History
- 2026-11-02: add by m2/dev
External regret is not ordinally identifiable J0QQHDH9QA
| URI | m2://inv/J0QQHDH9QA |
|---|---|
| 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#GCJJ, External regret is not ordinally identifiable (statement). In 31MQPCA8SH/e1, proposition 3.1
History
- 2026-10-29: add by m2/v0.4.10
irrational torus, second construction J0QTYV8T2C
| URI | m2://inv/J0QTYV8T2C |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1408.1555#LCI5, irrational torus, second construction (example). In S1F2QW24YW/e1, example 5.13
History
- 2026-10-27: add by m2/v0.3.5
Cauchy--Davenport J0QYVR035J
| URI | m2://inv/J0QYVR035J |
|---|---|
| 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.13103#FFFL, Cauchy--Davenport (statement). In GG2ZZV6KEQ/e1, lemma 2.2
History
- 2026-10-28: add by m2/v0.4.2
Chomsky–Schützenberger enumeration theorem J0R35EBRQJ
| URI | m2://inv/J0R35EBRQJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#64FR, Chomsky–Schützenberger enumeration theorem (statement)
History
- 2026-11-02: add by m2/dev
Square conference parameters J0R84G4HP4
| URI | m2://inv/J0R84G4HP4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10017#4IDQ, Square conference parameters (statement). In CJRBKR4JKT/e1, proposition 7.7
History
- 2026-10-29: add by m2/v0.4.10
J0R940MTJH J0R940MTJH
| URI | m2://inv/J0R940MTJH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/ContinuousFunctions.tex#theorem-2 (statement). In P1C114YBXG, theorem, section 1
History
- 2026-11-01: add by m2/v0.6.13
Polyhex J0RDTVCJNR
| URI | m2://inv/J0RDTVCJNR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polyhex, Polyhex (definition). Also Wikidata Q3851235
History
- 2026-11-02: add by m2/dev
Wronskian J0RE0D0Q96
| URI | m2://inv/J0RE0D0Q96 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of incomplete proofs#PQFA, Wronskian (definition)
History
- 2026-11-02: add by m2/dev
Mesh analysis J0RF3QXY13
| URI | m2://inv/J0RF3QXY13 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mesh analysis, Mesh analysis (definition). Also Wikidata Q1852652
History
- 2026-11-02: add by m2/dev
J0RJQ7D44W J0RJQ7D44W
| URI | m2://inv/J0RJQ7D44W |
|---|---|
| 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 2504.01057#A5N9 (statement). In 69QFBXJENW/e1, lemma 2.22
History
- 2026-10-27: add by m2/v0.3.5
Definitions J0RNS8N5WH
| URI | m2://inv/J0RNS8N5WH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Martingale (probability theory)#PWOA, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Fallacy of exclusive premises J0RQKRRX6T
| URI | m2://inv/J0RQKRRX6T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fallacy of exclusive premises, Fallacy of exclusive premises (definition). Also Wikidata Q2911602
History
- 2026-11-02: add by m2/dev
Quartile coefficient of dispersion J0RX5NPR41
| URI | m2://inv/J0RX5NPR41 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#5L5D, Quartile coefficient of dispersion (definition)
History
- 2026-11-02: add by m2/dev
Gysin homomorphism J0S6YV4ZH0
| URI | m2://inv/J0S6YV4ZH0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gysin homomorphism, Gysin homomorphism (definition). Also Wikidata Q1558545
History
- 2026-11-02: add by m2/dev
J0S8K75008 J0S8K75008
| URI | m2://inv/J0S8K75008 |
|---|---|
| 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 2305.10921#UJ8O (statement). In PD5PJ0EYG6/e1, proposition 5.7
History
- 2026-10-27: add by m2/v0.3.5
J0SJ2WG3KB J0SJ2WG3KB
| URI | m2://inv/J0SJ2WG3KB |
|---|---|
| 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.12736#QISV (definition). In 5350Q52F6P/e1, definition 8.1
History
- 2026-10-28: add by m2/v0.4.2
Codespace of a quantum CSS code on $\mathbb{Z}_q$ J0SJ948JW5
| URI | m2://inv/J0SJ948JW5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04834#SVXY, Codespace of a quantum CSS code on $\mathbb{Z}_q$ (statement). In YZNK67K060/e1, theorem 4.5
History
- 2026-10-29: add by m2/v0.4.12
J0SNVSD6TE J0SNVSD6TE
| URI | m2://inv/J0SNVSD6TE |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10567#W8PD (problem). In Q7TTRJ20KD/e1, problem 4.2
History
- 2026-10-29: add by m2/v0.4.10
\bf{Uncertainty Conservation J0SQ733B47
| URI | m2://inv/J0SQ733B47 |
|---|---|
| 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 2610.03661#76R8, \bf{Uncertainty Conservation (statement). In ESDKTYDHC8/e1, theorem 1
History
- 2026-10-29: add by m2/v0.4.12
Statement J0SSNHGEKX
| URI | m2://inv/J0SSNHGEKX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Denjoy–Wolff theorem#1307, Statement (statement)
History
- 2026-11-02: add by m2/dev
Johannes Droste J0SZVQ33Q3
| URI | m2://inv/J0SZVQ33Q3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Johannes Droste, Johannes Droste (topic). Also Wikidata Q15821438
History
- 2026-11-02: add by m2/dev
Categories, groupoids, and semicategories J0T7MR8SCX
| URI | m2://inv/J0T7MR8SCX |
|---|---|
| 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.33469#1760, Categories, groupoids, and semicategories (statement). In TC5QA4AB4Z/e1, corollary 3.28
History
- 2026-10-30: add by m2/v0.4.12
J0TH7KXGTM J0TH7KXGTM
| URI | m2://inv/J0TH7KXGTM |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 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 2609.25188#H62E (example)
History
- 2026-11-01: add by m2/v0.6.15
Michael Saks J0TV5R0B8E
| URI | m2://inv/J0TV5R0B8E |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#SBL7, Michael Saks (topic)
History
- 2026-11-02: add by m2/dev
J0TWHA24VY J0TWHA24VY
| URI | m2://inv/J0TWHA24VY |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2212.06621#G2F9 (definition). In DB223AABTH/e1, definition 5.3
History
- 2026-10-27: add by m2/v0.3.5
J0V6HG1MYR J0V6HG1MYR
| URI | m2://inv/J0V6HG1MYR |
|---|---|
| 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.34856#2G2Y (statement). In MRR92GQNZE/e1, lemma 3.1
History
- 2026-10-30: add by m2/v0.4.12
Szász–Mirakyan operator J0V72H532Q
| URI | m2://inv/J0V72H532Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Szász–Mirakyan operator, Szász–Mirakyan operator (definition). Also Wikidata Q7665169
History
- 2026-11-02: add by m2/dev
Probability-Mass Binning J0VA9HWCTX
| URI | m2://inv/J0VA9HWCTX |
|---|---|
| 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.09998#HZOL, Probability-Mass Binning (definition). In AFMB05H7A6/e1, definition 2
History
- 2026-10-29: add by m2/v0.4.10
J0VTXJRMJK J0VTXJRMJK
| URI | m2://inv/J0VTXJRMJK |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/axioms-systems/proofs-in-K.tex#proof-3 (proof). In PKGMM3P5QY, proof, section 50.8
History
- 2026-11-01: add by m2/v0.6.13
Cartan J0VVPNM4A6
| URI | m2://inv/J0VVPNM4A6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#thm-9, Cartan (statement). In VNMV985MXX, thm, section 1.5
History
- 2026-11-01: add by m2/v0.6.13
Proposition 5 J0VYDY0SWW
| URI | m2://inv/J0VYDY0SWW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Method of exhaustion#K4HB, Proposition 5 (statement)
History
- 2026-11-02: add by m2/dev
Applications J0W480D96Z
| URI | m2://inv/J0W480D96Z |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Deltoid curve#I8NA, Applications (example)
History
- 2026-11-02: add by m2/dev
Definition J0W88FBP63
| URI | m2://inv/J0W88FBP63 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quotient stack#NZ5Y, Definition (definition)
History
- 2026-11-02: add by m2/dev
example from Kelly's J0W953SBSV
| URI | m2://inv/J0W953SBSV |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 03-XX, 18-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2302.04566#HUV5, example from Kelly's (unknown). In 80S2NP05HJ/e1, unknown 2.1
History
- 2026-10-27: add by m2/v0.4.0
[] J0WFAWDCY0
| URI | m2://inv/J0WFAWDCY0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#BT3Q, [] (definition)
History
- 2026-11-02: add by m2/dev
non-negative integer J0WYT0GCTD
| URI | m2://inv/J0WYT0GCTD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q28920052, non-negative integer (unknown). Also MathWorld NonnegativeInteger, OEIS A001477
History
- 2026-10-26: add by m2/dev
J0X3WYGG85 J0X3WYGG85
| URI | m2://inv/J0X3WYGG85 |
|---|---|
| Kind | example |
| 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.00786#P8KH (example). In XKEE0DK6N3/e1, example 6.2
History
- 2026-10-29: add by m2/v0.4.12
J0X7SETNWN J0X7SETNWN
| URI | m2://inv/J0X7SETNWN |
|---|---|
| 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 1003.1817#AV36 (statement). In VCPT7BK80E/e1, proposition 3.1
History
- 2026-10-27: add by m2/v0.3.5
Examples J0XB2XKB3W
| URI | m2://inv/J0XB2XKB3W |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia B-admissible representation#I0VU, Examples (example)
History
- 2026-11-02: add by m2/dev
J0XPQ8ZV1Q J0XPQ8ZV1Q
| URI | m2://inv/J0XPQ8ZV1Q |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/linalg/eigenvalues.tex#problem-2 (exercise). In RZP28ERRZV, problem, section 58.8
History
- 2026-11-01: add by m2/v0.6.13
Less-than sign J0XQXN4XKD
| URI | m2://inv/J0XQXN4XKD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Less-than sign, Less-than sign (definition). Also Wikidata Q3490724
History
- 2026-11-02: add by m2/dev
J0XVEMM89J J0XVEMM89J
| URI | m2://inv/J0XVEMM89J |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 60-XX, 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27765#LFXG (example)
History
- 2026-11-01: add by m2/v0.6.15
Properties J0XVFGYJTK
| URI | m2://inv/J0XVFGYJTK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Joint entropy#UC5H, Properties (statement)
History
- 2026-11-02: add by m2/dev
J0XYZRHSDN J0XYZRHSDN
| URI | m2://inv/J0XYZRHSDN |
|---|---|
| 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 2507.05417#4CSC (definition). In RGHZ863Q26/e1, definition 3.9
History
- 2026-10-27: add by m2/v0.3.5
Algebraic poset J0Y2K7XTFV
| URI | m2://inv/J0Y2K7XTFV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Compact element#3DVV, Algebraic poset (unknown)
History
- 2026-11-02: add by m2/dev
J0Y7KSA87D J0Y7KSA87D
| URI | m2://inv/J0Y7KSA87D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15698#ZQ1C (statement). In 69GJX04N6M/e1, proposition 2.2
History
- 2026-10-28: add by m2/v0.4.2
J0Y8459SZZ J0Y8459SZZ
| URI | m2://inv/J0Y8459SZZ |
|---|---|
| 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.20775#4XT0 (statement). In XG27B81T0G/e1, proposition 3.4
History
- 2026-10-27: add by m2/v0.4.2
Closed cotangent block J0Y9H1AZ9C
| URI | m2://inv/J0Y9H1AZ9C |
|---|---|
| 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.02806#1GGJ, Closed cotangent block (statement). In F4A354Y5NC/e1, proposition 7.1
History
- 2026-10-29: add by m2/v0.4.12
Sobolev embedding theorem J0Y9NP6PM9
| URI | m2://inv/J0Y9NP6PM9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sobolev inequality#NYVE, Sobolev embedding theorem (statement)
History
- 2026-11-02: add by m2/dev
J0YBWR7NF1 J0YBWR7NF1
| URI | m2://inv/J0YBWR7NF1 |
|---|---|
| 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.39104#GLLE (statement). In V2NTW27MSJ/e1, lemma 2.7
History
- 2026-10-30: add by m2/v0.4.12
J0YNGRFBK0 J0YNGRFBK0
| URI | m2://inv/J0YNGRFBK0 |
|---|---|
| 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 2510.23812#A2VQ (statement). In D8XZBXJPR5/e1, proposition 4.2
History
- 2026-10-27: add by m2/v0.3.5
Example J0YT2Z9T2H
| URI | m2://inv/J0YT2Z9T2H |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Staged tree (mathematics)#RIX5, Example (example)
History
- 2026-11-02: add by m2/dev
J0YYAC5EK1 J0YYAC5EK1
| URI | m2://inv/J0YYAC5EK1 |
|---|---|
| Kind | statement |
| 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.14380#N27O (statement). In 2ZRQP063HP/e1, corollary 4.2
History
- 2026-10-28: add by m2/v0.4.2
Formal definition J0YZGQ7CP0
| URI | m2://inv/J0YZGQ7CP0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Grassmann number#LICU, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
Formulation J0Z0BGZJNT
| URI | m2://inv/J0Z0BGZJNT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Takagi existence theorem#PWTX, Formulation (definition)
History
- 2026-11-02: add by m2/dev
Seven Springs, North Carolina J0Z0PY1Q2M
| URI | m2://inv/J0Z0PY1Q2M |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#G9EZ, Seven Springs, North Carolina (unknown)
History
- 2026-11-02: add by m2/dev
J0Z34CG5HW J0Z34CG5HW
| URI | m2://inv/J0Z34CG5HW |
|---|---|
| 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.20480#DGWY (statement). In BK4359JSC3/e1, theorem 1.2
History
- 2026-10-27: add by m2/v0.4.2
J0ZA47VBAD J0ZA47VBAD
| URI | m2://inv/J0ZA47VBAD |
|---|---|
| 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.32599#RKGT (statement). In E1Y93JNBJA/e1, corollary
History
- 2026-10-31: add by m2/v0.5.6
SSL handshake J0ZA4NXE44
| URI | m2://inv/J0ZA4NXE44 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Transport Layer Security#OE69, SSL handshake (unknown)
History
- 2026-11-02: add by m2/dev
Applications J0ZARYNE42
| URI | m2://inv/J0ZARYNE42 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Meshedness coefficient#TEYS, Applications (example)
History
- 2026-11-02: add by m2/dev
Ternary Golay code J0ZJGN846M
| URI | m2://inv/J0ZJGN846M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic coding theory topics#JHUT, Ternary Golay code (definition)
History
- 2026-11-02: add by m2/dev
Examples J0ZJY2DZSZ
| URI | m2://inv/J0ZJY2DZSZ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Uncountable set#YDJX, Examples (example)
History
- 2026-11-02: add by m2/dev
J0ZMXR9TAN J0ZMXR9TAN
| URI | m2://inv/J0ZMXR9TAN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07292#7QYU (statement). In PZ17NHGAKX/e1, theorem 4
History
- 2026-10-29: add by m2/v0.4.10
J0ZQG5KE18 J0ZQG5KE18
| URI | m2://inv/J0ZQG5KE18 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 30-XX, 32-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 1804.05688#3SWU (statement). In M8F4PDHH3S/e1, proposition A.4
History
- 2026-10-27: add by m2/v0.3.5
J0ZYJ5M3QS J0ZYJ5M3QS
| URI | m2://inv/J0ZYJ5M3QS |
|---|---|
| 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 1512.06981#40C3 (statement). In X923ZEY423/e1, proposition 1.6.1
History
- 2026-10-27: add by m2/v0.3.5