Inventory rows R1
The cards of the rows of the inventory whose ids start with R1. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
model R10BGQ355P
| URI | m2://inv/R10BGQ355P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#RNNF, model (definition)
History
- 2026-11-02: add by m2/dev
R10DPX7QQ3 R10DPX7QQ3
| URI | m2://inv/R10DPX7QQ3 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1508.01731#1LAJ (definition). In PKJFZEY8ZV/e1, definition 2.1
History
- 2026-10-27: add by m2/v0.3.5
Karl Weierstrass R10G08Y4NA
| URI | m2://inv/R10G08Y4NA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of real analysis topics#RDP7, Karl Weierstrass (topic)
- wikipedia: Wikipedia List of mathematicians born in the 19th century#L042, Karl Weierstrass (topic)
History
- 2026-11-02: add by m2/dev
R10SJ4A6JD R10SJ4A6JD
| URI | m2://inv/R10SJ4A6JD |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 51-XX, 52-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11596#I6MV (example). In 76850E2X7T/e1, example 3.6
History
- 2026-10-28: add by m2/v0.4.3
R10TS5E4RB R10TS5E4RB
| URI | m2://inv/R10TS5E4RB |
|---|---|
| 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.18673#MQ73 (statement). In 7ZFD9XRKA1/e1, lemma 2.22
History
- 2026-10-28: add by m2/v0.4.2
R1104JZAQT R1104JZAQT
| URI | m2://inv/R1104JZAQT |
|---|---|
| Kind | example |
| 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 1002.0879#9KS1 (example). In M0SQY5EZN5/e1, example 4.3.5
History
- 2026-10-27: add by m2/v0.3.5
Properties R110PX0Q7X
| URI | m2://inv/R110PX0Q7X |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kovner–Besicovitch measure#3OW6, Properties (statement)
History
- 2026-11-02: add by m2/dev
longhorn graph R11AB3ZWZF
| URI | m2://inv/R11AB3ZWZF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3115583, longhorn graph (unknown). Also House of Graphs 482, MathWorld LonghornGraph
History
- 2026-10-26: add by m2/dev
Bobkov's inequality R11BPRMHZ3
| URI | m2://inv/R11BPRMHZ3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bobkov's inequality#0N6M, Bobkov's inequality (statement)
History
- 2026-11-02: add by m2/dev
Exposure variable R11CMCRF0B
| URI | m2://inv/R11CMCRF0B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#TZCH, Exposure variable (definition)
History
- 2026-11-02: add by m2/dev
reaction R11GZSPWD1
| URI | m2://inv/R11GZSPWD1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q343546, reaction (definition). Also ProofWiki Definition:Opposite_Force
History
- 2026-10-26: add by m2/dev
R11JFZ6YJE R11JFZ6YJE
| URI | m2://inv/R11JFZ6YJE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14446#1A0W (statement). In AWRXXZR673/e1, corollary 5.4
History
- 2026-10-28: add by m2/v0.4.2
singular R11JJQATCR
| URI | m2://inv/R11JJQATCR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#W6XP, singular (definition)
History
- 2026-11-02: add by m2/dev
R11PDVG8GQ R11PDVG8GQ
| URI | m2://inv/R11PDVG8GQ |
|---|---|
| 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 2112.14455#LTGD (statement). In VDE5R8HBS1/e1, corollary 4.13
History
- 2026-10-27: add by m2/v0.3.5
R11W1WPV7W R11W1WPV7W
| URI | m2://inv/R11W1WPV7W |
|---|---|
| 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.18101#OL10 (statement). In XXN6KKXPYF/e1, lemma 4.8
History
- 2026-10-28: add by m2/v0.4.2
R11XDVDDN8 R11XDVDDN8
| URI | m2://inv/R11XDVDDN8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36321#V7QT (statement). In 3KTZ6Z615H/e1, lemma 5.16
History
- 2026-10-30: add by m2/v0.4.12
time R11ZNVC2EH
| URI | m2://inv/R11ZNVC2EH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q11471, time (definition). Also ProofWiki Definition:Time
History
- 2026-10-26: add by m2/dev
Locally maintained fields R122652Y93
| URI | m2://inv/R122652Y93 |
|---|---|
| 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 math/0003117#MH1T, Locally maintained fields (definition). In WD2NCBV9F0/e1, definition 13.1
History
- 2026-10-27: add by m2/v0.3.5
Chain rule for traces R124BT96C6
| URI | m2://inv/R124BT96C6 |
|---|---|
| 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.17129#O9S6, Chain rule for traces (statement). In TCZWAMNYCV/e1, theorem 2.5
History
- 2026-10-28: add by m2/v0.4.2
Rosalie Iemhoff R127GFPQJA
| URI | m2://inv/R127GFPQJA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of women logicians#R8BQ, Rosalie Iemhoff (unknown)
History
- 2026-11-02: add by m2/dev
Standard normal table R128112E1B
| URI | m2://inv/R128112E1B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Standard normal table, Standard normal table (definition). Also Wikidata Q1263029
History
- 2026-11-02: add by m2/dev
binary quadratic form R12CT5MEXJ
| URI | m2://inv/R12CT5MEXJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Binary quadratic form SBDSYA037Q |
Mentions
- wikidata: Wikidata Q864134, binary quadratic form (unknown). Also EoM Binary_quadratic_form, MathWorld BinaryQuadraticForm
- wikipedia: Wikipedia Binary quadratic form, Binary quadratic form (definition). Also Wikidata Q864134
History
- 2026-10-26: add by m2/dev
Schwarz's theorem R12H49ZR0H
| URI | m2://inv/R12H49ZR0H |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Symmetry of second derivatives#6OCX, Schwarz's theorem (statement)
History
- 2026-11-02: add by m2/dev
R131RC3WNX R131RC3WNX
| URI | m2://inv/R131RC3WNX |
|---|---|
| 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 2501.17009#ZV5S (statement). In PESAKD6SSW/e1, corollary 5.19
History
- 2026-10-27: add by m2/v0.3.6
Lagrange inversion theorem R135Q14V1E
| URI | m2://inv/R135Q14V1E |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Joseph-Louis Lagrange#ACGY, Lagrange inversion theorem (statement)
History
- 2026-11-02: add by m2/dev
determinant of endomorphisms R137C8CXBP
| URI | m2://inv/R137C8CXBP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Linear algebra > Multilinearity > determinant of endomorphisms, determinant of endomorphisms (unknown). Also Mathlib LinearMap.det
History
- 2026-10-26: add by m2/dev
R13CEYW306 R13CEYW306
| URI | m2://inv/R13CEYW306 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2609.39317#710V (statement). In QM1T8JDK4A/e1, corollary
History
- 2026-10-30: add by m2/v0.4.12
R13JF3HQT6 R13JF3HQT6
| URI | m2://inv/R13JF3HQT6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 55-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.31919#UY6C (statement). In RHN12PW9P9/e1, lemma 4.6
History
- 2026-10-31: add by m2/v0.5.6
Paley-Wiener Theorem R13ND7VASY
| URI | m2://inv/R13ND7VASY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25472#TZE5, Paley-Wiener Theorem (statement)
History
- 2026-11-01: add by m2/v0.6.15
Dudleyville R13NZDA96Y
| URI | m2://inv/R13NZDA96Y |
|---|---|
| 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#19KY, Dudleyville (unknown)
History
- 2026-11-02: add by m2/dev
Balance-variance trade-off R13PVTPVEX
| URI | m2://inv/R13PVTPVEX |
|---|---|
| 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 2102.11076#16NN, Balance-variance trade-off (statement). In T9HZXHTQBJ/e1, corollary 2
History
- 2026-10-27: add by m2/v0.3.6
R13TD4KYPY R13TD4KYPY
| URI | m2://inv/R13TD4KYPY |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09084#ZE7G (definition). In F5VT2K2QYX/e1, definition
History
- 2026-10-29: add by m2/v0.4.10
Absolute value of a real number R13WW7E709
| URI | m2://inv/R13WW7E709 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Absolute value#9V3J, Absolute value of a real number (unknown)
History
- 2026-11-02: add by m2/dev
Skeletal animation R13XATT4E8
| URI | m2://inv/R13XATT4E8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#X891, Skeletal animation (unknown)
History
- 2026-11-02: add by m2/dev
Heil's Conjecture 9.2 R140QTPRPB
| URI | m2://inv/R140QTPRPB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-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.27970#BJGU, Heil's Conjecture 9.2 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Sinjin Smith R144VTA9VX
| URI | m2://inv/R144VTA9VX |
|---|---|
| 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#347K, Sinjin Smith (unknown)
History
- 2026-11-02: add by m2/dev
R14777VHKV R14777VHKV
| URI | m2://inv/R14777VHKV |
|---|---|
| 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.10206#XTZ6 (statement). In 8TRCP1482Q/e1, lemma B.17
History
- 2026-10-29: add by m2/v0.4.10
the ordinary pattern $P_n$ R14B8DSY53
| URI | m2://inv/R14B8DSY53 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01753#HNBG, the ordinary pattern $P_n$ (definition). In JY50YXMH5N/e1, definition 34
History
- 2026-10-29: add by m2/v0.4.12
R14BNBXTCR R14BNBXTCR
| URI | m2://inv/R14BNBXTCR |
|---|---|
| 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#226F (definition). In B6PCH930FV/e1, definition 1
History
- 2026-10-29: add by m2/v0.4.10
Arthur Byron Coble R14M5HFGED
| URI | m2://inv/R14M5HFGED |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arthur Byron Coble, Arthur Byron Coble (topic). Also Wikidata Q4798152
History
- 2026-11-02: add by m2/dev
Definition R14NJ4X3K3
| URI | m2://inv/R14NJ4X3K3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Convolution#HRXF, Definition (definition)
History
- 2026-11-02: add by m2/dev
R14NPE6AAC R14NPE6AAC
| URI | m2://inv/R14NPE6AAC |
|---|---|
| Kind | definition |
| 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.07890#NJKB (definition). In 6F3GSDT2V1/e1, definition 5.12
History
- 2026-10-29: add by m2/v0.4.10
R14TTN5GH5 R14TTN5GH5
| URI | m2://inv/R14TTN5GH5 |
|---|---|
| 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 2512.08487#HJVZ (statement). In 77TVQVYN0Z/e1, corollary 4
History
- 2026-10-27: add by m2/v0.3.6
Global height R14Y5SA255
| URI | m2://inv/R14Y5SA255 |
|---|---|
| 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.35460#FVG5, Global height (statement). In R515NECVME/e1, proposition 7.6
History
- 2026-10-30: add by m2/v0.4.12
R150P5CGQV R150P5CGQV
| URI | m2://inv/R150P5CGQV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2402.08944#ZDG4 (statement). In D8QFZG5R1D/e1, lemma 2.2
History
- 2026-10-27: add by m2/v0.3.6
Locally bounded R152AN3DAJ
| URI | m2://inv/R152AN3DAJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of types of functions#HSMX, Locally bounded (definition)
History
- 2026-11-02: add by m2/dev
Applications R15ATD5V2F
| URI | m2://inv/R15ATD5V2F |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exterior algebra#8AW5, Applications (example)
History
- 2026-11-02: add by m2/dev
Probabilistic proposition R15DKQB1JX
| URI | m2://inv/R15DKQB1JX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Probabilistic proposition, Probabilistic proposition (statement). Also Wikidata Q7246863
History
- 2026-11-02: add by m2/dev
R15F1P6S7A R15F1P6S7A
| URI | m2://inv/R15F1P6S7A |
|---|---|
| Kind | definition |
| 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 2609.21034#HEQH (definition)
History
- 2026-11-02: add by m2/v0.6.18
Examples R15MYM4E41
| URI | m2://inv/R15MYM4E41 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nash equilibrium#KFFS, Examples (example)
History
- 2026-11-02: add by m2/dev
R15SGXR975 R15SGXR975
| URI | m2://inv/R15SGXR975 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-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 2208.13855#SEAO (statement). In GJKRVZ5YN5/e1, lemma 11
History
- 2026-10-27: add by m2/v0.3.5
Hanan Mohamed Abdelrahman R15TD3TBYG
| URI | m2://inv/R15TD3TBYG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hanan Mohamed Abdelrahman, Hanan Mohamed Abdelrahman (topic). Also Wikidata Q61877040
History
- 2026-11-02: add by m2/dev
Basic properties R15Y16D3AD
| URI | m2://inv/R15Y16D3AD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Subset#KNFL, Basic properties (statement)
History
- 2026-11-02: add by m2/dev
R161HMF5RP R161HMF5RP
| URI | m2://inv/R161HMF5RP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2608.24190#VBR0 (statement). In DW7FVA587C/e1, theorem 1.6
History
- 2026-10-27: add by m2/v0.3.5
Definitions R166X2M3EQ
| URI | m2://inv/R166X2M3EQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Radon–Nikodym set#J9YV, Definitions (definition)
History
- 2026-11-02: add by m2/dev
R16BAEKHHT R16BAEKHHT
| URI | m2://inv/R16BAEKHHT |
|---|---|
| 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.33643#6CNW (statement). In G8Y8XD02EC/e1, theorem 1.2
History
- 2026-10-30: add by m2/v0.4.12
R16EFNHWD8 R16EFNHWD8
| URI | m2://inv/R16EFNHWD8 |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26201#YZJB (problem)
History
- 2026-11-01: add by m2/v0.6.15
Criticism to Okishio's Theorem R17051M89J
| URI | m2://inv/R17051M89J |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tendency of the rate of profit to fall#QD0K, Criticism to Okishio's Theorem (statement)
History
- 2026-11-02: add by m2/dev
Applications R175GN4AQ4
| URI | m2://inv/R175GN4AQ4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hash calendar#5HSC, Applications (example)
History
- 2026-11-02: add by m2/dev
Complete homogeneous symmetric polynomial R17634T7BY
| URI | m2://inv/R17634T7BY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Complete homogeneous symmetric polynomial, Complete homogeneous symmetric polynomial (definition). Also Wikidata Q5156499
History
- 2026-11-02: add by m2/dev
R17FBG716G R17FBG716G
| URI | m2://inv/R17FBG716G |
|---|---|
| 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.12732#QLLE (statement). In 5E91Y3VY9E/e1, theorem 2
History
- 2026-10-28: add by m2/v0.4.2
Symmetries R17N7WY9KM
| URI | m2://inv/R17N7WY9KM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weeks manifold#8FUT, Symmetries (statement)
History
- 2026-11-02: add by m2/dev
Definition R17NVD6HRS
| URI | m2://inv/R17NVD6HRS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chief series#BTP9, Definition (definition)
History
- 2026-11-02: add by m2/dev
R17ZAGKFRP R17ZAGKFRP
| URI | m2://inv/R17ZAGKFRP |
|---|---|
| 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 2310.13621#3SFB (statement). In DG0EZ1BPV5/e1, lemma 7.4
History
- 2026-10-27: add by m2/v0.3.5
Suzuki's theorem R182GBDVA7
| URI | m2://inv/R182GBDVA7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Feit–Thompson theorem#41FN, Suzuki's theorem (unknown)
History
- 2026-11-02: add by m2/dev
R183HCCD5X R183HCCD5X
| URI | m2://inv/R183HCCD5X |
|---|---|
| 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.20008#SHAE (statement)
History
- 2026-11-02: add by m2/v0.6.18
Mary Gibbons Natrella R1857DYB86
| URI | m2://inv/R1857DYB86 |
|---|---|
| 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#UK70, Mary Gibbons Natrella (topic)
History
- 2026-11-02: add by m2/dev
random matrix R18A630E79
| URI | m2://inv/R18A630E79 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Random matrix 1HS4RT7HK5 |
Mentions
- wikidata: Wikidata Q176604, random matrix (unknown). Also MathWorld RandomMatrix, nLab random matrix
- wikipedia: Wikipedia Random matrix, Random matrix (definition). Also Wikidata Q176604
History
- 2026-10-26: add by m2/dev
R18J9T8808 R18J9T8808
| URI | m2://inv/R18J9T8808 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22078#7ZLF (statement). In NRF7379N9J/e1, corollary 5.1
History
- 2026-10-27: add by m2/v0.4.0
Algorithms R18PXH301M
| URI | m2://inv/R18PXH301M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pattern recognition#FHFO, Algorithms (definition)
History
- 2026-11-02: add by m2/dev
Guido Zappa R18PXQTBA2
| URI | m2://inv/R18PXQTBA2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Guido Zappa, Guido Zappa (topic). Also Wikidata Q3779514
History
- 2026-11-02: add by m2/dev
R18T28KN4M R18T28KN4M
| URI | m2://inv/R18T28KN4M |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30444#QQXF (definition). In RZWJ0AT8W5/e1, definition 2.1
History
- 2026-10-31: add by m2/v0.5.6
Swallowed chewing gum R18TP0R54S
| URI | m2://inv/R18TP0R54S |
|---|---|
| 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#ENM9, Swallowed chewing gum (unknown)
History
- 2026-11-02: add by m2/dev
logical formula R18V3HYG9D
| URI | m2://inv/R18V3HYG9D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2627911, logical formula (definition). Also ProofWiki Definition:Logical_Formula
History
- 2026-10-26: add by m2/dev
R18WN6N7B9 R18WN6N7B9
| URI | m2://inv/R18WN6N7B9 |
|---|---|
| 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.25823#L1RH (statement)
History
- 2026-11-01: add by m2/v0.6.15
Examples R1963CYDS7
| URI | m2://inv/R1963CYDS7 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ring (mathematics)#H926, Examples (example)
History
- 2026-11-02: add by m2/dev
Donald Knuth R198NNGC7S
| URI | m2://inv/R198NNGC7S |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#XGUM, Donald Knuth (topic)
History
- 2026-11-02: add by m2/dev
Statement of the theorem R19D0JSF0V
| URI | m2://inv/R19D0JSF0V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mean value theorem (divided differences)#QMB8, Statement of the theorem (statement)
History
- 2026-11-02: add by m2/dev
Jurin, James R19DHRQZBG
| URI | m2://inv/R19DHRQZBG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#V34P, Jurin, James (unknown)
History
- 2026-11-02: add by m2/dev
R1A0N5AR0Y R1A0N5AR0Y
| URI | m2://inv/R1A0N5AR0Y |
|---|---|
| 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.16883#A2PC (statement). In TYS9N30M63/e1, proposition 2
History
- 2026-10-28: add by m2/v0.4.2
R1A2C2QQKH R1A2C2QQKH
| URI | m2://inv/R1A2C2QQKH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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 2509.16523#JIJI (statement). In CJPFYRFY41/e1, proposition 5
History
- 2026-10-27: add by m2/v0.3.5
Jean-Pierre Serre R1AD6PQ6R5
| URI | m2://inv/R1AD6PQ6R5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#868M, Jean-Pierre Serre (topic)
- wikipedia: Wikipedia List of algebraic geometry topics#FO6V, Jean-Pierre Serre (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#SUT4, Jean-Pierre Serre (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#YF57, Jean-Pierre Serre (topic)
- wikipedia: Wikipedia List of publications in mathematics#NOWS, Jean-Pierre Serre (topic)
History
- 2026-11-02: add by m2/dev
Dorothy Grover R1AM6BNZH2
| URI | m2://inv/R1AM6BNZH2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of women logicians#IO6D, Dorothy Grover (unknown)
History
- 2026-11-02: add by m2/dev
R1AX7CXVYG R1AX7CXVYG
| URI | m2://inv/R1AX7CXVYG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39905#73OK (statement). In D4B23ER9QD/e1, corollary 11
History
- 2026-10-30: add by m2/v0.4.12
Examples R1B0P1X906
| URI | m2://inv/R1B0P1X906 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Metacyclic group#BJLQ, Examples (example)
History
- 2026-11-02: add by m2/dev
R1BG7M9ARS R1BG7M9ARS
| URI | m2://inv/R1BG7M9ARS |
|---|---|
| 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 1806.00877#AQSP (statement). In 1QVKNGBS3D/e1, theorem 1
History
- 2026-10-27: add by m2/v0.3.5
Examples R1BGA6Y89Q
| URI | m2://inv/R1BGA6Y89Q |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Second partial derivative test#0OF0, Examples (example)
History
- 2026-11-02: add by m2/dev
Dirichlet generating function R1BHNWSFF0
| URI | m2://inv/R1BHNWSFF0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generating function#OAZZ, Dirichlet generating function (unknown)
History
- 2026-11-02: add by m2/dev
Moore code R1BPB7EFNF
| URI | m2://inv/R1BPB7EFNF |
|---|---|
| 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.08664#L4RB, Moore code (definition). In 1YY0P4ZS0T/e1, definition 39
History
- 2026-10-29: add by m2/v0.4.10
R1BY7DFXPQ R1BY7DFXPQ
| URI | m2://inv/R1BY7DFXPQ |
|---|---|
| Kind | definition |
| 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.35597#UHSB (definition). In K424GCJ50P/e1, definition 3.1
History
- 2026-10-30: add by m2/v0.4.12
Recursive partitioning R1C4VD87Q8
| URI | m2://inv/R1C4VD87Q8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#ILQS, Recursive partitioning (definition)
- wikipedia: Wikipedia List of partition topics#C0SZ, Recursive partitioning (definition)
History
- 2026-11-02: add by m2/dev
R1CCFXT8VV R1CCFXT8VV
| URI | m2://inv/R1CCFXT8VV |
|---|---|
| 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#PPYF (statement). In BCD0ATARNZ/e1, corollary 3.20
History
- 2026-10-27: add by m2/v0.4.2
Mathemalchemy R1CMMEGE3P
| URI | m2://inv/R1CMMEGE3P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathemalchemy, Mathemalchemy (definition). Also Wikidata Q112702121
History
- 2026-11-02: add by m2/dev
Stochastic geometry models of wireless networks R1CNWCYFEM
| URI | m2://inv/R1CNWCYFEM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stochastic geometry models of wireless networks, Stochastic geometry models of wireless networks (definition). Also Wikidata Q17166031
History
- 2026-11-02: add by m2/dev
Definition R1CTWV92R3
| URI | m2://inv/R1CTWV92R3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Freudenthal algebra#7SO7, Definition (definition)
History
- 2026-11-02: add by m2/dev
R1CVMKN076 R1CVMKN076
| URI | m2://inv/R1CVMKN076 |
|---|---|
| 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.20466#A1YH (statement). In M4ZVJWM8YA/e1, proposition A.9
History
- 2026-10-27: add by m2/v0.4.2
R1CXQSMXWJ R1CXQSMXWJ
| URI | m2://inv/R1CXQSMXWJ |
|---|---|
| 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.15489#73F1 (statement). In 5BCTP0B6Q1/e1, theorem 2
History
- 2026-10-28: add by m2/v0.4.2
R1D5R8B6B4 R1D5R8B6B4
| URI | m2://inv/R1D5R8B6B4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10930#O8UV (statement). In HX63A1PH1W/e1, proposition 5.16
History
- 2026-10-28: add by m2/v0.4.3
Average coverage, uniformly in the order R1D7QB5DV5
| URI | m2://inv/R1D7QB5DV5 |
|---|---|
| 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.26133#HHUO, Average coverage, uniformly in the order (statement)
History
- 2026-11-01: add by m2/v0.6.15
R1DB98D9H9 R1DB98D9H9
| URI | m2://inv/R1DB98D9H9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20956#X1KC (statement). In X9WFC1D9ZS/e1, proposition 54
History
- 2026-10-27: add by m2/v0.4.2
R1DE41YXNR R1DE41YXNR
| URI | m2://inv/R1DE41YXNR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10077#JR6G (statement). In YA7H9PY3R1/e1, proposition 3.6
History
- 2026-10-29: add by m2/v0.4.10
Cycle weights R1DJ528A9A
| URI | m2://inv/R1DJ528A9A |
|---|---|
| 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.22301#I63V, Cycle weights (statement)
History
- 2026-11-02: add by m2/v0.6.17
R1DJNZ80SN R1DJNZ80SN
| URI | m2://inv/R1DJNZ80SN |
|---|---|
| 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.13908#3QLZ (statement). In 9C684206F0/e1, corollary 2.2
History
- 2026-10-28: add by m2/v0.4.2
R1DM5GC715 R1DM5GC715
| URI | m2://inv/R1DM5GC715 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/affine-var.tex#ques-1 (exercise). In RZP28ERRZV, ques, section 19.2
History
- 2026-11-01: add by m2/v0.6.13
Example R1DMV05C2F
| URI | m2://inv/R1DMV05C2F |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Function symbol#8PM7, Example (example)
History
- 2026-11-02: add by m2/dev
Remark R1DTJB17D7
| URI | m2://inv/R1DTJB17D7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dimension theory (algebra)#YKXY, Remark (unknown)
History
- 2026-11-02: add by m2/dev
=*{Definition 3.5}, *{Definition 3.1 R1DZRN7RED
| URI | m2://inv/R1DZRN7RED |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36922#Y4SV, =*{Definition 3.5}, *{Definition 3.1 (definition). In BMHWE5QTTR/e1, definition 1.12
History
- 2026-10-30: add by m2/v0.4.12
The one-step branch R1ED4TVP4E
| URI | m2://inv/R1ED4TVP4E |
|---|---|
| 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.37479#WLA6, The one-step branch (statement). In P3RTT99C41/e1, lemma 7.8
History
- 2026-10-30: add by m2/v0.4.12
Temporal dimension R1ED72HR2P
| URI | m2://inv/R1ED72HR2P |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dimension#HFKT, Temporal dimension (unknown)
History
- 2026-11-02: add by m2/dev
R1EGZ7TTEH R1EGZ7TTEH
| URI | m2://inv/R1EGZ7TTEH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24542#U1X8 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Riemann mapping theorem R1EHRP2NVA
| URI | m2://inv/R1EHRP2NVA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Bernhard Riemann#OCU4, Riemann mapping theorem (statement)
- wikipedia: Wikipedia List of complex analysis topics#JA2T, Riemann mapping theorem (statement)
History
- 2026-11-02: add by m2/dev
R1EJJB8W6R R1EJJB8W6R
| URI | m2://inv/R1EJJB8W6R |
|---|---|
| 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.12108#18HG (statement). In JQH3FHYPW3/e1, theorem 2.2
History
- 2026-10-28: add by m2/v0.4.2
R1ENYF6WTM R1ENYF6WTM
| URI | m2://inv/R1ENYF6WTM |
|---|---|
| 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.39505#623N (statement). In WAXS6FS388/e1, lemma 10.1
History
- 2026-10-30: add by m2/v0.4.12
Shannon number R1FB5HRY0V
| URI | m2://inv/R1FB5HRY0V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of game theory#64L0, Shannon number (definition)
History
- 2026-11-02: add by m2/dev
Dorothy McCoy R1FCNFY7F8
| URI | m2://inv/R1FCNFY7F8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dorothy McCoy, Dorothy McCoy (topic). Also Wikidata Q75100276
History
- 2026-11-02: add by m2/dev
Definition R1FG07F2HP
| URI | m2://inv/R1FG07F2HP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fredholm determinant#3B3B, Definition (definition)
History
- 2026-11-02: add by m2/dev
R1FX0JPJRH R1FX0JPJRH
| URI | m2://inv/R1FX0JPJRH |
|---|---|
| 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 math/0507030#RDW7 (statement). In QV0QQ5ZCHX/e1, theorem 4
History
- 2026-10-27: add by m2/v0.3.5
Meromorphic function R1G13T6YMS
| URI | m2://inv/R1G13T6YMS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of complex analysis topics#J907, Meromorphic function (definition)
History
- 2026-11-02: add by m2/dev
sensitivity R1G4XKXX3X
| URI | m2://inv/R1G4XKXX3X |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6842789, sensitivity (unknown). Also MathWorld Sensitivity
History
- 2026-10-26: add by m2/dev
Wien's law – adiabatic expansion of a box of light R1G5SXAREG
| URI | m2://inv/R1G5SXAREG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Adiabatic invariant#5TGM, Wien's law – adiabatic expansion of a box of light (statement)
History
- 2026-11-02: add by m2/dev
R1GA9D5949 R1GA9D5949
| URI | m2://inv/R1GA9D5949 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/counterfactuals/minimal-change-semantics/transitivity.tex#prob-2 (exercise). In PKGMM3P5QY, prob, section 6.2
History
- 2026-11-01: add by m2/v0.6.13
Examples R1GAH1HAHF
| URI | m2://inv/R1GAH1HAHF |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Unitary element#Z1VW, Examples (example)
History
- 2026-11-02: add by m2/dev
Stephan Ramon Garcia R1GE45J8F7
| URI | m2://inv/R1GE45J8F7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stephan Ramon Garcia, Stephan Ramon Garcia (topic). Also Wikidata Q85851977
History
- 2026-11-02: add by m2/dev
Definitions R1GT18YV1F
| URI | m2://inv/R1GT18YV1F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Path coloring#MJE8, Definitions (definition)
History
- 2026-11-02: add by m2/dev
R1GY6FTD74 R1GY6FTD74
| URI | m2://inv/R1GY6FTD74 |
|---|---|
| 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.29304#OLPM (statement)
History
- 2026-11-01: add by m2/v0.6.15
R1HBGKS7P5 R1HBGKS7P5
| URI | m2://inv/R1HBGKS7P5 |
|---|---|
| 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.27168#D53N (statement)
History
- 2026-11-01: add by m2/v0.6.15
Variants R1HDJQ6MZ3
| URI | m2://inv/R1HDJQ6MZ3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stochastic gradient descent#N52H, Variants (statement)
History
- 2026-11-02: add by m2/dev
Examples R1HKJ0A2KP
| URI | m2://inv/R1HKJ0A2KP |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fallacy of exclusive premises#3KL1, Examples (example)
History
- 2026-11-02: add by m2/dev
R1HQDD3PKA R1HQDD3PKA
| URI | m2://inv/R1HQDD3PKA |
|---|---|
| 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.24739#5ILW (statement)
History
- 2026-11-01: add by m2/v0.6.15
An endpoint for weight dimension $n-1$ R1HTT9KBX6
| URI | m2://inv/R1HTT9KBX6 |
|---|---|
| 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.16294#PUUE, An endpoint for weight dimension $n-1$ (statement). In N7HRE31BBH/e1, corollary 1.4
History
- 2026-10-28: add by m2/v0.4.2
R1JE0V51XT R1JE0V51XT
| URI | m2://inv/R1JE0V51XT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31327#JFH9 (statement). In F605BQ3AYX/e1, lemma 3.4
History
- 2026-10-31: add by m2/v0.5.6
Coplanarity in a cell R1JTMCA0J1
| URI | m2://inv/R1JTMCA0J1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37368#0W34, Coplanarity in a cell (statement). In FRMCKEGVJZ/e1, lemma 16
History
- 2026-10-30: add by m2/v0.4.12
Examples R1JVCFG38K
| URI | m2://inv/R1JVCFG38K |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Central configuration#QJFP, Examples (example)
History
- 2026-11-02: add by m2/dev
Suppes–Lemmon notation R1JWGR2WA0
| URI | m2://inv/R1JWGR2WA0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Suppes–Lemmon notation, Suppes–Lemmon notation (definition). Also Wikidata Q7663659
History
- 2026-11-02: add by m2/dev
Examples R1JYF4YHHR
| URI | m2://inv/R1JYF4YHHR |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polyconvex function#UA5Y, Examples (example)
History
- 2026-11-02: add by m2/dev
Central Bureau R1JZ5GTY2S
| URI | m2://inv/R1JZ5GTY2S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Central Bureau, Central Bureau (definition). Also Wikidata Q5060480
History
- 2026-11-02: add by m2/dev
R1JZBVN37X R1JZBVN37X
| URI | m2://inv/R1JZBVN37X |
|---|---|
| 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 2609.31445#A0B6 (statement). In 7V2PVZS04C/e1, lemma 4.10
History
- 2026-10-31: add by m2/v0.5.6
Hadamard's method of descent R1K0MQ3SVH
| URI | m2://inv/R1K0MQ3SVH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hadamard's method of descent, Hadamard's method of descent (definition). Also Wikidata Q17020301
History
- 2026-11-02: add by m2/dev
International Statistical Institute R1K113ERTR
| URI | m2://inv/R1K113ERTR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of academic statistical associations#DUET, International Statistical Institute (unknown)
History
- 2026-11-02: add by m2/dev
R1K33RXFFY R1K33RXFFY
| URI | m2://inv/R1K33RXFFY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10525#S0YV (statement). In N3K26VPX0R/e1, corollary 2.5
History
- 2026-10-29: add by m2/v0.4.10
Door space R1KPJYCY0R
| URI | m2://inv/R1KPJYCY0R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Door space, Door space (definition). Also Wikidata Q5297210
History
- 2026-11-02: add by m2/dev
R1KRM0WKR9 R1KRM0WKR9
| URI | m2://inv/R1KRM0WKR9 |
|---|---|
| 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.08708#KB6H (statement). In TMMJKY66KY/e1, lemma 2.1
History
- 2026-10-29: add by m2/v0.4.10
Ernst Kötter R1M0KH73X1
| URI | m2://inv/R1M0KH73X1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#J27E, Ernst Kötter (topic)
History
- 2026-11-02: add by m2/dev
R1M62TP5YJ R1M62TP5YJ
| URI | m2://inv/R1M62TP5YJ |
|---|---|
| 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.33697#165B (statement). In Q6GGQ29TRC/e1, lemma
History
- 2026-10-30: add by m2/v0.4.12
R1MC49RCTP R1MC49RCTP
| URI | m2://inv/R1MC49RCTP |
|---|---|
| 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.19463#AV6I (statement). In Q4HWFFK0R9/e1, corollary 1.3
History
- 2026-10-28: add by m2/v0.4.2
Giovanni Giacomo Pierantoni R1MK7YFYSQ
| URI | m2://inv/R1MK7YFYSQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Giovanni Giacomo Pierantoni, Giovanni Giacomo Pierantoni (topic). Also Wikidata Q21208919
History
- 2026-11-02: add by m2/dev
Equilibrium measure R1MK914B8W
| URI | m2://inv/R1MK914B8W |
|---|---|
| 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#E433, Equilibrium measure (statement). In FEQ72D1AX6/e1, theorem 3.11
History
- 2026-10-27: add by m2/v0.4.2
orbifold R1MS79W0FY
| URI | m2://inv/R1MS79W0FY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic geometry#A0VY, orbifold (definition)
History
- 2026-11-02: add by m2/dev
Dialling R1N7STVR00
| URI | m2://inv/R1N7STVR00 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dialling (mathematics), Dialling (definition). Also Wikidata Q5270571
History
- 2026-11-02: add by m2/dev
BV-cyclic field datum R1NA989JFX
| URI | m2://inv/R1NA989JFX |
|---|---|
| Kind | definition |
| 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#FKG9, BV-cyclic field datum (definition)
History
- 2026-11-01: add by m2/v0.6.15
Non-Examples R1NCD5AJYN
| URI | m2://inv/R1NCD5AJYN |
|---|---|
| Kind | counterexample |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conjugacy-closed subgroup#6Y11, Non-Examples (counterexample)
History
- 2026-11-02: add by m2/dev
Parallel $\beta\eta$-reduction, $\beredpar$ R1NCE4FZR9
| URI | m2://inv/R1NCE4FZR9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/lambda-calculus/church-rosser/parallel-beta-eta-reduction.tex#defn:beredpar, Parallel $\beta\eta$-reduction, $\beredpar$ (definition). In PKGMM3P5QY, defn, section 36.2
History
- 2026-11-01: add by m2/v0.6.13
Partial cube R1NERHS9CZ
| URI | m2://inv/R1NERHS9CZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Partial cube, Partial cube (definition). Also Wikidata Q7140363
History
- 2026-11-02: add by m2/dev
Dual quaternion R1NKH93CHF
| URI | m2://inv/R1NKH93CHF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dual quaternion, Dual quaternion (definition). Also Wikidata Q5310237
History
- 2026-11-02: add by m2/dev
Chang number R1NSVTFDP1
| URI | m2://inv/R1NSVTFDP1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chang number, Chang number (definition). Also Wikidata Q5071695
History
- 2026-11-02: add by m2/dev
R1P1GKD4XK R1P1GKD4XK
| URI | m2://inv/R1P1GKD4XK |
|---|---|
| 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 1712.02437#2CQA (statement). In GZDFK652T9/e1, theorem 5.2
History
- 2026-10-27: add by m2/v0.3.5
R1P3MFS843 R1P3MFS843
| URI | m2://inv/R1P3MFS843 |
|---|---|
| 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.03437#EERE (statement). In EDTV1EDV7M/e1, corollary 3.3
History
- 2026-10-29: add by m2/v0.4.12
Example R1PC33CT0T
| URI | m2://inv/R1PC33CT0T |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Method of characteristics#DFCR, Example (example)
History
- 2026-11-02: add by m2/dev
Example R1PDC8YQNN
| URI | m2://inv/R1PDC8YQNN |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Miller–Rabin primality test#P47H, Example (example)
History
- 2026-11-02: add by m2/dev
R1PFC0WZKV R1PFC0WZKV
| URI | m2://inv/R1PFC0WZKV |
|---|---|
| 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 2609.31445#JNT7 (statement). In 7V2PVZS04C/e1, corollary 2.15
History
- 2026-10-31: add by m2/v0.5.6
Fourier transform and derivation R1PRJZXFS8
| URI | m2://inv/R1PRJZXFS8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Distribution calculus > Tempered distributions > Fourier transform and derivation, Fourier transform and derivation (unknown)
History
- 2026-10-26: add by m2/dev
Definition R1PRP6375Z
| URI | m2://inv/R1PRP6375Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ordered weighted averaging#6PWA, Definition (definition)
History
- 2026-11-02: add by m2/dev
Extensions of the Sethi model R1PVR1SSYB
| URI | m2://inv/R1PVR1SSYB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sethi model#CNSH, Extensions of the Sethi model (statement)
History
- 2026-11-02: add by m2/dev
R1PWK87YH7 R1PWK87YH7
| URI | m2://inv/R1PWK87YH7 |
|---|---|
| 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.26665#OPLR (statement)
History
- 2026-11-01: add by m2/v0.6.15
Extensions R1PXFTXMT8
| URI | m2://inv/R1PXFTXMT8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Oblivious pseudorandom function#EN79, Extensions (statement)
History
- 2026-11-02: add by m2/dev
R1PYDCAKMD R1PYDCAKMD
| URI | m2://inv/R1PYDCAKMD |
|---|---|
| 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.00021#DF1F (statement). In EX42AVA7CV/e1, proposition 3.1
History
- 2026-10-30: add by m2/v0.4.12
Von Neumann stability analysis R1PZ6TQEB9
| URI | m2://inv/R1PZ6TQEB9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#8JGA, Von Neumann stability analysis (definition)
History
- 2026-11-02: add by m2/dev
R1Q281M7W3 R1Q281M7W3
| URI | m2://inv/R1Q281M7W3 |
|---|---|
| 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 2610.15169#7BF8 (statement). In V7SN19J84T/e1, theorem 7.22
History
- 2026-10-28: add by m2/v0.4.2
R1QBSMD190 R1QBSMD190
| URI | m2://inv/R1QBSMD190 |
|---|---|
| Kind | definition |
| 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.13888#F0ZI (definition). In 2G5K2GZTX7/e1, definition 2.10
History
- 2026-10-27: add by m2/v0.4.0
Uniqueness without Euclid's lemma R1QG7J9ZSB
| URI | m2://inv/R1QG7J9ZSB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fundamental theorem of arithmetic#0TKO, Uniqueness without Euclid's lemma (statement)
History
- 2026-11-02: add by m2/dev
Examples R1QP7JDVKD
| URI | m2://inv/R1QP7JDVKD |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Q-category#51QA, Examples (example)
History
- 2026-11-02: add by m2/dev
Definition R1QQYZ2DQC
| URI | m2://inv/R1QQYZ2DQC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Subnormal number#RQSB, Definition (definition)
History
- 2026-11-02: add by m2/dev
Hard feasibility R1QZP2EPQG
| URI | m2://inv/R1QZP2EPQG |
|---|---|
| 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.12456#9KS5, Hard feasibility (statement). In 5XPM4E03W6/e1, lemma 2.1
History
- 2026-10-28: add by m2/v0.4.2
Eleanor Pairman R1R26MA7BA
| URI | m2://inv/R1R26MA7BA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eleanor Pairman, Eleanor Pairman (topic). Also Wikidata Q37724322
History
- 2026-11-02: add by m2/dev
R1R59YSBNZ R1R59YSBNZ
| URI | m2://inv/R1R59YSBNZ |
|---|---|
| Kind | example |
| 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.16768#4AOC (example). In 8FWK676AQX/e1, example 3
History
- 2026-10-28: add by m2/v0.4.2
Definitions R1R669PFCE
| URI | m2://inv/R1R669PFCE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multinomial distribution#3E26, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Sub-Gaussian martingale R1RBTMF19R
| URI | m2://inv/R1RBTMF19R |
|---|---|
| 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.22338#YQST, Sub-Gaussian martingale (statement)
History
- 2026-11-02: add by m2/v0.6.17
R1RECKTGD5 R1RECKTGD5
| URI | m2://inv/R1RECKTGD5 |
|---|---|
| Kind | problem |
| 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.20716#D1JE (problem)
History
- 2026-11-02: add by m2/v0.6.18
Hyperbolic equilibrium point R1RQ8THKNV
| URI | m2://inv/R1RQ8THKNV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical properties of points#0WSJ, Hyperbolic equilibrium point (definition)
History
- 2026-11-02: add by m2/dev
R1RS6JK00Z R1RS6JK00Z
| URI | m2://inv/R1RS6JK00Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19707#KFZI (statement). In R6SEBXARYC/e1, lemma 6.2
History
- 2026-10-28: add by m2/v0.4.2
Aumann-Shapley value R1RYYRJHWV
| URI | m2://inv/R1RYYRJHWV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shapley value#KN8I, Aumann-Shapley value (unknown)
History
- 2026-11-02: add by m2/dev
R1RZRCPC16 R1RZRCPC16
| URI | m2://inv/R1RZRCPC16 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2308.05715#0AYL (definition). In FC0SB9JFWH/e1, definition 6.6
History
- 2026-10-27: add by m2/v0.3.5
R1S0RA9SYR R1S0RA9SYR
| URI | m2://inv/R1S0RA9SYR |
|---|---|
| Kind | statement |
| 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#3BO8 (statement). In GXHKRV5BPY/e1, theorem 3.14
History
- 2026-10-29: add by m2/v0.4.10
R1S5HTH88Y R1S5HTH88Y
| URI | m2://inv/R1S5HTH88Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-XX, 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01208#LQOB (statement). In 317GZJ38HS/e1, corollary 2.11
History
- 2026-10-29: add by m2/v0.4.12
Frans Oort R1SEF6XPKH
| URI | m2://inv/R1SEF6XPKH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Frans Oort, Frans Oort (topic). Also Wikidata Q1445462
History
- 2026-11-02: add by m2/dev
Crossed-sequence criterion R1SES6W42K
| URI | m2://inv/R1SES6W42K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20514#GM3L, Crossed-sequence criterion (statement)
History
- 2026-11-02: add by m2/v0.6.18
Verhoeff algorithm R1SNGXQNY7
| URI | m2://inv/R1SNGXQNY7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Verhoeff algorithm, Verhoeff algorithm (definition). Also Wikidata Q4060666
History
- 2026-11-02: add by m2/dev
Conjugacy problem R1SZ2M5B39
| URI | m2://inv/R1SZ2M5B39 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of undecidable problems#5SLB, Conjugacy problem (problem)
History
- 2026-11-02: add by m2/dev
Péter Frankl R1T0PEGN8R
| URI | m2://inv/R1T0PEGN8R |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#TOOU, Péter Frankl (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#WQ17, Péter Frankl (topic)
History
- 2026-11-02: add by m2/dev
R1T3S61C39 R1T3S61C39
| URI | m2://inv/R1T3S61C39 |
|---|---|
| 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.22685#RXYQ (statement)
History
- 2026-11-02: add by m2/v0.6.17
R1T6DB8D49 R1T6DB8D49
| URI | m2://inv/R1T6DB8D49 |
|---|---|
| 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.01915#35EP (statement). In 6HJQXZS0A6/e1, lemma 5.7
History
- 2026-10-29: add by m2/v0.4.12
Bartel Leendert van der Waerden R1T6SHR81M
| URI | m2://inv/R1T6SHR81M |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q287097, Bartel Leendert van der Waerden (unknown). Also ProofWiki Mathematician:Bartel_Leendert_van_der_Waerden
- wikipedia: Wikipedia Bartel Leendert van der Waerden, Bartel Leendert van der Waerden (topic). Also Wikidata Q287097
History
- 2026-10-26: add by m2/dev
R1TAABTZV5 R1TAABTZV5
| URI | m2://inv/R1TAABTZV5 |
|---|---|
| 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 2212.01916#EDXP (statement). In XTGB5Z08YH/e1, lemma 4.1
History
- 2026-10-27: add by m2/v0.4.0
Compatibility of the primes R1TBBG3D1K
| URI | m2://inv/R1TBBG3D1K |
|---|---|
| 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 2610.00076#G1IN, Compatibility of the primes (statement). In 2VQ90WEZKB/e1, proposition 4.3
History
- 2026-10-30: add by m2/v0.4.12
R1TMCN09DN R1TMCN09DN
| URI | m2://inv/R1TMCN09DN |
|---|---|
| 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.28597#TKA2 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Vitali convergence theorem R1TQWDQJW2
| URI | m2://inv/R1TQWDQJW2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#RBR6, Vitali convergence theorem (statement)
History
- 2026-11-02: add by m2/dev
R1TR37MZXH R1TR37MZXH
| URI | m2://inv/R1TR37MZXH |
|---|---|
| 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.07673#2QEX (example). In 37B1MPV8GX/e1, example 5.5
History
- 2026-10-29: add by m2/v0.4.10
Pareto index R1TZ39Y260
| URI | m2://inv/R1TZ39Y260 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pareto index, Pareto index (definition). Also Wikidata Q3150401
History
- 2026-11-02: add by m2/dev
Definitions R1V00BFX49
| URI | m2://inv/R1V00BFX49 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Common cause and special cause (statistics)#ZCNV, Definitions (definition)
History
- 2026-11-02: add by m2/dev
UFD R1V6RJM7GX
| URI | m2://inv/R1V6RJM7GX |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv index/D/ufd, UFD (concept). In VNMV985MXX, index, section D
History
- 2026-11-01: add by m2/v0.6.13
R1VCG5NCGD R1VCG5NCGD
| URI | m2://inv/R1VCG5NCGD |
|---|---|
| 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.00902#OQKT (statement). In 1BYMXTH5MW/e1, proposition 4.6
History
- 2026-10-29: add by m2/v0.4.12
MM R1VZYZ9MCY
| URI | m2://inv/R1VZYZ9MCY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#MIC3, MM (definition)
History
- 2026-11-02: add by m2/dev
R1W1RSV182 R1W1RSV182
| URI | m2://inv/R1W1RSV182 |
|---|---|
| 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 2610.15169#IKMC (statement). In V7SN19J84T/e1, theorem 1.3
History
- 2026-10-28: add by m2/v0.4.2
Parseval's theorem R1WHC436QD
| URI | m2://inv/R1WHC436QD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalized Fourier series#U6IC, Parseval's theorem (statement)
History
- 2026-11-02: add by m2/dev
R1WNY2YYCE R1WNY2YYCE
| URI | m2://inv/R1WNY2YYCE |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/IntroCardinality.tex#problem-1 (exercise). In P1C114YBXG, problem, section D
History
- 2026-11-01: add by m2/v0.6.13
R1WNZNR1NF R1WNZNR1NF
| URI | m2://inv/R1WNZNR1NF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21121#2V02 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Borel determinacy theorem R1WTKV2RW4
| URI | m2://inv/R1WTKV2RW4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 03-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q4944906, Borel determinacy theorem (statement). Also Wikidata Q4944906
- thousand_plus: thousand_plus Q4944906, Borel determinacy theorem (statement). Also Wikidata Q4944906, Wikipedia Borel determinacy theorem
- wikipedia: Wikipedia Borel determinacy theorem, Borel determinacy theorem (statement). Also Wikidata Q4944906
History
- 2026-10-26: add by m2/dev
Cost of budgeted sparse certification R1WXACS7ZZ
| URI | m2://inv/R1WXACS7ZZ |
|---|---|
| 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.21139#6FI6, Cost of budgeted sparse certification (statement). In E3NM0QN6KK/e1, theorem 3
History
- 2026-10-27: add by m2/v0.4.2
Humble Pi: A comedy of maths errors R1WZ8HP45T
| URI | m2://inv/R1WZ8HP45T |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Matt Parker#JBFE, Humble Pi: A comedy of maths errors (unknown)
History
- 2026-11-02: add by m2/dev
Use R1X0YV3746
| URI | m2://inv/R1X0YV3746 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Division sign#B8H8, Use (example)
History
- 2026-11-02: add by m2/dev
R1X64WMQ6X R1X64WMQ6X
| URI | m2://inv/R1X64WMQ6X |
|---|---|
| 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.35252#YDOT (statement). In RPFP34GH09/e1, lemma 2.2
History
- 2026-10-30: add by m2/v0.4.12
dual groups R1XBGGZFYC
| URI | m2://inv/R1XBGGZFYC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Group Theory > Representation theory of finite groups > dual groups, dual groups (unknown)
History
- 2026-10-26: add by m2/dev
Definition R1XJHQRXXY
| URI | m2://inv/R1XJHQRXXY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hyperbolic partial differential equation#ELIW, Definition (definition)
History
- 2026-11-02: add by m2/dev
John E. Freund R1XKY9ZB80
| URI | m2://inv/R1XKY9ZB80 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia John E. Freund, John E. Freund (topic). Also Wikidata Q19878322
History
- 2026-11-02: add by m2/dev
Definition R1XVX6X83E
| URI | m2://inv/R1XVX6X83E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Caputo fractional derivative#QXOR, Definition (definition)
History
- 2026-11-02: add by m2/dev
mathematics, classical R1XX97DT41
| URI | m2://inv/R1XX97DT41 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/B.6/mathematics-classical, mathematics, classical (concept). In N54F33XE07, index, section B.6
History
- 2026-11-01: add by m2/v0.6.13
Mary Margaret Speer R1XZSXY89D
| URI | m2://inv/R1XZSXY89D |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mary Margaret Speer, Mary Margaret Speer (topic). Also Wikidata Q94091197
History
- 2026-11-02: add by m2/dev
Mackey topology R1Y2G64KN2
| URI | m2://inv/R1Y2G64KN2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topologies#A2P3, Mackey topology (definition)
History
- 2026-11-02: add by m2/dev
R1Y4V4CSY4 R1Y4V4CSY4
| URI | m2://inv/R1Y4V4CSY4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book hlevels.tex#cor:trunc-prod (statement). In N54F33XE07, thm, section 6.3
History
- 2026-11-01: add by m2/v0.6.13
R1Y587K707 R1Y587K707
| URI | m2://inv/R1Y587K707 |
|---|---|
| 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#Y883 (statement). In N6GB5J5BAY/e1, proposition 3.3
History
- 2026-10-29: add by m2/v0.4.10
Transfer from the scalar count experiment to observed questions R1Y5K27T1S
| URI | m2://inv/R1Y5K27T1S |
|---|---|
| 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.21363#I370, Transfer from the scalar count experiment to observed questions (statement). In YPH7NS5AAQ/e1, theorem 4.4
History
- 2026-10-27: add by m2/v0.4.2
Formal definition R1Y6RYD8EY
| URI | m2://inv/R1Y6RYD8EY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Regular semi-algebraic system#4ET3, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
Finite-angle positivity, $m=2$ swap R1YG2FW1ZN
| URI | m2://inv/R1YG2FW1ZN |
|---|---|
| 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.25120#WEQO, Finite-angle positivity, $m=2$ swap (statement)
History
- 2026-11-01: add by m2/v0.6.15
Lemma R1YH9XDC0B
| URI | m2://inv/R1YH9XDC0B |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Laguerre plane#LNA6, Lemma (statement)
History
- 2026-11-02: add by m2/dev
Charles Terrot R1YSDQ5N16
| URI | m2://inv/R1YSDQ5N16 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Charles Terrot (bishop), Charles Terrot (topic). Also Wikidata Q5082887
History
- 2026-11-02: add by m2/dev
R1YSNDSCC9 R1YSNDSCC9
| URI | m2://inv/R1YSNDSCC9 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 19-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 2504.00596#H44K (definition). In F8RC6AENB0/e1, definition 6.2
History
- 2026-10-27: add by m2/v0.3.5
Computation R1YTE3FRG1
| URI | m2://inv/R1YTE3FRG1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Brzozowski derivative#C0CD, Computation (definition)
History
- 2026-11-02: add by m2/dev
R1YX48R3FJ R1YX48R3FJ
| URI | m2://inv/R1YX48R3FJ |
|---|---|
| Kind | conjecture |
| 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.13295#FH2G (conjecture). In 8Q7QXTWD0S/e1, conjecture 6.7
History
- 2026-10-28: add by m2/v0.4.2
Spiked GOE R1ZFFQCFSH
| URI | m2://inv/R1ZFFQCFSH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28781#6PTQ, Spiked GOE (statement)
History
- 2026-11-01: add by m2/v0.6.15
R1ZR7J21ZK R1ZR7J21ZK
| URI | m2://inv/R1ZR7J21ZK |
|---|---|
| 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.24638#W2SH (statement)
History
- 2026-11-01: add by m2/v0.6.15
R1ZRDHMVH5 R1ZRDHMVH5
| URI | m2://inv/R1ZRDHMVH5 |
|---|---|
| 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#SEN5 (statement). In 1NRV3J17T7/e1, proposition 2.1
History
- 2026-10-28: add by m2/v0.4.2
R1ZZVWPNYY R1ZZVWPNYY
| URI | m2://inv/R1ZZVWPNYY |
|---|---|
| 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.07644#CBDE (statement). In TFAN2DR6FD/e1, corollary 21
History
- 2026-10-27: add by m2/v0.3.5