Inventory rows RR
The cards of the rows of the inventory whose ids start with RR. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
RR00VGH722 RR00VGH722
| URI | m2://inv/RR00VGH722 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book hlevels.tex#proof-1 (proof). In N54F33XE07, proof, section 6.1
History
- 2026-11-01: add by m2/v0.6.13
Definition RR03M8E8JT
| URI | m2://inv/RR03M8E8JT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Flag algebra#I20W, Definition (definition)
History
- 2026-11-02: add by m2/dev
U-duality RR09BM3F8Z
| URI | m2://inv/RR09BM3F8Z |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4001392, U-duality (unknown). Also nLab U-duality
History
- 2026-10-26: add by m2/dev
elongated pentagonal orthocupolarotunda RR0EAJAY0H
| URI | m2://inv/RR0EAJAY0H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3051567, elongated pentagonal orthocupolarotunda (object). Also MathWorld ElongatedPentagonalOrthocupolarotunda
- wikipedia: Wikipedia Elongated pentagonal orthocupolarotunda, Elongated pentagonal orthocupolarotunda (definition). Also Wikidata Q3051567
History
- 2026-10-26: add by m2/dev
RR0N7JW0SP RR0N7JW0SP
| URI | m2://inv/RR0N7JW0SP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.18246#M84M (statement). In SN6F0MPPVF/e1, corollary 5.8
History
- 2026-10-28: add by m2/v0.4.2
RR0Q4WTB9A RR0Q4WTB9A
| URI | m2://inv/RR0Q4WTB9A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15037#U1LF (statement). In 9XCA9T80GJ/e1, theorem 6.3.1
History
- 2026-10-28: add by m2/v0.4.2
RR0T6BAZN8 RR0T6BAZN8
| URI | m2://inv/RR0T6BAZN8 |
|---|---|
| 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.39793#Z3PE (statement). In 380M45ANWF/e1, proposition B.1
History
- 2026-10-30: add by m2/v0.4.12
RR0TRH6BSH RR0TRH6BSH
| URI | m2://inv/RR0TRH6BSH |
|---|---|
| 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.29205#G9CG (statement)
History
- 2026-11-01: add by m2/v0.6.15
Jacobson properties RR0V171VNB
| URI | m2://inv/RR0V171VNB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-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 2610.15887#FGLF, Jacobson properties (statement). In 87QYNZZ67Z/e1, theorem A
History
- 2026-10-28: add by m2/v0.4.2
STIT logic RR0W9Y1SJB
| URI | m2://inv/RR0W9Y1SJB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia STIT logic, STIT logic (definition). Also Wikidata Q137400190
History
- 2026-11-02: add by m2/dev
RR0Y3SD0TB RR0Y3SD0TB
| URI | m2://inv/RR0Y3SD0TB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04809#EFXK (statement). In 2VHV0RNTNV/e1, lemma 8.7
History
- 2026-10-29: add by m2/v0.4.12
Gisbert Hasenjaeger RR16DAYZZG
| URI | m2://inv/RR16DAYZZG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cryptographers#VU8M, Gisbert Hasenjaeger (unknown)
History
- 2026-11-02: add by m2/dev
Heterogeneous treatment effects RR16WS993W
| URI | m2://inv/RR16WS993W |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2102.11076#MNKY, Heterogeneous treatment effects (example). In T9HZXHTQBJ/e1, example 2
History
- 2026-10-27: add by m2/v0.3.6
Applications RR19K174YN
| URI | m2://inv/RR19K174YN |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Forecasting#1D7R, Applications (example)
History
- 2026-11-02: add by m2/dev
polynomial sequence RR1EXRN2DD
| URI | m2://inv/RR1EXRN2DD |
|---|---|
| Kind | definition |
| Layer | textbook |
| MSC | 11B39 |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1052437, polynomial sequence (topic). Also MathWorld PolynomialSequence
- wikidata: Wikidata Q110096092, On-Line Encyclopedia of Integer Sequences wiki (unknown). Also MathWorld PolynomialSequence, OEIS Polynomial_sequences
- wikipedia: Wikipedia Polynomial sequence, Polynomial sequence (definition). Also Wikidata Q1052437
History
- 2026-10-26: add by m2/dev
Lieb's concavity theorem RR1FEARW67
| URI | m2://inv/RR1FEARW67 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trace inequality#VYNB, Lieb's concavity theorem (statement)
History
- 2026-11-02: add by m2/dev
Example RR1GBM798M
| URI | m2://inv/RR1GBM798M |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hessian form of an elliptic curve#M16T, Example (example)
History
- 2026-11-02: add by m2/dev
simple abelian variety RR1GPRNHX9
| URI | m2://inv/RR1GPRNHX9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q131513470, simple abelian variety (unknown). Also LMFDB knowl ag.simple, LMFDB knowl av.simple
History
- 2026-10-26: add by m2/dev
RR1M4TDHGK RR1M4TDHGK
| URI | m2://inv/RR1M4TDHGK |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Laver table#AJBC (problem)
History
- 2026-11-02: add by m2/dev
RR1NYWSEMX RR1NYWSEMX
| URI | m2://inv/RR1NYWSEMX |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 20-XX, 26-XX, 35-XX, 37-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 2311.00585#SMNS (problem). In 332PQD90SW/e1, problem 3.18
History
- 2026-10-27: add by m2/v0.3.5
RR1Q0Y121T RR1Q0Y121T
| URI | m2://inv/RR1Q0Y121T |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/AxiomsRealNumbers.tex#problem-1 (exercise). In P1C114YBXG, problem, section u1
History
- 2026-11-01: add by m2/v0.6.13
Example RR1TCK1VGJ
| URI | m2://inv/RR1TCK1VGJ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generating function (physics)#SEZW, Example (example)
History
- 2026-11-02: add by m2/dev
sequence RR1TCM6EZP
| URI | m2://inv/RR1TCM6EZP |
|---|---|
| Kind | definition |
| Layer | textbook |
| MSC | 11B50 |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Sequence 0G9EKM0E15 |
Mentions
- wikidata: Wikidata Q133250, sequence (topic). Also EoM Sequence, MathWorld Sequence, ProofWiki Definition:Sequence
- wikipedia: Wikipedia Sequence, Sequence (definition). Also Wikidata Q133250
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
RR1XH0DVZ1 RR1XH0DVZ1
| URI | m2://inv/RR1XH0DVZ1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2603.29838#YMIB (statement). In KP0X1RKKKB/e1, theorem D
History
- 2026-10-27: add by m2/v0.4.0
Definition RR211DW6X9
| URI | m2://inv/RR211DW6X9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fisher consistency#00JA, Definition (definition)
History
- 2026-11-02: add by m2/dev
Conservation law RR27JR9XNN
| URI | m2://inv/RR27JR9XNN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26114#EAU1, Conservation law (statement)
History
- 2026-11-01: add by m2/v0.6.15
Thermalisation directly from the complete local autocorrelation RR2FPBTDRS
| URI | m2://inv/RR2FPBTDRS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16351#4R1O, Thermalisation directly from the complete local autocorrelation (statement). In 1QSV7EQE3T/e1, corollary S26
History
- 2026-10-28: add by m2/v0.4.2
Examples RR2GM173Z9
| URI | m2://inv/RR2GM173Z9 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kaplan–Yorke conjecture#2A5E, Examples (example)
History
- 2026-11-02: add by m2/dev
RR2HTBXTZE RR2HTBXTZE
| URI | m2://inv/RR2HTBXTZE |
|---|---|
| Kind | example |
| 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.34551#ZOW7 (example). In 3AF7G56AGE/e1, example 4.6
History
- 2026-10-30: add by m2/v0.4.12
Furstenberg boundary RR2S7R80CC
| URI | m2://inv/RR2S7R80CC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Furstenberg boundary, Furstenberg boundary (definition). Also Wikidata Q25303801
History
- 2026-11-02: add by m2/dev
RR33AHG0TK RR33AHG0TK
| URI | m2://inv/RR33AHG0TK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21692#NTV8 (statement)
History
- 2026-11-02: add by m2/v0.6.18
RR34CM4RG0 RR34CM4RG0
| URI | m2://inv/RR34CM4RG0 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/bezout.tex#proof-8 (proof). In RZP28ERRZV, proof, section 20.5
History
- 2026-11-01: add by m2/v0.6.13
expansion RR3B228DF5
| URI | m2://inv/RR3B228DF5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#8X04, expansion (definition)
History
- 2026-11-02: add by m2/dev
Variations RR3HHZPSWZ
| URI | m2://inv/RR3HHZPSWZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hundred Fowls Problem#5UWD, Variations (statement)
History
- 2026-11-02: add by m2/dev
Ramanujan's constant RR3MHWBT8Y
| URI | m2://inv/RR3MHWBT8Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Srinivasa Ramanujan#5RPE, Ramanujan's constant (definition)
History
- 2026-11-02: add by m2/dev
RR3W6WHK87 RR3W6WHK87
| URI | m2://inv/RR3W6WHK87 |
|---|---|
| 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#MHRS (statement). In E63NRC7MBE/e1, theorem 3.11
History
- 2026-10-27: add by m2/v0.4.2
Angle condition RR3Z77CJAZ
| URI | m2://inv/RR3Z77CJAZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Root locus analysis#I30P, Angle condition (unknown)
History
- 2026-11-02: add by m2/dev
RR3ZB6NX9W RR3ZB6NX9W
| URI | m2://inv/RR3ZB6NX9W |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-funcs.tex#example-8 (example). In E59CDZA4DP, example, section 9.2.2
History
- 2026-11-01: add by m2/v0.6.13
Gorenstein-projective modules RR40XBMB4D
| URI | m2://inv/RR40XBMB4D |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30637#5HWQ, Gorenstein-projective modules (definition). In 6G1KBA0SXV/e1, definition 4.3
History
- 2026-10-31: add by m2/v0.5.6
RR43MKMF6C RR43MKMF6C
| URI | m2://inv/RR43MKMF6C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 01-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10591#KJS5 (statement). In FTEA0TM35J/e1, corollary 3.8
History
- 2026-10-29: add by m2/v0.4.10
RR43QYHCFJ RR43QYHCFJ
| URI | m2://inv/RR43QYHCFJ |
|---|---|
| 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.06381#G33D (statement). In X9JKBDHACW/e1, lemma 9.2
History
- 2026-10-29: add by m2/v0.4.10
John Arndt Eiesland RR451F86D9
| URI | m2://inv/RR451F86D9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia John Arndt Eiesland, John Arndt Eiesland (topic). Also Wikidata Q44104791
History
- 2026-11-02: add by m2/dev
RR49VDMY0V RR49VDMY0V
| URI | m2://inv/RR49VDMY0V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27125#YBV4 (statement)
History
- 2026-11-01: add by m2/v0.6.15
RR4GNCY63Z RR4GNCY63Z
| URI | m2://inv/RR4GNCY63Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-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.26479#9V3F (statement)
History
- 2026-11-01: add by m2/v0.6.15
Local complex and local acyclicity RR4H9HNKRC
| URI | m2://inv/RR4H9HNKRC |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28028#ZY97, Local complex and local acyclicity (definition)
History
- 2026-11-01: add by m2/v0.6.15
Inverse function theorem RR4JMS9N1J
| URI | m2://inv/RR4JMS9N1J |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of real analysis topics#3CXJ, Inverse function theorem (statement)
History
- 2026-11-02: add by m2/dev
Quaternary numeral system RR4RYC0M98
| URI | m2://inv/RR4RYC0M98 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numeral system topics#UQ5T, Quaternary numeral system (definition)
History
- 2026-11-02: add by m2/dev
Leading entry RR4TFGPJ5Y
| URI | m2://inv/RR4TFGPJ5Y |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coefficient#H0BY, Leading entry (unknown)
History
- 2026-11-02: add by m2/dev
Transformed-sphere Gaussian convergence RR4Z3RXFEC
| URI | m2://inv/RR4Z3RXFEC |
|---|---|
| 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 2609.27752#6X25, Transformed-sphere Gaussian convergence (statement)
History
- 2026-11-01: add by m2/v0.6.15
ROLAP RR4ZGEV6WB
| URI | m2://inv/RR4ZGEV6WB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Online analytical processing#RLKB, ROLAP (unknown)
History
- 2026-11-02: add by m2/dev
RR502HQMT0 RR502HQMT0
| URI | m2://inv/RR502HQMT0 |
|---|---|
| Kind | definition |
| 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#YMNT (definition). In V97F4YZ8B0/e1, definition 1.7
History
- 2026-10-28: add by m2/v0.4.2
Convergence of LKHI RR52V1S7DZ
| URI | m2://inv/RR52V1S7DZ |
|---|---|
| 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.27741#39QF, Convergence of LKHI (statement)
History
- 2026-11-01: add by m2/v0.6.15
Vlasov equation RR585K66S3
| URI | m2://inv/RR585K66S3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vlasov equation, Vlasov equation (definition). Also Wikidata Q2323892
History
- 2026-11-02: add by m2/dev
RR5AA4C1FM RR5AA4C1FM
| URI | m2://inv/RR5AA4C1FM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38068#9LA5 (statement). In 67GE5M1GGD/e1, corollary 5.8
History
- 2026-10-30: add by m2/v0.4.12
RR5TQVXYK9 RR5TQVXYK9
| URI | m2://inv/RR5TQVXYK9 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-der.tex#exercise:diffsqueeze (exercise). In E59CDZA4DP, exercise, section 3.1.3
History
- 2026-11-01: add by m2/v0.6.13
function composition RR62YYE264
| URI | m2://inv/RR62YYE264 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-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 2610.12484#CVMS, function composition (definition). In GW23NX78SB/e1, definition 2.2
History
- 2026-10-28: add by m2/v0.4.2
RR6589CCVJ RR6589CCVJ
| URI | m2://inv/RR6589CCVJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01737#J2RZ (statement). In M4JGP708F4/e1, proposition 3.13
History
- 2026-10-29: add by m2/v0.4.12
Yamada–Watanabe theorem RR669WBWXA
| URI | m2://inv/RR669WBWXA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Yamada–Watanabe theorem#1ZO0, Yamada–Watanabe theorem (statement)
History
- 2026-11-02: add by m2/dev
Friedman RR66N2YRKW
| URI | m2://inv/RR66N2YRKW |
|---|---|
| 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 2209.00108#PFRW, Friedman (statement). In V2G422ZMPW/e1, lemma 6
History
- 2026-10-27: add by m2/v0.3.5
Example 3 RR67PT8KKK
| URI | m2://inv/RR67PT8KKK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Infinite compositions of analytic functions#5QMX, Example 3 (example)
History
- 2026-11-02: add by m2/dev
Perfect number RR6DDZBRHM
| URI | m2://inv/RR6DDZBRHM |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#4UEH, Perfect number (conjecture)
History
- 2026-11-02: add by m2/dev
Applications RR6DVE7CZ0
| URI | m2://inv/RR6DVE7CZ0 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia History of calculus#GZZ6, Applications (example)
History
- 2026-11-02: add by m2/dev
RR6F5JSDX5 RR6F5JSDX5
| URI | m2://inv/RR6F5JSDX5 |
|---|---|
| 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.32599#JJI3 (statement). In E1Y93JNBJA/e1, proposition 4.15
History
- 2026-10-31: add by m2/v0.5.6
Jerry McNerney RR6J6EC6HY
| URI | m2://inv/RR6J6EC6HY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jerry McNerney, Jerry McNerney (topic). Also Wikidata Q1344743
History
- 2026-11-02: add by m2/dev
RR6M7JQEPD RR6M7JQEPD
| URI | m2://inv/RR6M7JQEPD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2501.15680#JLPS (statement). In VBWH2Z3YHA/e1, theorem 1
History
- 2026-10-27: add by m2/v0.3.5
RR6S4NA2QG RR6S4NA2QG
| URI | m2://inv/RR6S4NA2QG |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 13B30 |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q114705940 (topic)
History
- 2026-10-26: add by m2/dev
RR6SGQ6PXX RR6SGQ6PXX
| URI | m2://inv/RR6SGQ6PXX |
|---|---|
| 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.04323#1YEB (statement). In 3Z0D2NCJ0B/e1, lemma 25
History
- 2026-10-29: add by m2/v0.4.12
RR6VRQWVKD RR6VRQWVKD
| URI | m2://inv/RR6VRQWVKD |
|---|---|
| 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#HED9 (statement). In MSWV3MJ5CE/e1, theorem 3.1
History
- 2026-10-29: add by m2/v0.4.10
Terminology RR6ZXZABZM
| URI | m2://inv/RR6ZXZABZM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gittins index#F8FS, Terminology (definition)
History
- 2026-11-02: add by m2/dev
RR70ND8XWB RR70ND8XWB
| URI | m2://inv/RR70ND8XWB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33442#ZMNS (statement). In EWY5YPMKA3/e1, theorem 1.1
History
- 2026-10-30: add by m2/v0.4.12
Definition RR750X54KJ
| URI | m2://inv/RR750X54KJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Taylor series#U008, Definition (definition)
History
- 2026-11-02: add by m2/dev
Lower asymptotics if $S\cap K=\varnothing$ RR754G79WW
| URI | m2://inv/RR754G79WW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 46-XX, 49-XX, 51-XX, 52-XX, 60-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 2505.10801#TIE1, Lower asymptotics if $S\cap K=\varnothing$ (statement). In BWJS3H55WH/e1, proposition 27
History
- 2026-10-27: add by m2/v0.3.5
Bramble RR7667SGXJ
| URI | m2://inv/RR7667SGXJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bramble (graph theory), Bramble (definition). Also Wikidata Q4956109
History
- 2026-11-02: add by m2/dev
Definition RR76G3QGPK
| URI | m2://inv/RR76G3QGPK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schur functor#33KZ, Definition (definition)
History
- 2026-11-02: add by m2/dev
RR785N6S4N RR785N6S4N
| URI | m2://inv/RR785N6S4N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28141#J3R7 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Uses RR7D4ER0JG
| URI | m2://inv/RR7D4ER0JG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Idempotent relation#I5K5, Uses (example)
History
- 2026-11-02: add by m2/dev
RR7FEQ419C RR7FEQ419C
| URI | m2://inv/RR7FEQ419C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28323#WBW3 (statement)
History
- 2026-11-01: add by m2/v0.6.15
RR7HFDX4J9 RR7HFDX4J9
| URI | m2://inv/RR7HFDX4J9 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-270 (exercise). In VNMV985MXX, exercise, section 6.1
History
- 2026-11-01: add by m2/v0.6.13
virtual fundamental class RR7P1AW0XK
| URI | m2://inv/RR7P1AW0XK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of symplectic geometry#99KZ, virtual fundamental class (definition)
History
- 2026-11-02: add by m2/dev
RR831PG7VD RR831PG7VD
| URI | m2://inv/RR831PG7VD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31527#ZHZI (statement). In ZQ2YZ4P6P5/e1, proposition 3.2
History
- 2026-10-31: add by m2/v0.5.6
Seven Mile Beach, Tasmania RR84SVHPKN
| URI | m2://inv/RR84SVHPKN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#I2IS, Seven Mile Beach, Tasmania (unknown)
History
- 2026-11-02: add by m2/dev
Sharp threshold and critical window RR8C726SJ1
| URI | m2://inv/RR8C726SJ1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14085#Z12P, Sharp threshold and critical window (statement). In T8F19ZGHF3/e1, theorem 7.1
History
- 2026-10-28: add by m2/v0.4.2
RR8HFA6S41 RR8HFA6S41
| URI | m2://inv/RR8HFA6S41 |
|---|---|
| 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.25390#JIRQ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Dual lower-bound recursion RR8K08YRZR
| URI | m2://inv/RR8K08YRZR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 65-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38741#TZKJ, Dual lower-bound recursion (statement). In 1SQH3PTYMD/e1, lemma 3
History
- 2026-10-30: add by m2/v0.4.12
Nigel Smart RR8Q7CJV86
| URI | m2://inv/RR8Q7CJV86 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#U7GW, Nigel Smart (topic)
History
- 2026-11-02: add by m2/dev
Frink ideal RR8RYEJ64H
| URI | m2://inv/RR8RYEJ64H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Frink ideal, Frink ideal (definition). Also Wikidata Q5504620
History
- 2026-11-02: add by m2/dev
The BBP formula for RR8W4MWKX8
| URI | m2://inv/RR8W4MWKX8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bailey–Borwein–Plouffe formula#P7QO, The BBP formula for (statement)
History
- 2026-11-02: add by m2/dev
Marginal coverage of the true probability RR8XAPRBF6
| URI | m2://inv/RR8XAPRBF6 |
|---|---|
| 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.25388#OATP, Marginal coverage of the true probability (statement)
History
- 2026-11-01: add by m2/v0.6.15
Flatness lemma RR8Y0QPWK2
| URI | m2://inv/RR8Y0QPWK2 |
|---|---|
| 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.29605#TQHP, Flatness lemma (statement)
History
- 2026-11-01: add by m2/v0.6.15
Delambre analogies RR93KFYJRC
| URI | m2://inv/RR93KFYJRC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spherical trigonometry#21UM, Delambre analogies (unknown)
History
- 2026-11-02: add by m2/dev
RR965P93CJ RR965P93CJ
| URI | m2://inv/RR965P93CJ |
|---|---|
| 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.20444#WX5Z (statement)
History
- 2026-11-02: add by m2/v0.6.18
Clifford bound RR9AVB2M01
| URI | m2://inv/RR9AVB2M01 |
|---|---|
| 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#U96F, Clifford bound (statement). In TBFPBPQV3G/e1, theorem 6.9
History
- 2026-10-27: add by m2/v0.4.2
List of polling organizations RR9FC4ZAKA
| URI | m2://inv/RR9FC4ZAKA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polling organizations, List of polling organizations (topic). Also Wikidata Q3152124
History
- 2026-11-02: add by m2/dev
RR9G0CY0WK RR9G0CY0WK
| URI | m2://inv/RR9G0CY0WK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 60-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.17626#EWZQ (statement). In 54ATJS74DT/e1, theorem 2.12
History
- 2026-10-28: add by m2/v0.4.2
pseudoconvex RR9HZW917R
| URI | m2://inv/RR9HZW917R |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv index/2.5/pseudoconvex, pseudoconvex (concept). In VNMV985MXX, index, section 2.5
History
- 2026-11-01: add by m2/v0.6.13
RR9T9MD4QR RR9T9MD4QR
| URI | m2://inv/RR9T9MD4QR |
|---|---|
| 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.14681#OA3D (statement). In 459W0NBS5Q/e1, fact 3
History
- 2026-10-28: add by m2/v0.4.2
RRA2NYSBGS RRA2NYSBGS
| URI | m2://inv/RRA2NYSBGS |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16514#3LNV (definition). In 7RSA1AZ4XK/e1, definition 3.2
History
- 2026-10-28: add by m2/v0.4.2
Examples RRA3TM0Z96
| URI | m2://inv/RRA3TM0Z96 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Logic translation#95O9, Examples (example)
History
- 2026-11-02: add by m2/dev
Information gain ratio RRA5FRSPNM
| URI | m2://inv/RRA5FRSPNM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#3U51, Information gain ratio (definition)
History
- 2026-11-02: add by m2/dev
RRABHM02X4 RRABHM02X4
| URI | m2://inv/RRABHM02X4 |
|---|---|
| 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.14681#N3D6 (statement). In 459W0NBS5Q/e1, corollary 4
History
- 2026-10-28: add by m2/v0.4.2
free abelian group RRAD5N0D7W
| URI | m2://inv/RRAD5N0D7W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Free abelian group 0WJX8MGG37 |
Mentions
- wikidata: Wikidata Q1454111, free abelian group (definition). Also MathWorld FreeAbelianGroup, nLab free abelian group, ProofWiki Definition:Free_Abelian_Group
- wikipedia: Wikipedia Free abelian group, Free abelian group (definition). Also Wikidata Q1454111
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Vincent Riolo RRAF075TNY
| URI | m2://inv/RRAF075TNY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vincent Riolo, Vincent Riolo (topic). Also Wikidata Q7931587
History
- 2026-11-02: add by m2/dev
Bretschneider's formula RRAZEBS8VB
| URI | m2://inv/RRAZEBS8VB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q537518, Bretschneider's formula (statement). Also MathWorld BretschneidersFormula
- wikipedia: Wikipedia Bretschneider's formula, Bretschneider's formula (statement). Also Wikidata Q537518
History
- 2026-10-26: add by m2/dev
Legendre transformation RRB1ZQSDFC
| URI | m2://inv/RRB1ZQSDFC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of convexity topics#H0MX, Legendre transformation (definition)
History
- 2026-11-02: add by m2/dev
F4 RRB5Q7YD0W
| URI | m2://inv/RRB5Q7YD0W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q869077, F4 (unknown). Also nLab F4
- wikipedia: Wikipedia F4 (mathematics), F4 (definition). Also Wikidata Q869077
History
- 2026-10-26: add by m2/dev
RRB66AW5TJ RRB66AW5TJ
| URI | m2://inv/RRB66AW5TJ |
|---|---|
| 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 2609.20153#BW7R (statement)
History
- 2026-11-02: add by m2/v0.6.18
RRB74383GV RRB74383GV
| URI | m2://inv/RRB74383GV |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2201.03058#1EVV (definition). In STV2W9WA1K/e1, definition 0.4
History
- 2026-10-27: add by m2/v0.4.0
RRBB2BZAHV RRBB2BZAHV
| URI | m2://inv/RRBB2BZAHV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14811#IVYX (statement). In QA5CM6HNM1/e1, theorem 13.1
History
- 2026-10-28: add by m2/v0.4.2
RRBBE2FHVJ RRBBE2FHVJ
| URI | m2://inv/RRBBE2FHVJ |
|---|---|
| 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 2511.08099#F8Y3 (statement). In 5NK801XBGA/e1, lemma 3.5
History
- 2026-10-27: add by m2/v0.3.5
Exponential representation RRBFZW2EKY
| URI | m2://inv/RRBFZW2EKY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 49-XX, 58-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05164#LLZY, Exponential representation (statement). In JY6RYSNXMJ/e1, proposition 1
History
- 2026-10-29: add by m2/v0.4.10
Dynamical Casimir Effect RRBK3F4WFQ
| URI | m2://inv/RRBK3F4WFQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Casimir effect#MCD3, Dynamical Casimir Effect (unknown)
History
- 2026-11-02: add by m2/dev
RRC1SGBE87 RRC1SGBE87
| URI | m2://inv/RRC1SGBE87 |
|---|---|
| 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#6KQL (statement)
History
- 2026-11-02: add by m2/v0.6.17
Herman L. Smith RRC9G3GSFT
| URI | m2://inv/RRC9G3GSFT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Herman L. Smith, Herman L. Smith (topic). Also Wikidata Q5739961
History
- 2026-11-02: add by m2/dev
An Introduction to the Theory of Numbers RRCC6JQVFD
| URI | m2://inv/RRCC6JQVFD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematics books#SR4Y, An Introduction to the Theory of Numbers (definition)
History
- 2026-11-02: add by m2/dev
RRCD0RMEG2 RRCD0RMEG2
| URI | m2://inv/RRCD0RMEG2 |
|---|---|
| Kind | example |
| 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.36181#LXJE (example). In 1KSE33PVS6/e1, example 3
History
- 2026-10-30: add by m2/v0.4.12
Fatou–Hurwitz–Pólya theorem RRCK1E1HZA
| URI | m2://inv/RRCK1E1HZA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Analytic continuation#T2FD, Fatou–Hurwitz–Pólya theorem (statement)
History
- 2026-11-02: add by m2/dev
＜＜ RRCK797W9S
| URI | m2://inv/RRCK797W9S |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bitwise operation#ZWIF, ＜＜ (unknown)
History
- 2026-11-02: add by m2/dev
Adaptive worst-case guarantee in near-linear time RRCZV2P13K
| URI | m2://inv/RRCZV2P13K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 65-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34025#90GR, Adaptive worst-case guarantee in near-linear time (statement). In VCG579E7MM/e1, theorem 2
History
- 2026-10-30: add by m2/v0.4.12
Optimal Outer Exponent RRDDDWJKW9
| URI | m2://inv/RRDDDWJKW9 |
|---|---|
| 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.37578#8IOI, Optimal Outer Exponent (statement). In D7NDCWSDJE/e1, proposition 1
History
- 2026-10-30: add by m2/v0.4.12
Generalized least squares RRDGM7EXJZ
| URI | m2://inv/RRDGM7EXJZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalized least squares, Generalized least squares (definition). Also Wikidata Q2246261
History
- 2026-11-02: add by m2/dev
33333333 symmetry RRDHP4YYZ1
| URI | m2://inv/RRDHP4YYZ1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of regular polytopes#K4L2, 33333333 symmetry (unknown)
History
- 2026-11-02: add by m2/dev
Richard Ruggles RRDM3H4K2K
| URI | m2://inv/RRDM3H4K2K |
|---|---|
| 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#MCS8, Richard Ruggles (unknown)
History
- 2026-11-02: add by m2/dev
Properties RRDPQZ1EJ4
| URI | m2://inv/RRDPQZ1EJ4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tychonoff plank#WKJ2, Properties (statement)
History
- 2026-11-02: add by m2/dev
Sumner Byron Myers RRDT6488QC
| URI | m2://inv/RRDT6488QC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sumner Byron Myers, Sumner Byron Myers (topic). Also Wikidata Q983398
History
- 2026-11-02: add by m2/dev
Conservation-law floor for Haar-local ensembles RRE3802W8R
| URI | m2://inv/RRE3802W8R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16351#FDH2, Conservation-law floor for Haar-local ensembles (statement). In 1QSV7EQE3T/e1, theorem S30
History
- 2026-10-28: add by m2/v0.4.2
RRE44HWHKD RRE44HWHKD
| URI | m2://inv/RRE44HWHKD |
|---|---|
| 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.00339#59IK (statement). In ZRG6NY1ECH/e1, lemma 40
History
- 2026-10-30: add by m2/v0.4.12
RRE7BAQSPZ RRE7BAQSPZ
| URI | m2://inv/RRE7BAQSPZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20097#9S4L (statement)
History
- 2026-11-02: add by m2/v0.6.18
Examples RRE81PEMJ6
| URI | m2://inv/RRE81PEMJ6 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dichromatic symmetry#2Y0H, Examples (example)
History
- 2026-11-02: add by m2/dev
Isbell's zigzag theorem RRE902Q3C6
| URI | m2://inv/RRE902Q3C6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Isbell's zigzag theorem, Isbell's zigzag theorem (statement). Also Wikidata Q123171251
History
- 2026-11-02: add by m2/dev
RREAD394NK RREAD394NK
| URI | m2://inv/RREAD394NK |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21355#HXG1 (definition). In XKJ7VKN4P0/e1, definition 1
History
- 2026-10-27: add by m2/v0.4.2
RREAH2YV5A RREAH2YV5A
| URI | m2://inv/RREAH2YV5A |
|---|---|
| Kind | definition |
| 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 2609.20153#2VXH (definition)
History
- 2026-11-02: add by m2/v0.6.18
Construction RREE925G1X
| URI | m2://inv/RREE925G1X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Analog computer#4D3N, Construction (definition)
History
- 2026-11-02: add by m2/dev
RREJWMFAZN RREJWMFAZN
| URI | m2://inv/RREJWMFAZN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29170#2M22 (statement)
History
- 2026-11-01: add by m2/v0.6.15
homogeneous linear equation RREQB5B728
| URI | m2://inv/RREQB5B728 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs index/6.1/homogeneous-linear-equation, homogeneous linear equation (concept). In E9HS8K3A52, index, section 6.1
History
- 2026-11-01: add by m2/v0.6.13
\myindex{Chebyshev's equation of order $p$} RREWZPKHVV
| URI | m2://inv/RREWZPKHVV |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-power-ser.tex#exercise-23, \myindex{Chebyshev's equation of order $p$} (exercise). In E9HS8K3A52, exercise, section 9.2.1
History
- 2026-11-01: add by m2/v0.6.13
RREXNWFXFY RREXNWFXFY
| URI | m2://inv/RREXNWFXFY |
|---|---|
| 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.02570#315E (statement). In 6JK30RQ1SX/e1, proposition 3.4
History
- 2026-10-29: add by m2/v0.4.12
RRF173WWWS RRF173WWWS
| URI | m2://inv/RRF173WWWS |
|---|---|
| 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 2508.13122#6M38 (statement). In PX2GWH86PN/e1, lemma B.1
History
- 2026-10-27: add by m2/v0.3.5
RRFDS18T0E RRFDS18T0E
| URI | m2://inv/RRFDS18T0E |
|---|---|
| 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.19453#19DO (statement). In TX82YAVS5V/e1, lemma 5.1
History
- 2026-10-28: add by m2/v0.4.2
RRFMSXAHK9 RRFMSXAHK9
| URI | m2://inv/RRFMSXAHK9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31269#0LDZ (statement). In ZPT9XCCAPQ/e1, corollary 2.2.17
History
- 2026-10-31: add by m2/v0.5.6
RRFRN8ZRFS RRFRN8ZRFS
| URI | m2://inv/RRFRN8ZRFS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20588#ODIZ (statement)
History
- 2026-11-02: add by m2/v0.6.18
Herglotz's variational principle RRFS999ZJF
| URI | m2://inv/RRFS999ZJF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Herglotz's variational principle, Herglotz's variational principle (statement). Also Wikidata Q134522804
History
- 2026-11-02: add by m2/dev
Graph Fourier transform RRFSEHQM0G
| URI | m2://inv/RRFSEHQM0G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graph Fourier transform, Graph Fourier transform (definition). Also Wikidata Q97354474
History
- 2026-11-02: add by m2/dev
RRFWJM0Y14 RRFWJM0Y14
| URI | m2://inv/RRFWJM0Y14 |
|---|---|
| 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.06381#16UC (statement). In X9JKBDHACW/e1, proposition 5.8
History
- 2026-10-29: add by m2/v0.4.10
Statistical Applications in Genetics and Molecular Biology RRFY9CZW2Y
| URI | m2://inv/RRFY9CZW2Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics journals#X9PQ, Statistical Applications in Genetics and Molecular Biology (definition)
History
- 2026-11-02: add by m2/dev
Statement RRFZPMQPXS
| URI | m2://inv/RRFZPMQPXS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Missing dollar riddle#J4D5, Statement (statement)
History
- 2026-11-02: add by m2/dev
RRG14S3YZH RRG14S3YZH
| URI | m2://inv/RRG14S3YZH |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-one-dim-ints-sv.tex#exercise-23 (exercise). In E59CDZA4DP, exercise, section 6.3.3
History
- 2026-11-01: add by m2/v0.6.13
Old and new representations of the polyconvex envelope RRG73KQ5SF
| URI | m2://inv/RRG73KQ5SF |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 46-XX, 49-XX, 60-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 2606.21391#AIPZ, Old and new representations of the polyconvex envelope (example). In J9C7YMKJ33/e1, example 4.29
History
- 2026-10-27: add by m2/v0.3.5
\bf Random Liv\v sic Theorem RRGHGJ77A9
| URI | m2://inv/RRGHGJ77A9 |
|---|---|
| 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 1612.08394#0VPQ, \bf Random Liv\v sic Theorem (statement). In 1P8D88DKG5/e1, theorem D
History
- 2026-10-27: add by m2/v0.3.5
rectangle RRGNWTPDS1
| URI | m2://inv/RRGNWTPDS1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#YCOT, rectangle (definition)
History
- 2026-11-02: add by m2/dev
Development of reasoning RRGRGEG6PV
| URI | m2://inv/RRGRGEG6PV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Psychology of reasoning#UGGM, Development of reasoning (unknown)
History
- 2026-11-02: add by m2/dev
RRH50B4CQ1 RRH50B4CQ1
| URI | m2://inv/RRH50B4CQ1 |
|---|---|
| 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#VWBO (statement). In JWNYJVH8XG/e1, theorem 2.37
History
- 2026-10-29: add by m2/v0.4.10
Monotonic Law for Addition RRH9JZJA88
| URI | m2://inv/RRH9JZJA88 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_background_total-order-N.ptx#theorem-1, Monotonic Law for Addition (statement). In QKM9DD2H56, theorem, section B.11
History
- 2026-11-01: add by m2/v0.6.13
Vuong's closeness test RRHCJ2SWP5
| URI | m2://inv/RRHCJ2SWP5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vuong's closeness test, Vuong's closeness test (definition). Also Wikidata Q1499157
History
- 2026-11-02: add by m2/dev
RRHKNZDS6R RRHKNZDS6R
| URI | m2://inv/RRHKNZDS6R |
|---|---|
| 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.34066#DYFN (statement). In F0Y3DZCEH0/e1, theorem 2.1
History
- 2026-10-30: add by m2/v0.4.12
RRHP5VER3Z RRHP5VER3Z
| URI | m2://inv/RRHP5VER3Z |
|---|---|
| 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.15088#343Z (statement). In 2BRTT5ZFC6/e1, lemma 4.1
History
- 2026-10-28: add by m2/v0.4.2
Inscribed angle theorem for ellipses RRHZY1T6RB
| URI | m2://inv/RRHZY1T6RB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ellipse#O4N0, Inscribed angle theorem for ellipses (statement)
History
- 2026-11-02: add by m2/dev
$\beta$-sieve weights RRJ0Z096C3
| URI | m2://inv/RRJ0Z096C3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30207#V4Z4, $\beta$-sieve weights (statement)
History
- 2026-11-01: add by m2/v0.6.15
Vitali–Carathéodory theorem RRJ30RVMN1
| URI | m2://inv/RRJ30RVMN1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vitali–Carathéodory theorem, Vitali–Carathéodory theorem (statement). Also Wikidata Q17098012
History
- 2026-11-02: add by m2/dev
RRJ4TAJYM3 RRJ4TAJYM3
| URI | m2://inv/RRJ4TAJYM3 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 57-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20558#42Z5 (definition). In 46370P3Y9S/e1, definition 3.6
History
- 2026-10-27: add by m2/v0.4.2
RRJBCT2Q0T RRJBCT2Q0T
| URI | m2://inv/RRJBCT2Q0T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2503.12486#UB0G (statement). In 3343AEAXB3/e1, theorem 2.3
History
- 2026-10-27: add by m2/v0.3.5
RRJBMCK0PY RRJBMCK0PY
| URI | m2://inv/RRJBMCK0PY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX, 57-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06747#KPCU (statement). In AB2WPR2FRR/e1, proposition 2.5
History
- 2026-10-29: add by m2/v0.4.10
Laurence Patrick Lee RRJBVVY4VX
| URI | m2://inv/RRJBVVY4VX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Laurence Patrick Lee, Laurence Patrick Lee (topic). Also Wikidata Q128485833
History
- 2026-11-02: add by m2/dev
RRJF5530K7 RRJF5530K7
| URI | m2://inv/RRJF5530K7 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/quasi-proj.tex#example-2 (example). In RZP28ERRZV, example, section 24.1
History
- 2026-11-01: add by m2/v0.6.13
Multinomial form RRJJSC54N8
| URI | m2://inv/RRJJSC54N8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04325#DBG0, Multinomial form (statement). In 42XHT97E64/e1, corollary 3.3
History
- 2026-10-29: add by m2/v0.4.12
Reverse-norm cuts RRJK16TJP3
| URI | m2://inv/RRJK16TJP3 |
|---|---|
| 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.12713#X702, Reverse-norm cuts (statement). In F14A5HX20Q/e1, proposition B.4.1
History
- 2026-10-28: add by m2/v0.4.2
RRJQ3XXG9V RRJQ3XXG9V
| URI | m2://inv/RRJQ3XXG9V |
|---|---|
| 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.07040#VDEV (statement). In KMNXNW7FHP/e1, theorem 2.6
History
- 2026-10-29: add by m2/v0.4.10
RRJQQ0YANT RRJQQ0YANT
| URI | m2://inv/RRJQQ0YANT |
|---|---|
| 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.28501#TWD3 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Successors RRJZD44D00
| URI | m2://inv/RRJZD44D00 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/relations/trees.tex#defn-2, Successors (definition). In PKGMM3P5QY, defn, section 82.2
History
- 2026-11-01: add by m2/v0.6.13
Contact process RRK3ZTH41B
| URI | m2://inv/RRK3ZTH41B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Contact process (mathematics), Contact process (definition). Also Wikidata Q5164846
History
- 2026-11-02: add by m2/dev
RRKE7M7YTZ RRKE7M7YTZ
| URI | m2://inv/RRKE7M7YTZ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06541#XGBV (definition). In R604B78EVK/e1, definition 2.3
History
- 2026-10-29: add by m2/v0.4.10
RRKKDKH1RV RRKKDKH1RV
| URI | m2://inv/RRKKDKH1RV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20956#NNNU (statement). In X9WFC1D9ZS/e1, proposition 26
History
- 2026-10-27: add by m2/v0.4.2
Simple example RRKNVT06JZ
| URI | m2://inv/RRKNVT06JZ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cauchy–Riemann equations#BKMP, Simple example (example)
History
- 2026-11-02: add by m2/dev
RRKWX9TC9X RRKWX9TC9X
| URI | m2://inv/RRKWX9TC9X |
|---|---|
| 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.15024#RDCJ (statement). In GTZZ9BMWE9/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.2
RRKY9V1VTK RRKY9V1VTK
| URI | m2://inv/RRKY9V1VTK |
|---|---|
| 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.12481#C6A0 (statement). In TD288AK3EJ/e1, corollary 12
History
- 2026-10-28: add by m2/v0.4.2
RRKZAJ54C5 RRKZAJ54C5
| URI | m2://inv/RRKZAJ54C5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34876#V3UZ (statement). In XXQAW3ZBDF/e1, lemma 3.3
History
- 2026-10-30: add by m2/v0.4.12
Scipione del Ferro RRM0BFPNDD
| URI | m2://inv/RRM0BFPNDD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Scipione del Ferro, Scipione del Ferro (topic). Also Wikidata Q318083
History
- 2026-11-02: add by m2/dev
Michael Dorfman RRM1AH0W28
| URI | m2://inv/RRM1AH0W28 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#T7SG, Michael Dorfman (unknown)
History
- 2026-11-02: add by m2/dev
RRM893DRQG RRM893DRQG
| URI | m2://inv/RRM893DRQG |
|---|---|
| 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.12576#2F6R (statement). In BVAWVRS3R9/e1, proposition 2.18
History
- 2026-10-28: add by m2/v0.4.2
Symmetry RRM9KKDMY0
| URI | m2://inv/RRM9KKDMY0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Regular tetrahedron#AOVG, Symmetry (statement)
History
- 2026-11-02: add by m2/dev
RRMAE33WF5 RRMAE33WF5
| URI | m2://inv/RRMAE33WF5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30519#3R43 (statement). In GQQZNRYK15/e1, proposition 3.6
History
- 2026-10-31: add by m2/v0.5.6
RRMEPK2967 RRMEPK2967
| URI | m2://inv/RRMEPK2967 |
|---|---|
| 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.14820#9I36 (statement). In FKE0A3KY1N/e1, lemma 3.2
History
- 2026-10-28: add by m2/v0.4.2
Properties RRN2C96BVV
| URI | m2://inv/RRN2C96BVV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia U-invariant#GVTN, Properties (statement)
History
- 2026-11-02: add by m2/dev
Nason, Guy RRN2Z725EZ
| URI | m2://inv/RRN2Z725EZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#7SO6, Nason, Guy (topic)
History
- 2026-11-02: add by m2/dev
RRN7235GY7 RRN7235GY7
| URI | m2://inv/RRN7235GY7 |
|---|---|
| Kind | statement |
| 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.34193#UT9M (statement). In 9XMZTTSF5E/e1, lemma 4.1
History
- 2026-10-30: add by m2/v0.4.12
Parallel algorithms for topological sorting RRNAHDT5ND
| URI | m2://inv/RRNAHDT5ND |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Topological sorting#558Z, Parallel algorithms for topological sorting (unknown)
History
- 2026-11-02: add by m2/dev
Reconstruction from coordinate sums RRNK8JHF6S
| URI | m2://inv/RRNK8JHF6S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28649#2ZMO, Reconstruction from coordinate sums (statement)
History
- 2026-11-01: add by m2/v0.6.15
RRNKDF67HT RRNKDF67HT
| URI | m2://inv/RRNKDF67HT |
|---|---|
| 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.15242#DINC (statement). In 5NPFKE984E/e1, lemma 2.2
History
- 2026-10-28: add by m2/v0.4.2
Type II RRNQPT2G7C
| URI | m2://inv/RRNQPT2G7C |
|---|---|
| Kind | statement |
| 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 2610.15926#D0V4, Type II (statement). In G0J92BSX4A/e1, lemma 3.2
History
- 2026-10-28: add by m2/v0.4.2
Examples RRNX8VGB88
| URI | m2://inv/RRNX8VGB88 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Yang–Baxter equation#6AT1, Examples (example)
History
- 2026-11-02: add by m2/dev
RRP3ZJPPVW RRP3ZJPPVW
| URI | m2://inv/RRP3ZJPPVW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28282#RZMR (statement)
History
- 2026-11-01: add by m2/v0.6.15
henry RRPAR3SGRR
| URI | m2://inv/RRPAR3SGRR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q163354, henry (definition). Also ProofWiki Definition:Henry_(Unit)
History
- 2026-10-26: add by m2/dev
RRPC9C203P RRPC9C203P
| URI | m2://inv/RRPC9C203P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09561#BH1P (statement). In WDV5E2CVTR/e1, corollary 6.10
History
- 2026-10-29: add by m2/v0.4.10
Ramanujan–Petersson conjecture for modular form s RRPF1GVEVD
| URI | m2://inv/RRPF1GVEVD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ramanujan–Petersson conjecture#PVGN, Ramanujan–Petersson conjecture for modular form s (statement)
History
- 2026-11-02: add by m2/dev
RRPFDGXM10 RRPFDGXM10
| URI | m2://inv/RRPFDGXM10 |
|---|---|
| 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.04323#6VT3 (statement). In 3Z0D2NCJ0B/e1, proposition 1
History
- 2026-10-29: add by m2/v0.4.12
Examples RRPG0Z13VZ
| URI | m2://inv/RRPG0Z13VZ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rank (differential topology)#WIYC, Examples (example)
History
- 2026-11-02: add by m2/dev
Giacomo Bellacchi RRPR0A2TWH
| URI | m2://inv/RRPR0A2TWH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Giacomo Bellacchi, Giacomo Bellacchi (topic). Also Wikidata Q3761989
History
- 2026-11-02: add by m2/dev
RRPSTNHGDT RRPSTNHGDT
| URI | m2://inv/RRPSTNHGDT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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 2603.28861#6562 (statement). In A3VQ2TNRKK/e1, proposition 11.1
History
- 2026-10-27: add by m2/v0.4.0
subcanonical RRPVVK9F20
| URI | m2://inv/RRPVVK9F20 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#DQ8P, subcanonical (definition)
History
- 2026-11-02: add by m2/dev
Nicholas Saunderson RRPZH4HJDN
| URI | m2://inv/RRPZH4HJDN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nicholas Saunderson, Nicholas Saunderson (topic). Also Wikidata Q927848
History
- 2026-11-02: add by m2/dev
convergent, sequence RRQ5YXJ7PG
| URI | m2://inv/RRQ5YXJ7PG |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/10.1/convergent-sequence, convergent, sequence (concept). In E59CDZA4DP, index, section 10.1
History
- 2026-11-01: add by m2/v0.6.13
Feasible selector implementation RRQ6R89P01
| URI | m2://inv/RRQ6R89P01 |
|---|---|
| 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.21880#10RX, Feasible selector implementation (statement)
History
- 2026-11-02: add by m2/v0.6.18
sesquilinear form RRQ6XR7ZBC
| URI | m2://inv/RRQ6XR7ZBC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Sesquilinear form 054YEQ0Y8M |
Mentions
- wikidata: Wikidata Q1931224, sesquilinear form (unknown). Also EoM Sesquilinear_form, nLab sesquilinear form
- wikipedia: Wikipedia Sesquilinear form, Sesquilinear form (definition). Also Wikidata Q1931224
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
RRQAREAD6J RRQAREAD6J
| URI | m2://inv/RRQAREAD6J |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27078#M36P (definition)
History
- 2026-11-01: add by m2/v0.6.15
RRQATMYJ14 RRQATMYJ14
| URI | m2://inv/RRQATMYJ14 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/lambda-calculus/introduction/lambda-definability.tex#defn-1 (definition). In PKGMM3P5QY, defn, section 37.2
History
- 2026-11-01: add by m2/v0.6.13
RRQEAVRY3P RRQEAVRY3P
| URI | m2://inv/RRQEAVRY3P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2310.01868#QDO0 (statement). In MQ8S73F6X7/e1, lemma 8
History
- 2026-10-27: add by m2/v0.3.6
RRQPZYQH69 RRQPZYQH69
| URI | m2://inv/RRQPZYQH69 |
|---|---|
| Kind | example |
| 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 2605.24355#837J (example). In VV3AJMWWCR/e1, example 1
History
- 2026-10-27: add by m2/v0.3.6
Trimming RRQQFE5P5V
| URI | m2://inv/RRQQFE5P5V |
|---|---|
| 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.03353#BKJ6, Trimming (statement). In 8W61T5CSRB/e1, proposition 3.3
History
- 2026-10-29: add by m2/v0.4.12
RRQT695ZHD RRQT695ZHD
| URI | m2://inv/RRQT695ZHD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28046#I9HL (statement)
History
- 2026-11-01: add by m2/v0.6.15
Grönwall's area theorem RRR27TNBEA
| URI | m2://inv/RRR27TNBEA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Koebe quarter theorem#0N96, Grönwall's area theorem (statement)
History
- 2026-11-02: add by m2/dev
Nowhere density of $\pi_S(K)$ RRR8XJ8JFH
| URI | m2://inv/RRR8XJ8JFH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 46-XX, 49-XX, 51-XX, 52-XX, 60-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 2505.10801#8YZT, Nowhere density of $\pi_S(K)$ (statement). In BWJS3H55WH/e1, lemma 12
History
- 2026-10-27: add by m2/v0.3.5
RRRHAF4MS3 RRRHAF4MS3
| URI | m2://inv/RRRHAF4MS3 |
|---|---|
| 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 2111.07717#N9YR (statement). In AXFXGWG7ZG/e1, theorem 4.4
History
- 2026-10-27: add by m2/v0.4.0
Single-letter-trace counting operators RRRNATE2BF
| URI | m2://inv/RRRNATE2BF |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10745#B1HK, Single-letter-trace counting operators (definition). In 5MJ4NJ5ZCV/e1, definition B.2
History
- 2026-10-28: add by m2/v0.4.3
RRRYASWS5Z RRRYASWS5Z
| URI | m2://inv/RRRYASWS5Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03756#HGCX (statement). In 2381M4GBTT/e1, lemma 5.1
History
- 2026-10-29: add by m2/v0.4.12
Steven Lawrence Kleiman RRS37Q2B7Z
| URI | m2://inv/RRS37Q2B7Z |
|---|---|
| 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#3ODM, Steven Lawrence Kleiman (topic)
History
- 2026-11-02: add by m2/dev
RRSEJHHFQZ RRSEJHHFQZ
| URI | m2://inv/RRSEJHHFQZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2603.07541#KR2R (statement). In X3RFXWN6FW/e1, theorem D
History
- 2026-10-27: add by m2/v0.3.6
Applications RRSVH60XMT
| URI | m2://inv/RRSVH60XMT |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dynamical systems theory#KO6Q, Applications (example)
History
- 2026-11-02: add by m2/dev
Properties of inequality RRTBMWDCDJ
| URI | m2://inv/RRTBMWDCDJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elementary algebra#I5PO, Properties of inequality (statement)
History
- 2026-11-02: add by m2/dev
Finite poles along a Cartier divisor RRTKW98S20
| URI | m2://inv/RRTKW98S20 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00490#1EAV, Finite poles along a Cartier divisor (statement). In PZJDV6SJ9E/e1, lemma 6.1
History
- 2026-10-30: add by m2/v0.4.12
Simultaneous scalar transport RRTMSB6HDS
| URI | m2://inv/RRTMSB6HDS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38228#X07A, Simultaneous scalar transport (statement). In 9YAE8FNQST/e1, lemma 29.9
History
- 2026-10-30: add by m2/v0.4.12
Frank Chuman RRV3HXBY41
| URI | m2://inv/RRV3HXBY41 |
|---|---|
| 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#5DU1, Frank Chuman (unknown)
History
- 2026-11-02: add by m2/dev
RRVC7JRHZK RRVC7JRHZK
| URI | m2://inv/RRVC7JRHZK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31249#3TLR (statement). In RAVR2W9S0B/e1, lemma 2.1
History
- 2026-10-31: add by m2/v0.5.6
RRVCNYPMPX RRVCNYPMPX
| URI | m2://inv/RRVCNYPMPX |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28803#DU4M (definition)
History
- 2026-11-01: add by m2/v0.6.15
Parthasarathy's theorem RRVE15YP4G
| URI | m2://inv/RRVE15YP4G |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#ZD1C, Parthasarathy's theorem (statement)
History
- 2026-11-02: add by m2/dev
Characterizations RRVW4B6NVS
| URI | m2://inv/RRVW4B6NVS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Characterizations of the exponential function#43XD, Characterizations (statement)
History
- 2026-11-02: add by m2/dev
RRVYGMTQJW RRVYGMTQJW
| URI | m2://inv/RRVYGMTQJW |
|---|---|
| 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.20406#56U2 (statement). In 1YW6C6XGT3/e1, lemma 2.6
History
- 2026-10-27: add by m2/v0.4.2
An alternative definition RRW4166MZK
| URI | m2://inv/RRW4166MZK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Perfect magic cube#XAD0, An alternative definition (definition)
History
- 2026-11-02: add by m2/dev
RRWFG6VYGJ RRWFG6VYGJ
| URI | m2://inv/RRWFG6VYGJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34311#QJIV (statement). In YYV9SHAPCZ/e1, proposition 3.2
History
- 2026-10-30: add by m2/v0.4.12
Parthenon RRWMBHEKDT
| URI | m2://inv/RRWMBHEKDT |
|---|---|
| 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#9LPC, Parthenon (unknown)
History
- 2026-11-02: add by m2/dev
Application: Moser stability theorem RRWV7JGE84
| URI | m2://inv/RRWV7JGE84 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Moser's trick#2NJH, Application: Moser stability theorem (statement)
History
- 2026-11-02: add by m2/dev
Subspace theorem RRWWWDZ1A8
| URI | m2://inv/RRWWWDZ1A8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#6DKH, Subspace theorem (statement)
History
- 2026-11-02: add by m2/dev
René Thom RRX7ZB4V08
| URI | m2://inv/RRX7ZB4V08 |
|---|---|
| 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#JLIJ, René Thom (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#S52J, René Thom (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#S83J, René Thom (topic)
History
- 2026-11-02: add by m2/dev
Parabolic motion RRXAN1HKK9
| URI | m2://inv/RRXAN1HKK9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Parabola#D1ZX, Parabolic motion (unknown)
History
- 2026-11-02: add by m2/dev
RRXM4145GH RRXM4145GH
| URI | m2://inv/RRXM4145GH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23167#E10V (statement)
History
- 2026-11-02: add by m2/v0.6.17
Sayre equation RRXMXRFMSG
| URI | m2://inv/RRXMXRFMSG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sayre equation, Sayre equation (definition). Also Wikidata Q7429303
History
- 2026-11-02: add by m2/dev
RRXTXRJM0P RRXTXRJM0P
| URI | m2://inv/RRXTXRJM0P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31783#UUD5 (statement). In CGNVT4C47F/e1, lemma 2.1
History
- 2026-10-31: add by m2/v0.5.6
Exponent RRXX470D03
| URI | m2://inv/RRXX470D03 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of exponential topics#CPKK, Exponent (definition)
History
- 2026-11-02: add by m2/dev
Zwölfaxing RRXX5D90P9
| URI | m2://inv/RRXX5D90P9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#IPHH, Zwölfaxing (unknown)
History
- 2026-11-02: add by m2/dev
RRY0BZMDTT RRY0BZMDTT
| URI | m2://inv/RRY0BZMDTT |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22514#SQ3I (definition)
History
- 2026-11-02: add by m2/v0.6.17
Supposition theory RRY49PGJ4K
| URI | m2://inv/RRY49PGJ4K |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Supposition theory, Supposition theory (topic). Also Wikidata Q462024
History
- 2026-11-02: add by m2/dev
RRYF9VPT4F RRYF9VPT4F
| URI | m2://inv/RRYF9VPT4F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17677#9PX6 (statement). In 5E9G06XJKC/e1, lemma G.23
History
- 2026-10-28: add by m2/v0.4.2
Gaussian period RRYGYR5WDN
| URI | m2://inv/RRYGYR5WDN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gaussian period, Gaussian period (definition). Also Wikidata Q3411965
History
- 2026-11-02: add by m2/dev
RRYSJTPJ4V RRYSJTPJ4V
| URI | m2://inv/RRYSJTPJ4V |
|---|---|
| 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.21507#5T7S (statement)
History
- 2026-11-02: add by m2/v0.6.18
RRYT9MNJPG RRYT9MNJPG
| URI | m2://inv/RRYT9MNJPG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 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.37159#OIYQ (statement). In SBANZ2ZJDD/e1, theorem
History
- 2026-10-30: add by m2/v0.4.12
RRYWPNVP9X RRYWPNVP9X
| URI | m2://inv/RRYWPNVP9X |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/ordinals/replacement.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 73.2
History
- 2026-11-01: add by m2/v0.6.13
Crossed rectangle RRZ09EAKTW
| URI | m2://inv/RRZ09EAKTW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rectangle#79E6, Crossed rectangle (unknown)
History
- 2026-11-02: add by m2/dev
RRZ1KH2HG9 RRZ1KH2HG9
| URI | m2://inv/RRZ1KH2HG9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35398#EKT0 (statement). In NAJCCHYXR6/e1, lemma 4.5
History
- 2026-10-30: add by m2/v0.4.12
differential equation, solution RRZ6W76KJE
| URI | m2://inv/RRZ6W76KJE |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus index/7.1.4/differential-equation-solution, differential equation, solution (concept). In 907G4C4EJ1, index, section 7.1.4
History
- 2026-11-01: add by m2/v0.6.13
RRZ734T8XF RRZ734T8XF
| URI | m2://inv/RRZ734T8XF |
|---|---|
| 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 2608.24190#3AB9 (statement). In DW7FVA587C/e1, theorem 4.7
History
- 2026-10-27: add by m2/v0.3.5
MET Comparison Theorem RRZBWVPEQF
| URI | m2://inv/RRZBWVPEQF |
|---|---|
| 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.05056#43LT, MET Comparison Theorem (statement). In 4PF04DW3YP/e1, theorem 2.8
History
- 2026-10-29: add by m2/v0.4.12
RRZQ2NC428 RRZQ2NC428
| URI | m2://inv/RRZQ2NC428 |
|---|---|
| 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.34551#A68Z (statement). In 3AF7G56AGE/e1, lemma 2.1
History
- 2026-10-30: add by m2/v0.4.12
$\Delta_2$-growth condition RRZX210X0S
| URI | m2://inv/RRZX210X0S |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 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.26645#DRWE, $\Delta_2$-growth condition (definition)
History
- 2026-11-01: add by m2/v0.6.15