Inventory rows RY
The cards of the rows of the inventory whose ids start with RY. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
diagram RY00C00BYH
| URI | m2://inv/RY00C00BYH |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/6.7/diagram, diagram (concept). In N54F33XE07, index, section 6.7
History
- 2026-11-01: add by m2/v0.6.13
coincidence RY04NVRYMF
| URI | m2://inv/RY04NVRYMF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#0CCX, coincidence (definition)
History
- 2026-11-02: add by m2/dev
Parallelogram identity RY07SQ849T
| URI | m2://inv/RY07SQ849T |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Banach space#2Y3K, Parallelogram identity (statement)
History
- 2026-11-02: add by m2/dev
Order-extension principle RY0A2HPXEC
| URI | m2://inv/RY0A2HPXEC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linear extension#KRKT, Order-extension principle (statement)
History
- 2026-11-02: add by m2/dev
RY0D9V4WKC RY0D9V4WKC
| URI | m2://inv/RY0D9V4WKC |
|---|---|
| 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#CT9R (statement). In 48QX0QD0XR/e1, proposition 8.4
History
- 2026-10-28: add by m2/v0.4.3
Steinitz's theorem RY0KEP5EDT
| URI | m2://inv/RY0KEP5EDT |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 05-XX |
| Sources | 4 |
| Outcome | open |
| Node | Steinitz's theorem 2PYAZX5VD4 |
Mentions
- mathlib_1000: mathlib_1000 Q7606897, Steinitz theorem (statement). Also Wikidata Q7606897
- thousand_plus: thousand_plus Q7606897, Steinitz theorem (statement). Also Wikidata Q7606897, Wikipedia Steinitz theorem
- wikidata: Wikidata Q7606897, Steinitz's theorem (statement). Also MathWorld SteinitzsTheorem
- wikipedia: Wikipedia Steinitz's theorem, Steinitz's theorem (statement). Also Wikidata Q7606897
History
- 2026-10-26: add by m2/dev
RY0SDE2E8E RY0SDE2E8E
| URI | m2://inv/RY0SDE2E8E |
|---|---|
| Kind | example |
| 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 2610.14502#3C54 (example). In 6BVBMTYXNZ/e1, example 3.3
History
- 2026-10-28: add by m2/v0.4.2
In law RY0WQV15RK
| URI | m2://inv/RY0WQV15RK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Argumentum a fortiori#2XBO, In law (statement)
History
- 2026-11-02: add by m2/dev
RY19SYKD7K RY19SYKD7K
| URI | m2://inv/RY19SYKD7K |
|---|---|
| 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#AVM0 (statement)
History
- 2026-11-01: add by m2/v0.6.15
RY1BNCH3XC RY1BNCH3XC
| URI | m2://inv/RY1BNCH3XC |
|---|---|
| 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 2505.08839#KCL2 (statement). In HJPDS53MX4/e1, theorem 5.3
History
- 2026-10-27: add by m2/v0.4.0
The College Mathematics Journal RY1DV77F5X
| URI | m2://inv/RY1DV77F5X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia The College Mathematics Journal, The College Mathematics Journal (definition). Also Wikidata Q5146471
History
- 2026-11-02: add by m2/dev
RY1KCFD9HF RY1KCFD9HF
| URI | m2://inv/RY1KCFD9HF |
|---|---|
| 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.07260#SP5U (statement). In 33KABVV985/e1, lemma 3.4
History
- 2026-10-29: add by m2/v0.4.10
Jeanette McLeod RY1VT955VG
| URI | m2://inv/RY1VT955VG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#V2DZ, Jeanette McLeod (topic)
History
- 2026-11-02: add by m2/dev
Example RY1W1B5VY4
| URI | m2://inv/RY1W1B5VY4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Local asymptotic normality#DD4S, Example (example)
History
- 2026-11-02: add by m2/dev
RY2619ZW5Q RY2619ZW5Q
| URI | m2://inv/RY2619ZW5Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 62-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.22642#D4ZT (statement)
History
- 2026-11-02: add by m2/v0.6.17
RY26J282J9 RY26J282J9
| URI | m2://inv/RY26J282J9 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/cats/abelian.tex#exercise-2 (exercise). In RZP28ERRZV, exercise, section 35.3
History
- 2026-11-01: add by m2/v0.6.13
Example – Accident rates RY27DYKQDP
| URI | m2://inv/RY27DYKQDP |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Empirical Bayes method#EMWF, Example – Accident rates (example)
History
- 2026-11-02: add by m2/dev
Augustin Louis Cauchy RY2K57QMG5
| URI | m2://inv/RY2K57QMG5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of complex analysis topics#Z27M, Augustin Louis Cauchy (topic)
History
- 2026-11-02: add by m2/dev
RY2SDXDY9K RY2SDXDY9K
| URI | m2://inv/RY2SDXDY9K |
|---|---|
| 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.21934#2VDH (statement). In YKD51BX3XB/e1, proposition 7.3
History
- 2026-10-27: add by m2/v0.4.2
3001 (number) RY36EA4RC7
| URI | m2://inv/RY36EA4RC7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 3000 (number)#FBPW, 3001 (number) (unknown)
History
- 2026-11-02: add by m2/dev
perfect RY39S0JZ9S
| URI | m2://inv/RY39S0JZ9S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of ring theory#PNDO, perfect (definition)
History
- 2026-11-02: add by m2/dev
abelian category RY3BKEFJ0V
| URI | m2://inv/RY3BKEFJ0V |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 3 |
| Outcome | open |
| Node | Abelian category Y9CZ3MTNF1 |
Mentions
- mathlib_overview: mathlib_overview General algebra > Category theory > abelian category, abelian category (unknown). Also Mathlib CategoryTheory.Abelian
- wikidata: Wikidata Q318737, abelian category (concept). Also EoM Abelian_category, Mathlib CategoryTheory.Abelian, MathWorld AbelianCategory, nLab abelian category, ProofWiki Definition:Abelian_Category
- wikipedia: Wikipedia Abelian category, Abelian category (definition). Also Wikidata Q318737
History
- 2026-10-26: add by m2/dev
Christine Graffigne RY3D6756A7
| URI | m2://inv/RY3D6756A7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Christine Graffigne, Christine Graffigne (topic). Also Wikidata Q102166052
History
- 2026-11-02: add by m2/dev
Negative-offset terminal seam RY3F1482Z5
| URI | m2://inv/RY3F1482Z5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.22465#YUPQ, Negative-offset terminal seam (statement)
History
- 2026-11-02: add by m2/v0.6.17
RY3NP1HY4Z RY3NP1HY4Z
| URI | m2://inv/RY3NP1HY4Z |
|---|---|
| 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.20568#7309 (statement). In BCD0ATARNZ/e1, proposition 3.1
History
- 2026-10-27: add by m2/v0.4.2
Alternative definition RY3Q6KGR5J
| URI | m2://inv/RY3Q6KGR5J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Character group#S40S, Alternative definition (definition)
History
- 2026-11-02: add by m2/dev
The case $m= 3$ RY3R54C441
| URI | m2://inv/RY3R54C441 |
|---|---|
| Kind | example |
| 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 2609.25353#8D7Y, The case $m= 3$ (example)
History
- 2026-11-01: add by m2/v0.6.15
Frobenius characteristic correspondence RY40GNS3V6
| URI | m2://inv/RY40GNS3V6 |
|---|---|
| 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.21645#P4EK, Frobenius characteristic correspondence (statement)
History
- 2026-11-02: add by m2/v0.6.18
RY41HW4R17 RY41HW4R17
| URI | m2://inv/RY41HW4R17 |
|---|---|
| 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.39218#T9A9 (statement). In VPZSCE8HFP/e1, lemma 3.2
History
- 2026-10-30: add by m2/v0.4.12
RY441TKEDT RY441TKEDT
| URI | m2://inv/RY441TKEDT |
|---|---|
| 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 2506.16491#JN7S (definition). In P9J6P06Y40/e1, definition 2.9
History
- 2026-10-27: add by m2/v0.3.5
Drexel-Alvernon RY48CQXK9J
| URI | m2://inv/RY48CQXK9J |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of U.S. communities with Hispanic-majority populations in the 2000 census#2GOZ, Drexel-Alvernon (unknown)
History
- 2026-11-02: add by m2/dev
Corollary RY49VDGK5Y
| URI | m2://inv/RY49VDGK5Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Finite intersection property#9R89, Corollary (statement)
History
- 2026-11-02: add by m2/dev
Algebraic normal form RY4C4WWW3Y
| URI | m2://inv/RY4C4WWW3Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Algebraic normal form, Algebraic normal form (definition). Also Wikidata Q2154043
History
- 2026-11-02: add by m2/dev
Examples RY4F5Y4X37
| URI | m2://inv/RY4F5Y4X37 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ergodic theory#C057, Examples (example)
History
- 2026-11-02: add by m2/dev
RY4NP3FJZN RY4NP3FJZN
| URI | m2://inv/RY4NP3FJZN |
|---|---|
| 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 2610.08599#TWON (example). In DST9FWMHT6/e1, example 3.14
History
- 2026-10-29: add by m2/v0.4.10
RY4VW0727Q RY4VW0727Q
| URI | m2://inv/RY4VW0727Q |
|---|---|
| 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.17518#GC9A (statement). In YA4JEWTVS4/e1, lemma 7.3
History
- 2026-10-28: add by m2/v0.4.2
BPP RY4W28MJMX
| URI | m2://inv/RY4W28MJMX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia BPP (complexity), BPP (definition). Also Wikidata Q796890
History
- 2026-11-02: add by m2/dev
Harry Vandiver RY55Q1G750
| URI | m2://inv/RY55Q1G750 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#LXY3, Harry Vandiver (unknown)
History
- 2026-11-02: add by m2/dev
characteristic p RY58RAMBWQ
| URI | m2://inv/RY58RAMBWQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview General algebra > Field theory > characteristic p, characteristic p (unknown). Also Mathlib CharP
- mathlib_undergrad: mathlib_undergrad Ring Theory > Field Theory > characteristic p, characteristic p (unknown). Also Mathlib CharP
History
- 2026-10-26: add by m2/dev
RY5AS5JNVM RY5AS5JNVM
| URI | m2://inv/RY5AS5JNVM |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-vol1-intro.tex#exercise-23 (exercise). In E59CDZA4DP, exercise, section 11.9.6
History
- 2026-11-01: add by m2/v0.6.13
Chapter 2, Lemma 6 RY5EEHZN0R
| URI | m2://inv/RY5EEHZN0R |
|---|---|
| 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.14839#9FC1, Chapter 2, Lemma 6 (statement). In CYB41667NA/e1, lemma 2.6
History
- 2026-10-27: add by m2/v0.3.5
RY5G1SP1GD RY5G1SP1GD
| URI | m2://inv/RY5G1SP1GD |
|---|---|
| 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.28350#UXU8 (statement)
History
- 2026-11-01: add by m2/v0.6.15
RY5HCDS2E0 RY5HCDS2E0
| URI | m2://inv/RY5HCDS2E0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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 2302.06336#846X (statement). In CCRSWBXWXW/e1, lemma 3.2
History
- 2026-10-27: add by m2/v0.3.5
Formula RY5NXPPZJG
| URI | m2://inv/RY5NXPPZJG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coverage probability#6FRS, Formula (statement)
History
- 2026-11-02: add by m2/dev
RY5ZCSWECR RY5ZCSWECR
| URI | m2://inv/RY5ZCSWECR |
|---|---|
| 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 2602.07485#191W (statement). In 8KAC1E81JQ/e1, theorem 8
History
- 2026-10-27: add by m2/v0.3.5
\textsc{Log-Log-Convexity RY6AC90FVM
| URI | m2://inv/RY6AC90FVM |
|---|---|
| Kind | problem |
| 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.01812#58DT, \textsc{Log-Log-Convexity (problem). In FQPVSYXAGC/e1, problem 4
History
- 2026-10-29: add by m2/v0.4.12
RY6HRG1WWW RY6HRG1WWW
| URI | m2://inv/RY6HRG1WWW |
|---|---|
| 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.10233#LEPM (statement). In QR9WE79ERQ/e1, theorem 1.5
History
- 2026-10-29: add by m2/v0.4.10
grow after death RY6MGYJ1BP
| URI | m2://inv/RY6MGYJ1BP |
|---|---|
| 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#RE7F, grow after death (unknown)
History
- 2026-11-02: add by m2/dev
Symmetric Turing machine RY6ZH8FA67
| URI | m2://inv/RY6ZH8FA67 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Symmetric Turing machine, Symmetric Turing machine (definition). Also Wikidata Q7661303
History
- 2026-11-02: add by m2/dev
Stopped process RY720XQ2BX
| URI | m2://inv/RY720XQ2BX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stopped process, Stopped process (definition). Also Wikidata Q7619859
History
- 2026-11-02: add by m2/dev
Bayes error rate RY76V2JJ1B
| URI | m2://inv/RY76V2JJ1B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#8M5G, Bayes error rate (definition)
History
- 2026-11-02: add by m2/dev
RY7FBV8N8E RY7FBV8N8E
| URI | m2://inv/RY7FBV8N8E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2310.06695#38PE (statement). In D6F8XGF5SS/e1, theorem D
History
- 2026-10-27: add by m2/v0.3.6
RY7JNGX8XR RY7JNGX8XR
| URI | m2://inv/RY7JNGX8XR |
|---|---|
| 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 2511.05069#14LS (statement). In SFQBJBTW8K/e1, theorem 3.2
History
- 2026-10-27: add by m2/v0.3.5
set function RY7JX4W485
| URI | m2://inv/RY7JX4W485 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1657198, set function (unknown). Also MathWorld SetFunction
- wikipedia: Wikipedia Set function, Set function (definition). Also Wikidata Q1657198
History
- 2026-10-26: add by m2/dev
RY7M4J95Y1 RY7M4J95Y1
| URI | m2://inv/RY7M4J95Y1 |
|---|---|
| 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.23202#NI11 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Definition RY7QN754SS
| URI | m2://inv/RY7QN754SS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fréchet mean#W017, Definition (definition)
History
- 2026-11-02: add by m2/dev
RY7QP29J6D RY7QP29J6D
| URI | m2://inv/RY7QP29J6D |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 16-XX, 19-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23527#ZODN (example)
History
- 2026-11-02: add by m2/v0.6.17
Example RY7X8WZ768
| URI | m2://inv/RY7X8WZ768 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Limit comparison test#3HSI, Example (example)
History
- 2026-11-02: add by m2/dev
Consecutive controlled case series RY7Z576BT7
| URI | m2://inv/RY7Z576BT7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Consecutive controlled case series, Consecutive controlled case series (definition). Also Wikidata Q25108677
History
- 2026-11-02: add by m2/dev
Routh–Hurwitz stability criterion RY8RYGH7CT
| URI | m2://inv/RY8RYGH7CT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Routh–Hurwitz stability criterion, Routh–Hurwitz stability criterion (statement). Also Wikidata Q2621270
History
- 2026-11-02: add by m2/dev
RY9255ZTT0 RY9255ZTT0
| URI | m2://inv/RY9255ZTT0 |
|---|---|
| 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 2610.08480#EVHV (example). In R4EEE89C3S/e1, example 4.1
History
- 2026-10-29: add by m2/v0.4.10
RY98XADZHP RY98XADZHP
| URI | m2://inv/RY98XADZHP |
|---|---|
| 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 2606.00589#Z5XH (statement). In C8JAGP8VCQ/e1, lemma 8.8
History
- 2026-10-27: add by m2/v0.3.5
RY99V0W3QM RY99V0W3QM
| URI | m2://inv/RY99V0W3QM |
|---|---|
| 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 2601.15010#Q56Z (statement). In K3WJ6ZN184/e1, lemma A.4
History
- 2026-10-27: add by m2/v0.3.5
Definition RY9G3JMRB0
| URI | m2://inv/RY9G3JMRB0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Surface code#I5TD, Definition (definition)
History
- 2026-11-02: add by m2/dev
graph, complete RY9ZSZRSNS
| URI | m2://inv/RY9ZSZRSNS |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/5.1/graph-complete, graph, complete (concept). In QKM9DD2H56, index, section 5.1
History
- 2026-11-01: add by m2/v0.6.13
RYA01JY6VF RYA01JY6VF
| URI | m2://inv/RYA01JY6VF |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 20-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.06699#YGBG (example). In GXHKRV5BPY/e1, example 3.4
History
- 2026-10-29: add by m2/v0.4.10
Weil divisor RYA394FN2D
| URI | m2://inv/RYA394FN2D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic geometry#992P, Weil divisor (definition)
History
- 2026-11-02: add by m2/dev
Derivative of the initial condition RYAC4VDNGY
| URI | m2://inv/RYAC4VDNGY |
|---|---|
| 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.32710#4DGB, Derivative of the initial condition (statement). In KVYG6R7CGJ/e1, lemma 3.18
History
- 2026-10-31: add by m2/v0.5.6
Laura Pisati RYACJ72SMZ
| URI | m2://inv/RYACJ72SMZ |
|---|---|
| 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#TUCO, Laura Pisati (topic)
History
- 2026-11-02: add by m2/dev
Definition RYADCAX926
| URI | m2://inv/RYADCAX926 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dihedral group#DSGZ, Definition (definition)
History
- 2026-11-02: add by m2/dev
The group law RYAGJY8GK3
| URI | m2://inv/RYAGJY8GK3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Edwards curve#GYOQ, The group law (statement)
History
- 2026-11-02: add by m2/dev
RYAGRG1133 RYAGRG1133
| URI | m2://inv/RYAGRG1133 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises5-1.xml#exercise-5 (exercise). In 649HGZKE96, exercise, section 5.1
History
- 2026-11-01: add by m2/v0.6.13
RYAJ0WZG9E RYAJ0WZG9E
| URI | m2://inv/RYAJ0WZG9E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37761#6JRR (statement). In 4TAQ65KZKN/e1, theorem 4.3
History
- 2026-10-30: add by m2/v0.4.12
Karen L. Collins RYAP0F3BK0
| URI | m2://inv/RYAP0F3BK0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Karen L. Collins, Karen L. Collins (topic). Also Wikidata Q69368600
History
- 2026-11-02: add by m2/dev
RYAY4F5TRK RYAY4F5TRK
| URI | m2://inv/RYAY4F5TRK |
|---|---|
| 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.09422#WVI8 (statement). In MS7M2BJS9X/e1, lemma 4.19
History
- 2026-10-29: add by m2/v0.4.10
Pseudorandom generator theorem RYB3TM6P37
| URI | m2://inv/RYB3TM6P37 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 68-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q7255475, Pseudorandom generator theorem (statement). Also Wikidata Q7255475
- thousand_plus: thousand_plus Q7255475, Pseudorandom generator theorem (statement). Also Wikidata Q7255475, Wikipedia Pseudorandom generator theorem
- wikipedia: Wikipedia Pseudorandom generator theorem, Pseudorandom generator theorem (statement). Also Wikidata Q7255475
History
- 2026-10-26: add by m2/dev
RYB586M0HM RYB586M0HM
| URI | m2://inv/RYB586M0HM |
|---|---|
| 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.05696#12D9 (definition). In MG81A9XJTQ/e1, definition VI.4
History
- 2026-10-29: add by m2/v0.4.10
RYB8CJ5P41 RYB8CJ5P41
| URI | m2://inv/RYB8CJ5P41 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08193#JEWB (statement). In 8XAKGH8S2D/e1, lemma 4.2
History
- 2026-10-29: add by m2/v0.4.10
Legendre moment RYBHKEQ1XA
| URI | m2://inv/RYBHKEQ1XA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Adrien-Marie Legendre#DEBB, Legendre moment (definition)
History
- 2026-11-02: add by m2/dev
Colin de Verdière RYC319H3AH
| URI | m2://inv/RYC319H3AH |
|---|---|
| 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 2605.30679#J2SQ, Colin de Verdière (statement). In Z31GMHMG7B/e1, theorem 2
History
- 2026-10-27: add by m2/v0.3.5
distribution RYC31WRRP2
| URI | m2://inv/RYC31WRRP2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#V1C0, distribution (definition)
History
- 2026-11-02: add by m2/dev
RYC36K2YP8 RYC36K2YP8
| URI | m2://inv/RYC36K2YP8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35669#PVDZ (statement). In 8380G43M8E/e1, lemma 2.1
History
- 2026-10-30: add by m2/v0.4.12
Chord (geometry) RYC6J6ZHXX
| URI | m2://inv/RYC6J6ZHXX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of curves topics#BSW7, Chord (geometry) (definition)
History
- 2026-11-02: add by m2/dev
Special cases RYCBZFAS3D
| URI | m2://inv/RYCBZFAS3D |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Travelling salesman problem#NAG5, Special cases (statement)
History
- 2026-11-02: add by m2/dev
RYCJSH7SGV RYCJSH7SGV
| URI | m2://inv/RYCJSH7SGV |
|---|---|
| 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.36377#RHLU (statement). In M98F6VRPZ2/e1, lemma 4.9
History
- 2026-10-30: add by m2/v0.4.12
RYCN08TAMM RYCN08TAMM
| URI | m2://inv/RYCN08TAMM |
|---|---|
| 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.30203#MZNB (statement)
History
- 2026-11-01: add by m2/v0.6.15
RYCWYE3SWT RYCWYE3SWT
| URI | m2://inv/RYCWYE3SWT |
|---|---|
| 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.36309#6RP3 (statement). In FAJ10EJMYE/e1, lemma 8
History
- 2026-10-30: add by m2/v0.4.12
twin prime RYCY0QF45R
| URI | m2://inv/RYCY0QF45R |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q110863, twin prime (unknown). Also MathWorld TwinPrimes
- wikipedia: Wikipedia Twin prime, Twin prime (conjecture). Also Wikidata Q110863
History
- 2026-10-26: add by m2/dev
RYCZF7Z4DR RYCZF7Z4DR
| URI | m2://inv/RYCZF7Z4DR |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27420#FDNM (definition)
History
- 2026-11-01: add by m2/v0.6.15
Properties RYD1YR65AW
| URI | m2://inv/RYD1YR65AW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Complex logarithm#LZ5L, Properties (statement)
History
- 2026-11-02: add by m2/dev
Thomas Galloway RYD57PSMAK
| URI | m2://inv/RYD57PSMAK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thomas Galloway, Thomas Galloway (topic). Also Wikidata Q7789909
History
- 2026-11-02: add by m2/dev
RYD7N11MK7 RYD7N11MK7
| URI | m2://inv/RYD7N11MK7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39293#7J3C (statement). In S26QVW5613/e1, theorem 4.9.4
History
- 2026-10-30: add by m2/v0.4.12
Principle RYD8NKK2SN
| URI | m2://inv/RYD8NKK2SN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Siegel–Tukey test#YC11, Principle (statement)
History
- 2026-11-02: add by m2/dev
Sand table RYDN5X875T
| URI | m2://inv/RYDN5X875T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sand table, Sand table (definition). Also Wikidata Q2220841
History
- 2026-11-02: add by m2/dev
RYDNQQPTS2 RYDNQQPTS2
| URI | m2://inv/RYDNQQPTS2 |
|---|---|
| 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.26896#PVJO (statement)
History
- 2026-11-01: add by m2/v0.6.15
Upper-bound density RYDRB7FX6V
| URI | m2://inv/RYDRB7FX6V |
|---|---|
| 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.21781#KY0H, Upper-bound density (statement). In FEQ72D1AX6/e1, proposition 5.1
History
- 2026-10-27: add by m2/v0.4.2
RYDSCJJ59R RYDSCJJ59R
| URI | m2://inv/RYDSCJJ59R |
|---|---|
| Kind | definition |
| 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.21921#5LZO (definition). In CM2YEK9T4F/e1, definition 5.6
History
- 2026-10-27: add by m2/v0.4.2
Plane table RYDYWGYFX9
| URI | m2://inv/RYDYWGYFX9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Plane table, Plane table (definition). Also Wikidata Q633685
History
- 2026-11-02: add by m2/dev
RYE0NZ3WK2 RYE0NZ3WK2
| URI | m2://inv/RYE0NZ3WK2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13475#OTA9 (statement). In P5SQ4CMX42/e1, lemma 3
History
- 2026-10-28: add by m2/v0.4.2
RYE6Y9KPTQ RYE6Y9KPTQ
| URI | m2://inv/RYE6Y9KPTQ |
|---|---|
| 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.04675#8UBL (statement). In RDXNFF2CZP/e1, theorem 17
History
- 2026-10-29: add by m2/v0.4.12
RYE91EQEAB RYE91EQEAB
| URI | m2://inv/RYE91EQEAB |
|---|---|
| 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#SBOW (statement). In ZHTGQT07PE/e1, lemma 4.13
History
- 2026-10-28: add by m2/v0.4.2
RYEMF5DEET RYEMF5DEET
| URI | m2://inv/RYEMF5DEET |
|---|---|
| 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 2007.14459#FCME (statement). In SGQ7VFEZ22/e1, proposition 2.5
History
- 2026-10-27: add by m2/v0.3.5
RYER0ACNPS RYER0ACNPS
| URI | m2://inv/RYER0ACNPS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17267#6542 (statement). In 5VWB4A47R5/e1, theorem 6.5
History
- 2026-10-28: add by m2/v0.4.2
Dirichlet's test RYESB99C4Q
| URI | m2://inv/RYESB99C4Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Peter Gustav Lejeune Dirichlet#G1WN, Dirichlet's test (definition)
History
- 2026-11-02: add by m2/dev
RYEVKCCY0H RYEVKCCY0H
| URI | m2://inv/RYEVKCCY0H |
|---|---|
| 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 2208.05288#99DJ (statement). In RTW3GDYPND/e1, theorem 1.2
History
- 2026-10-27: add by m2/v0.4.0
univalence axiom RYEXBRD50B
| URI | m2://inv/RYEXBRD50B |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/u1/univalence-axiom, univalence axiom (concept). In N54F33XE07, index, section u1
History
- 2026-11-01: add by m2/v0.6.13
Richard Lyons RYEZNS9HDN
| URI | m2://inv/RYEZNS9HDN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Richard Lyons (mathematician), Richard Lyons (topic). Also Wikidata Q117597
History
- 2026-11-02: add by m2/dev
RYF4EEPYZV RYF4EEPYZV
| URI | m2://inv/RYF4EEPYZV |
|---|---|
| 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#YF89 (example). In 1KSE33PVS6/e1, example 80
History
- 2026-10-30: add by m2/v0.4.12
Projective set RYF6ACWTGS
| URI | m2://inv/RYF6ACWTGS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of properties of sets of reals#2ZGH, Projective set (definition)
- wikipedia: Wikipedia List of types of sets#KMZV, Projective set (definition)
History
- 2026-11-02: add by m2/dev
RYFAC8DJ0X RYFAC8DJ0X
| URI | m2://inv/RYFAC8DJ0X |
|---|---|
| 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.27911#TZ1Z (statement)
History
- 2026-11-01: add by m2/v0.6.15
Eisenstein series RYFE1DYAM6
| URI | m2://inv/RYFE1DYAM6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of long mathematical proofs#RDVS, Eisenstein series (definition)
History
- 2026-11-02: add by m2/dev
RYFNE8FKJ4 RYFNE8FKJ4
| URI | m2://inv/RYFNE8FKJ4 |
|---|---|
| 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.03011#JE45 (statement). In VE8FB6K8EN/e1, proposition 3
History
- 2026-10-29: add by m2/v0.4.12
Application RYFVAX3E83
| URI | m2://inv/RYFVAX3E83 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Set inversion#3PPS, Application (example)
History
- 2026-11-02: add by m2/dev
RYFWJV1DXD RYFWJV1DXD
| URI | m2://inv/RYFWJV1DXD |
|---|---|
| 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.31289#6MUE (statement). In CPDM7J0CC0/e1, corollary 5.4
History
- 2026-10-31: add by m2/v0.5.6
Erich Leo Lehmann RYFZ3MCDJG
| URI | m2://inv/RYFZ3MCDJG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Erich Leo Lehmann, Erich Leo Lehmann (topic). Also Wikidata Q3731610
History
- 2026-11-02: add by m2/dev
∉ RYG2WZ06TV
| URI | m2://inv/RYG2WZ06TV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of mathematical symbols#2M6O, ∉ (definition)
History
- 2026-11-02: add by m2/dev
abuse, of language RYGE7HV26Y
| URI | m2://inv/RYGE7HV26Y |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/9.10/abuse-of-language, abuse, of language (concept). In N54F33XE07, index, section 9.10
History
- 2026-11-01: add by m2/v0.6.13
Applications RYGHECPGS7
| URI | m2://inv/RYGHECPGS7 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lincoln index#X4EU, Applications (example)
History
- 2026-11-02: add by m2/dev
Thin set (Serre) RYGHSRVJVM
| URI | m2://inv/RYGHSRVJVM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of exceptional set concepts#J11I, Thin set (Serre) (definition)
History
- 2026-11-02: add by m2/dev
RYGQCG92KP RYGQCG92KP
| URI | m2://inv/RYGQCG92KP |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2205.15106#8RXM (definition). In N3ZQJ2G8SS/e1, definition 2.1
History
- 2026-10-27: add by m2/v0.3.5
RYGR0XDGCS RYGR0XDGCS
| URI | m2://inv/RYGR0XDGCS |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2405.14678#MJIE (example). In 9ZSNSJRJ5N/e1, example 27
History
- 2026-10-27: add by m2/v0.4.2
RYGVC04ZS3 RYGVC04ZS3
| URI | m2://inv/RYGVC04ZS3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28365#QX6F (statement)
History
- 2026-11-01: add by m2/v0.6.15
RYGX68DN80 RYGX68DN80
| URI | m2://inv/RYGX68DN80 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18061#1F7A (statement). In Y8A35AV31M/e1, proposition 3.3
History
- 2026-10-28: add by m2/v0.4.2
Properties RYHEGY6KTD
| URI | m2://inv/RYHEGY6KTD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Locally convex vector lattice#M954, Properties (statement)
History
- 2026-11-02: add by m2/dev
Stephen Stigler RYHP1PNQ9C
| URI | m2://inv/RYHP1PNQ9C |
|---|---|
| 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#4DD4, Stephen Stigler (topic)
History
- 2026-11-02: add by m2/dev
Posterior probability RYHP3VGVZW
| URI | m2://inv/RYHP3VGVZW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#0MY2, Posterior probability (definition)
- wikipedia: Wikipedia List of probability topics#LFFW, Posterior probability (definition)
History
- 2026-11-02: add by m2/dev
Maxwell–Boltzmann distribution RYHXT8FYXX
| URI | m2://inv/RYHXT8FYXX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q634965, Maxwell–Boltzmann distribution (unknown). Also MathWorld MaxwellDistribution
- wikipedia: Wikipedia Maxwell–Boltzmann distribution, Maxwell–Boltzmann distribution (definition). Also Wikidata Q634965
History
- 2026-10-26: add by m2/dev
Zinbiel algebra RYHY3FM5VP
| URI | m2://inv/RYHY3FM5VP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebras#7PK9, Zinbiel algebra (definition)
History
- 2026-11-02: add by m2/dev
Valid sequences RYHZFC21TB
| URI | m2://inv/RYHZFC21TB |
|---|---|
| Kind | definition |
| 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.25188#IMTP, Valid sequences (definition)
History
- 2026-11-01: add by m2/v0.6.15
Hessian RYJ1X6HZMZ
| URI | m2://inv/RYJ1X6HZMZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#IY9J, Hessian (definition)
History
- 2026-11-02: add by m2/dev
Multiplication table RYJ6F5QE6T
| URI | m2://inv/RYJ6F5QE6T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#WE9E, Multiplication table (definition)
History
- 2026-11-02: add by m2/dev
Suzuki sporadic group RYJ8MXRNQ9
| URI | m2://inv/RYJ8MXRNQ9 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Suzuki sporadic group, Suzuki sporadic group (object). Also Wikidata Q7651371
History
- 2026-11-02: add by m2/dev
Schur functor RYJBXYH8RC
| URI | m2://inv/RYJBXYH8RC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7433033, Schur functor (unknown). Also MathWorld SchurFunctor, nLab Schur functor
- wikipedia: Wikipedia Schur functor, Schur functor (definition). Also Wikidata Q7433033
History
- 2026-10-26: add by m2/dev
Random generalized Lotka–Volterra model RYJFCX49Q8
| URI | m2://inv/RYJFCX49Q8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Random generalized Lotka–Volterra model, Random generalized Lotka–Volterra model (definition). Also Wikidata Q124853222
History
- 2026-11-02: add by m2/dev
RYJGG8CRG2 RYJGG8CRG2
| URI | m2://inv/RYJGG8CRG2 |
|---|---|
| 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#VROE (statement)
History
- 2026-11-01: add by m2/v0.6.15
space group RYJGM5TBYH
| URI | m2://inv/RYJGM5TBYH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q899033, space group (unknown). Also MathWorld SpaceGroups
- wikipedia: Wikipedia Space group, Space group (definition). Also Wikidata Q899033
History
- 2026-10-26: add by m2/dev
Dependency relation RYJNK5TE6W
| URI | m2://inv/RYJNK5TE6W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dependency relation, Dependency relation (definition). Also Wikidata Q1169754
History
- 2026-11-02: add by m2/dev
Schoch line RYJRDRSJ8D
| URI | m2://inv/RYJRDRSJ8D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1878128, Schoch line (unknown). Also MathWorld SchochLine
- wikipedia: Wikipedia Schoch line, Schoch line (definition). Also Wikidata Q1878128
History
- 2026-10-26: add by m2/dev
Theano RYK8FXVJ2T
| URI | m2://inv/RYK8FXVJ2T |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Theano (philosopher), Theano (topic). Also Wikidata Q235426
History
- 2026-11-02: add by m2/dev
RYKBJ7B1S9 RYKBJ7B1S9
| URI | m2://inv/RYKBJ7B1S9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19455#2RLK (statement). In CBF6TQS4DW/e1, proposition 1.7
History
- 2026-10-28: add by m2/v0.4.2
RYKCESAB34 RYKCESAB34
| URI | m2://inv/RYKCESAB34 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 18-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 2609.20725#R0JI (definition)
History
- 2026-11-02: add by m2/v0.6.18
RYKCMMFGMA RYKCMMFGMA
| URI | m2://inv/RYKCMMFGMA |
|---|---|
| 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.02993#3A30 (statement). In TJH58FRGEN/e1, theorem 1.6
History
- 2026-10-29: add by m2/v0.4.12
Sourav Chatterjee RYKE4ZKYTV
| URI | m2://inv/RYKE4ZKYTV |
|---|---|
| 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#HY70, Sourav Chatterjee (topic)
History
- 2026-11-02: add by m2/dev
Conjecture 3 RYKGZA1YQ2
| URI | m2://inv/RYKGZA1YQ2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gil Kalai#FWO6, Conjecture 3 (statement)
History
- 2026-11-02: add by m2/dev
RYKJ8SRQ6V RYKJ8SRQ6V
| URI | m2://inv/RYKJ8SRQ6V |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26180#FVTT (example)
History
- 2026-11-01: add by m2/v0.6.15
Compound of five rhombicuboctahedra RYKMF69JK7
| URI | m2://inv/RYKMF69JK7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Compound of five rhombicuboctahedra, Compound of five rhombicuboctahedra (definition). Also Wikidata Q5156860
History
- 2026-11-02: add by m2/dev
RYKMKDMKEA RYKMKDMKEA
| URI | m2://inv/RYKMKDMKEA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16069#4QOK (statement). In MBJA03ES8N/e1, lemma 4.1
History
- 2026-10-28: add by m2/v0.4.2
RYKX83SN0J RYKX83SN0J
| URI | m2://inv/RYKX83SN0J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28774#C4KW (statement)
History
- 2026-11-01: add by m2/v0.6.15
RYM6X4KGSS RYM6X4KGSS
| URI | m2://inv/RYM6X4KGSS |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/cover-project.tex#ques-3 (exercise). In RZP28ERRZV, ques, section 97.3
History
- 2026-11-01: add by m2/v0.6.13
Waldspurger's theorem RYM7967Y0X
| URI | m2://inv/RYM7967Y0X |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Waldspurger's theorem, Waldspurger's theorem (statement). Also Wikidata Q7961649
History
- 2026-11-02: add by m2/dev
RYMC0XD9V5 RYMC0XD9V5
| URI | m2://inv/RYMC0XD9V5 |
|---|---|
| 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.32614#A37R (statement). In SG8GT73ZNH/e1, theorem 2.2
History
- 2026-10-31: add by m2/v0.5.6
Energy law RYMP72XZVH
| URI | m2://inv/RYMP72XZVH |
|---|---|
| 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.02714#8COO, Energy law (statement). In R9AXCJWK8F/e1, lemma 5
History
- 2026-10-29: add by m2/v0.4.12
RYMV6ARF0Q RYMV6ARF0Q
| URI | m2://inv/RYMV6ARF0Q |
|---|---|
| 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#GDFS (statement). In CGNVT4C47F/e1, theorem 2.3
History
- 2026-10-31: add by m2/v0.5.6
Difference of two squares RYN4757VMX
| URI | m2://inv/RYN4757VMX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Difference of two squares, Difference of two squares (definition). Also Wikidata Q1017274
History
- 2026-11-02: add by m2/dev
RYN4HVQV6E RYN4HVQV6E
| URI | m2://inv/RYN4HVQV6E |
|---|---|
| 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.21098#NR3V (statement)
History
- 2026-11-02: add by m2/v0.6.18
Amy Rowat RYND7V2YRX
| URI | m2://inv/RYND7V2YRX |
|---|---|
| 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#ATNF, Amy Rowat (unknown)
History
- 2026-11-02: add by m2/dev
Regression estimation RYNEZNR7WK
| URI | m2://inv/RYNEZNR7WK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#6SG6, Regression estimation (definition)
History
- 2026-11-02: add by m2/dev
RYNG3YKX62 RYNG3YKX62
| URI | m2://inv/RYNG3YKX62 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-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 2609.39254#ZRBF (statement). In A59MZ9H284/e1, theorem 2.7
History
- 2026-10-30: add by m2/v0.4.12
RYNK7EFEK4 RYNK7EFEK4
| URI | m2://inv/RYNK7EFEK4 |
|---|---|
| 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 2412.20001#XSFL (statement). In Y6YJSB93C3/e1, theorem 21
History
- 2026-10-27: add by m2/v0.3.5
Conjectures about gaps between primes RYNKVJ7EP1
| URI | m2://inv/RYNKVJ7EP1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Prime gap#MIC9, Conjectures about gaps between primes (statement)
History
- 2026-11-02: add by m2/dev
Fortunate number RYNPW1B6PD
| URI | m2://inv/RYNPW1B6PD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#6GDN, Fortunate number (definition)
History
- 2026-11-02: add by m2/dev
Q-series RYNV9Q90EM
| URI | m2://inv/RYNV9Q90EM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Q-Pochhammer symbol#P0CW, Q-series (unknown)
History
- 2026-11-02: add by m2/dev
Abel equation RYNWS3FD09
| URI | m2://inv/RYNWS3FD09 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Niels Henrik Abel#5TCL, Abel equation (definition)
History
- 2026-11-02: add by m2/dev
co-H-space RYP1GV33GX
| URI | m2://inv/RYP1GV33GX |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q124630682, co-H-space (concept). Also EoM Co-H-space, MathWorld Co-H-Space, nLab co-H-space
History
- 2026-10-26: add by m2/dev
RYP2N72MFT RYP2N72MFT
| URI | m2://inv/RYP2N72MFT |
|---|---|
| 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.00657#J15W (statement). In FF8A8FP4FB/e1, theorem 1
History
- 2026-10-30: add by m2/v0.4.12
RYP4EZ9D9M RYP4EZ9D9M
| URI | m2://inv/RYP4EZ9D9M |
|---|---|
| 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.19309#E81N (statement). In XKENQH35DW/e1, corollary 1.5
History
- 2026-10-28: add by m2/v0.4.2
RYP59NQ3PS RYP59NQ3PS
| URI | m2://inv/RYP59NQ3PS |
|---|---|
| Kind | definition |
| 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.36622#G29H (definition). In 9704QPRPR6/e1, definition 3.9
History
- 2026-10-30: add by m2/v0.4.12
Sergey Chesnokov RYP9J63E5J
| URI | m2://inv/RYP9J63E5J |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sergey Chesnokov, Sergey Chesnokov (topic). Also Wikidata Q4514873
History
- 2026-11-02: add by m2/dev
Pseudo-spectral method RYPBR2EPN9
| URI | m2://inv/RYPBR2EPN9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pseudo-spectral method, Pseudo-spectral method (definition). Also Wikidata Q7254447
History
- 2026-11-02: add by m2/dev
János Aczél RYPCBMDXA3
| URI | m2://inv/RYPCBMDXA3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#F5MR, János Aczél (topic)
History
- 2026-11-02: add by m2/dev
RYPCH84WAN RYPCH84WAN
| URI | m2://inv/RYPCH84WAN |
|---|---|
| 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.02295#3W62 (statement). In PEBD9ZMA1W/e1, proposition A.3
History
- 2026-10-29: add by m2/v0.4.12
Herbert Glejser RYPG8QM5HW
| URI | m2://inv/RYPG8QM5HW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Herbert Glejser, Herbert Glejser (topic). Also Wikidata Q116925794
History
- 2026-11-02: add by m2/dev
RYPJ5F6326 RYPJ5F6326
| URI | m2://inv/RYPJ5F6326 |
|---|---|
| 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.37201#A3UM (statement). In HJEK865J7W/e1, lemma 2.5
History
- 2026-10-30: add by m2/v0.4.12
Indian mathematics RYPJ84PW93
| URI | m2://inv/RYPJ84PW93 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Indian mathematics, Indian mathematics (definition). Also Wikidata Q1279571
History
- 2026-11-02: add by m2/dev
Generalized linear array model RYPJYPG7CZ
| URI | m2://inv/RYPJYPG7CZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#ZRVQ, Generalized linear array model (definition)
History
- 2026-11-02: add by m2/dev
Theorem RYPPVD4FFN
| URI | m2://inv/RYPPVD4FFN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Convergence group#A4PQ, Theorem (statement)
History
- 2026-11-02: add by m2/dev
RYPX2ZNHQS RYPX2ZNHQS
| URI | m2://inv/RYPX2ZNHQS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12188#Y622 (statement). In 52HWCGK5QJ/e1, theorem 4.5
History
- 2026-10-28: add by m2/v0.4.2
Sven-Göran Eriksson RYPZM97T8V
| URI | m2://inv/RYPZM97T8V |
|---|---|
| Kind | unknown |
| 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#ET76, Sven-Göran Eriksson (unknown)
History
- 2026-11-02: add by m2/dev
RYQ35RH2KH RYQ35RH2KH
| URI | m2://inv/RYQ35RH2KH |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/propositional-logic/syntax-and-semantics/completeness.tex#proof-3 (proof). In PKGMM3P5QY, proof, section 62.2
History
- 2026-11-01: add by m2/v0.6.13
RYQC6R0K9D RYQC6R0K9D
| URI | m2://inv/RYQC6R0K9D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX, 46-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12430#GT03 (statement). In VGKCBWQ65N/e1, lemma 5.1
History
- 2026-10-28: add by m2/v0.4.2
RYQNVRYVXB RYQNVRYVXB
| URI | m2://inv/RYQNVRYVXB |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 14-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 2409.01237#D8DR (example). In M9VHCG48HB/e1, example 6.4
History
- 2026-10-27: add by m2/v0.3.5
RYQPJA847V RYQPJA847V
| URI | m2://inv/RYQPJA847V |
|---|---|
| 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.32207#KHS1 (statement). In R94G9XD5AC/e1, corollary 1.3
History
- 2026-10-31: add by m2/v0.5.6
RYQQH4KF70 RYQQH4KF70
| URI | m2://inv/RYQQH4KF70 |
|---|---|
| Kind | problem |
| 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 2504.14383#8QF6 (problem). In QD0X3XJS6T/e1, problem 1.9
History
- 2026-10-27: add by m2/v0.3.5
RYQQXHT2H5 RYQQXHT2H5
| URI | m2://inv/RYQQXHT2H5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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 1802.02910#HL15 (statement). In AY2MA29921/e1, proposition 02
History
- 2026-10-27: add by m2/v0.3.5
trigonometry RYQT0H4A13
| URI | m2://inv/RYQT0H4A13 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q8084, trigonometry (topic). Also MathWorld Trigonometry, ProofWiki Definition:Trigonometry
- wikipedia: Wikipedia Trigonometry, Trigonometry (topic). Also Wikidata Q8084
History
- 2026-10-26: add by m2/dev
Mark Naimark RYQVMBQ6V7
| URI | m2://inv/RYQVMBQ6V7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Russian mathematicians#R6RH, Mark Naimark (unknown)
History
- 2026-11-02: add by m2/dev
RYQZ9GVTYK RYQZ9GVTYK
| URI | m2://inv/RYQZ9GVTYK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/galois.tex#definition-7 (definition). In RZP28ERRZV, definition, section 14.6
History
- 2026-11-01: add by m2/v0.6.13
RYR0N6EJSE RYR0N6EJSE
| URI | m2://inv/RYR0N6EJSE |
|---|---|
| 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.29925#XBP4 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Regression Analysis of Time Series RYR2BJXXT9
| URI | m2://inv/RYR2BJXXT9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistical software#9377, Regression Analysis of Time Series (definition)
History
- 2026-11-02: add by m2/dev
energy condition RYR4HTPD13
| URI | m2://inv/RYR4HTPD13 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q986455, energy condition (unknown). Also nLab energy condition
- wikipedia: Wikipedia Energy condition, Energy condition (definition). Also Wikidata Q986455
History
- 2026-10-26: add by m2/dev
RYR4RSGT5D RYR4RSGT5D
| URI | m2://inv/RYR4RSGT5D |
|---|---|
| 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.23941#VI6T (statement)
History
- 2026-11-02: add by m2/v0.6.17
statcoulomb RYRMRR277A
| URI | m2://inv/RYRMRR277A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q21131, statcoulomb (definition). Also ProofWiki Definition:Statcoulomb
History
- 2026-10-26: add by m2/dev
Preliminary comparison of the two centers RYRSXYKCNG
| URI | m2://inv/RYRSXYKCNG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20042#OLQW, Preliminary comparison of the two centers (statement)
History
- 2026-11-02: add by m2/v0.6.18
Vadim Rabinovich RYRSY083XW
| URI | m2://inv/RYRSY083XW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#7YLX, Vadim Rabinovich (unknown)
History
- 2026-11-02: add by m2/dev
Almost RYRTJYEQ48
| URI | m2://inv/RYRTJYEQ48 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Almost, Almost (definition). Also Wikidata Q840148
History
- 2026-11-02: add by m2/dev
RYRYH8DC3B RYRYH8DC3B
| URI | m2://inv/RYRYH8DC3B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02061#RZKZ (statement). In F5STMSPR6X/e1, proposition 4.14
History
- 2026-10-29: add by m2/v0.4.12
Properties RYS0ASA0PG
| URI | m2://inv/RYS0ASA0PG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Banach lattice#IQOY, Properties (statement)
History
- 2026-11-02: add by m2/dev
RYS8QJ8D3J RYS8QJ8D3J
| URI | m2://inv/RYS8QJ8D3J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 18-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 2406.13841#JT9R (statement). In AB2EMMXC7X/e1, lemma 5.3
History
- 2026-10-27: add by m2/v0.3.5
Nonlinear regression RYSE8Z1X6P
| URI | m2://inv/RYSE8Z1X6P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nonlinear regression, Nonlinear regression (definition). Also Wikidata Q2755024
History
- 2026-11-02: add by m2/dev
RYSHB45HC0 RYSHB45HC0
| URI | m2://inv/RYSHB45HC0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 57-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08638#MR6F (statement). In 113VZ5XX7J/e1, corollary 3
History
- 2026-10-29: add by m2/v0.4.10
Delayed onset muscle soreness RYT5M9P5CV
| URI | m2://inv/RYT5M9P5CV |
|---|---|
| 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#JWON, Delayed onset muscle soreness (unknown)
History
- 2026-11-02: add by m2/dev
Axiom of extensionality RYT91QH6SY
| URI | m2://inv/RYT91QH6SY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of axioms#AZDF, Axiom of extensionality (statement)
History
- 2026-11-02: add by m2/dev
RYTD9HY7NX RYTD9HY7NX
| URI | m2://inv/RYTD9HY7NX |
|---|---|
| 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.08935#K925 (statement). In G02N9D40B9/e1, theorem 5.2.2
History
- 2026-10-29: add by m2/v0.4.10
RYTH4S2SM4 RYTH4S2SM4
| URI | m2://inv/RYTH4S2SM4 |
|---|---|
| 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.14080#35BJ (statement). In 1DRD5FAJ4C/e1, proposition 4.1
History
- 2026-10-28: add by m2/v0.4.2
Lorenz equations RYTP7EDWP7
| URI | m2://inv/RYTP7EDWP7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of named differential equations#9YF6, Lorenz equations (definition)
History
- 2026-11-02: add by m2/dev
Halfway, South Lanarkshire RYTSQRDC6A
| URI | m2://inv/RYTSQRDC6A |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#COIU, Halfway, South Lanarkshire (unknown)
History
- 2026-11-02: add by m2/dev
Scholz conjecture RYTX8Q48WF
| URI | m2://inv/RYTX8Q48WF |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#NA4T, Scholz conjecture (conjecture)
History
- 2026-11-02: add by m2/dev
Submandibular triangle RYTYT3715D
| URI | m2://inv/RYTYT3715D |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of triangle topics#BEL2, Submandibular triangle (unknown)
History
- 2026-11-02: add by m2/dev
asymptotic sequence RYV5QJDP5T
| URI | m2://inv/RYV5QJDP5T |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q138568949, asymptotic sequence (unknown). Also EoM Asymptotic_sequence
History
- 2026-10-26: add by m2/dev
RYV6PNPVBM RYV6PNPVBM
| URI | m2://inv/RYV6PNPVBM |
|---|---|
| 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 2408.13548#K3R5 (statement). In EQF1ZQ5K1S/e1, lemma 2.2
History
- 2026-10-27: add by m2/v0.4.0
RYV75YPGSV RYV75YPGSV
| URI | m2://inv/RYV75YPGSV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37520#QFYC (statement). In BDN507RN7J/e1, proposition 4.3.3
History
- 2026-10-30: add by m2/v0.4.12
Simpson's paradox RYVQYHCJ8V
| URI | m2://inv/RYVQYHCJ8V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of probability and statistics#WI6K, Simpson's paradox (definition)
History
- 2026-11-02: add by m2/dev
RYVT1WBYK7 RYVT1WBYK7
| URI | m2://inv/RYVT1WBYK7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 57-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20558#PUXX (statement). In 46370P3Y9S/e1, lemma 2.13
History
- 2026-10-27: add by m2/v0.4.2
RYW67KQ3QG RYW67KQ3QG
| URI | m2://inv/RYW67KQ3QG |
|---|---|
| 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 2407.04161#3RR2 (statement). In JBZJ7NPQ4G/e1, proposition 6.11
History
- 2026-10-27: add by m2/v0.4.0
Perpendicular axis theorem RYW6AT2CN9
| URI | m2://inv/RYW6AT2CN9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Second moment of area#NF95, Perpendicular axis theorem (statement)
History
- 2026-11-02: add by m2/dev
Sphericity RYWEZN356Z
| URI | m2://inv/RYWEZN356Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sphericity (graph theory), Sphericity (definition). Also Wikidata Q117477578
History
- 2026-11-02: add by m2/dev
Nested width family RYWKB4QS6Q
| URI | m2://inv/RYWKB4QS6Q |
|---|---|
| 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.00453#VWHG, Nested width family (definition). In ESPJMBH2R2/e1, definition 3.2
History
- 2026-10-30: add by m2/v0.4.12
RYWV1D6NGC RYWV1D6NGC
| URI | m2://inv/RYWV1D6NGC |
|---|---|
| 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.27800#54AO (statement)
History
- 2026-11-01: add by m2/v0.6.15
Generic filter RYX298ZQVD
| URI | m2://inv/RYX298ZQVD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generic filter, Generic filter (definition). Also Wikidata Q5532675
History
- 2026-11-02: add by m2/dev
Huzita–Justin axioms RYX87W5ECM
| URI | m2://inv/RYX87W5ECM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathematics of paper folding#TEAN, Huzita–Justin axioms (statement)
History
- 2026-11-02: add by m2/dev
RYXBS9NTNZ RYXBS9NTNZ
| URI | m2://inv/RYXBS9NTNZ |
|---|---|
| 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 math/9802134#U3MM (statement). In 235B1J1ETB/e1, theorem 1.15
History
- 2026-10-27: add by m2/v0.3.5
Shinsei Ryū RYXC2BE0KR
| URI | m2://inv/RYXC2BE0KR |
|---|---|
| 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 Q20853613, Shinsei Ryū (unknown). Also nLab Shinsei Ryu
History
- 2026-10-26: add by m2/dev
RYXCGQKTWR RYXCGQKTWR
| URI | m2://inv/RYXCGQKTWR |
|---|---|
| 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 2404.06445#HC60 (statement). In 12JKZ8EN52/e1, lemma 8.21
History
- 2026-10-27: add by m2/v0.3.5
RYXDMEA04P RYXDMEA04P
| URI | m2://inv/RYXDMEA04P |
|---|---|
| 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.01273#06EX (statement). In RAT41DDR51/e1, theorem 4.1
History
- 2026-10-29: add by m2/v0.4.12
RYXMTBNCDH RYXMTBNCDH
| URI | m2://inv/RYXMTBNCDH |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book homotopy.tex#proof-28 (proof). In N54F33XE07, proof, section 7.6
History
- 2026-11-01: add by m2/v0.6.13
erotetic logic RYXN1QDBNR
| URI | m2://inv/RYXN1QDBNR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#0BG4, erotetic logic (definition)
History
- 2026-11-02: add by m2/dev
Affinity analysis RYXR043KD7
| URI | m2://inv/RYXR043KD7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Affinity analysis, Affinity analysis (definition). Also Wikidata Q727515
History
- 2026-11-02: add by m2/dev
slant product RYXSQT408W
| URI | m2://inv/RYXSQT408W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#8B9N, slant product (definition)
History
- 2026-11-02: add by m2/dev
RYY0E474NQ RYY0E474NQ
| URI | m2://inv/RYY0E474NQ |
|---|---|
| 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.04466#W9UC (statement). In EHW82CK883/e1, lemma 4.7
History
- 2026-10-29: add by m2/v0.4.12
RYY6JSNF1M RYY6JSNF1M
| URI | m2://inv/RYY6JSNF1M |
|---|---|
| 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.37897#JJWF (statement). In RBQ5FNCVNZ/e1, lemma 9.15
History
- 2026-10-30: add by m2/v0.4.12
RYYB30J2FY RYYB30J2FY
| URI | m2://inv/RYYB30J2FY |
|---|---|
| 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#G16T (statement)
History
- 2026-11-01: add by m2/v0.6.15
RYYBMQA9FE RYYBMQA9FE
| URI | m2://inv/RYYBMQA9FE |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-higher-order-ode.tex#exercise-13 (exercise). In E9HS8K3A52, exercise, section 6.2.1
History
- 2026-11-01: add by m2/v0.6.13
pie chart RYYC5Q7CBQ
| URI | m2://inv/RYYC5Q7CBQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of probability and statistics#ARD0, pie chart (definition)
History
- 2026-11-02: add by m2/dev
Basic properties RYYDF9XE87
| URI | m2://inv/RYYDF9XE87 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Variance#99TX, Basic properties (statement)
History
- 2026-11-02: add by m2/dev
Maximum cover time among contributing points RYYDNXHE70
| URI | m2://inv/RYYDNXHE70 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06372#AAW7, Maximum cover time among contributing points (definition). In G3E1P350Z6/e1, definition 7.16
History
- 2026-10-29: add by m2/v0.4.10
Characterizations RYYDRX49TK
| URI | m2://inv/RYYDRX49TK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Disphenoid#MQBY, Characterizations (statement)
History
- 2026-11-02: add by m2/dev
Claudia Malvenuto RYYWWVGYG4
| URI | m2://inv/RYYWWVGYG4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#SQBQ, Claudia Malvenuto (unknown)
History
- 2026-11-02: add by m2/dev
RYZ02R9KEN RYZ02R9KEN
| URI | m2://inv/RYZ02R9KEN |
|---|---|
| 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.02681#6ADW (statement). In 7BBJMB97N7/e1, lemma 2.1
History
- 2026-10-29: add by m2/v0.4.12
RYZ1G5T6JB RYZ1G5T6JB
| URI | m2://inv/RYZ1G5T6JB |
|---|---|
| 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 2601.13428#K60G (statement). In SM4QEDZSS6/e1, theorem 2
History
- 2026-10-27: add by m2/v0.3.5
Michael Plank RYZ1PY4VQM
| URI | m2://inv/RYZ1PY4VQM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Michael Plank, Michael Plank (topic). Also Wikidata Q47189723
History
- 2026-11-02: add by m2/dev
RYZ8M2CP65 RYZ8M2CP65
| URI | m2://inv/RYZ8M2CP65 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 53-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/9902147#GEV1 (statement). In 7CK21JGM5A/e1, lemma 4.9
History
- 2026-10-27: add by m2/v0.4.2
RYZD7ZR2BF RYZD7ZR2BF
| URI | m2://inv/RYZD7ZR2BF |
|---|---|
| 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 2105.03715#DCB2 (statement). In H3FWT3Z0J4/e1, lemma 4
History
- 2026-10-27: add by m2/v0.3.5
RYZF2J1H0T RYZF2J1H0T
| URI | m2://inv/RYZF2J1H0T |
|---|---|
| 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.14080#8017 (statement). In 1DRD5FAJ4C/e1, theorem 4.2
History
- 2026-10-28: add by m2/v0.4.2
Dual of a hypergraph RYZFNH9663
| URI | m2://inv/RYZFNH9663 |
|---|---|
| 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 2610.09810#YWOG, Dual of a hypergraph (definition). In B6PCH930FV/e1, definition 10
History
- 2026-10-29: add by m2/v0.4.10
Lattice approximation RYZMA6CESB
| URI | m2://inv/RYZMA6CESB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-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 2610.17815#2M0W, Lattice approximation (statement). In GJ7N2EWACX/e1, theorem 1.10
History
- 2026-10-28: add by m2/v0.4.2