Inventory rows DJ
The cards of the rows of the inventory whose ids start with DJ. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
DJ0200PHP7 DJ0200PHP7
| URI | m2://inv/DJ0200PHP7 |
|---|---|
| Kind | definition |
| 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.18847#3FMK (definition). In DZ12XTTJSM/e1, definition 2.10
History
- 2026-10-28: add by m2/v0.4.2
DJ0254NBGD DJ0254NBGD
| URI | m2://inv/DJ0254NBGD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18070#S9U7 (statement). In RASQS0FG8A/e1, proposition 2.2
History
- 2026-10-28: add by m2/v0.4.2
Core-supported spectrum and factorization DJ05ARG0JX
| URI | m2://inv/DJ05ARG0JX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25925#K78I, Core-supported spectrum and factorization (statement)
History
- 2026-11-01: add by m2/v0.6.15
Closed form for the intercept DJ0FE3VMEZ
| URI | m2://inv/DJ0FE3VMEZ |
|---|---|
| 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.14695#K855, Closed form for the intercept (statement). In T15EJSPCNG/e1, lemma 3.1
History
- 2026-10-28: add by m2/v0.4.2
Henri Berestycki DJ0KNM97H6
| URI | m2://inv/DJ0KNM97H6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#OD6Y, Henri Berestycki (unknown)
History
- 2026-11-02: add by m2/dev
DJ0RHWQZFH DJ0RHWQZFH
| URI | m2://inv/DJ0RHWQZFH |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 46-XX, 47-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 1711.00219#ER0Z (definition). In 7V3HG30ZGW/e1, definition 5.3
History
- 2026-10-27: add by m2/v0.4.0
Book cipher DJ0Z534M44
| URI | m2://inv/DJ0Z534M44 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Book cipher, Book cipher (definition). Also Wikidata Q997683
History
- 2026-11-02: add by m2/dev
DJ0ZKNFBTV DJ0ZKNFBTV
| URI | m2://inv/DJ0ZKNFBTV |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28211#TL1S (example)
History
- 2026-11-01: add by m2/v0.6.15
Perplexity (LLM) DJ1ACD9Z4A
| URI | m2://inv/DJ1ACD9Z4A |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Perplexity#OI4O, Perplexity (LLM) (unknown)
History
- 2026-11-02: add by m2/dev
Applications DJ1EBFDWYC
| URI | m2://inv/DJ1EBFDWYC |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Carathéodory–Jacobi–Lie theorem#NFKV, Applications (example)
History
- 2026-11-02: add by m2/dev
Heckman–Opdam polynomials DJ1H0JKFHP
| URI | m2://inv/DJ1H0JKFHP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Heckman–Opdam polynomials, Heckman–Opdam polynomials (definition). Also Wikidata Q5696461
History
- 2026-11-02: add by m2/dev
DJ1NWNJ8RH DJ1NWNJ8RH
| URI | m2://inv/DJ1NWNJ8RH |
|---|---|
| Kind | definition |
| 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.12481#EN7O (definition). In TD288AK3EJ/e1, definition 2
History
- 2026-10-28: add by m2/v0.4.2
DJ21DEVPMH DJ21DEVPMH
| URI | m2://inv/DJ21DEVPMH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/syntax-and-semantics/language-modal-logic.tex#defn-3 (definition). In PKGMM3P5QY, defn, section 54.3
History
- 2026-11-01: add by m2/v0.6.13
Multiplicative conductor DJ2BNEXJSC
| URI | m2://inv/DJ2BNEXJSC |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10583#NWIT, Multiplicative conductor (definition). In 5BZQS1KY9A/e1, definition 2.2
History
- 2026-10-29: add by m2/v0.4.10
Reflected entropy DJ2KKYXE0F
| URI | m2://inv/DJ2KKYXE0F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reflected entropy, Reflected entropy (definition). Also Wikidata Q140089046
History
- 2026-11-02: add by m2/dev
DJ2SHT6JW3 DJ2SHT6JW3
| URI | m2://inv/DJ2SHT6JW3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03231#P3QG (statement). In 3Y76AQQGF0/e1, proposition 9.2
History
- 2026-10-29: add by m2/v0.4.12
F(α) conjecture or strong pair correlation conjecture DJ2ZC9F7BN
| URI | m2://inv/DJ2ZC9F7BN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Montgomery's pair correlation conjecture#K06C, F(α) conjecture or strong pair correlation conjecture (statement)
History
- 2026-11-02: add by m2/dev
truncated dodecadodecahedron DJ36TNY3RD
| URI | m2://inv/DJ36TNY3RD |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q284579, truncated dodecadodecahedron (object). Also MathWorld TruncatedDodecadodecahedron
- wikipedia: Wikipedia Truncated dodecadodecahedron, Truncated dodecadodecahedron (object). Also Wikidata Q284579
History
- 2026-10-26: add by m2/dev
DJ3B96GXTR DJ3B96GXTR
| URI | m2://inv/DJ3B96GXTR |
|---|---|
| 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.00343#KG62 (statement). In G4MKECQ1DD/e1, proposition 1.2
History
- 2026-10-30: add by m2/v0.4.12
Gaussian Features Recurrence DJ3BWZQ5WY
| URI | m2://inv/DJ3BWZQ5WY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16518#07E5, Gaussian Features Recurrence (statement). In SAQBDG4FK1/e1, lemma D.1
History
- 2026-10-28: add by m2/v0.4.2
DJ3D73ECZ9 DJ3D73ECZ9
| URI | m2://inv/DJ3D73ECZ9 |
|---|---|
| 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.09084#Z7X1 (statement). In F5VT2K2QYX/e1, fact 14
History
- 2026-10-29: add by m2/v0.4.10
Monomial group DJ3FVJA7V4
| URI | m2://inv/DJ3FVJA7V4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Monomial group, Monomial group (definition). Also Wikidata Q17099037
History
- 2026-11-02: add by m2/dev
Definitions DJ3S2TWRKZ
| URI | m2://inv/DJ3S2TWRKZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Well-covered graph#23OP, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Mersenne number with prime index DJ3TJY4FXZ
| URI | m2://inv/DJ3TJY4FXZ |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q67182782, Mersenne number with prime index (object). Also OEIS A001348
History
- 2026-10-26: add by m2/dev
SSM Gradient Bound DJ3VE8V5BX
| URI | m2://inv/DJ3VE8V5BX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02659#AYE1, SSM Gradient Bound (statement). In EV933413SJ/e1, theorem 4.4
History
- 2026-10-29: add by m2/v0.4.12
6-simplex honeycomb DJ456SDEKK
| URI | m2://inv/DJ456SDEKK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 6-simplex honeycomb, 6-simplex honeycomb (definition). Also Wikidata Q4641576
History
- 2026-11-02: add by m2/dev
DJ46B74BB0 DJ46B74BB0
| URI | m2://inv/DJ46B74BB0 |
|---|---|
| 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#3BSO (statement). In H71AJ341B3/e1, corollary 7.2
History
- 2026-10-31: add by m2/v0.5.6
Statement DJ492YWZG8
| URI | m2://inv/DJ492YWZG8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Borel's lemma#24FD, Statement (statement)
History
- 2026-11-02: add by m2/dev
Complete stratified linear layer DJ4D5Q17BZ
| URI | m2://inv/DJ4D5Q17BZ |
|---|---|
| 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 2609.25987#39AJ, Complete stratified linear layer (definition)
History
- 2026-11-01: add by m2/v0.6.15
vector space DJ4F22A9QB
| URI | m2://inv/DJ4F22A9QB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of linear algebra#3FI2, vector space (definition)
History
- 2026-11-02: add by m2/dev
Hoeffding DJ4HHJWWN6
| URI | m2://inv/DJ4HHJWWN6 |
|---|---|
| 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.33557#HB2K, Hoeffding (statement). In 95YZVAPGJA/e1, lemma 5.2
History
- 2026-10-30: add by m2/v0.4.12
Forest weight and order weight DJ4PE3RM0J
| URI | m2://inv/DJ4PE3RM0J |
|---|---|
| Kind | definition |
| 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#D1HB, Forest weight and order weight (definition). In R5AFFWBMAF/e1, definition 3.1
History
- 2026-10-28: add by m2/v0.4.2
Starkville DJ4WHY27E8
| URI | m2://inv/DJ4WHY27E8 |
|---|---|
| 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#KS9V, Starkville (unknown)
History
- 2026-11-02: add by m2/dev
Small dodecahemidodecahedron DJ4ZGM0ETN
| URI | m2://inv/DJ4ZGM0ETN |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#VF91, Small dodecahemidodecahedron (object)
History
- 2026-11-02: add by m2/dev
Examples DJ51K2BKS4
| URI | m2://inv/DJ51K2BKS4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Positive linear functional#2QXF, Examples (example)
History
- 2026-11-02: add by m2/dev
The Bochner formula and rigidity DJ5EQVNCKM
| URI | m2://inv/DJ5EQVNCKM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Harmonic map#UDWY, The Bochner formula and rigidity (statement)
History
- 2026-11-02: add by m2/dev
Explicit defect formula DJ5KE5G8P0
| URI | m2://inv/DJ5KE5G8P0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20593#4ATZ, Explicit defect formula (statement). In 7GMD8J4200/e1, proposition 11
History
- 2026-10-27: add by m2/v0.4.2
Spiked GOE with Gaussian prior DJ5NDGKKP4
| URI | m2://inv/DJ5NDGKKP4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 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 2609.28781#J7UE, Spiked GOE with Gaussian prior (statement)
History
- 2026-11-01: add by m2/v0.6.15
DJ5V57PAG6 DJ5V57PAG6
| URI | m2://inv/DJ5V57PAG6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv dg-ga/9612010#GW17 (statement). In CM39SWC4A6/e1, corollary 1.5
History
- 2026-10-27: add by m2/v0.4.0
Estimated-weight remainder DJ5Y2T1AHZ
| URI | m2://inv/DJ5Y2T1AHZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20772#54L1, Estimated-weight remainder (statement)
History
- 2026-11-02: add by m2/v0.6.18
Río Quinto DJ61P3HZ5B
| URI | m2://inv/DJ61P3HZ5B |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#9M8H, Río Quinto (unknown)
History
- 2026-11-02: add by m2/dev
DJ63CAW0H7 DJ63CAW0H7
| URI | m2://inv/DJ63CAW0H7 |
|---|---|
| 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#5CDB (statement)
History
- 2026-11-02: add by m2/v0.6.18
Hough transform DJ6457CDM5
| URI | m2://inv/DJ6457CDM5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of transforms#DJ35, Hough transform (definition)
History
- 2026-11-02: add by m2/dev
Universal Information Hydrodynamics DJ65ZRVZKF
| URI | m2://inv/DJ65ZRVZKF |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 51P05, 53B12, 81P10, 82C28 |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q136913087, Universal Information Hydrodynamics (topic)
History
- 2026-10-26: add by m2/dev
DJ672WSJD2 DJ672WSJD2
| URI | m2://inv/DJ672WSJD2 |
|---|---|
| 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.33283#C2QX (statement). In CXPFSDMEPB/e1, lemma 5.6
History
- 2026-10-30: add by m2/v0.4.12
DJ6GTNV3R3 DJ6GTNV3R3
| URI | m2://inv/DJ6GTNV3R3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21668#VT92 (statement)
History
- 2026-11-02: add by m2/v0.6.18
stack DJ6JP56KNT
| URI | m2://inv/DJ6JP56KNT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic geometry#O9PT, stack (definition)
History
- 2026-11-02: add by m2/dev
Formulation DJ6QQR0KR6
| URI | m2://inv/DJ6QQR0KR6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lincoln index#TYXS, Formulation (definition)
History
- 2026-11-02: add by m2/dev
Rosseland Mean Opacity DJ6Z2NCHK0
| URI | m2://inv/DJ6Z2NCHK0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Opacity#YUSX, Rosseland Mean Opacity (unknown)
History
- 2026-11-02: add by m2/dev
DJ74QBHW8S DJ74QBHW8S
| URI | m2://inv/DJ74QBHW8S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38206#P3WL (statement). In F71MS1F637/e1, theorem 5.26
History
- 2026-10-30: add by m2/v0.4.12
DJ74YQ9KJ4 DJ74YQ9KJ4
| URI | m2://inv/DJ74YQ9KJ4 |
|---|---|
| Kind | definition |
| 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 2504.19468#762U (definition). In EY54F2SX08/e1, definition 5.3
History
- 2026-10-27: add by m2/v0.3.5
DJ7DMQ2H9J DJ7DMQ2H9J
| URI | m2://inv/DJ7DMQ2H9J |
|---|---|
| Kind | definition |
| 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 2609.23522#DAB1 (definition)
History
- 2026-11-02: add by m2/v0.6.17
Minimax rate DJ7FNRA4B6
| URI | m2://inv/DJ7FNRA4B6 |
|---|---|
| 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.04135#CR8B, Minimax rate (statement). In 587PWJ6W5D/e1, corollary 2
History
- 2026-10-29: add by m2/v0.4.12
DJ7VQTRQFW DJ7VQTRQFW
| URI | m2://inv/DJ7VQTRQFW |
|---|---|
| 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 1002.0879#OT6V (statement). In M0SQY5EZN5/e1, corollary 6.1.7
History
- 2026-10-27: add by m2/v0.3.5
Definition DJ7YM1JCQY
| URI | m2://inv/DJ7YM1JCQY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Computably enumerable set#UYDK, Definition (definition)
History
- 2026-11-02: add by m2/dev
Subcategory DJ7YPPMXRE
| URI | m2://inv/DJ7YPPMXRE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Subcategory, Subcategory (definition). Also Wikidata Q541563
History
- 2026-11-02: add by m2/dev
forest DJ8CYZ480C
| URI | m2://inv/DJ8CYZ480C |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi index/5.2/forest, forest (concept). In Y91XFCEVHQ, index, section 5.2
History
- 2026-11-01: add by m2/v0.6.13
DJ8DKRVCKE DJ8DKRVCKE
| URI | m2://inv/DJ8DKRVCKE |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1209.3562#8M2J (definition). In KZH1DCS18C/e1, definition 5.1
History
- 2026-10-27: add by m2/v0.3.5
DJ8HYX3XQ7 DJ8HYX3XQ7
| URI | m2://inv/DJ8HYX3XQ7 |
|---|---|
| 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.10230#PFVI (statement). In YS75517SF7/e1, theorem 5.2
History
- 2026-10-29: add by m2/v0.4.10
DJ8JR9AQ45 DJ8JR9AQ45
| URI | m2://inv/DJ8JR9AQ45 |
|---|---|
| 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 2606.00589#JGBV (statement). In C8JAGP8VCQ/e1, corollary 8.18
History
- 2026-10-27: add by m2/v0.3.5
Per Enflo DJ8K755J3W
| URI | m2://inv/DJ8K755J3W |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Per Enflo, Per Enflo (topic). Also Wikidata Q354095
History
- 2026-11-02: add by m2/dev
DJ8P0EKVT9 DJ8P0EKVT9
| URI | m2://inv/DJ8P0EKVT9 |
|---|---|
| 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.16844#29M1 (statement). In MAY0WVXT07/e1, lemma 2.4
History
- 2026-10-28: add by m2/v0.4.2
Voorburg group DJ8Y598NQZ
| URI | m2://inv/DJ8Y598NQZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Voorburg group, Voorburg group (definition). Also Wikidata Q7941696
History
- 2026-11-02: add by m2/dev
DJ9C3ASB24 DJ9C3ASB24
| URI | m2://inv/DJ9C3ASB24 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05506#5E3O (statement). In FT53PMB1TE/e1, lemma 2.2.2
History
- 2026-10-29: add by m2/v0.4.10
*{Proposition 3.3.4 DJ9F8Z8VR8
| URI | m2://inv/DJ9F8Z8VR8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23341#5JTB, *{Proposition 3.3.4 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Product implies linearization DJ9G0RF3MG
| URI | m2://inv/DJ9G0RF3MG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20643#WB1Y, Product implies linearization (statement)
History
- 2026-11-02: add by m2/v0.6.18
Corollary DJ9G5XZ1CK
| URI | m2://inv/DJ9G5XZ1CK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Interior extremum theorem#JBBL, Corollary (statement)
History
- 2026-11-02: add by m2/dev
Newman–Shanks–Williams prime DJ9SQFF136
| URI | m2://inv/DJ9SQFF136 |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of number theory topics#GTBJ, Newman–Shanks–Williams prime (conjecture)
History
- 2026-11-02: add by m2/dev
DJA8TW45A6 DJA8TW45A6
| URI | m2://inv/DJA8TW45A6 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04730#35A0 (definition). In QHFP0837Q8/e1, definition 4.4
History
- 2026-10-29: add by m2/v0.4.12
DJAKJ9KGVH DJAKJ9KGVH
| URI | m2://inv/DJAKJ9KGVH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/Partitions.tex#thm:pairwise disjoint yields transitive (statement). In P1C114YBXG, theorem, section G
History
- 2026-11-01: add by m2/v0.6.13
Cut-the-Knot DJAQRR8EF4
| URI | m2://inv/DJAQRR8EF4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alexander Bogomolny#CJDR, Cut-the-Knot (unknown)
History
- 2026-11-02: add by m2/dev
Martingale (probability theory) DJB19QK912
| URI | m2://inv/DJB19QK912 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#R2Z8, Martingale (probability theory) (definition)
History
- 2026-11-02: add by m2/dev
DJBEV7ABDS DJBEV7ABDS
| URI | m2://inv/DJBEV7ABDS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28141#MQHF (statement)
History
- 2026-11-01: add by m2/v0.6.15
Superposed epoch analysis DJBHVXTV8S
| URI | m2://inv/DJBHVXTV8S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Superposed epoch analysis, Superposed epoch analysis (definition). Also Wikidata Q25099475
History
- 2026-11-02: add by m2/dev
DJBP569V8V DJBP569V8V
| URI | m2://inv/DJBP569V8V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2203.16333#RCAE (statement). In GV2GPKN1F6/e1, theorem 4
History
- 2026-10-27: add by m2/v0.3.5
trinomial DJBV640MB9
| URI | m2://inv/DJBV640MB9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1670509, trinomial (unknown). Also MathWorld Trinomial
- wikipedia: Wikipedia Trinomial, Trinomial (definition). Also Wikidata Q1670509
History
- 2026-10-26: add by m2/dev
DJBWTKD2HV DJBWTKD2HV
| URI | m2://inv/DJBWTKD2HV |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 01-XX, 11-XX, 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33529#O3W8 (example). In RQZGQG3PBR/e1, example Examples
History
- 2026-10-30: add by m2/v0.4.12
DJBZAVP0X8 DJBZAVP0X8
| URI | m2://inv/DJBZAVP0X8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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 2610.06746#Y0XE (statement). In B8A6BPP922/e1, theorem 1.3
History
- 2026-10-29: add by m2/v0.4.10
Right linear operators DJC0S0CHSD
| URI | m2://inv/DJC0S0CHSD |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26382#NZXR, Right linear operators (definition)
History
- 2026-11-01: add by m2/v0.6.15
Properties DJC26HWP62
| URI | m2://inv/DJC26HWP62 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hebesphenomegacorona#O76E, Properties (statement)
History
- 2026-11-02: add by m2/dev
Steve Zelditch DJCA2FTSN6
| URI | m2://inv/DJCA2FTSN6 |
|---|---|
| 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#NAFR, Steve Zelditch (topic)
History
- 2026-11-02: add by m2/dev
DJCG20AKVA DJCG20AKVA
| URI | m2://inv/DJCG20AKVA |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35682#9S2I (definition). In 7XM8WXVBWK/e1, definition 3.4
History
- 2026-10-30: add by m2/v0.4.12
DJCMXWVHDF DJCMXWVHDF
| URI | m2://inv/DJCMXWVHDF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09561#AZLZ (statement). In WDV5E2CVTR/e1, theorem 3.2
History
- 2026-10-29: add by m2/v0.4.10
Khaleed S. Mekheimer DJCTNRQ19X
| URI | m2://inv/DJCTNRQ19X |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Khaleed S. Mekheimer, Khaleed S. Mekheimer (topic). Also Wikidata Q112712645
History
- 2026-11-02: add by m2/dev
Theorems of Erdős–Fuchs type DJCTXDGKAJ
| URI | m2://inv/DJCTXDGKAJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Erdős–Fuchs theorem#YALX, Theorems of Erdős–Fuchs type (statement)
History
- 2026-11-02: add by m2/dev
DJCXPJFG0J DJCXPJFG0J
| URI | m2://inv/DJCXPJFG0J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23617#2BSX (statement)
History
- 2026-11-02: add by m2/v0.6.17
Friedmann equations DJD0CZA138
| URI | m2://inv/DJD0CZA138 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of named differential equations#QFEK, Friedmann equations (definition)
History
- 2026-11-02: add by m2/dev
DJD300QMMB DJD300QMMB
| URI | m2://inv/DJD300QMMB |
|---|---|
| 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 2403.15255#W8EE (statement). In G691MXMYW0/e1, proposition 3.14
History
- 2026-10-27: add by m2/v0.4.0
DJD629D6G6 DJD629D6G6
| URI | m2://inv/DJD629D6G6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2508.21045#IOFT (statement). In CGA36VE1C5/e1, corollary 12.6.1
History
- 2026-10-27: add by m2/v0.3.6
Markov chain; see Chapter 4 DJD8JVWMG4
| URI | m2://inv/DJD8JVWMG4 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14615#4VT7, Markov chain; see Chapter 4 (definition). In 7D5MMP8XB5/e1, definition 2.6
History
- 2026-10-28: add by m2/v0.4.2
DJDE74A18N DJDE74A18N
| URI | m2://inv/DJDE74A18N |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38220#XIPE (definition). In 1AC4S19925/e1, definition 4.4
History
- 2026-10-30: add by m2/v0.4.12
cosecant DJDWMWK2N5
| URI | m2://inv/DJDWMWK2N5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2631442, cosecant (definition). Also EoM Cosecant, MathWorld Cosecant, ProofWiki Definition:Cosecant
History
- 2026-10-26: add by m2/dev
DJE2TSQ33G DJE2TSQ33G
| URI | m2://inv/DJE2TSQ33G |
|---|---|
| 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.03688#3OGU (statement). In HMWJQY9NAP/e1, lemma 7.1
History
- 2026-10-29: add by m2/v0.4.12
DJE9WNSQR6 DJE9WNSQR6
| URI | m2://inv/DJE9WNSQR6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36811#DB45 (statement). In ZQDX8E43SQ/e1, theorem 3.5
History
- 2026-10-30: add by m2/v0.4.12
DJED01EASH DJED01EASH
| URI | m2://inv/DJED01EASH |
|---|---|
| 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.08007#CPNI (statement). In MBFRRC83TH/e1, theorem 2
History
- 2026-10-29: add by m2/v0.4.10
R. M. Foster DJEE4RKGEQ
| URI | m2://inv/DJEE4RKGEQ |
|---|---|
| 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#50BX, R. M. Foster (topic)
History
- 2026-11-02: add by m2/dev
DJEJJC5VJB DJEJJC5VJB
| URI | m2://inv/DJEJJC5VJB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35467#GY7Z (statement). In FK89DQ9J4S/e1, proposition 4.14
History
- 2026-10-30: add by m2/v0.4.12
insolubilia DJEQW11R0D
| URI | m2://inv/DJEQW11R0D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#HDNY, insolubilia (definition)
History
- 2026-11-02: add by m2/dev
DJET17TYHZ DJET17TYHZ
| URI | m2://inv/DJET17TYHZ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-one-dim-ints-sv.tex#exercise-18 (exercise). In E59CDZA4DP, exercise, section 6.2.4
History
- 2026-11-01: add by m2/v0.6.13
Alexey Chervonenkis DJEV6FNQGZ
| URI | m2://inv/DJEV6FNQGZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#WC4W, Alexey Chervonenkis (topic)
History
- 2026-11-02: add by m2/dev
Alexander Razborov DJF0E8NE6D
| URI | m2://inv/DJF0E8NE6D |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alexander Razborov, Alexander Razborov (topic). Also Wikidata Q93019
History
- 2026-11-02: add by m2/dev
Hypercubic honeycomb DJFGF8CZM0
| URI | m2://inv/DJFGF8CZM0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hypercubic honeycomb, Hypercubic honeycomb (definition). Also Wikidata Q5957922
History
- 2026-11-02: add by m2/dev
Properties DJFNC416T8
| URI | m2://inv/DJFNC416T8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zero object (algebra)#XR6Y, Properties (statement)
History
- 2026-11-02: add by m2/dev
Alf Victor Guldberg DJFNCADF4E
| URI | m2://inv/DJFNCADF4E |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematicians born in the 19th century#V8CW, Alf Victor Guldberg (topic)
History
- 2026-11-02: add by m2/dev
Generalization DJFW165FMG
| URI | m2://inv/DJFW165FMG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Triangulation (geometry)#WY5P, Generalization (statement)
History
- 2026-11-02: add by m2/dev
DJG412EP97 DJG412EP97
| URI | m2://inv/DJG412EP97 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 20-XX, 22-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14278#AE8A (statement). In RTE2C0PH4S/e1, corollary 5.3
History
- 2026-10-28: add by m2/v0.4.2
Doolittle decomposition DJGQJNS4TP
| URI | m2://inv/DJGQJNS4TP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia LU decomposition#2XCC, Doolittle decomposition (definition)
History
- 2026-11-02: add by m2/dev
Brownian motion DJH2ZHX6T9
| URI | m2://inv/DJH2ZHX6T9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of stochastic processes topics#GIE4, Brownian motion (definition)
- wikipedia: Wikipedia List of statistics articles#REDY, Brownian motion (definition)
- wikipedia: Wikipedia List of mathematical shapes#TGBC, Brownian motion (definition)
History
- 2026-11-02: add by m2/dev
DJH51VAKBJ DJH51VAKBJ
| URI | m2://inv/DJH51VAKBJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-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 2610.22288#UNVB (statement). In X38P26DK6S/e1, proposition 3.16
History
- 2026-10-27: add by m2/v0.4.0
Definition DJH5ASTJ1P
| URI | m2://inv/DJH5ASTJ1P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Critical group#1YPH, Definition (definition)
History
- 2026-11-02: add by m2/dev
Zoel García de Galdeano DJHQ8K4732
| URI | m2://inv/DJHQ8K4732 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zoel García de Galdeano, Zoel García de Galdeano (topic). Also Wikidata Q9097736
History
- 2026-11-02: add by m2/dev
Cucconi test DJHSH2HQ2N
| URI | m2://inv/DJHSH2HQ2N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#EZ8Y, Cucconi test (definition)
History
- 2026-11-02: add by m2/dev
DJJ29TP8DJ DJJ29TP8DJ
| URI | m2://inv/DJJ29TP8DJ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21475#YYWQ (definition). In TTRSZVT4VX/e1, definition 2.14
History
- 2026-10-27: add by m2/v0.4.2
Examples DJJ6GC5QPE
| URI | m2://inv/DJJ6GC5QPE |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dagger category#XQRW, Examples (example)
History
- 2026-11-02: add by m2/dev
closed graph theorem DJJCEAVM82
| URI | m2://inv/DJJCEAVM82 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 46-XX |
| Sources | 4 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q1068085, Closed graph theorem (statement). Also Mathlib LinearMap.continuous_of_isClosed_graph, Wikidata Q1068085
- thousand_plus: thousand_plus Q1068085, Closed graph theorem (statement). Also Mathlib LinearMap.continuous_of_isClosed_graph, Wikidata Q1068085, Wikipedia Closed graph theorem
- wikidata: Wikidata Q1068085, closed graph theorem (statement). Also MathWorld ClosedGraphTheorem, nLab closed graph theorem
- wikipedia: Wikipedia Closed graph theorem, Closed graph theorem (statement). Also Wikidata Q1068085
History
- 2026-10-26: add by m2/dev
$F$-singularity consequences DJJP1R0FN5
| URI | m2://inv/DJJP1R0FN5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07092#6HHI, $F$-singularity consequences (statement). In JWNYJVH8XG/e1, theorem 1.4
History
- 2026-10-29: add by m2/v0.4.10
Properties DJJQA7JVJR
| URI | m2://inv/DJJQA7JVJR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Unitary operator#IG8F, Properties (statement)
History
- 2026-11-02: add by m2/dev
Statement of the inequality DJJQXA1VYS
| URI | m2://inv/DJJQXA1VYS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Prékopa–Leindler inequality#9PUW, Statement of the inequality (statement)
History
- 2026-11-02: add by m2/dev
codomain DJJR5283DY
| URI | m2://inv/DJJR5283DY |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Codomain 0C5SR4FC74 |
Mentions
- wikidata: Wikidata Q199006, codomain (concept). Also LMFDB knowl modlgal.codomain, MathWorld Codomain
- wikipedia: Wikipedia Codomain, Codomain (definition). Also Wikidata Q199006
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
\href{https://github.com/Parcly-Taxel/Redhill/blob/arxiv-fixed/Redhill/Odd/Main.lean\#L155}{\Verb|quality\_factorFreeTuples\_ge\_of\_odd\_of\_disjoint| DJJV1K6TFV
| URI | m2://inv/DJJV1K6TFV |
|---|---|
| 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.16323#4PFA, \href{https://github.com/Parcly-Taxel/Redhill/blob/arxiv-fixed/Redhill/Odd/Main.lean\#L155}{\Verb|quality\_factorFreeTuples\_ge\_of\_odd\_of\_disjoint| (statement). In E215DFNY09/e1, theorem Theorem
History
- 2026-10-28: add by m2/v0.4.2
Petrov–Galerkin method DJJZKEN171
| URI | m2://inv/DJJZKEN171 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Petrov–Galerkin method, Petrov–Galerkin method (definition). Also Wikidata Q7179155
History
- 2026-11-02: add by m2/dev
Sod shock tube DJK549818P
| URI | m2://inv/DJK549818P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sod shock tube, Sod shock tube (definition). Also Wikidata Q7553155
History
- 2026-11-02: add by m2/dev
DJK60E1FFA DJK60E1FFA
| URI | m2://inv/DJK60E1FFA |
|---|---|
| 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.24451#WBEC (statement)
History
- 2026-11-01: add by m2/v0.6.15
Isosceles triangle DJK9MVD9KP
| URI | m2://inv/DJK9MVD9KP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of triangle topics#1NNN, Isosceles triangle (definition)
- wikipedia: Wikipedia List of mathematical shapes#CSCY, Isosceles triangle (definition)
History
- 2026-11-02: add by m2/dev
Betty Johnson DJKMGJ90CW
| URI | m2://inv/DJKMGJ90CW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Betty Johnson (physicist), Betty Johnson (topic). Also Wikidata Q42847009
History
- 2026-11-02: add by m2/dev
DJKWPPWP5N DJKWPPWP5N
| URI | m2://inv/DJKWPPWP5N |
|---|---|
| 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.04135#BUEC (statement). In 587PWJ6W5D/e1, lemma 6
History
- 2026-10-29: add by m2/v0.4.12
Applications DJM3KKJ0H6
| URI | m2://inv/DJM3KKJ0H6 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vectorization (mathematics)#RXCI, Applications (example)
History
- 2026-11-02: add by m2/dev
DJM411E7SE DJM411E7SE
| URI | m2://inv/DJM411E7SE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21765#8XF8 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Definition DJM5RVASZE
| URI | m2://inv/DJM5RVASZE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Local martingale#HUXZ, Definition (definition)
History
- 2026-11-02: add by m2/dev
DJMFT6234J DJMFT6234J
| URI | m2://inv/DJMFT6234J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00109#GP8L (statement). In FS8J84KFX2/e1, corollary 1.2
History
- 2026-10-30: add by m2/v0.4.12
Examples DJN009Q00H
| URI | m2://inv/DJN009Q00H |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lissajous curve#R2U5, Examples (example)
History
- 2026-11-02: add by m2/dev
DJN1TWVC76 DJN1TWVC76
| URI | m2://inv/DJN1TWVC76 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-ser.tex#example-11 (example). In E59CDZA4DP, example, section 10.2.4
History
- 2026-11-01: add by m2/v0.6.13
extended complex plane DJN2B5DA8R
| URI | m2://inv/DJN2B5DA8R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q120961422, extended complex plane (definition). Also MathWorld ExtendedComplexPlane, ProofWiki Definition:Extended_Complex_Plane
History
- 2026-10-26: add by m2/dev
DJN9YZNKTH DJN9YZNKTH
| URI | m2://inv/DJN9YZNKTH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/tableaux/more-soundness.tex#prop:soundness-D (statement). In PKGMM3P5QY, prop, section 55.8
History
- 2026-11-01: add by m2/v0.6.13
John Mauchly DJNDJCB8ST
| URI | m2://inv/DJNDJCB8ST |
|---|---|
| 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#MU28, John Mauchly (unknown)
History
- 2026-11-02: add by m2/dev
Stanisław Jaśkowski DJNH067D1N
| URI | m2://inv/DJNH067D1N |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stanisław Jaśkowski, Stanisław Jaśkowski (topic). Also Wikidata Q922742
History
- 2026-11-02: add by m2/dev
DJNSRFMZWF DJNSRFMZWF
| URI | m2://inv/DJNSRFMZWF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22218#ES3B (statement). In 338GKREFVP/e1, lemma 63
History
- 2026-10-27: add by m2/v0.4.0
DJNZNY212R DJNZNY212R
| URI | m2://inv/DJNZNY212R |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/structure.tex#proof-2 (proof). In RZP28ERRZV, proof, section 6.2
History
- 2026-11-01: add by m2/v0.6.13
Pluto DJP36MJHCP
| URI | m2://inv/DJP36MJHCP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q339, Pluto (definition). Also ProofWiki Definition:Pluto
History
- 2026-10-26: add by m2/dev
Coifman, Ronald DJP9DGSH3A
| URI | m2://inv/DJP9DGSH3A |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#L966, Coifman, Ronald (topic)
History
- 2026-11-02: add by m2/dev
Stewart–Walker lemma DJPE3N0P24
| URI | m2://inv/DJPE3N0P24 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stewart–Walker lemma, Stewart–Walker lemma (statement). Also Wikidata Q7616032
History
- 2026-11-02: add by m2/dev
DJPF69TB9H DJPF69TB9H
| URI | m2://inv/DJPF69TB9H |
|---|---|
| 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.33238#TQ09 (statement). In MVWXMDFP3P/e1, lemma 4.8
History
- 2026-10-30: add by m2/v0.4.12
Gordon–Newell theorem DJPJ57YM2F
| URI | m2://inv/DJPJ57YM2F |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 60-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q5586067, Gordon–Newell theorem (statement). Also Wikidata Q5586067
- thousand_plus: thousand_plus Q5586067, Gordon–Newell theorem (statement). Also Wikidata Q5586067, Wikipedia Gordon–Newell theorem
- wikipedia: Wikipedia Gordon–Newell theorem, Gordon–Newell theorem (statement). Also Wikidata Q5586067
History
- 2026-10-26: add by m2/dev
Berlekamp's algorithm DJPRZGE0VD
| URI | m2://inv/DJPRZGE0VD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Berlekamp's algorithm, Berlekamp's algorithm (definition). Also Wikidata Q821001
History
- 2026-11-02: add by m2/dev
Lemma 1 DJQ7ANTM1A
| URI | m2://inv/DJQ7ANTM1A |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Expander code#A9F2, Lemma 1 (statement)
History
- 2026-11-02: add by m2/dev
DJQ865NTTJ DJQ865NTTJ
| URI | m2://inv/DJQ865NTTJ |
|---|---|
| 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 2510.12502#M8KC (statement). In 3A4K47Y9F2/e1, theorem 6.37
History
- 2026-10-27: add by m2/v0.4.0
Abel's theorem DJQAYCSPCH
| URI | m2://inv/DJQAYCSPCH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#OZBS, Abel's theorem (statement)
History
- 2026-11-02: add by m2/dev
DJQBM6HRFJ DJQBM6HRFJ
| URI | m2://inv/DJQBM6HRFJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08426#40W6 (statement). In YG2DPMNZ1N/e1, theorem 3.10
History
- 2026-10-29: add by m2/v0.4.10
Upper-convected time derivative DJQC72BQX1
| URI | m2://inv/DJQC72BQX1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Upper-convected time derivative, Upper-convected time derivative (definition). Also Wikidata Q7898446
History
- 2026-11-02: add by m2/dev
Examples DJQFC8WKQV
| URI | m2://inv/DJQFC8WKQV |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nuclear space#RQNW, Examples (example)
History
- 2026-11-02: add by m2/dev
DJQNSY4970 DJQNSY4970
| URI | m2://inv/DJQNSY4970 |
|---|---|
| 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.21494#STRW (statement). In ZWT4C1DYPE/e1, proposition 8.3
History
- 2026-10-27: add by m2/v0.4.2
DJQPGJ0HAQ DJQPGJ0HAQ
| URI | m2://inv/DJQPGJ0HAQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 65-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.24448#N6S3 (statement)
History
- 2026-11-01: add by m2/v0.6.15
ordered logic DJQRXHR4J7
| URI | m2://inv/DJQRXHR4J7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#YRBR, ordered logic (definition)
History
- 2026-11-02: add by m2/dev
DJQZH3XGHJ DJQZH3XGHJ
| URI | m2://inv/DJQZH3XGHJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26619#CJM5 (statement)
History
- 2026-11-01: add by m2/v0.6.15
DJQZWYECAK DJQZWYECAK
| URI | m2://inv/DJQZWYECAK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05652#FJEL (statement). In 8BNPFYQDQX/e1, corollary 1.7
History
- 2026-10-29: add by m2/v0.4.10
model DJR23DY4TR
| URI | m2://inv/DJR23DY4TR |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q19978167, model (concept). Also MathWorld Model
History
- 2026-10-26: add by m2/dev
Traces of a string diagram DJR2FWRPF2
| URI | m2://inv/DJR2FWRPF2 |
|---|---|
| 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 2609.20478#WRNT, Traces of a string diagram (example)
History
- 2026-11-02: add by m2/v0.6.18
DJRHTN4W8M DJRHTN4W8M
| URI | m2://inv/DJRHTN4W8M |
|---|---|
| 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.37897#YX1V (statement). In RBQ5FNCVNZ/e1, lemma 9.11
History
- 2026-10-30: add by m2/v0.4.12
LLT for Moderate Deviations DJRP1224PM
| URI | m2://inv/DJRP1224PM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33590#6RNT, LLT for Moderate Deviations (statement). In WRE0P7V6Z3/e1, theorem D.28
History
- 2026-10-30: add by m2/v0.4.12
I/i DJRVETRQZB
| URI | m2://inv/DJRVETRQZB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a notation: the notation register holds it (corpus spec K10.4)) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q9893, I/i (unknown). Also ProofWiki Symbols:I
History
- 2026-10-26: add by m2/dev
Perfectoid space DJRXSBVE3X
| URI | m2://inv/DJRXSBVE3X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Perfectoid space, Perfectoid space (definition). Also Wikidata Q17075276
History
- 2026-11-02: add by m2/dev
Intra-rater reliability DJSGE14CTB
| URI | m2://inv/DJSGE14CTB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#42GB, Intra-rater reliability (definition)
History
- 2026-11-02: add by m2/dev
Albert Nijenhuis DJSGHYAZ8D
| URI | m2://inv/DJSGHYAZ8D |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Albert Nijenhuis, Albert Nijenhuis (topic). Also Wikidata Q1464744
History
- 2026-11-02: add by m2/dev
Example DJSJ18DX46
| URI | m2://inv/DJSJ18DX46 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Interpretation (logic)#LCKC, Example (example)
History
- 2026-11-02: add by m2/dev
Philosophical counseling DJSYHQW0CR
| URI | m2://inv/DJSYHQW0CR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Philosophical counseling, Philosophical counseling (definition). Also Wikidata Q106224
History
- 2026-11-02: add by m2/dev
DJT69J3XN7 DJT69J3XN7
| URI | m2://inv/DJT69J3XN7 |
|---|---|
| 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 2203.07710#V7H8 (statement). In NESGAWA54K/e1, corollary 2.9
History
- 2026-10-27: add by m2/v0.3.5
Human rights and encryption DJT6D180CP
| URI | m2://inv/DJT6D180CP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Human rights and encryption, Human rights and encryption (definition). Also Wikidata Q48740769
History
- 2026-11-02: add by m2/dev
DJT6SN5Y5Z DJT6SN5Y5Z
| URI | m2://inv/DJT6SN5Y5Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06466#5P5J (statement). In 6W451V3N75/e1, theorem 8.1
History
- 2026-10-29: add by m2/v0.4.10
587 (number) DJTF7M8HFF
| URI | m2://inv/DJTF7M8HFF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 500 (number)#NP4T, 587 (number) (unknown)
History
- 2026-11-02: add by m2/dev
Bezalel Smotrich DJTKPPBHVB
| URI | m2://inv/DJTKPPBHVB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#3ZR9, Bezalel Smotrich (unknown)
History
- 2026-11-02: add by m2/dev
Neighborhood of $\widehat{x}$ DJTZ15F31P
| URI | m2://inv/DJTZ15F31P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21781#92UF, Neighborhood of $\widehat{x}$ (statement). In FEQ72D1AX6/e1, lemma 5.11
History
- 2026-10-27: add by m2/v0.4.2
Fisher's fundamental theorem of natural selection DJV1ESH0SH
| URI | m2://inv/DJV1ESH0SH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fisher's fundamental theorem of natural selection, Fisher's fundamental theorem of natural selection (statement). Also Wikidata Q197869
History
- 2026-11-02: add by m2/dev
Sobolev space DJV319196R
| URI | m2://inv/DJV319196R |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Sobolev space M4CEZ5K9HP |
Mentions
- wikidata: Wikidata Q1501536, Sobolev space (concept). Also EoM Sobolev_space, MathWorld SobolevSpace, nLab Sobolev space, ProofWiki Definition:Sobolev_Space
- wikipedia: Wikipedia Sobolev space, Sobolev space (definition). Also Wikidata Q1501536
History
- 2026-10-26: add by m2/dev
DJV3DQEK0T DJV3DQEK0T
| URI | m2://inv/DJV3DQEK0T |
|---|---|
| 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.35320#X20F (statement). In QJ6AEW93RB/e1, lemma 3.2
History
- 2026-10-30: add by m2/v0.4.12
Kontsevich invariant DJV562FHGT
| URI | m2://inv/DJV562FHGT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of knot theory topics#QG7D, Kontsevich invariant (definition)
History
- 2026-11-02: add by m2/dev
John Casey DJVDFZQWCG
| URI | m2://inv/DJVDFZQWCG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematicians born in the 19th century#ZI2X, John Casey (topic)
History
- 2026-11-02: add by m2/dev
Astropy DJVDMXNSRN
| URI | m2://inv/DJVDMXNSRN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of open-source software for mathematics#PWOT, Astropy (unknown)
History
- 2026-11-02: add by m2/dev
DJVDVDT30M DJVDVDT30M
| URI | m2://inv/DJVDVDT30M |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/model-theory/models-of-arithmetic/models-of-pa.tex#proof-4 (proof). In PKGMM3P5QY, proof, section 49.1
History
- 2026-11-01: add by m2/v0.6.13
triaugmented dodecahedron DJVE5CYAVV
| URI | m2://inv/DJVE5CYAVV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2013347, triaugmented dodecahedron (object). Also MathWorld TriaugmentedDodecahedron
- wikipedia: Wikipedia Triaugmented dodecahedron, Triaugmented dodecahedron (definition). Also Wikidata Q2013347
History
- 2026-10-26: add by m2/dev
Properties DJVFS652QT
| URI | m2://inv/DJVFS652QT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Particular point topology#I7Y0, Properties (statement)
History
- 2026-11-02: add by m2/dev
Icosahedral pyramid DJVMX38G43
| URI | m2://inv/DJVMX38G43 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Icosahedral pyramid, Icosahedral pyramid (definition). Also Wikidata Q18207969
History
- 2026-11-02: add by m2/dev
Intrinsic-lattice reduction DJVR7BN58C
| URI | m2://inv/DJVR7BN58C |
|---|---|
| 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.26576#5YDE, Intrinsic-lattice reduction (statement)
History
- 2026-11-01: add by m2/v0.6.15
DJVSZXPM31 DJVSZXPM31
| URI | m2://inv/DJVSZXPM31 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31274#59V6 (statement). In RK0ZMDJ23T/e1, lemma 3.2.5
History
- 2026-10-31: add by m2/v0.5.6
Bruce Johnston DJVZKBZ96R
| URI | m2://inv/DJVZKBZ96R |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#H2SS, Bruce Johnston (unknown)
History
- 2026-11-02: add by m2/dev
390 (number) DJW0KBKZ3X
| URI | m2://inv/DJW0KBKZ3X |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 300 (number)#HXXV, 390 (number) (unknown)
History
- 2026-11-02: add by m2/dev
Proof of \cref{thm:hlevel-loops} DJW1KM3ETP
| URI | m2://inv/DJW1KM3ETP |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book hlevels.tex#proof-14, Proof of \cref{thm:hlevel-loops} (proof). In N54F33XE07, proof, section 6.2
History
- 2026-11-01: add by m2/v0.6.13
DJW3RMKTEP DJW3RMKTEP
| URI | m2://inv/DJW3RMKTEP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/cover-project.tex#definition-4 (definition). In RZP28ERRZV, definition, section 97.2
History
- 2026-11-01: add by m2/v0.6.13
DJWDA5RHQ4 DJWDA5RHQ4
| URI | m2://inv/DJWDA5RHQ4 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kalai's 3^d conjecture#TQTL (problem)
History
- 2026-11-02: add by m2/dev
DJWPZ57ZCW DJWPZ57ZCW
| URI | m2://inv/DJWPZ57ZCW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-contfunc.tex#defn:onesidedlimits (definition). In E59CDZA4DP, defn, section 2.1.4
History
- 2026-11-01: add by m2/v0.6.13
John D. Nesbitt DJWV6NJZPE
| URI | m2://inv/DJWV6NJZPE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#U7LR, John D. Nesbitt (unknown)
History
- 2026-11-02: add by m2/dev
DJWW54ZJBA DJWW54ZJBA
| URI | m2://inv/DJWW54ZJBA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2509.21444#I87H (statement). In CTVPA2FQT1/e1, proposition 7.1
History
- 2026-10-27: add by m2/v0.4.0
Wright's formula DJXE62D5X3
| URI | m2://inv/DJXE62D5X3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Formula for primes#N74G, Wright's formula (statement)
History
- 2026-11-02: add by m2/dev
Closed-orbit exclusion on a distinguished line DJXPRR044E
| URI | m2://inv/DJXPRR044E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05364#IXED, Closed-orbit exclusion on a distinguished line (statement). In TPYRE2ARMD/e1, lemma 6.5
History
- 2026-10-29: add by m2/v0.4.10
DJXXJC5WZ6 DJXXJC5WZ6
| URI | m2://inv/DJXXJC5WZ6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-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 2610.22288#83L2 (statement). In X38P26DK6S/e1, proposition 4.13
History
- 2026-10-27: add by m2/v0.4.0
DJXYC7H8WR DJXYC7H8WR
| URI | m2://inv/DJXYC7H8WR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book categories.tex#ct:representable-prop (statement). In N54F33XE07, thm, section 2.5
History
- 2026-11-01: add by m2/v0.6.13
ordinate DJY1EC8JQX
| URI | m2://inv/DJY1EC8JQX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q500576, ordinate (unknown). Also MathWorld Ordinate
History
- 2026-10-26: add by m2/dev
DJY1FPY5Y3 DJY1FPY5Y3
| URI | m2://inv/DJY1FPY5Y3 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-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.31090#QI8S (definition). In SMTJDX0Q6R/e1, definition 2.2
History
- 2026-10-31: add by m2/v0.5.6
DJYCSW58YD DJYCSW58YD
| URI | m2://inv/DJYCSW58YD |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22551#QO56 (definition)
History
- 2026-11-02: add by m2/v0.6.17
Definition DJYDDY579F
| URI | m2://inv/DJYDDY579F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Poisson boundary#P8UT, Definition (definition)
History
- 2026-11-02: add by m2/dev
DJYGJCXB64 DJYGJCXB64
| URI | m2://inv/DJYGJCXB64 |
|---|---|
| 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.03050#EPSC (statement). In WXBRJN9PHQ/e1, lemma 5.1
History
- 2026-10-29: add by m2/v0.4.12
DJYKMMMVZ4 DJYKMMMVZ4
| URI | m2://inv/DJYKMMMVZ4 |
|---|---|
| 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.32446#CAM4 (statement). In W1KVJEGJ1W/e1, lemma A.1
History
- 2026-10-31: add by m2/v0.5.6
Steady state theory DJYPP1HBTG
| URI | m2://inv/DJYPP1HBTG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of superseded scientific theories#QSMC, Steady state theory (unknown)
History
- 2026-11-02: add by m2/dev
Discrete Fourier representation DJYTS4E3CF
| URI | m2://inv/DJYTS4E3CF |
|---|---|
| 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.04452#53B6, Discrete Fourier representation (statement). In ZV3ANMKJ0Y/e1, lemma 3.1
History
- 2026-10-29: add by m2/v0.4.12
DJYTXJXJTE DJYTXJXJTE
| URI | m2://inv/DJYTXJXJTE |
|---|---|
| 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 2605.30679#CLH0 (statement). In Z31GMHMG7B/e1, lemma 3
History
- 2026-10-27: add by m2/v0.3.5
Finite-iteration law in whitened coordinates DJZ3VNV2XJ
| URI | m2://inv/DJZ3VNV2XJ |
|---|---|
| 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.20798#V2BJ, Finite-iteration law in whitened coordinates (statement). In 947GFWDY7C/e1, proposition 2
History
- 2026-10-27: add by m2/v0.4.2
DJZGWCSSQ5 DJZGWCSSQ5
| URI | m2://inv/DJZGWCSSQ5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-metric.tex#defn-17 (definition). In E59CDZA4DP, defn, section 4.5.5
History
- 2026-11-01: add by m2/v0.6.13
reductive DJZHKH81S8
| URI | m2://inv/DJZHKH81S8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic geometry#QHAJ, reductive (definition)
History
- 2026-11-02: add by m2/dev
Newton's second law in three dimensions DJZHTY7XF8
| URI | m2://inv/DJZHTY7XF8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rigid body dynamics#UF24, Newton's second law in three dimensions (statement)
History
- 2026-11-02: add by m2/dev
Existence of ground state DJZSZP3QNZ
| URI | m2://inv/DJZSZP3QNZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15460#HXYS, Existence of ground state (statement). In T2Z3D2VQ9B/e1, proposition 2.2
History
- 2026-10-28: add by m2/v0.4.2
Applications DJZVG64P1K
| URI | m2://inv/DJZVG64P1K |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pancake graph#Z98Y, Applications (example)
History
- 2026-11-02: add by m2/dev