Inventory rows RF
The cards of the rows of the inventory whose ids start with RF. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Word equation RF02Z9S5B8
| URI | m2://inv/RF02Z9S5B8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Word equation, Word equation (definition). Also Wikidata Q131320069
History
- 2026-11-02: add by m2/dev
RF0756NPPV RF0756NPPV
| URI | m2://inv/RF0756NPPV |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_strings_permutations.ptx#proof-1 (proof). In QKM9DD2H56, proof, section 2.2
History
- 2026-11-01: add by m2/v0.6.13
Relations on the supports RF08MG7VS3
| URI | m2://inv/RF08MG7VS3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06480#L5RY, Relations on the supports (statement). In 2Y47E704Z9/e1, lemma G.1
History
- 2026-10-29: add by m2/v0.4.10
Isadore Singer RF09NCH6T2
| URI | m2://inv/RF09NCH6T2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#9MTX, Isadore Singer (topic)
History
- 2026-11-02: add by m2/dev
first order theories RF09RE39TM
| URI | m2://inv/RF09RE39TM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#EY7Y, first order theories (definition)
History
- 2026-11-02: add by m2/dev
combinatory logic RF09T1AP0Q
| URI | m2://inv/RF09T1AP0Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| MSC | 03B40 |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1481571, combinatory logic (topic). Also EoM Combinatory_logic, MathWorld CombinatoryLogic, nLab combinatory logic
- wikipedia: Wikipedia Combinatory logic, Combinatory logic (definition). Also Wikidata Q1481571
History
- 2026-10-26: add by m2/dev
RF0KKCFXB9 RF0KKCFXB9
| URI | m2://inv/RF0KKCFXB9 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/addtops-genfun.ptx#exercise-13 (exercise). In Y91XFCEVHQ, exercise, section 6.1
History
- 2026-11-01: add by m2/v0.6.13
RF11YRPP13 RF11YRPP13
| URI | m2://inv/RF11YRPP13 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26479#2N6Z (definition)
History
- 2026-11-01: add by m2/v0.6.15
Observable subgroup RF15RVM3PM
| URI | m2://inv/RF15RVM3PM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Observable subgroup, Observable subgroup (definition). Also Wikidata Q7075421
History
- 2026-11-02: add by m2/dev
Robust Bogolyubov-Ruzsa lemma RF1BE814VJ
| URI | m2://inv/RF1BE814VJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33733#I5D9, Robust Bogolyubov-Ruzsa lemma (statement). In QBAP8C82FG/e1, theorem 8
History
- 2026-10-30: add by m2/v0.4.12
RF1GX8KYTH RF1GX8KYTH
| URI | m2://inv/RF1GX8KYTH |
|---|---|
| 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.12852#8548 (statement). In 1NRV3J17T7/e1, corollary 4.1
History
- 2026-10-28: add by m2/v0.4.2
RF1KMMD1AZ RF1KMMD1AZ
| URI | m2://inv/RF1KMMD1AZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 18-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.16541#E67O (statement). In D0XH7W96T3/e1, proposition 6.1
History
- 2026-10-28: add by m2/v0.4.2
Hilbert-Nagata theorem RF1VJJ02H7
| URI | m2://inv/RF1VJJ02H7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Invariant theory#7FQ1, Hilbert-Nagata theorem (statement)
History
- 2026-11-02: add by m2/dev
RF1W53387S RF1W53387S
| URI | m2://inv/RF1W53387S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-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.01473#G6JE (statement). In ABS9M47F4K/e1, lemma 3.22
History
- 2026-10-27: add by m2/v0.3.6
Rubik's Cube group RF1Y9DXZAK
| URI | m2://inv/RF1Y9DXZAK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3123152, Rubik's Cube group (unknown). Also MathWorld RubiksGroup
- wikipedia: Wikipedia Rubik's Cube group, Rubik's Cube group (definition). Also Wikidata Q3123152
History
- 2026-10-26: add by m2/dev
RF23H3XC8W RF23H3XC8W
| URI | m2://inv/RF23H3XC8W |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1509.00950#W0TM (proof). In MDZFW5GACV/e1, proof
History
- 2026-10-27: add by m2/v0.3.5
Matthew Foreman RF2BP3N9DK
| URI | m2://inv/RF2BP3N9DK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#470W, Matthew Foreman (topic)
History
- 2026-11-02: add by m2/dev
field of rational numbers RF2GECVTVW
| URI | m2://inv/RF2GECVTVW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6585992, field of rational numbers (definition). Also MathWorld FieldofRationals, ProofWiki Definition:Field_of_Rational_Numbers
History
- 2026-10-26: add by m2/dev
Special cases RF2J0Z57KK
| URI | m2://inv/RF2J0Z57KK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Envy-freeness up to any item#CAYN, Special cases (statement)
History
- 2026-11-02: add by m2/dev
RF2KGD2YQA RF2KGD2YQA
| URI | m2://inv/RF2KGD2YQA |
|---|---|
| Kind | definition |
| 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.13618#TR5Q (definition). In XDQAEGH345/e1, definition 1.1
History
- 2026-10-28: add by m2/v0.4.2
Hall–Littlewood polynomials RF3384YS29
| URI | m2://inv/RF3384YS29 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polynomial topics#6X0I, Hall–Littlewood polynomials (definition)
History
- 2026-11-02: add by m2/dev
Definition RF3Q3SGFS1
| URI | m2://inv/RF3Q3SGFS1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Normal form for free groups and free product of groups#HWRP, Definition (definition)
History
- 2026-11-02: add by m2/dev
RF3WKVPNV3 RF3WKVPNV3
| URI | m2://inv/RF3WKVPNV3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-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.27931#B9L9 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Kramers' law RF413T3X2G
| URI | m2://inv/RF413T3X2G |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kramers' law, Kramers' law (statement). Also Wikidata Q6436041
History
- 2026-11-02: add by m2/dev
RF42M09FSS RF42M09FSS
| URI | m2://inv/RF42M09FSS |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1408.1555#XX2L (proof). In S1F2QW24YW/e1, proof
History
- 2026-10-27: add by m2/v0.3.5
additive number theory RF44X0F07D
| URI | m2://inv/RF44X0F07D |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 11Pxx |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3526722, additive number theory (topic). Also EoM Additive_number_theory, MathWorld AdditiveNumberTheory
- wikipedia: Wikipedia Additive number theory, Additive number theory (topic). Also Wikidata Q3526722
History
- 2026-10-26: add by m2/dev
Statistical learning theory RF472P61QV
| URI | m2://inv/RF472P61QV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Statistical learning theory, Statistical learning theory (definition). Also Wikidata Q7604400
History
- 2026-11-02: add by m2/dev
Kähler differential RF4HKNB746
| URI | m2://inv/RF4HKNB746 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#KOYN, Kähler differential (definition)
History
- 2026-11-02: add by m2/dev
Stochastic tunneling RF4SAYHPWV
| URI | m2://inv/RF4SAYHPWV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#5BJ8, Stochastic tunneling (definition)
History
- 2026-11-02: add by m2/dev
Symmetry RF51C6NB5Q
| URI | m2://inv/RF51C6NB5Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cubic function#VR7Z, Symmetry (statement)
History
- 2026-11-02: add by m2/dev
Wilberd van der Kallen RF56WVQZ8Y
| URI | m2://inv/RF56WVQZ8Y |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wilberd van der Kallen, Wilberd van der Kallen (topic). Also Wikidata Q107425793
History
- 2026-11-02: add by m2/dev
RF58G1Q992 RF58G1Q992
| URI | m2://inv/RF58G1Q992 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20944#3O0Z (statement). In DRRKZR6CQC/e1, theorem 3
History
- 2026-10-27: add by m2/v0.4.2
Van Vleck's theorem RF5F5A1AZ8
| URI | m2://inv/RF5F5A1AZ8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Convergence problem#7QMJ, Van Vleck's theorem (statement)
History
- 2026-11-02: add by m2/dev
Erich Hüttenhain RF6449SXTT
| URI | m2://inv/RF6449SXTT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cryptographers#1JZC, Erich Hüttenhain (topic)
History
- 2026-11-02: add by m2/dev
RF64RYZMAT RF64RYZMAT
| URI | m2://inv/RF64RYZMAT |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35339#TONL (unknown). In JT998WJYJJ/e1, unknown 5
History
- 2026-10-30: add by m2/v0.4.12
Padovan sequence RF658ACP07
| URI | m2://inv/RF658ACP07 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of recreational number theory topics#YOF1, Padovan sequence (definition)
History
- 2026-11-02: add by m2/dev
RF6EX7KT3X RF6EX7KT3X
| URI | m2://inv/RF6EX7KT3X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08074#G7P5 (statement). In ZRPYF750AV/e1, corollary 3.19
History
- 2026-10-29: add by m2/v0.4.10
Definition RF6GS3XA09
| URI | m2://inv/RF6GS3XA09 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Solvable group#NJ3R, Definition (definition)
History
- 2026-11-02: add by m2/dev
Kundt spacetime RF6REVTAH3
| URI | m2://inv/RF6REVTAH3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kundt spacetime, Kundt spacetime (definition). Also Wikidata Q6444364
History
- 2026-11-02: add by m2/dev
Stanisław Saks RF713YZ2GB
| URI | m2://inv/RF713YZ2GB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stanisław Saks, Stanisław Saks (topic). Also Wikidata Q94014
History
- 2026-11-02: add by m2/dev
Frank Terpil RF7A8QQV87
| URI | m2://inv/RF7A8QQV87 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Frank Terpil, Frank Terpil (topic). Also Wikidata Q23022785
History
- 2026-11-02: add by m2/dev
Definitions RF7C5ASKAR
| URI | m2://inv/RF7C5ASKAR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Normal space#WWA8, Definitions (definition)
History
- 2026-11-02: add by m2/dev
RF7DRE6ZX0 RF7DRE6ZX0
| URI | m2://inv/RF7DRE6ZX0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07741#XX1X (statement). In K4YV2SF9MG/e1, proposition 4.2
History
- 2026-10-29: add by m2/v0.4.10
RF7EH6YWAE RF7EH6YWAE
| URI | m2://inv/RF7EH6YWAE |
|---|---|
| Kind | conjecture |
| 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.23975#4J7G (conjecture)
History
- 2026-11-02: add by m2/v0.6.17
type, coproduct RF7F320E45
| URI | m2://inv/RF7F320E45 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/4.2.6/type-coproduct, type, coproduct (concept). In N54F33XE07, index, section 4.2.6
History
- 2026-11-01: add by m2/v0.6.13
Henk Zijm RF7JG15DMY
| URI | m2://inv/RF7JG15DMY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Henk Zijm, Henk Zijm (topic). Also Wikidata Q2420134
History
- 2026-11-02: add by m2/dev
Properties RF7QZ7369Q
| URI | m2://inv/RF7QZ7369Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kervaire–Milnor group#FMO5, Properties (statement)
History
- 2026-11-02: add by m2/dev
Definition RF7WAXE7KV
| URI | m2://inv/RF7WAXE7KV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Meshedness coefficient#OPL8, Definition (definition)
History
- 2026-11-02: add by m2/dev
RF8B9NH5B0 RF8B9NH5B0
| URI | m2://inv/RF8B9NH5B0 |
|---|---|
| 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 2303.00676#QKF8 (statement). In 5351H04TJY/e1, lemma 4.5
History
- 2026-10-27: add by m2/v0.4.0
Definitions RF8KNZA6EX
| URI | m2://inv/RF8KNZA6EX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linkless embedding#GGM5, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Ridit scoring RF8QGGFHZT
| URI | m2://inv/RF8QGGFHZT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ridit scoring, Ridit scoring (definition). Also Wikidata Q7332995
History
- 2026-11-02: add by m2/dev
RF8W6C073F RF8W6C073F
| URI | m2://inv/RF8W6C073F |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/cats/categories.tex#exercise-3 (exercise). In RZP28ERRZV, exercise, section 36.4
History
- 2026-11-01: add by m2/v0.6.13
RF8WTZ7G9G RF8WTZ7G9G
| URI | m2://inv/RF8WTZ7G9G |
|---|---|
| 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 2506.16491#NO12 (statement). In P9J6P06Y40/e1, lemma 5.6
History
- 2026-10-27: add by m2/v0.3.5
Euler characteristic on a coordinate line RF8Z0F3VX6
| URI | m2://inv/RF8Z0F3VX6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-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.04099#WASI, Euler characteristic on a coordinate line (statement). In QPJ6FWG5HD/e1, theorem 2.87
History
- 2026-10-29: add by m2/v0.4.12
Universal Teichmüller space RF8ZBHGGXY
| URI | m2://inv/RF8ZBHGGXY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Universal Teichmüller space, Universal Teichmüller space (definition). Also Wikidata Q7894083
History
- 2026-11-02: add by m2/dev
Martina Zähle RF909HP4HQ
| URI | m2://inv/RF909HP4HQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Martina Zähle, Martina Zähle (topic). Also Wikidata Q97336311
History
- 2026-11-02: add by m2/dev
RF911JCQ6Y RF911JCQ6Y
| URI | m2://inv/RF911JCQ6Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 51-XX, 52-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.32953#WLQ4 (statement). In 7CG4NZSJSZ/e1, lemma 2
History
- 2026-10-31: add by m2/v0.5.6
8000 RF92WYCWSE
| URI | m2://inv/RF92WYCWSE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 8000 (number), 8000 (definition). Also Wikidata Q1142523
History
- 2026-11-02: add by m2/dev
Factorization RF94TM2A1H
| URI | m2://inv/RF94TM2A1H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21662#BWEW, Factorization (statement). In 25B3WHEKH2/e1, proposition 2.2
History
- 2026-10-27: add by m2/v0.4.2
Other propositions in the palimpsest RF95M34A27
| URI | m2://inv/RF95M34A27 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia The Method of Mechanical Theorems#EEOZ, Other propositions in the palimpsest (statement)
History
- 2026-11-02: add by m2/dev
Hans Petersson RF9B9Q8QEQ
| URI | m2://inv/RF9B9Q8QEQ |
|---|---|
| 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#F84J, Hans Petersson (topic)
- wikipedia: Wikipedia List of German mathematicians#4L25, Hans Petersson (topic)
History
- 2026-11-02: add by m2/dev
Generalizations RF9D7S97G0
| URI | m2://inv/RF9D7S97G0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euler's three-body problem#XZVX, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
RF9FFYX0J3 RF9FFYX0J3
| URI | m2://inv/RF9FFYX0J3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26357#DSQ8 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Ganley--Bierbrauer RF9RRVX0HC
| URI | m2://inv/RF9RRVX0HC |
|---|---|
| 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.32651#SVP5, Ganley--Bierbrauer (statement). In WFJXSE3VDT/e1, lemma 2.7
History
- 2026-10-31: add by m2/v0.5.6
Charles Loewner RF9YY49YMP
| URI | m2://inv/RF9YY49YMP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#MAT7, Charles Loewner (unknown)
History
- 2026-11-02: add by m2/dev
Social cognitive optimization RF9ZRKC3WQ
| URI | m2://inv/RF9ZRKC3WQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Social cognitive optimization, Social cognitive optimization (definition). Also Wikidata Q10443780
History
- 2026-11-02: add by m2/dev
Copenhagen interpretation RFA1BMSNEX
| URI | m2://inv/RFA1BMSNEX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical topics in quantum theory#51OI, Copenhagen interpretation (unknown)
History
- 2026-11-02: add by m2/dev
Spatial analysis RFA2ZJBQPZ
| URI | m2://inv/RFA2ZJBQPZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spatial analysis, Spatial analysis (definition). Also Wikidata Q1938983
History
- 2026-11-02: add by m2/dev
binary function RFA7SPP617
| URI | m2://inv/RFA7SPP617 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#YGWY, binary function (definition)
History
- 2026-11-02: add by m2/dev
Yang-Mills equations RFA7V0NXH3
| URI | m2://inv/RFA7V0NXH3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of named differential equations#16ME, Yang-Mills equations (definition)
History
- 2026-11-02: add by m2/dev
Equidimensionality RFA7YM2S87
| URI | m2://inv/RFA7YM2S87 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Equidimensionality, Equidimensionality (definition). Also Wikidata Q5384447
History
- 2026-11-02: add by m2/dev
RFADWP1KRA RFADWP1KRA
| URI | m2://inv/RFADWP1KRA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21260#G2K8 (statement). In Z7WW536KA5/e1, theorem 2.2
History
- 2026-10-27: add by m2/v0.4.2
Examples RFAHT9CVCJ
| URI | m2://inv/RFAHT9CVCJ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Metaplectic structure#IAVF, Examples (example)
History
- 2026-11-02: add by m2/dev
Frobenius formula RFAMQACDNF
| URI | m2://inv/RFAMQACDNF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Frobenius formula, Frobenius formula (statement). Also Wikidata Q55643041
History
- 2026-11-02: add by m2/dev
RFAQ1931MT RFAQ1931MT
| URI | m2://inv/RFAQ1931MT |
|---|---|
| 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 math/9602216#Q5PS (definition). In SD43497T8C/e1, definition 1.26
History
- 2026-10-27: add by m2/v0.3.5
Generated σ-algebra (by sets) RFAZ9B4NR2
| URI | m2://inv/RFAZ9B4NR2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Σ-algebra#KGH1, Generated σ-algebra (by sets) (unknown)
History
- 2026-11-02: add by m2/dev
RFBA9RTBR5 RFBA9RTBR5
| URI | m2://inv/RFBA9RTBR5 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 37-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19194#ORIO (definition). In P9D8W64P7X/e1, definition 2.7
History
- 2026-10-28: add by m2/v0.4.2
Simultaneous projected and marked images RFBAP1RAGP
| URI | m2://inv/RFBAP1RAGP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09472#8OJ2, Simultaneous projected and marked images (statement). In 35925M9GJW/e1, theorem 6
History
- 2026-10-29: add by m2/v0.4.10
RFBBPPP9EA RFBBPPP9EA
| URI | m2://inv/RFBBPPP9EA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/frame-definability/definability.tex#prop:D-serial (statement). In PKGMM3P5QY, cor, section 52.5
History
- 2026-11-01: add by m2/v0.6.13
RFBS5C90CH RFBS5C90CH
| URI | m2://inv/RFBS5C90CH |
|---|---|
| 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.01572#JH08 (statement). In 7BJK23Q7GH/e1, lemma 3.5
History
- 2026-10-29: add by m2/v0.4.12
pigeonhole principle RFC4P7M3X9
| URI | m2://inv/RFC4P7M3X9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Pigeonhole principle 0HGVCWQGY3 |
Mentions
- wikidata: Wikidata Q188276, pigeonhole principle (statement). Also MathWorld DirichletsBoxPrinciple, ProofWiki Dirichlet's_Box_Principle
- wikipedia: Wikipedia Pigeonhole principle, Pigeonhole principle (statement). Also Wikidata Q188276
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Tangent frame bundle RFCBMV56XE
| URI | m2://inv/RFCBMV56XE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Frame bundle#FHBN, Tangent frame bundle (unknown)
History
- 2026-11-02: add by m2/dev
Definition RFCKB814R0
| URI | m2://inv/RFCKB814R0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Harshad number#APVD, Definition (definition)
History
- 2026-11-02: add by m2/dev
Removing the prefactor by repetition RFCNR6CFR4
| URI | m2://inv/RFCNR6CFR4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26873#IUNH, Removing the prefactor by repetition (statement)
History
- 2026-11-01: add by m2/v0.6.15
RFCQBWH60P RFCQBWH60P
| URI | m2://inv/RFCQBWH60P |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07718#H7DX (example). In CEKW9CNVVW/e1, example 7.3
History
- 2026-10-29: add by m2/v0.4.10
Applications RFCT7442SZ
| URI | m2://inv/RFCT7442SZ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Källén function#YF4K, Applications (example)
History
- 2026-11-02: add by m2/dev
2017 Chilean census RFCWCZYSE3
| URI | m2://inv/RFCWCZYSE3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 2017 Chilean census, 2017 Chilean census (definition). Also Wikidata Q21001879
History
- 2026-11-02: add by m2/dev
The peel and a modulus RFD0YS7DMC
| URI | m2://inv/RFD0YS7DMC |
|---|---|
| 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.26196#EVOM, The peel and a modulus (statement)
History
- 2026-11-01: add by m2/v0.6.15
() RFD4BQ7EQA
| URI | m2://inv/RFD4BQ7EQA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#2CM8, () (definition)
History
- 2026-11-02: add by m2/dev
RFDAPAEXCM RFDAPAEXCM
| URI | m2://inv/RFDAPAEXCM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/structure.tex#lemma-2 (statement). In RZP28ERRZV, lemma, section 6.5
History
- 2026-11-01: add by m2/v0.6.13
Centre for Mathematical Sciences RFDBCEZ1JG
| URI | m2://inv/RFDBCEZ1JG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Centre for Mathematical Sciences (Kerala), Centre for Mathematical Sciences (definition). Also Wikidata Q5062509
History
- 2026-11-02: add by m2/dev
Meaning RFDKX1Z6BW
| URI | m2://inv/RFDKX1Z6BW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Meaning (philosophy), Meaning (definition). Also Wikidata Q16877777
History
- 2026-11-02: add by m2/dev
Khayyam, Omar RFDM1NX5KM
| URI | m2://inv/RFDM1NX5KM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Iranian mathematicians#S37P, Khayyam, Omar (topic)
History
- 2026-11-02: add by m2/dev
RFDWE86CYH RFDWE86CYH
| URI | m2://inv/RFDWE86CYH |
|---|---|
| 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 2504.01057#3D2G (statement). In 69QFBXJENW/e1, theorem 2.26
History
- 2026-10-27: add by m2/v0.3.5
Artificial general intelligence RFDX9CJAZX
| URI | m2://inv/RFDX9CJAZX |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Artificial general intelligence, Artificial general intelligence (conjecture). Also Wikidata Q2264109
History
- 2026-11-02: add by m2/dev
Challenging RFE057V0W3
| URI | m2://inv/RFE057V0W3 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-riemann.tex#exercise-10, Challenging (exercise). In E59CDZA4DP, exercise, section 8.1.4
History
- 2026-11-01: add by m2/v0.6.13
RFE1AA6956 RFE1AA6956
| URI | m2://inv/RFE1AA6956 |
|---|---|
| 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.05216#ULJF (statement). In J1VCHM6V0S/e1, proposition 3.2
History
- 2026-10-29: add by m2/v0.4.10
RFE3JJ1GT3 RFE3JJ1GT3
| URI | m2://inv/RFE3JJ1GT3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15434#WBI8 (statement). In PWF23QSGDX/e1, corollary 5.6
History
- 2026-10-28: add by m2/v0.4.2
Generalizations RFE3Y3B7F6
| URI | m2://inv/RFE3Y3B7F6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Banach–Stone theorem#MKFL, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Odd level RFEBKT9RM5
| URI | m2://inv/RFEBKT9RM5 |
|---|---|
| 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.40207#7F80, Odd level (statement). In JXTG8KP95P/e1, corollary 5.25
History
- 2026-10-30: add by m2/v0.4.12
Xu Zhang RFECVM5W07
| URI | m2://inv/RFECVM5W07 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#H9M8, Xu Zhang (unknown)
History
- 2026-11-02: add by m2/dev
RFEQT6C31N RFEQT6C31N
| URI | m2://inv/RFEQT6C31N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06440#BI8E (statement). In 5YB65RB13X/e1, lemma 3.1
History
- 2026-10-29: add by m2/v0.4.10
Evidence for the first law of thermodynamics for closed systems RFF2X759J6
| URI | m2://inv/RFF2X759J6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia First law of thermodynamics#5MGB, Evidence for the first law of thermodynamics for closed systems (statement)
History
- 2026-11-02: add by m2/dev
RFF68F7W59 RFF68F7W59
| URI | m2://inv/RFF68F7W59 |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2201.10697#FLIE (conjecture). In WN2Z20ZV49/e1, conjecture
History
- 2026-10-27: add by m2/v0.3.6
RFFCQJ99S7 RFFCQJ99S7
| URI | m2://inv/RFFCQJ99S7 |
|---|---|
| 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.20495#WQUD (statement)
History
- 2026-11-02: add by m2/v0.6.18
comparison theorem RFFD0WND4S
| URI | m2://inv/RFFD0WND4S |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5156040, comparison theorem (statement). Also nLab comparison theorem
- wikipedia: Wikipedia Comparison theorem, Comparison theorem (statement). Also Wikidata Q5156040
History
- 2026-10-26: add by m2/dev
subgraph RFFDQPWZB2
| URI | m2://inv/RFFDQPWZB2 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi index/5.1/subgraph, subgraph (concept). In Y91XFCEVHQ, index, section 5.1
History
- 2026-11-01: add by m2/v0.6.13
Efficient generative modeling of ResNet pushforwards RFFN4D1ZDX
| URI | m2://inv/RFFN4D1ZDX |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10875#TGHQ, Efficient generative modeling of ResNet pushforwards (problem). In N91F15MHW1/e1, problem 2
History
- 2026-10-28: add by m2/v0.4.3
List of state functions RFFRCP8TFM
| URI | m2://inv/RFFRCP8TFM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia State function#QYFT, List of state functions (unknown)
History
- 2026-11-02: add by m2/dev
RFFRVBZE5H RFFRVBZE5H
| URI | m2://inv/RFFRVBZE5H |
|---|---|
| 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.07451#2XTX (statement). In P7KT88N75Q/e1, theorem 3.6
History
- 2026-10-29: add by m2/v0.4.10
Quasi-stability RFFZM5MW72
| URI | m2://inv/RFFZM5MW72 |
|---|---|
| Kind | definition |
| 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.11027#8X9C, Quasi-stability (definition). In 2BBW80EX78/e1, definition 2.3
History
- 2026-10-28: add by m2/v0.4.3
Empirical MoM-CVaR RFG44DFJZQ
| URI | m2://inv/RFG44DFJZQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15974#LDDP, Empirical MoM-CVaR (statement). In 61ZHQ7BTKP/e1, theorem 5.4
History
- 2026-10-28: add by m2/v0.4.2
reflexive RFG4TEPGYY
| URI | m2://inv/RFG4TEPGYY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#Q08N, reflexive (definition)
History
- 2026-11-02: add by m2/dev
RFGBWJDWFN RFGBWJDWFN
| URI | m2://inv/RFGBWJDWFN |
|---|---|
| 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 2506.16491#B7LX (statement). In P9J6P06Y40/e1, lemma 6.9
History
- 2026-10-27: add by m2/v0.3.5
RFGHFP8ET7 RFGHFP8ET7
| URI | m2://inv/RFGHFP8ET7 |
|---|---|
| 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.34168#DYX1 (statement). In 30YQV8N04M/e1, theorem 3.1
History
- 2026-10-30: add by m2/v0.4.12
Examples RFGZKBRWF3
| URI | m2://inv/RFGZKBRWF3 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Semigroup action#HDBO, Examples (example)
History
- 2026-11-02: add by m2/dev
Sema Salur RFH914W184
| URI | m2://inv/RFH914W184 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sema Salur, Sema Salur (topic). Also Wikidata Q73493198
History
- 2026-11-02: add by m2/dev
RFHA99MMX0 RFHA99MMX0
| URI | m2://inv/RFHA99MMX0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2406.07116#QOMR (statement). In 5B030CB2RK/e1, lemma 11.2
History
- 2026-10-27: add by m2/v0.3.6
Definitions RFHD3AYK1E
| URI | m2://inv/RFHD3AYK1E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mutation (Jordan algebra)#K08I, Definitions (definition)
History
- 2026-11-02: add by m2/dev
John Canny RFHF2J9MJD
| URI | m2://inv/RFHF2J9MJD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#SADH, John Canny (unknown)
History
- 2026-11-02: add by m2/dev
limited principle of omniscience RFHG34PS1V
| URI | m2://inv/RFHG34PS1V |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/B.6/limited-principle-of-omniscience, limited principle of omniscience (concept). In N54F33XE07, index, section B.6
History
- 2026-11-01: add by m2/v0.6.13
A Euclidean null slit remains invisible RFHM0N567P
| URI | m2://inv/RFHM0N567P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20215#L70Y, A Euclidean null slit remains invisible (statement)
History
- 2026-11-02: add by m2/v0.6.18
Examples RFHT8AZFJP
| URI | m2://inv/RFHT8AZFJP |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Topology optimization#0O9E, Examples (example)
History
- 2026-11-02: add by m2/dev
Kroneckerian field RFHV86H8G0
| URI | m2://inv/RFHV86H8G0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of field theory#83O3, Kroneckerian field (definition)
History
- 2026-11-02: add by m2/dev
Notation RFHZCWVSZV
| URI | m2://inv/RFHZCWVSZV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Decoding methods#9CMS, Notation (definition)
History
- 2026-11-02: add by m2/dev
RFJ3MPK41C RFJ3MPK41C
| URI | m2://inv/RFJ3MPK41C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2310.15716#CC5I (statement). In 7WDA4MEWE2/e1, proposition 3.2
History
- 2026-10-27: add by m2/v0.3.6
Construction RFJ4Q43WY5
| URI | m2://inv/RFJ4Q43WY5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Phylogenetic tree#M71F, Construction (definition)
History
- 2026-11-02: add by m2/dev
Flatness RFJ5MYE7PZ
| URI | m2://inv/RFJ5MYE7PZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Flatness (systems theory), Flatness (definition). Also Wikidata Q1426175
History
- 2026-11-02: add by m2/dev
Theorem (Accuracy) RFJ76ZAS8C
| URI | m2://inv/RFJ76ZAS8C |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exponential mechanism#KXZ0, Theorem (Accuracy) (statement)
History
- 2026-11-02: add by m2/dev
RFJ8CP256G RFJ8CP256G
| URI | m2://inv/RFJ8CP256G |
|---|---|
| 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 2610.18544#MUSU (statement). In HT5MC1SPD9/e1, lemma A.8
History
- 2026-10-28: add by m2/v0.4.2
Illusory superiority RFJANWTXGQ
| URI | m2://inv/RFJANWTXGQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cognitive biases#XXEO, Illusory superiority (unknown)
History
- 2026-11-02: add by m2/dev
Properties RFJDV36J0P
| URI | m2://inv/RFJDV36J0P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cohen–Daubechies–Feauveau wavelet#IU9I, Properties (statement)
History
- 2026-11-02: add by m2/dev
RFJNG47728 RFJNG47728
| URI | m2://inv/RFJNG47728 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 16-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2210.17066#9BB0 (example). In X2AEJAQEP8/e1, example 3.9
History
- 2026-10-27: add by m2/v0.3.5
RFJX6DSQ7D RFJX6DSQ7D
| URI | m2://inv/RFJX6DSQ7D |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/quotient.tex#problem-5 (exercise). In RZP28ERRZV, problem, section 3.6
History
- 2026-11-01: add by m2/v0.6.13
The fractional-moment formula for the Sherrington--Kirkpatrick model RFJX9FW5HW
| URI | m2://inv/RFJX9FW5HW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06480#B2C7, The fractional-moment formula for the Sherrington--Kirkpatrick model (statement). In 2Y47E704Z9/e1, lemma B.4
History
- 2026-10-29: add by m2/v0.4.10
Virginia Vassilevska Williams RFKCH63RF8
| URI | m2://inv/RFKCH63RF8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Virginia Vassilevska Williams, Virginia Vassilevska Williams (topic). Also Wikidata Q39609668
History
- 2026-11-02: add by m2/dev
RFKEDJCPVT RFKEDJCPVT
| URI | m2://inv/RFKEDJCPVT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-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 2607.00146#RFTH (statement). In 6KR7Z5ETRY/e1, lemma 2.14
History
- 2026-10-27: add by m2/v0.3.5
RFKEV0RZ7P RFKEV0RZ7P
| URI | m2://inv/RFKEV0RZ7P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2110.11143#Q884 (statement). In VTVC0TCWSB/e1, theorem 4.7
History
- 2026-10-27: add by m2/v0.3.5
RFKF9HKGZH RFKF9HKGZH
| URI | m2://inv/RFKF9HKGZH |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09949#909Z (example). In VGJVFCDV8A/e1, example 2.12
History
- 2026-10-29: add by m2/v0.4.10
RFKFKH7YXB RFKFKH7YXB
| URI | m2://inv/RFKFKH7YXB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17677#MLDR (statement). In 5E9G06XJKC/e1, lemma F.28
History
- 2026-10-28: add by m2/v0.4.2
RFKKHK256V RFKKHK256V
| URI | m2://inv/RFKKHK256V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27518#JJMK (statement)
History
- 2026-11-01: add by m2/v0.6.15
RFKKW3G39M RFKKW3G39M
| URI | m2://inv/RFKKW3G39M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38188#HOCU (statement). In 7615KVXDB5/e1, lemma 2.8
History
- 2026-10-30: add by m2/v0.4.12
Law RFKR05P40B
| URI | m2://inv/RFKR05P40B |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Relevance#T3X1, Law (statement)
History
- 2026-11-02: add by m2/dev
RFKVGW4EJ6 RFKVGW4EJ6
| URI | m2://inv/RFKVGW4EJ6 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21622#CDXL (example). In H21X3FHNYJ/e1, example 6.9
History
- 2026-10-27: add by m2/v0.4.2
Applications RFM3R56GJX
| URI | m2://inv/RFM3R56GJX |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Idempotent matrix#FH0I, Applications (example)
History
- 2026-11-02: add by m2/dev
\bf Diagonalization at order $2$ RFM5Q5Y4A9
| URI | m2://inv/RFM5Q5Y4A9 |
|---|---|
| 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.37593#Q8PC, \bf Diagonalization at order $2$ (statement). In YTF96VHKAH/e1, proposition 5.7
History
- 2026-10-30: add by m2/v0.4.12
Eric Charles Milner RFM84C8GJP
| URI | m2://inv/RFM84C8GJP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#PEY5, Eric Charles Milner (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#0T46, Eric Charles Milner (topic)
History
- 2026-11-02: add by m2/dev
Times Tables Rock Stars RFMAFN2AFE
| URI | m2://inv/RFMAFN2AFE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Times Tables Rock Stars, Times Tables Rock Stars (definition). Also Wikidata Q138004240
History
- 2026-11-02: add by m2/dev
Applications of statistical classification RFMCK711XZ
| URI | m2://inv/RFMCK711XZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Statistical classification#64FO, Applications of statistical classification (unknown)
History
- 2026-11-02: add by m2/dev
Basic properties of $\dot\cV^{q,p}$ and $\cV^{q,p}$ RFMMVT8HYM
| URI | m2://inv/RFMMVT8HYM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29712#4G73, Basic properties of $\dot\cV^{q,p}$ and $\cV^{q,p}$ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Eduard Čech RFMN1HYF11
| URI | m2://inv/RFMN1HYF11 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematicians born in the 19th century#Z4GX, Eduard Čech (topic)
History
- 2026-11-02: add by m2/dev
Filtered linear transfer under \textup{(G4 RFMXPRPFPC
| URI | m2://inv/RFMXPRPFPC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27799#E01D, Filtered linear transfer under \textup{(G4 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Solomon Feferman RFMXS0E6RM
| URI | m2://inv/RFMXS0E6RM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#C8DZ, Solomon Feferman (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#NPZ1, Solomon Feferman (topic)
History
- 2026-11-02: add by m2/dev
twin prime RFMXS2SHG0
| URI | m2://inv/RFMXS2SHG0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of number theory#MUHQ, twin prime (definition)
History
- 2026-11-02: add by m2/dev
A gr-simple extension with an intrinsic twist RFMY3K3XSA
| URI | m2://inv/RFMY3K3XSA |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38131#ZWW8, A gr-simple extension with an intrinsic twist (example). In GM3S19KFDH/e1, example 3.13
History
- 2026-10-30: add by m2/v0.4.12
Fourier transform on finite groups RFMYFEEXP7
| URI | m2://inv/RFMYFEEXP7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fourier transform on finite groups, Fourier transform on finite groups (definition). Also Wikidata Q5475803
History
- 2026-11-02: add by m2/dev
RFN74ANHC8 RFN74ANHC8
| URI | m2://inv/RFN74ANHC8 |
|---|---|
| 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 2610.13877#WIOH (statement). In NBMA6DBKJG/e1, lemma 6.12
History
- 2026-10-28: add by m2/v0.4.2
additive functor RFNEDR1ACH
| URI | m2://inv/RFNEDR1ACH |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q353285, additive functor (concept). Also MathWorld AdditiveFunctor, nLab additive functor
History
- 2026-10-26: add by m2/dev
representing RFNGFFDAP7
| URI | m2://inv/RFNGFFDAP7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#0JLE, representing (definition)
History
- 2026-11-02: add by m2/dev
RFNJS4GWZG RFNJS4GWZG
| URI | m2://inv/RFNJS4GWZG |
|---|---|
| Kind | example |
| 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 2208.06310#Q990 (example). In 9YR0E0T9XA/e1, example 2.5
History
- 2026-10-27: add by m2/v0.3.5
Generalizations RFNM3VJV5P
| URI | m2://inv/RFNM3VJV5P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linear span#EKL7, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
SDP accuracy and computational complexity RFNM3Y9HJN
| URI | m2://inv/RFNM3Y9HJN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-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.00448#CGGO, SDP accuracy and computational complexity (statement). In N06J7GC05Q/e1, proposition A.1
History
- 2026-10-30: add by m2/v0.4.12
Definition RFNYNES5AJ
| URI | m2://inv/RFNYNES5AJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thermal contact conductance#YBMY, Definition (definition)
History
- 2026-11-02: add by m2/dev
Claude LeBrun RFNYTRKJSY
| URI | m2://inv/RFNYTRKJSY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Claude LeBrun, Claude LeBrun (topic). Also Wikidata Q5128926
History
- 2026-11-02: add by m2/dev
RFNZJG303N RFNZJG303N
| URI | m2://inv/RFNZJG303N |
|---|---|
| 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.00292#BCM5 (statement). In NX3EFW0D0X/e1, corollary 3.2
History
- 2026-10-30: add by m2/v0.4.12
RFPM6QGPJ0 RFPM6QGPJ0
| URI | m2://inv/RFPM6QGPJ0 |
|---|---|
| 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.38865#MC8H (statement). In TFZNHCE6EV/e1, lemma 3.3
History
- 2026-10-30: add by m2/v0.4.12
Katydid sequence RFPMHZ4NE4
| URI | m2://inv/RFPMHZ4NE4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6378559, Katydid sequence (object). Also OEIS A060031
- wikipedia: Wikipedia Katydid sequence, Katydid sequence (definition). Also Wikidata Q6378559
History
- 2026-10-26: add by m2/dev
RFPS06C6YS RFPS06C6YS
| URI | m2://inv/RFPS06C6YS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03763#TC5B (statement). In ARZ4X5PXXC/e1, proposition 5.1
History
- 2026-10-29: add by m2/v0.4.12
Properties RFQ0TFXQPE
| URI | m2://inv/RFQ0TFXQPE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Open and closed maps#KDXB, Properties (statement)
History
- 2026-11-02: add by m2/dev
William Kruskal RFQFNJ7AM4
| URI | m2://inv/RFQFNJ7AM4 |
|---|---|
| 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#CRUI, William Kruskal (topic)
History
- 2026-11-02: add by m2/dev
Open problems RFQY8REVER
| URI | m2://inv/RFQY8REVER |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exponential field#UWIC, Open problems (statement)
History
- 2026-11-02: add by m2/dev
Equivalent definitions RFR1ZDGTPT
| URI | m2://inv/RFR1ZDGTPT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Natural numbers object#7DXZ, Equivalent definitions (definition)
History
- 2026-11-02: add by m2/dev
RFR6790ESH RFR6790ESH
| URI | m2://inv/RFR6790ESH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05327#Z229 (statement). In ZD7BWDKT84/e1, theorem 9.5
History
- 2026-10-29: add by m2/v0.4.10
Warped geometry RFR79HHT40
| URI | m2://inv/RFR79HHT40 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical topics in relativity#1LRF, Warped geometry (definition)
History
- 2026-11-02: add by m2/dev
Kenneth Millett RFRBH5DZCB
| URI | m2://inv/RFRBH5DZCB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kenneth Millett, Kenneth Millett (topic). Also Wikidata Q19321704
History
- 2026-11-02: add by m2/dev
RFRDW7QWQ8 RFRDW7QWQ8
| URI | m2://inv/RFRDW7QWQ8 |
|---|---|
| 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.14458#05UI (statement). In WJ76MVYAZQ/e1, lemma 2.6
History
- 2026-10-28: add by m2/v0.4.2
Proceedings of the London Mathematical Society RFRJNVW60R
| URI | m2://inv/RFRJNVW60R |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a book, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6087100, Proceedings of the London Mathematical Society (unknown). Also ProofWiki Book:Journal/Proceedings_of_the_London_Mathematical_Society
History
- 2026-10-26: add by m2/dev
RFRRK8W6FB RFRRK8W6FB
| URI | m2://inv/RFRRK8W6FB |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_genfunction_binom-app.ptx#proof-2 (proof). In QKM9DD2H56, proof, section 8.4
History
- 2026-11-01: add by m2/v0.6.13
RFRYX3FTZW RFRYX3FTZW
| URI | m2://inv/RFRYX3FTZW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20409#8HTM (statement)
History
- 2026-11-02: add by m2/v0.6.18
Logistic distribution RFS4QAH75W
| URI | m2://inv/RFS4QAH75W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability distributions#FLOU, Logistic distribution (definition)
History
- 2026-11-02: add by m2/dev
RFSADJAM8Z RFSADJAM8Z
| URI | m2://inv/RFSADJAM8Z |
|---|---|
| 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#XFT3 (statement). In 5VWB4A47R5/e1, lemma 4.2
History
- 2026-10-28: add by m2/v0.4.2
Lisa McShane RFSSAMC7RW
| URI | m2://inv/RFSSAMC7RW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lisa McShane, Lisa McShane (topic). Also Wikidata Q63874406
History
- 2026-11-02: add by m2/dev
RFT19W6D7N RFT19W6D7N
| URI | m2://inv/RFT19W6D7N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03719#DAYB (statement). In 8MDK189ZMB/e1, lemma 2.1
History
- 2026-10-29: add by m2/v0.4.12
RFT4350G9T RFT4350G9T
| URI | m2://inv/RFT4350G9T |
|---|---|
| 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 2212.00617#2XNB (statement). In K7505G10SS/e1, proposition 5.6
History
- 2026-10-27: add by m2/v0.3.5
Cathy Furlong RFT62JQ5T6
| URI | m2://inv/RFT62JQ5T6 |
|---|---|
| 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#RX50, Cathy Furlong (topic)
History
- 2026-11-02: add by m2/dev
Snub pentapentagonal tiling RFT87JH7EX
| URI | m2://inv/RFT87JH7EX |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Snub pentapentagonal tiling, Snub pentapentagonal tiling (object). Also Wikidata Q7548793
History
- 2026-11-02: add by m2/dev
Sequence transform RFTAJE49Y0
| URI | m2://inv/RFTAJE49Y0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of transforms#COSD, Sequence transform (definition)
History
- 2026-11-02: add by m2/dev
RFTASKTQ9X RFTASKTQ9X
| URI | m2://inv/RFTASKTQ9X |
|---|---|
| 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 0804.2115#KDQK (statement). In B9XACVAC6X/e1, lemma 4.3
History
- 2026-10-27: add by m2/v0.3.5
RFTFDHYYXV RFTFDHYYXV
| URI | m2://inv/RFTFDHYYXV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21921#2CSC (statement). In CM2YEK9T4F/e1, corollary 4.11
History
- 2026-10-27: add by m2/v0.4.2
Cyparissos Stephanos RFTMZSH975
| URI | m2://inv/RFTMZSH975 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematicians born in the 19th century#N7ZC, Cyparissos Stephanos (unknown)
History
- 2026-11-02: add by m2/dev
Conditioning on full rank RFTQ01RZY6
| URI | m2://inv/RFTQ01RZY6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40252#7H9E, Conditioning on full rank (statement). In 7MVPNFPRKB/e1, lemma 7.2
History
- 2026-10-30: add by m2/v0.4.12
Double factorial RFTVCPK12P
| URI | m2://inv/RFTVCPK12P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lists of integrals#GSAX, Double factorial (definition)
History
- 2026-11-02: add by m2/dev
RFTWNQQ8R5 RFTWNQQ8R5
| URI | m2://inv/RFTWNQQ8R5 |
|---|---|
| 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 2410.18564#I38X (statement). In MC8ZBZ14PM/e1, theorem 6.2
History
- 2026-10-27: add by m2/v0.3.5
RFTX6GYAN0 RFTX6GYAN0
| URI | m2://inv/RFTX6GYAN0 |
|---|---|
| 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 2304.03611#MDFQ (statement). In 75E8ZB1CBV/e1, proposition 5.3.1
History
- 2026-10-27: add by m2/v0.4.0
RFTX9S9TCZ RFTX9S9TCZ
| URI | m2://inv/RFTX9S9TCZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05232#9847 (statement). In DA3VN96YX2/e1, lemma 2.7
History
- 2026-10-29: add by m2/v0.4.10
Examples RFV8E94KSE
| URI | m2://inv/RFV8E94KSE |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Looman–Menchoff theorem#4U95, Examples (example)
History
- 2026-11-02: add by m2/dev
Convex RFV9E49ARK
| URI | m2://inv/RFV9E49ARK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of functional analysis#QY86, Convex (definition)
History
- 2026-11-02: add by m2/dev
Competitive exclusion principle RFVA5QECFR
| URI | m2://inv/RFVA5QECFR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Competitive exclusion principle, Competitive exclusion principle (statement). Also Wikidata Q1331830
History
- 2026-11-02: add by m2/dev
Frank P. Ramsey RFVGP8PNX7
| URI | m2://inv/RFVGP8PNX7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Frank P. Ramsey, Frank P. Ramsey (topic). Also Wikidata Q315387
History
- 2026-11-02: add by m2/dev
RFVPF5QDKD RFVPF5QDKD
| URI | m2://inv/RFVPF5QDKD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2008.10035#5KBJ (statement). In 29EH04FH4B/e1, corollary 3.4
History
- 2026-10-27: add by m2/v0.3.5
RFVSC5T9CX RFVSC5T9CX
| URI | m2://inv/RFVSC5T9CX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2302.04566#22HJ (statement). In 80S2NP05HJ/e1, theorem 4.12
History
- 2026-10-27: add by m2/v0.4.0
kept block RFVSJDVX26
| URI | m2://inv/RFVSJDVX26 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26134#MBWN, kept block (statement)
History
- 2026-11-01: add by m2/v0.6.15
RFVTK6R247 RFVTK6R247
| URI | m2://inv/RFVTK6R247 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#defn:danddbarform (definition). In VNMV985MXX, defn, section 4.4
History
- 2026-11-01: add by m2/v0.6.13
RFW1HNBVD3 RFW1HNBVD3
| URI | m2://inv/RFW1HNBVD3 |
|---|---|
| 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.32860#DUVQ (statement). In H71AJ341B3/e1, theorem 6.13
History
- 2026-10-31: add by m2/v0.5.6
RFW7XAX4E0 RFW7XAX4E0
| URI | m2://inv/RFW7XAX4E0 |
|---|---|
| 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.39539#0UNI (statement). In GVR218P3ZR/e1, proposition 7.4.1
History
- 2026-10-30: add by m2/v0.4.12
Examples RFWS2QHKJR
| URI | m2://inv/RFWS2QHKJR |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hanner polytope#2RZO, Examples (example)
History
- 2026-11-02: add by m2/dev
Kuznyechik RFWXB49WTD
| URI | m2://inv/RFWXB49WTD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kuznyechik, Kuznyechik (definition). Also Wikidata Q21655497
History
- 2026-11-02: add by m2/dev
universe RFWZM4F1PF
| URI | m2://inv/RFWZM4F1PF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of forcing notions#PCJ4, universe (definition)
History
- 2026-11-02: add by m2/dev
Fortuna RFX3GX3FHC
| URI | m2://inv/RFX3GX3FHC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fortuna (PRNG), Fortuna (definition). Also Wikidata Q719741
History
- 2026-11-02: add by m2/dev
Herbert Hall Turner RFX70KW826
| URI | m2://inv/RFX70KW826 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#73LD, Herbert Hall Turner (unknown)
History
- 2026-11-02: add by m2/dev
RFX7BG5HRC RFX7BG5HRC
| URI | m2://inv/RFX7BG5HRC |
|---|---|
| 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.01498#RN3E (statement). In 75GDSC8460/e1, lemma 6.2
History
- 2026-10-29: add by m2/v0.4.12
RFX7WW4S7T RFX7WW4S7T
| URI | m2://inv/RFX7WW4S7T |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/metric-top.tex#problem-4 (exercise). In RZP28ERRZV, problem, section 100.8
History
- 2026-11-01: add by m2/v0.6.13
equipped with RFXCQRVTF3
| URI | m2://inv/RFXCQRVTF3 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/A.6/equipped-with, equipped with (concept). In N54F33XE07, index, section A.6
History
- 2026-11-01: add by m2/v0.6.13
Riordan array RFXDWBBBBX
| URI | m2://inv/RFXDWBBBBX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Riordan array, Riordan array (definition). Also Wikidata Q7335421
History
- 2026-11-02: add by m2/dev
Weighted OPD RFXM3G6T93
| URI | m2://inv/RFXM3G6T93 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38025#V463, Weighted OPD (definition). In B7CAM06Q77/e1, definition 2
History
- 2026-10-30: add by m2/v0.4.12
Definition RFXSXZK78M
| URI | m2://inv/RFXSXZK78M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lie algebra extension#W2GF, Definition (definition)
History
- 2026-11-02: add by m2/dev
RFXTV6T1DY RFXTV6T1DY
| URI | m2://inv/RFXTV6T1DY |
|---|---|
| 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.23597#EWIK (statement)
History
- 2026-11-02: add by m2/v0.6.17
Dörte Haftendorn RFXVS83YAQ
| URI | m2://inv/RFXVS83YAQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dörte Haftendorn, Dörte Haftendorn (topic). Also Wikidata Q15428712
History
- 2026-11-02: add by m2/dev
RFXX3KX646 RFXX3KX646
| URI | m2://inv/RFXX3KX646 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40345#XJAO (statement). In WK0PT95WW1/e1, corollary 5.4
History
- 2026-10-30: add by m2/v0.4.12
Pfaffian RFXZND52HZ
| URI | m2://inv/RFXZND52HZ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Pfaffian NH5HWBPWS9 |
Mentions
- wikidata: Wikidata Q1189744, Pfaffian (concept). Also EoM Pfaffian, MathWorld Pfaffian, nLab Pfaffian
- wikipedia: Wikipedia Pfaffian, Pfaffian (definition). Also Wikidata Q1189744
History
- 2026-10-26: add by m2/dev
Thurston RFY60981SG
| URI | m2://inv/RFY60981SG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.13347#VVV3, Thurston (statement). In Z6QS82DPHE/e1, theorem 4.2
History
- 2026-10-28: add by m2/v0.4.2
Colours of a soap film RFY722XZW3
| URI | m2://inv/RFY722XZW3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thin-film interference#RDIK, Colours of a soap film (unknown)
History
- 2026-11-02: add by m2/dev
relaxation with concentrated kernel RFYD3C7CAP
| URI | m2://inv/RFYD3C7CAP |
|---|---|
| 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 2210.06147#LTA2, relaxation with concentrated kernel (statement). In 94RBNQA07A/e1, proposition 2.16
History
- 2026-10-27: add by m2/v0.3.5
RFYF674287 RFYF674287
| URI | m2://inv/RFYF674287 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08039#TS7I (statement). In Y1K8WE4MDP/e1, lemma 3.2
History
- 2026-10-29: add by m2/v0.4.10
RFYRF4ANRF RFYRF4ANRF
| URI | m2://inv/RFYRF4ANRF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17325#1944 (statement). In SE16BAED46/e1, proposition 4
History
- 2026-10-28: add by m2/v0.4.2
RFYTFFWVH5 RFYTFFWVH5
| URI | m2://inv/RFYTFFWVH5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03327#59SH (statement). In EBNXA84CPM/e1, proposition 5.2
History
- 2026-10-29: add by m2/v0.4.12
Gambling and information theory RFYZKWJJ42
| URI | m2://inv/RFYZKWJJ42 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#U759, Gambling and information theory (definition)
History
- 2026-11-02: add by m2/dev
Wall's finiteness obstruction RFZ18M113K
| URI | m2://inv/RFZ18M113K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#P19Y, Wall's finiteness obstruction (definition)
History
- 2026-11-02: add by m2/dev
RFZ3W8EQ18 RFZ3W8EQ18
| URI | m2://inv/RFZ3W8EQ18 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03619#LD5H (statement). In 7SRERSS1PF/e1, lemma 4.3
History
- 2026-10-29: add by m2/v0.4.12
RFZ6WQH206 RFZ6WQH206
| URI | m2://inv/RFZ6WQH206 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18226#3V7F (statement). In B3EHT1FRM5/e1, proposition 5.1
History
- 2026-10-28: add by m2/v0.4.2
RFZ9CR6NZ8 RFZ9CR6NZ8
| URI | m2://inv/RFZ9CR6NZ8 |
|---|---|
| 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 2306.08237#F3FA (statement). In E22A2MFR4Y/e1, lemma 3.5
History
- 2026-10-27: add by m2/v0.3.6
RFZBV5YMQT RFZBV5YMQT
| URI | m2://inv/RFZBV5YMQT |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
History
- 2026-10-28: add by m2/v0.4.2
Hilbert's twenty-fourth problem RFZK9SZWCG
| URI | m2://inv/RFZK9SZWCG |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hilbert's twenty-fourth problem, Hilbert's twenty-fourth problem (problem). Also Wikidata Q1618154
History
- 2026-11-02: add by m2/dev
RFZM84689K RFZM84689K
| URI | m2://inv/RFZM84689K |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/Counting.tex#question-1 (exercise). In P1C114YBXG, question, section 1
History
- 2026-11-01: add by m2/v0.6.13
RFZMMJR23S RFZMMJR23S
| URI | m2://inv/RFZMMJR23S |
|---|---|
| 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.14204#GUCI (statement). In GZAY1Y12YD/e1, theorem 6.4
History
- 2026-10-28: add by m2/v0.4.2
RFZRZEVZY9 RFZRZEVZY9
| URI | m2://inv/RFZRZEVZY9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25307#7OHR (statement)
History
- 2026-11-01: add by m2/v0.6.15
RFZYCE9P3F RFZYCE9P3F
| URI | m2://inv/RFZYCE9P3F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 37-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06455#4714 (statement). In N6GB5J5BAY/e1, proposition 4.3
History
- 2026-10-29: add by m2/v0.4.10