Inventory rows RD
The cards of the rows of the inventory whose ids start with RD. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
RD01EWXTCW RD01EWXTCW
| URI | m2://inv/RD01EWXTCW |
|---|---|
| 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.20409#7HVE (statement)
History
- 2026-11-02: add by m2/v0.6.18
Banach–Steinhaus Theorem RD04FCZBCJ
| URI | m2://inv/RD04FCZBCJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Banach space#INGK, Banach–Steinhaus Theorem (statement)
History
- 2026-11-02: add by m2/dev
RD0A5EX8RC RD0A5EX8RC
| URI | m2://inv/RD0A5EX8RC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15720#BK3I (statement). In VNN52G3BRE/e1, lemma 2.3
History
- 2026-10-28: add by m2/v0.4.2
RD0AK6JF1N RD0AK6JF1N
| URI | m2://inv/RD0AK6JF1N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32174#0SUF (statement). In GHKR740SG3/e1, lemma 2.2
History
- 2026-10-31: add by m2/v0.5.6
Extension by new constant and function names RD0BD6EDHB
| URI | m2://inv/RD0BD6EDHB |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 03-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q5163116, Conservativity theorem (statement). Also Wikidata Q5163116
- thousand_plus: thousand_plus Q5163116, Conservativity theorem (statement). Also Wikidata Q5163116, Wikipedia Conservativity theorem
- wikipedia: Wikipedia Extension by new constant and function names, Extension by new constant and function names (definition). Also Wikidata Q5163116
History
- 2026-10-26: add by m2/dev
Simple Example RD0QK950SY
| URI | m2://inv/RD0QK950SY |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Berlekamp–Welch algorithm#KQ7L, Simple Example (example)
History
- 2026-11-02: add by m2/dev
Properties RD1CV9PFDY
| URI | m2://inv/RD1CV9PFDY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schatten norm#3ZTV, Properties (statement)
History
- 2026-11-02: add by m2/dev
RD1D1S4Q2N RD1D1S4Q2N
| URI | m2://inv/RD1D1S4Q2N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25094#VIEU (statement)
History
- 2026-11-01: add by m2/v0.6.15
Anthropic principle RD1Y209531
| URI | m2://inv/RD1Y209531 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Flatness problem#2N8N, Anthropic principle (statement)
History
- 2026-11-02: add by m2/dev
Piphilology RD1YM9Z1WQ
| URI | m2://inv/RD1YM9Z1WQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topics related to π#O4CG, Piphilology (definition)
History
- 2026-11-02: add by m2/dev
Applications RD2HKQBXT7
| URI | m2://inv/RD2HKQBXT7 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia L-curve#YZYJ, Applications (example)
History
- 2026-11-02: add by m2/dev
center of a preadditive category RD2KK8SNFP
| URI | m2://inv/RD2KK8SNFP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q139882717, center of a preadditive category (unknown). Also nLab center of an additive category
History
- 2026-10-26: add by m2/dev
RD2M0Z91EW RD2M0Z91EW
| URI | m2://inv/RD2M0Z91EW |
|---|---|
| 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 2508.17181#WSJ0 (statement). In 2QR18WK8KH/e1, theorem 2
History
- 2026-10-27: add by m2/v0.3.6
Isolation lemma RD2N095EXD
| URI | m2://inv/RD2N095EXD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of lemmas#6VCW, Isolation lemma (statement)
History
- 2026-11-02: add by m2/dev
Regularized Least Squares, a Discrete Counterpart RD2NBDMM6X
| URI | m2://inv/RD2NBDMM6X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13222#XXB4, Regularized Least Squares, a Discrete Counterpart (statement). In Z6WA2R0J50/e1, lemma A.5
History
- 2026-10-28: add by m2/v0.4.2
Continuous-Space Upper Bound RD2SCXNC89
| URI | m2://inv/RD2SCXNC89 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36421#S9DW, Continuous-Space Upper Bound (statement). In E0ZRSZ0YHT/e1, theorem 3
History
- 2026-10-30: add by m2/v0.4.12
Rank-two negative support RD2SWFQD8H
| URI | m2://inv/RD2SWFQD8H |
|---|---|
| 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 2610.20649#EBUK, Rank-two negative support (statement). In XDTM624YPE/e1, theorem 17.2
History
- 2026-10-27: add by m2/v0.4.2
Marked right Hopf twist construction RD2XBMJDQP
| URI | m2://inv/RD2XBMJDQP |
|---|---|
| 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.03298#Y5SR, Marked right Hopf twist construction (statement). In 9SBZP218SM/e1, theorem 10.1
History
- 2026-10-29: add by m2/v0.4.12
Ralucca Gera RD2Y0BWH51
| URI | m2://inv/RD2Y0BWH51 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#GDG6, Ralucca Gera (topic)
History
- 2026-11-02: add by m2/dev
Von Neumann paradox RD2YPVV06N
| URI | m2://inv/RD2YPVV06N |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Von Neumann paradox, Von Neumann paradox (statement). Also Wikidata Q3363330
History
- 2026-11-02: add by m2/dev
List of people arrested in the News International phone-hacking scandal RD306A8MJX
| URI | m2://inv/RD306A8MJX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people arrested in the News International phone-hacking scandal, List of people arrested in the News International phone-hacking scandal (topic). Also Wikidata Q6633328
History
- 2026-11-02: add by m2/dev
Booth, Charles RD30MKG4X0
| URI | m2://inv/RD30MKG4X0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#EJAH, Booth, Charles (unknown)
History
- 2026-11-02: add by m2/dev
Finite extension RD34580H85
| URI | m2://inv/RD34580H85 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of field theory#QIK1, Finite extension (definition)
History
- 2026-11-02: add by m2/dev
Allen Fox RD3FW564RE
| URI | m2://inv/RD3FW564RE |
|---|---|
| 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#2LB2, Allen Fox (unknown)
History
- 2026-11-02: add by m2/dev
Ramanujan–Nagell equation RD3N5QC7WE
| URI | m2://inv/RD3N5QC7WE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Srinivasa Ramanujan#0569, Ramanujan–Nagell equation (definition)
History
- 2026-11-02: add by m2/dev
RD3NX9J2C4 RD3NX9J2C4
| URI | m2://inv/RD3NX9J2C4 |
|---|---|
| Kind | definition |
| 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 2609.38556#FYGU (definition). In GC2H0HS7ZM/e1, definition 6.2
History
- 2026-10-30: add by m2/v0.4.12
Ferdinand Georg Frobenius RD3X7BDB8H
| URI | m2://inv/RD3X7BDB8H |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q57228, Ferdinand Georg Frobenius (unknown). Also nLab Ferdinand Frobenius, ProofWiki Mathematician:Ferdinand_Georg_Frobenius
- wikipedia: Wikipedia Ferdinand Georg Frobenius, Ferdinand Georg Frobenius (topic). Also Wikidata Q57228
History
- 2026-10-26: add by m2/dev
RD3XGX9C11 RD3XGX9C11
| URI | m2://inv/RD3XGX9C11 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07905#1CXL (definition). In 88GEN3Z5VG/e1, definition 7.1
History
- 2026-10-29: add by m2/v0.4.10
William Boone RD40AE98NK
| URI | m2://inv/RD40AE98NK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia William Boone (mathematician), William Boone (topic). Also Wikidata Q8005704
History
- 2026-11-02: add by m2/dev
Examples RD432QTTK6
| URI | m2://inv/RD432QTTK6 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exponential field#AG1U, Examples (example)
History
- 2026-11-02: add by m2/dev
Giovanni Ricci RD4AZZT3B4
| URI | m2://inv/RD4AZZT3B4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Giovanni Ricci (mathematician), Giovanni Ricci (topic). Also Wikidata Q15812325
History
- 2026-11-02: add by m2/dev
RD4EDQV26P RD4EDQV26P
| URI | m2://inv/RD4EDQV26P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX, 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14045#SM8W (statement). In KZ71GXT2B0/e1, corollary 5.9
History
- 2026-10-28: add by m2/v0.4.2
Directional spin convolution RD4GPW6HNS
| URI | m2://inv/RD4GPW6HNS |
|---|---|
| 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.13892#CPER, Directional spin convolution (definition). In HV9KKEBBDD/e1, definition III.5
History
- 2026-10-28: add by m2/v0.4.2
A two-harmonic thirteen-cycle RD4KEYX6RV
| URI | m2://inv/RD4KEYX6RV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09912#96G2, A two-harmonic thirteen-cycle (statement). In 65TJENWK7X/e1, proposition 29
History
- 2026-10-29: add by m2/v0.4.10
RD4NG9V6X3 RD4NG9V6X3
| URI | m2://inv/RD4NG9V6X3 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32478#Z8HA (definition). In 5QBSYDC2XH/e1, definition 1
History
- 2026-10-31: add by m2/v0.5.6
Terminology RD4W9PMZZF
| URI | m2://inv/RD4W9PMZZF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Case fatality rate#YLIN, Terminology (definition)
History
- 2026-11-02: add by m2/dev
Eldridge, Marie D. RD52NRHQW0
| URI | m2://inv/RD52NRHQW0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#P1NH, Eldridge, Marie D. (topic)
History
- 2026-11-02: add by m2/dev
Adriano Mario Garsia RD5KPSRA3Y
| URI | m2://inv/RD5KPSRA3Y |
|---|---|
| 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#M9OK, Adriano Mario Garsia (topic)
History
- 2026-11-02: add by m2/dev
Maximum modulus principle RD5XHHXM0R
| URI | m2://inv/RD5XHHXM0R |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#thm-2, Maximum modulus principle (statement). In VNMV985MXX, thm, section 1
History
- 2026-11-01: add by m2/v0.6.13
Definition RD60WP1AX0
| URI | m2://inv/RD60WP1AX0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Data stream clustering#ZVI1, Definition (definition)
History
- 2026-11-02: add by m2/dev
RD62RGJMJN RD62RGJMJN
| URI | m2://inv/RD62RGJMJN |
|---|---|
| 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.08383#5O8C (statement). In 5F8S516DT5/e1, lemma 4.2.1
History
- 2026-10-29: add by m2/v0.4.10
James Serrin RD6403F9BJ
| URI | m2://inv/RD6403F9BJ |
|---|---|
| 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#AFMF, James Serrin (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#W1PB, James Serrin (topic)
History
- 2026-11-02: add by m2/dev
1-factorization conjecture RD66ZMK8WN
| URI | m2://inv/RD66ZMK8WN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#12Y6, 1-factorization conjecture (definition)
History
- 2026-11-02: add by m2/dev
Examples RD68T5XJCF
| URI | m2://inv/RD68T5XJCF |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ramsey's theorem#53CM, Examples (example)
History
- 2026-11-02: add by m2/dev
Denavit–Hartenberg parameters RD68XW897G
| URI | m2://inv/RD68XW897G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Denavit–Hartenberg parameters, Denavit–Hartenberg parameters (definition). Also Wikidata Q1186877
History
- 2026-11-02: add by m2/dev
RD6FQ4ZHSH RD6FQ4ZHSH
| URI | m2://inv/RD6FQ4ZHSH |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/set-theory/zfc.tex#problem-2 (exercise). In RZP28ERRZV, problem, section 93.7
History
- 2026-11-01: add by m2/v0.6.13
point group RD6S85J41X
| URI | m2://inv/RD6S85J41X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q899720, point group (unknown). Also MathWorld PointGroups
- wikipedia: Wikipedia Point group, Point group (definition). Also Wikidata Q899720
History
- 2026-10-26: add by m2/dev
RD6TDZAWYP RD6TDZAWYP
| URI | m2://inv/RD6TDZAWYP |
|---|---|
| Kind | statement |
| 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#JRUS (statement). In GW23NX78SB/e1, lemma 3.23
History
- 2026-10-28: add by m2/v0.4.2
Horizontal zonoid retained by every stage RD6X0TEB1P
| URI | m2://inv/RD6X0TEB1P |
|---|---|
| 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#U9PJ, Horizontal zonoid retained by every stage (statement). In 9YAE8FNQST/e1, theorem 19.19
History
- 2026-10-30: add by m2/v0.4.12
Fundamental lemma of the combinatorial sieve RD75CH431S
| URI | m2://inv/RD75CH431S |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fundamental lemma of sieve theory#XYK6, Fundamental lemma of the combinatorial sieve (statement)
History
- 2026-11-02: add by m2/dev
Examples RD7APQW7G5
| URI | m2://inv/RD7APQW7G5 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wasserstein metric#RFHQ, Examples (example)
History
- 2026-11-02: add by m2/dev
Coercivity of the regularized gap RD7C3W1JXQ
| URI | m2://inv/RD7C3W1JXQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-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.09640#FL2G, Coercivity of the regularized gap (statement). In E9T3B4RVW4/e1, lemma 7
History
- 2026-10-29: add by m2/v0.4.10
RD7F03DZSP RD7F03DZSP
| URI | m2://inv/RD7F03DZSP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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 2610.01653#XF2D (statement). In WZMHJCQPB2/e1, theorem 2.2
History
- 2026-10-29: add by m2/v0.4.12
RD7NFGN4KV RD7NFGN4KV
| URI | m2://inv/RD7NFGN4KV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10567#W3QD (statement). In Q7TTRJ20KD/e1, corollary 2.6
History
- 2026-10-29: add by m2/v0.4.10
Symbolic computation expression RD7P1E7KAS
| URI | m2://inv/RD7P1E7KAS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Computer algebra#JZZD, Symbolic computation expression (unknown)
History
- 2026-11-02: add by m2/dev
RD7PTRKJT3 RD7PTRKJT3
| URI | m2://inv/RD7PTRKJT3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2310.11101#C3B4 (statement). In YBBKTP4E70/e1, corollary 3.2
History
- 2026-10-27: add by m2/v0.3.5
RD7SK3Q5T8 RD7SK3Q5T8
| URI | m2://inv/RD7SK3Q5T8 |
|---|---|
| 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.24509#TGJY (statement)
History
- 2026-11-01: add by m2/v0.6.15
minor arcs RD7WZE8W5N
| URI | m2://inv/RD7WZE8W5N |
|---|---|
| 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.19249#BF70, minor arcs (statement). In 2X586J6KQ1/e1, lemma 5.8
History
- 2026-10-28: add by m2/v0.4.2
Simple examples RD7YPNSWF7
| URI | m2://inv/RD7YPNSWF7 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polynomial transformation#2FKC, Simple examples (example)
History
- 2026-11-02: add by m2/dev
Adam Krupička RD7ZYHFV62
| URI | m2://inv/RD7ZYHFV62 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q95093719, Adam Krupička (unknown). Also nLab Adam Krupicka
History
- 2026-10-26: add by m2/dev
RD81AF0GB8 RD81AF0GB8
| URI | m2://inv/RD81AF0GB8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35632#R9KQ (statement). In Q74G3BVZAQ/e1, proposition 5.1
History
- 2026-10-27: add by m2/v0.3.5
RD83CWW1G0 RD83CWW1G0
| URI | m2://inv/RD83CWW1G0 |
|---|---|
| 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.33241#PEIQ (statement). In NX6QV01PCE/e1, proposition 5.2
History
- 2026-10-30: add by m2/v0.4.12
Lüroth quartic RD8CRAMTXD
| URI | m2://inv/RD8CRAMTXD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lüroth quartic, Lüroth quartic (definition). Also Wikidata Q6711564
History
- 2026-11-02: add by m2/dev
Starred transform RD8F8H2AFP
| URI | m2://inv/RD8F8H2AFP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Starred transform, Starred transform (definition). Also Wikidata Q7601294
History
- 2026-11-02: add by m2/dev
RD8PQR9ANE RD8PQR9ANE
| URI | m2://inv/RD8PQR9ANE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2405.09294#HTME (statement). In 2WZQC0TKVK/e1, theorem 4.9
History
- 2026-10-27: add by m2/v0.3.5
RD8VMJ0M7T RD8VMJ0M7T
| URI | m2://inv/RD8VMJ0M7T |
|---|---|
| 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 1004.4564#48TT (statement). In BZ54C9SKYS/e1, lemma 4.8
History
- 2026-10-27: add by m2/v0.3.5
RD8WVNE3N0 RD8WVNE3N0
| URI | m2://inv/RD8WVNE3N0 |
|---|---|
| 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 2207.07461#DE3O (statement). In GAG532VMPF/e1, lemma 7.2.7
History
- 2026-10-27: add by m2/v0.3.5
RD8XFHTMNJ RD8XFHTMNJ
| URI | m2://inv/RD8XFHTMNJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28824#6DTT (statement)
History
- 2026-11-01: add by m2/v0.6.15
RD90431CT2 RD90431CT2
| URI | m2://inv/RD90431CT2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2303.09207#0AG8 (statement). In 9DQKY7KGE8/e1, proposition 7.11
History
- 2026-10-31: add by m2/v0.5.6
Common-quotient multiplicity estimate RD91S8H081
| URI | m2://inv/RD91S8H081 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15815#BTPJ, Common-quotient multiplicity estimate (statement). In 9C75CTY5C3/e1, lemma A.1
History
- 2026-10-28: add by m2/v0.4.2
Exact asymptotic rate RD9631GK1D
| URI | m2://inv/RD9631GK1D |
|---|---|
| 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.15125#YM6M, Exact asymptotic rate (statement). In V5GT8NJKCM/e1, theorem 4.1
History
- 2026-10-28: add by m2/v0.4.2
RD98MECDVN RD98MECDVN
| URI | m2://inv/RD98MECDVN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12319#BU93 (statement). In FH8GB1C17K/e1, proposition 3
History
- 2026-10-28: add by m2/v0.4.2
Causal analysis RD9QA7KNG1
| URI | m2://inv/RD9QA7KNG1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Causal analysis, Causal analysis (topic). Also Wikidata Q19710240
History
- 2026-11-02: add by m2/dev
RD9TF9E59W RD9TF9E59W
| URI | m2://inv/RD9TF9E59W |
|---|---|
| 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.25926#P5UL (statement)
History
- 2026-11-01: add by m2/v0.6.15
Fundamental theorem of algebra RD9WQDYNG5
| URI | m2://inv/RD9WQDYNG5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zero of a function#KBBQ, Fundamental theorem of algebra (statement)
History
- 2026-11-02: add by m2/dev
Reuben Goodstein RDA4SJVANS
| URI | m2://inv/RDA4SJVANS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reuben Goodstein, Reuben Goodstein (topic). Also Wikidata Q1191771
History
- 2026-11-02: add by m2/dev
Quasifree fermionic Lindbladian RDA591WJGA
| URI | m2://inv/RDA591WJGA |
|---|---|
| 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 2609.36016#1SJJ, Quasifree fermionic Lindbladian (definition). In NAM9ZMPHZ9/e1, definition 4.9
History
- 2026-10-30: add by m2/v0.4.12
RDA5JGP1G5 RDA5JGP1G5
| URI | m2://inv/RDA5JGP1G5 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-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.20306#KB23 (definition). In YG5EX49042/e1, definition 2.11
History
- 2026-10-27: add by m2/v0.4.2
Bipolar theorem RDAA3S9FF6
| URI | m2://inv/RDAA3S9FF6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bipolar theorem, Bipolar theorem (statement). Also Wikidata Q4915488
History
- 2026-11-02: add by m2/dev
Differential Power Analysis RDAB0B6BE5
| URI | m2://inv/RDAB0B6BE5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Power analysis#4WP2, Differential Power Analysis (unknown)
History
- 2026-11-02: add by m2/dev
Analytic semigroup RDAGF8W8NC
| URI | m2://inv/RDAGF8W8NC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Analytic semigroup, Analytic semigroup (definition). Also Wikidata Q485292
History
- 2026-11-02: add by m2/dev
Kurt Grelling RDAN2DKS32
| URI | m2://inv/RDAN2DKS32 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#QNGX, Kurt Grelling (topic)
History
- 2026-11-02: add by m2/dev
Bayesian information criterion (BIC) RDASX04FX8
| URI | m2://inv/RDASX04FX8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stochastic chains with memory of variable length#6YWK, Bayesian information criterion (BIC) (statement)
History
- 2026-11-02: add by m2/dev
Pullback of Segre cycles RDATREDEEH
| URI | m2://inv/RDATREDEEH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07528#XH0M, Pullback of Segre cycles (statement). In WVX0T502A1/e1, proposition 3.3
History
- 2026-10-29: add by m2/v0.4.10
Multiplex link encryption RDAW7AK02F
| URI | m2://inv/RDAW7AK02F |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of telecommunications encryption terms#8C3H, Multiplex link encryption (unknown)
History
- 2026-11-02: add by m2/dev
RDAX8SMZ4R RDAX8SMZ4R
| URI | m2://inv/RDAX8SMZ4R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32338#THVA (statement). In HVY45JQRNK/e1, theorem 2.4
History
- 2026-10-31: add by m2/v0.5.6
RDB1DERKY2 RDB1DERKY2
| URI | m2://inv/RDB1DERKY2 |
|---|---|
| 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.00247#BUIR (statement). In ZAM4S2XS9F/e1, proposition B.1
History
- 2026-10-30: add by m2/v0.4.12
generalized continuum hypothesis RDB3FGCMN4
| URI | m2://inv/RDB3FGCMN4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q45412229, generalized continuum hypothesis (statement). Also ProofWiki Axiom:Aleph_Hypothesis, ProofWiki Generalized_Continuum_Hypothesis
History
- 2026-10-26: add by m2/dev
RDB53R9P3V RDB53R9P3V
| URI | m2://inv/RDB53R9P3V |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-ser.tex#example-17 (example). In E59CDZA4DP, example, section 10.5.3
History
- 2026-11-01: add by m2/v0.6.13
John Wermer RDBK8QW4DV
| URI | m2://inv/RDBK8QW4DV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia John Wermer, John Wermer (topic). Also Wikidata Q20830567
History
- 2026-11-02: add by m2/dev
Definitive laws RDC696BYQ9
| URI | m2://inv/RDC696BYQ9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Constitutive equation#0H48, Definitive laws (statement)
History
- 2026-11-02: add by m2/dev
Weighted one-dimensional integral Hardy inequality RDCA4YWAWY
| URI | m2://inv/RDCA4YWAWY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hardy's inequality#4KTU, Weighted one-dimensional integral Hardy inequality (statement)
History
- 2026-11-02: add by m2/dev
Properties RDCAD8CF3H
| URI | m2://inv/RDCAD8CF3H |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hughes plane#DL96, Properties (statement)
History
- 2026-11-02: add by m2/dev
RDCE1FXWYQ RDCE1FXWYQ
| URI | m2://inv/RDCE1FXWYQ |
|---|---|
| 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 2406.07116#R49E (statement). In 5B030CB2RK/e1, proposition 5.1
History
- 2026-10-27: add by m2/v0.3.6
Uses RDCF0BMX9R
| URI | m2://inv/RDCF0BMX9R |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Model of computation#XCQB, Uses (example)
History
- 2026-11-02: add by m2/dev
RDCXATSB6N RDCXATSB6N
| URI | m2://inv/RDCXATSB6N |
|---|---|
| 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#FCWW (statement). In 5E9G06XJKC/e1, lemma D.28
History
- 2026-10-28: add by m2/v0.4.2
RDD0VG5MG2 RDD0VG5MG2
| URI | m2://inv/RDD0VG5MG2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30590#VAZI (statement). In WYE2JVEZBT/e1, lemma 3.7
History
- 2026-10-31: add by m2/v0.5.6
Example RDDD618PXD
| URI | m2://inv/RDDD618PXD |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia No free lunch theorem#4VI0, Example (example)
History
- 2026-11-02: add by m2/dev
Characterizations RDDG7VYS6D
| URI | m2://inv/RDDG7VYS6D |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Γ-space#S9P8, Characterizations (statement)
History
- 2026-11-02: add by m2/dev
RDDGKQ39ZC RDDGKQ39ZC
| URI | m2://inv/RDDGKQ39ZC |
|---|---|
| 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.22263#J5DO (statement)
History
- 2026-11-02: add by m2/v0.6.17
Augustus the Younger, Duke of Brunswick-Lüneburg RDDT52TAG2
| URI | m2://inv/RDDT52TAG2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cryptographers#OQY5, Augustus the Younger, Duke of Brunswick-Lüneburg (unknown)
History
- 2026-11-02: add by m2/dev
RDE64MZTH8 RDE64MZTH8
| URI | m2://inv/RDE64MZTH8 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-real-nums.tex#proof-10 (proof). In E59CDZA4DP, proof, section 7.3
History
- 2026-11-01: add by m2/v0.6.13
Definition RDED4ET5K2
| URI | m2://inv/RDED4ET5K2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sub-probability measure#8M5X, Definition (definition)
History
- 2026-11-02: add by m2/dev
Discrete number RDEFBG8H9Y
| URI | m2://inv/RDEFBG8H9Y |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Continuous or discrete variable#FHNW, Discrete number (unknown)
History
- 2026-11-02: add by m2/dev
RDEJJ3AG9P RDEJJ3AG9P
| URI | m2://inv/RDEJJ3AG9P |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2209.08186#44RL (example). In X6VGVPQH8V/e1, example 5.6
History
- 2026-10-27: add by m2/v0.3.5
generator RDEKHNFB4A
| URI | m2://inv/RDEKHNFB4A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#QQAD, generator (definition)
History
- 2026-11-02: add by m2/dev
Approximation and local-global principles RDEMVVFXRM
| URI | m2://inv/RDEMVVFXRM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Adele ring#UJFA, Approximation and local-global principles (statement)
History
- 2026-11-02: add by m2/dev
RDERW7X091 RDERW7X091
| URI | m2://inv/RDERW7X091 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14450#HQNC (statement). In ZHTGQT07PE/e1, lemma 4.8
History
- 2026-10-28: add by m2/v0.4.2
Michael Dummett RDEWP72VHM
| URI | m2://inv/RDEWP72VHM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q342646, Michael Dummett (unknown). Also nLab Michael Dummett
History
- 2026-10-26: add by m2/dev
RDF0P1877H RDF0P1877H
| URI | m2://inv/RDF0P1877H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11905#P2MT (statement). In QQFXT31CA5/e1, proposition 4.10
History
- 2026-10-28: add by m2/v0.4.3
RDF36ZBDEQ RDF36ZBDEQ
| URI | m2://inv/RDF36ZBDEQ |
|---|---|
| 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.21501#QGV5 (statement). In 1H64QT301C/e1, proposition 4.8
History
- 2026-10-27: add by m2/v0.4.2
RDF5NJ5GNX RDF5NJ5GNX
| URI | m2://inv/RDF5NJ5GNX |
|---|---|
| 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.03062#SJ9W (statement). In 5H7985A5SD/e1, lemma 3.2
History
- 2026-10-29: add by m2/v0.4.12
Minlos's theorem RDF7KYDXRG
| URI | m2://inv/RDF7KYDXRG |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 46-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q6867878, Minlos's theorem (statement). Also Wikidata Q6867878
- thousand_plus: thousand_plus Q6867878, Minlos's theorem (statement). Also Wikidata Q6867878, Wikipedia Minlos's theorem
- wikipedia: Wikipedia Minlos's theorem, Minlos's theorem (statement). Also Wikidata Q6867878
History
- 2026-10-26: add by m2/dev
RDFGCWAERD RDFGCWAERD
| URI | m2://inv/RDFGCWAERD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 37-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.18929#0J72 (statement). In ZRJ2DZT6P1/e1, theorem 5.1
History
- 2026-10-28: add by m2/v0.4.2
RDFSA9XVB2 RDFSA9XVB2
| URI | m2://inv/RDFSA9XVB2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40123#ANGK (statement). In WK2YHYEDZ9/e1, lemma 3.7
History
- 2026-10-30: add by m2/v0.4.12
Affine space (algebraic geometry) RDFZQX0AAV
| URI | m2://inv/RDFZQX0AAV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Affine space#DMCZ, Affine space (algebraic geometry) (unknown)
History
- 2026-11-02: add by m2/dev
RDG1BQS7JM RDG1BQS7JM
| URI | m2://inv/RDG1BQS7JM |
|---|---|
| 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.35683#Q1YS (statement). In A4S9A3X494/e1, theorem
History
- 2026-10-30: add by m2/v0.4.12
ASReml RDG783ZNTY
| URI | m2://inv/RDG783ZNTY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#QG1C, ASReml (definition)
History
- 2026-11-02: add by m2/dev
Quantitative Gaussian hard-edge count at the square aspect ratio RDGA1185HW
| URI | m2://inv/RDGA1185HW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11309#HD1B, Quantitative Gaussian hard-edge count at the square aspect ratio (statement). In TTEAQA1XXR/e1, lemma C.11
History
- 2026-10-28: add by m2/v0.4.3
A non-equimultiple pair with one-dimensional singular locus RDGBARPSZ5
| URI | m2://inv/RDGBARPSZ5 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 13-XX, 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07528#CZ95, A non-equimultiple pair with one-dimensional singular locus (example). In WVX0T502A1/e1, example 7.3
History
- 2026-10-29: add by m2/v0.4.10
Construction RDGEV47P92
| URI | m2://inv/RDGEV47P92 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rectified 5-cubes#PIK9, Construction (definition)
History
- 2026-11-02: add by m2/dev
RDGG8PCY3F RDGG8PCY3F
| URI | m2://inv/RDGG8PCY3F |
|---|---|
| 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.07099#EZKI (statement). In 9GNAHRCYFT/e1, proposition 3.8
History
- 2026-10-29: add by m2/v0.4.10
Fibonacci cube RDGTSJ13MM
| URI | m2://inv/RDGTSJ13MM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5446402, Fibonacci cube (unknown). Also MathWorld FibonacciCubeGraph
- wikipedia: Wikipedia Fibonacci cube, Fibonacci cube (definition). Also Wikidata Q5446402
History
- 2026-10-26: add by m2/dev
Carathéodory's theorem (convex hull) RDGX5N7EQT
| URI | m2://inv/RDGX5N7EQT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of convexity topics#32OP, Carathéodory's theorem (convex hull) (statement)
History
- 2026-11-02: add by m2/dev
Spectral network RDGXK5MB9J
| URI | m2://inv/RDGXK5MB9J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spectral network, Spectral network (definition). Also Wikidata Q7575173
History
- 2026-11-02: add by m2/dev
RDH4KAB4EM RDH4KAB4EM
| URI | m2://inv/RDH4KAB4EM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16225#E8YQ (statement). In H3DJV9YQW1/e1, proposition 3.12
History
- 2026-10-28: add by m2/v0.4.2
Formal statement RDH6TR4BNE
| URI | m2://inv/RDH6TR4BNE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dini's theorem#66JV, Formal statement (statement)
History
- 2026-11-02: add by m2/dev
The theorem in other disciplines RDH7R61BZN
| URI | m2://inv/RDH7R61BZN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Condorcet's jury theorem#2Y5Q, The theorem in other disciplines (statement)
History
- 2026-11-02: add by m2/dev
RDHFAMXBKV RDHFAMXBKV
| URI | m2://inv/RDHFAMXBKV |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/classgrp.tex#ques-7 (exercise). In RZP28ERRZV, ques, section 9.8
History
- 2026-11-01: add by m2/v0.6.13
\tc{L\_Two RDHFGCHF65
| URI | m2://inv/RDHFGCHF65 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36279#KED6, \tc{L\_Two (statement). In HX1QA0MJYV/e1, lemma 12
History
- 2026-10-30: add by m2/v0.4.12
Approximate Competitive Equilibrium from Equal Incomes RDHR5XKQNQ
| URI | m2://inv/RDHR5XKQNQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of PPAD-complete problems#0LP6, Approximate Competitive Equilibrium from Equal Incomes (unknown)
History
- 2026-11-02: add by m2/dev
Theorem (Heilbronn; 1934) RDHVMXSVN5
| URI | m2://inv/RDHVMXSVN5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Riemann hypothesis#HGSY, Theorem (Heilbronn; 1934) (statement)
History
- 2026-11-02: add by m2/dev
RDHXGCBD82 RDHXGCBD82
| URI | m2://inv/RDHXGCBD82 |
|---|---|
| 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 2310.09889#41X9 (statement). In BMNZKPSC48/e1, lemma 3
History
- 2026-10-27: add by m2/v0.3.5
RDHZ3FA9HB RDHZ3FA9HB
| URI | m2://inv/RDHZ3FA9HB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30444#IHHX (statement). In RZWJ0AT8W5/e1, lemma 4.3
History
- 2026-10-31: add by m2/v0.5.6
Kirchhoff–Love plate theory RDHZNCBYP8
| URI | m2://inv/RDHZNCBYP8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kirchhoff–Love plate theory, Kirchhoff–Love plate theory (topic). Also Wikidata Q6415020
History
- 2026-11-02: add by m2/dev
Prop. 2.9, Prop 2.23 RDJ2NHB35W
| URI | m2://inv/RDJ2NHB35W |
|---|---|
| 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.36181#CIG4, Prop. 2.9, Prop 2.23 (statement). In 1KSE33PVS6/e1, proposition 15
History
- 2026-10-30: add by m2/v0.4.12
Iwahori–Hecke algebra RDJ3S1Z3VD
| URI | m2://inv/RDJ3S1Z3VD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebras#8DS3, Iwahori–Hecke algebra (definition)
- wikipedia: Wikipedia List of q-analogs#NXVF, Iwahori–Hecke algebra (definition)
History
- 2026-11-02: add by m2/dev
Moishezon manifold RDJM5P50Y2
| URI | m2://inv/RDJM5P50Y2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Moishezon manifold 8ZW9P9JRQD |
Mentions
- wikidata: Wikidata Q17097705, Moishezon manifold (unknown). Also nLab Moishezon manifold
- wikipedia: Wikipedia Moishezon manifold, Moishezon manifold (definition). Also Wikidata Q17097705
History
- 2026-10-26: add by m2/dev
Michel Goemans RDJNY8PBTP
| URI | m2://inv/RDJNY8PBTP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#OGOX, Michel Goemans (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#O79A, Michel Goemans (topic)
History
- 2026-11-02: add by m2/dev
Instantiation of published theorems RDJY37D07A
| URI | m2://inv/RDJY37D07A |
|---|---|
| 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.26258#NL8G, Instantiation of published theorems (statement)
History
- 2026-11-01: add by m2/v0.6.15
Stability of the $\chi^2$ mixing bound RDK4N5M5MG
| URI | m2://inv/RDK4N5M5MG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36016#ELDH, Stability of the $\chi^2$ mixing bound (statement). In NAM9ZMPHZ9/e1, proposition 4.15
History
- 2026-10-30: add by m2/v0.4.12
RDKNNVM3KD RDKNNVM3KD
| URI | m2://inv/RDKNNVM3KD |
|---|---|
| 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.39707#X221 (statement). In NFH5VEY1D1/e1, theorem 4.1
History
- 2026-10-30: add by m2/v0.4.12
Receiver function RDKWQC6HPT
| URI | m2://inv/RDKWQC6HPT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Receiver function, Receiver function (definition). Also Wikidata Q2135141
History
- 2026-11-02: add by m2/dev
RDM1AHG1KA RDM1AHG1KA
| URI | m2://inv/RDM1AHG1KA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22240#5F3J (statement)
History
- 2026-11-02: add by m2/v0.6.17
Definition RDM85FMJX2
| URI | m2://inv/RDM85FMJX2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Progressively measurable process#JQCJ, Definition (definition)
History
- 2026-11-02: add by m2/dev
The symmetric constant RDMB8XT6VF
| URI | m2://inv/RDMB8XT6VF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30663#XNOR, The symmetric constant (statement). In 3JZDKWS8NK/e1, theorem A
History
- 2026-10-31: add by m2/v0.5.6
RDMC0M7118 RDMC0M7118
| URI | m2://inv/RDMC0M7118 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-riemann.tex#exercise-38 (exercise). In E59CDZA4DP, exercise, section 8.4.3
History
- 2026-11-01: add by m2/v0.6.13
Theorem of absolute purity RDMFXB9F4V
| URI | m2://inv/RDMFXB9F4V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Theorem of absolute purity, Theorem of absolute purity (statement). Also Wikidata Q85808988
History
- 2026-11-02: add by m2/dev
Definitions RDMM78RQ31
| URI | m2://inv/RDMM78RQ31 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generating function#USR6, Definitions (definition)
History
- 2026-11-02: add by m2/dev
RDMQS7PE61 RDMQS7PE61
| URI | m2://inv/RDMQS7PE61 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25457#BITB (statement)
History
- 2026-11-01: add by m2/v0.6.15
Properties RDMREJQC96
| URI | m2://inv/RDMREJQC96 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spinc structure#R4B2, Properties (statement)
History
- 2026-11-02: add by m2/dev
RDMSNAD4ZE RDMSNAD4ZE
| URI | m2://inv/RDMSNAD4ZE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18016#DR36 (statement). In V5PVKDKGGG/e1, proposition 4.13
History
- 2026-10-28: add by m2/v0.4.2
Definitions RDMWD7YQFA
| URI | m2://inv/RDMWD7YQFA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vector bornology#R3F8, Definitions (definition)
History
- 2026-11-02: add by m2/dev
RDMX05DCZJ RDMX05DCZJ
| URI | m2://inv/RDMX05DCZJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14434#GMY0 (statement). In TW93XZXMHE/e1, lemma 2.1
History
- 2026-10-28: add by m2/v0.4.2
Venus RDN4JP3JKS
| URI | m2://inv/RDN4JP3JKS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q313, Venus (definition). Also ProofWiki Definition:Venus
History
- 2026-10-26: add by m2/dev
IGARCH RDNH6KZ26T
| URI | m2://inv/RDNH6KZ26T |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Autoregressive conditional heteroskedasticity#GP5E, IGARCH (unknown)
History
- 2026-11-02: add by m2/dev
RDNMENQ3Z1 RDNMENQ3Z1
| URI | m2://inv/RDNMENQ3Z1 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/CompositionsInverses.tex#problem-13 (exercise). In P1C114YBXG, problem, section 1
History
- 2026-11-01: add by m2/v0.6.13
Algorithm RDNX0JAV97
| URI | m2://inv/RDNX0JAV97 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lentz's algorithm#PR1R, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
Piecewise syndetic set RDP2RMAD37
| URI | m2://inv/RDP2RMAD37 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of exceptional set concepts#MF1Q, Piecewise syndetic set (definition)
History
- 2026-11-02: add by m2/dev
Mixed component families RDP50XPH5B
| URI | m2://inv/RDP50XPH5B |
|---|---|
| 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.04027#HESX, Mixed component families (statement). In DQB4YR2DFH/e1, corollary 6.5
History
- 2026-10-29: add by m2/v0.4.12
Generalizations RDP5SR9BVH
| URI | m2://inv/RDP5SR9BVH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Monad (category theory)#A306, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
RDP99ZH0XX RDP99ZH0XX
| URI | m2://inv/RDP99ZH0XX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30663#N9X4 (statement). In 3JZDKWS8NK/e1, proposition 11.3
History
- 2026-10-31: add by m2/v0.5.6
RDPCZM3CSH RDPCZM3CSH
| URI | m2://inv/RDPCZM3CSH |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 11-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2004.12552#8IKG (example). In TWPE10CZ1S/e1, example 5.5
History
- 2026-10-27: add by m2/v0.3.5
RDPN787X4Q RDPN787X4Q
| URI | m2://inv/RDPN787X4Q |
|---|---|
| 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.09042#5O8R (statement). In 7CS3N5K9FJ/e1, lemma 7
History
- 2026-10-29: add by m2/v0.4.10
Terminology RDPNDBX65G
| URI | m2://inv/RDPNDBX65G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Holonomic constraints#52IV, Terminology (definition)
History
- 2026-11-02: add by m2/dev
Geometric phase RDPS16E32H
| URI | m2://inv/RDPS16E32H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geometric phase, Geometric phase (definition). Also Wikidata Q3283
History
- 2026-11-02: add by m2/dev
Akelarre RDPYAF178V
| URI | m2://inv/RDPYAF178V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Akelarre (cipher), Akelarre (definition). Also Wikidata Q2326939
History
- 2026-11-02: add by m2/dev
Examples RDQCC9TSXX
| URI | m2://inv/RDQCC9TSXX |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Synathroesmus#VA6Z, Examples (example)
History
- 2026-11-02: add by m2/dev
Jesper Grodal RDQCVS83E8
| URI | m2://inv/RDQCVS83E8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#A69H, Jesper Grodal (unknown)
History
- 2026-11-02: add by m2/dev
Maria Kokoszyńska-Lutmanowa RDQEKHW1Q4
| URI | m2://inv/RDQEKHW1Q4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of women logicians#U9KW, Maria Kokoszyńska-Lutmanowa (topic)
History
- 2026-11-02: add by m2/dev
Sum of normally distributed random variables RDQNKZTQAR
| URI | m2://inv/RDQNKZTQAR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#0L64, Sum of normally distributed random variables (definition)
History
- 2026-11-02: add by m2/dev
Entropic support cost of Sinkhorn outlier energy RDQS7Y6N29
| URI | m2://inv/RDQS7Y6N29 |
|---|---|
| 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.31470#5IQE, Entropic support cost of Sinkhorn outlier energy (statement). In 4RS2WKVB7F/e1, lemma 3.2
History
- 2026-10-31: add by m2/v0.5.6
Examples RDQVDS8HZ5
| URI | m2://inv/RDQVDS8HZ5 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Invariant subspace#HJN4, Examples (example)
History
- 2026-11-02: add by m2/dev
RDQWTMASTC RDQWTMASTC
| URI | m2://inv/RDQWTMASTC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 46-XX, 47-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.17060#PJMB (statement). In 5KR3MHYVV6/e1, proposition 3.12
History
- 2026-10-28: add by m2/v0.4.2
Winnie Li RDQYJ16WH4
| URI | m2://inv/RDQYJ16WH4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Winnie Li, Winnie Li (topic). Also Wikidata Q8025658
History
- 2026-11-02: add by m2/dev
RDR2XRAAC6 RDR2XRAAC6
| URI | m2://inv/RDR2XRAAC6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24154#3QCG (statement)
History
- 2026-11-02: add by m2/v0.6.17
Proposition I RDR3FN9X9T
| URI | m2://inv/RDR3FN9X9T |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Modigliani–Miller theorem#R13F, Proposition I (statement)
History
- 2026-11-02: add by m2/dev
RDR4WFGSPY RDR4WFGSPY
| URI | m2://inv/RDR4WFGSPY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11965#ZWHB (statement). In 48QX0QD0XR/e1, lemma 4.6
History
- 2026-10-28: add by m2/v0.4.3
Reflexive sheaf RDR7FJQMNC
| URI | m2://inv/RDR7FJQMNC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reflexive sheaf, Reflexive sheaf (definition). Also Wikidata Q25098806
History
- 2026-11-02: add by m2/dev
Sharp Shnirelman's Inequality in $\nu=2$ RDR7X3Y28X
| URI | m2://inv/RDR7X3Y28X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31294#N4NB, Sharp Shnirelman's Inequality in $\nu=2$ (statement). In 6GK9EJMWY4/e1, theorem 6.3
History
- 2026-10-31: add by m2/v0.5.6
Anscombe's quartet RDRC8C4Z5R
| URI | m2://inv/RDRC8C4Z5R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Anscombe's quartet, Anscombe's quartet (definition). Also Wikidata Q2554672
History
- 2026-11-02: add by m2/dev
RDRH30X1RD RDRH30X1RD
| URI | m2://inv/RDRH30X1RD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34295#XGCC (statement). In A93R925Z24/e1, proposition 9.4
History
- 2026-10-30: add by m2/v0.4.12
Synchronous $\Omega$-regularized $Q$-learning RDRHBT18G5
| URI | m2://inv/RDRHBT18G5 |
|---|---|
| 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.14988#ZZEY, Synchronous $\Omega$-regularized $Q$-learning (statement). In B29M4E6KGC/e1, theorem 1
History
- 2026-10-28: add by m2/v0.4.2
Asplund space RDRRXGPGEN
| URI | m2://inv/RDRRXGPGEN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Asplund space, Asplund space (definition). Also Wikidata Q4808170
History
- 2026-11-02: add by m2/dev
Vicki Hertzberg RDRS2R0JDG
| URI | m2://inv/RDRS2R0JDG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#H0W8, Vicki Hertzberg (topic)
History
- 2026-11-02: add by m2/dev
Relation to the axiom of choice RDRTG9EB30
| URI | m2://inv/RDRTG9EB30 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Krein–Milman theorem#8ZY8, Relation to the axiom of choice (statement)
History
- 2026-11-02: add by m2/dev
RDRXK24E69 RDRXK24E69
| URI | m2://inv/RDRXK24E69 |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2106.06387#D62O (unknown). In 4YJH4FPWDA/e1, unknown 2.4
History
- 2026-10-30: add by m2/v0.4.12
RDRYR2Z4D3 RDRYR2Z4D3
| URI | m2://inv/RDRYR2Z4D3 |
|---|---|
| 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.23994#3AYP (statement)
History
- 2026-11-02: add by m2/v0.6.17
RDS2J8C321 RDS2J8C321
| URI | m2://inv/RDS2J8C321 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book reals.tex#proof-33 (proof). In N54F33XE07, proof, section B.5
History
- 2026-11-01: add by m2/v0.6.13
RDS6M9YMCE RDS6M9YMCE
| URI | m2://inv/RDS6M9YMCE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 20-XX, 22-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14278#S5U5 (statement). In RTE2C0PH4S/e1, lemma 3.1
History
- 2026-10-28: add by m2/v0.4.2
() Krein–Milman theorem (Existence) RDS6PTVE3Q
| URI | m2://inv/RDS6PTVE3Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Krein–Milman theorem#DKFA, () Krein–Milman theorem (Existence) (statement)
History
- 2026-11-02: add by m2/dev
lucky number RDSN2BZT58
| URI | m2://inv/RDSN2BZT58 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1428157, lucky number (unknown). Also MathWorld LuckyNumber, OEIS A000959
- wikipedia: Wikipedia Lucky number, Lucky number (definition). Also Wikidata Q1428157
History
- 2026-10-26: add by m2/dev
IGOR Pro RDSNM8B9J5
| URI | m2://inv/RDSNM8B9J5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical-analysis software#XCNW, IGOR Pro (unknown)
History
- 2026-11-02: add by m2/dev
Laws as consequences of mathematical symmetries RDSPZTE3AD
| URI | m2://inv/RDSPZTE3AD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Scientific law#R333, Laws as consequences of mathematical symmetries (statement)
History
- 2026-11-02: add by m2/dev
RDSV69XYNV RDSV69XYNV
| URI | m2://inv/RDSV69XYNV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39615#UC1K (statement). In RNXRAZYR3S/e1, theorem 1.1
History
- 2026-10-30: add by m2/v0.4.12
RDT4A6P9B3 RDT4A6P9B3
| URI | m2://inv/RDT4A6P9B3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-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 2511.15212#689U (statement). In W99XBH6X5N/e1, theorem 4.6
History
- 2026-10-27: add by m2/v0.4.0
RDT71PZDG1 RDT71PZDG1
| URI | m2://inv/RDT71PZDG1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-real-nums.tex#defn-3 (definition). In E59CDZA4DP, defn, section 7.1
History
- 2026-11-01: add by m2/v0.6.13
Generalizations RDT8K98HXS
| URI | m2://inv/RDT8K98HXS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schwarzian derivative#RUDO, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Moral luck RDTBWQ8PPZ
| URI | m2://inv/RDTBWQ8PPZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cognitive biases#6YE4, Moral luck (unknown)
History
- 2026-11-02: add by m2/dev
RDTDB509JQ RDTDB509JQ
| URI | m2://inv/RDTDB509JQ |
|---|---|
| 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.33771#J92C (statement). In ZXQA7QH0H0/e1, corollary 2.18
History
- 2026-10-30: add by m2/v0.4.12
Commissioner of Labor Statistics RDTEJ54BE6
| URI | m2://inv/RDTEJ54BE6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bureau of Labor Statistics#9VH6, Commissioner of Labor Statistics (unknown)
History
- 2026-11-02: add by m2/dev
RDTT8568BM RDTT8568BM
| URI | m2://inv/RDTT8568BM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16606#JU1J (statement). In A798V7TX99/e1, proposition 4.6
History
- 2026-10-28: add by m2/v0.4.2
List of valid argument forms RDTVD093CB
| URI | m2://inv/RDTVD093CB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of valid argument forms, List of valid argument forms (topic). Also Wikidata Q6644532
History
- 2026-11-02: add by m2/dev
RDTYP1HMWH RDTYP1HMWH
| URI | m2://inv/RDTYP1HMWH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05986#R5XA (statement). In N5ZM8MXJXH/e1, proposition 5.1
History
- 2026-10-29: add by m2/v0.4.10
The geodesic weakly dominates every path RDV129M8H9
| URI | m2://inv/RDV129M8H9 |
|---|---|
| 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.22459#F3CE, The geodesic weakly dominates every path (statement)
History
- 2026-11-02: add by m2/v0.6.17
Algebraic properties RDV5HA2P7H
| URI | m2://inv/RDV5HA2P7H |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pappus graph#W2KC, Algebraic properties (statement)
History
- 2026-11-02: add by m2/dev
Uniform dyadic-simplex asymptotic RDVFAF7ESA
| URI | m2://inv/RDVFAF7ESA |
|---|---|
| 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 2609.39633#YVWX, Uniform dyadic-simplex asymptotic (statement). In B339AJZP2S/e1, lemma 5.1
History
- 2026-10-30: add by m2/v0.4.12
RDVG0JTJD8 RDVG0JTJD8
| URI | m2://inv/RDVG0JTJD8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08357#QII7 (statement). In R9GRCAWHG0/e1, proposition 5.5
History
- 2026-10-29: add by m2/v0.4.10
Flat torus theorem RDVJ19AGH7
| URI | m2://inv/RDVJ19AGH7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Preissmann's theorem#DP0U, Flat torus theorem (statement)
History
- 2026-11-02: add by m2/dev
RDVN2AZVQZ RDVN2AZVQZ
| URI | m2://inv/RDVN2AZVQZ |
|---|---|
| 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.10325#HIHL (statement). In 66CDJ94PGW/e1, proposition 3.1
History
- 2026-10-29: add by m2/v0.4.10
Object-centric process tree RDVN4J12WZ
| URI | m2://inv/RDVN4J12WZ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20478#NKMI, Object-centric process tree (definition)
History
- 2026-11-02: add by m2/v0.6.18
RDVNPSW4HG RDVNPSW4HG
| URI | m2://inv/RDVNPSW4HG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/size-of-sets/non-enumerability-alt.tex#thm:nonenum-bin-omega (statement). In PKGMM3P5QY, thm, section 83.8
History
- 2026-11-01: add by m2/v0.6.13
I. Elaine Allen RDVZEHGM50
| URI | m2://inv/RDVZEHGM50 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia I. Elaine Allen, I. Elaine Allen (topic). Also Wikidata Q105755836
History
- 2026-11-02: add by m2/dev
theory of local regular rings RDW0RB8XQH
| URI | m2://inv/RDW0RB8XQH |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 13H05 |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q114705767, theory of local regular rings (topic)
History
- 2026-10-26: add by m2/dev
Cox process RDW4M3HFDD
| URI | m2://inv/RDW4M3HFDD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cox process, Cox process (definition). Also Wikidata Q1290919
History
- 2026-11-02: add by m2/dev
Edward Charles Titchmarsh RDW8ST6T62
| URI | m2://inv/RDW8ST6T62 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematicians born in the 19th century#L083, Edward Charles Titchmarsh (topic)
History
- 2026-11-02: add by m2/dev
Thomassen graph 94 RDW8WVBQNN
| URI | m2://inv/RDW8WVBQNN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2818709, Thomassen graph 94 (unknown). Also House of Graphs 1359
History
- 2026-10-26: add by m2/dev
Hilbert's paradox of the Grand Hotel RDWJ9BD5B5
| URI | m2://inv/RDWJ9BD5B5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Hilbert's hotel 0N3Y8G340X |
Mentions
- wikidata: Wikidata Q828646, Hilbert's paradox of the Grand Hotel (unknown). Also MathWorld HilbertHotel
- wikipedia: Wikipedia Hilbert's paradox of the Grand Hotel, Hilbert's paradox of the Grand Hotel (statement). Also Wikidata Q828646
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Logit analysis in marketing RDWS13YWM9
| URI | m2://inv/RDWS13YWM9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Logit analysis in marketing, Logit analysis in marketing (definition). Also Wikidata Q17117961
History
- 2026-11-02: add by m2/dev
RDWV1RNYPY RDWV1RNYPY
| URI | m2://inv/RDWV1RNYPY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07164#00TH (statement). In Q1XJ5VWE1N/e1, theorem 4.4
History
- 2026-10-29: add by m2/v0.4.10
Bulletin of the American Mathematical Society RDWZ8R6QF1
| URI | m2://inv/RDWZ8R6QF1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a book, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2928101, Bulletin of the American Mathematical Society (unknown). Also ProofWiki Book:Journal/Bulletin_of_the_American_Mathematical_Society
- wikipedia: Wikipedia Bulletin of the American Mathematical Society, Bulletin of the American Mathematical Society (definition). Also Wikidata Q2928101
History
- 2026-10-26: add by m2/dev
Lindelöf's lemma RDXC99E34S
| URI | m2://inv/RDXC99E34S |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6552215, Lindelöf's lemma (statement). Also ProofWiki Lindelöf's_Lemma
- wikipedia: Wikipedia Lindelöf's lemma, Lindelöf's lemma (statement). Also Wikidata Q6552215
History
- 2026-10-26: add by m2/dev
Plate notation RDXV3KPW0A
| URI | m2://inv/RDXV3KPW0A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Plate notation, Plate notation (definition). Also Wikidata Q17145930
History
- 2026-11-02: add by m2/dev
Properties RDY73ZRDT6
| URI | m2://inv/RDY73ZRDT6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Identity matrix#B7JD, Properties (statement)
History
- 2026-11-02: add by m2/dev
Hidden shift problem RDY8GF7ANA
| URI | m2://inv/RDY8GF7ANA |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#NZ0Z, Hidden shift problem (problem)
History
- 2026-11-02: add by m2/dev
Dyadic tree representation RDYDEW9RP9
| URI | m2://inv/RDYDEW9RP9 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21033#LJVG, Dyadic tree representation (definition). In A8C1M9BSWH/e1, definition 5.1
History
- 2026-10-27: add by m2/v0.4.2
RDYFFSS309 RDYFFSS309
| URI | m2://inv/RDYFFSS309 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08935#5GU9 (definition). In G02N9D40B9/e1, definition 1.5.4
History
- 2026-10-29: add by m2/v0.4.10
Uniform covering from relative highness, Jockusch RDYH7PYZS1
| URI | m2://inv/RDYH7PYZS1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14548#OFK8, Uniform covering from relative highness, Jockusch (statement). In TTNKABAYVB/e1, lemma 3.2
History
- 2026-10-28: add by m2/v0.4.2
Spinor RDYPYAEW3A
| URI | m2://inv/RDYPYAEW3A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of tensor theory#RP1U, Spinor (definition)
History
- 2026-11-02: add by m2/dev
RDZ24TN3ZJ RDZ24TN3ZJ
| URI | m2://inv/RDZ24TN3ZJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13884#9HB4 (statement). In N2NQ3QJYTW/e1, theorem A.1
History
- 2026-10-28: add by m2/v0.4.2
RDZE9WS5ZG RDZE9WS5ZG
| URI | m2://inv/RDZE9WS5ZG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03231#0E8I (statement). In 3Y76AQQGF0/e1, proposition 2.12
History
- 2026-10-29: add by m2/v0.4.12
Method RDZFWBF173
| URI | m2://inv/RDZFWBF173 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Metagame analysis#QAUO, Method (definition)
History
- 2026-11-02: add by m2/dev
RDZK1JHFSQ RDZK1JHFSQ
| URI | m2://inv/RDZK1JHFSQ |
|---|---|
| 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 2011.07352#BGUJ (statement). In 3VPC1GGZ3E/e1, proposition 7.4
History
- 2026-10-27: add by m2/v0.3.5
RDZKYGPP3T RDZKYGPP3T
| URI | m2://inv/RDZKYGPP3T |
|---|---|
| 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.01928#1DCS (statement). In BSJRRHKGX0/e1, corollary 3.9
History
- 2026-10-29: add by m2/v0.4.12
RDZTQZJ52D RDZTQZJ52D
| URI | m2://inv/RDZTQZJ52D |
|---|---|
| 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.00247#QN4G (statement). In ZAM4S2XS9F/e1, proposition 4.5
History
- 2026-10-30: add by m2/v0.4.12
RDZXEC6N6H RDZXEC6N6H
| URI | m2://inv/RDZXEC6N6H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40138#F6F8 (statement). In R60HR493TS/e1, lemma 3.3
History
- 2026-10-30: add by m2/v0.4.12
Polkadot RDZZNACNAE
| URI | m2://inv/RDZZNACNAE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polkadot (blockchain platform), Polkadot (definition). Also Wikidata Q46166265
History
- 2026-11-02: add by m2/dev