Inventory rows R2
The cards of the rows of the inventory whose ids start with R2. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
function R205T4J3DD
| URI | m2://inv/R205T4J3DD |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus index/2.6.2/function, function (concept). In 907G4C4EJ1, index, section 2.6.2
History
- 2026-11-01: add by m2/v0.6.13
R20HPW08YE R20HPW08YE
| URI | m2://inv/R20HPW08YE |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2405.14678#4824 (example). In 9ZSNSJRJ5N/e1, example 32
History
- 2026-10-27: add by m2/v0.4.2
Gilbert Ames Bliss R20P52C0VW
| URI | m2://inv/R20P52C0VW |
|---|---|
| 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#P6FV, Gilbert Ames Bliss (topic)
History
- 2026-11-02: add by m2/dev
Alasdair Urquhart R20QMBREQM
| URI | m2://inv/R20QMBREQM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alasdair Urquhart, Alasdair Urquhart (topic). Also Wikidata Q4708449
History
- 2026-11-02: add by m2/dev
the Karpenko--Merkurjev plateau R20YKKD2S6
| URI | m2://inv/R20YKKD2S6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07508#CGLX, the Karpenko--Merkurjev plateau (statement). In TPA3E67MKK/e1, proposition 5.9
History
- 2026-10-29: add by m2/v0.4.10
Properties R212RWS77M
| URI | m2://inv/R212RWS77M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Division polynomials#N1QN, Properties (statement)
History
- 2026-11-02: add by m2/dev
Q-value R2149KV2G8
| URI | m2://inv/R2149KV2G8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Q-value (statistics), Q-value (definition). Also Wikidata Q65080157
History
- 2026-11-02: add by m2/dev
R21BTTXRSB R21BTTXRSB
| URI | m2://inv/R21BTTXRSB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21914#L3SO (statement)
History
- 2026-11-02: add by m2/v0.6.17
Continuum Hypothesis and ZFC R21EM0BXF3
| URI | m2://inv/R21EM0BXF3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Axiom independence#1G85, Continuum Hypothesis and ZFC (statement)
History
- 2026-11-02: add by m2/dev
method of exhaustion R21EW07A28
| URI | m2://inv/R21EW07A28 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q865019, method of exhaustion (definition). Also MathWorld MethodofExhaustion, ProofWiki Definition:Method_of_Exhaustion
- wikipedia: Wikipedia Method of exhaustion, Method of exhaustion (definition). Also Wikidata Q865019
History
- 2026-10-26: add by m2/dev
Wolstenholme prime R21JFP9YS2
| URI | m2://inv/R21JFP9YS2 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2550445, Wolstenholme prime (concept). Also MathWorld WolstenholmePrime, OEIS A088164
- wikipedia: Wikipedia Wolstenholme prime, Wolstenholme prime (conjecture). Also Wikidata Q2550445
History
- 2026-10-26: add by m2/dev
Properties R21Z1W7RPV
| URI | m2://inv/R21Z1W7RPV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Interaction information#DF9L, Properties (statement)
History
- 2026-11-02: add by m2/dev
R21Z9E1DPG R21Z9E1DPG
| URI | m2://inv/R21Z9E1DPG |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/calculus/integrate.tex#proof-3 (proof). In RZP28ERRZV, proof, section 31.3
History
- 2026-11-01: add by m2/v0.6.13
R22C1PP7HE R22C1PP7HE
| URI | m2://inv/R22C1PP7HE |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-ser.tex#proof-2 (proof). In E59CDZA4DP, proof, section 10.1
History
- 2026-11-01: add by m2/v0.6.13
Restoring Division R22CHGX4H8
| URI | m2://inv/R22CHGX4H8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Division algorithm#UQG2, Restoring Division (unknown)
History
- 2026-11-02: add by m2/dev
Burstiness R22CW4H6ME
| URI | m2://inv/R22CW4H6ME |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Burstiness, Burstiness (definition). Also Wikidata Q17006304
History
- 2026-11-02: add by m2/dev
R22HA43577 R22HA43577
| URI | m2://inv/R22HA43577 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16554#T538 (statement). In GWNT8HEZG1/e1, lemma 3.37
History
- 2026-10-27: add by m2/v0.3.6
R22M7QC23G R22M7QC23G
| URI | m2://inv/R22M7QC23G |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2110.11143#9KZD (definition). In VTVC0TCWSB/e1, definition 2.7
History
- 2026-10-27: add by m2/v0.3.5
Single signal case R22TM83D43
| URI | m2://inv/R22TM83D43 |
|---|---|
| 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.26406#A06S, Single signal case (statement)
History
- 2026-11-01: add by m2/v0.6.15
orthodiagonal quadrilateral R22WTAY180
| URI | m2://inv/R22WTAY180 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3531598, orthodiagonal quadrilateral (unknown). Also MathWorld OrthodiagonalQuadrangle
- wikipedia: Wikipedia Orthodiagonal quadrilateral, Orthodiagonal quadrilateral (definition). Also Wikidata Q3531598
History
- 2026-10-26: add by m2/dev
Gauss notation R22XY14JXS
| URI | m2://inv/R22XY14JXS |
|---|---|
| Kind | definition |
| Layer | textbook |
| MSC | 57M25 |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q96755115, Gauss notation (topic)
- wikipedia: Wikipedia Gauss notation, Gauss notation (definition). Also Wikidata Q96755115
History
- 2026-10-26: add by m2/dev
R23FQ66HXB R23FQ66HXB
| URI | m2://inv/R23FQ66HXB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-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 2609.24614#XWNQ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Nested triangles graph R23GJAZB8E
| URI | m2://inv/R23GJAZB8E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nested triangles graph, Nested triangles graph (definition). Also Wikidata Q17082946
History
- 2026-11-02: add by m2/dev
R23S9WCH87 R23S9WCH87
| URI | m2://inv/R23S9WCH87 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28028#TNXQ (statement)
History
- 2026-11-01: add by m2/v0.6.15
PPP R23YXGZ8A3
| URI | m2://inv/R23YXGZ8A3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia PPP (complexity), PPP (definition). Also Wikidata Q7120193
History
- 2026-11-02: add by m2/dev
Sharpness of the logarithmic deficit correction R247JM40FZ
| URI | m2://inv/R247JM40FZ |
|---|---|
| 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.33154#XUXP, Sharpness of the logarithmic deficit correction (statement). In N28DEYRBW7/e1, corollary 3.7
History
- 2026-10-30: add by m2/v0.4.12
R24S3C3PRD R24S3C3PRD
| URI | m2://inv/R24S3C3PRD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18287#73W4 (statement). In ZXZN6RMN38/e1, lemma 24
History
- 2026-10-28: add by m2/v0.4.2
GGH encryption scheme R24TCYZS2S
| URI | m2://inv/R24TCYZS2S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia GGH encryption scheme, GGH encryption scheme (definition). Also Wikidata Q5513376
History
- 2026-11-02: add by m2/dev
the Size and $\delta$-Dependence of the Continuity Bounds R24XQY200Q
| URI | m2://inv/R24XQY200Q |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
History
- 2026-10-28: add by m2/v0.4.2
Inertial circle R252J2G7R1
| URI | m2://inv/R252J2G7R1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coriolis force#CLD3, Inertial circle (unknown)
History
- 2026-11-02: add by m2/dev
Counternull R2554V8PJG
| URI | m2://inv/R2554V8PJG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Counternull, Counternull (definition). Also Wikidata Q5176994
History
- 2026-11-02: add by m2/dev
R256YRAEXB R256YRAEXB
| URI | m2://inv/R256YRAEXB |
|---|---|
| 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.25703#H6JF (statement)
History
- 2026-11-01: add by m2/v0.6.15
Micromagnetics R25P8HKWG8
| URI | m2://inv/R25P8HKWG8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Micromagnetics, Micromagnetics (definition). Also Wikidata Q6839648
History
- 2026-11-02: add by m2/dev
Tetralemma R260T63RTK
| URI | m2://inv/R260T63RTK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tetralemma, Tetralemma (definition). Also Wikidata Q1551387
History
- 2026-11-02: add by m2/dev
Bolzano--Weierstrass R262R49856
| URI | m2://inv/R262R49856 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-ser.tex#thm:bwseq, Bolzano--Weierstrass (statement). In E59CDZA4DP, thm, section 10.3.3
History
- 2026-11-01: add by m2/v0.6.13
Subgroups of cyclic groups R264D5HEBQ
| URI | m2://inv/R264D5HEBQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Subgroups of cyclic groups, Subgroups of cyclic groups (definition). Also Wikidata Q5508972
History
- 2026-11-02: add by m2/dev
Kurt Hensel R26DA3C37M
| URI | m2://inv/R26DA3C37M |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#DEO4, Kurt Hensel (topic)
History
- 2026-11-02: add by m2/dev
A. N. Shiryayev R26H2K2AAQ
| URI | m2://inv/R26H2K2AAQ |
|---|---|
| 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#3QMQ, A. N. Shiryayev (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#HOR0, A. N. Shiryayev (unknown)
History
- 2026-11-02: add by m2/dev
Theorem R26KYVYVHV
| URI | m2://inv/R26KYVYVHV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Angle bisector theorem#DH3Z, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Risk communication R26MYD4EWM
| URI | m2://inv/R26MYD4EWM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Risk communication, Risk communication (topic). Also Wikidata Q24889807
History
- 2026-11-02: add by m2/dev
R26R6TDFMH R26R6TDFMH
| URI | m2://inv/R26R6TDFMH |
|---|---|
| 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.07790#YTD7 (statement). In A5YJDDM0NX/e1, lemma A.14
History
- 2026-10-29: add by m2/v0.4.10
R2720FGTYP R2720FGTYP
| URI | m2://inv/R2720FGTYP |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07828#VQJS (definition). In TWGMVT1N1G/e1, definition 6.5
History
- 2026-10-29: add by m2/v0.4.10
George F. Warren R27E652JAP
| URI | m2://inv/R27E652JAP |
|---|---|
| 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#X3AP, George F. Warren (unknown)
History
- 2026-11-02: add by m2/dev
R27FHK4B6V R27FHK4B6V
| URI | m2://inv/R27FHK4B6V |
|---|---|
| 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 2506.18195#NQAS (statement). In 6B8FNCHF1Z/e1, corollary 1
History
- 2026-10-27: add by m2/v0.3.6
R27GF38P40 R27GF38P40
| URI | m2://inv/R27GF38P40 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1008.4254#KQ9S (statement). In SXTX59QBVT/e1, lemma 2.9
History
- 2026-10-27: add by m2/v0.3.5
The normalised positive definite case R27H5ZHBZR
| URI | m2://inv/R27H5ZHBZR |
|---|---|
| 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.07404#K47J, The normalised positive definite case (statement). In VAJ9MBT3SJ/e1, proposition 9
History
- 2026-10-29: add by m2/v0.4.10
R27NQ1FG9T R27NQ1FG9T
| URI | m2://inv/R27NQ1FG9T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25275#XRM8 (statement)
History
- 2026-11-01: add by m2/v0.6.15
R27PXG0HN2 R27PXG0HN2
| URI | m2://inv/R27PXG0HN2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33238#TYGR (statement). In MVWXMDFP3P/e1, lemma 4.2
History
- 2026-10-30: add by m2/v0.4.12
Rule of inference R27R7BDR4M
| URI | m2://inv/R27R7BDR4M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/axiomatic-deduction/rules-and-proofs.tex#defn-2, Rule of inference (definition). In PKGMM3P5QY, defn, section 8.13
History
- 2026-11-01: add by m2/v0.6.13
R27YHHEKE2 R27YHHEKE2
| URI | m2://inv/R27YHHEKE2 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26417#9781 (definition)
History
- 2026-11-01: add by m2/v0.6.15
Pierre-Emmanuel Caprace R280523MWY
| URI | m2://inv/R280523MWY |
|---|---|
| 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#YA4S, Pierre-Emmanuel Caprace (unknown)
History
- 2026-11-02: add by m2/dev
R285PGT204 R285PGT204
| URI | m2://inv/R285PGT204 |
|---|---|
| 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 2504.13328#99J3 (statement). In 736Q32FYCG/e1, corollary 4.10
History
- 2026-10-27: add by m2/v0.3.5
R289KX52H1 R289KX52H1
| URI | m2://inv/R289KX52H1 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX, 22-XX, 53-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.14045#YGN9 (definition). In KZ71GXT2B0/e1, definition 4.9
History
- 2026-10-28: add by m2/v0.4.2
Prime-power minimality in the full minor order R28B8G1E5R
| URI | m2://inv/R28B8G1E5R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04305#H4O1, Prime-power minimality in the full minor order (statement). In Y1DR0DPWD0/e1, theorem 7.15
History
- 2026-10-29: add by m2/v0.4.12
Moran test R28E9MKCHK
| URI | m2://inv/R28E9MKCHK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Maximum spacing estimation#3QPK, Moran test (unknown)
History
- 2026-11-02: add by m2/dev
Richter--Tchakaloff R28GF3P9A2
| URI | m2://inv/R28GF3P9A2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2503.19729#SQ5H, Richter--Tchakaloff (statement). In 40YZ43TS8K/e1, theorem 2.10
History
- 2026-10-27: add by m2/v0.3.5
R28JE9PD8W R28JE9PD8W
| URI | m2://inv/R28JE9PD8W |
|---|---|
| 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.00625#O3XX (statement). In BGA625B7W1/e1, lemma 1.8
History
- 2026-10-30: add by m2/v0.4.12
Properties R28RWEPSWZ
| URI | m2://inv/R28RWEPSWZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fréchet lattice#A1SV, Properties (statement)
History
- 2026-11-02: add by m2/dev
tangent R28TWQ6XXF
| URI | m2://inv/R28TWQ6XXF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#TMML, tangent (definition)
History
- 2026-11-02: add by m2/dev
Shu Yang R28XF28AH3
| URI | m2://inv/R28XF28AH3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shu Yang (statistician), Shu Yang (topic). Also Wikidata Q102420182
History
- 2026-11-02: add by m2/dev
R290DPB6SW R290DPB6SW
| URI | m2://inv/R290DPB6SW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26572#BZCN (statement)
History
- 2026-11-01: add by m2/v0.6.15
Pompeii R292JD1DXX
| URI | m2://inv/R292JD1DXX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#NTV4, Pompeii (unknown)
History
- 2026-11-02: add by m2/dev
Kunihiko Kodaira R299YYXDTT
| URI | m2://inv/R299YYXDTT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#GFFC, Kunihiko Kodaira (topic)
- wikipedia: Wikipedia List of algebraic geometry topics#W7MG, Kunihiko Kodaira (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#G0S2, Kunihiko Kodaira (topic)
History
- 2026-11-02: add by m2/dev
R29CBFT9K5 R29CBFT9K5
| URI | m2://inv/R29CBFT9K5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10928#F3RB (statement). In 8M7BFVQYMM/e1, corollary 4.10
History
- 2026-10-28: add by m2/v0.4.3
Stone's representation theorem for Boolean algebras R29SJ1ENFD
| URI | m2://inv/R29SJ1ENFD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Boolean algebra topics#2A94, Stone's representation theorem for Boolean algebras (statement)
History
- 2026-11-02: add by m2/dev
Examples R29T4QRX3E
| URI | m2://inv/R29T4QRX3E |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Assignment problem#JMWW, Examples (example)
History
- 2026-11-02: add by m2/dev
discrete set R29W0AZNKT
| URI | m2://inv/R29W0AZNKT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q13211900, discrete set (unknown). Also MathWorld DiscreteSet
History
- 2026-10-26: add by m2/dev
Leo Moser R29WX2QKTB
| URI | m2://inv/R29WX2QKTB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Leo Moser, Leo Moser (topic). Also Wikidata Q1117778
History
- 2026-11-02: add by m2/dev
R29Y466R35 R29Y466R35
| URI | m2://inv/R29Y466R35 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2506.21337#9XVZ (statement). In EPZN0JTG2Z/e1, lemma 4.3
History
- 2026-10-27: add by m2/v0.3.5
R29Z73K06R R29Z73K06R
| URI | m2://inv/R29Z73K06R |
|---|---|
| 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 2102.09374#0JE9 (statement). In TGAHH1F8K5/e1, lemma 4.9
History
- 2026-10-27: add by m2/v0.3.6
Tonelli/Fubini for sums, challenging R2A5JGPQEZ
| URI | m2://inv/R2A5JGPQEZ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-ser.tex#exercise:tonellifubiniforsums, Tonelli/Fubini for sums, challenging (exercise). In E59CDZA4DP, exercise, section 10.6.6
History
- 2026-11-01: add by m2/v0.6.13
R2ACSH5V20 R2ACSH5V20
| URI | m2://inv/R2ACSH5V20 |
|---|---|
| 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.05388#KK35 (statement). In 4HJK1986EJ/e1, theorem 2.1
History
- 2026-10-29: add by m2/v0.4.10
Petrie–Coxeter polyhedra R2AFNARW9P
| URI | m2://inv/R2AFNARW9P |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Regular skew apeirohedron#L0SL, Petrie–Coxeter polyhedra (unknown)
History
- 2026-11-02: add by m2/dev
R2AG5X5A54 R2AG5X5A54
| URI | m2://inv/R2AG5X5A54 |
|---|---|
| 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.06785#SMJ0 (statement). In PG6AEWX25E/e1, theorem 1.4
History
- 2026-10-29: add by m2/v0.4.10
Self-learning (machine learning) R2AGZDW8E0
| URI | m2://inv/R2AGZDW8E0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Machine learning#TV57, Self-learning (machine learning) (unknown)
History
- 2026-11-02: add by m2/dev
Principal Axes Theorem R2AVE6BVK4
| URI | m2://inv/R2AVE6BVK4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section7-2.xml#theorem-1, Principal Axes Theorem (statement). In 649HGZKE96, theorem, section 7.2.2
History
- 2026-11-01: add by m2/v0.6.13
R2B0FNJBCW R2B0FNJBCW
| URI | m2://inv/R2B0FNJBCW |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/computability/recursive-functions/trees.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 4.2
History
- 2026-11-01: add by m2/v0.6.13
Limiting conditional covariance R2B18SEY91
| URI | m2://inv/R2B18SEY91 |
|---|---|
| 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.13884#AMED, Limiting conditional covariance (statement). In N2NQ3QJYTW/e1, lemma 5.1
History
- 2026-10-28: add by m2/v0.4.2
Full-support spectral converse R2B32Z8WE9
| URI | m2://inv/R2B32Z8WE9 |
|---|---|
| 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.40054#TI7F, Full-support spectral converse (statement). In CA4C9PFM1E/e1, lemma 3.2.4
History
- 2026-10-30: add by m2/v0.4.12
R2BAZD27VZ R2BAZD27VZ
| URI | m2://inv/R2BAZD27VZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 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 2108.01302#RP7J (statement). In KTQS6YPA4E/e1, theorem 1.2
History
- 2026-10-27: add by m2/v0.3.5
Linear convergence under the Riemannian Polyak-\L ojasiewicz inequality R2BCNNNTPS
| URI | m2://inv/R2BCNNNTPS |
|---|---|
| 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.32997#WXPD, Linear convergence under the Riemannian Polyak-\L ojasiewicz inequality (statement). In N380GY9A9N/e1, proposition 3.7
History
- 2026-10-31: add by m2/v0.5.6
Chain rule for holomorphic mappings\index{chain rule for holomorphic mappings} R2BFEC8MA8
| URI | m2://inv/R2BFEC8MA8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#prop-5, Chain rule for holomorphic mappings\index{chain rule for holomorphic mappings} (statement). In VNMV985MXX, prop, section 1.3
History
- 2026-11-01: add by m2/v0.6.13
Unoriented cobordism R2BGD8F4Y6
| URI | m2://inv/R2BGD8F4Y6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cobordism#TUQ2, Unoriented cobordism (unknown)
History
- 2026-11-02: add by m2/dev
Hollerith, Herman R2BHYDQDPK
| URI | m2://inv/R2BHYDQDPK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#DRYF, Hollerith, Herman (unknown)
History
- 2026-11-02: add by m2/dev
Three Rivers, California R2BKA33P3B
| URI | m2://inv/R2BKA33P3B |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#2JFZ, Three Rivers, California (unknown)
History
- 2026-11-02: add by m2/dev
Cross-covariance R2BKP284KT
| URI | m2://inv/R2BKP284KT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cross-covariance, Cross-covariance (definition). Also Wikidata Q5188161
History
- 2026-11-02: add by m2/dev
R2BQT6BF5P R2BQT6BF5P
| URI | m2://inv/R2BQT6BF5P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2405.05684#TY7P (statement). In 1PR73ECTZB/e1, lemma 1
History
- 2026-10-27: add by m2/v0.3.5
Conway triangle notation R2BRS9HG48
| URI | m2://inv/R2BRS9HG48 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of triangle topics#VMVV, Conway triangle notation (definition)
History
- 2026-11-02: add by m2/dev
Conditional binomials and multinomial comparison R2BT0550BR
| URI | m2://inv/R2BT0550BR |
|---|---|
| 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.17479#NF4Q, Conditional binomials and multinomial comparison (statement). In 4FWAY748N7/e1, corollary 4.1
History
- 2026-10-28: add by m2/v0.4.2
R2BYRQNRGD R2BYRQNRGD
| URI | m2://inv/R2BYRQNRGD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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.15643#O1GK (statement). In 7QFBJCRPW1/e1, theorem 1.3
History
- 2026-10-28: add by m2/v0.4.2
Continuity of the Adam ratio R2C1M4G1WC
| URI | m2://inv/R2C1M4G1WC |
|---|---|
| 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.11309#Q34D, Continuity of the Adam ratio (statement). In TTEAQA1XXR/e1, lemma E.5
History
- 2026-10-28: add by m2/v0.4.3
Hypergeometric distribution R2C4P7JZS6
| URI | m2://inv/R2C4P7JZS6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#CVY9, Hypergeometric distribution (definition)
- wikipedia: Wikipedia List of factorial and binomial topics#AN2M, Hypergeometric distribution (definition)
History
- 2026-11-02: add by m2/dev
R2C5WTMWV1 R2C5WTMWV1
| URI | m2://inv/R2C5WTMWV1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 46-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35577#4CBO (statement). In 4F8QRV05BV/e1, theorem 4.2
History
- 2026-10-30: add by m2/v0.4.12
Definition and properties R2C6WJY67K
| URI | m2://inv/R2C6WJY67K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schouten–Nijenhuis bracket#O4SO, Definition and properties (definition)
History
- 2026-11-02: add by m2/dev
R2CFCC9CRK R2CFCC9CRK
| URI | m2://inv/R2CFCC9CRK |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-riemann.tex#exercise-2 (exercise). In E59CDZA4DP, exercise, section 8.1.4
History
- 2026-11-01: add by m2/v0.6.13
Rotation lower envelope R2CHFZ7ADN
| URI | m2://inv/R2CHFZ7ADN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00295#OQNL, Rotation lower envelope (statement). In 7HXP270BD0/e1, lemma 3.7
History
- 2026-10-30: add by m2/v0.4.12
R2D0TZ7WNA R2D0TZ7WNA
| URI | m2://inv/R2D0TZ7WNA |
|---|---|
| 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.21532#66JQ (definition)
History
- 2026-11-02: add by m2/v0.6.18
Tomasz Mrowka R2D5QFF6VN
| URI | m2://inv/R2D5QFF6VN |
|---|---|
| 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#0LRH, Tomasz Mrowka (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#6AZ3, Tomasz Mrowka (topic)
History
- 2026-11-02: add by m2/dev
R2DGX1VTYS R2DGX1VTYS
| URI | m2://inv/R2DGX1VTYS |
|---|---|
| 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#M1V4 (statement). In ZJQB9W60T6/e1, theorem 4.14
History
- 2026-10-28: add by m2/v0.4.2
Examples R2DKPKDYTK
| URI | m2://inv/R2DKPKDYTK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Moment of inertia#8X5I, Examples (example)
History
- 2026-11-02: add by m2/dev
Mathematical statement of conjecture R2DNGH1R1G
| URI | m2://inv/R2DNGH1R1G |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Markus–Yamabe conjecture#OQZC, Mathematical statement of conjecture (statement)
History
- 2026-11-02: add by m2/dev
R2DR53ZR1N R2DR53ZR1N
| URI | m2://inv/R2DR53ZR1N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2510.23812#K14J (statement). In D8XZBXJPR5/e1, lemma 4.1
History
- 2026-10-27: add by m2/v0.3.5
R2DZ4FPF8H R2DZ4FPF8H
| URI | m2://inv/R2DZ4FPF8H |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book setmath.tex#proof-7 (proof). In N54F33XE07, proof, section C.1.3
History
- 2026-11-01: add by m2/v0.6.13
Dmitry Tamarkin R2DZR7A5VC
| URI | m2://inv/R2DZR7A5VC |
|---|---|
| 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#K1UA, Dmitry Tamarkin (unknown)
History
- 2026-11-02: add by m2/dev
R2E3CF1TJ6 R2E3CF1TJ6
| URI | m2://inv/R2E3CF1TJ6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28289#2HQV (statement)
History
- 2026-11-01: add by m2/v0.6.15
Properties R2E3WJJ80P
| URI | m2://inv/R2E3WJJ80P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Completely metrizable space#NLNS, Properties (statement)
History
- 2026-11-02: add by m2/dev
Robert Zink R2E99YZ0YW
| URI | m2://inv/R2E99YZ0YW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Robert Zink, Robert Zink (topic). Also Wikidata Q102143863
History
- 2026-11-02: add by m2/dev
British Journal of Mathematical and Statistical Psychology R2E9D4W6SR
| URI | m2://inv/R2E9D4W6SR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia British Journal of Mathematical and Statistical Psychology, British Journal of Mathematical and Statistical Psychology (definition). Also Wikidata Q15708900
History
- 2026-11-02: add by m2/dev
Zhiming Chen R2EA1ZNGM2
| URI | m2://inv/R2EA1ZNGM2 |
|---|---|
| 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#8BRF, Zhiming Chen (unknown)
History
- 2026-11-02: add by m2/dev
R2EBZS8VBD R2EBZS8VBD
| URI | m2://inv/R2EBZS8VBD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00109#E40R (statement). In FS8J84KFX2/e1, lemma 3.3
History
- 2026-10-30: add by m2/v0.4.12
Quartic separation theorem R2EK02EPEE
| URI | m2://inv/R2EK02EPEE |
|---|---|
| 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.17100#3BBR, Quartic separation theorem (statement). In 4TSS52DMB2/e1, theorem 5.1
History
- 2026-10-28: add by m2/v0.4.2
Formal statement R2ENX73Y94
| URI | m2://inv/R2ENX73Y94 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sophie Germain's theorem#IPRX, Formal statement (statement)
History
- 2026-11-02: add by m2/dev
Algebraic properties R2EPQKZ1B3
| URI | m2://inv/R2EPQKZ1B3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Convolution#YUQD, Algebraic properties (statement)
History
- 2026-11-02: add by m2/dev
R2ER86P557 R2ER86P557
| URI | m2://inv/R2ER86P557 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-metric.tex#proof-5 (proof). In E59CDZA4DP, proof, section 4.2.1
History
- 2026-11-01: add by m2/v0.6.13
Distance additivity R2ESBJBDBQ
| URI | m2://inv/R2ESBJBDBQ |
|---|---|
| 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.13429#M89S, Distance additivity (statement). In B2VB5T5WQD/e1, lemma 2.7
History
- 2026-10-28: add by m2/v0.4.2
Chad Kammerer R2ESSAH2B0
| URI | m2://inv/R2ESSAH2B0 |
|---|---|
| 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#5ULQ, Chad Kammerer (unknown)
History
- 2026-11-02: add by m2/dev
Honest confidence intervals R2F1FE1QJ4
| URI | m2://inv/R2F1FE1QJ4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38267#X5HQ, Honest confidence intervals (statement). In 518V871EKW/e1, corollary 3.11
History
- 2026-10-30: add by m2/v0.4.12
genus 2 R2F3KG4Y0F
| URI | m2://inv/R2F3KG4Y0F |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 14-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 2310.15716#BKLZ, genus 2 (example). In 7WDA4MEWE2/e1, example 5.3
History
- 2026-10-27: add by m2/v0.3.6
Density of Diophantine vectors with exponent \(3\ R2F7YRVHGA
| URI | m2://inv/R2F7YRVHGA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38013#MQ78, Density of Diophantine vectors with exponent \(3\ (statement). In DQ6P0P6N78/e1, lemma 2.1
History
- 2026-10-30: add by m2/v0.4.12
R2F9AMQCH0 R2F9AMQCH0
| URI | m2://inv/R2F9AMQCH0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14236#BCIV (statement). In XEQD21EBTT/e1, lemma 7.2
History
- 2026-10-28: add by m2/v0.4.2
R2FBK6FME9 R2FBK6FME9
| URI | m2://inv/R2FBK6FME9 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-fourier-and-pde.tex#exercise-81 (exercise). In E9HS8K3A52, exercise, section 5.6.4
History
- 2026-11-01: add by m2/v0.6.13
R2FE7EJBDV R2FE7EJBDV
| URI | m2://inv/R2FE7EJBDV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-XX, 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13213#KK2Q (statement). In V97F4YZ8B0/e1, theorem 5.8
History
- 2026-10-28: add by m2/v0.4.2
R2FFS03FZS R2FFS03FZS
| URI | m2://inv/R2FFS03FZS |
|---|---|
| Kind | problem |
| 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 2205.06433#VEJM (problem). In 628PJKD3EV/e1, problem 4.3
History
- 2026-10-27: add by m2/v0.3.5
Al-Birjandi R2FHM96RAM
| URI | m2://inv/R2FHM96RAM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Iranian mathematicians#CNF6, Al-Birjandi (unknown)
History
- 2026-11-02: add by m2/dev
R2FHS1JB5G R2FHS1JB5G
| URI | m2://inv/R2FHS1JB5G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.22560#K29G (statement)
History
- 2026-11-02: add by m2/v0.6.17
Aleksei Georgievich Postnikov R2FJ2T7JJT
| URI | m2://inv/R2FJ2T7JJT |
|---|---|
| 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#Q1EI, Aleksei Georgievich Postnikov (unknown)
History
- 2026-11-02: add by m2/dev
The reciprocal bound cannot simply be omitted R2G38J6SVB
| URI | m2://inv/R2G38J6SVB |
|---|---|
| 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.09570#PB9F, The reciprocal bound cannot simply be omitted (statement). In 6QAW01629C/e1, proposition 3.3
History
- 2026-10-29: add by m2/v0.4.10
R2G4G3RCQR R2G4G3RCQR
| URI | m2://inv/R2G4G3RCQR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07092#83LZ (statement). In JWNYJVH8XG/e1, proposition 6.4
History
- 2026-10-29: add by m2/v0.4.10
R2GAGMNDQ6 R2GAGMNDQ6
| URI | m2://inv/R2GAGMNDQ6 |
|---|---|
| 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.27157#U28Q (statement)
History
- 2026-11-01: add by m2/v0.6.15
Choice of fitting criterion R2GAK8NVK6
| URI | m2://inv/R2GAK8NVK6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Local regression#P756, Choice of fitting criterion (statement)
History
- 2026-11-02: add by m2/dev
R2GAKS1E82 R2GAKS1E82
| URI | m2://inv/R2GAKS1E82 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21093#F93N (statement). In TBFPBPQV3G/e1, lemma 8.2
History
- 2026-10-27: add by m2/v0.4.2
De Moivre's formula R2GB20RXGE
| URI | m2://inv/R2GB20RXGE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Abraham de Moivre#0GR7, De Moivre's formula (statement)
History
- 2026-11-02: add by m2/dev
Mythical number R2GESB2496
| URI | m2://inv/R2GESB2496 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mythical number, Mythical number (definition). Also Wikidata Q6949167
History
- 2026-11-02: add by m2/dev
Provenance-preserving rendering equivalence R2GVVTYRSR
| URI | m2://inv/R2GVVTYRSR |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20207#WK6B, Provenance-preserving rendering equivalence (definition)
History
- 2026-11-02: add by m2/v0.6.18
R2H1TVW34N R2H1TVW34N
| URI | m2://inv/R2H1TVW34N |
|---|---|
| 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.36456#HBJX (statement). In E3MBNAPCQG/e1, proposition 3.1
History
- 2026-10-30: add by m2/v0.4.12
R2H31NA03P R2H31NA03P
| URI | m2://inv/R2H31NA03P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24845#JFQR (statement)
History
- 2026-11-01: add by m2/v0.6.15
Convolution quotient R2H5CB6BWJ
| URI | m2://inv/R2H5CB6BWJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Convolution quotient, Convolution quotient (definition). Also Wikidata Q30704535
History
- 2026-11-02: add by m2/dev
free variable R2HAZNWX3G
| URI | m2://inv/R2HAZNWX3G |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula index/1.2.3/free-variable, free variable (concept). In 649HGZKE96, index, section 1.2.3
History
- 2026-11-01: add by m2/v0.6.13
R2HY672382 R2HY672382
| URI | m2://inv/R2HY672382 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/sec_addtops-numbth.ptx#proof-1 (proof). In Y91XFCEVHQ, proof, section 6.2.3
History
- 2026-11-01: add by m2/v0.6.13
R2J1EJK834 R2J1EJK834
| URI | m2://inv/R2J1EJK834 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/TasteNumberTheory.tex#prob:divisibility examples (exercise). In P1C114YBXG, problem, section J
History
- 2026-11-01: add by m2/v0.6.13
R2J4503AH7 R2J4503AH7
| URI | m2://inv/R2J4503AH7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2601.13782#9N4J (statement). In 12RSHWCNMX/e1, lemma 3
History
- 2026-10-27: add by m2/v0.3.5
R2JA5BX2EG R2JA5BX2EG
| URI | m2://inv/R2JA5BX2EG |
|---|---|
| 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#IY59 (statement). In RYFV9HGWWZ/e1, lemma 34
History
- 2026-10-27: add by m2/v0.3.5
R2JC4C934B R2JC4C934B
| URI | m2://inv/R2JC4C934B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12831#9HU6 (statement). In 7ZBQ8WGQVB/e1, theorem 1.4
History
- 2026-10-28: add by m2/v0.4.2
Examples R2JQ99QZ24
| URI | m2://inv/R2JQ99QZ24 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stochastic partial differential equation#V9A9, Examples (example)
History
- 2026-11-02: add by m2/dev
Haines, Linda M. R2JVM46TXZ
| URI | m2://inv/R2JVM46TXZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#D2MK, Haines, Linda M. (topic)
History
- 2026-11-02: add by m2/dev
Jean's escape R2JY5DK69M
| URI | m2://inv/R2JY5DK69M |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Atmospheric escape#YU6L, Jean's escape (unknown)
History
- 2026-11-02: add by m2/dev
Maria Luisa Dalla Chiara R2KD3HS40B
| URI | m2://inv/R2KD3HS40B |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of women logicians#3VIE, Maria Luisa Dalla Chiara (unknown)
History
- 2026-11-02: add by m2/dev
combinatorial species R2KD87PK3W
| URI | m2://inv/R2KD87PK3W |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Combinatorial species 7PEE48WBQF |
Mentions
- wikidata: Wikidata Q4457949, combinatorial species (concept). Also MathWorld Species, nLab species
- wikipedia: Wikipedia Combinatorial species, Combinatorial species (topic). Also Wikidata Q4457949
History
- 2026-10-26: add by m2/dev
R2M1QJDPEP R2M1QJDPEP
| URI | m2://inv/R2M1QJDPEP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05506#RC0G (statement). In FT53PMB1TE/e1, lemma 6.2.2
History
- 2026-10-29: add by m2/v0.4.10
R2M25P8BF9 R2M25P8BF9
| URI | m2://inv/R2M25P8BF9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 55-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21365#06I5 (statement). In FCMMB2EVAP/e1, proposition 2.31
History
- 2026-10-27: add by m2/v0.4.2
R2M2BTHFTB R2M2BTHFTB
| URI | m2://inv/R2M2BTHFTB |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 30-XX, 32-XX, 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1209.5343#TRND (definition). In 4SPYEGKZ8J/e1, definition 2.11
History
- 2026-10-27: add by m2/v0.3.5
R2M5E8H8P3 R2M5E8H8P3
| URI | m2://inv/R2M5E8H8P3 |
|---|---|
| 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.04165#A0V9 (statement). In PKN283MHF8/e1, theorem 1.2
History
- 2026-10-29: add by m2/v0.4.12
Nonlinear programming R2MAQJTXSM
| URI | m2://inv/R2MAQJTXSM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nonlinear programming, Nonlinear programming (definition). Also Wikidata Q769909
History
- 2026-11-02: add by m2/dev
R2MBX5A4JW R2MBX5A4JW
| URI | m2://inv/R2MBX5A4JW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40345#R8Z2 (statement). In WK0PT95WW1/e1, theorem A.1
History
- 2026-10-30: add by m2/v0.4.12
R2MDYGS03H R2MDYGS03H
| URI | m2://inv/R2MDYGS03H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26382#5KR2 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Applications R2MEQDT1PQ
| URI | m2://inv/R2MEQDT1PQ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Diffusion wavelets#XVYS, Applications (example)
History
- 2026-11-02: add by m2/dev
R2N4WNZ0WR R2N4WNZ0WR
| URI | m2://inv/R2N4WNZ0WR |
|---|---|
| Kind | definition |
| 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 2308.02672#6QY2 (definition). In ETRT1R1CQ8/e1, definition 9.1
History
- 2026-10-27: add by m2/v0.4.0
R2NCXN8VB5 R2NCXN8VB5
| URI | m2://inv/R2NCXN8VB5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04271#79JY (statement). In WBXAW9G4JB/e1, lemma 3.1
History
- 2026-10-29: add by m2/v0.4.12
R2NWMWCWYG R2NWMWCWYG
| URI | m2://inv/R2NWMWCWYG |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/frobenius.tex#proof-4 (proof). In RZP28ERRZV, proof, section 13.5
History
- 2026-11-01: add by m2/v0.6.13
R2NXFH4JV5 R2NXFH4JV5
| URI | m2://inv/R2NXFH4JV5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11336#JB1G (statement). In X1R1GDAJ0Y/e1, corollary 2.25
History
- 2026-10-28: add by m2/v0.4.3
A strict central-square bound R2P4FJCZ1K
| URI | m2://inv/R2P4FJCZ1K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25027#V2T7, A strict central-square bound (statement)
History
- 2026-11-01: add by m2/v0.6.15
R2P55PBH76 R2P55PBH76
| URI | m2://inv/R2P55PBH76 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07673#4SLM (statement). In 37B1MPV8GX/e1, corollary 6.5
History
- 2026-10-29: add by m2/v0.4.10
Definition R2P69G4BBF
| URI | m2://inv/R2P69G4BBF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rathjen's psi function#QE3G, Definition (definition)
History
- 2026-11-02: add by m2/dev
Geometric and Functional Analysis R2P6ZB9KCK
| URI | m2://inv/R2P6ZB9KCK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geometric and Functional Analysis, Geometric and Functional Analysis (definition). Also Wikidata Q5535473
History
- 2026-11-02: add by m2/dev
Formula R2PAH8VZ1K
| URI | m2://inv/R2PAH8VZ1K |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tobler's hiking function#WM97, Formula (statement)
History
- 2026-11-02: add by m2/dev
David Gregory Ebin R2PB8KK8SG
| URI | m2://inv/R2PB8KK8SG |
|---|---|
| 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#SNMA, David Gregory Ebin (topic)
History
- 2026-11-02: add by m2/dev
Example R2PD864SQD
| URI | m2://inv/R2PD864SQD |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Borel–Weil–Bott theorem#8H32, Example (example)
History
- 2026-11-02: add by m2/dev
Existence and uniqueness R2PJKCWZVC
| URI | m2://inv/R2PJKCWZVC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gödel numbering for sequences#RSY8, Existence and uniqueness (statement)
History
- 2026-11-02: add by m2/dev
Exponential response formula R2PKVSMZES
| URI | m2://inv/R2PKVSMZES |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of dynamical systems and differential equations topics#Z0Q7, Exponential response formula (statement)
- wikipedia: Wikipedia List of exponential topics#DR8Z, Exponential response formula (statement)
History
- 2026-11-02: add by m2/dev
Wasserstein and KL control R2PR8HP54D
| URI | m2://inv/R2PR8HP54D |
|---|---|
| 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.10875#6CMD, Wasserstein and KL control (statement). In N91F15MHW1/e1, lemma 3
History
- 2026-10-28: add by m2/v0.4.3
Hölder's inequality R2PRTYQXXE
| URI | m2://inv/R2PRTYQXXE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lorentz space#AJAI, Hölder's inequality (statement)
History
- 2026-11-02: add by m2/dev
Ξ function R2PXSAD73Z
| URI | m2://inv/R2PXSAD73Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ξ function, Ξ function (definition). Also Wikidata Q8083993
History
- 2026-11-02: add by m2/dev
statvolt R2PZQBG8JS
| URI | m2://inv/R2PZQBG8JS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2066484, statvolt (definition). Also ProofWiki Definition:Statvolt
History
- 2026-10-26: add by m2/dev
Objections related to the law of the excluded middle and induction R2Q40MS2N6
| URI | m2://inv/R2Q40MS2N6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Brouwer–Hilbert controversy#OZ9G, Objections related to the law of the excluded middle and induction (statement)
History
- 2026-11-02: add by m2/dev
Fox–Artin arc R2Q6BET9R5
| URI | m2://inv/R2Q6BET9R5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Emil Artin#MEGT, Fox–Artin arc (definition)
History
- 2026-11-02: add by m2/dev
Examples R2QRZGA7V5
| URI | m2://inv/R2QRZGA7V5 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Binomial (polynomial)#OK0U, Examples (example)
History
- 2026-11-02: add by m2/dev
Zariski's main theorem R2QSJCXN7P
| URI | m2://inv/R2QSJCXN7P |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 14-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q8066795, Zariski's main theorem (statement). Also Wikidata Q8066795
- thousand_plus: thousand_plus Q8066795, Zariski's main theorem (statement). Also Wikidata Q8066795, Wikipedia Zariski's main theorem
- wikipedia: Wikipedia Zariski's main theorem, Zariski's main theorem (statement). Also Wikidata Q8066795
History
- 2026-10-26: add by m2/dev
R2QYG072YJ R2QYG072YJ
| URI | m2://inv/R2QYG072YJ |
|---|---|
| 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.17267#6R4X (statement). In 5VWB4A47R5/e1, theorem 4.3
History
- 2026-10-28: add by m2/v0.4.2
R2R0EXXKHJ R2R0EXXKHJ
| URI | m2://inv/R2R0EXXKHJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-several-vars-ders.tex#defn-8 (definition). In E59CDZA4DP, defn, section 11.3.2
History
- 2026-11-01: add by m2/v0.6.13
Properties R2R2YKW8VJ
| URI | m2://inv/R2R2YKW8VJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rng (algebra)#ZQ2K, Properties (statement)
History
- 2026-11-02: add by m2/dev
R2R3BZ8SHR R2R3BZ8SHR
| URI | m2://inv/R2R3BZ8SHR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04305#9RN0 (statement). In Y1DR0DPWD0/e1, theorem 7.21
History
- 2026-10-29: add by m2/v0.4.12
R2R6FCPN18 R2R6FCPN18
| URI | m2://inv/R2R6FCPN18 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30999#WEE3 (statement). In J1BWCKW2QK/e1, theorem
History
- 2026-10-31: add by m2/v0.5.6
Definition R2RCY6G1FD
| URI | m2://inv/R2RCY6G1FD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cylindric numbering#HTUU, Definition (definition)
History
- 2026-11-02: add by m2/dev
Semantic security R2RJ5J44HZ
| URI | m2://inv/R2RJ5J44HZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Semantic security, Semantic security (definition). Also Wikidata Q2333581
History
- 2026-11-02: add by m2/dev
R2RPPC6YWA R2RPPC6YWA
| URI | m2://inv/R2RPPC6YWA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 53-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25289#J3SC (statement)
History
- 2026-11-01: add by m2/v0.6.15
R2RRS8802N R2RRS8802N
| URI | m2://inv/R2RRS8802N |
|---|---|
| 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 2312.05005#2BRU (statement). In SMJMAQ2S3J/e1, proposition 1
History
- 2026-10-27: add by m2/v0.4.0
R2RW1H7G9X R2RW1H7G9X
| URI | m2://inv/R2RW1H7G9X |
|---|---|
| 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.13505#Z33V (statement). In 6Z1DDCYCQ8/e1, theorem 17
History
- 2026-10-28: add by m2/v0.4.2
Construction R2RWFMNQXH
| URI | m2://inv/R2RWFMNQXH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Real projective space#X3WV, Construction (definition)
History
- 2026-11-02: add by m2/dev
Letter frequency in English R2S1W1BB5M
| URI | m2://inv/R2S1W1BB5M |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Letter frequency#HHZM, Letter frequency in English (unknown)
History
- 2026-11-02: add by m2/dev
R2S7HR1J12 R2S7HR1J12
| URI | m2://inv/R2S7HR1J12 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 55-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25080#FYHC (statement)
History
- 2026-11-01: add by m2/v0.6.15
Clifford torus R2S8DT00SB
| URI | m2://inv/R2S8DT00SB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Clifford torus, Clifford torus (definition). Also Wikidata Q5133090
History
- 2026-11-02: add by m2/dev
Training algorithms for bidirectional recurrent neural networks R2SESMCZCP
| URI | m2://inv/R2SESMCZCP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bidirectional recurrent neural networks#H3FL, Training algorithms for bidirectional recurrent neural networks (unknown)
History
- 2026-11-02: add by m2/dev
R2SGDPRCMM R2SGDPRCMM
| URI | m2://inv/R2SGDPRCMM |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/lambda-calculus/church-rosser/beta-eta-reduction.tex#proof-3 (proof). In PKGMM3P5QY, proof, section 35.1
History
- 2026-11-01: add by m2/v0.6.13
Hells Halfacre, Kentucky R2STTRA24N
| URI | m2://inv/R2STTRA24N |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#YW1U, Hells Halfacre, Kentucky (unknown)
History
- 2026-11-02: add by m2/dev
R2SV4WEE65 R2SV4WEE65
| URI | m2://inv/R2SV4WEE65 |
|---|---|
| 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.31327#SHKM (statement). In F605BQ3AYX/e1, corollary 3.8
History
- 2026-10-31: add by m2/v0.5.6
Leslie Greengard R2SYW02PZA
| URI | m2://inv/R2SYW02PZA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Leslie Greengard, Leslie Greengard (topic). Also Wikidata Q1820787
History
- 2026-11-02: add by m2/dev
R2SZ6DX49H R2SZ6DX49H
| URI | m2://inv/R2SZ6DX49H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2211.14214#1N9T (statement). In SY85Y9E45A/e1, theorem 14
History
- 2026-10-27: add by m2/v0.3.5
Sputum R2T3R96CY6
| URI | m2://inv/R2T3R96CY6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of common misconceptions about science, technology, and mathematics#8WOE, Sputum (unknown)
History
- 2026-11-02: add by m2/dev
R2T73KQE3N R2T73KQE3N
| URI | m2://inv/R2T73KQE3N |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2212.06621#IAME (definition). In DB223AABTH/e1, definition 3.2
History
- 2026-10-27: add by m2/v0.3.5
Song R2TBWEA7J6
| URI | m2://inv/R2TBWEA7J6 |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12238#N2IO, Song (problem). In E31CZYM2H8/e1, problem Question
History
- 2026-10-28: add by m2/v0.4.2
R2TNW6HZ4T R2TNW6HZ4T
| URI | m2://inv/R2TNW6HZ4T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2508.16102#M6XL (statement). In 55QFMZQ5HM/e1, lemma 4.1
History
- 2026-10-27: add by m2/v0.3.6
Peter Landweber R2TQ1JKZNW
| URI | m2://inv/R2TQ1JKZNW |
|---|---|
| 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 Q2076568, Peter Landweber (unknown). Also nLab Peter Landweber
- wikipedia: Wikipedia Peter Landweber, Peter Landweber (topic). Also Wikidata Q2076568
History
- 2026-10-26: add by m2/dev
Fourier vanishing R2TR0G4J0P
| URI | m2://inv/R2TR0G4J0P |
|---|---|
| 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 2509.05577#QKWC, Fourier vanishing (statement). In EFWBREMZAP/e1, proposition 2.12
History
- 2026-10-27: add by m2/v0.3.5
R2TW59BEKY R2TW59BEKY
| URI | m2://inv/R2TW59BEKY |
|---|---|
| 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.06810#6I1R (statement). In 1NY2SA03XF/e1, theorem 6.2
History
- 2026-10-29: add by m2/v0.4.10
Wei-Yin Loh R2TY65D31A
| URI | m2://inv/R2TY65D31A |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#LD03, Wei-Yin Loh (topic)
History
- 2026-11-02: add by m2/dev
R2V2WPKM9R R2V2WPKM9R
| URI | m2://inv/R2V2WPKM9R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34856#JQTA (statement). In MRR92GQNZE/e1, corollary 3.19
History
- 2026-10-30: add by m2/v0.4.12
Statistical lower bound R2V5P4NFCE
| URI | m2://inv/R2V5P4NFCE |
|---|---|
| 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.12641#SO0E, Statistical lower bound (statement). In X5BYGZZHPF/e1, proposition J.1
History
- 2026-10-28: add by m2/v0.4.2
Units fixing $B$ R2V95HARF8
| URI | m2://inv/R2V95HARF8 |
|---|---|
| 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 2610.03763#ACJ4, Units fixing $B$ (statement). In ARZ4X5PXXC/e1, lemma 5.3
History
- 2026-10-29: add by m2/v0.4.12
Localization of the remaining pairs R2V95R58R8
| URI | m2://inv/R2V95R58R8 |
|---|---|
| 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#B559, Localization of the remaining pairs (statement). In T2B54J7121/e1, corollary 3.14
History
- 2026-10-30: add by m2/v0.4.12
Definitions R2VA2Q6JZM
| URI | m2://inv/R2VA2Q6JZM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tuple#KMOY, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Social Institutions and Gender Index R2VBKT175Q
| URI | m2://inv/R2VBKT175Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Social Institutions and Gender Index, Social Institutions and Gender Index (definition). Also Wikidata Q7550673
History
- 2026-11-02: add by m2/dev
Coulomb sampler with a finite-rank interaction R2VHBG7E4V
| URI | m2://inv/R2VHBG7E4V |
|---|---|
| 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.06764#606Q, Coulomb sampler with a finite-rank interaction (statement). In MSWV3MJ5CE/e1, corollary 4.5
History
- 2026-10-29: add by m2/v0.4.10
absolute value R2VMG95X1F
| URI | m2://inv/R2VMG95X1F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4669840, absolute value (unknown). Also LMFDB knowl nf.absolute_value
- wikipedia: Wikipedia Absolute value (algebra), Absolute value (definition). Also Wikidata Q4669840
History
- 2026-10-26: add by m2/dev
List of circle topics R2VNH1PXTY
| URI | m2://inv/R2VNH1PXTY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of curves topics#QXIS, List of circle topics (topic)
- wikipedia: Wikipedia List of topics related to π#LVBX, List of circle topics (topic)
History
- 2026-11-02: add by m2/dev
Hitting time R2W1SP3ZAH
| URI | m2://inv/R2W1SP3ZAH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#0PPE, Hitting time (definition)
History
- 2026-11-02: add by m2/dev
R2W9AE3EDV R2W9AE3EDV
| URI | m2://inv/R2W9AE3EDV |
|---|---|
| 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.21005#CJJ4 (statement). In E63NRC7MBE/e1, lemma 4.3
History
- 2026-10-27: add by m2/v0.4.2
Regularity lemma, approximation version R2WZ228HFG
| URI | m2://inv/R2WZ228HFG |
|---|---|
| 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.16180#A3CA, Regularity lemma, approximation version (statement). In FCFD59D3T6/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.2
Stokes' theorem R2X6G6AQ8A
| URI | m2://inv/R2X6G6AQ8A |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of calculus topics#JK04, Stokes' theorem (statement)
- wikipedia: Wikipedia List of differential geometry topics#ZC9H, Stokes' theorem (statement)
- wikipedia: Wikipedia List of multivariable calculus topics#HCOW, Stokes' theorem (statement)
History
- 2026-11-02: add by m2/dev
Applications R2XB4TM3V2
| URI | m2://inv/R2XB4TM3V2 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Entanglement distillation#V62P, Applications (example)
History
- 2026-11-02: add by m2/dev
R2XC3A9VPW R2XC3A9VPW
| URI | m2://inv/R2XC3A9VPW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-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 2609.29712#7DNW (statement)
History
- 2026-11-01: add by m2/v0.6.15
The partition R2XFKJF1VM
| URI | m2://inv/R2XFKJF1VM |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14217#THZL, The partition (definition). In K0DHYQC5B7/e1, definition 4.11
History
- 2026-10-28: add by m2/v0.4.2
Collatz sequence R2XK6TYCWQ
| URI | m2://inv/R2XK6TYCWQ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/1.4/collatz-sequence, Collatz sequence (concept). In QKM9DD2H56, index, section 1.4
History
- 2026-11-01: add by m2/v0.6.13
R2XKZP3JJD R2XKZP3JJD
| URI | m2://inv/R2XKZP3JJD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08357#LU0K (statement). In R9GRCAWHG0/e1, lemma 3.5
History
- 2026-10-29: add by m2/v0.4.10
Example R2XY8RRVF2
| URI | m2://inv/R2XY8RRVF2 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Distinction without a difference#F4TO, Example (example)
History
- 2026-11-02: add by m2/dev
Definitions R2YBMQMQ9K
| URI | m2://inv/R2YBMQMQ9K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Odds algorithm#R3BL, Definitions (definition)
History
- 2026-11-02: add by m2/dev
R2YEB1JPDP R2YEB1JPDP
| URI | m2://inv/R2YEB1JPDP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02628#9CKK (statement). In G4S9C5M1A4/e1, lemma 5.12
History
- 2026-10-29: add by m2/v0.4.12
R2YEWV2XHA R2YEWV2XHA
| URI | m2://inv/R2YEWV2XHA |
|---|---|
| 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.00386#016V (statement). In 7EDY2549HF/e1, theorem 2
History
- 2026-10-30: add by m2/v0.4.12
C. S. Yogananda R2YGC04ZAD
| URI | m2://inv/R2YGC04ZAD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia C. S. Yogananda, C. S. Yogananda (topic). Also Wikidata Q74262235
History
- 2026-11-02: add by m2/dev
R2YH2JYDHW R2YH2JYDHW
| URI | m2://inv/R2YH2JYDHW |
|---|---|
| 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.28365#EZNI (statement)
History
- 2026-11-01: add by m2/v0.6.15
Michael Shelley R2YJK85VFC
| URI | m2://inv/R2YJK85VFC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Michael Shelley (mathematician), Michael Shelley (topic). Also Wikidata Q6834353
History
- 2026-11-02: add by m2/dev
R2YZ32EHW3 R2YZ32EHW3
| URI | m2://inv/R2YZ32EHW3 |
|---|---|
| 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.10029#F3RM (statement). In K7EAM152B0/e1, proposition 6.1
History
- 2026-10-29: add by m2/v0.4.10
R2Z4CNT5KW R2Z4CNT5KW
| URI | m2://inv/R2Z4CNT5KW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23106#B4N3 (statement)
History
- 2026-11-02: add by m2/v0.6.17
348 (number) R2Z4JHBJQX
| URI | m2://inv/R2Z4JHBJQX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 300 (number)#40YO, 348 (number) (unknown)
History
- 2026-11-02: add by m2/dev
R2Z63XZ006 R2Z63XZ006
| URI | m2://inv/R2Z63XZ006 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/set-theory/zorn-lemma.tex#proof-1 (proof). In RZP28ERRZV, proof, section 94.5
History
- 2026-11-01: add by m2/v0.6.13
R2ZA05AV80 R2ZA05AV80
| URI | m2://inv/R2ZA05AV80 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 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 1705.01594#PZF5 (statement). In BR3N3GSY2C/e1, lemma 3.1
History
- 2026-10-27: add by m2/v0.3.5
R2ZBVWFT96 R2ZBVWFT96
| URI | m2://inv/R2ZBVWFT96 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-approximate.tex#exercise-70 (exercise). In E59CDZA4DP, exercise, section 1.8.7
History
- 2026-11-01: add by m2/v0.6.13
tempered distributions R2ZJK85JAX
| URI | m2://inv/R2ZJK85JAX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Analysis > Distribution theory > tempered distributions, tempered distributions (unknown). Also Mathlib TemperedDistribution
- mathlib_undergrad: mathlib_undergrad Distribution calculus > Tempered distributions > definition, definition (unknown). Also Mathlib TemperedDistribution
History
- 2026-10-26: add by m2/dev