Inventory rows R8
The cards of the rows of the inventory whose ids start with R8. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
R803NZQMZR R803NZQMZR
| URI | m2://inv/R803NZQMZR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15344#IBVP (statement). In B9EX6K51RD/e1, corollary 4.17
History
- 2026-10-28: add by m2/v0.4.2
R804F1WWFH R804F1WWFH
| URI | m2://inv/R804F1WWFH |
|---|---|
| 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.13723#ZYCN (statement). In HPBCRT0Z0V/e1, theorem 10
History
- 2026-10-28: add by m2/v0.4.2
R807HAPYSN R807HAPYSN
| URI | m2://inv/R807HAPYSN |
|---|---|
| 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#TLGN (statement). In WRE0P7V6Z3/e1, lemma 5.4
History
- 2026-10-30: add by m2/v0.4.12
Local field R80C6HSRZM
| URI | m2://inv/R80C6HSRZM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of field theory#LBWK, Local field (definition)
History
- 2026-11-02: add by m2/dev
Aczel's anti-foundation axiom R80ER7YGN9
| URI | m2://inv/R80ER7YGN9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Aczel's anti-foundation axiom, Aczel's anti-foundation axiom (statement). Also Wikidata Q2874789
History
- 2026-11-02: add by m2/dev
R80HPKGT7D R80HPKGT7D
| URI | m2://inv/R80HPKGT7D |
|---|---|
| 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.01828#I47X (statement). In RQMJY73C8Q/e1, theorem III.1
History
- 2026-10-29: add by m2/v0.4.12
Friedrich Schur R80KJ7WQWZ
| URI | m2://inv/R80KJ7WQWZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#O1OA, Friedrich Schur (topic)
History
- 2026-11-02: add by m2/dev
Wald distribution R80ME1F53D
| URI | m2://inv/R80ME1F53D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#2TSI, Wald distribution (definition)
History
- 2026-11-02: add by m2/dev
Hyperboloid of one sheet R80PJ39WYY
| URI | m2://inv/R80PJ39WYY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#NOVJ, Hyperboloid of one sheet (definition)
- wikipedia: Wikipedia List of surfaces#706N, Hyperboloid of one sheet (definition)
History
- 2026-11-02: add by m2/dev
Basic properties R80TPA4Z55
| URI | m2://inv/R80TPA4Z55 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Even and odd functions#Q2M0, Basic properties (statement)
History
- 2026-11-02: add by m2/dev
R812ZB3H2Y R812ZB3H2Y
| URI | m2://inv/R812ZB3H2Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 37-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.21931#39C3 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Huber criterion R81J2YB2HP
| URI | m2://inv/R81J2YB2HP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Yield surface#7ZAJ, Huber criterion (statement)
History
- 2026-11-02: add by m2/dev
osculating sphere R81RAJGYWF
| URI | m2://inv/R81RAJGYWF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q31839232, osculating sphere (unknown). Also MathWorld OsculatingSphere
History
- 2026-10-26: add by m2/dev
rigid body dynamics R81RFP73AM
| URI | m2://inv/R81RFP73AM |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 70Exx |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2037529, rigid body dynamics (topic). Also nLab rigid body dynamics
- wikipedia: Wikipedia Rigid body dynamics, Rigid body dynamics (topic). Also Wikidata Q2037529
History
- 2026-10-26: add by m2/dev
Examples R81T17AVZM
| URI | m2://inv/R81T17AVZM |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Prism graph#X53S, Examples (example)
History
- 2026-11-02: add by m2/dev
R81VRRZ22W R81VRRZ22W
| URI | m2://inv/R81VRRZ22W |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09133#IN33 (example). In E7BPGPP9Z5/e1, example 3.6
History
- 2026-10-29: add by m2/v0.4.10
R823XP63BA R823XP63BA
| URI | m2://inv/R823XP63BA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-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.09544#XWJQ (statement). In DYBM6Q2K6R/e1, proposition B.3
History
- 2026-10-29: add by m2/v0.4.10
R82BRJDR8K R82BRJDR8K
| URI | m2://inv/R82BRJDR8K |
|---|---|
| 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.30018#7IQD (statement)
History
- 2026-11-01: add by m2/v0.6.15
Application to the same signing law R82CN99T79
| URI | m2://inv/R82CN99T79 |
|---|---|
| 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#TZEX, Application to the same signing law (statement). In 9YAE8FNQST/e1, corollary 15.15
History
- 2026-10-30: add by m2/v0.4.12
R82EHG3QDB R82EHG3QDB
| URI | m2://inv/R82EHG3QDB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37479#SBGP (statement). In P3RTT99C41/e1, lemma 5.4
History
- 2026-10-30: add by m2/v0.4.12
R82F25SM9J R82F25SM9J
| URI | m2://inv/R82F25SM9J |
|---|---|
| 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.34339#S3II (statement). In 9WFSTGMQ4E/e1, lemma 5.10
History
- 2026-10-30: add by m2/v0.4.12
Graphical models for protein structure R82H9GF9TM
| URI | m2://inv/R82H9GF9TM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#1OY6, Graphical models for protein structure (definition)
History
- 2026-11-02: add by m2/dev
Definitions R82KF4H621
| URI | m2://inv/R82KF4H621 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Łojasiewicz inequality#9XYO, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Lifting R82P53J9DR
| URI | m2://inv/R82P53J9DR |
|---|---|
| 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.37471#VRI4, Lifting (statement). In KDF1GTQV08/e1, lemma 3
History
- 2026-10-30: add by m2/v0.4.12
R831Z5ECFP R831Z5ECFP
| URI | m2://inv/R831Z5ECFP |
|---|---|
| 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.10881#LF1M (statement). In DC01XRB5YE/e1, theorem 12
History
- 2026-10-28: add by m2/v0.4.3
Eugène Ehrhart R839A19GZ2
| URI | m2://inv/R839A19GZ2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eugène Ehrhart, Eugène Ehrhart (topic). Also Wikidata Q5408548
History
- 2026-11-02: add by m2/dev
Examples and non-examples of well-orderings R83APR675N
| URI | m2://inv/R83APR675N |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/set-theory/zfc.tex#example-1, Examples and non-examples of well-orderings (example). In RZP28ERRZV, example, section 93.6
History
- 2026-11-01: add by m2/v0.6.13
R83R3G89A6 R83R3G89A6
| URI | m2://inv/R83R3G89A6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39726#G5C4 (statement). In 4CTC8A57SD/e1, lemma 2.7
History
- 2026-10-30: add by m2/v0.4.12
R841BVDRPE R841BVDRPE
| URI | m2://inv/R841BVDRPE |
|---|---|
| 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.23872#HH0Z (statement)
History
- 2026-11-02: add by m2/v0.6.17
R84S52XF80 R84S52XF80
| URI | m2://inv/R84S52XF80 |
|---|---|
| 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 2610.18078#7XOW (statement). In YVK8EFSYNJ/e1, theorem C.1
History
- 2026-10-28: add by m2/v0.4.2
R84VH93BPT R84VH93BPT
| URI | m2://inv/R84VH93BPT |
|---|---|
| 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.11757#X8NL (statement). In VSJRVTHWWA/e1, lemma 3.5
History
- 2026-10-28: add by m2/v0.4.3
Definition R84WR5P2V7
| URI | m2://inv/R84WR5P2V7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia P-compact group#5ENV, Definition (definition)
History
- 2026-11-02: add by m2/dev
R84YRQ73G7 R84YRQ73G7
| URI | m2://inv/R84YRQ73G7 |
|---|---|
| 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.23803#LILK (statement)
History
- 2026-11-02: add by m2/v0.6.17
Crossed polygon R84ZT7591F
| URI | m2://inv/R84ZT7591F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Crossed polygon, Crossed polygon (definition). Also Wikidata Q107570655
History
- 2026-11-02: add by m2/dev
Properties R852WXJ7DZ
| URI | m2://inv/R852WXJ7DZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Heyting algebra#Y5SG, Properties (statement)
History
- 2026-11-02: add by m2/dev
comparability R85EXJRVXV
| URI | m2://inv/R85EXJRVXV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#KTQ1, comparability (definition)
History
- 2026-11-02: add by m2/dev
Applications R85NH4TSTY
| URI | m2://inv/R85NH4TSTY |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalized chi-squared distribution#KCHL, Applications (example)
History
- 2026-11-02: add by m2/dev
R85PQ6E7TT R85PQ6E7TT
| URI | m2://inv/R85PQ6E7TT |
|---|---|
| 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 2301.04933#Z4ZH (statement). In Q70CTMCJTP/e1, lemma 4.12
History
- 2026-10-27: add by m2/v0.3.5
Predictive buying R85QR7PPQW
| URI | m2://inv/R85QR7PPQW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Predictive buying, Predictive buying (definition). Also Wikidata Q7239664
History
- 2026-11-02: add by m2/dev
R863STRSY4 R863STRSY4
| URI | m2://inv/R863STRSY4 |
|---|---|
| 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 2609.28011#7HIV (statement)
History
- 2026-11-01: add by m2/v0.6.15
UsefulCharts R865QW2CNG
| URI | m2://inv/R865QW2CNG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia UsefulCharts, UsefulCharts (definition). Also Wikidata Q130216303
History
- 2026-11-02: add by m2/dev
torsion sheaf R867RSHT8X
| URI | m2://inv/R867RSHT8X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7827207, torsion sheaf (unknown). Also nLab torsion sheaf
- wikipedia: Wikipedia Torsion sheaf, Torsion sheaf (definition). Also Wikidata Q7827207
History
- 2026-10-26: add by m2/dev
Harald Bergström R869J29JDD
| URI | m2://inv/R869J29JDD |
|---|---|
| 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#KX0I, Harald Bergström (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#RZ14, Harald Bergström (topic)
History
- 2026-11-02: add by m2/dev
Lifted deck actions R86KF5805B
| URI | m2://inv/R86KF5805B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-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.03745#HFMP, Lifted deck actions (statement). In YWXVX6AX8F/e1, theorem 2.1
History
- 2026-10-29: add by m2/v0.4.12
Example R86KFNQZVG
| URI | m2://inv/R86KFNQZVG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Randomized response#Y85Z, Example (example)
History
- 2026-11-02: add by m2/dev
R86M7S48EM R86M7S48EM
| URI | m2://inv/R86M7S48EM |
|---|---|
| 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.13114#HVVW (statement). In 38RG49M1NB/e1, corollary 2.9
History
- 2026-10-28: add by m2/v0.4.2
Abel-Ruffini theorem (one direction) R86P7PFS0A
| URI | m2://inv/R86P7PFS0A |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview General algebra > Field theory > Abel-Ruffini theorem (one direction), Abel-Ruffini theorem (one direction) (unknown). Also Mathlib isSolvable_gal_minpoly
History
- 2026-10-26: add by m2/dev
Conjoint analysis R86S2TGMCQ
| URI | m2://inv/R86S2TGMCQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conjoint analysis, Conjoint analysis (definition). Also Wikidata Q203973
History
- 2026-11-02: add by m2/dev
Ad Quadratum: The Practical Application of Geometry in Medieval Architecture R86WXW6JEE
| URI | m2://inv/R86WXW6JEE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ad Quadratum: The Practical Application of Geometry in Medieval Architecture, Ad Quadratum: The Practical Application of Geometry in Medieval Architecture (definition). Also Wikidata Q112252437
History
- 2026-11-02: add by m2/dev
Generalizations R86ZGP0X16
| URI | m2://inv/R86ZGP0X16 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Universal algebra#LI6P, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
K-theory spectrum R87165X8VD
| URI | m2://inv/R87165X8VD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q16909784, K-theory spectrum (unknown). Also nLab K-theory spectrum
- wikipedia: Wikipedia K-theory spectrum, K-theory spectrum (definition). Also Wikidata Q16909784
History
- 2026-10-26: add by m2/dev
R875K7JYH0 R875K7JYH0
| URI | m2://inv/R875K7JYH0 |
|---|---|
| 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.29449#FDUA (statement)
History
- 2026-11-01: add by m2/v0.6.15
Positive Gaussian mixtures R87QYJNBHT
| URI | m2://inv/R87QYJNBHT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 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.37615#Q5UM, Positive Gaussian mixtures (statement). In T2B54J7121/e1, corollary 5.1
History
- 2026-10-30: add by m2/v0.4.12
Examples R87R70AYF3
| URI | m2://inv/R87R70AYF3 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Primitive notion#0MY7, Examples (example)
History
- 2026-11-02: add by m2/dev
R87SKE529D R87SKE529D
| URI | m2://inv/R87SKE529D |
|---|---|
| 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.31269#06OF (statement). In ZPT9XCCAPQ/e1, lemma A.0.9
History
- 2026-10-31: add by m2/v0.5.6
Central limit theorem R87Z6WT2B5
| URI | m2://inv/R87Z6WT2B5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#3NGN, Central limit theorem (statement)
History
- 2026-11-02: add by m2/dev
R883EV3CDH R883EV3CDH
| URI | m2://inv/R883EV3CDH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-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.20131#6BI2 (statement). In 29D4TTE3J2/e1, lemma 6.4
History
- 2026-10-27: add by m2/v0.4.2
Examples R887HFBFC1
| URI | m2://inv/R887HFBFC1 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Simple point process#56PX, Examples (example)
History
- 2026-11-02: add by m2/dev
R88FW0TM06 R88FW0TM06
| URI | m2://inv/R88FW0TM06 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dehn invariant#HZC8 (problem)
History
- 2026-11-02: add by m2/dev
R88G7NC0QX R88G7NC0QX
| URI | m2://inv/R88G7NC0QX |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_ramsey_exercises.ptx#exercise-1 (exercise). In QKM9DD2H56, exercise, section 11
History
- 2026-11-01: add by m2/v0.6.13
Basic properties R88HSYRC4G
| URI | m2://inv/R88HSYRC4G |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Artin L-function#HZSJ, Basic properties (statement)
History
- 2026-11-02: add by m2/dev
Three Oaks, Michigan R88KAMSMR4
| URI | m2://inv/R88KAMSMR4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#SIUD, Three Oaks, Michigan (unknown)
History
- 2026-11-02: add by m2/dev
R88M996SMT R88M996SMT
| URI | m2://inv/R88M996SMT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15416#WO3H (statement). In W9JJQYHQ7J/e1, lemma 1
History
- 2026-10-28: add by m2/v0.4.2
Trilemma R88MFNCDSR
| URI | m2://inv/R88MFNCDSR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trilemma, Trilemma (definition). Also Wikidata Q1073549
History
- 2026-11-02: add by m2/dev
Direct every-window LFSR bound R88Q79DXZK
| URI | m2://inv/R88Q79DXZK |
|---|---|
| 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.16351#A17Q, Direct every-window LFSR bound (statement). In 1QSV7EQE3T/e1, theorem S53
History
- 2026-10-28: add by m2/v0.4.2
5-demicube R88QPBV32A
| URI | m2://inv/R88QPBV32A |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 5-demicube, 5-demicube (object). Also Wikidata Q4639657
History
- 2026-11-02: add by m2/dev
\textbf{Reconstruction from Gradient Data R88XFP5NF9
| URI | m2://inv/R88XFP5NF9 |
|---|---|
| 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.02791#B5K0, \textbf{Reconstruction from Gradient Data (statement). In TT9BA4VMTW/e1, corollary A.8
History
- 2026-10-29: add by m2/v0.4.12
R88XZDZDNQ R88XZDZDNQ
| URI | m2://inv/R88XZDZDNQ |
|---|---|
| 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 2610.09949#GR8L (statement). In VGJVFCDV8A/e1, proposition 2.1
History
- 2026-10-29: add by m2/v0.4.10
Aliaga, Martha R898PW6P7M
| URI | m2://inv/R898PW6P7M |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#TOEQ, Aliaga, Martha (unknown)
History
- 2026-11-02: add by m2/dev
Minimax error under adversarial corruption R89F3VD1K3
| URI | m2://inv/R89F3VD1K3 |
|---|---|
| Kind | definition |
| 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.10840#0NZU, Minimax error under adversarial corruption (definition). In JSJQEPY71E/e1, definition 1.3
History
- 2026-10-28: add by m2/v0.4.3
R89GWQ9X6T R89GWQ9X6T
| URI | m2://inv/R89GWQ9X6T |
|---|---|
| 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.01737#Z7VN (statement). In M4JGP708F4/e1, lemma 3.33
History
- 2026-10-29: add by m2/v0.4.12
R89JNDRD37 R89JNDRD37
| URI | m2://inv/R89JNDRD37 |
|---|---|
| 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.08104#G0V6 (statement). In AH6BX8RZTW/e1, proposition 1.2
History
- 2026-10-29: add by m2/v0.4.10
R89JNHT537 R89JNHT537
| URI | m2://inv/R89JNHT537 |
|---|---|
| Kind | example |
| 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.29158#7ECU (example)
History
- 2026-11-01: add by m2/v0.6.15
in $\Zminus$ R89Q1K336M
| URI | m2://inv/R89Q1K336M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/choice/countablechoice.tex#lem-1, in $\Zminus$ (statement). In PKGMM3P5QY, lem, section 71.1
History
- 2026-11-01: add by m2/v0.6.13
2022 Bihar Caste-Based Survey R8AC32C9T9
| URI | m2://inv/R8AC32C9T9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 2022 Bihar Caste-Based Survey, 2022 Bihar Caste-Based Survey (definition). Also Wikidata Q116779900
History
- 2026-11-02: add by m2/dev
R8ACGAWEES R8ACGAWEES
| URI | m2://inv/R8ACGAWEES |
|---|---|
| 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 2209.08186#NZZY (statement). In X6VGVPQH8V/e1, theorem 4.1
History
- 2026-10-27: add by m2/v0.3.5
Legendre's conjecture R8APF1P9CG
| URI | m2://inv/R8APF1P9CG |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1812503, Legendre's conjecture (conjecture). Also MathWorld LegendresConjecture, ProofWiki Legendre's_Conjecture
- wikipedia: Wikipedia Legendre's conjecture, Legendre's conjecture (conjecture). Also Wikidata Q1812503
History
- 2026-10-26: add by m2/dev
R8APNP2ZYW R8APNP2ZYW
| URI | m2://inv/R8APNP2ZYW |
|---|---|
| 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.20025#QE9D (statement). In 4W1WR4JB89/e1, theorem 2.6
History
- 2026-10-27: add by m2/v0.4.2
R8AY07HGV4 R8AY07HGV4
| URI | m2://inv/R8AY07HGV4 |
|---|---|
| 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.26357#PH0C (statement)
History
- 2026-11-01: add by m2/v0.6.15
Mahlon Marsh Day R8B4NH9P09
| URI | m2://inv/R8B4NH9P09 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mahlon Marsh Day, Mahlon Marsh Day (topic). Also Wikidata Q59627705
History
- 2026-11-02: add by m2/dev
Givat HaShlosha R8BFAX4XCM
| URI | m2://inv/R8BFAX4XCM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#W0WJ, Givat HaShlosha (unknown)
History
- 2026-11-02: add by m2/dev
R8BMWVZEMK R8BMWVZEMK
| URI | m2://inv/R8BMWVZEMK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2506.09840#WL0B (statement). In Y7TWHSF2HC/e1, proposition 4.6
History
- 2026-10-27: add by m2/v0.3.5
Rahul Pandharipande R8BRMDA6QT
| URI | m2://inv/R8BRMDA6QT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7283611, Rahul Pandharipande (unknown). Also nLab Rahul Pandharipande
- wikipedia: Wikipedia Rahul Pandharipande, Rahul Pandharipande (topic). Also Wikidata Q7283611
History
- 2026-10-26: add by m2/dev
R8C1AS2FQZ R8C1AS2FQZ
| URI | m2://inv/R8C1AS2FQZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25168#GEN7 (statement)
History
- 2026-11-01: add by m2/v0.6.15
central simple algebra R8C4B1GNHV
| URI | m2://inv/R8C4B1GNHV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Central simple algebra 5HRKJBAY2V |
Mentions
- wikidata: Wikidata Q2428439, central simple algebra (unknown). Also nLab central simple algebra
- wikipedia: Wikipedia Central simple algebra, Central simple algebra (definition). Also Wikidata Q2428439
History
- 2026-10-26: add by m2/dev
Uses R8CBJ7J265
| URI | m2://inv/R8CBJ7J265 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Symbolic power of an ideal#MZP4, Uses (example)
History
- 2026-11-02: add by m2/dev
logical form R8CBK9GXP9
| URI | m2://inv/R8CBK9GXP9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#3E6V, logical form (definition)
History
- 2026-11-02: add by m2/dev
Mathematical methods applied in foundational electrical laws and theorems R8CEGPAD8S
| URI | m2://inv/R8CEGPAD8S |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathematical methods in electronics#4RY1, Mathematical methods applied in foundational electrical laws and theorems (statement)
History
- 2026-11-02: add by m2/dev
$\chi^2$ contraction bound; adapted Lemma 12 R8CFCJTDA0
| URI | m2://inv/R8CFCJTDA0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36016#5S8J, $\chi^2$ contraction bound; adapted Lemma 12 (statement). In NAM9ZMPHZ9/e1, proposition E.1
History
- 2026-10-30: add by m2/v0.4.12
The affine packing family R8CMYTTTS2
| URI | m2://inv/R8CMYTTTS2 |
|---|---|
| Kind | definition |
| 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 2610.17135#JGFX, The affine packing family (definition). In XX1J2REXY2/e1, definition 4.10
History
- 2026-10-28: add by m2/v0.4.2
R8CNX929AN R8CNX929AN
| URI | m2://inv/R8CNX929AN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 37-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13100#9J4M (statement). In CC6S1HVK0T/e1, corollary 6.4
History
- 2026-10-28: add by m2/v0.4.2
incompleteness R8CRB3AB2V
| URI | m2://inv/R8CRB3AB2V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#E277, incompleteness (definition)
History
- 2026-11-02: add by m2/dev
Marcus du Sautoy R8CTKW8QGA
| URI | m2://inv/R8CTKW8QGA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#BOHA, Marcus du Sautoy (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#1BB3, Marcus du Sautoy (topic)
History
- 2026-11-02: add by m2/dev
Properties R8CVFVDJQ0
| URI | m2://inv/R8CVFVDJQ0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Derived set (mathematics)#S3D2, Properties (statement)
History
- 2026-11-02: add by m2/dev
R8CX8DRG76 R8CX8DRG76
| URI | m2://inv/R8CX8DRG76 |
|---|---|
| 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 2411.13671#XQGI (statement). In PN02WN5AA6/e1, proposition 3
History
- 2026-10-27: add by m2/v0.3.5
Algorithms R8CXR2ETG8
| URI | m2://inv/R8CXR2ETG8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rubik's Cube#4T36, Algorithms (definition)
History
- 2026-11-02: add by m2/dev
Dense tubes would make $\tfrac52$ sharp R8CY4DN239
| URI | m2://inv/R8CY4DN239 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37368#ISXV, Dense tubes would make $\tfrac52$ sharp (statement). In FRMCKEGVJZ/e1, proposition 1
History
- 2026-10-30: add by m2/v0.4.12
Compactification and class comparison R8D3C7P9ZP
| URI | m2://inv/R8D3C7P9ZP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10828#N7ZQ, Compactification and class comparison (statement). In 8PTDFHV8SQ/e1, theorem 14.1
History
- 2026-10-28: add by m2/v0.4.3
Implementations R8D5W5KAYW
| URI | m2://inv/R8D5W5KAYW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wilkinson's Grammar of Graphics#F9ZZ, Implementations (definition)
History
- 2026-11-02: add by m2/dev
Repeated median regression R8D5Z63XGZ
| URI | m2://inv/R8D5Z63XGZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Repeated median regression, Repeated median regression (definition). Also Wikidata Q55631439
History
- 2026-11-02: add by m2/dev
Josef Anton Gmeiner R8DA71NZBM
| URI | m2://inv/R8DA71NZBM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Josef Anton Gmeiner, Josef Anton Gmeiner (topic). Also Wikidata Q6279663
History
- 2026-11-02: add by m2/dev
Class field theory R8DG648AGJ
| URI | m2://inv/R8DG648AGJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic number theory topics#W0HX, Class field theory (topic)
History
- 2026-11-02: add by m2/dev
quantifier, bounded R8DS8X31D6
| URI | m2://inv/R8DS8X31D6 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/C.5/quantifier-bounded, quantifier, bounded (concept). In N54F33XE07, index, section C.5
History
- 2026-11-01: add by m2/v0.6.13
Long-range free energy in a field R8DW25K52R
| URI | m2://inv/R8DW25K52R |
|---|---|
| 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.10736#UEP0, Long-range free energy in a field (statement). In NCYKB4QG5P/e1, theorem 2.1
History
- 2026-10-28: add by m2/v0.4.3
R8E3TGC0YE R8E3TGC0YE
| URI | m2://inv/R8E3TGC0YE |
|---|---|
| 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.09171#6PHG (statement). In 5ZPSZFE08Q/e1, corollary 5.13
History
- 2026-10-29: add by m2/v0.4.10
R8E65P6K9M R8E65P6K9M
| URI | m2://inv/R8E65P6K9M |
|---|---|
| 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.12329#JFNB (statement). In ZJQB9W60T6/e1, lemma 7.8
History
- 2026-10-28: add by m2/v0.4.2
R8EKPNMWM8 R8EKPNMWM8
| URI | m2://inv/R8EKPNMWM8 |
|---|---|
| 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#WZZQ (statement). In S6S4RD5VXJ/e1, lemma 1
History
- 2026-10-28: add by m2/v0.4.2
Creation and description of Witt ring elements R8ETSATHFG
| URI | m2://inv/R8ETSATHFG |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37931#T5S7, Creation and description of Witt ring elements (example). In J8C1EXQW86/e1, example 3.2
History
- 2026-10-30: add by m2/v0.4.12
Kolmogorov axiom R8EYK6VH96
| URI | m2://inv/R8EYK6VH96 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of general topology#5MEY, Kolmogorov axiom (definition)
History
- 2026-11-02: add by m2/dev
R8EYNM5V7V R8EYNM5V7V
| URI | m2://inv/R8EYNM5V7V |
|---|---|
| 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.33775#7CQN (statement). In VVQ1FMTHXB/e1, lemma 3.2
History
- 2026-10-30: add by m2/v0.4.12
Definition R8EYT4BYSD
| URI | m2://inv/R8EYT4BYSD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalized mean#IOUB, Definition (definition)
History
- 2026-11-02: add by m2/dev
total, space R8F3ZSKRBS
| URI | m2://inv/R8F3ZSKRBS |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/1.7/total-space, total, space (concept). In N54F33XE07, index, section 1.7
History
- 2026-11-01: add by m2/v0.6.13
fundamental groupoid R8F4PK51GS
| URI | m2://inv/R8F4PK51GS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Fundamental groupoid ZBHGXJF24E |
Mentions
- wikidata: Wikidata Q85174068, fundamental groupoid (unknown). Also nLab fundamental groupoid
- wikipedia: Wikipedia Fundamental groupoid, Fundamental groupoid (definition). Also Wikidata Q85174068
History
- 2026-10-26: add by m2/dev
R8F6R6ZB10 R8F6R6ZB10
| URI | m2://inv/R8F6R6ZB10 |
|---|---|
| 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.01276#AOHV (statement). In 7JJPPMS2DN/e1, lemma 7.3
History
- 2026-10-29: add by m2/v0.4.12
Orazio Tedone R8F93CA0PD
| URI | m2://inv/R8F93CA0PD |
|---|---|
| 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#R8HJ, Orazio Tedone (unknown)
History
- 2026-11-02: add by m2/dev
Properties R8FBM30KC7
| URI | m2://inv/R8FBM30KC7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia N = 2 superconformal algebra#RGCT, Properties (statement)
History
- 2026-11-02: add by m2/dev
Liberal paradox R8FC9FWY8N
| URI | m2://inv/R8FC9FWY8N |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Liberal paradox, Liberal paradox (statement). Also Wikidata Q1261223
History
- 2026-11-02: add by m2/dev
R8FRR6CY7P R8FRR6CY7P
| URI | m2://inv/R8FRR6CY7P |
|---|---|
| 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 2601.15403#2033 (statement). In BSWNH3NW1M/e1, theorem 9.20
History
- 2026-10-27: add by m2/v0.4.0
R8FZTPSCTB R8FZTPSCTB
| URI | m2://inv/R8FZTPSCTB |
|---|---|
| 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 2002.01498#J9HF (statement). In 2H7TQ695XW/e1, theorem 1.3
History
- 2026-10-27: add by m2/v0.3.5
R8G2ZKX6P4 R8G2ZKX6P4
| URI | m2://inv/R8G2ZKX6P4 |
|---|---|
| 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 2504.21000#1TJI (statement). In BCVFS160MF/e1, theorem B.1
History
- 2026-10-27: add by m2/v0.3.5
Michael Katehakis R8GPVMC86S
| URI | m2://inv/R8GPVMC86S |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Greek mathematicians#26PL, Michael Katehakis (unknown)
History
- 2026-11-02: add by m2/dev
Consistency condition R8GR5EP2TJ
| URI | m2://inv/R8GR5EP2TJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24185#FGT4, Consistency condition (statement)
History
- 2026-11-01: add by m2/v0.6.15
Algebraic function R8GWQV7CDC
| URI | m2://inv/R8GWQV7CDC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic geometry topics#UL16, Algebraic function (definition)
History
- 2026-11-02: add by m2/dev
R8GX9CDFX7 R8GX9CDFX7
| URI | m2://inv/R8GX9CDFX7 |
|---|---|
| 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 2602.03058#S44Y (statement). In XQ0ZXH8KAC/e1, lemma 9
History
- 2026-10-27: add by m2/v0.3.5
R8GXEXSC81 R8GXEXSC81
| URI | m2://inv/R8GXEXSC81 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07180#2CYI (statement). In TM4H1RV0BQ/e1, lemma 5.1
History
- 2026-10-27: add by m2/v0.3.5
R8H4EY617B R8H4EY617B
| URI | m2://inv/R8H4EY617B |
|---|---|
| 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.09001#EF4Q (statement). In HJC1JJZRSH/e1, proposition 3.3
History
- 2026-10-29: add by m2/v0.4.10
R8H7FM41Z3 R8H7FM41Z3
| URI | m2://inv/R8H7FM41Z3 |
|---|---|
| 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.37337#D730 (statement). In 813JGZV08G/e1, corollary 7.1
History
- 2026-10-30: add by m2/v0.4.12
Snub triangular-hexagonal prismatic honeycomb R8HDBDZ077
| URI | m2://inv/R8HDBDZ077 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#P8K0, Snub triangular-hexagonal prismatic honeycomb (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#27BS, Snub triangular-hexagonal prismatic honeycomb (definition)
History
- 2026-11-02: add by m2/dev
Inverse reinforcement learning R8HE7YNA69
| URI | m2://inv/R8HE7YNA69 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reinforcement learning#1GTO, Inverse reinforcement learning (unknown)
History
- 2026-11-02: add by m2/dev
Eulerian cycle R8HGCF5M71
| URI | m2://inv/R8HGCF5M71 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q11691793, Eulerian cycle (unknown). Also MathWorld EulerianCycle
History
- 2026-10-26: add by m2/dev
E. Jacquelin Dietz R8HW9QK03J
| URI | m2://inv/R8HW9QK03J |
|---|---|
| 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#I5KE, E. Jacquelin Dietz (unknown)
History
- 2026-11-02: add by m2/dev
Jeff Dinitz R8J5J90KC4
| URI | m2://inv/R8J5J90KC4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jeff Dinitz, Jeff Dinitz (topic). Also Wikidata Q11007940
History
- 2026-11-02: add by m2/dev
R8J8WQC13B R8J8WQC13B
| URI | m2://inv/R8J8WQC13B |
|---|---|
| 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 2405.13323#2INU (statement). In 5KN5GD38KG/e1, theorem 2.1
History
- 2026-10-27: add by m2/v0.3.5
Idelle Weber R8J9D6Y08C
| URI | m2://inv/R8J9D6Y08C |
|---|---|
| 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#HL21, Idelle Weber (unknown)
History
- 2026-11-02: add by m2/dev
Examples R8JCV170Q1
| URI | m2://inv/R8JCV170Q1 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bridgeland stability condition#CMHI, Examples (example)
History
- 2026-11-02: add by m2/dev
admirable number R8JGVT9B7P
| URI | m2://inv/R8JGVT9B7P |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q10886944, admirable number (object). Also OEIS A111592
History
- 2026-10-26: add by m2/dev
Generalizations R8JSTQHV5N
| URI | m2://inv/R8JSTQHV5N |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conformal geometric algebra#KMD9, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
R8JXP7VQD9 R8JXP7VQD9
| URI | m2://inv/R8JXP7VQD9 |
|---|---|
| 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.14742#LSJ0 (statement). In GZYZ9FQHVC/e1, theorem 1.2
History
- 2026-10-28: add by m2/v0.4.2
R8K21CK2TJ R8K21CK2TJ
| URI | m2://inv/R8K21CK2TJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10481#1PTF (statement). In ETV3D93XYD/e1, theorem 4
History
- 2026-10-29: add by m2/v0.4.10
Order-7 dodecahedral honeycomb R8K68VB15E
| URI | m2://inv/R8K68VB15E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Order-7 dodecahedral honeycomb, Order-7 dodecahedral honeycomb (definition). Also Wikidata Q17077483
History
- 2026-11-02: add by m2/dev
Finiteness and primal attainment R8KKVKJEBT
| URI | m2://inv/R8KKVKJEBT |
|---|---|
| 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.14562#SPNO, Finiteness and primal attainment (statement). In G4XMZ452QE/e1, proposition 2.3
History
- 2026-10-28: add by m2/v0.4.2
Statement of the theorem R8KKWBGFPC
| URI | m2://inv/R8KKWBGFPC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Integral of inverse functions#38Q3, Statement of the theorem (statement)
History
- 2026-11-02: add by m2/dev
R8KM63CQAT R8KM63CQAT
| URI | m2://inv/R8KM63CQAT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/filtrations/more-filtrations.tex#thm:more-filtrations (statement). In PKGMM3P5QY, thm, section 52.3
History
- 2026-11-01: add by m2/v0.6.13
R8KR87F1CT R8KR87F1CT
| URI | m2://inv/R8KR87F1CT |
|---|---|
| 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 2609.22847#I1PB (statement)
History
- 2026-11-02: add by m2/v0.6.17
Definition R8KRYNPZWH
| URI | m2://inv/R8KRYNPZWH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Matrix coefficient#CFK2, Definition (definition)
History
- 2026-11-02: add by m2/dev
R8KS468XGB R8KS468XGB
| URI | m2://inv/R8KS468XGB |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_genfunction_exercises.ptx#exercise-21 (exercise). In QKM9DD2H56, exercise, section 8
History
- 2026-11-01: add by m2/v0.6.13
R8M2PDJVKV R8M2PDJVKV
| URI | m2://inv/R8M2PDJVKV |
|---|---|
| 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 2601.01000#0VD7 (statement). In RYFV9HGWWZ/e1, proposition 54
History
- 2026-10-27: add by m2/v0.3.5
First order condition R8M7AE8C3K
| URI | m2://inv/R8M7AE8C3K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2102.11076#SA33, First order condition (statement). In T9HZXHTQBJ/e1, lemma 4
History
- 2026-10-27: add by m2/v0.3.6
Formal one-step consistency for exact stage solves R8M9RAWRRR
| URI | m2://inv/R8M9RAWRRR |
|---|---|
| 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.25489#8B39, Formal one-step consistency for exact stage solves (statement)
History
- 2026-11-01: add by m2/v0.6.15
Open problems R8MZAFEJCP
| URI | m2://inv/R8MZAFEJCP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quartic graph#ULZU, Open problems (statement)
History
- 2026-11-02: add by m2/dev
Applications R8MZVRXKD8
| URI | m2://inv/R8MZVRXKD8 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Caterpillar tree#QJV6, Applications (example)
History
- 2026-11-02: add by m2/dev
Conservativity R8N1ECGWGN
| URI | m2://inv/R8N1ECGWGN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conservativity, Conservativity (definition). Also Wikidata Q108365642
History
- 2026-11-02: add by m2/dev
Formal definition R8N2RXHM4D
| URI | m2://inv/R8N2RXHM4D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia SKI combinator calculus#PJ9L, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
Brand-Nagelberg R8N450X463
| URI | m2://inv/R8N450X463 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#HS5N, Brand-Nagelberg (unknown)
History
- 2026-11-02: add by m2/dev
Alternate Interior Angles Theorem R8N5KHYS6X
| URI | m2://inv/R8N5KHYS6X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#HM8K, Alternate Interior Angles Theorem (definition)
History
- 2026-11-02: add by m2/dev
R8N8EQ6KKV R8N8EQ6KKV
| URI | m2://inv/R8N8EQ6KKV |
|---|---|
| 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.32903#PTIU (statement). In S8NB83KQX3/e1, lemma 2
History
- 2026-10-31: add by m2/v0.5.6
angel problem R8NNM8X20S
| URI | m2://inv/R8NNM8X20S |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3140966, angel problem (unknown). Also MathWorld AngelProblem
- wikipedia: Wikipedia Angel problem, Angel problem (problem). Also Wikidata Q3140966
History
- 2026-10-26: add by m2/dev
R8NQY0MT7Q R8NQY0MT7Q
| URI | m2://inv/R8NQY0MT7Q |
|---|---|
| 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 2406.19866#U7VL (definition). In 9F94CEQ1ZM/e1, definition 2.14
History
- 2026-10-27: add by m2/v0.3.5
Katherine E. Stange R8NV95C925
| URI | m2://inv/R8NV95C925 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Katherine E. Stange, Katherine E. Stange (topic). Also Wikidata Q102111960
History
- 2026-11-02: add by m2/dev
The trace formula in the non-compact case R8NX0ZQPKM
| URI | m2://inv/R8NX0ZQPKM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arthur–Selberg trace formula#B988, The trace formula in the non-compact case (statement)
History
- 2026-11-02: add by m2/dev
R8P3DFXBYB R8P3DFXBYB
| URI | m2://inv/R8P3DFXBYB |
|---|---|
| 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.22040#MLS3 (statement). In 2QP93JHYNB/e1, proposition 4.16
History
- 2026-10-27: add by m2/v0.4.2
Endpoint exclusion R8PARC69PH
| URI | m2://inv/R8PARC69PH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09602#I5OU, Endpoint exclusion (statement). In 4AQ48WSBDQ/e1, theorem 4.2
History
- 2026-10-29: add by m2/v0.4.10
R8PG5R3K63 R8PG5R3K63
| URI | m2://inv/R8PG5R3K63 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20480#CJTW (statement). In BK4359JSC3/e1, lemma 6.1
History
- 2026-10-27: add by m2/v0.4.2
Honest leftmost branch R8PH91BCR3
| URI | m2://inv/R8PH91BCR3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Honest leftmost branch, Honest leftmost branch (definition). Also Wikidata Q5893284
History
- 2026-11-02: add by m2/dev
R8PKYYW7YF R8PKYYW7YF
| URI | m2://inv/R8PKYYW7YF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25957#EBLD (statement)
History
- 2026-11-01: add by m2/v0.6.15
Signal Protocol R8PT9Z26G4
| URI | m2://inv/R8PT9Z26G4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Signal Protocol, Signal Protocol (definition). Also Wikidata Q27031176
History
- 2026-11-02: add by m2/dev
product topology R8PZKWNDF2
| URI | m2://inv/R8PZKWNDF2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Product topology 0GBG8B49AA |
Mentions
- wikidata: Wikidata Q1070472, product topology (unknown). Also MathWorld ProductTopology
- wikipedia: Wikipedia Product topology, Product topology (definition). Also Wikidata Q1070472
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
antiderivative, graph R8Q1W2H8VT
| URI | m2://inv/R8Q1W2H8VT |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus index/5.1.2/antiderivative-graph, antiderivative, graph (concept). In 907G4C4EJ1, index, section 5.1.2
History
- 2026-11-01: add by m2/v0.6.13
Properties R8Q3GV59H3
| URI | m2://inv/R8Q3GV59H3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wagner graph#HIH7, Properties (statement)
History
- 2026-11-02: add by m2/dev
Stability of the periodic orbit $132312$ R8Q3SZ4KG7
| URI | m2://inv/R8Q3SZ4KG7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2512.24812#DA39, Stability of the periodic orbit $132312$ (statement). In F4JB0RR5JV/e1, theorem 7.1
History
- 2026-10-27: add by m2/v0.3.5
R8QHWNQERB R8QHWNQERB
| URI | m2://inv/R8QHWNQERB |
|---|---|
| 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.09300#7NJK (statement). In JP589KS01S/e1, theorem 1.3
History
- 2026-10-29: add by m2/v0.4.10
R8QPYF10VX R8QPYF10VX
| URI | m2://inv/R8QPYF10VX |
|---|---|
| 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.33697#RO4Y (statement). In Q6GGQ29TRC/e1, lemma
History
- 2026-10-30: add by m2/v0.4.12
R8QQWJ4434 R8QQWJ4434
| URI | m2://inv/R8QQWJ4434 |
|---|---|
| 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 2601.01000#8AYB (statement). In RYFV9HGWWZ/e1, lemma 9
History
- 2026-10-27: add by m2/v0.3.5
ordinal R8QZ7XDTS7
| URI | m2://inv/R8QZ7XDTS7 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/B.6/ordinal, ordinal (concept). In N54F33XE07, index, section B.6
History
- 2026-11-01: add by m2/v0.6.13
R8R283RQJM R8R283RQJM
| URI | m2://inv/R8R283RQJM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18101#K1N0 (statement). In XXN6KKXPYF/e1, lemma 6.8
History
- 2026-10-28: add by m2/v0.4.2
R8RF4P13F6 R8RF4P13F6
| URI | m2://inv/R8RF4P13F6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-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 2410.16036#181C (statement). In S1T3VFXE05/e1, proposition 3.1
History
- 2026-10-27: add by m2/v0.3.6
R8RY6R2YJD R8RY6R2YJD
| URI | m2://inv/R8RY6R2YJD |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-multivar-int.tex#example-8 (example). In E59CDZA4DP, example, section 5.6
History
- 2026-11-01: add by m2/v0.6.13
R8RZDW9GD5 R8RZDW9GD5
| URI | m2://inv/R8RZDW9GD5 |
|---|---|
| Kind | definition |
| 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 2309.17091#P7WP (definition). In N0JJM098W2/e1, definition 29
History
- 2026-10-27: add by m2/v0.4.0
Deriving Gauss's law from Coulomb's law R8S3V67Q55
| URI | m2://inv/R8S3V67Q55 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gauss's law#JST7, Deriving Gauss's law from Coulomb's law (statement)
History
- 2026-11-02: add by m2/dev
R8S437Q745 R8S437Q745
| URI | m2://inv/R8S437Q745 |
|---|---|
| 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.24569#4LKX (statement)
History
- 2026-11-01: add by m2/v0.6.15
R8S4X32AX9 R8S4X32AX9
| URI | m2://inv/R8S4X32AX9 |
|---|---|
| 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 2510.12502#507J (definition). In 3A4K47Y9F2/e1, definition 2.52
History
- 2026-10-27: add by m2/v0.4.0
R8S7DCQEH7 R8S7DCQEH7
| URI | m2://inv/R8S7DCQEH7 |
|---|---|
| Kind | problem |
| 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.26745#16ZE (problem)
History
- 2026-11-01: add by m2/v0.6.15
Sergey Bolotin R8SM1GZ6RR
| URI | m2://inv/R8SM1GZ6RR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sergey Bolotin, Sergey Bolotin (topic). Also Wikidata Q43425287
History
- 2026-11-02: add by m2/dev
R8SNX0RE4X R8SNX0RE4X
| URI | m2://inv/R8SNX0RE4X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17677#49AI (statement). In 5E9G06XJKC/e1, lemma F.15
History
- 2026-10-28: add by m2/v0.4.2
Application R8SRKPWRAT
| URI | m2://inv/R8SRKPWRAT |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polytomous Rasch model#V3DJ, Application (example)
History
- 2026-11-02: add by m2/dev
Accuracy of the averaged oracle evaluations R8SV1VAFT4
| URI | m2://inv/R8SV1VAFT4 |
|---|---|
| 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.35631#ANWV, Accuracy of the averaged oracle evaluations (statement). In 9NCX0S6MTP/e1, lemma D.10
History
- 2026-10-30: add by m2/v0.4.12
László Rédei R8T0VGM6HS
| URI | m2://inv/R8T0VGM6HS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#ITRK, László Rédei (unknown)
History
- 2026-11-02: add by m2/dev
Tree automaton R8T0WM116P
| URI | m2://inv/R8T0WM116P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tree automaton, Tree automaton (definition). Also Wikidata Q2872598
History
- 2026-11-02: add by m2/dev
Ones' complement R8T1P35FQS
| URI | m2://inv/R8T1P35FQS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ones' complement, Ones' complement (definition). Also Wikidata Q1361630
History
- 2026-11-02: add by m2/dev
Euler's identity R8T7GCXKYK
| URI | m2://inv/R8T7GCXKYK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical identities#S1IE, Euler's identity (statement)
- wikipedia: Wikipedia List of exponential topics#V56D, Euler's identity (statement)
- wikipedia: Wikipedia List of topics related to π#YT21, Euler's identity (statement)
History
- 2026-11-02: add by m2/dev
R8T837Z2QD R8T837Z2QD
| URI | m2://inv/R8T837Z2QD |
|---|---|
| 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.08480#J9WK (statement). In R4EEE89C3S/e1, lemma 4.17
History
- 2026-10-29: add by m2/v0.4.10
R8T885YTGX R8T885YTGX
| URI | m2://inv/R8T885YTGX |
|---|---|
| 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.08956#18DU (statement). In DEE631KR3A/e1, lemma 8
History
- 2026-10-29: add by m2/v0.4.10
R8T8YWXFQR R8T8YWXFQR
| URI | m2://inv/R8T8YWXFQR |
|---|---|
| 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.10795#PS07 (statement). In RXPSC74YPT/e1, theorem 3.4
History
- 2026-10-28: add by m2/v0.4.3
Joseph Lipman R8T9Q7KVTW
| URI | m2://inv/R8T9Q7KVTW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Joseph Lipman, Joseph Lipman (topic). Also Wikidata Q15223666
History
- 2026-11-02: add by m2/dev
R8TEHXJ5B4 R8TEHXJ5B4
| URI | m2://inv/R8TEHXJ5B4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-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.18483#6ZO5 (statement). In FF4HDVF1DC/e1, theorem 3.3
History
- 2026-10-28: add by m2/v0.4.2
Types of equations R8TVZ7YV3K
| URI | m2://inv/R8TVZ7YV3K |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Equation#6TVA, Types of equations (unknown)
History
- 2026-11-02: add by m2/dev
Gerardus Mercator R8TX41CW5E
| URI | m2://inv/R8TX41CW5E |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of complex analysis topics#KTR2, Gerardus Mercator (unknown)
History
- 2026-11-02: add by m2/dev
Rhind Mathematical Papyrus R8V0G3K5RF
| URI | m2://inv/R8V0G3K5RF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a book, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q213540, Rhind Mathematical Papyrus (unknown). Also ProofWiki Book:Ahmes/Rhind_Papyrus
- wikipedia: Wikipedia Rhind Mathematical Papyrus, Rhind Mathematical Papyrus (definition). Also Wikidata Q213540
History
- 2026-10-26: add by m2/dev
R8V6F3JMEM R8V6F3JMEM
| URI | m2://inv/R8V6F3JMEM |
|---|---|
| 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.20140#HSM1 (definition)
History
- 2026-11-02: add by m2/v0.6.18
R8VAR7RC73 R8VAR7RC73
| URI | m2://inv/R8VAR7RC73 |
|---|---|
| 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.09171#ZJ3V (statement). In 5ZPSZFE08Q/e1, theorem 3.6
History
- 2026-10-29: add by m2/v0.4.10
Caroline Finch R8VC49YHBF
| URI | m2://inv/R8VC49YHBF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Caroline Finch, Caroline Finch (topic). Also Wikidata Q37837260
History
- 2026-11-02: add by m2/dev
Generalization R8VFBN939F
| URI | m2://inv/R8VFBN939F |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Join (topology)#7WCP, Generalization (statement)
History
- 2026-11-02: add by m2/dev
R8VR0GW3ZD R8VR0GW3ZD
| URI | m2://inv/R8VR0GW3ZD |
|---|---|
| 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 2610.05354#CX59 (statement). In TZ5BMDXRQZ/e1, proposition 4.9
History
- 2026-10-29: add by m2/v0.4.10
Applications R8VVRQK5KT
| URI | m2://inv/R8VVRQK5KT |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euler's totient function#938I, Applications (example)
History
- 2026-11-02: add by m2/dev
R8VZAV9147 R8VZAV9147
| URI | m2://inv/R8VZAV9147 |
|---|---|
| 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 2403.15043#4B0O (statement). In QDE21RT0T2/e1, lemma 5.9
History
- 2026-10-27: add by m2/v0.3.5
Learning Markov-like parameters R8VZD2P3QP
| URI | m2://inv/R8VZD2P3QP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22338#S5GG, Learning Markov-like parameters (statement)
History
- 2026-11-02: add by m2/v0.6.17
localization of a module R8W30FBZMY
| URI | m2://inv/R8W30FBZMY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6664609, localization of a module (unknown). Also nLab localization of a module
History
- 2026-10-26: add by m2/dev
Sara Kathryn Arledge R8WJ6WYKSH
| URI | m2://inv/R8WJ6WYKSH |
|---|---|
| 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#FDBP, Sara Kathryn Arledge (unknown)
History
- 2026-11-02: add by m2/dev
R8WMJWQ98H R8WMJWQ98H
| URI | m2://inv/R8WMJWQ98H |
|---|---|
| Kind | definition |
| 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.28189#O2H0 (definition)
History
- 2026-11-01: add by m2/v0.6.15
Alice Slotsky R8WNG964RE
| URI | m2://inv/R8WNG964RE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alice Slotsky, Alice Slotsky (topic). Also Wikidata Q99441419
History
- 2026-11-02: add by m2/dev
Prakash Panangaden R8WPQE2B28
| URI | m2://inv/R8WPQE2B28 |
|---|---|
| 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 Q21062151, Prakash Panangaden (unknown). Also nLab Prakash Panangaden
History
- 2026-10-26: add by m2/dev
Shifted Stochastic Sewing Lemma - R8WYCGBQB5
| URI | m2://inv/R8WYCGBQB5 |
|---|---|
| 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 2312.06473#B8H3, Shifted Stochastic Sewing Lemma - (statement). In P1MYSYHSGX/e1, lemma 2.4
History
- 2026-10-27: add by m2/v0.3.5
R8X2Y2625K R8X2Y2625K
| URI | m2://inv/R8X2Y2625K |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/relations/orders.tex#ex-5 (example). In PKGMM3P5QY, ex, section 80.4
History
- 2026-11-01: add by m2/v0.6.13
Privacy-enhancing technologies R8X5J37DSH
| URI | m2://inv/R8X5J37DSH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Privacy-enhancing technologies, Privacy-enhancing technologies (definition). Also Wikidata Q7246002
History
- 2026-11-02: add by m2/dev
Definition R8XAJ6E4KG
| URI | m2://inv/R8XAJ6E4KG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dyadic derivative#0UIS, Definition (definition)
History
- 2026-11-02: add by m2/dev
Pfister's sixteen-square identity R8XC8A0EEW
| URI | m2://inv/R8XC8A0EEW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pfister's sixteen-square identity, Pfister's sixteen-square identity (statement). Also Wikidata Q14916038
History
- 2026-11-02: add by m2/dev
R8XMZ7BTSF R8XMZ7BTSF
| URI | m2://inv/R8XMZ7BTSF |
|---|---|
| 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.24325#0CZ8 (statement)
History
- 2026-11-01: add by m2/v0.6.15
eventually R8XSSP5FEN
| URI | m2://inv/R8XSSP5FEN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of mathematical jargon#STW1, eventually (definition)
History
- 2026-11-02: add by m2/dev
Free-energy relationship R8XW362VY8
| URI | m2://inv/R8XW362VY8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Free-energy relationship, Free-energy relationship (definition). Also Wikidata Q4119007
History
- 2026-11-02: add by m2/dev
MathOverflow R8Y2AW01XW
| URI | m2://inv/R8Y2AW01XW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3298493, MathOverflow (unknown). Also nLab MathOverflow
- wikipedia: Wikipedia MathOverflow, MathOverflow (definition). Also Wikidata Q3298493
History
- 2026-10-26: add by m2/dev
R8Y85J8SA9 R8Y85J8SA9
| URI | m2://inv/R8Y85J8SA9 |
|---|---|
| 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 2610.09678#XI4Q (statement). In 9VG7PNZHZT/e1, proposition 2.2
History
- 2026-10-29: add by m2/v0.4.10
Apollonius quadrilateral R8YC6FAVS1
| URI | m2://inv/R8YC6FAVS1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Apollonius quadrilateral, Apollonius quadrilateral (definition). Also Wikidata Q132820703
History
- 2026-11-02: add by m2/dev
R8YGP74S3Z R8YGP74S3Z
| URI | m2://inv/R8YGP74S3Z |
|---|---|
| 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.17717#HAKG (statement). In YXRKS451PK/e1, lemma 2.5
History
- 2026-10-28: add by m2/v0.4.2
R8YH29BMX7 R8YH29BMX7
| URI | m2://inv/R8YH29BMX7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-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 2507.20176#S1E0 (statement). In CX4WDA2KAR/e1, proposition 2.16
History
- 2026-10-27: add by m2/v0.3.5
R8YPG9BVGR R8YPG9BVGR
| URI | m2://inv/R8YPG9BVGR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39505#WOER (statement). In WAXS6FS388/e1, proposition 3.8
History
- 2026-10-30: add by m2/v0.4.12
R8YRAT3QVG R8YRAT3QVG
| URI | m2://inv/R8YRAT3QVG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX, 57-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06747#K4YT (statement). In AB2WPR2FRR/e1, corollary 5.2
History
- 2026-10-29: add by m2/v0.4.10
R8YTYZZJZ4 R8YTYZZJZ4
| URI | m2://inv/R8YTYZZJZ4 |
|---|---|
| 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 2610.18992#LMTK (statement). In S7PNTM0GZC/e1, corollary 3.5
History
- 2026-10-28: add by m2/v0.4.2
R8Z31HF1GJ R8Z31HF1GJ
| URI | m2://inv/R8Z31HF1GJ |
|---|---|
| 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 1905.00573#6AWJ (statement). In 74RNQVBM2G/e1, lemma 3.8
History
- 2026-10-27: add by m2/v0.3.5
8100 R8Z58WCVVD
| URI | m2://inv/R8Z58WCVVD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 8000 (number)#Z8MB, 8100 (unknown)
History
- 2026-11-02: add by m2/dev
Critical Recovery from a Sufficiently Warm Start R8Z7EBDZD7
| URI | m2://inv/R8Z7EBDZD7 |
|---|---|
| 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.16705#R3EO, Critical Recovery from a Sufficiently Warm Start (statement). In B48YQVGAF5/e1, theorem 6.4
History
- 2026-10-28: add by m2/v0.4.2
Weyl's lemma R8ZAM5M7TB
| URI | m2://inv/R8ZAM5M7TB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weyl's lemma (Laplace equation), Weyl's lemma (statement). Also Wikidata Q7990327
History
- 2026-11-02: add by m2/dev
R8ZAZHXHQK R8ZAZHXHQK
| URI | m2://inv/R8ZAZHXHQK |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25656#121Q (definition)
History
- 2026-11-01: add by m2/v0.6.15
R8ZB4DZZAP R8ZB4DZZAP
| URI | m2://inv/R8ZB4DZZAP |
|---|---|
| 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.34876#KMYZ (statement). In XXQAW3ZBDF/e1, theorem 1.1
History
- 2026-10-30: add by m2/v0.4.12
R8ZBT1G8GX R8ZBT1G8GX
| URI | m2://inv/R8ZBT1G8GX |
|---|---|
| Kind | definition |
| 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#QKTB (definition). In Q5Z178SAHP/e1, definition 7.1
History
- 2026-10-30: add by m2/v0.4.12
R8ZEJKVESA R8ZEJKVESA
| URI | m2://inv/R8ZEJKVESA |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 26-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 2411.16022#JCOW (definition). In QG9ATXTKJ6/e1, definition 2.27
History
- 2026-10-27: add by m2/v0.3.5
$\lambda_0$-recurrence, $\lambda_0$-positive recurrence and $\lambda_0$-null recurrence R8ZFEWPETH
| URI | m2://inv/R8ZFEWPETH |
|---|---|
| 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.29326#LTPK, $\lambda_0$-recurrence, $\lambda_0$-positive recurrence and $\lambda_0$-null recurrence (definition). In 3F83V6VKKA/e1, definition 4.2
History
- 2026-10-27: add by m2/v0.3.6
R8ZHNG7XJC R8ZHNG7XJC
| URI | m2://inv/R8ZHNG7XJC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 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 2409.00806#2MWF (statement). In SBN06J39DG/e1, theorem 2.6
History
- 2026-10-27: add by m2/v0.3.5
fundamental theorem of topos theory R8ZNXBB42F
| URI | m2://inv/R8ZNXBB42F |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q25305241, fundamental theorem of topos theory (unknown). Also nLab fundamental theorem of topos theory
- wikipedia: Wikipedia Fundamental theorem of topos theory, Fundamental theorem of topos theory (statement). Also Wikidata Q25305241
History
- 2026-10-26: add by m2/dev
Shape R8ZPQG4TZJ
| URI | m2://inv/R8ZPQG4TZJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shape, Shape (definition). Also Wikidata Q207961
History
- 2026-11-02: add by m2/dev