Inventory rows JC
The cards of the rows of the inventory whose ids start with JC. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Olami–Feder–Christensen model JC06FZWR4K
| URI | m2://inv/JC06FZWR4K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Olami–Feder–Christensen model, Olami–Feder–Christensen model (definition). Also Wikidata Q3556930
History
- 2026-11-02: add by m2/dev
JC0DWRSAN9 JC0DWRSAN9
| URI | m2://inv/JC0DWRSAN9 |
|---|---|
| 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.10221#4REH (statement). In 9Z5M655EPV/e1, corollary 3.2
History
- 2026-10-29: add by m2/v0.4.10
William Henry Roever JC0HXZ2HRY
| URI | m2://inv/JC0HXZ2HRY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia William Henry Roever, William Henry Roever (topic). Also Wikidata Q47485061
History
- 2026-11-02: add by m2/dev
Hermite class JC0Y5R2XAT
| URI | m2://inv/JC0Y5R2XAT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Charles Hermite#JN8W, Hermite class (definition)
History
- 2026-11-02: add by m2/dev
JC0Z6MW9FG JC0Z6MW9FG
| URI | m2://inv/JC0Z6MW9FG |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21052#40BP (example)
History
- 2026-11-02: add by m2/v0.6.18
JC14MCC7ES JC14MCC7ES
| URI | m2://inv/JC14MCC7ES |
|---|---|
| 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.31269#1LF3 (example). In ZPT9XCCAPQ/e1, example 1.4.12
History
- 2026-10-31: add by m2/v0.5.6
JC177T54ZH JC177T54ZH
| URI | m2://inv/JC177T54ZH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 55-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21365#NILU (statement). In FCMMB2EVAP/e1, proposition 2.30
History
- 2026-10-27: add by m2/v0.4.2
JC1DD7K4XS JC1DD7K4XS
| URI | m2://inv/JC1DD7K4XS |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12108#B405 (definition). In JQH3FHYPW3/e1, definition 2.8
History
- 2026-10-28: add by m2/v0.4.2
derivation JC1K066CE0
| URI | m2://inv/JC1K066CE0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#GAMZ, derivation (definition)
History
- 2026-11-02: add by m2/dev
JC1N9XRBST JC1N9XRBST
| URI | m2://inv/JC1N9XRBST |
|---|---|
| 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 2507.05417#S996 (statement). In RGHZ863Q26/e1, lemma 3.19
History
- 2026-10-27: add by m2/v0.3.5
JC200F063G JC200F063G
| URI | m2://inv/JC200F063G |
|---|---|
| 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.21508#BPLX (statement)
History
- 2026-11-02: add by m2/v0.6.18
neutron mass JC20BYWB75
| URI | m2://inv/JC20BYWB75 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q98000454, neutron mass (definition). Also ProofWiki Definition:Neutron/Mass
History
- 2026-10-26: add by m2/dev
JC28EEZJCG JC28EEZJCG
| URI | m2://inv/JC28EEZJCG |
|---|---|
| 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 2210.02261#428G (statement). In TT74R659T0/e1, corollary 0.21
History
- 2026-10-27: add by m2/v0.3.5
Properties JC29B4PE45
| URI | m2://inv/JC29B4PE45 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Normal-inverse Gaussian distribution#CEBP, Properties (statement)
History
- 2026-11-02: add by m2/dev
Thomas Buscher JC301T7W11
| URI | m2://inv/JC301T7W11 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2422813, Thomas Buscher (unknown). Also nLab Thomas Buscher
History
- 2026-10-26: add by m2/dev
Spite JC348ESVDZ
| URI | m2://inv/JC348ESVDZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spite (game theory), Spite (definition). Also Wikidata Q7578284
History
- 2026-11-02: add by m2/dev
List of Hungarian mathematicians JC34A6N888
| URI | m2://inv/JC34A6N888 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lists of mathematicians#IWPJ, List of Hungarian mathematicians (topic)
History
- 2026-11-02: add by m2/dev
The $A_-$ sector of $L^mR^m$ at prime $m$ JC3BCR18JZ
| URI | m2://inv/JC3BCR18JZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18512#PRFR, The $A_-$ sector of $L^mR^m$ at prime $m$ (statement). In 11JNM66Z09/e1, theorem 18.1
History
- 2026-10-28: add by m2/v0.4.2
Properties JC3E5A6QDA
| URI | m2://inv/JC3E5A6QDA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inverse-gamma distribution#AKU4, Properties (statement)
History
- 2026-11-02: add by m2/dev
Khachatur Khachatryan JC3JC4P9J0
| URI | m2://inv/JC3JC4P9J0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Khachatur Khachatryan, Khachatur Khachatryan (topic). Also Wikidata Q64438316
History
- 2026-11-02: add by m2/dev
JC3K4Z1Y63 JC3K4Z1Y63
| URI | m2://inv/JC3K4Z1Y63 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section7-2.xml#activity-3 (exercise). In 649HGZKE96, activity, section 7.2.3
History
- 2026-11-01: add by m2/v0.6.13
Holomorphic extension of the anisotropic Epstein zeta function JC3P1BB2QZ
| URI | m2://inv/JC3P1BB2QZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.28282#5DUU, Holomorphic extension of the anisotropic Epstein zeta function (statement)
History
- 2026-11-01: add by m2/v0.6.15
JC3QZKSVTX JC3QZKSVTX
| URI | m2://inv/JC3QZKSVTX |
|---|---|
| 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.36113#DORS (statement). In FSGSVD0XYH/e1, proposition 5
History
- 2026-10-30: add by m2/v0.4.12
JC40W7E3WF JC40W7E3WF
| URI | m2://inv/JC40W7E3WF |
|---|---|
| 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#AX54 (statement). In 6KR7Z5ETRY/e1, lemma 2.6
History
- 2026-10-27: add by m2/v0.3.5
Use JC41VFY6D3
| URI | m2://inv/JC41VFY6D3 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Process window index#IREE, Use (example)
History
- 2026-11-02: add by m2/dev
Special cases JC45BAHS4Y
| URI | m2://inv/JC45BAHS4Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stable distribution#4SMJ, Special cases (statement)
History
- 2026-11-02: add by m2/dev
JC48WJ0CMZ JC48WJ0CMZ
| URI | m2://inv/JC48WJ0CMZ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/9602216#LXCV (definition). In SD43497T8C/e1, definition 1.29
History
- 2026-10-27: add by m2/v0.3.5
JC4ECKQBHH JC4ECKQBHH
| URI | m2://inv/JC4ECKQBHH |
|---|---|
| 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.06707#KIKG (statement). In 9TR5E527P5/e1, theorem 2.6
History
- 2026-10-29: add by m2/v0.4.10
Van der Corput sequence JC4KRAK735
| URI | m2://inv/JC4KRAK735 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q650859, Van der Corput sequence (concept). Also MathWorld vanderCorputSequence
History
- 2026-10-26: add by m2/dev
Timeline of women in mathematics in the United States JC502W4FGD
| URI | m2://inv/JC502W4FGD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Timeline of women in mathematics in the United States, Timeline of women in mathematics in the United States (topic). Also Wikidata Q17017718
History
- 2026-11-02: add by m2/dev
JC5318HEVG JC5318HEVG
| URI | m2://inv/JC5318HEVG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06321#NLTJ (statement). In PGV1116XX4/e1, lemma 5.4
History
- 2026-10-29: add by m2/v0.4.10
Recursive partitioning JC55SSPZ9P
| URI | m2://inv/JC55SSPZ9P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Recursive partitioning, Recursive partitioning (definition). Also Wikidata Q7303350
History
- 2026-11-02: add by m2/dev
Construction JC567WGA8T
| URI | m2://inv/JC567WGA8T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Presentation of a monoid#ETI9, Construction (definition)
History
- 2026-11-02: add by m2/dev
JC59JC7K50 JC59JC7K50
| URI | m2://inv/JC59JC7K50 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 03-XX, 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28742#3VJD (example)
History
- 2026-11-01: add by m2/v0.6.15
Solid mechanics JC59T52K6Z
| URI | m2://inv/JC59T52K6Z |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Solid mechanics, Solid mechanics (topic). Also Wikidata Q1080293
History
- 2026-11-02: add by m2/dev
JC5BAP3KGP JC5BAP3KGP
| URI | m2://inv/JC5BAP3KGP |
|---|---|
| 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.26650#WTGQ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Partition function (statistical mechanics) JC5H5EQVBW
| URI | m2://inv/JC5H5EQVBW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of partition topics#R6T0, Partition function (statistical mechanics) (definition)
History
- 2026-11-02: add by m2/dev
Conic constant JC6097RB8Y
| URI | m2://inv/JC6097RB8Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conic constant, Conic constant (definition). Also Wikidata Q1423258
History
- 2026-11-02: add by m2/dev
JC68A9BD6F JC68A9BD6F
| URI | m2://inv/JC68A9BD6F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2309.16041#8BO2 (statement). In 2GD6NWJVRM/e1, theorem 1.1
History
- 2026-10-27: add by m2/v0.3.5
Existence of equilibrium pairs JC6K5RVRV8
| URI | m2://inv/JC6K5RVRV8 |
|---|---|
| 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.25915#V3ZC, Existence of equilibrium pairs (statement)
History
- 2026-11-01: add by m2/v0.6.15
JC6PK7NDXC JC6PK7NDXC
| URI | m2://inv/JC6PK7NDXC |
|---|---|
| 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#ER8T (statement). In 69GJX04N6M/e1, proposition 2.5
History
- 2026-10-28: add by m2/v0.4.2
Hybrid Monte Carlo JC6R0QGQJQ
| URI | m2://inv/JC6R0QGQJQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#YWS1, Hybrid Monte Carlo (definition)
History
- 2026-11-02: add by m2/dev
η-extendible JC6TZD828V
| URI | m2://inv/JC6TZD828V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of large cardinal properties#WHE5, η-extendible (definition)
History
- 2026-11-02: add by m2/dev
Medical applications of big data JC6VCW2Y4A
| URI | m2://inv/JC6VCW2Y4A |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Big data#HYYA, Medical applications of big data (unknown)
History
- 2026-11-02: add by m2/dev
Anthony W. Knapp JC6XTNC09J
| URI | m2://inv/JC6XTNC09J |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#0XME, Anthony W. Knapp (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#PS63, Anthony W. Knapp (topic)
History
- 2026-11-02: add by m2/dev
Observable chaos JC73KRN43A
| URI | m2://inv/JC73KRN43A |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia James A. Yorke#36D6, Observable chaos (unknown)
History
- 2026-11-02: add by m2/dev
Theorem (Fourier coefficients of Maass forms) JC7619HF0Y
| URI | m2://inv/JC7619HF0Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Maass wave form#0H5C, Theorem (Fourier coefficients of Maass forms) (statement)
History
- 2026-11-02: add by m2/dev
Example JC794DFBYX
| URI | m2://inv/JC794DFBYX |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spline wavelet#6JRI, Example (example)
History
- 2026-11-02: add by m2/dev
JC7JT25ZTT JC7JT25ZTT
| URI | m2://inv/JC7JT25ZTT |
|---|---|
| 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 1810.06028#BZV4 (statement). In ZPFHH6YJG3/e1, lemma 4.7
History
- 2026-10-27: add by m2/v0.3.5
Example 1 JC7N409ETF
| URI | m2://inv/JC7N409ETF |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Boolean algebras canonically defined#GSKR, Example 1 (example)
History
- 2026-11-02: add by m2/dev
Möbius function JC7W9WV2AA
| URI | m2://inv/JC7W9WV2AA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of number theory topics#B9XJ, Möbius function (definition)
History
- 2026-11-02: add by m2/dev
Shapley–Folkman theorem JC820DTZ1T
| URI | m2://inv/JC820DTZ1T |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shapley–Folkman lemma#KV0J, Shapley–Folkman theorem (statement)
History
- 2026-11-02: add by m2/dev
Rebecca DerSimonian JC86WS3NVN
| URI | m2://inv/JC86WS3NVN |
|---|---|
| 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#FAS1, Rebecca DerSimonian (unknown)
History
- 2026-11-02: add by m2/dev
class field theory JC87Q8GDMA
| URI | m2://inv/JC87Q8GDMA |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 11R37 |
| Sources | 2 |
| Outcome | open |
| Node | Class field theory BEKCEYHCHX |
Mentions
- wikidata: Wikidata Q1744580, class field theory (topic). Also nLab class field theory
- wikipedia: Wikipedia Class field theory, Class field theory (topic). Also Wikidata Q1744580
History
- 2026-10-26: add by m2/dev
Network automaton JC8DVGDB06
| URI | m2://inv/JC8DVGDB06 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Network automaton, Network automaton (definition). Also Wikidata Q9195935
History
- 2026-11-02: add by m2/dev
The Green formula JC8DXBXFRH
| URI | m2://inv/JC8DXBXFRH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Green measure#JI08, The Green formula (statement)
History
- 2026-11-02: add by m2/dev
Feature quotient JC8K7YJQDA
| URI | m2://inv/JC8K7YJQDA |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26262#SBCT, Feature quotient (definition)
History
- 2026-11-01: add by m2/v0.6.15
Alonzo Church JC8PQYYHEJ
| URI | m2://inv/JC8PQYYHEJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical logic topics#QUDX, Alonzo Church (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#G2EF, Alonzo Church (topic)
History
- 2026-11-02: add by m2/dev
Infra-exponential JC8PSB2ZMZ
| URI | m2://inv/JC8PSB2ZMZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Infra-exponential, Infra-exponential (definition). Also Wikidata Q6031403
History
- 2026-11-02: add by m2/dev
The identity without a root set JC8T3B4ATD
| URI | m2://inv/JC8T3B4ATD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13063#39UE, The identity without a root set (statement). In R5AFFWBMAF/e1, proposition C.3
History
- 2026-10-28: add by m2/v0.4.2
Maier's matrix method JC8W82TQBF
| URI | m2://inv/JC8W82TQBF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Maier's matrix method, Maier's matrix method (definition). Also Wikidata Q17098084
History
- 2026-11-02: add by m2/dev
Closed form of the phase JC953H7QC4
| URI | m2://inv/JC953H7QC4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07905#MAAN, Closed form of the phase (statement). In 88GEN3Z5VG/e1, lemma 7.7
History
- 2026-10-29: add by m2/v0.4.10
Path connected space JC97Y8668F
| URI | m2://inv/JC97Y8668F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of general topology topics#BE74, Path connected space (definition)
History
- 2026-11-02: add by m2/dev
Aalen, Odd Olai JC9863BF4S
| URI | m2://inv/JC9863BF4S |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#7Q4Z, Aalen, Odd Olai (topic)
History
- 2026-11-02: add by m2/dev
JC99B3XBCX JC99B3XBCX
| URI | m2://inv/JC99B3XBCX |
|---|---|
| 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.22338#WYJV (statement)
History
- 2026-11-02: add by m2/v0.6.17
triangle center JC9PJYBJ7E
| URI | m2://inv/JC9PJYBJ7E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Triangle center WRKFH25NCX |
Mentions
- wikidata: Wikidata Q778806, triangle center (unknown). Also MathWorld TriangleCenter
- wikipedia: Wikipedia Triangle center, Triangle center (definition). Also Wikidata Q778806
History
- 2026-10-26: add by m2/dev
JC9SBYGC7N JC9SBYGC7N
| URI | m2://inv/JC9SBYGC7N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05784#IHHF (statement). In 6NVP3YRWVA/e1, theorem 2.18
History
- 2026-10-29: add by m2/v0.4.10
Uses JC9SJS5KZA
| URI | m2://inv/JC9SJS5KZA |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Triple bar#W06W, Uses (example)
History
- 2026-11-02: add by m2/dev
JC9SN644XC JC9SN644XC
| URI | m2://inv/JC9SN644XC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06669#PXPI (statement). In YXD3950ZXR/e1, theorem 3.7
History
- 2026-10-29: add by m2/v0.4.10
Upper Bound on the Sum JCA2C31XQG
| URI | m2://inv/JCA2C31XQG |
|---|---|
| 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.07671#IG05, Upper Bound on the Sum (statement). In XHHBGCVG90/e1, lemma 5.2.1
History
- 2026-10-29: add by m2/v0.4.10
$N=6$, $m=8$ JCA2CFKW1D
| URI | m2://inv/JCA2CFKW1D |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36088#NMSK, $N=6$, $m=8$ (example). In QJD3MZMJHW/e1, example 4.5
History
- 2026-10-30: add by m2/v0.4.12
Euler pseudoprime JCAG1HRFGQ
| URI | m2://inv/JCAG1HRFGQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topics named after Leonhard Euler#21LU, Euler pseudoprime (definition)
History
- 2026-11-02: add by m2/dev
Course of Theoretical Physics Volume 3 - Quantum Mechanics: Non-Relativistic Theory JCAHGZBJHZ
| URI | m2://inv/JCAHGZBJHZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of textbooks on classical mechanics and quantum mechanics#6AB5, Course of Theoretical Physics Volume 3 - Quantum Mechanics: Non-Relativistic Theory (unknown)
History
- 2026-11-02: add by m2/dev
Euler's pump and turbine equation JCASCQB1NH
| URI | m2://inv/JCASCQB1NH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topics named after Leonhard Euler#4TXA, Euler's pump and turbine equation (unknown)
History
- 2026-11-02: add by m2/dev
JCB5S7FJNZ JCB5S7FJNZ
| URI | m2://inv/JCB5S7FJNZ |
|---|---|
| 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.13833#A5VD (statement). In VD4JP4HVBX/e1, proposition 6.14
History
- 2026-10-28: add by m2/v0.4.2
Separation axioms JCB7P4C8QJ
| URI | m2://inv/JCB7P4C8QJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Finite topological space#Y18F, Separation axioms (statement)
History
- 2026-11-02: add by m2/dev
Joseph Taylor JCBA58JMDA
| URI | m2://inv/JCBA58JMDA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of contributors to general relativity#J300, Joseph Taylor (unknown)
History
- 2026-11-02: add by m2/dev
Linear Algebra and Its Applications JCBDMXDZ1B
| URI | m2://inv/JCBDMXDZ1B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linear Algebra and Its Applications, Linear Algebra and Its Applications (definition). Also Wikidata Q13360000
History
- 2026-11-02: add by m2/dev
JCBEN13K06 JCBEN13K06
| URI | m2://inv/JCBEN13K06 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25060#54J3 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Ten Mile Township, Miami County, Kansas JCBF2GR4KT
| URI | m2://inv/JCBF2GR4KT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#D6EI, Ten Mile Township, Miami County, Kansas (unknown)
History
- 2026-11-02: add by m2/dev
Examples JCBFE2YZ3A
| URI | m2://inv/JCBFE2YZ3A |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Confusion of the inverse#KR2M, Examples (example)
History
- 2026-11-02: add by m2/dev
JCBJKSREG7 JCBJKSREG7
| URI | m2://inv/JCBJKSREG7 |
|---|---|
| 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.30895#POPG (statement). In B8D26BYA7T/e1, theorem 3
History
- 2026-10-31: add by m2/v0.5.6
Excavated dodecahedron JCBPFNQ3KQ
| URI | m2://inv/JCBPFNQ3KQ |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of regular polytopes#E3HB, Excavated dodecahedron (object)
History
- 2026-11-02: add by m2/dev
Homomorphic encryption JCBPZT80PD
| URI | m2://inv/JCBPZT80PD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Homomorphic encryption, Homomorphic encryption (definition). Also Wikidata Q2154943
History
- 2026-11-02: add by m2/dev
JCBTY0KFBP JCBTY0KFBP
| URI | m2://inv/JCBTY0KFBP |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-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.05914#MXKS (definition). In V8MYP6MBAZ/e1, definition 2
History
- 2026-10-29: add by m2/v0.4.10
JCC27K5018 JCC27K5018
| URI | m2://inv/JCC27K5018 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16123#7TRQ (statement). In 6VR4TY5BGV/e1, lemma 3.1
History
- 2026-10-28: add by m2/v0.4.2
JCC37P60G3 JCC37P60G3
| URI | m2://inv/JCC37P60G3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21692#C8WF (statement)
History
- 2026-11-02: add by m2/v0.6.18
JCC8P2Q69S JCC8P2Q69S
| URI | m2://inv/JCC8P2Q69S |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/syntax-and-semantics/satisfaction.tex#prob-2 (exercise). In PKGMM3P5QY, prob, section 19.14
History
- 2026-11-01: add by m2/v0.6.13
Applications JCCATXWNZE
| URI | m2://inv/JCCATXWNZE |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tetrahedron#R8PR, Applications (example)
History
- 2026-11-02: add by m2/dev
No endpoint-regular reference JCCBBRVGDX
| URI | m2://inv/JCCBBRVGDX |
|---|---|
| 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.27250#GCID, No endpoint-regular reference (statement)
History
- 2026-11-01: add by m2/v0.6.15
JCCMSE0XAH JCCMSE0XAH
| URI | m2://inv/JCCMSE0XAH |
|---|---|
| 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.18709#SHO6 (statement). In K7VY50VFK6/e1, corollary 1.2
History
- 2026-10-28: add by m2/v0.4.2
Gu Chaohao JCCWHRZFZK
| URI | m2://inv/JCCWHRZFZK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Chinese mathematicians#17AK, Gu Chaohao (unknown)
History
- 2026-11-02: add by m2/dev
Example of a finite subcover JCCX2P2V1Z
| URI | m2://inv/JCCX2P2V1Z |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/compactness.tex#example-4, Example of a finite subcover (example). In RZP28ERRZV, example, section 95.3
History
- 2026-11-01: add by m2/v0.6.13
polynomial powers of the model norm JCD3VJWG4R
| URI | m2://inv/JCD3VJWG4R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26286#JR8K, polynomial powers of the model norm (statement)
History
- 2026-11-01: add by m2/v0.6.15
JCDBG3K38C JCDBG3K38C
| URI | m2://inv/JCDBG3K38C |
|---|---|
| Kind | conjecture |
| 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.35740#8UBZ (conjecture). In N7C6C0QGJM/e1, conjecture 3.7
History
- 2026-10-30: add by m2/v0.4.12
Data analysis JCDEHDVJ46
| URI | m2://inv/JCDEHDVJ46 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#IB9A, Data analysis (definition)
History
- 2026-11-02: add by m2/dev
Ernst Leonard Lindelöf JCDFVQCBQ6
| URI | m2://inv/JCDFVQCBQ6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q924443, Ernst Leonard Lindelöf (unknown). Also nLab Ernst Leonard Lindelöf, ProofWiki Mathematician:Ernst_Leonard_Lindelöf
- wikipedia: Wikipedia Ernst Leonard Lindelöf, Ernst Leonard Lindelöf (topic). Also Wikidata Q924443
History
- 2026-10-26: add by m2/dev
JCDSVDVN7Y JCDSVDVN7Y
| URI | m2://inv/JCDSVDVN7Y |
|---|---|
| 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.07114#VFUJ (statement). In HP3TM356J6/e1, lemma 10
History
- 2026-10-29: add by m2/v0.4.10
JCDSYW11D6 JCDSYW11D6
| URI | m2://inv/JCDSYW11D6 |
|---|---|
| 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.24008#BD16 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Probable error JCDYDJBGTG
| URI | m2://inv/JCDYDJBGTG |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7246885, Probable error (concept). Also MathWorld ProbableError
- wikipedia: Wikipedia Probable error, Probable error (definition). Also Wikidata Q7246885
History
- 2026-10-26: add by m2/dev
network flow JCE240PWW7
| URI | m2://inv/JCE240PWW7 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/13.1/network-flow, network flow (concept). In QKM9DD2H56, index, section 13.1
History
- 2026-11-01: add by m2/v0.6.13
JCE3HCFP45 JCE3HCFP45
| URI | m2://inv/JCE3HCFP45 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/bezout.tex#example-4 (example). In RZP28ERRZV, example, section 20.3
History
- 2026-11-01: add by m2/v0.6.13
Notation JCE5E4QVJZ
| URI | m2://inv/JCE5E4QVJZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Field of definition#XPVO, Notation (definition)
History
- 2026-11-02: add by m2/dev
JCE76FZT6C JCE76FZT6C
| URI | m2://inv/JCE76FZT6C |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22074#5JO0 (definition). In F3BKXXPR3K/e1, definition 3.12
History
- 2026-10-27: add by m2/v0.4.2
JCEDW7HH82 JCEDW7HH82
| URI | m2://inv/JCEDW7HH82 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 20-XX, 57-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09333#IJDA (definition). In Z9HC1EDTQP/e1, definition 3.1
History
- 2026-10-29: add by m2/v0.4.10
Examples JCENEJGXM9
| URI | m2://inv/JCENEJGXM9 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Engineering statistics#1AQS, Examples (example)
History
- 2026-11-02: add by m2/dev
Hubble's law and the expansion of the universe JCEPF7QJ1N
| URI | m2://inv/JCEPF7QJ1N |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Big Bang#HICT, Hubble's law and the expansion of the universe (statement)
History
- 2026-11-02: add by m2/dev
Definitions JCEZHV3RHN
| URI | m2://inv/JCEZHV3RHN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orthogonality (mathematics)#6GBU, Definitions (definition)
History
- 2026-11-02: add by m2/dev
JCFJTVBQ9G JCFJTVBQ9G
| URI | m2://inv/JCFJTVBQ9G |
|---|---|
| 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.07401#0DDW (statement). In FQ5435B36D/e1, proposition 5.2
History
- 2026-10-29: add by m2/v0.4.10
Emulation of the Darcy solution operator on $\TT^d$ JCFK9202VH
| URI | m2://inv/JCFK9202VH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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.20106#ODSN, Emulation of the Darcy solution operator on $\TT^d$ (statement). In 6HMZ36ZBXA/e1, theorem 1.7
History
- 2026-10-27: add by m2/v0.4.2
JCFWSSXWGH JCFWSSXWGH
| URI | m2://inv/JCFWSSXWGH |
|---|---|
| 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.05646#5E4N (statement). In K7Z6TZDFYK/e1, theorem 1.1
History
- 2026-10-29: add by m2/v0.4.10
Data processing inequality JCG1E00651
| URI | m2://inv/JCG1E00651 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Data processing inequality, Data processing inequality (statement). Also Wikidata Q20707568
History
- 2026-11-02: add by m2/dev
non-standard model JCG1ZDRMA8
| URI | m2://inv/JCG1ZDRMA8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#HQMU, non-standard model (definition)
History
- 2026-11-02: add by m2/dev
JCG4431YY2 JCG4431YY2
| URI | m2://inv/JCG4431YY2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 37-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18929#5Y3B (statement). In ZRJ2DZT6P1/e1, lemma 3.2
History
- 2026-10-28: add by m2/v0.4.2
JCG64NHYG9 JCG64NHYG9
| URI | m2://inv/JCG64NHYG9 |
|---|---|
| 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.13670#KBRV (statement). In 4PGTZ19B26/e1, lemma 6.2
History
- 2026-10-28: add by m2/v0.4.2
JCG70VCG12 JCG70VCG12
| URI | m2://inv/JCG70VCG12 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09314#LJM8 (statement). In Z04N0B3R0V/e1, proposition 3.15
History
- 2026-10-29: add by m2/v0.4.10
CLT centered at empirical adversarial risk JCG8YV7Z2X
| URI | m2://inv/JCG8YV7Z2X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22240#HUH7, CLT centered at empirical adversarial risk (statement)
History
- 2026-11-02: add by m2/v0.6.17
Statement JCGATRADHK
| URI | m2://inv/JCGATRADHK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Looman–Menchoff theorem#NKVV, Statement (statement)
History
- 2026-11-02: add by m2/dev
JCGE0BG43A JCGE0BG43A
| URI | m2://inv/JCGE0BG43A |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/logic-proofs.ptx#exercise-1 (exercise). In Y91XFCEVHQ, exercise, section 4.2
History
- 2026-11-01: add by m2/v0.6.13
Trajectory optimization JCGNNWMV38
| URI | m2://inv/JCGNNWMV38 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trajectory optimization, Trajectory optimization (definition). Also Wikidata Q7833062
History
- 2026-11-02: add by m2/dev
Turán number JCGS7X7GBP
| URI | m2://inv/JCGS7X7GBP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Turán number, Turán number (definition). Also Wikidata Q7856597
History
- 2026-11-02: add by m2/dev
Subtangent JCH0GYS00T
| URI | m2://inv/JCH0GYS00T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of curves topics#X8HN, Subtangent (definition)
History
- 2026-11-02: add by m2/dev
Terms and atomic formulas JCH6YXS42H
| URI | m2://inv/JCH6YXS42H |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Independence-friendly logic#MUYH, Terms and atomic formulas (statement)
History
- 2026-11-02: add by m2/dev
JCH90SGN0M JCH90SGN0M
| URI | m2://inv/JCH90SGN0M |
|---|---|
| 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.32860#SQ6Z (statement). In H71AJ341B3/e1, lemma 6.7
History
- 2026-10-31: add by m2/v0.5.6
From formula mathematics to tensors JCHC1Q9PJT
| URI | m2://inv/JCHC1Q9PJT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia History of mathematical notation#6M5O, From formula mathematics to tensors (statement)
History
- 2026-11-02: add by m2/dev
Modus non excipiens JCHN40G4PX
| URI | m2://inv/JCHN40G4PX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Modus non excipiens, Modus non excipiens (definition). Also Wikidata Q16979306
History
- 2026-11-02: add by m2/dev
Finite-mode regularity from a dual \(L^2\) derivative JCHQYDQWC8
| URI | m2://inv/JCHQYDQWC8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33033#G5WA, Finite-mode regularity from a dual \(L^2\) derivative (statement). In AJWBAHJ8VD/e1, proposition 6.4
History
- 2026-10-31: add by m2/v0.5.6
JCJ1191BBV JCJ1191BBV
| URI | m2://inv/JCJ1191BBV |
|---|---|
| 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.12169#BGKQ (statement). In 645GF9SFWM/e1, lemma 28
History
- 2026-10-28: add by m2/v0.4.2
Shafarevich's theorem on solvable Galois groups JCJ9Y2SX66
| URI | m2://inv/JCJ9Y2SX66 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shafarevich's theorem on solvable Galois groups, Shafarevich's theorem on solvable Galois groups (statement). Also Wikidata Q25099357
History
- 2026-11-02: add by m2/dev
Grothendieck inequality JCJW1B8S3J
| URI | m2://inv/JCJW1B8S3J |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Grothendieck inequality NX8AMNXWG8 |
Mentions
- wikidata: Wikidata Q5610731, Grothendieck inequality (statement). Also MathWorld GrothendiecksConstant, nLab Grothendieck inequality
- wikipedia: Wikipedia Grothendieck inequality, Grothendieck inequality (statement). Also Wikidata Q5610731
History
- 2026-10-26: add by m2/dev
JCJYGZ7Y6M JCJYGZ7Y6M
| URI | m2://inv/JCJYGZ7Y6M |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Balanced prime#4I80 (problem)
History
- 2026-11-02: add by m2/dev
JCK8FAGTFZ JCK8FAGTFZ
| URI | m2://inv/JCK8FAGTFZ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section5-1.xml#activity-3 (exercise). In 649HGZKE96, activity, section 5.1.3
History
- 2026-11-01: add by m2/v0.6.13
Reduced algebraicity and degree JCK9EYXH1Q
| URI | m2://inv/JCK9EYXH1Q |
|---|---|
| Kind | conjecture |
| 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.31189#RTV9, Reduced algebraicity and degree (conjecture). In 2D061MTT04/e1, conjecture 10.1
History
- 2026-10-31: add by m2/v0.5.6
JCKBEN0G1T JCKBEN0G1T
| URI | m2://inv/JCKBEN0G1T |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2405.02275#4YO7 (definition). In 1QXCNGRWV1/e1, definition 2.4
History
- 2026-10-27: add by m2/v0.3.5
JCKDCKD862 JCKDCKD862
| URI | m2://inv/JCKDCKD862 |
|---|---|
| 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.07114#IUUM (statement). In HP3TM356J6/e1, proposition 7
History
- 2026-10-29: add by m2/v0.4.10
JCKDNMA3E9 JCKDNMA3E9
| URI | m2://inv/JCKDNMA3E9 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia PSPACE#IRZ8 (problem)
History
- 2026-11-02: add by m2/dev
Multidimensional transform JCKTJV6ZX8
| URI | m2://inv/JCKTJV6ZX8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multidimensional transform, Multidimensional transform (definition). Also Wikidata Q17099178
History
- 2026-11-02: add by m2/dev
JCKX2MXJNV JCKX2MXJNV
| URI | m2://inv/JCKX2MXJNV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section3-2.xml#proposition-1 (statement). In 649HGZKE96, proposition, section 3.2.2
History
- 2026-11-01: add by m2/v0.6.13
Anne Watson JCM1ZPYN1W
| URI | m2://inv/JCM1ZPYN1W |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Anne Watson (mathematics educator), Anne Watson (topic). Also Wikidata Q57915263
History
- 2026-11-02: add by m2/dev
Bitap algorithm JCM4EYR7DP
| URI | m2://inv/JCM4EYR7DP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#EZ7J, Bitap algorithm (unknown)
History
- 2026-11-02: add by m2/dev
JCM7ZSACG6 JCM7ZSACG6
| URI | m2://inv/JCM7ZSACG6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 37-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13100#VAJ9 (statement). In CC6S1HVK0T/e1, lemma 9.2
History
- 2026-10-28: add by m2/v0.4.2
JCMCMG8YYP JCMCMG8YYP
| URI | m2://inv/JCMCMG8YYP |
|---|---|
| Kind | exercise |
| 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#prob-1 (exercise). In PKGMM3P5QY, prob, section 83.4
History
- 2026-11-01: add by m2/v0.6.13
coherent JCMEXJVVJM
| URI | m2://inv/JCMEXJVVJM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of module theory#HV18, coherent (definition)
History
- 2026-11-02: add by m2/dev
JCMGMXAGH9 JCMGMXAGH9
| URI | m2://inv/JCMGMXAGH9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21632#RILK (statement). In Q4RZTN2EX6/e1, lemma 3.5
History
- 2026-10-27: add by m2/v0.4.2
discrete spaces are 0-manifolds JCMGY4WWMQ
| URI | m2://inv/JCMGY4WWMQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Geometry > Differentiable manifolds > discrete spaces are 0-manifolds, discrete spaces are 0-manifolds (unknown). Also Mathlib IsManifold.of_discreteTopology
History
- 2026-10-26: add by m2/dev
JCMQCZGPF3 JCMQCZGPF3
| URI | m2://inv/JCMQCZGPF3 |
|---|---|
| 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.10773#0P6U (statement). In 744Y8ZPEV7/e1, theorem 5.2
History
- 2026-10-28: add by m2/v0.4.3
JCMT3H2JGY JCMT3H2JGY
| URI | m2://inv/JCMT3H2JGY |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book homotopy.tex#ex:SuperHopf (exercise). In N54F33XE07, ex, section 7.10
History
- 2026-11-01: add by m2/v0.6.13
Continuous optimization JCMVX8831K
| URI | m2://inv/JCMVX8831K |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#PEKX, Continuous optimization (topic)
History
- 2026-11-02: add by m2/dev
JCMW427HMR JCMW427HMR
| URI | m2://inv/JCMW427HMR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18101#XXNH (statement). In XXN6KKXPYF/e1, lemma 9.8
History
- 2026-10-28: add by m2/v0.4.2
JCMYD9H5QE JCMYD9H5QE
| URI | m2://inv/JCMYD9H5QE |
|---|---|
| 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#OEG2 (statement). In 6F3GSDT2V1/e1, theorem 2.4
History
- 2026-10-29: add by m2/v0.4.10
JCN5T1J103 JCN5T1J103
| URI | m2://inv/JCN5T1J103 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book hits.tex#proof-3 (proof). In N54F33XE07, proof, section 5.2
History
- 2026-11-01: add by m2/v0.6.13
Proof using covers JCNCT3GKFE
| URI | m2://inv/JCNCT3GKFE |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/compactness.tex#proof-4, Proof using covers (proof). In RZP28ERRZV, proof, section 95.4
History
- 2026-11-01: add by m2/v0.6.13
Sobolev regularity preservation along geodesics JCNJH2GV9Z
| URI | m2://inv/JCNJH2GV9Z |
|---|---|
| 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 2410.06788#UJ44, Sobolev regularity preservation along geodesics (statement). In B2VE3JQZD3/e1, theorem 2
History
- 2026-10-27: add by m2/v0.3.5
JCNKC4QZPT JCNKC4QZPT
| URI | m2://inv/JCNKC4QZPT |
|---|---|
| Kind | example |
| 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.30067#BWG1 (example)
History
- 2026-11-01: add by m2/v0.6.15
Cone-shape distribution function JCNPQAJ7YC
| URI | m2://inv/JCNPQAJ7YC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cone-shape distribution function, Cone-shape distribution function (definition). Also Wikidata Q5159443
History
- 2026-11-02: add by m2/dev
JCNQNNNTWF JCNQNNNTWF
| URI | m2://inv/JCNQNNNTWF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40345#UJCA (statement). In WK0PT95WW1/e1, proposition 5.11
History
- 2026-10-30: add by m2/v0.4.12
Theorem (Salem–Zygmund) JCNRH56NJY
| URI | m2://inv/JCNRH56NJY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Central limit theorem#FFQB, Theorem (Salem–Zygmund) (statement)
History
- 2026-11-02: add by m2/dev
JCNSFPQT1C JCNSFPQT1C
| URI | m2://inv/JCNSFPQT1C |
|---|---|
| Kind | example |
| 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.34020#AXDD (example). In DAMYG8BFAK/e1, example 4.24
History
- 2026-10-30: add by m2/v0.4.12
JCP36BQAFH JCP36BQAFH
| URI | m2://inv/JCP36BQAFH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX, 81-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.04694#7CI3 (statement). In W9A0Z2NBMA/e1, proposition 28
History
- 2026-10-29: add by m2/v0.4.12
JCP6CFK58S JCP6CFK58S
| URI | m2://inv/JCP6CFK58S |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10325#T5CG (definition). In 66CDJ94PGW/e1, definition 2.2
History
- 2026-10-29: add by m2/v0.4.10
JCPBCWMGVK JCPBCWMGVK
| URI | m2://inv/JCPBCWMGVK |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/intro-statements.ptx#exercise-20 (exercise). In Y91XFCEVHQ, exercise, section 1.2
History
- 2026-11-01: add by m2/v0.6.13
Cantor JCPC332MA1
| URI | m2://inv/JCPC332MA1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#OT9M, Cantor (definition)
History
- 2026-11-02: add by m2/dev
Labish Village JCPHMSERYY
| URI | m2://inv/JCPHMSERYY |
|---|---|
| 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#OYJU, Labish Village (unknown)
History
- 2026-11-02: add by m2/dev
JCPPA9YZ0K JCPPA9YZ0K
| URI | m2://inv/JCPPA9YZ0K |
|---|---|
| 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#VDWH (statement). In E7W2HDNEKJ/e1, lemma 5.36
History
- 2026-10-30: add by m2/v0.4.12
\emph{Non-prioritized, dimension-wise comparison JCPTH8FAS2
| URI | m2://inv/JCPTH8FAS2 |
|---|---|
| Kind | example |
| 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 2601.13428#XJ8K, \emph{Non-prioritized, dimension-wise comparison (example). In SM4QEDZSS6/e1, example 1
History
- 2026-10-27: add by m2/v0.3.5
JCPVN2BQ8X JCPVN2BQ8X
| URI | m2://inv/JCPVN2BQ8X |
|---|---|
| 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.32651#XOPS (definition). In WFJXSE3VDT/e1, definition 2.2
History
- 2026-10-31: add by m2/v0.5.6
Hyperbolic secant distribution JCPZ6TXEYQ
| URI | m2://inv/JCPZ6TXEYQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hyperbolic secant distribution, Hyperbolic secant distribution (definition). Also Wikidata Q3258632
History
- 2026-11-02: add by m2/dev
Cauchy determinant JCQ1YT7DJ8
| URI | m2://inv/JCQ1YT7DJ8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q77975711, Cauchy determinant (definition). Also ProofWiki Definition:Cauchy_Determinant
History
- 2026-10-26: add by m2/dev
Open-local submersion descent JCQ4G6X7EQ
| URI | m2://inv/JCQ4G6X7EQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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.28220#YCD3, Open-local submersion descent (statement)
History
- 2026-11-01: add by m2/v0.6.15
JCQ882Q8XM JCQ882Q8XM
| URI | m2://inv/JCQ882Q8XM |
|---|---|
| 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.04758#ZVEA (statement). In DRWDJG2G3S/e1, lemma 4.3
History
- 2026-10-27: add by m2/v0.3.5
JCQAPM4PZR JCQAPM4PZR
| URI | m2://inv/JCQAPM4PZR |
|---|---|
| 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.11276#UV7I (statement). In KMTQRFFYZY/e1, lemma 2.4
History
- 2026-10-28: add by m2/v0.4.3
Trilinos JCQCRXWDZ1
| URI | m2://inv/JCQCRXWDZ1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of open-source software for mathematics#UCYQ, Trilinos (unknown)
History
- 2026-11-02: add by m2/dev
William Woolsey Johnson JCQS2QVX3J
| URI | m2://inv/JCQS2QVX3J |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia William Woolsey Johnson, William Woolsey Johnson (topic). Also Wikidata Q21982809
History
- 2026-11-02: add by m2/dev
JCQS705336 JCQS705336
| URI | m2://inv/JCQS705336 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-nonlin-systems.tex#exercise-35 (exercise). In E9HS8K3A52, exercise, section 8.4.1
History
- 2026-11-01: add by m2/v0.6.13
Generating sheaf JCQZDDX5EY
| URI | m2://inv/JCQZDDX5EY |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28203#55H3, Generating sheaf (definition)
History
- 2026-11-01: add by m2/v0.6.15
Arnold–Givental conjecture JCR1843H66
| URI | m2://inv/JCR1843H66 |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#Q9AT, Arnold–Givental conjecture (conjecture)
History
- 2026-11-02: add by m2/dev
Introduction to Commutative Algebra JCR3Z36Q0P
| URI | m2://inv/JCR3Z36Q0P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Introduction to Commutative Algebra, Introduction to Commutative Algebra (definition). Also Wikidata Q6058914
History
- 2026-11-02: add by m2/dev
List of Muslim mathematicians JCR5V9NBZ4
| URI | m2://inv/JCR5V9NBZ4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lists of mathematicians#X1FK, List of Muslim mathematicians (definition)
History
- 2026-11-02: add by m2/dev
JCR778HDVT JCR778HDVT
| URI | m2://inv/JCR778HDVT |
|---|---|
| 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 2609.21476#YESL (statement)
History
- 2026-11-02: add by m2/v0.6.18
JCR9PMCBVT JCR9PMCBVT
| URI | m2://inv/JCR9PMCBVT |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Snake-in-the-box#64C9 (problem)
History
- 2026-11-02: add by m2/dev
Prewellordering JCRCQAX63J
| URI | m2://inv/JCRCQAX63J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of order theory topics#QLK9, Prewellordering (definition)
History
- 2026-11-02: add by m2/dev
JCRJ8V5AEH JCRJ8V5AEH
| URI | m2://inv/JCRJ8V5AEH |
|---|---|
| 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 1002.0879#H064 (example). In M0SQY5EZN5/e1, example 2.3.4
History
- 2026-10-27: add by m2/v0.3.5
Applications JCRP8WJJF7
| URI | m2://inv/JCRP8WJJF7 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hypohamiltonian graph#WHEN, Applications (example)
History
- 2026-11-02: add by m2/dev
Shapley–Folkman–Starr theorem JCRT0EYBM5
| URI | m2://inv/JCRT0EYBM5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shapley–Folkman lemma#KST8, Shapley–Folkman–Starr theorem (statement)
History
- 2026-11-02: add by m2/dev
Strong approximation JCRWGPQRWB
| URI | m2://inv/JCRWGPQRWB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28028#HHSB, Strong approximation (statement)
History
- 2026-11-01: add by m2/v0.6.15
equivalence JCS0QKQVWQ
| URI | m2://inv/JCS0QKQVWQ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/1.10/equivalence, equivalence (concept). In N54F33XE07, index, section 1.10
History
- 2026-11-01: add by m2/v0.6.13
JCS16P09RZ JCS16P09RZ
| URI | m2://inv/JCS16P09RZ |
|---|---|
| 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.07180#U5Y0 (statement). In TM4H1RV0BQ/e1, theorem 4.4
History
- 2026-10-27: add by m2/v0.3.5
JCS269R5AV JCS269R5AV
| URI | m2://inv/JCS269R5AV |
|---|---|
| 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 2209.01576#VZ3E (statement). In EF0X4TKTR4/e1, theorem 2.6
History
- 2026-10-27: add by m2/v0.3.5
Frances Cave-Browne-Cave JCS2ACGB62
| URI | m2://inv/JCS2ACGB62 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Frances Cave-Browne-Cave, Frances Cave-Browne-Cave (topic). Also Wikidata Q15989892
History
- 2026-11-02: add by m2/dev
JCS445553P JCS445553P
| URI | m2://inv/JCS445553P |
|---|---|
| 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.17006#NE44 (statement). In YY81ZEJ82P/e1, lemma 2.1
History
- 2026-10-28: add by m2/v0.4.2
JCS77DWYBD JCS77DWYBD
| URI | m2://inv/JCS77DWYBD |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX, 49-XX, 51-XX, 52-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1904.08413#39VY (definition). In X88HPQ0W8C/e1, definition 2.11
History
- 2026-10-27: add by m2/v0.3.5
Furio Honsell JCS7PYRQF4
| URI | m2://inv/JCS7PYRQF4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Furio Honsell, Furio Honsell (topic). Also Wikidata Q3548127
History
- 2026-11-02: add by m2/dev
Bertrand's postulate JCSAQXWHRB
| URI | m2://inv/JCSAQXWHRB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after James Joseph Sylvester#Z8ME, Bertrand's postulate (definition)
History
- 2026-11-02: add by m2/dev
JCSB6EFCJ8 JCSB6EFCJ8
| URI | m2://inv/JCSB6EFCJ8 |
|---|---|
| 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.10233#HRN5 (statement). In QR9WE79ERQ/e1, lemma 4.4
History
- 2026-10-29: add by m2/v0.4.10
Green's theorem JCSBQ6PRHM
| URI | m2://inv/JCSBQ6PRHM |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv index/B/green-s-theorem, Green's theorem (concept). In VNMV985MXX, index, section B
History
- 2026-11-01: add by m2/v0.6.13
JCSHJGX01S JCSHJGX01S
| URI | m2://inv/JCSHJGX01S |
|---|---|
| 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 1907.01440#TTAZ (definition). In QDRYC6WJJ7/e1, definition 10
History
- 2026-10-27: add by m2/v0.3.5
Transport bound for a random displacement JCSJ3GV9XS
| URI | m2://inv/JCSJ3GV9XS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06308#EPRU, Transport bound for a random displacement (statement). In HTWSDDAWGS/e1, lemma B.5
History
- 2026-10-29: add by m2/v0.4.10
Returns to schooling JCSJHGAFZN
| URI | m2://inv/JCSJHGAFZN |
|---|---|
| Kind | example |
| 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.40156#R2I1, Returns to schooling (example). In PP8BEHWK33/e1, example 2
History
- 2026-10-30: add by m2/v0.4.12
Fermi gas JCSRZ98F7F
| URI | m2://inv/JCSRZ98F7F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fermi gas, Fermi gas (definition). Also Wikidata Q1072904
History
- 2026-11-02: add by m2/dev
JCT42FFJ67 JCT42FFJ67
| URI | m2://inv/JCT42FFJ67 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section2-3.xml#activity-intro-span (exercise). In 649HGZKE96, activity, section 2.3.2
History
- 2026-11-01: add by m2/v0.6.13
Admissible reciprocal theta pair JCT6F7XPSB
| URI | m2://inv/JCT6F7XPSB |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2501.09848#M1K9, Admissible reciprocal theta pair (definition). In HF7YNMW39N/e1, definition 11.3
History
- 2026-10-27: add by m2/v0.4.0
JCTCNPQC1G JCTCNPQC1G
| URI | m2://inv/JCTCNPQC1G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23822#LQ0H (statement)
History
- 2026-11-02: add by m2/v0.6.17
Conformal gauge JCTYZDMSM5
| URI | m2://inv/JCTYZDMSM5 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 51-XX, 52-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.25468#1TOZ, Conformal gauge (definition)
History
- 2026-11-01: add by m2/v0.6.15
Digital sculpting JCV01PANFS
| URI | m2://inv/JCV01PANFS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#Q2EH, Digital sculpting (unknown)
History
- 2026-11-02: add by m2/dev
JCV2VHX6BQ JCV2VHX6BQ
| URI | m2://inv/JCV2VHX6BQ |
|---|---|
| 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.12486#TEGC (statement). In CWQ2YHT24E/e1, lemma 6.4
History
- 2026-10-28: add by m2/v0.4.2
Body of constant brightness JCVAN0FBNF
| URI | m2://inv/JCVAN0FBNF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Body of constant brightness, Body of constant brightness (definition). Also Wikidata Q107087826
History
- 2026-11-02: add by m2/dev
Corollary JCVFF8PTB6
| URI | m2://inv/JCVFF8PTB6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hadamard's lemma#RG46, Corollary (statement)
History
- 2026-11-02: add by m2/dev
JCVG54M6VM JCVG54M6VM
| URI | m2://inv/JCVG54M6VM |
|---|---|
| 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.02870#WX45 (statement). In JJQQJ4KX94/e1, theorem 4.2
History
- 2026-10-29: add by m2/v0.4.12
JCVKHCEZPE JCVKHCEZPE
| URI | m2://inv/JCVKHCEZPE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 57-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08638#RJA1 (statement). In 113VZ5XX7J/e1, lemma 5.5
History
- 2026-10-29: add by m2/v0.4.10
JCVN54B1SB JCVN54B1SB
| URI | m2://inv/JCVN54B1SB |
|---|---|
| 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.31274#1E9B (example). In RK0ZMDJ23T/e1, example 1.2.9
History
- 2026-10-31: add by m2/v0.5.6
JCVR0DGME2 JCVR0DGME2
| URI | m2://inv/JCVR0DGME2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05784#LOBP (statement). In 6NVP3YRWVA/e1, lemma 2.5
History
- 2026-10-29: add by m2/v0.4.10
Interior Hölder estimate - Laplacian JCVR5SMW2M
| URI | m2://inv/JCVR5SMW2M |
|---|---|
| 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#JUIQ, Interior Hölder estimate - Laplacian (statement). In 2XC2MZFWPP/e1, theorem 2.4
History
- 2026-10-27: add by m2/v0.3.5
JCW5PC1PQH JCW5PC1PQH
| URI | m2://inv/JCW5PC1PQH |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/IntroToLogic.tex#prob:coach lie (exercise). In P1C114YBXG, problem, section D
History
- 2026-11-01: add by m2/v0.6.13
Thomas Bradwardine JCW66G7RRX
| URI | m2://inv/JCW66G7RRX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#HIN7, Thomas Bradwardine (unknown)
History
- 2026-11-02: add by m2/dev
Olivier Schiffmann JCW8NF11AX
| URI | m2://inv/JCW8NF11AX |
|---|---|
| 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#UFTU, Olivier Schiffmann (unknown)
History
- 2026-11-02: add by m2/dev
JCW8ZAT7YC JCW8ZAT7YC
| URI | m2://inv/JCW8ZAT7YC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/linalg/vector-space.tex#thm:dimension_theorem (statement). In RZP28ERRZV, theorem, section 62.4
History
- 2026-11-01: add by m2/v0.6.13
Haag–Kastler axioms JCWDQ36Y0D
| URI | m2://inv/JCWDQ36Y0D |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Algebraic quantum field theory#AG5T, Haag–Kastler axioms (statement)
History
- 2026-11-02: add by m2/dev
Dinostratus' theorem JCWHN9ZANX
| URI | m2://inv/JCWHN9ZANX |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 51-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q1125462, Dinostratus' theorem (statement). Also Wikidata Q1125462
- thousand_plus: thousand_plus Q1125462, Dinostratus' theorem (statement). Also Wikidata Q1125462, Wikipedia Dinostratus' theorem
History
- 2026-10-26: add by m2/dev
The physical paradox JCWQQVRQST
| URI | m2://inv/JCWQQVRQST |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Poincaré recurrence theorem#IY9X, The physical paradox (statement)
History
- 2026-11-02: add by m2/dev
JCWRRGAX36 JCWRRGAX36
| URI | m2://inv/JCWRRGAX36 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-XX, 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13213#GTZ5 (statement). In V97F4YZ8B0/e1, lemma 9.11
History
- 2026-10-28: add by m2/v0.4.2
-an JCWSAXXSB2
| URI | m2://inv/JCWSAXXSB2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of invariant theory#A20X, -an (definition)
History
- 2026-11-02: add by m2/dev
consequent JCWT7B8C4Z
| URI | m2://inv/JCWT7B8C4Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#5K98, consequent (definition)
History
- 2026-11-02: add by m2/dev
JCWVQR7HP8 JCWVQR7HP8
| URI | m2://inv/JCWVQR7HP8 |
|---|---|
| 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.22380#6OU4 (definition)
History
- 2026-11-02: add by m2/v0.6.17
Douglas N. Walton JCWWSZ7X3Q
| URI | m2://inv/JCWWSZ7X3Q |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Douglas N. Walton, Douglas N. Walton (topic). Also Wikidata Q1252557
History
- 2026-11-02: add by m2/dev
Fractional Fourier transform JCX2G0H335
| URI | m2://inv/JCX2G0H335 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Fourier-related transforms#WD4R, Fractional Fourier transform (definition)
History
- 2026-11-02: add by m2/dev
Theorems JCX6668X39
| URI | m2://inv/JCX6668X39 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Minimal logic#SN2V, Theorems (statement)
History
- 2026-11-02: add by m2/dev
Anne's theorem JCXB79YNRF
| URI | m2://inv/JCXB79YNRF |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 51-XX |
| Sources | 4 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q15859323, Anne's theorem (statement). Also Wikidata Q15859323
- thousand_plus: thousand_plus Q15859323, Anne's theorem (statement). Also Wikidata Q15859323, Wikipedia Anne's theorem
- wikidata: Wikidata Q15859323, Anne's theorem (statement). Also MathWorld LeonAnnesTheorem
- wikipedia: Wikipedia Anne's theorem, Anne's theorem (statement). Also Wikidata Q15859323
History
- 2026-10-26: add by m2/dev
A return inequality JCXBYJDGVS
| URI | m2://inv/JCXBYJDGVS |
|---|---|
| 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.04271#OYA7, A return inequality (statement). In WBXAW9G4JB/e1, proposition F.1
History
- 2026-10-29: add by m2/v0.4.12
Gordon–Newell network JCXC41B84S
| URI | m2://inv/JCXC41B84S |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#2V05, Gordon–Newell network (statement)
History
- 2026-11-02: add by m2/dev
John Wilder Tukey JCXE3C3VWT
| URI | m2://inv/JCXE3C3VWT |
|---|---|
| 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#TMW3, John Wilder Tukey (topic)
History
- 2026-11-02: add by m2/dev
Joram Lindenstrauss JCXGJWFJ4B
| URI | m2://inv/JCXGJWFJ4B |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#6FAF, Joram Lindenstrauss (topic)
History
- 2026-11-02: add by m2/dev
Dynamic programming JCXNNTMDRK
| URI | m2://inv/JCXNNTMDRK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#KI3C, Dynamic programming (definition)
History
- 2026-11-02: add by m2/dev
Self-similar solution JCXWNJQYCP
| URI | m2://inv/JCXWNJQYCP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Self-similar solution, Self-similar solution (definition). Also Wikidata Q4056366
History
- 2026-11-02: add by m2/dev
JCY118SWMF JCY118SWMF
| URI | m2://inv/JCY118SWMF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2102.12931#8NEL (statement). In PQHTR84RAJ/e1, proposition 3.2
History
- 2026-10-27: add by m2/v0.4.0
Bent Fuglede JCYBG7GMAP
| URI | m2://inv/JCYBG7GMAP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bent Fuglede, Bent Fuglede (topic). Also Wikidata Q818203
History
- 2026-11-02: add by m2/dev
JCYK6ZE1WY JCYK6ZE1WY
| URI | m2://inv/JCYK6ZE1WY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11377#A8TI (statement). In YCV4YA6FC2/e1, proposition
History
- 2026-10-28: add by m2/v0.4.3
JCYSA4M7SY JCYSA4M7SY
| URI | m2://inv/JCYSA4M7SY |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39169#T6HB (example). In ANHWXYPQFX/e1, example
History
- 2026-10-30: add by m2/v0.4.12
Short logarithmic upper bound JCZ1FZF1DS
| URI | m2://inv/JCZ1FZF1DS |
|---|---|
| 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.15316#Z7F5, Short logarithmic upper bound (statement). In 3K84E4150C/e1, lemma 4.2
History
- 2026-10-28: add by m2/v0.4.2
Swinging Atwood's machine JCZ99A68V0
| URI | m2://inv/JCZ99A68V0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Swinging Atwood's machine, Swinging Atwood's machine (definition). Also Wikidata Q3254524
History
- 2026-11-02: add by m2/dev
JCZA5SAJE1 JCZA5SAJE1
| URI | m2://inv/JCZA5SAJE1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34295#9WMG (statement). In A93R925Z24/e1, lemma 2.2
History
- 2026-10-30: add by m2/v0.4.12
Marked-angle cost JCZB2WM6S3
| URI | m2://inv/JCZB2WM6S3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13962#QAVB, Marked-angle cost (statement). In 7NP5QKECVA/e1, lemma 3.3
History
- 2026-10-28: add by m2/v0.4.2
Examples JCZJ73JP90
| URI | m2://inv/JCZJ73JP90 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stationary process#5DTW, Examples (example)
History
- 2026-11-02: add by m2/dev
JCZV0FTZ66 JCZV0FTZ66
| URI | m2://inv/JCZV0FTZ66 |
|---|---|
| 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.12238#U705 (statement). In E31CZYM2H8/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.2
Implementations JCZYP3D0SN
| URI | m2://inv/JCZYP3D0SN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schnorr signature#Y4ZN, Implementations (definition)
History
- 2026-11-02: add by m2/dev