Inventory rows 8J
The cards of the rows of the inventory whose ids start with 8J. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Algebraic link 8J04RKV6B3
| URI | m2://inv/8J04RKV6B3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of knot theory topics#EICU, Algebraic link (definition)
History
- 2026-11-02: add by m2/dev
Spacelikeness via compactness 8J05K518BD
| URI | m2://inv/8J05K518BD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 51-XX, 52-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.25449#59QG, Spacelikeness via compactness (statement). In 9JHMTYGWFQ/e1, lemma 10.1
History
- 2026-10-27: add by m2/v0.3.6
8J0B9GCXT7 8J0B9GCXT7
| URI | m2://inv/8J0B9GCXT7 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-119 (exercise). In VNMV985MXX, exercise, section 2.4
History
- 2026-11-01: add by m2/v0.6.13
Crispin Nash-Williams 8J0EPKFHAD
| URI | m2://inv/8J0EPKFHAD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#BBB0, Crispin Nash-Williams (topic)
History
- 2026-11-02: add by m2/dev
8J0GKPK3AK 8J0GKPK3AK
| URI | m2://inv/8J0GKPK3AK |
|---|---|
| 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#2ONP (statement). In 6KR7Z5ETRY/e1, lemma 3.14
History
- 2026-10-27: add by m2/v0.3.5
Dual functor 8J0J8VPMPK
| URI | m2://inv/8J0J8VPMPK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Functor#55KR, Dual functor (unknown)
History
- 2026-11-02: add by m2/dev
8J0K4F9WWD 8J0K4F9WWD
| URI | m2://inv/8J0K4F9WWD |
|---|---|
| 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.37893#QGSQ (statement). In 8H0KHK7AMN/e1, lemma 4.6
History
- 2026-10-30: add by m2/v0.4.12
Example 8J0VY2AHSC
| URI | m2://inv/8J0VY2AHSC |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trembling hand perfect equilibrium#HKPE, Example (example)
History
- 2026-11-02: add by m2/dev
Dietrich Stoyan 8J1F6RDAAH
| URI | m2://inv/8J1F6RDAAH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dietrich Stoyan, Dietrich Stoyan (topic). Also Wikidata Q110433
History
- 2026-11-02: add by m2/dev
Giovanni Paradisi 8J1NAR310M
| URI | m2://inv/8J1NAR310M |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Giovanni Paradisi, Giovanni Paradisi (topic). Also Wikidata Q3107305
History
- 2026-11-02: add by m2/dev
8J1Q293YA0 8J1Q293YA0
| URI | m2://inv/8J1Q293YA0 |
|---|---|
| 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.16554#DB6J (statement). In GWNT8HEZG1/e1, proposition 4.21
History
- 2026-10-27: add by m2/v0.3.6
arithmetic progression 8J1S6GM83G
| URI | m2://inv/8J1S6GM83G |
|---|---|
| Kind | definition |
| Layer | textbook |
| MSC | 11B25 |
| Sources | 2 |
| Outcome | open |
| Node | Arithmetic progression S70JBRSQZX |
Mentions
- wikidata: Wikidata Q170008, arithmetic progression (topic). Also MathWorld ArithmeticProgression
- wikipedia: Wikipedia Arithmetic progression, Arithmetic progression (definition). Also Wikidata Q170008
History
- 2026-10-26: add by m2/dev
Neumann heat asymptotics and divergence remainders 8J1S89T22F
| URI | m2://inv/8J1S89T22F |
|---|---|
| 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.13613#LFU1, Neumann heat asymptotics and divergence remainders (statement). In 3HCT4TQ5PM/e1, lemma 8.5
History
- 2026-10-28: add by m2/v0.4.2
8J24XSPBEE 8J24XSPBEE
| URI | m2://inv/8J24XSPBEE |
|---|---|
| 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.00241#7RYI (statement). In VBRQTN2RXN/e1, lemma 3.6
History
- 2026-10-30: add by m2/v0.4.12
James compactness criterion 8J2HSY7QMA
| URI | m2://inv/8J2HSY7QMA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia James's theorem#DVQH, James compactness criterion (statement)
History
- 2026-11-02: add by m2/dev
8J2PE927XS 8J2PE927XS
| URI | m2://inv/8J2PE927XS |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section6-2.xml#example-orthog-comp-line (example). In 649HGZKE96, example, section 6.2.2
History
- 2026-11-01: add by m2/v0.6.13
8J2R2Z0ZTB 8J2R2Z0ZTB
| URI | m2://inv/8J2R2Z0ZTB |
|---|---|
| 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 2610.13951#YXP5 (statement). In BDV8G2CV16/e1, proposition 3
History
- 2026-10-28: add by m2/v0.4.2
8J2TEZ70YT 8J2TEZ70YT
| URI | m2://inv/8J2TEZ70YT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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.20801#RO3T (statement). In A1GWWGRXPA/e1, lemma 6.11
History
- 2026-10-27: add by m2/v0.4.2
8J2V0NGSN5 8J2V0NGSN5
| URI | m2://inv/8J2V0NGSN5 |
|---|---|
| Kind | example |
| 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.32174#HE0J (example). In GHKR740SG3/e1, example 3.10
History
- 2026-10-31: add by m2/v0.5.6
As new axioms 8J2Y9Y471V
| URI | m2://inv/8J2Y9Y471V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reflection principle#L4AT, As new axioms (statement)
History
- 2026-11-02: add by m2/dev
8J30N1Y2BQ 8J30N1Y2BQ
| URI | m2://inv/8J30N1Y2BQ |
|---|---|
| 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 2108.10246#MG01 (statement). In XD0YT3XCW2/e1, proposition 3.3
History
- 2026-10-27: add by m2/v0.3.5
Algorithms for solving polynomial equations 8J340F451P
| URI | m2://inv/8J340F451P |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polynomial#9YF4, Algorithms for solving polynomial equations (unknown)
History
- 2026-11-02: add by m2/dev
8J35YJX2G6 8J35YJX2G6
| URI | m2://inv/8J35YJX2G6 |
|---|---|
| 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 2610.15037#CC4Q (definition). In 9XCA9T80GJ/e1, definition 3.1.1
History
- 2026-10-28: add by m2/v0.4.2
8J37E67MM4 8J37E67MM4
| URI | m2://inv/8J37E67MM4 |
|---|---|
| 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.15528#BZMU (statement). In G9GEE64N32/e1, lemma 4.1
History
- 2026-10-28: add by m2/v0.4.2
8J38B3EAM8 8J38B3EAM8
| URI | m2://inv/8J38B3EAM8 |
|---|---|
| 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.19088#SEBU (statement). In 90QTB4CC31/e1, theorem 2.9
History
- 2026-10-28: add by m2/v0.4.2
Stern–Brocot tree 8J3G7YWAV2
| URI | m2://inv/8J3G7YWAV2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q599079, Stern–Brocot tree (unknown). Also MathWorld Stern-BrocotTree
- wikipedia: Wikipedia Stern–Brocot tree, Stern–Brocot tree (definition). Also Wikidata Q599079
History
- 2026-10-26: add by m2/dev
Theorem 8J3SQGGY5Q
| URI | m2://inv/8J3SQGGY5Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Better-quasi-ordering#0YEH, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Theorems 8J4MSJ3QTB
| URI | m2://inv/8J4MSJ3QTB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/intuitionistic-logic/introduction/axiomatic-derivations.tex#defn-4, Theorems (definition). In PKGMM3P5QY, defn, section 31.1
History
- 2026-11-01: add by m2/v0.6.13
Gravity assist 8J4VAWR4FR
| URI | m2://inv/8J4VAWR4FR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gravity assist, Gravity assist (definition). Also Wikidata Q223776
History
- 2026-11-02: add by m2/dev
Uniform anti-concentration bound 8J4WZWFWPR
| URI | m2://inv/8J4WZWFWPR |
|---|---|
| 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.24675#LMQ9, Uniform anti-concentration bound (statement)
History
- 2026-11-01: add by m2/v0.6.15
8J4X0GVBTJ 8J4X0GVBTJ
| URI | m2://inv/8J4X0GVBTJ |
|---|---|
| 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.35597#TY2N (statement). In K424GCJ50P/e1, theorem 6.1
History
- 2026-10-30: add by m2/v0.4.12
semiperfect 8J4ZHN6JD7
| URI | m2://inv/8J4ZHN6JD7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of ring theory#68LU, semiperfect (definition)
History
- 2026-11-02: add by m2/dev
tetrahedral graph 8J4ZYB9YSC
| URI | m2://inv/8J4ZYB9YSC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3115620, tetrahedral graph (unknown). Also House of Graphs 74, MathWorld TetrahedralGraph
History
- 2026-10-26: add by m2/dev
8J54KTXH4V 8J54KTXH4V
| URI | m2://inv/8J54KTXH4V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24465#ZQH1 (statement)
History
- 2026-11-01: add by m2/v0.6.15
8J5CFSVR5R 8J5CFSVR5R
| URI | m2://inv/8J5CFSVR5R |
|---|---|
| Kind | conjecture |
| 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.26922#4C6Q (conjecture)
History
- 2026-11-01: add by m2/v0.6.15
Piecewise function 8J5MABCWTR
| URI | m2://inv/8J5MABCWTR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of types of functions#6456, Piecewise function (definition)
History
- 2026-11-02: add by m2/dev
8J5RQT33K3 8J5RQT33K3
| URI | m2://inv/8J5RQT33K3 |
|---|---|
| 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.03497#TJF5 (definition). In RRNHC0CAC9/e1, definition
History
- 2026-10-29: add by m2/v0.4.12
Multiplication Formula 8J5S7EG3EZ
| URI | m2://inv/8J5S7EG3EZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elliptic gamma function#YY73, Multiplication Formula (statement)
History
- 2026-11-02: add by m2/dev
GFRC encoding matrix 8J5SZDSVSE
| URI | m2://inv/8J5SZDSVSE |
|---|---|
| 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.20087#91CW, GFRC encoding matrix (definition). In ZRE2WQR5XA/e1, definition IV.10
History
- 2026-10-27: add by m2/v0.4.2
Malmquist bias 8J5ZMS4SSZ
| URI | m2://inv/8J5ZMS4SSZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Malmquist bias, Malmquist bias (definition). Also Wikidata Q1094054
History
- 2026-11-02: add by m2/dev
8J5ZP7V7MT 8J5ZP7V7MT
| URI | m2://inv/8J5ZP7V7MT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31986#GM3T (statement). In 8WR0AEDAHT/e1, proposition 25
History
- 2026-10-31: add by m2/v0.5.6
8J65V3D9HD 8J65V3D9HD
| URI | m2://inv/8J65V3D9HD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37815#GOYV (statement). In SVJYA0171G/e1, lemma 2.5
History
- 2026-10-30: add by m2/v0.4.12
Optimal discrepancy--Gaussian tradeoff 8J66MB1WJN
| URI | m2://inv/8J66MB1WJN |
|---|---|
| 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 2609.38228#F73X, Optimal discrepancy--Gaussian tradeoff (statement). In 9YAE8FNQST/e1, theorem 1.2
History
- 2026-10-30: add by m2/v0.4.12
8J6A6N8YB3 8J6A6N8YB3
| URI | m2://inv/8J6A6N8YB3 |
|---|---|
| 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 2610.02983#OTVR (statement). In HMNKENER22/e1, corollary 2.2
History
- 2026-10-29: add by m2/v0.4.12
8J6E2526FK 8J6E2526FK
| URI | m2://inv/8J6E2526FK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 53-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26269#JTJO (statement)
History
- 2026-11-01: add by m2/v0.6.15
Quantized Weyl algebra 8J6E3A31ZE
| URI | m2://inv/8J6E3A31ZE |
|---|---|
| Kind | example |
| 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.38131#CRSN, Quantized Weyl algebra (example). In GM3S19KFDH/e1, example 2.5
History
- 2026-10-30: add by m2/v0.4.12
Reese Prosser 8J6KRGP0WR
| URI | m2://inv/8J6KRGP0WR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reese Prosser, Reese Prosser (topic). Also Wikidata Q7307002
History
- 2026-11-02: add by m2/dev
Harris Hancock 8J74YDG8QA
| URI | m2://inv/8J74YDG8QA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Harris Hancock, Harris Hancock (topic). Also Wikidata Q18911290
History
- 2026-11-02: add by m2/dev
Ehresmann's theorem 8J78FR2PDY
| URI | m2://inv/8J78FR2PDY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Period mapping#03VN, Ehresmann's theorem (statement)
History
- 2026-11-02: add by m2/dev
8J7CSHCW52 8J7CSHCW52
| URI | m2://inv/8J7CSHCW52 |
|---|---|
| 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.21994#GIKI (statement)
History
- 2026-11-02: add by m2/v0.6.17
8J7M4DC5SQ 8J7M4DC5SQ
| URI | m2://inv/8J7M4DC5SQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-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.01919#ORVA (statement). In 4H727T2YAS/e1, theorem 4.9
History
- 2026-10-29: add by m2/v0.4.12
8J7MK6AMG6 8J7MK6AMG6
| URI | m2://inv/8J7MK6AMG6 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08935#9JEE (definition). In G02N9D40B9/e1, definition 3.1.1
History
- 2026-10-29: add by m2/v0.4.10
Representation theory of Hopf algebras 8J7T521N91
| URI | m2://inv/8J7T521N91 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of representation theory topics#8I7D, Representation theory of Hopf algebras (topic)
- wikipedia: Wikipedia List of abstract algebra topics#5EF8, Representation theory of Hopf algebras (topic)
History
- 2026-11-02: add by m2/dev
The two scalars along the conditional family 8J7XT6XV4T
| URI | m2://inv/8J7XT6XV4T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27765#QXUO, The two scalars along the conditional family (statement)
History
- 2026-11-01: add by m2/v0.6.15
Parabolic points 8J83F24HVV
| URI | m2://inv/8J83F24HVV |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2411.17227#AMGW, Parabolic points (definition). In DDNP38CHQJ/e1, definition 3.4
History
- 2026-10-27: add by m2/v0.3.5
8J83YNDBVX 8J83YNDBVX
| URI | m2://inv/8J83YNDBVX |
|---|---|
| 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.04809#RU7K (statement). In 2VHV0RNTNV/e1, theorem 8.17
History
- 2026-10-29: add by m2/v0.4.12
8J84TVJ9DJ 8J84TVJ9DJ
| URI | m2://inv/8J84TVJ9DJ |
|---|---|
| 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.01015#CEEY (statement). In PSH07NKZ62/e1, corollary 15
History
- 2026-10-29: add by m2/v0.4.12
Great orthogonality theorem 8J886F9VB8
| URI | m2://inv/8J886F9VB8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#N6K5, Great orthogonality theorem (definition)
History
- 2026-11-02: add by m2/dev
Arthur Percy Morris Fleming 8J89GSBPC7
| URI | m2://inv/8J89GSBPC7 |
|---|---|
| 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#FI5A, Arthur Percy Morris Fleming (unknown)
History
- 2026-11-02: add by m2/dev
roulette 8J8AY17GBJ
| URI | m2://inv/8J8AY17GBJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2810237, roulette (unknown). Also MathWorld Roulette
- wikipedia: Wikipedia Roulette (curve), Roulette (definition). Also Wikidata Q2810237
History
- 2026-10-26: add by m2/dev
Minterms 8J8H8ZX01H
| URI | m2://inv/8J8H8ZX01H |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Canonical normal form#WSN6, Minterms (unknown)
History
- 2026-11-02: add by m2/dev
Pretzel link 8J8P126W28
| URI | m2://inv/8J8P126W28 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical knots and links#V61A, Pretzel link (definition)
History
- 2026-11-02: add by m2/dev
8J8QJGJGDK 8J8QJGJGDK
| URI | m2://inv/8J8QJGJGDK |
|---|---|
| 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.16060#FX74 (statement). In X0BTF9HPGM/e1, lemma 3.9
History
- 2026-10-28: add by m2/v0.4.2
8J8ZBT4VRB 8J8ZBT4VRB
| URI | m2://inv/8J8ZBT4VRB |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-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.26417#U0UQ (definition)
History
- 2026-11-01: add by m2/v0.6.15
8J9928G953 8J9928G953
| URI | m2://inv/8J9928G953 |
|---|---|
| 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#FYTU (statement)
History
- 2026-11-01: add by m2/v0.6.15
StatCounter 8J99E6KP6R
| URI | m2://inv/8J99E6KP6R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia StatCounter, StatCounter (definition). Also Wikidata Q3497284
History
- 2026-11-02: add by m2/dev
8J9B017ZR2 8J9B017ZR2
| URI | m2://inv/8J9B017ZR2 |
|---|---|
| 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.24584#L0TI (statement)
History
- 2026-11-01: add by m2/v0.6.15
8J9TWZ1JF8 8J9TWZ1JF8
| URI | m2://inv/8J9TWZ1JF8 |
|---|---|
| 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 2609.35538#JJQ8 (statement). In 87TWXCBZ4M/e1, proposition 5
History
- 2026-10-30: add by m2/v0.4.12
Global rigidity through degree seven 8J9V4T6MDN
| URI | m2://inv/8J9V4T6MDN |
|---|---|
| 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.26152#AVRQ, Global rigidity through degree seven (statement)
History
- 2026-11-01: add by m2/v0.6.15
Henna Koivusalo 8J9XZ62DQA
| URI | m2://inv/8J9XZ62DQA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Henna Koivusalo, Henna Koivusalo (topic). Also Wikidata Q102411584
History
- 2026-11-02: add by m2/dev
8J9ZTH1B4J 8J9ZTH1B4J
| URI | m2://inv/8J9ZTH1B4J |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 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 2303.09207#BUEQ (definition). In 9DQKY7KGE8/e1, definition B.22
History
- 2026-10-31: add by m2/v0.5.6
The exact common-neighbor kernel 8JA04B4ANT
| URI | m2://inv/8JA04B4ANT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33365#4LNL, The exact common-neighbor kernel (statement). In MCXCMR7V0T/e1, proposition 16
History
- 2026-10-30: add by m2/v0.4.12
Evidence for and against the Kummer–Vandiver conjecture 8JA1695WP1
| URI | m2://inv/8JA1695WP1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kummer–Vandiver conjecture#2UJO, Evidence for and against the Kummer–Vandiver conjecture (statement)
History
- 2026-11-02: add by m2/dev
inertia 8JA8TW1YYM
| URI | m2://inv/8JA8TW1YYM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of invariant theory#1KRM, inertia (definition)
History
- 2026-11-02: add by m2/dev
Claus Michael Ringel 8JA9Q85TPS
| URI | m2://inv/8JA9Q85TPS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Claus Michael Ringel, Claus Michael Ringel (topic). Also Wikidata Q14915113
History
- 2026-11-02: add by m2/dev
8JAF6W65QK 8JAF6W65QK
| URI | m2://inv/8JAF6W65QK |
|---|---|
| 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.14692#2DYN (statement). In NE5EH5FXRV/e1, lemma 4.12
History
- 2026-10-27: add by m2/v0.3.5
8JANMS9C69 8JANMS9C69
| URI | m2://inv/8JANMS9C69 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21703#TJQH (definition)
History
- 2026-11-02: add by m2/v0.6.18
8JANY0F9XP 8JANY0F9XP
| URI | m2://inv/8JANY0F9XP |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/quotient.tex#example-5 (example). In RZP28ERRZV, example, section 3.1
History
- 2026-11-01: add by m2/v0.6.13
430 (number) 8JB8ZK46GZ
| URI | m2://inv/8JB8ZK46GZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 400 (number)#13M7, 430 (number) (unknown)
History
- 2026-11-02: add by m2/dev
8JBB7SW53J 8JBB7SW53J
| URI | m2://inv/8JBB7SW53J |
|---|---|
| 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 2610.22247#RJ2Q (statement). In SBNH1MWND8/e1, lemma 8
History
- 2026-10-27: add by m2/v0.4.0
8JBGKCD63Z 8JBGKCD63Z
| URI | m2://inv/8JBGKCD63Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1910.05504#808B (statement). In 6ZR1NC9Z1S/e1, lemma 4.1
History
- 2026-10-27: add by m2/v0.3.5
8JBM9VN0FY 8JBM9VN0FY
| URI | m2://inv/8JBM9VN0FY |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-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 2208.13855#HV06 (definition). In GJKRVZ5YN5/e1, definition Definition
History
- 2026-10-27: add by m2/v0.3.5
Weierstrass approximation theorem 8JBTEEWYTR
| URI | m2://inv/8JBTEEWYTR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probabilistic proofs of non-probabilistic theorems#IEYM, Weierstrass approximation theorem (statement)
History
- 2026-11-02: add by m2/dev
Trial division 8JBZAT2QBA
| URI | m2://inv/8JBZAT2QBA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of number theory topics#AADN, Trial division (definition)
History
- 2026-11-02: add by m2/dev
Probabilities and Potential 8JBZT99A71
| URI | m2://inv/8JBZT99A71 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Probabilities and Potential, Probabilities and Potential (definition). Also Wikidata Q136211053
History
- 2026-11-02: add by m2/dev
Small-distortion normalization 8JC5RD87J7
| URI | m2://inv/8JC5RD87J7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28014#0R96, Small-distortion normalization (statement)
History
- 2026-11-01: add by m2/v0.6.15
Linear control laws 8JC8FPPWY4
| URI | m2://inv/8JC8FPPWY4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Separation principle in stochastic control#ZEWF, Linear control laws (statement)
History
- 2026-11-02: add by m2/dev
Examples 8JC9RAKA2D
| URI | m2://inv/8JC9RAKA2D |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Regular homotopy#FLQR, Examples (example)
History
- 2026-11-02: add by m2/dev
Examples 8JCAX3C16S
| URI | m2://inv/8JCAX3C16S |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Valuation (measure theory)#4A0C, Examples (example)
History
- 2026-11-02: add by m2/dev
8JCNNWKV5Y 8JCNNWKV5Y
| URI | m2://inv/8JCNNWKV5Y |
|---|---|
| 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.35669#IFLB (statement). In 8380G43M8E/e1, theorem 1.2
History
- 2026-10-30: add by m2/v0.4.12
8JCP76102P 8JCP76102P
| URI | m2://inv/8JCP76102P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-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 2404.14253#LGT2 (statement). In R7W38A039X/e1, corollary 6.3
History
- 2026-10-27: add by m2/v0.3.6
Four Roads 8JD1MFZXSW
| URI | m2://inv/8JD1MFZXSW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#F66P, Four Roads (unknown)
History
- 2026-11-02: add by m2/dev
8JD3CK8SM4 8JD3CK8SM4
| URI | m2://inv/8JD3CK8SM4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1809.06512#UIYV (statement). In RY2X22P6XW/e1, corollary 16
History
- 2026-10-27: add by m2/v0.3.5
Properties 8JD3K187E6
| URI | m2://inv/8JD3K187E6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia FK-space#42IU, Properties (statement)
History
- 2026-11-02: add by m2/dev
8JD4XPZZHE 8JD4XPZZHE
| URI | m2://inv/8JD4XPZZHE |
|---|---|
| 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.36423#KBNJ (statement). In Q5Z178SAHP/e1, theorem 3.1
History
- 2026-10-30: add by m2/v0.4.12
8JD7AH55K2 8JD7AH55K2
| URI | m2://inv/8JD7AH55K2 |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 37-XX, 53-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26269#DVIK (problem)
History
- 2026-11-01: add by m2/v0.6.15
Edith Baumann 8JDBE4SV9S
| URI | m2://inv/8JDBE4SV9S |
|---|---|
| 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#OGQ1, Edith Baumann (unknown)
History
- 2026-11-02: add by m2/dev
Andrew Booker 8JDG117QCM
| URI | m2://inv/8JDG117QCM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Andrew Booker (mathematician), Andrew Booker (topic). Also Wikidata Q85001229
History
- 2026-11-02: add by m2/dev
8JDH34JDV0 8JDH34JDV0
| URI | m2://inv/8JDH34JDV0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks 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.28295#K1QT (statement)
History
- 2026-11-01: add by m2/v0.6.15
Generalizations 8JDNYW3QNE
| URI | m2://inv/8JDNYW3QNE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coprime integers#ZT4Y, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
8JDR7Y19HJ 8JDR7Y19HJ
| URI | m2://inv/8JDR7Y19HJ |
|---|---|
| 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.31783#G5UW (statement). In CGNVT4C47F/e1, corollary 5.3
History
- 2026-10-31: add by m2/v0.5.6
traumatic event 8JDXB1KB9C
| URI | m2://inv/8JDXB1KB9C |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cognitive biases#I4Z8, traumatic event (unknown)
History
- 2026-11-02: add by m2/dev
8JDXBES7BK 8JDXBES7BK
| URI | m2://inv/8JDXBES7BK |
|---|---|
| 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.20466#HL9X (statement). In M4ZVJWM8YA/e1, theorem 2.5
History
- 2026-10-27: add by m2/v0.4.2
8JE0D6DS0F 8JE0D6DS0F
| URI | m2://inv/8JE0D6DS0F |
|---|---|
| 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.26713#0RNE (definition)
History
- 2026-11-01: add by m2/v0.6.15
Applications 8JE25EZ3H3
| URI | m2://inv/8JE25EZ3H3 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Method of Four Russians#YUAY, Applications (example)
History
- 2026-11-02: add by m2/dev
Quintic nonlinearity 8JE2WQ0X91
| URI | m2://inv/8JE2WQ0X91 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11968#UR7U, Quintic nonlinearity (statement). In X6E7P2ACAS/e1, corollary 1.6
History
- 2026-10-28: add by m2/v0.4.3
Multi-objective optimization 8JE6ZFG6VG
| URI | m2://inv/8JE6ZFG6VG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multi-objective optimization, Multi-objective optimization (definition). Also Wikidata Q2052203
History
- 2026-11-02: add by m2/dev
No polynomial average-iterate rate with polylogarithmic confidence 8JER7M11J0
| URI | m2://inv/8JER7M11J0 |
|---|---|
| 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.32729#OWHA, No polynomial average-iterate rate with polylogarithmic confidence (statement). In PGJ37WRB1K/e1, theorem 3.5
History
- 2026-10-31: add by m2/v0.5.6
Jeanne N. Clelland 8JETTEBD8J
| URI | m2://inv/8JETTEBD8J |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jeanne N. Clelland, Jeanne N. Clelland (topic). Also Wikidata Q56223077
History
- 2026-11-02: add by m2/dev
unit 8JF2F9AYSJ
| URI | m2://inv/8JF2F9AYSJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of ring theory#8LR4, unit (definition)
History
- 2026-11-02: add by m2/dev
Theorem 8JF3HM7AGD
| URI | m2://inv/8JF3HM7AGD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graph C*-algebra#AG5W, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Randomized windowed-periodogram limit 8JF52E3KGF
| URI | m2://inv/8JF52E3KGF |
|---|---|
| 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.27961#0LJ2, Randomized windowed-periodogram limit (statement)
History
- 2026-11-01: add by m2/v0.6.15
John Sanderson 8JF9MS2HF2
| URI | m2://inv/8JF9MS2HF2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia John Sanderson (priest), John Sanderson (topic). Also Wikidata Q15990265
History
- 2026-11-02: add by m2/dev
Curve normal vector 8JF9RV4NRX
| URI | m2://inv/8JF9RV4NRX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Normal (geometry)#GV5R, Curve normal vector (unknown)
History
- 2026-11-02: add by m2/dev
8JFJMSPF9Y 8JFJMSPF9Y
| URI | m2://inv/8JFJMSPF9Y |
|---|---|
| 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 2405.05684#E05Y (statement). In 1PR73ECTZB/e1, proposition 7
History
- 2026-10-27: add by m2/v0.3.5
List of second-generation mathematicians 8JG5S6AHGS
| URI | m2://inv/8JG5S6AHGS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of second-generation mathematicians, List of second-generation mathematicians (topic). Also Wikidata Q133896343
History
- 2026-11-02: add by m2/dev
8JG9KH12A4 8JG9KH12A4
| URI | m2://inv/8JG9KH12A4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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 2503.22636#JSHE (statement). In 2X2A6MT0QD/e1, lemma 2.19
History
- 2026-10-27: add by m2/v0.3.5
The three non-$\SL$ cases all force finite monodromy 8JGE4BWAJM
| URI | m2://inv/8JGE4BWAJM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 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.04099#IJ4H, The three non-$\SL$ cases all force finite monodromy (statement). In QPJ6FWG5HD/e1, proposition 2.35
History
- 2026-10-29: add by m2/v0.4.12
8JGEDJ03NN 8JGEDJ03NN
| URI | m2://inv/8JGEDJ03NN |
|---|---|
| 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.16358#JGV9 (statement). In RJA3YJ9NYK/e1, lemma 3.7
History
- 2026-10-28: add by m2/v0.4.2
Example 8JGJYYRHJ9
| URI | m2://inv/8JGJYYRHJ9 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Psychometric function#TGWY, Example (example)
History
- 2026-11-02: add by m2/dev
MK axioms and ontology 8JGV4N9158
| URI | m2://inv/8JGV4N9158 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Morse–Kelley set theory#Z4HJ, MK axioms and ontology (statement)
History
- 2026-11-02: add by m2/dev
Nichols-Zoeller freeness theorem 8JGVATY2KE
| URI | m2://inv/8JGVATY2KE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hopf algebra#OZL4, Nichols-Zoeller freeness theorem (unknown)
History
- 2026-11-02: add by m2/dev
8JH24PVGVX 8JH24PVGVX
| URI | m2://inv/8JH24PVGVX |
|---|---|
| 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.03292#HFTT (statement). In SN2PBM95HT/e1, theorem 3.1
History
- 2026-10-29: add by m2/v0.4.12
Rudolf Haag 8JH842RNVC
| URI | m2://inv/8JH842RNVC |
|---|---|
| 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 Q91636, Rudolf Haag (unknown). Also nLab Rudolf Haag
History
- 2026-10-26: add by m2/dev
General FRS inner approximation with changed dynamics 8JHBXZ2D13
| URI | m2://inv/8JHBXZ2D13 |
|---|---|
| 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 2203.10220#I1UV, General FRS inner approximation with changed dynamics (statement). In FX2SD1GFHT/e1, theorem 2
History
- 2026-10-27: add by m2/v0.3.5
Edna Grossman 8JHCV71T77
| URI | m2://inv/8JHCV71T77 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#TXBV, Edna Grossman (topic)
History
- 2026-11-02: add by m2/dev
Spectral theorem 8JHZF8RGQ6
| URI | m2://inv/8JHZF8RGQ6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trace class#N5SM, Spectral theorem (statement)
History
- 2026-11-02: add by m2/dev
8JJ1AZB6TM 8JJ1AZB6TM
| URI | m2://inv/8JJ1AZB6TM |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21914#98B8 (definition)
History
- 2026-11-02: add by m2/v0.6.17
Normalization of the residual additive character 8JJ1RMJPND
| URI | m2://inv/8JJ1RMJPND |
|---|---|
| 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 2610.10583#HL83, Normalization of the residual additive character (statement). In 5BZQS1KY9A/e1, lemma 2.7
History
- 2026-10-29: add by m2/v0.4.10
Approximate mean-field comparison for the Exclusion Process 8JJ43VF8J9
| URI | m2://inv/8JJ43VF8J9 |
|---|---|
| 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.31187#5LQK, Approximate mean-field comparison for the Exclusion Process (statement). In 2535DQ1DEG/e1, corollary 3
History
- 2026-10-31: add by m2/v0.5.6
restriction rank 8JJDQX63Q2
| URI | m2://inv/8JJDQX63Q2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02289#KC2H, restriction rank (statement). In 67BZ87CQ74/e1, proposition 5.1
History
- 2026-10-29: add by m2/v0.4.12
8JJF5V0Z9M 8JJF5V0Z9M
| URI | m2://inv/8JJF5V0Z9M |
|---|---|
| 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.20018#VDCJ (statement)
History
- 2026-11-02: add by m2/v0.6.18
8JJJ144ZR9 8JJJ144ZR9
| URI | m2://inv/8JJJ144ZR9 |
|---|---|
| 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.08658#BI8U (statement). In 7PK5WS7246/e1, lemma 2.2
History
- 2026-10-29: add by m2/v0.4.10
Giovanni Forni 8JJRGC3FC7
| URI | m2://inv/8JJRGC3FC7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Giovanni Forni, Giovanni Forni (topic). Also Wikidata Q20708632
History
- 2026-11-02: add by m2/dev
Remark 8JJTGG3B0X
| URI | m2://inv/8JJTGG3B0X |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Grönwall's inequality#CD9G, Remark (unknown)
History
- 2026-11-02: add by m2/dev
8JK1BVFVDJ 8JK1BVFVDJ
| URI | m2://inv/8JK1BVFVDJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2608.24606#PNSF (statement). In VFV3FFB7Q7/e1, lemma 6
History
- 2026-10-27: add by m2/v0.3.5
Quantum computing 8JK1D8F648
| URI | m2://inv/8JK1D8F648 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical topics in quantum theory#Y86O, Quantum computing (definition)
History
- 2026-11-02: add by m2/dev
Sander Greenland 8JK3PF28M3
| URI | m2://inv/8JK3PF28M3 |
|---|---|
| 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#XEWQ, Sander Greenland (unknown)
History
- 2026-11-02: add by m2/dev
two scalar approximation problems 8JK4511XNY
| URI | m2://inv/8JK4511XNY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08016#LMCN, two scalar approximation problems (statement). In YR3CSTYEJW/e1, corollary 7.9
History
- 2026-10-29: add by m2/v0.4.10
8JKAXTNTEQ 8JKAXTNTEQ
| URI | m2://inv/8JKAXTNTEQ |
|---|---|
| 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.26401#WYQK (statement)
History
- 2026-11-01: add by m2/v0.6.15
Amenable number 8JKTF8Y1GR
| URI | m2://inv/8JKTF8Y1GR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of recreational number theory topics#GY5B, Amenable number (definition)
History
- 2026-11-02: add by m2/dev
José-Miguel Bernardo 8JKTRDMSHT
| URI | m2://inv/8JKTRDMSHT |
|---|---|
| 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#XZQ6, José-Miguel Bernardo (unknown)
History
- 2026-11-02: add by m2/dev
8JM4C9RT13 8JM4C9RT13
| URI | m2://inv/8JM4C9RT13 |
|---|---|
| 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.19853#XI96 (statement). In BDD1M5GZR3/e1, lemma 3.1
History
- 2026-10-28: add by m2/v0.4.2
Theorem 8JMW6JER9N
| URI | m2://inv/8JMW6JER9N |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Topological rigidity#LORB, Theorem (statement)
History
- 2026-11-02: add by m2/dev
8JN1DA7K8X 8JN1DA7K8X
| URI | m2://inv/8JN1DA7K8X |
|---|---|
| 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.15877#SV8E (definition). In F3W750X9N6/e1, definition 2.3
History
- 2026-10-28: add by m2/v0.4.2
Kimura model 8JN3BG4K55
| URI | m2://inv/8JN3BG4K55 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Models of DNA evolution#7IFL, Kimura model (unknown)
History
- 2026-11-02: add by m2/dev
8JN8A60M0X 8JN8A60M0X
| URI | m2://inv/8JN8A60M0X |
|---|---|
| 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.38838#1FT0 (statement). In 3EH8M9GWTX/e1, lemma 2.2
History
- 2026-10-30: add by m2/v0.4.12
8JNC1BXW7N 8JNC1BXW7N
| URI | m2://inv/8JNC1BXW7N |
|---|---|
| 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.20207#7RSY (statement). In 1MPH7GCFJ2/e1, lemma 6.3
History
- 2026-10-27: add by m2/v0.4.2
8JNFCXNZ13 8JNFCXNZ13
| URI | m2://inv/8JNFCXNZ13 |
|---|---|
| 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.00259#NOZA (statement). In CFXW6Z78G0/e1, lemma 2.1
History
- 2026-10-30: add by m2/v0.4.12
8JNFTDSDVB 8JNFTDSDVB
| URI | m2://inv/8JNFTDSDVB |
|---|---|
| Kind | problem |
| 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.16059#TPAF (problem). In 51W7AECQDA/e1, problem 1.6
History
- 2026-10-28: add by m2/v0.4.2
Yang–Mills existence and mass gap 8JNH0MFS2K
| URI | m2://inv/8JNH0MFS2K |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1078496, Yang–Mills existence and mass gap (statement). Also ProofWiki Yang-Mills_Existence_and_Mass_Gap
- wikipedia: Wikipedia Yang–Mills existence and mass gap, Yang–Mills existence and mass gap (conjecture). Also Wikidata Q1078496
History
- 2026-10-26: add by m2/dev
Theorem (Schoenberg criterion, independently shown by Young & Householder) 8JNQNKERJ5
| URI | m2://inv/8JNQNKERJ5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euclidean distance matrix#LL8Z, Theorem (Schoenberg criterion, independently shown by Young & Householder) (statement)
History
- 2026-11-02: add by m2/dev
Examples of $\mu(\OO_K)$ 8JNQPX4JR7
| URI | m2://inv/8JNQPX4JR7 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/pell.tex#example-2, Examples of $\mu(\OO_K)$ (example). In RZP28ERRZV, example, section 17.2
History
- 2026-11-01: add by m2/v0.6.13
8JNTZDDA5Z 8JNTZDDA5Z
| URI | m2://inv/8JNTZDDA5Z |
|---|---|
| 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 2610.21945#KOMF (statement). In 371P9QASSJ/e1, theorem 3.4
History
- 2026-10-27: add by m2/v0.4.2
0-ary function 8JNV5Z9HXH
| URI | m2://inv/8JNV5Z9HXH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arity#XGG9, 0-ary function (unknown)
History
- 2026-11-02: add by m2/dev
8JNY210VQ6 8JNY210VQ6
| URI | m2://inv/8JNY210VQ6 |
|---|---|
| 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.21403#XH4C (statement)
History
- 2026-11-02: add by m2/v0.6.18
azygetic 8JP331555E
| URI | m2://inv/8JP331555E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#U518, azygetic (definition)
History
- 2026-11-02: add by m2/dev
8JP44Z1KCS 8JP44Z1KCS
| URI | m2://inv/8JP44Z1KCS |
|---|---|
| Kind | example |
| 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 2401.14162#ESN2 (example). In JC1XF1JE6J/e1, example 3.6
History
- 2026-10-27: add by m2/v0.3.5
8JP75P783E 8JP75P783E
| URI | m2://inv/8JP75P783E |
|---|---|
| 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 2103.12669#RR52 (definition). In ZA6XNBA90V/e1, definition 1.29
History
- 2026-10-27: add by m2/v0.3.5
Construction 8JPF2G2PQ5
| URI | m2://inv/8JPF2G2PQ5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dulmage–Mendelsohn decomposition#VVLI, Construction (definition)
History
- 2026-11-02: add by m2/dev
Grigore Moisil 8JPMPFXZJ2
| URI | m2://inv/8JPMPFXZJ2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Grigore Moisil, Grigore Moisil (topic). Also Wikidata Q2546258
History
- 2026-11-02: add by m2/dev
Equivariant differential form 8JQCGEVZE2
| URI | m2://inv/8JQCGEVZE2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Equivariant differential form, Equivariant differential form (definition). Also Wikidata Q17010845
History
- 2026-11-02: add by m2/dev
8JQD4J298B 8JQD4J298B
| URI | m2://inv/8JQD4J298B |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/tableaux/proof-theoretic-notions.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 22.5
History
- 2026-11-01: add by m2/v0.6.13
Structure theorem for Gaussian measures 8JQD9Z809F
| URI | m2://inv/8JQD9Z809F |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#CEXS, Structure theorem for Gaussian measures (statement)
History
- 2026-11-02: add by m2/dev
=*{Definition 2.1 8JQFCW79MC
| URI | m2://inv/8JQFCW79MC |
|---|---|
| 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.36922#78P2, =*{Definition 2.1 (definition). In BMHWE5QTTR/e1, definition 4.6
History
- 2026-10-30: add by m2/v0.4.12
8JQG6M5X6C 8JQG6M5X6C
| URI | m2://inv/8JQG6M5X6C |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37520#PRH3 (definition). In BDN507RN7J/e1, definition 3.1.2
History
- 2026-10-30: add by m2/v0.4.12
8JQN27HHMJ 8JQN27HHMJ
| URI | m2://inv/8JQN27HHMJ |
|---|---|
| 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 Q14382 (unknown). Also ProofWiki Symbols:Greek/Beta
History
- 2026-10-26: add by m2/dev
$k$-canonical weight 8JQV548HH2
| URI | m2://inv/8JQV548HH2 |
|---|---|
| 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 2610.21454#94WG, $k$-canonical weight (definition). In ZP2RJFZ3V2/e1, definition 4.6
History
- 2026-10-27: add by m2/v0.4.2
Relative-function moments 8JR32CK1WS
| URI | m2://inv/8JR32CK1WS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15202#ZL3P, Relative-function moments (statement). In X1FPG0KYBM/e1, lemma S.1
History
- 2026-10-28: add by m2/v0.4.2
8JR3VF8RFY 8JR3VF8RFY
| URI | m2://inv/8JR3VF8RFY |
|---|---|
| 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.30637#R8T7 (statement). In 6G1KBA0SXV/e1, lemma 4.35
History
- 2026-10-31: add by m2/v0.5.6
LLT 8JR4SPZQQV
| URI | m2://inv/8JR4SPZQQV |
|---|---|
| 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#NFMM, LLT (statement). In WRE0P7V6Z3/e1, theorem D.20
History
- 2026-10-30: add by m2/v0.4.12
P-adically closed field 8JR64YP646
| URI | m2://inv/8JR64YP646 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia P-adically closed field, P-adically closed field (definition). Also Wikidata Q7116921
History
- 2026-11-02: add by m2/dev
significant figure 8JR69NHPXC
| URI | m2://inv/8JR69NHPXC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1056761, significant figure (unknown). Also MathWorld SignificantDigits
- wikipedia: Wikipedia Significant figures, Significant figures (definition). Also Wikidata Q1056761
History
- 2026-10-26: add by m2/dev
8JR7ES0JGY 8JR7ES0JGY
| URI | m2://inv/8JR7ES0JGY |
|---|---|
| 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.40138#7DJ6 (statement). In R60HR493TS/e1, lemma 2.6
History
- 2026-10-30: add by m2/v0.4.12
Definition 8JRAWKCFM7
| URI | m2://inv/8JRAWKCFM7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Z-channel (information theory)#18G9, Definition (definition)
History
- 2026-11-02: add by m2/dev
Beatty's theorem 8JRGN2R1B8
| URI | m2://inv/8JRGN2R1B8 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of number theory topics#5KN4, Beatty's theorem (object)
History
- 2026-11-02: add by m2/dev
8JRJG5DNDC 8JRJG5DNDC
| URI | m2://inv/8JRJG5DNDC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33856#67N2 (statement). In 47WN78VDDF/e1, theorem 3.12
History
- 2026-10-30: add by m2/v0.4.12
Examples 8JRVHRZ5GJ
| URI | m2://inv/8JRVHRZ5GJ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orthodox semigroup#Z00Y, Examples (example)
History
- 2026-11-02: add by m2/dev
Rathjen's psi function 8JS3F4979V
| URI | m2://inv/8JS3F4979V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rathjen's psi function, Rathjen's psi function (definition). Also Wikidata Q108782366
History
- 2026-11-02: add by m2/dev
8JS74DDHH1 8JS74DDHH1
| URI | m2://inv/8JS74DDHH1 |
|---|---|
| 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.36818#YKSF (statement). In SK6AP2B9JH/e1, proposition 5.3
History
- 2026-10-30: add by m2/v0.4.12
Regularity of the comparison density 8JSB5J6BVP
| URI | m2://inv/8JSB5J6BVP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 49-XX, 58-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05164#494C, Regularity of the comparison density (statement). In JY6RYSNXMJ/e1, lemma 10
History
- 2026-10-29: add by m2/v0.4.10
8JSBPPM43A 8JSBPPM43A
| URI | m2://inv/8JSBPPM43A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40214#K3VL (statement). In XD603HRHKC/e1, lemma 5.5
History
- 2026-10-30: add by m2/v0.4.12
Algorithm 8JSD5BSBVM
| URI | m2://inv/8JSD5BSBVM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Smith normal form#34WK, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
Holonomic constraints 8JSNVKGDHV
| URI | m2://inv/8JSNVKGDHV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Holonomic constraints, Holonomic constraints (definition). Also Wikidata Q1048005
History
- 2026-11-02: add by m2/dev
Cauchy's first law of motion 8JSRBJP1GW
| URI | m2://inv/8JSRBJP1GW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cauchy stress tensor#P53E, Cauchy's first law of motion (statement)
History
- 2026-11-02: add by m2/dev
Applications 8JSTVJHY5X
| URI | m2://inv/8JSTVJHY5X |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Leech lattice#L1PO, Applications (example)
History
- 2026-11-02: add by m2/dev
Skeleton-preserving perturbation 8JSVHE597Y
| URI | m2://inv/8JSVHE597Y |
|---|---|
| Kind | definition |
| 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.01937#NNIA, Skeleton-preserving perturbation (definition). In BAEDMM7YM5/e1, definition 32
History
- 2026-10-29: add by m2/v0.4.12
Petzval, József 8JT7AGETEC
| URI | m2://inv/8JT7AGETEC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Hungarian mathematicians#I35W, Petzval, József (unknown)
History
- 2026-11-02: add by m2/dev
8JT89SPRM8 8JT89SPRM8
| URI | m2://inv/8JT89SPRM8 |
|---|---|
| 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.04948#88T9 (statement). In TKHA291X5N/e1, theorem 2
History
- 2026-10-29: add by m2/v0.4.12
geometric realization 8JTG5F2R3Y
| URI | m2://inv/8JTG5F2R3Y |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/7.7.2/geometric-realization, geometric realization (concept). In N54F33XE07, index, section 7.7.2
History
- 2026-11-01: add by m2/v0.6.13
functor 8JTRZNFYW8
| URI | m2://inv/8JTRZNFYW8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#9ONV, functor (definition)
History
- 2026-11-02: add by m2/dev
Ulrike Sattler 8JTS0SE25F
| URI | m2://inv/8JTS0SE25F |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ulrike Sattler, Ulrike Sattler (topic). Also Wikidata Q7879911
History
- 2026-11-02: add by m2/dev
Geometric batching removes the logarithm 8JTTHY2DMM
| URI | m2://inv/8JTTHY2DMM |
|---|---|
| Kind | statement |
| 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 2610.00295#AIW4, Geometric batching removes the logarithm (statement). In 7HXP270BD0/e1, theorem 5.5
History
- 2026-10-30: add by m2/v0.4.12
8JTVBHA934 8JTVBHA934
| URI | m2://inv/8JTVBHA934 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 19-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.23527#5YUF (definition)
History
- 2026-11-02: add by m2/v0.6.17
derivative, power function 8JTVXVPFS9
| URI | m2://inv/8JTVXVPFS9 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus index/2.1.3/derivative-power-function, derivative, power function (concept). In 907G4C4EJ1, index, section 2.1.3
History
- 2026-11-01: add by m2/v0.6.13
8JTZCEQE07 8JTZCEQE07
| URI | m2://inv/8JTZCEQE07 |
|---|---|
| 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.02628#GL0U (statement). In G4S9C5M1A4/e1, proposition C.7
History
- 2026-10-29: add by m2/v0.4.12
8JV2ACXR82 8JV2ACXR82
| URI | m2://inv/8JV2ACXR82 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2312.14319#BB3P (definition). In V0S2EZ53GB/e1, definition 1.5
History
- 2026-10-27: add by m2/v0.3.5
8JV62QCSS2 8JV62QCSS2
| URI | m2://inv/8JV62QCSS2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36141#JTO8 (statement). In F1WNDBMKSZ/e1, proposition 4.1
History
- 2026-10-30: add by m2/v0.4.12
8JV6754GFR 8JV6754GFR
| URI | m2://inv/8JV6754GFR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 51-XX, 52-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.20385#LUX5 (statement). In 54HS9AHWPE/e1, corollary 3.3
History
- 2026-10-27: add by m2/v0.4.2
8JVJCK7VX6 8JVJCK7VX6
| URI | m2://inv/8JVJCK7VX6 |
|---|---|
| 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.19300#D0SN (statement). In S6S4RD5VXJ/e1, lemma 7
History
- 2026-10-28: add by m2/v0.4.2
8JVRXR63WM 8JVRXR63WM
| URI | m2://inv/8JVRXR63WM |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_induction_exercises.ptx#exercise-8 (exercise). In QKM9DD2H56, exercise, section 3
History
- 2026-11-01: add by m2/v0.6.13
Vagn Lunsgaard Hansen 8JVV5KBW2S
| URI | m2://inv/8JVV5KBW2S |
|---|---|
| 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#0Q7Y, Vagn Lunsgaard Hansen (unknown)
History
- 2026-11-02: add by m2/dev
8JW3MDF5DF 8JW3MDF5DF
| URI | m2://inv/8JW3MDF5DF |
|---|---|
| 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.19982#C4IK (statement)
History
- 2026-11-02: add by m2/v0.6.18
Relation to the (Generalised) Continuum Hypothesis 8JW8QWCXC5
| URI | m2://inv/8JW8QWCXC5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Freiling's axiom of symmetry#CHXI, Relation to the (Generalised) Continuum Hypothesis (statement)
History
- 2026-11-02: add by m2/dev
Josselin Garnier 8JW9XT32KR
| URI | m2://inv/8JW9XT32KR |
|---|---|
| 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#7XRO, Josselin Garnier (topic)
History
- 2026-11-02: add by m2/dev
Law of Large Numbers for Unpaired Vertices 8JWKN4VKNE
| URI | m2://inv/8JWKN4VKNE |
|---|---|
| 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 2109.12716#VXKX, Law of Large Numbers for Unpaired Vertices (statement). In 6X76XBE3HV/e1, theorem 1.3
History
- 2026-10-27: add by m2/v0.3.5
Examples 8JWPPHTMG7
| URI | m2://inv/8JWPPHTMG7 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conformal Killing vector field#IPLW, Examples (example)
History
- 2026-11-02: add by m2/dev
8JWQYG0SMZ 8JWQYG0SMZ
| URI | m2://inv/8JWQYG0SMZ |
|---|---|
| Kind | problem |
| 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 2111.09700#7B68 (problem). In XCSQ27P0XW/e1, problem 8.1
History
- 2026-10-27: add by m2/v0.4.0
Weyl's inequality (number theory) 8JX34N0A4H
| URI | m2://inv/8JX34N0A4H |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Hermann Weyl#RYCF, Weyl's inequality (number theory) (statement)
History
- 2026-11-02: add by m2/dev
Covering lemma 8JXES24MBE
| URI | m2://inv/8JXES24MBE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of lemmas#OGM6, Covering lemma (statement)
History
- 2026-11-02: add by m2/dev
8JXGTKT6CR 8JXGTKT6CR
| URI | m2://inv/8JXGTKT6CR |
|---|---|
| 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 2310.01868#X6SG (statement). In MQ8S73F6X7/e1, lemma 12
History
- 2026-10-27: add by m2/v0.3.6
8JXN90HR2X 8JXN90HR2X
| URI | m2://inv/8JXN90HR2X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33829#8XW9 (statement). In S34H2JTJHH/e1, theorem 1.6
History
- 2026-10-30: add by m2/v0.4.12
8JY27BRKJX 8JY27BRKJX
| URI | m2://inv/8JY27BRKJX |
|---|---|
| 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 1902.04230#3RAL (definition). In 22JZ68FGCW/e1, definition 2.2
History
- 2026-10-27: add by m2/v0.3.5
8JYAADGH6R 8JYAADGH6R
| URI | m2://inv/8JYAADGH6R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 18-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.21507#XV7B (statement). In 879ZDHVK7N/e1, fact 2.3
History
- 2026-10-27: add by m2/v0.4.2
8JYESP40BC 8JYESP40BC
| URI | m2://inv/8JYESP40BC |
|---|---|
| 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 2609.36321#3PG7 (statement). In 3KTZ6Z615H/e1, proposition 3.19
History
- 2026-10-30: add by m2/v0.4.12
Secure telephone 8JYF8CN910
| URI | m2://inv/8JYF8CN910 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Secure telephone, Secure telephone (definition). Also Wikidata Q10862459
History
- 2026-11-02: add by m2/dev
Uniform estimates for the extended-time equation 8JYFA3NW4C
| URI | m2://inv/8JYFA3NW4C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20302#CCYC, Uniform estimates for the extended-time equation (statement). In GN8JWKH956/e1, lemma 5.4
History
- 2026-10-27: add by m2/v0.4.2
M. Zorn 8JYJFAZCRB
| URI | m2://inv/8JYJFAZCRB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#57Q8, M. Zorn (topic)
History
- 2026-11-02: add by m2/dev
8JYMKSPJ38 8JYMKSPJ38
| URI | m2://inv/8JYMKSPJ38 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 14-XX, 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37520#972I (example). In BDN507RN7J/e1, example 4.1.3
History
- 2026-10-30: add by m2/v0.4.12
8JYPVB4BA2 8JYPVB4BA2
| URI | m2://inv/8JYPVB4BA2 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_networkflow_flows-cuts.ptx#proof-1 (proof). In QKM9DD2H56, proof, section 13.2
History
- 2026-11-01: add by m2/v0.6.13
8JYQ5C4N6B 8JYQ5C4N6B
| URI | m2://inv/8JYQ5C4N6B |
|---|---|
| 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 2610.12120#OTUY (statement). In G9D4R1AXP8/e1, corollary 2.9
History
- 2026-10-28: add by m2/v0.4.2
Decentralized constraint satisfaction problem 8JYSF5QPNN
| URI | m2://inv/8JYSF5QPNN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Constraint satisfaction problem#Z59L, Decentralized constraint satisfaction problem (unknown)
History
- 2026-11-02: add by m2/dev
linear algebra 8JZ66G2CCN
| URI | m2://inv/8JZ66G2CCN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of linear algebra#8IV6, linear algebra (definition)
History
- 2026-11-02: add by m2/dev
8JZ8ZT0XZ2 8JZ8ZT0XZ2
| URI | m2://inv/8JZ8ZT0XZ2 |
|---|---|
| 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#TYB8 (statement). In RTE2C0PH4S/e1, proposition 5.2
History
- 2026-10-28: add by m2/v0.4.2
P-form electrodynamics 8JZA91A5AN
| URI | m2://inv/8JZA91A5AN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of string theory topics#4FY2, P-form electrodynamics (unknown)
History
- 2026-11-02: add by m2/dev
Definition 8JZAYWPQYV
| URI | m2://inv/8JZAYWPQYV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Taylor's law#Z1AI, Definition (definition)
History
- 2026-11-02: add by m2/dev
8JZEYQ82H8 8JZEYQ82H8
| URI | m2://inv/8JZEYQ82H8 |
|---|---|
| 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.21655#0G3E (statement). In 3Q0387SH7Q/e1, lemma 2
History
- 2026-10-27: add by m2/v0.4.2
Beta prime distribution 8JZHHZKSK5
| URI | m2://inv/8JZHHZKSK5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q180188, Beta prime distribution (unknown). Also MathWorld BetaPrimeDistribution
- wikipedia: Wikipedia Beta prime distribution, Beta prime distribution (definition). Also Wikidata Q180188
History
- 2026-10-26: add by m2/dev
EYH 8JZMB8AXA8
| URI | m2://inv/8JZMB8AXA8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Teri Perl#UAX9, EYH (unknown)
History
- 2026-11-02: add by m2/dev
8JZPTPFMH9 8JZPTPFMH9
| URI | m2://inv/8JZPTPFMH9 |
|---|---|
| Kind | definition |
| 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.02790#QLR1 (definition). In NB7HZ8W2K2/e1, definition 1
History
- 2026-10-29: add by m2/v0.4.12
Pierre Humbert 8JZSZ37HG4
| URI | m2://inv/8JZSZ37HG4 |
|---|---|
| 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#1JC6, Pierre Humbert (topic)
History
- 2026-11-02: add by m2/dev