Inventory rows RH
The cards of the rows of the inventory whose ids start with RH. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Low-fidelity agnostic learning RH09N8YTYE
| URI | m2://inv/RH09N8YTYE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06810#GKF4, Low-fidelity agnostic learning (statement). In 1NY2SA03XF/e1, theorem 4.19
History
- 2026-10-29: add by m2/v0.4.10
Artem Dolgopyat RH0BCPFMXR
| URI | m2://inv/RH0BCPFMXR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#I99U, Artem Dolgopyat (unknown)
History
- 2026-11-02: add by m2/dev
Cullen number RH0BEZ6H1S
| URI | m2://inv/RH0BEZ6H1S |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q532389, Cullen number (unknown). Also MathWorld CullenNumber, OEIS A005849
- wikipedia: Wikipedia Cullen number, Cullen number (conjecture). Also Wikidata Q532389
History
- 2026-10-26: add by m2/dev
RH0KQJZB2W RH0KQJZB2W
| URI | m2://inv/RH0KQJZB2W |
|---|---|
| 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#F6ZT (statement). In GXHKRV5BPY/e1, proposition C.7
History
- 2026-10-29: add by m2/v0.4.10
Definition RH13CMYMD2
| URI | m2://inv/RH13CMYMD2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exact sequence#1FCG, Definition (definition)
History
- 2026-11-02: add by m2/dev
Metamaterial RH16GP0NSQ
| URI | m2://inv/RH16GP0NSQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Metamaterial, Metamaterial (definition). Also Wikidata Q497166
History
- 2026-11-02: add by m2/dev
Hasse diagram RH1DW22543
| URI | m2://inv/RH1DW22543 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Hasse diagram 00EYM7MDKS |
Mentions
- wikidata: Wikidata Q901446, Hasse diagram (concept). Also LMFDB knowl combin.hasse_diagram, MathWorld HasseDiagram, nLab Hasse diagram, ProofWiki Definition:Hasse_Diagram
- wikipedia: Wikipedia Hasse diagram, Hasse diagram (definition). Also Wikidata Q901446
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Geometric calculus RH1G2CZESW
| URI | m2://inv/RH1G2CZESW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geometric calculus, Geometric calculus (definition). Also Wikidata Q5535476
History
- 2026-11-02: add by m2/dev
RH1NHXMZAB RH1NHXMZAB
| URI | m2://inv/RH1NHXMZAB |
|---|---|
| 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.28893#04GA (statement)
History
- 2026-11-01: add by m2/v0.6.15
Vasudevan Srinivas RH23GQSBHY
| URI | m2://inv/RH23GQSBHY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#M591, Vasudevan Srinivas (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#1G1U, Vasudevan Srinivas (topic)
History
- 2026-11-02: add by m2/dev
Bernd Sturmfels RH25QHP9MP
| URI | m2://inv/RH25QHP9MP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#GMME, Bernd Sturmfels (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#GZX9, Bernd Sturmfels (unknown)
- wikipedia: Wikipedia List of German mathematicians#AIZ4, Bernd Sturmfels (unknown)
History
- 2026-11-02: add by m2/dev
Lathe (graphics) RH26SKDN3S
| URI | m2://inv/RH26SKDN3S |
|---|---|
| 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#GQUI, Lathe (graphics) (unknown)
History
- 2026-11-02: add by m2/dev
RH2CMEAEVY RH2CMEAEVY
| URI | m2://inv/RH2CMEAEVY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/rep-theory/characters.tex#definition-3 (definition). In RZP28ERRZV, definition, section 79.3
History
- 2026-11-01: add by m2/v0.6.13
Plus-one valuation RH2JQF0ET7
| URI | m2://inv/RH2JQF0ET7 |
|---|---|
| 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.37754#DDO0, Plus-one valuation (statement). In 3HPFAQKBEM/e1, theorem 7.1
History
- 2026-10-30: add by m2/v0.4.12
Chiara Sabatti RH2XMVP6KZ
| URI | m2://inv/RH2XMVP6KZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chiara Sabatti, Chiara Sabatti (topic). Also Wikidata Q59747753
History
- 2026-11-02: add by m2/dev
RH2YCS31Y7 RH2YCS31Y7
| URI | m2://inv/RH2YCS31Y7 |
|---|---|
| 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#YT6Z (statement). In WAXS6FS388/e1, lemma 4.4
History
- 2026-10-30: add by m2/v0.4.12
RH3253PGBP RH3253PGBP
| URI | m2://inv/RH3253PGBP |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book preliminaries.tex#ex:iterator (exercise). In N54F33XE07, ex, section A.12.3
History
- 2026-11-01: add by m2/v0.6.13
Generalizations RH33QTY76W
| URI | m2://inv/RH33QTY76W |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Isometry#NVY7, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Properties RH3JN73JT7
| URI | m2://inv/RH3JN73JT7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schläfli orthoscheme#TGLG, Properties (statement)
History
- 2026-11-02: add by m2/dev
RH3JYAHH43 RH3JYAHH43
| URI | m2://inv/RH3JYAHH43 |
|---|---|
| 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.11772#EU1Z (statement). In 2GW9HYGZ8S/e1, proposition 2.1
History
- 2026-10-28: add by m2/v0.4.3
RH3N2FTYRC RH3N2FTYRC
| URI | m2://inv/RH3N2FTYRC |
|---|---|
| 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 2609.33590#SUFV (statement). In WRE0P7V6Z3/e1, lemma 10.1
History
- 2026-10-30: add by m2/v0.4.12
RH3TCPSQTH RH3TCPSQTH
| URI | m2://inv/RH3TCPSQTH |
|---|---|
| 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.21388#2FTS (statement)
History
- 2026-11-02: add by m2/v0.6.18
RH3TWSY6FB RH3TWSY6FB
| URI | m2://inv/RH3TWSY6FB |
|---|---|
| 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#3X93 (definition). In WD2NCBV9F0/e1, definition 3.5
History
- 2026-10-27: add by m2/v0.3.5
RH3VZ5SA7E RH3VZ5SA7E
| URI | m2://inv/RH3VZ5SA7E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 60-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04874#6WIA (statement). In X365951S4Q/e1, lemma 3.2
History
- 2026-10-29: add by m2/v0.4.12
RH3ZE3PJ5H RH3ZE3PJ5H
| URI | m2://inv/RH3ZE3PJ5H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21914#LPDD (statement)
History
- 2026-11-02: add by m2/v0.6.17
RH40208YDA RH40208YDA
| URI | m2://inv/RH40208YDA |
|---|---|
| Kind | definition |
| 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 2610.03422#AFZZ (definition). In SF88CM0957/e1, definition 1.1
History
- 2026-10-29: add by m2/v0.4.12
RH43G4HJPC RH43G4HJPC
| URI | m2://inv/RH43G4HJPC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-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.32650#MF97 (statement). In PHXJ87HKYB/e1, lemma 4.4
History
- 2026-10-31: add by m2/v0.5.6
RH46G938S5 RH46G938S5
| URI | m2://inv/RH46G938S5 |
|---|---|
| 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 2205.09049#8W52 (statement). In 37S7MNMZ2F/e1, proposition 25
History
- 2026-10-27: add by m2/v0.3.5
Total geodesy of the common-kernel line RH4E1FN3K2
| URI | m2://inv/RH4E1FN3K2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25762#9A0M, Total geodesy of the common-kernel line (statement)
History
- 2026-11-01: add by m2/v0.6.15
Equation of a line through 2 points RH4F1MMWN1
| URI | m2://inv/RH4F1MMWN1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linear equation#8YVX, Equation of a line through 2 points (unknown)
History
- 2026-11-02: add by m2/dev
4 (crystal class) RH4F74QMEP
| URI | m2://inv/RH4F74QMEP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tetragonal crystal system#KA75, 4 (crystal class) (unknown)
History
- 2026-11-02: add by m2/dev
RH4M4KX5F9 RH4M4KX5F9
| URI | m2://inv/RH4M4KX5F9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06458#2ITD (statement). In 4X93XG8NMD/e1, lemma 3.1
History
- 2026-10-29: add by m2/v0.4.10
Theorem RH54Z9APRD
| URI | m2://inv/RH54Z9APRD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Binary symmetric channel#AWA6, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Souslin space RH573NEN9F
| URI | m2://inv/RH573NEN9F |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polish space#UR6Q, Souslin space (unknown)
History
- 2026-11-02: add by m2/dev
Method of exhaustion RH59Z2N1SB
| URI | m2://inv/RH59Z2N1SB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematics-based methods#QBBE, Method of exhaustion (definition)
- wikipedia: Wikipedia List of topics related to π#CWBW, Method of exhaustion (definition)
History
- 2026-11-02: add by m2/dev
RH5B5GD71C RH5B5GD71C
| URI | m2://inv/RH5B5GD71C |
|---|---|
| Kind | definition |
| 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#QCI5 (definition). In JQH3FHYPW3/e1, definition 3.13
History
- 2026-10-28: add by m2/v0.4.2
RH5CF3HRTQ RH5CF3HRTQ
| URI | m2://inv/RH5CF3HRTQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13833#05S8 (statement). In VD4JP4HVBX/e1, proposition 6.11
History
- 2026-10-28: add by m2/v0.4.2
RH5HHP55C3 RH5HHP55C3
| URI | m2://inv/RH5HHP55C3 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16606#RXV6 (definition). In A798V7TX99/e1, definition 5.8
History
- 2026-10-28: add by m2/v0.4.2
RH5KXD5TXT RH5KXD5TXT
| URI | m2://inv/RH5KXD5TXT |
|---|---|
| Kind | definition |
| 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 2609.20678#ANN5 (definition)
History
- 2026-11-02: add by m2/v0.6.18
Pursuing Stacks RH5YGA7MRR
| URI | m2://inv/RH5YGA7MRR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q16966343, Pursuing Stacks (unknown). Also nLab Pursuing Stacks
- wikipedia: Wikipedia Pursuing Stacks, Pursuing Stacks (definition). Also Wikidata Q16966343
History
- 2026-10-26: add by m2/dev
Generalizations RH65H9SG6J
| URI | m2://inv/RH65H9SG6J |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Topological group#H7HD, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
RH68XZXBJ5 RH68XZXBJ5
| URI | m2://inv/RH68XZXBJ5 |
|---|---|
| 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.21181#462E (statement). In 3D0GJXDY11/e1, proposition 5.10
History
- 2026-10-27: add by m2/v0.4.2
Universal radial central limit theorem RH6CCTG158
| URI | m2://inv/RH6CCTG158 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27752#8COG, Universal radial central limit theorem (statement)
History
- 2026-11-01: add by m2/v0.6.15
RH6F7DB7AQ RH6F7DB7AQ
| URI | m2://inv/RH6F7DB7AQ |
|---|---|
| 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.21929#GFVY (statement). In 2PP4XRVS0J/e1, proposition 13.1
History
- 2026-10-27: add by m2/v0.4.2
Kori Inkpen RH6HNKB4RR
| URI | m2://inv/RH6HNKB4RR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#ZKZI, Kori Inkpen (unknown)
History
- 2026-11-02: add by m2/dev
RH6KPG1AET RH6KPG1AET
| URI | m2://inv/RH6KPG1AET |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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.04730#XNZK (statement). In QHFP0837Q8/e1, theorem 2.9
History
- 2026-10-29: add by m2/v0.4.12
Examples RH6MJWH8XQ
| URI | m2://inv/RH6MJWH8XQ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Isolated singularity#3I5C, Examples (example)
History
- 2026-11-02: add by m2/dev
Strong subspace designs over arbitrary finite fields RH6P2FCQNF
| URI | m2://inv/RH6P2FCQNF |
|---|---|
| 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.32834#4KNH, Strong subspace designs over arbitrary finite fields (statement). In N4M6B8EMCW/e1, corollary 4.7
History
- 2026-10-31: add by m2/v0.5.6
No single observation time RH6PM99QX6
| URI | m2://inv/RH6PM99QX6 |
|---|---|
| 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.10017#SJHT, No single observation time (statement). In CJRBKR4JKT/e1, proposition 7.11
History
- 2026-10-29: add by m2/v0.4.10
Glossary of set theory RH6Z94HESS
| URI | m2://inv/RH6Z94HESS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of set theory topics#75ND, Glossary of set theory (topic)
History
- 2026-11-02: add by m2/dev
Lofted trajectory RH73S22B6X
| URI | m2://inv/RH73S22B6X |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Projectile motion#2CFX, Lofted trajectory (unknown)
History
- 2026-11-02: add by m2/dev
RH7XT6Y8FN RH7XT6Y8FN
| URI | m2://inv/RH7XT6Y8FN |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/second-order-logic/syntax-and-semantics/satisfaction.tex#ex-3 (example). In PKGMM3P5QY, ex, section 67.5
History
- 2026-11-01: add by m2/v0.6.13
RH7ZFHTFC6 RH7ZFHTFC6
| URI | m2://inv/RH7ZFHTFC6 |
|---|---|
| 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#OA5B (statement). In 7615KVXDB5/e1, corollary 3.7
History
- 2026-10-30: add by m2/v0.4.12
Unitarian trick RH85J35XXZ
| URI | m2://inv/RH85J35XXZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Unitarian trick, Unitarian trick (definition). Also Wikidata Q7887223
History
- 2026-11-02: add by m2/dev
Examples RH8CG64N6J
| URI | m2://inv/RH8CG64N6J |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Basis (universal algebra)#00BZ, Examples (example)
History
- 2026-11-02: add by m2/dev
RH8D5QFXTG RH8D5QFXTG
| URI | m2://inv/RH8D5QFXTG |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29158#32JA (example)
History
- 2026-11-01: add by m2/v0.6.15
RH8GA3BCWC RH8GA3BCWC
| URI | m2://inv/RH8GA3BCWC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28323#X00D (statement)
History
- 2026-11-01: add by m2/v0.6.15
Combinatorial number system RH8P430K5G
| URI | m2://inv/RH8P430K5G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of factorial and binomial topics#ZHRE, Combinatorial number system (definition)
History
- 2026-11-02: add by m2/dev
Examples RH8QQEHRV8
| URI | m2://inv/RH8QQEHRV8 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euler–Bernoulli beam theory#ABC1, Examples (example)
History
- 2026-11-02: add by m2/dev
Great stellapentakis dodecahedron RH8RSJ6GJG
| URI | m2://inv/RH8RSJ6GJG |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#SF6P, Great stellapentakis dodecahedron (object)
History
- 2026-11-02: add by m2/dev
RH8SXZVR36 RH8SXZVR36
| URI | m2://inv/RH8SXZVR36 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/fundamental-group.tex#def:homotopy_equiv (definition). In RZP28ERRZV, definition, section 98.5
History
- 2026-11-01: add by m2/v0.6.13
Formal definition RH8Z9SQRB7
| URI | m2://inv/RH8Z9SQRB7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Contraposition#PLMU, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
Pentagonal number theorem RH9034B2NZ
| URI | m2://inv/RH9034B2NZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topics named after Leonhard Euler#J3QY, Pentagonal number theorem (statement)
History
- 2026-11-02: add by m2/dev
Morse–Smale system RH92FDYK0F
| URI | m2://inv/RH92FDYK0F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Morse–Smale system, Morse–Smale system (definition). Also Wikidata Q6914276
History
- 2026-11-02: add by m2/dev
RH96ZB77WE RH96ZB77WE
| URI | m2://inv/RH96ZB77WE |
|---|---|
| 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 2402.00465#EGBQ (statement). In EKFTNPQC8D/e1, lemma 1
History
- 2026-10-27: add by m2/v0.3.5
Powerrough RH9B8HBVZG
| URI | m2://inv/RH9B8HBVZG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rough number#SXKV, Powerrough (unknown)
History
- 2026-11-02: add by m2/dev
Borel right process RH9B9XEARV
| URI | m2://inv/RH9B9XEARV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Borel right process, Borel right process (definition). Also Wikidata Q4944911
History
- 2026-11-02: add by m2/dev
RH9BDZBXES RH9BDZBXES
| URI | m2://inv/RH9BDZBXES |
|---|---|
| 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 0910.5574#WT9T (statement). In 2TJRBRKYAY/e1, corollary 9.3
History
- 2026-10-27: add by m2/v0.3.5
Paul Frampton RH9C18ANYG
| URI | m2://inv/RH9C18ANYG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#QZO4, Paul Frampton (unknown)
History
- 2026-11-02: add by m2/dev
RH9KGPVWSW RH9KGPVWSW
| URI | m2://inv/RH9KGPVWSW |
|---|---|
| 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#Q113 (statement). In MC8ZBZ14PM/e1, fact 2.5
History
- 2026-10-27: add by m2/v0.3.5
RH9KH3Z20J RH9KH3Z20J
| URI | m2://inv/RH9KH3Z20J |
|---|---|
| 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 1709.08958#5BTG (statement). In H46J8XRDFJ/e1, lemma 2.2.3
History
- 2026-10-27: add by m2/v0.3.5
Trachtenberg system RH9PG4N8NK
| URI | m2://inv/RH9PG4N8NK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trachtenberg system, Trachtenberg system (definition). Also Wikidata Q71746
History
- 2026-11-02: add by m2/dev
28 May, Azerbaijan RH9X4AXRQV
| URI | m2://inv/RH9X4AXRQV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#GNFY, 28 May, Azerbaijan (unknown)
History
- 2026-11-02: add by m2/dev
Scalar estimates for the frozen system RH9XKTG67S
| URI | m2://inv/RH9XKTG67S |
|---|---|
| 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.34202#V1O5, Scalar estimates for the frozen system (statement). In 57CRGWHT13/e1, lemma
History
- 2026-10-30: add by m2/v0.4.12
Pocklington-Lehmer primality test RHA40JS8W0
| URI | m2://inv/RHA40JS8W0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4241328, Pocklington-Lehmer primality test (unknown). Also MathWorld PocklingtonsTheorem
- wikipedia: Wikipedia Pocklington primality test, Pocklington primality test (definition). Also Wikidata Q4241328
History
- 2026-10-26: add by m2/dev
Examples RHA4BX9T07
| URI | m2://inv/RHA4BX9T07 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mutatis mutandis#HD28, Examples (example)
History
- 2026-11-02: add by m2/dev
RHA7HZNEEC RHA7HZNEEC
| URI | m2://inv/RHA7HZNEEC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18246#A9II (statement). In SN6F0MPPVF/e1, lemma 9.1
History
- 2026-10-28: add by m2/v0.4.2
Estimating $w_t^\star$ with an unbiased label oracle RHAA8J2FN0
| URI | m2://inv/RHAA8J2FN0 |
|---|---|
| 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.04117#4CNY, Estimating $w_t^\star$ with an unbiased label oracle (statement). In 65E9N3DFYP/e1, lemma D.2
History
- 2026-10-29: add by m2/v0.4.12
Example RHABEKGRR6
| URI | m2://inv/RHABEKGRR6 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Herbrand structure#QJEV, Example (example)
History
- 2026-11-02: add by m2/dev
Davis distribution RHADRQC5T3
| URI | m2://inv/RHADRQC5T3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#TLG4, Davis distribution (definition)
History
- 2026-11-02: add by m2/dev
Properties RHAMYFYJQC
| URI | m2://inv/RHAMYFYJQC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia (a,b,0) class of distributions#3AYK, Properties (statement)
History
- 2026-11-02: add by m2/dev
Dominance and generic finiteness of the likelihood projection RHASBEDANY
| URI | m2://inv/RHASBEDANY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-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.19669#V8L4, Dominance and generic finiteness of the likelihood projection (statement). In 1QPAA94Q76/e1, lemma 35
History
- 2026-10-28: add by m2/v0.4.2
Compound of two snub dodecahedra RHASX2C579
| URI | m2://inv/RHASX2C579 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Compound of two snub dodecahedra, Compound of two snub dodecahedra (definition). Also Wikidata Q5156919
History
- 2026-11-02: add by m2/dev
Definitions RHATXST8X4
| URI | m2://inv/RHATXST8X4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Matrix multiplication#UCZQ, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Geometric median RHAVZS0VJQ
| URI | m2://inv/RHAVZS0VJQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#A7AB, Geometric median (definition)
History
- 2026-11-02: add by m2/dev
Tadao Tannaka RHB02ADJN3
| URI | m2://inv/RHB02ADJN3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2387114, Tadao Tannaka (unknown). Also nLab Tadao Tannaka
History
- 2026-10-26: add by m2/dev
Uses RHB0P1TB7C
| URI | m2://inv/RHB0P1TB7C |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wright omega function#RAX1, Uses (example)
History
- 2026-11-02: add by m2/dev
Brocard's problem RHB3ASVXNS
| URI | m2://inv/RHB3ASVXNS |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#B2EX, Brocard's problem (conjecture)
History
- 2026-11-02: add by m2/dev
RHB48MXEKG RHB48MXEKG
| URI | m2://inv/RHB48MXEKG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 57-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1001.0174#WLET (statement). In 4P97F3GPJC/e1, lemma 2.7
History
- 2026-10-27: add by m2/v0.3.5
Quasitriangular Hopf algebra RHB5Q2VHJ5
| URI | m2://inv/RHB5Q2VHJ5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quasitriangular Hopf algebra, Quasitriangular Hopf algebra (definition). Also Wikidata Q7269541
History
- 2026-11-02: add by m2/dev
RHB6352QNH RHB6352QNH
| URI | m2://inv/RHB6352QNH |
|---|---|
| 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.23238#1BAC (statement)
History
- 2026-11-02: add by m2/v0.6.17
Davenport–Schinzel Sequences and Their Geometric Applications RHB81H3QXN
| URI | m2://inv/RHB81H3QXN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Davenport–Schinzel Sequences and Their Geometric Applications, Davenport–Schinzel Sequences and Their Geometric Applications (definition). Also Wikidata Q96375987
History
- 2026-11-02: add by m2/dev
Ryu–Takayanagi conjecture RHB8C6T18W
| URI | m2://inv/RHB8C6T18W |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ryu–Takayanagi conjecture, Ryu–Takayanagi conjecture (statement). Also Wikidata Q30673556
History
- 2026-11-02: add by m2/dev
RHBBX60ZW4 RHBBX60ZW4
| URI | m2://inv/RHBBX60ZW4 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22528#9GNP (definition)
History
- 2026-11-02: add by m2/v0.6.17
Bird , Szyld RHBRB94PFN
| URI | m2://inv/RHBRB94PFN |
|---|---|
| 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#CRXV, Bird , Szyld (statement). In 80S2NP05HJ/e1, corollary 4.14
History
- 2026-10-27: add by m2/v0.4.0
Applications RHBTDEZBRB
| URI | m2://inv/RHBTDEZBRB |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inscribed angle#Q6SK, Applications (example)
History
- 2026-11-02: add by m2/dev
Definition RHC92BBZYW
| URI | m2://inv/RHC92BBZYW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Automorphic factor#MO0P, Definition (definition)
History
- 2026-11-02: add by m2/dev
Theorem RHC9G3Z01R
| URI | m2://inv/RHC9G3Z01R |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pisier–Ringrose inequality#F3DT, Theorem (statement)
History
- 2026-11-02: add by m2/dev
RHC9QATTNA RHC9QATTNA
| URI | m2://inv/RHC9QATTNA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-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.17045#RGVI (statement). In PA6JQDSKQT/e1, proposition 2.2
History
- 2026-10-28: add by m2/v0.4.2
dendroidal set RHCCXCWPJZ
| URI | m2://inv/RHCCXCWPJZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5256755, dendroidal set (unknown). Also nLab dendroidal set
- wikipedia: Wikipedia Dendroidal set, Dendroidal set (definition). Also Wikidata Q5256755
History
- 2026-10-26: add by m2/dev
RHCF3AVKSA RHCF3AVKSA
| URI | m2://inv/RHCF3AVKSA |
|---|---|
| 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.39700#6JIY (statement). In E7W2HDNEKJ/e1, lemma 2.13
History
- 2026-10-30: add by m2/v0.4.12
RHCFFR0WCD RHCFFR0WCD
| URI | m2://inv/RHCFFR0WCD |
|---|---|
| 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.11997#YWBG (statement). In REVYK9ZEP2/e1, proposition 11
History
- 2026-10-28: add by m2/v0.4.3
Generalization RHCYAQ7EX6
| URI | m2://inv/RHCYAQ7EX6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Langley's Adventitious Angles#C77O, Generalization (statement)
History
- 2026-11-02: add by m2/dev
RHCZ35N99P RHCZ35N99P
| URI | m2://inv/RHCZ35N99P |
|---|---|
| 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.40017#83I0 (statement). In MBHJA0HT06/e1, theorem 6.1
History
- 2026-10-30: add by m2/v0.4.12
Garlic routing RHD4HQVXVV
| URI | m2://inv/RHD4HQVXVV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Garlic routing, Garlic routing (definition). Also Wikidata Q5523472
History
- 2026-11-02: add by m2/dev
Final value theorems for the Laplace transform RHD73QAXN4
| URI | m2://inv/RHD73QAXN4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Final value theorem#OSOD, Final value theorems for the Laplace transform (statement)
History
- 2026-11-02: add by m2/dev
d'Ocagne's identity RHDJSMDQT5
| URI | m2://inv/RHDJSMDQT5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fibonacci sequence#HEIL, d'Ocagne's identity (statement)
History
- 2026-11-02: add by m2/dev
Applications RHDW8A0Z39
| URI | m2://inv/RHDW8A0Z39 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multivariate statistics#3TQN, Applications (example)
History
- 2026-11-02: add by m2/dev
Shizu Saldamando RHDXN3F4FS
| URI | m2://inv/RHDXN3F4FS |
|---|---|
| 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#D285, Shizu Saldamando (unknown)
History
- 2026-11-02: add by m2/dev
\(d=3\), \(n=2\), \(j=8\ RHENA5WF36
| URI | m2://inv/RHENA5WF36 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03775#8IMD, \(d=3\), \(n=2\), \(j=8\ (example). In NM928YZQVJ/e1, example
History
- 2026-10-29: add by m2/v0.4.12
characterization RHEQJV5JYJ
| URI | m2://inv/RHEQJV5JYJ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2937829, characterization (concept). Also MathWorld Characterization
- wikipedia: Wikipedia Characterization (mathematics), Characterization (definition). Also Wikidata Q2937829
History
- 2026-10-26: add by m2/dev
Moisei Uritsky RHER8AEZWW
| URI | m2://inv/RHER8AEZWW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#W9CS, Moisei Uritsky (unknown)
History
- 2026-11-02: add by m2/dev
Slinky spiral RHEW33VXSP
| URI | m2://inv/RHEW33VXSP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#BXHZ, Slinky spiral (unknown)
- wikipedia: Wikipedia List of curves#J16B, Slinky spiral (unknown)
History
- 2026-11-02: add by m2/dev
Definition RHF79CR620
| URI | m2://inv/RHF79CR620 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shannon wavelet#3QWN, Definition (definition)
History
- 2026-11-02: add by m2/dev
RHFBPZ60GW RHFBPZ60GW
| URI | m2://inv/RHFBPZ60GW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14189#ZVPH (statement). In 39VAB08YDJ/e1, proposition 3.4
History
- 2026-10-28: add by m2/v0.4.2
RHFDKVFFAG RHFDKVFFAG
| URI | m2://inv/RHFDKVFFAG |
|---|---|
| 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 2102.09374#LXPN (statement). In TGAHH1F8K5/e1, theorem 3
History
- 2026-10-27: add by m2/v0.3.6
Ideal of a semigroup RHFQM12D1C
| URI | m2://inv/RHFQM12D1C |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Semigroup#3CEV, Ideal of a semigroup (unknown)
History
- 2026-11-02: add by m2/dev
RHFWFG4VCV RHFWFG4VCV
| URI | m2://inv/RHFWFG4VCV |
|---|---|
| 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 2502.08738#QZ58 (statement). In 9GMTVSTAVN/e1, lemma 6.10
History
- 2026-10-27: add by m2/v0.3.5
RHG10AYYKG RHG10AYYKG
| URI | m2://inv/RHG10AYYKG |
|---|---|
| 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.18922#ASUZ (statement). In 6FKDYENQ8M/e1, proposition 9
History
- 2026-10-28: add by m2/v0.4.2
global RHG7Z24DV9
| URI | m2://inv/RHG7Z24DV9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of module theory#V1DQ, global (definition)
History
- 2026-11-02: add by m2/dev
Institute of Mathematics, Physics, and Mechanics RHGBBZVMR1
| URI | m2://inv/RHGBBZVMR1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Institute of Mathematics, Physics, and Mechanics, Institute of Mathematics, Physics, and Mechanics (definition). Also Wikidata Q15228722
History
- 2026-11-02: add by m2/dev
F-test of equality of variances RHGE44HHCQ
| URI | m2://inv/RHGE44HHCQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#HOLN, F-test of equality of variances (definition)
History
- 2026-11-02: add by m2/dev
Prime-power static spectrum RHGHCHKVF3
| URI | m2://inv/RHGHCHKVF3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16351#SPEX, Prime-power static spectrum (statement). In 1QSV7EQE3T/e1, proposition S70
History
- 2026-10-28: add by m2/v0.4.2
Closed Graph Theorem RHGK6RWN4G
| URI | m2://inv/RHGK6RWN4G |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Webbed space#E2BA, Closed Graph Theorem (statement)
History
- 2026-11-02: add by m2/dev
RHGTASX9GH RHGTASX9GH
| URI | m2://inv/RHGTASX9GH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31393#8X2T (statement). In ED0WC9Z55C/e1, lemma 2.1
History
- 2026-10-31: add by m2/v0.5.6
RHGTWQVWD6 RHGTWQVWD6
| URI | m2://inv/RHGTWQVWD6 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-fourier-and-pde.tex#exercise-101 (exercise). In E9HS8K3A52, exercise, section 5.8.5
History
- 2026-11-01: add by m2/v0.6.13
RHH2HV056A RHH2HV056A
| URI | m2://inv/RHH2HV056A |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/tableaux/proof-theoretic-notions.tex#proof-5 (proof). In PKGMM3P5QY, proof, section 22.5
History
- 2026-11-01: add by m2/v0.6.13
RHHJPNHPBR RHHJPNHPBR
| URI | m2://inv/RHHJPNHPBR |
|---|---|
| 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.33313#DA79 (statement). In HRCEFY172P/e1, corollary 3.19
History
- 2026-10-30: add by m2/v0.4.12
Jacobian Gram perturbation RHHNYEKYWX
| URI | m2://inv/RHHNYEKYWX |
|---|---|
| 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.27181#1WV1, Jacobian Gram perturbation (statement)
History
- 2026-11-01: add by m2/v0.6.15
RHHY0D3NDV RHHY0D3NDV
| URI | m2://inv/RHHY0D3NDV |
|---|---|
| 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 2603.21971#8QME (statement). In R6KSZ9H8CY/e1, lemma 6.2
History
- 2026-10-27: add by m2/v0.3.5
RHJ3ZC58DZ RHJ3ZC58DZ
| URI | m2://inv/RHJ3ZC58DZ |
|---|---|
| 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 2401.14638#7DD5 (statement). In 2XC2MZFWPP/e1, lemma 4.2
History
- 2026-10-27: add by m2/v0.3.5
RHJ597HTMN RHJ597HTMN
| URI | m2://inv/RHJ597HTMN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-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 0811.0544#4YH3 (statement). In RKPZ3SC956/e1, theorem 3.5
History
- 2026-10-27: add by m2/v0.3.5
RHJ8BJJHDS RHJ8BJJHDS
| URI | m2://inv/RHJ8BJJHDS |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20825#5O47 (definition). In K9G02J8MXT/e1, definition 1.2
History
- 2026-10-27: add by m2/v0.4.2
RHJ97TTN4P RHJ97TTN4P
| URI | m2://inv/RHJ97TTN4P |
|---|---|
| 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.08382#CNKJ (statement). In GYMGDQS25R/e1, proposition 4.3
History
- 2026-10-29: add by m2/v0.4.10
RHJAB4A5X1 RHJAB4A5X1
| URI | m2://inv/RHJAB4A5X1 |
|---|---|
| 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 2109.12716#HTHT (statement). In 6X76XBE3HV/e1, lemma 5.6
History
- 2026-10-27: add by m2/v0.3.5
RHJJTGAGX3 RHJJTGAGX3
| URI | m2://inv/RHJJTGAGX3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-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.31090#7A38 (statement). In SMTJDX0Q6R/e1, proposition 8.1
History
- 2026-10-31: add by m2/v0.5.6
RHJMZP0064 RHJMZP0064
| URI | m2://inv/RHJMZP0064 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11455#Q2XL (definition). In Z1EBVH5SP1/e1, definition 2.1
History
- 2026-10-28: add by m2/v0.4.3
Lemma RHJR99E232
| URI | m2://inv/RHJR99E232 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Artin transfer (group theory)#OZDZ, Lemma (statement)
History
- 2026-11-02: add by m2/dev
Local charts RHJTXSACBN
| URI | m2://inv/RHJTXSACBN |
|---|---|
| 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.30103#VNJU, Local charts (statement)
History
- 2026-11-01: add by m2/v0.6.15
RHK13W53AK RHK13W53AK
| URI | m2://inv/RHK13W53AK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19455#5BF2 (statement). In CBF6TQS4DW/e1, theorem 4.4
History
- 2026-10-28: add by m2/v0.4.2
RHK2YG4AET RHK2YG4AET
| URI | m2://inv/RHK2YG4AET |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/structure.tex#thm:uniqueness_primary_form_one_prime_torsion_module (statement). In RZP28ERRZV, theorem, section 6.5
History
- 2026-11-01: add by m2/v0.6.13
Regular Lagrangian Flow RHK4Z6CNE5
| URI | m2://inv/RHK4Z6CNE5 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 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 2204.04317#EUQ5, Regular Lagrangian Flow (definition). In 49V3ANDZTY/e1, definition 5.1
History
- 2026-10-27: add by m2/v0.3.5
RHKAH49C16 RHKAH49C16
| URI | m2://inv/RHKAH49C16 |
|---|---|
| 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.36818#TO0C (statement). In SK6AP2B9JH/e1, lemma 2.1
History
- 2026-10-30: add by m2/v0.4.12
Peter Landrock RHKD5QRCJ7
| URI | m2://inv/RHKD5QRCJ7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Peter Landrock, Peter Landrock (topic). Also Wikidata Q20641919
History
- 2026-11-02: add by m2/dev
Directed set RHKKTCEZG7
| URI | m2://inv/RHKKTCEZG7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of order theory topics#15XF, Directed set (definition)
History
- 2026-11-02: add by m2/dev
Local two-sided bounds for nonlinear residual loss with data oscillation RHKQJNB1BS
| URI | m2://inv/RHKQJNB1BS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19296#B73J, Local two-sided bounds for nonlinear residual loss with data oscillation (statement). In WFR2WNW8NB/e1, theorem 2.4
History
- 2026-10-28: add by m2/v0.4.2
RHM1Z8BTKP RHM1Z8BTKP
| URI | m2://inv/RHM1Z8BTKP |
|---|---|
| Kind | example |
| 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 2609.23682#ELXC (example)
History
- 2026-11-02: add by m2/v0.6.17
Domination by $2$-groups of class $2$ RHM34C7R88
| URI | m2://inv/RHM34C7R88 |
|---|---|
| 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.14509#RJ8P, Domination by $2$-groups of class $2$ (statement). In N6GD8392QB/e1, theorem 1.2
History
- 2026-10-28: add by m2/v0.4.2
Table of confusion RHM50Y67V8
| URI | m2://inv/RHM50Y67V8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Confusion matrix#W34B, Table of confusion (unknown)
History
- 2026-11-02: add by m2/dev
RHM63RMKA1 RHM63RMKA1
| URI | m2://inv/RHM63RMKA1 |
|---|---|
| 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 2508.02432#E2TR (definition). In B366ACYB37/e1, definition 3.1
History
- 2026-10-27: add by m2/v0.3.5
RHM9989Y9G RHM9989Y9G
| URI | m2://inv/RHM9989Y9G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.37634#1RP3 (statement). In NTWNXKDBKK/e1, lemma 4.2
History
- 2026-10-30: add by m2/v0.4.12
RHM9RV6JG1 RHM9RV6JG1
| URI | m2://inv/RHM9RV6JG1 |
|---|---|
| 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 2609.33590#C64Q (statement). In WRE0P7V6Z3/e1, corollary 1.12
History
- 2026-10-30: add by m2/v0.4.12
RHMDMEX1VY RHMDMEX1VY
| URI | m2://inv/RHMDMEX1VY |
|---|---|
| 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.01796#JJA6 (statement). In JC3PAB5DRC/e1, lemma 15
History
- 2026-10-29: add by m2/v0.4.12
Ludwik Silberstein RHMKZF3VWT
| URI | m2://inv/RHMKZF3VWT |
|---|---|
| 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#6T44, Ludwik Silberstein (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#W6VU, Ludwik Silberstein (unknown)
History
- 2026-11-02: add by m2/dev
Landau--Stark identity RHMQF9XTF4
| URI | m2://inv/RHMQF9XTF4 |
|---|---|
| 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.16010#JB5C, Landau--Stark identity (statement). In AQJXKF6WZP/e1, theorem 2.3
History
- 2026-10-28: add by m2/v0.4.2
Arthur Herbert Copeland RHMXFWSXCP
| URI | m2://inv/RHMXFWSXCP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#NEF6, Arthur Herbert Copeland (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#VN6G, Arthur Herbert Copeland (topic)
History
- 2026-11-02: add by m2/dev
Avraham Trahtman RHMY9QRH0C
| URI | m2://inv/RHMY9QRH0C |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#7KHS, Avraham Trahtman (topic)
History
- 2026-11-02: add by m2/dev
orientation of a $\R$-vector space RHN54E1TC4
| URI | m2://inv/RHN54E1TC4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Linear algebra > Multilinearity > orientation of a $\R$-vector space, orientation of a $\R$-vector space (unknown). Also Mathlib Orientation
History
- 2026-10-26: add by m2/dev
RHNJDGY5WW RHNJDGY5WW
| URI | m2://inv/RHNJDGY5WW |
|---|---|
| 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.27628#IX7L (conjecture)
History
- 2026-11-01: add by m2/v0.6.15
Basic formulas RHNJJ12839
| URI | m2://inv/RHNJJ12839 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Differential algebra#8KPM, Basic formulas (statement)
History
- 2026-11-02: add by m2/dev
Hilbert basis RHNJP0TW9H
| URI | m2://inv/RHNJP0TW9H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hilbert basis (linear programming), Hilbert basis (definition). Also Wikidata Q5761207
History
- 2026-11-02: add by m2/dev
RHNRD722S1 RHNRD722S1
| URI | m2://inv/RHNRD722S1 |
|---|---|
| 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#ZX0K (statement). In GZAY1Y12YD/e1, lemma 6.3
History
- 2026-10-28: add by m2/v0.4.2
Variational quantum eigensolver RHNRJXD0RE
| URI | m2://inv/RHNRJXD0RE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#4J8I, Variational quantum eigensolver (unknown)
History
- 2026-11-02: add by m2/dev
Ekman suction RHNRV6D7QE
| URI | m2://inv/RHNRV6D7QE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ekman transport#GARR, Ekman suction (unknown)
History
- 2026-11-02: add by m2/dev
RHNS2ZB08H RHNS2ZB08H
| URI | m2://inv/RHNS2ZB08H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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 2609.37252#Q745 (statement). In E3EK0ESPA7/e1, lemma 2.2
History
- 2026-10-30: add by m2/v0.4.12
HP-32S RHNVKDE9F1
| URI | m2://inv/RHNVKDE9F1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia HP-32S, HP-32S (definition). Also Wikidata Q1565779
History
- 2026-11-02: add by m2/dev
definition RHNY4HRTWR
| URI | m2://inv/RHNY4HRTWR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#4PPL, definition (definition)
History
- 2026-11-02: add by m2/dev
RHP2SHA4WT RHP2SHA4WT
| URI | m2://inv/RHP2SHA4WT |
|---|---|
| Kind | definition |
| 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 1008.4946#BQG7 (definition). In R4ZM6Q4SHH/e1, definition 3
History
- 2026-10-27: add by m2/v0.3.5
Colin Lingwood Mallows RHP440A2XM
| URI | m2://inv/RHP440A2XM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Colin Lingwood Mallows, Colin Lingwood Mallows (topic). Also Wikidata Q50106731
History
- 2026-11-02: add by m2/dev
Wiener's lemma RHP7T2CSRH
| URI | m2://inv/RHP7T2CSRH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wiener's lemma, Wiener's lemma (statement). Also Wikidata Q60790911
History
- 2026-11-02: add by m2/dev
Sieve theory RHPD33NARN
| URI | m2://inv/RHPD33NARN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sieve theory, Sieve theory (definition). Also Wikidata Q2517976
History
- 2026-11-02: add by m2/dev
Applications RHPEXE0QY6
| URI | m2://inv/RHPEXE0QY6 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shortest path problem#LAAL, Applications (example)
History
- 2026-11-02: add by m2/dev
Generalized Borel Graph Theorem RHPV4FBQJD
| URI | m2://inv/RHPV4FBQJD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Closed graph theorem (functional analysis)#UMQT, Generalized Borel Graph Theorem (statement)
History
- 2026-11-02: add by m2/dev
Construction RHQ0A2GE34
| URI | m2://inv/RHQ0A2GE34 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Moy–Prasad filtration#N6IV, Construction (definition)
History
- 2026-11-02: add by m2/dev
Trickle-Down Equation (Informal RHQ1NHCJ9P
| URI | m2://inv/RHQ1NHCJ9P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23994#43OO, Trickle-Down Equation (Informal (statement)
History
- 2026-11-02: add by m2/v0.6.17
RHQ7RP5ZR7 RHQ7RP5ZR7
| URI | m2://inv/RHQ7RP5ZR7 |
|---|---|
| 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.39430#MPJK (statement). In 6FH24CYAMW/e1, lemma 6.5
History
- 2026-10-30: add by m2/v0.4.12
Generalizations RHQAZMEYYV
| URI | m2://inv/RHQAZMEYYV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linking number#0E26, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
RHQC2Z6DZ8 RHQC2Z6DZ8
| URI | m2://inv/RHQC2Z6DZ8 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_inclusion-exclusion_exercises.ptx#exercise-19 (exercise). In QKM9DD2H56, exercise, section 7
History
- 2026-11-01: add by m2/v0.6.13
Alexander of Villedieu RHQDQ3CKTG
| URI | m2://inv/RHQDQ3CKTG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alexander of Villedieu, Alexander of Villedieu (topic). Also Wikidata Q692413
History
- 2026-11-02: add by m2/dev
Sonia Delaunay RHQKFQGTBP
| URI | m2://inv/RHQKFQGTBP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#Q886, Sonia Delaunay (unknown)
History
- 2026-11-02: add by m2/dev
Carl Friedrich Gauss RHQKJVA94Q
| URI | m2://inv/RHQKJVA94Q |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of publications in mathematics#BHQ8, Carl Friedrich Gauss (topic)
History
- 2026-11-02: add by m2/dev
RHQNZHGRQ2 RHQNZHGRQ2
| URI | m2://inv/RHQNZHGRQ2 |
|---|---|
| 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 2307.02473#J1IS (definition). In RGXMK94YW1/e1, definition 2.1
History
- 2026-10-27: add by m2/v0.3.5
RHQQS64SNK RHQQS64SNK
| URI | m2://inv/RHQQS64SNK |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/proof-theory/cut-elimination/ce-topmost.tex#prob-4 (exercise). In PKGMM3P5QY, prob, section 56.2
History
- 2026-11-01: add by m2/v0.6.13
Favard operator RHQSGTANBW
| URI | m2://inv/RHQSGTANBW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Favard operator, Favard operator (definition). Also Wikidata Q5438432
History
- 2026-11-02: add by m2/dev
RHR0463PKW RHR0463PKW
| URI | m2://inv/RHR0463PKW |
|---|---|
| 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.24931#3GFT (statement)
History
- 2026-11-01: add by m2/v0.6.15
The Cauchy identity RHR3V2RKDK
| URI | m2://inv/RHR3V2RKDK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schur polynomial#Q744, The Cauchy identity (statement)
History
- 2026-11-02: add by m2/dev
Tamiaki Yoneya RHR4XNCRVJ
| URI | m2://inv/RHR4XNCRVJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7681216, Tamiaki Yoneya (unknown). Also nLab Tamiaki Yoneya
History
- 2026-10-26: add by m2/dev
Flatland RHRCPTY6A3
| URI | m2://inv/RHRCPTY6A3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematics books#YHY3, Flatland (definition)
History
- 2026-11-02: add by m2/dev
Ordered pair RHRPF83VM7
| URI | m2://inv/RHRPF83VM7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/sets/pairs-and-products.tex#wienerkuratowski, Ordered pair (definition). In PKGMM3P5QY, defn, section 82.5
History
- 2026-11-01: add by m2/v0.6.13
RHRQ937380 RHRQ937380
| URI | m2://inv/RHRQ937380 |
|---|---|
| Kind | definition |
| 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.28011#BJ4N (definition)
History
- 2026-11-01: add by m2/v0.6.15
Rational quadratic covariance function RHRX8FJMT3
| URI | m2://inv/RHRX8FJMT3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rational quadratic covariance function, Rational quadratic covariance function (definition). Also Wikidata Q7295778
History
- 2026-11-02: add by m2/dev
inaccessible cardinal RHRYHWNNQ1
| URI | m2://inv/RHRYHWNNQ1 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/u1.u7/inaccessible-cardinal, inaccessible cardinal (concept). In N54F33XE07, index, section u1.u7
History
- 2026-11-01: add by m2/v0.6.13
Gary Chartrand RHS0JV6HHB
| URI | m2://inv/RHS0JV6HHB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#JECM, Gary Chartrand (topic)
History
- 2026-11-02: add by m2/dev
Adrian Lewis RHS4ETC7GH
| URI | m2://inv/RHS4ETC7GH |
|---|---|
| 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#MG5J, Adrian Lewis (unknown)
History
- 2026-11-02: add by m2/dev
Supporting hyperplane theorem RHSJB2860B
| URI | m2://inv/RHSJB2860B |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hyperplane separation theorem#U93P, Supporting hyperplane theorem (statement)
History
- 2026-11-02: add by m2/dev
RHSQC3R016 RHSQC3R016
| URI | m2://inv/RHSQC3R016 |
|---|---|
| Kind | definition |
| 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.32088#IVBU (definition). In 7781ARDE06/e1, definition 3.3
History
- 2026-10-31: add by m2/v0.5.6
Belyi pair RHSR192BDZ
| URI | m2://inv/RHSR192BDZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dessin d'enfant#ZF1L, Belyi pair (unknown)
History
- 2026-11-02: add by m2/dev
David Aldous RHSVKSY653
| URI | m2://inv/RHSVKSY653 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#5WEE, David Aldous (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#FWCB, David Aldous (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#PP2Q, David Aldous (topic)
History
- 2026-11-02: add by m2/dev
RHT0AX2T98 RHT0AX2T98
| URI | m2://inv/RHT0AX2T98 |
|---|---|
| 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.06621#E75M (statement). In DB223AABTH/e1, lemma 2.9
History
- 2026-10-27: add by m2/v0.3.5
Theorem RHT2K3JFRR
| URI | m2://inv/RHT2K3JFRR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kolmogorov complexity#JFJV, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Yves Benoist RHT7NXWGXP
| URI | m2://inv/RHT7NXWGXP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Yves Benoist, Yves Benoist (topic). Also Wikidata Q2602171
History
- 2026-11-02: add by m2/dev
RHTB7DQQY0 RHTB7DQQY0
| URI | m2://inv/RHTB7DQQY0 |
|---|---|
| Kind | definition |
| 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#PX93 (definition). In NBMA6DBKJG/e1, definition 4.3
History
- 2026-10-28: add by m2/v0.4.2
Fundamental --- \textsc{$\Pi$-Wf} / \textsc{$\Pi$-Cong RHTMVWTZTS
| URI | m2://inv/RHTMVWTZTS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21131#RBSO, Fundamental --- \textsc{$\Pi$-Wf} / \textsc{$\Pi$-Cong (statement). In CPYWHRTPKC/e1, lemma 6.54
History
- 2026-10-27: add by m2/v0.4.2
RHTQZSJPX4 RHTQZSJPX4
| URI | m2://inv/RHTQZSJPX4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06806#FHP8 (statement). In ZZQT0GFMT2/e1, lemma 2.9
History
- 2026-10-29: add by m2/v0.4.10
Examples RHTRDZG8EK
| URI | m2://inv/RHTRDZG8EK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Absolutely and completely monotonic functions and sequences#T0OX, Examples (example)
History
- 2026-11-02: add by m2/dev
Examples RHTT6VC436
| URI | m2://inv/RHTT6VC436 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mason–Stothers theorem#JIF4, Examples (example)
History
- 2026-11-02: add by m2/dev
RHV7WD3381 RHV7WD3381
| URI | m2://inv/RHV7WD3381 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2401.13523#FNGT (example). In DDA62XQTWW/e1, example 4.17
History
- 2026-10-27: add by m2/v0.3.5
slant product RHVAQA2ZMR
| URI | m2://inv/RHVAQA2ZMR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q140532065, slant product (unknown). Also nLab slant product
History
- 2026-10-26: add by m2/dev
Michael Oberguggenberger RHVERATJWY
| URI | m2://inv/RHVERATJWY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1928751, Michael Oberguggenberger (unknown). Also nLab Michael Oberguggenberger
History
- 2026-10-26: add by m2/dev
Eric Lander RHVJDQNSC8
| URI | m2://inv/RHVJDQNSC8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#29D5, Eric Lander (topic)
History
- 2026-11-02: add by m2/dev
RHVMER8PHP RHVMER8PHP
| URI | m2://inv/RHVMER8PHP |
|---|---|
| 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.13505#6ECK (statement). In 6Z1DDCYCQ8/e1, proposition 13
History
- 2026-10-28: add by m2/v0.4.2
Gregory Freiman RHVYMGFNC5
| URI | m2://inv/RHVYMGFNC5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#M770, Gregory Freiman (topic)
History
- 2026-11-02: add by m2/dev
Johann Pfanzagl RHW78YQ4D3
| URI | m2://inv/RHW78YQ4D3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Johann Pfanzagl, Johann Pfanzagl (topic). Also Wikidata Q102079805
History
- 2026-11-02: add by m2/dev
Limit of a sequence RHW9Q5KC85
| URI | m2://inv/RHW9Q5KC85 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of real analysis topics#T3V7, Limit of a sequence (definition)
History
- 2026-11-02: add by m2/dev
Bruno D'Amore RHW9WK48X5
| URI | m2://inv/RHW9WK48X5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bruno D'Amore, Bruno D'Amore (topic). Also Wikidata Q5734511
History
- 2026-11-02: add by m2/dev
RHWF7KY4YQ RHWF7KY4YQ
| URI | m2://inv/RHWF7KY4YQ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0911.1417#3TO1 (definition). In BBD7TZW79R/e1, definition 5.6
History
- 2026-10-27: add by m2/v0.3.5
McKay conjecture RHWNPV7PE8
| URI | m2://inv/RHWNPV7PE8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia McKay conjecture, McKay conjecture (statement). Also Wikidata Q28401746
History
- 2026-11-02: add by m2/dev
RHWTP2HACQ RHWTP2HACQ
| URI | m2://inv/RHWTP2HACQ |
|---|---|
| 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.11056#2WB1 (statement). In 1NDB3SAG7K/e1, lemma 5.9
History
- 2026-10-28: add by m2/v0.4.3
ENO methods RHX0X3G6C6
| URI | m2://inv/RHX0X3G6C6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia ENO methods, ENO methods (definition). Also Wikidata Q60788824
History
- 2026-11-02: add by m2/dev
Skolem–Noether theorem RHXD07XE06
| URI | m2://inv/RHXD07XE06 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 16-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q3001796, Skolem–Noether theorem (statement). Also Wikidata Q3001796
- thousand_plus: thousand_plus Q3001796, Skolem–Noether theorem (statement). Also Wikidata Q3001796, Wikipedia Skolem–Noether theorem
- wikipedia: Wikipedia Skolem–Noether theorem, Skolem–Noether theorem (statement). Also Wikidata Q3001796
History
- 2026-10-26: add by m2/dev
RHXRJJTJK6 RHXRJJTJK6
| URI | m2://inv/RHXRJJTJK6 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises7-4.xml#exercise-10 (exercise). In 649HGZKE96, exercise, section 7.4
History
- 2026-11-01: add by m2/v0.6.13
Mild solution RHXTGYVRGT
| URI | m2://inv/RHXTGYVRGT |
|---|---|
| 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 2609.32585#UZ9A, Mild solution (definition). In FJFJ3WR1SS/e1, definition 5.1
History
- 2026-10-31: add by m2/v0.5.6
Exportation RHY1AVS0KQ
| URI | m2://inv/RHY1AVS0KQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exportation (logic)#I2C0, Exportation (statement)
History
- 2026-11-02: add by m2/dev
Minimal surfaces RHYFY1FP1Y
| URI | m2://inv/RHYFY1FP1Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of complex and algebraic surfaces#05QK, Minimal surfaces (definition)
History
- 2026-11-02: add by m2/dev
RHYYDPHP5G RHYYDPHP5G
| URI | m2://inv/RHYYDPHP5G |
|---|---|
| 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.13913#UNNJ (statement). In BW5GVH97JE/e1, proposition 3.6
History
- 2026-10-28: add by m2/v0.4.2
RHZ2EBE577 RHZ2EBE577
| URI | m2://inv/RHZ2EBE577 |
|---|---|
| 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.39269#VB6D (definition). In HS4X20TX33/e1, definition 0.29
History
- 2026-10-30: add by m2/v0.4.12
Statement RHZ2N6SFEE
| URI | m2://inv/RHZ2N6SFEE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mergelyan's theorem#DV13, Statement (statement)
History
- 2026-11-02: add by m2/dev
Lipschitz isometry bundle RHZ4X1XGJF
| URI | m2://inv/RHZ4X1XGJF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26286#QLRY, Lipschitz isometry bundle (statement)
History
- 2026-11-01: add by m2/v0.6.15
Property of Justesen code RHZ5TVYQXV
| URI | m2://inv/RHZ5TVYQXV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Justesen code#74YV, Property of Justesen code (statement)
History
- 2026-11-02: add by m2/dev
RHZEJB9M7D RHZEJB9M7D
| URI | m2://inv/RHZEJB9M7D |
|---|---|
| Kind | definition |
| 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 2311.16252#YNVN (definition). In 8AHN9GSRMR/e1, definition 3.1
History
- 2026-10-27: add by m2/v0.4.0
RHZNY2A4TY RHZNY2A4TY
| URI | m2://inv/RHZNY2A4TY |
|---|---|
| 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 2609.24845#4C1K (definition)
History
- 2026-11-01: add by m2/v0.6.15
Formulation RHZQ6FG119
| URI | m2://inv/RHZQ6FG119 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bidomain model#66EQ, Formulation (definition)
History
- 2026-11-02: add by m2/dev
Ernst Kummer RHZTHQC4AV
| URI | m2://inv/RHZTHQC4AV |
|---|---|
| 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#K7UY, Ernst Kummer (topic)
History
- 2026-11-02: add by m2/dev
tangent RHZYCWHQKC
| URI | m2://inv/RHZYCWHQKC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#7A1D, tangent (definition)
History
- 2026-11-02: add by m2/dev
RHZZZKG2QW RHZZZKG2QW
| URI | m2://inv/RHZZZKG2QW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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.11021#6XE6 (statement). In R0SSJZYVTJ/e1, proposition 2.1
History
- 2026-10-28: add by m2/v0.4.3