Inventory rows GY
The cards of the rows of the inventory whose ids start with GY. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Schauder estimate: H\"older spaces GY006SNZ58
| URI | m2://inv/GY006SNZ58 |
|---|---|
| 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.08434#4V5M, Schauder estimate: H\"older spaces (statement). In VN8087G2FC/e1, lemma 2.8
History
- 2026-10-29: add by m2/v0.4.10
$\infty$-groupoid GY01QZ2Y3A
| URI | m2://inv/GY01QZ2Y3A |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/8.8/infty-groupoid, $\infty$-groupoid (concept). In N54F33XE07, index, section 8.8
History
- 2026-11-01: add by m2/v0.6.13
GY04SGMDVD GY04SGMDVD
| URI | m2://inv/GY04SGMDVD |
|---|---|
| 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.36186#IX8C (statement). In 30PQN6JP7W/e1, lemma 27
History
- 2026-10-27: add by m2/v0.3.5
GY08SB3SC4 GY08SB3SC4
| URI | m2://inv/GY08SB3SC4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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.05850#7J55 (statement). In D424GB5MAW/e1, lemma 2.7
History
- 2026-10-29: add by m2/v0.4.10
GY0E9GEQRD GY0E9GEQRD
| URI | m2://inv/GY0E9GEQRD |
|---|---|
| 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 2308.05066#SA1Y (statement). In 1QSCT53ZED/e1, lemma 2.19
History
- 2026-10-27: add by m2/v0.4.0
Semi-concavity of the free energy GY0JCD657B
| URI | m2://inv/GY0JCD657B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32710#RYJ2, Semi-concavity of the free energy (statement). In KVYG6R7CGJ/e1, proposition 2.2
History
- 2026-10-31: add by m2/v0.5.6
GY0Q4DH70B GY0Q4DH70B
| URI | m2://inv/GY0Q4DH70B |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-der.tex#proof-4 (proof). In E59CDZA4DP, proof, section 3.2.1
History
- 2026-11-01: add by m2/v0.6.13
Dependence regime GY0TETEWYW
| URI | m2://inv/GY0TETEWYW |
|---|---|
| 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.21937#AO1F, Dependence regime (statement)
History
- 2026-11-02: add by m2/v0.6.17
GY0VY0V3SW GY0VY0V3SW
| URI | m2://inv/GY0VY0V3SW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05391#O8ZW (statement). In 9B5TNEBJHV/e1, proposition 2.8
History
- 2026-10-29: add by m2/v0.4.10
GY0YY5PP7G GY0YY5PP7G
| URI | m2://inv/GY0YY5PP7G |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 19-XX, 46-XX, 47-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17060#NG15 (definition). In 5KR3MHYVV6/e1, definition 2.1
History
- 2026-10-28: add by m2/v0.4.2
GY0Z4VCH1M GY0Z4VCH1M
| URI | m2://inv/GY0Z4VCH1M |
|---|---|
| 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.15525#V418 (statement). In EFDRME13PT/e1, theorem 6.4
History
- 2026-10-28: add by m2/v0.4.2
GY108639EY GY108639EY
| URI | m2://inv/GY108639EY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2607.25960#7D7Y (statement). In 13GSWBXPCM/e1, lemma C.6
History
- 2026-10-27: add by m2/v0.3.5
GY10GH0QHK GY10GH0QHK
| URI | m2://inv/GY10GH0QHK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30663#MBU5 (statement). In 3JZDKWS8NK/e1, proposition 11.2
History
- 2026-10-31: add by m2/v0.5.6
99 Variations on a Proof GY11520NJR
| URI | m2://inv/GY11520NJR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 99 Variations on a Proof, 99 Variations on a Proof (definition). Also Wikidata Q123997829
History
- 2026-11-02: add by m2/dev
GY15G9E88W GY15G9E88W
| URI | m2://inv/GY15G9E88W |
|---|---|
| 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.06441#EIBG (statement). In YFJ62HWHVK/e1, corollary 4.8
History
- 2026-10-29: add by m2/v0.4.10
Affine representation GY15XWB8MW
| URI | m2://inv/GY15XWB8MW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Affine representation, Affine representation (definition). Also Wikidata Q3892887
History
- 2026-11-02: add by m2/dev
Lee Lorch GY15ZHEMFW
| URI | m2://inv/GY15ZHEMFW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lee Lorch, Lee Lorch (topic). Also Wikidata Q6514418
History
- 2026-11-02: add by m2/dev
William C. Davidon GY16BAYDBS
| URI | m2://inv/GY16BAYDBS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia William C. Davidon, William C. Davidon (topic). Also Wikidata Q15619198
History
- 2026-11-02: add by m2/dev
GY17A8FH53 GY17A8FH53
| URI | m2://inv/GY17A8FH53 |
|---|---|
| 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.35642#4AHR (statement). In D905BX98TP/e1, lemma 2.2
History
- 2026-10-30: add by m2/v0.4.12
GY1AAXGF76 GY1AAXGF76
| URI | m2://inv/GY1AAXGF76 |
|---|---|
| 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 1003.2117#Q7JP (statement). In H4D4RFNH2V/e1, theorem 3.6
History
- 2026-10-27: add by m2/v0.3.5
GY1FJTTTX7 GY1FJTTTX7
| URI | m2://inv/GY1FJTTTX7 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2601.01000#JUN8 (definition). In RYFV9HGWWZ/e1, definition 29
History
- 2026-10-27: add by m2/v0.3.5
Indiana Pi Bill GY1G2TWG5Y
| URI | m2://inv/GY1G2TWG5Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topics related to π#DGUO, Indiana Pi Bill (definition)
History
- 2026-11-02: add by m2/dev
Lyle E. Pursell GY1M30B8K0
| URI | m2://inv/GY1M30B8K0 |
|---|---|
| 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 Q102128457, Lyle E. Pursell (unknown). Also nLab Lyle Eugene Pursell
History
- 2026-10-26: add by m2/dev
Properties GY1MTV4A09
| URI | m2://inv/GY1MTV4A09 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Category of compactly generated weak Hausdorff spaces#56SN, Properties (statement)
History
- 2026-11-02: add by m2/dev
GY1W87DD9K GY1W87DD9K
| URI | m2://inv/GY1W87DD9K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-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 2204.04265#CDG3 (statement). In YHA9M56TBB/e1, proposition 2.1
History
- 2026-10-27: add by m2/v0.4.0
Rocq GY1WQCPCFH
| URI | m2://inv/GY1WQCPCFH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical logic topics#17Z3, Rocq (definition)
History
- 2026-11-02: add by m2/dev
GY2CG4ZSGK GY2CG4ZSGK
| URI | m2://inv/GY2CG4ZSGK |
|---|---|
| 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.31220#YP1B (statement). In JMWCGMNE84/e1, theorem 2.1
History
- 2026-10-31: add by m2/v0.5.6
GY2FYR9M75 GY2FYR9M75
| URI | m2://inv/GY2FYR9M75 |
|---|---|
| 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#4SKH (statement). In 2PP4XRVS0J/e1, proposition 11.3
History
- 2026-10-27: add by m2/v0.4.2
GY2V76EZ1H GY2V76EZ1H
| URI | m2://inv/GY2V76EZ1H |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-metric.tex#exercise-51 (exercise). In E59CDZA4DP, exercise, section 4.4.3
History
- 2026-11-01: add by m2/v0.6.13
Uniform stopped occupation GY2XWJ9JWR
| URI | m2://inv/GY2XWJ9JWR |
|---|---|
| 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.21268#YHQ9, Uniform stopped occupation (statement). In 9W2YX5X4AX/e1, lemma 3.4
History
- 2026-10-27: add by m2/v0.4.2
GY2ZYTPCFG GY2ZYTPCFG
| URI | m2://inv/GY2ZYTPCFG |
|---|---|
| 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 2607.01109#1RFE (statement). In V35F0T5RQ2/e1, lemma 2.4
History
- 2026-10-27: add by m2/v0.3.5
Advanced Encryption Standard process GY3455RKPQ
| URI | m2://inv/GY3455RKPQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Advanced Encryption Standard process, Advanced Encryption Standard process (definition). Also Wikidata Q1053286
History
- 2026-11-02: add by m2/dev
GY34PWM7AA GY34PWM7AA
| URI | m2://inv/GY34PWM7AA |
|---|---|
| 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.30892#AQ7C (statement). In F7C1RM5VA4/e1, theorem 5.6
History
- 2026-10-31: add by m2/v0.5.6
Principle of indifference GY3BD9KC98
| URI | m2://inv/GY3BD9KC98 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#59IH, Principle of indifference (statement)
- wikipedia: Wikipedia List of probability topics#RY4Z, Principle of indifference (statement)
History
- 2026-11-02: add by m2/dev
Theorem GY3BHM99RD
| URI | m2://inv/GY3BHM99RD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graph flattenability#X8H9, Theorem (statement)
History
- 2026-11-02: add by m2/dev
GY3RM7GFX8 GY3RM7GFX8
| URI | m2://inv/GY3RM7GFX8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 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 2610.02961#AOGV (statement). In 986DENWM1D/e1, theorem 3.12
History
- 2026-10-29: add by m2/v0.4.12
GY3ZMYMG5J GY3ZMYMG5J
| URI | m2://inv/GY3ZMYMG5J |
|---|---|
| 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 0907.5545#TO7W (statement). In K3GWCTV5YE/e1, lemma 7
History
- 2026-10-27: add by m2/v0.3.5
Example GY40WSXWFJ
| URI | m2://inv/GY40WSXWFJ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Information dimension#Q1SF, Example (example)
History
- 2026-11-02: add by m2/dev
Theorem 1 GY45KNJ158
| URI | m2://inv/GY45KNJ158 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linear temporal logic to Büchi automaton#MY7K, Theorem 1 (statement)
History
- 2026-11-02: add by m2/dev
GY48RDNRN5 GY48RDNRN5
| URI | m2://inv/GY48RDNRN5 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises6-3.xml#exercise-5 (exercise). In 649HGZKE96, exercise, section 6.3
History
- 2026-11-01: add by m2/v0.6.13
GY4E1J29K3 GY4E1J29K3
| URI | m2://inv/GY4E1J29K3 |
|---|---|
| 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#U5VY (statement). In E7W2HDNEKJ/e1, theorem 5.28
History
- 2026-10-30: add by m2/v0.4.12
Structural properties of the reflected Cartesian operator GY4H6GXZAY
| URI | m2://inv/GY4H6GXZAY |
|---|---|
| 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.29524#YRZN, Structural properties of the reflected Cartesian operator (statement)
History
- 2026-11-01: add by m2/v0.6.15
Complementarity (physics) GY4P9Q9MDT
| URI | m2://inv/GY4P9Q9MDT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of dualities#DHT9, Complementarity (physics) (unknown)
History
- 2026-11-02: add by m2/dev
List of transforms GY4PJ2MY3F
| URI | m2://inv/GY4PJ2MY3F |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lists of mathematics topics#J6IV, List of transforms (topic)
- wikipedia: Wikipedia List of Fourier analysis topics#YX2Y, List of transforms (topic)
History
- 2026-11-02: add by m2/dev
Non-classical Enriques surfaces GY4TGG9S7N
| URI | m2://inv/GY4TGG9S7N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of complex and algebraic surfaces#NPIU, Non-classical Enriques surfaces (definition)
History
- 2026-11-02: add by m2/dev
GY4VKTM61C GY4VKTM61C
| URI | m2://inv/GY4VKTM61C |
|---|---|
| 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.05784#TP97 (statement). In 6NVP3YRWVA/e1, theorem 4.7
History
- 2026-10-29: add by m2/v0.4.10
GY4Y4EGFKE GY4Y4EGFKE
| URI | m2://inv/GY4Y4EGFKE |
|---|---|
| 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 2210.02997#ELKE (statement). In KEXVYV0SNS/e1, theorem 5
History
- 2026-10-27: add by m2/v0.3.5
path, dependent, in dependent function types GY4YCDK9TH
| URI | m2://inv/GY4YCDK9TH |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/1.9/path-dependent-in-dependent-function-types, path, dependent, in dependent function types (concept). In N54F33XE07, index, section 1.9
History
- 2026-11-01: add by m2/v0.6.13
GY510GJWMW GY510GJWMW
| URI | m2://inv/GY510GJWMW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 46-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35577#LV3X (statement). In 4F8QRV05BV/e1, lemma 2.20
History
- 2026-10-30: add by m2/v0.4.12
GY52H3K2Y9 GY52H3K2Y9
| URI | m2://inv/GY52H3K2Y9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32338#4CP4 (statement). In HVY45JQRNK/e1, theorem 1.6
History
- 2026-10-31: add by m2/v0.5.6
GY53XNGH58 GY53XNGH58
| URI | m2://inv/GY53XNGH58 |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
History
- 2026-10-27: add by m2/v0.3.5
Anna Cartan GY596530WY
| URI | m2://inv/GY596530WY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Anna Cartan, Anna Cartan (topic). Also Wikidata Q42887333
History
- 2026-11-02: add by m2/dev
GY5A1FKVYX GY5A1FKVYX
| URI | m2://inv/GY5A1FKVYX |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21052#XOIC (example)
History
- 2026-11-02: add by m2/v0.6.18
GY5B7HER4H GY5B7HER4H
| URI | m2://inv/GY5B7HER4H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14380#82W2 (statement). In 2ZRQP063HP/e1, theorem 4.4
History
- 2026-10-28: add by m2/v0.4.2
Sharper dimension dependence GY5JFB7BG2
| URI | m2://inv/GY5JFB7BG2 |
|---|---|
| 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.16715#9AKE, Sharper dimension dependence (statement). In RA1Z6BV25A/e1, lemma 4.2
History
- 2026-10-28: add by m2/v0.4.2
Repair radii and villainy GY5XXNYENM
| URI | m2://inv/GY5XXNYENM |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | node (a node of the research layer states the row (corpus arxiv AX9.2)) |
| Node | Repair radii and villainy 2REN148QWD |
Mentions
- arxiv: arXiv 2610.13556#L0DK, Repair radii and villainy (definition). In 5ZB8N3YY72/e1, definition 2.2
- arxiv: arXiv 2610.13580#IISX, Repair radii and villainy (definition). In KEQ57N9N7Z/e1, definition 2.2
History
- 2026-10-28: add by m2/v0.4.2
- 2026-11-02: outcome by m2 corpus adopt
- 2026-11-03: outcome by m2 corpus adopt
Wiener–Ikehara theorem GY60ETZWH1
| URI | m2://inv/GY60ETZWH1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#J6JB, Wiener–Ikehara theorem (statement)
History
- 2026-11-02: add by m2/dev
Hyperbolic secant distribution GY68ZDF7S9
| URI | m2://inv/GY68ZDF7S9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#GMGD, Hyperbolic secant distribution (definition)
History
- 2026-11-02: add by m2/dev
GY6AZPQWPY GY6AZPQWPY
| URI | m2://inv/GY6AZPQWPY |
|---|---|
| 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 2610.18620#O0VA (statement). In 6WJ0R9YEBR/e1, corollary 3.13
History
- 2026-10-28: add by m2/v0.4.2
Orientation GY6BRVY83K
| URI | m2://inv/GY6BRVY83K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21662#RA6R, Orientation (statement). In 25B3WHEKH2/e1, proposition 7.1
History
- 2026-10-27: add by m2/v0.4.2
GY6PYZ3W9F GY6PYZ3W9F
| URI | m2://inv/GY6PYZ3W9F |
|---|---|
| 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.22077#25OD (statement)
History
- 2026-11-02: add by m2/v0.6.17
searching number GY6Q4K9FHZ
| URI | m2://inv/GY6Q4K9FHZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#842A, searching number (definition)
History
- 2026-11-02: add by m2/dev
Aleksei Markushevich GY6QK7KT0F
| URI | m2://inv/GY6QK7KT0F |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Aleksei Markushevich, Aleksei Markushevich (topic). Also Wikidata Q2623089
History
- 2026-11-02: add by m2/dev
GY6T74MZE5 GY6T74MZE5
| URI | m2://inv/GY6T74MZE5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32614#2GU2 (statement). In SG8GT73ZNH/e1, theorem 1.11
History
- 2026-10-31: add by m2/v0.5.6
GY6W855XE1 GY6W855XE1
| URI | m2://inv/GY6W855XE1 |
|---|---|
| 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.08288#6DEQ (statement). In CHVWYJM7RM/e1, lemma C.6
History
- 2026-10-29: add by m2/v0.4.10
GY73J05RFB GY73J05RFB
| URI | m2://inv/GY73J05RFB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04873#2HOF (statement). In GWG2WM0E4X/e1, theorem 2
History
- 2026-10-29: add by m2/v0.4.12
Protective factor GY7A8S01PJ
| URI | m2://inv/GY7A8S01PJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Protective factor, Protective factor (definition). Also Wikidata Q7251376
History
- 2026-11-02: add by m2/dev
Six nines in pi GY7HVR5MFQ
| URI | m2://inv/GY7HVR5MFQ |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topics related to π#0608, Six nines in pi (object)
History
- 2026-11-02: add by m2/dev
cf.\ },; \coqident{typecat_structure}, \coqident{is_split_}\allowbreak\coqident{typecat}, \coqident{split_typecat_structure GY7TPS5VRX
| URI | m2://inv/GY7TPS5VRX |
|---|---|
| Kind | definition |
| 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 1705.04310#DDZ0, cf.\ },; \coqident{typecat_structure}, \coqident{is_split_}\allowbreak\coqident{typecat}, \coqident{split_typecat_structure (definition). In MG51GG0QZN/e1, definition 3.3
History
- 2026-10-27: add by m2/v0.3.5
Richard Pendlebury GY7YG5XP2T
| URI | m2://inv/GY7YG5XP2T |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Richard Pendlebury, Richard Pendlebury (topic). Also Wikidata Q7328350
History
- 2026-11-02: add by m2/dev
Yakov Pesin GY80E5Q4QE
| URI | m2://inv/GY80E5Q4QE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#GB68, Yakov Pesin (topic)
History
- 2026-11-02: add by m2/dev
Bad-edge and exit components GY813TT2ZT
| URI | m2://inv/GY813TT2ZT |
|---|---|
| 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.11330#O7C6, Bad-edge and exit components (statement). In Z73GKA9WDB/e1, lemma C.7
History
- 2026-10-28: add by m2/v0.4.3
Properties GY87WA41W5
| URI | m2://inv/GY87WA41W5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Invariant sigma-algebra#RCZZ, Properties (statement)
History
- 2026-11-02: add by m2/dev
Peter A. Loeb GY87YE9RVY
| URI | m2://inv/GY87YE9RVY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#SBIC, Peter A. Loeb (unknown)
History
- 2026-11-02: add by m2/dev
Similarity system of triangles GY8AQJSR3N
| URI | m2://inv/GY8AQJSR3N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of triangle topics#G684, Similarity system of triangles (definition)
History
- 2026-11-02: add by m2/dev
GY8CK4H1FR GY8CK4H1FR
| URI | m2://inv/GY8CK4H1FR |
|---|---|
| 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.08050#LUC2 (statement). In K9Q0GZXRN3/e1, proposition 2.2
History
- 2026-10-29: add by m2/v0.4.10
Kronecker coefficient GY8DEW8RWB
| URI | m2://inv/GY8DEW8RWB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kronecker coefficient, Kronecker coefficient (definition). Also Wikidata Q6438894
History
- 2026-11-02: add by m2/dev
GY8H5PA3K2 GY8H5PA3K2
| URI | m2://inv/GY8H5PA3K2 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/counting-conc.ptx#exercise-3 (exercise). In Y91XFCEVHQ, exercise, section 2.7
History
- 2026-11-01: add by m2/v0.6.13
Dugundji extension theorem GY8NTC9A2V
| URI | m2://inv/GY8NTC9A2V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of general topology#851N, Dugundji extension theorem (definition)
History
- 2026-11-02: add by m2/dev
Barycentric hull GY8RK06FA3
| URI | m2://inv/GY8RK06FA3 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 51-XX, 52-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.17909#BENK, Barycentric hull (definition). In YXZX6Z8S6A/e1, definition 5.14
History
- 2026-10-28: add by m2/v0.4.2
GY90G2B4TX GY90G2B4TX
| URI | m2://inv/GY90G2B4TX |
|---|---|
| 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.12131#H1FS (statement). In NYT07WF46A/e1, lemma 3.2
History
- 2026-10-28: add by m2/v0.4.2
Sophia Rabe-Hesketh GY9AWS00BX
| URI | m2://inv/GY9AWS00BX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sophia Rabe-Hesketh, Sophia Rabe-Hesketh (topic). Also Wikidata Q26702615
History
- 2026-11-02: add by m2/dev
Ackermann set theory GY9FPDYBKQ
| URI | m2://inv/GY9FPDYBKQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of first-order theories#P1YP, Ackermann set theory (definition)
History
- 2026-11-02: add by m2/dev
Univalent relation GY9N84V0CQ
| URI | m2://inv/GY9N84V0CQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Binary relation#535M, Univalent relation (unknown)
History
- 2026-11-02: add by m2/dev
GYA6EJEDYK GYA6EJEDYK
| URI | m2://inv/GYA6EJEDYK |
|---|---|
| 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 2503.08018#UT1I (statement). In TN93YFN45W/e1, lemma 3.2
History
- 2026-10-27: add by m2/v0.4.0
Robert Ammann GYA6NVCX60
| URI | m2://inv/GYA6NVCX60 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Robert Ammann, Robert Ammann (topic). Also Wikidata Q7341497
History
- 2026-11-02: add by m2/dev
First Main Lemma GYAF9KEYV8
| URI | m2://inv/GYAF9KEYV8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30301#BPNZ, First Main Lemma (statement). In 7NS75J7HAM/e1, theorem 2.3
History
- 2026-10-31: add by m2/v0.5.6
SAS (software) GYAGQNR2SK
| URI | m2://inv/GYAGQNR2SK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistical software#15EE, SAS (software) (definition)
History
- 2026-11-02: add by m2/dev
Frank Calegari GYAH3HEMYR
| URI | m2://inv/GYAH3HEMYR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Frank Calegari, Frank Calegari (topic). Also Wikidata Q66058234
History
- 2026-11-02: add by m2/dev
E8 polytope GYAPD5D3S8
| URI | m2://inv/GYAPD5D3S8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia E8 polytope, E8 polytope (definition). Also Wikidata Q116973741
History
- 2026-11-02: add by m2/dev
Arc-transitivity via the stabilizer image GYBE35Q63Q
| URI | m2://inv/GYBE35Q63Q |
|---|---|
| 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.15340#1IOX, Arc-transitivity via the stabilizer image (statement). In 9NVKKW8HDH/e1, proposition 3.10
History
- 2026-10-28: add by m2/v0.4.2
C. V. Raman GYBHEYRD6P
| URI | m2://inv/GYBHEYRD6P |
|---|---|
| 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#19IX, C. V. Raman (unknown)
History
- 2026-11-02: add by m2/dev
GYBT5AZ7JJ GYBT5AZ7JJ
| URI | m2://inv/GYBT5AZ7JJ |
|---|---|
| Kind | definition |
| 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 1009.2043#Q9IC (definition). In 7DCNHRBK5A/e1, definition 2.4
History
- 2026-10-27: add by m2/v0.3.5
GYC2YM8K75 GYC2YM8K75
| URI | m2://inv/GYC2YM8K75 |
|---|---|
| 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 2609.35183#UJHL (statement). In FYM5XFD9RR/e1, lemma 2.11
History
- 2026-10-30: add by m2/v0.4.12
Percolation of the renormalized model GYC6K1SPEP
| URI | m2://inv/GYC6K1SPEP |
|---|---|
| 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.18312#LK8D, Percolation of the renormalized model (statement). In NPEVE32HFP/e1, proposition 7.6
History
- 2026-10-28: add by m2/v0.4.2
GYCNYC12QR GYCNYC12QR
| URI | m2://inv/GYCNYC12QR |
|---|---|
| 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 1103.1038#QIEX (statement). In T9VMNNPS0H/e1, corollary 5.5
History
- 2026-10-27: add by m2/v0.3.6
Cook's theorem GYCQT8PPXQ
| URI | m2://inv/GYCQT8PPXQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#H30G, Cook's theorem (statement)
History
- 2026-11-02: add by m2/dev
Definition GYCRPQJ2AJ
| URI | m2://inv/GYCRPQJ2AJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ehrenfeucht–Fraïssé game#3XRJ, Definition (definition)
History
- 2026-11-02: add by m2/dev
GYCS224XSJ GYCS224XSJ
| URI | m2://inv/GYCS224XSJ |
|---|---|
| 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 2006.12475#3AXN (statement). In 8YWBGQQGA3/e1, proposition 2
History
- 2026-10-27: add by m2/v0.3.5
415 (number) GYCVTANE4E
| URI | m2://inv/GYCVTANE4E |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 400 (number)#9LZP, 415 (number) (unknown)
History
- 2026-11-02: add by m2/dev
Credit valuation adjustment GYCWNEFD25
| URI | m2://inv/GYCWNEFD25 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Credit valuation adjustment, Credit valuation adjustment (definition). Also Wikidata Q2828882
History
- 2026-11-02: add by m2/dev
List of mathematics categories GYCX6QJTQV
| URI | m2://inv/GYCX6QJTQV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lists of mathematics topics#LFF7, List of mathematics categories (topic)
History
- 2026-11-02: add by m2/dev
GYD5YF62Z9 GYD5YF62Z9
| URI | m2://inv/GYD5YF62Z9 |
|---|---|
| Kind | problem |
| 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 2304.02722#PU0R (problem). In AH7D55D3WV/e1, problem 1.4
History
- 2026-10-27: add by m2/v0.3.5
GYDD5YBCBT GYDD5YBCBT
| URI | m2://inv/GYDD5YBCBT |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-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.18483#JL8T (definition). In FF4HDVF1DC/e1, definition 6.1
History
- 2026-10-28: add by m2/v0.4.2
GYDHW5PC7H GYDHW5PC7H
| URI | m2://inv/GYDHW5PC7H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.19959#L6ZX (statement)
History
- 2026-11-02: add by m2/v0.6.18
Rho (finance) GYDS9WJPKY
| URI | m2://inv/GYDS9WJPKY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Greeks (finance)#HB1S, Rho (finance) (unknown)
History
- 2026-11-02: add by m2/dev
GYDV2GRHQ7 GYDV2GRHQ7
| URI | m2://inv/GYDV2GRHQ7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13475#SKG5 (statement). In P5SQ4CMX42/e1, lemma 5
History
- 2026-10-28: add by m2/v0.4.2
Clausius inequality GYDV6WQ30J
| URI | m2://inv/GYDV6WQ30J |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Second law of thermodynamics#UI4V, Clausius inequality (statement)
History
- 2026-11-02: add by m2/dev
challenging GYE0Z8H198
| URI | m2://inv/GYE0Z8H198 |
|---|---|
| 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-121, challenging (exercise). In E9HS8K3A52, exercise, section 5.10.4
History
- 2026-11-01: add by m2/v0.6.13
Percentile rank GYE33ZH7YP
| URI | m2://inv/GYE33ZH7YP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#6NK5, Percentile rank (definition)
History
- 2026-11-02: add by m2/dev
Nonlinear expectation GYE78E8QQA
| URI | m2://inv/GYE78E8QQA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nonlinear expectation, Nonlinear expectation (definition). Also Wikidata Q7049474
History
- 2026-11-02: add by m2/dev
Orders of groups GYE91DSX9B
| URI | m2://inv/GYE91DSX9B |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/grp-intro.tex#example-14, Orders of groups (example). In RZP28ERRZV, example, section 2.4
History
- 2026-11-01: add by m2/v0.6.13
Repair responses GYEDCTANE1
| URI | m2://inv/GYEDCTANE1 |
|---|---|
| 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.13556#U3YH, Repair responses (definition). In 5ZB8N3YY72/e1, definition 4.8
History
- 2026-10-28: add by m2/v0.4.2
Error exponents in binary hypothesis testing GYEEZFQQZ4
| URI | m2://inv/GYEEZFQQZ4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Error exponents in hypothesis testing#BAAM, Error exponents in binary hypothesis testing (statement)
History
- 2026-11-02: add by m2/dev
Mellin inversion theorem GYEQMNH55Y
| URI | m2://inv/GYEQMNH55Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#6L5Z, Mellin inversion theorem (statement)
History
- 2026-11-02: add by m2/dev
Simple-root normalization GYERJ8A9JY
| URI | m2://inv/GYERJ8A9JY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21662#F0NN, Simple-root normalization (statement). In 25B3WHEKH2/e1, theorem 3.6
History
- 2026-10-27: add by m2/v0.4.2
GYEVQJV86Y GYEVQJV86Y
| URI | m2://inv/GYEVQJV86Y |
|---|---|
| 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#Q6ZF (statement)
History
- 2026-11-01: add by m2/v0.6.15
Moscow Mathematical Society GYF263653V
| URI | m2://inv/GYF263653V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical societies#HIHB, Moscow Mathematical Society (definition)
History
- 2026-11-02: add by m2/dev
GYF4YZVX9X GYF4YZVX9X
| URI | m2://inv/GYF4YZVX9X |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38061#JDWD (definition). In XFBW60M3AR/e1, definition 3.8
History
- 2026-10-30: add by m2/v0.4.12
Vladimir Balabanov GYF6R63HXM
| URI | m2://inv/GYF6R63HXM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vladimir Balabanov, Vladimir Balabanov (topic). Also Wikidata Q109494330
History
- 2026-11-02: add by m2/dev
Statement of the theorem GYF9GVJKKZ
| URI | m2://inv/GYF9GVJKKZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Whitney inequality#LU7F, Statement of the theorem (statement)
History
- 2026-11-02: add by m2/dev
Formal definitions GYFKJHC1Y4
| URI | m2://inv/GYFKJHC1Y4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Path ordering (term rewriting)#B16D, Formal definitions (definition)
History
- 2026-11-02: add by m2/dev
GYFZ5QF46N GYFZ5QF46N
| URI | m2://inv/GYFZ5QF46N |
|---|---|
| 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#9B5N (statement). In X365951S4Q/e1, lemma 2.3
History
- 2026-10-29: add by m2/v0.4.12
GYG51S9N97 GYG51S9N97
| URI | m2://inv/GYG51S9N97 |
|---|---|
| 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.04398#0WDJ (statement). In DFZWC9HY0T/e1, lemma 4.1
History
- 2026-10-29: add by m2/v0.4.12
GYG8ZF4VEB GYG8ZF4VEB
| URI | m2://inv/GYG8ZF4VEB |
|---|---|
| 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.05184#T9PN (statement). In JK425E1F77/e1, lemma 5.1
History
- 2026-10-29: add by m2/v0.4.10
GYGAKK7E3T GYGAKK7E3T
| URI | m2://inv/GYGAKK7E3T |
|---|---|
| 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.01802#VLIR (statement). In XGPZ0G9E1Q/e1, corollary 5.5
History
- 2026-10-29: add by m2/v0.4.12
OMDoc GYGBY1DG37
| URI | m2://inv/GYGBY1DG37 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia OMDoc, OMDoc (definition). Also Wikidata Q268086
History
- 2026-11-02: add by m2/dev
No-three-in-line problem GYGFS1MP8E
| URI | m2://inv/GYGFS1MP8E |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | No-three-in-line problem TS442VKWAG |
Mentions
- wikidata: Wikidata Q6580594, No-three-in-line problem (problem). Also MathWorld No-Three-in-a-Line-Problem, OEIS A272651
- wikipedia: Wikipedia No-three-in-line problem, No-three-in-line problem (conjecture). Also Wikidata Q6580594
History
- 2026-10-26: add by m2/dev
GYH0M70HNJ GYH0M70HNJ
| URI | m2://inv/GYH0M70HNJ |
|---|---|
| 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#OMXO (example). In M0SQY5EZN5/e1, example 2.3.10
History
- 2026-10-27: add by m2/v0.3.5
Euler's totient function ($\varphi$) GYH1ZXC9JV
| URI | m2://inv/GYH1ZXC9JV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview General algebra > Divisibility in integral domains > Euler's totient function ($\varphi$), Euler's totient function ($\varphi$) (unknown). Also Mathlib Nat.totient
- mathlib_undergrad: mathlib_undergrad Ring Theory > Divisibility in integral domains > Euler's totient function ($\varphi$), Euler's totient function ($\varphi$) (unknown). Also Mathlib Nat.totient
History
- 2026-10-26: add by m2/dev
Relationship to the Brunn–Minkowski inequality GYH6YGW371
| URI | m2://inv/GYH6YGW371 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Prékopa–Leindler inequality#M0EZ, Relationship to the Brunn–Minkowski inequality (statement)
History
- 2026-11-02: add by m2/dev
GYHGWRW87E GYHGWRW87E
| URI | m2://inv/GYHGWRW87E |
|---|---|
| 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 2506.09840#3EPX (statement). In Y7TWHSF2HC/e1, proposition 2.8
History
- 2026-10-27: add by m2/v0.3.5
Theorem GYHQVNCANE
| URI | m2://inv/GYHQVNCANE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Banach–Alaoglu theorem#FT6S, Theorem (statement)
History
- 2026-11-02: add by m2/dev
GYHTHSDM5G GYHTHSDM5G
| URI | m2://inv/GYHTHSDM5G |
|---|---|
| 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#XCQ7 (statement). In JC3PAB5DRC/e1, lemma 16
History
- 2026-10-29: add by m2/v0.4.12
Corollary (Matoušek 2008, Lemma 2.2) GYHWQHBXM6
| URI | m2://inv/GYHWQHBXM6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sub-Gaussian distribution#2KXV, Corollary (Matoušek 2008, Lemma 2.2) (statement)
History
- 2026-11-02: add by m2/dev
François Châtelet GYHXDT0BW9
| URI | m2://inv/GYHXDT0BW9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia François Châtelet (mathematician), François Châtelet (topic). Also Wikidata Q132491
History
- 2026-11-02: add by m2/dev
joins GYJ01WY8EX
| URI | m2://inv/GYJ01WY8EX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32733#VZBO, joins (statement). In PCAS8S14J6/e1, lemma A.1
History
- 2026-10-31: add by m2/v0.5.6
Definitions GYJBHTEEAP
| URI | m2://inv/GYJBHTEEAP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia P-stable group#KHD2, Definitions (definition)
History
- 2026-11-02: add by m2/dev
GYJKAR3X6E GYJKAR3X6E
| URI | m2://inv/GYJKAR3X6E |
|---|---|
| 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.29677#68EY (statement)
History
- 2026-11-01: add by m2/v0.6.15
GYJP2CRBR9 GYJP2CRBR9
| URI | m2://inv/GYJP2CRBR9 |
|---|---|
| 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.15419#OCA6 (statement). In QHMR7JRJ0W/e1, lemma 2.1
History
- 2026-10-28: add by m2/v0.4.2
colimit, of sets GYK1JV1PAD
| URI | m2://inv/GYK1JV1PAD |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/5.9/colimit-of-sets, colimit, of sets (concept). In N54F33XE07, index, section 5.9
History
- 2026-11-01: add by m2/v0.6.13
GYK4CN8BSV GYK4CN8BSV
| URI | m2://inv/GYK4CN8BSV |
|---|---|
| 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 2604.05177#0BSC (statement). In G04BKQV6YM/e1, lemma 6.1
History
- 2026-10-27: add by m2/v0.3.5
Deterministic chain properties (Lemma 2 of restated GYK68NY652
| URI | m2://inv/GYK68NY652 |
|---|---|
| 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.02355#904E, Deterministic chain properties (Lemma 2 of restated (statement). In 1AXXV9ZT11/e1, lemma 1
History
- 2026-10-29: add by m2/v0.4.12
Unitary Galois criterion and sufficient bounds GYKA3DGJSQ
| URI | m2://inv/GYKA3DGJSQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11652#VAIM, Unitary Galois criterion and sufficient bounds (statement). In VEXM27M8Q1/e1, proposition 6.7
History
- 2026-10-28: add by m2/v0.4.3
Abraham Wald GYKC0K5GG0
| URI | m2://inv/GYKC0K5GG0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#OZDW, Abraham Wald (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#CSRG, Abraham Wald (topic)
- wikipedia: Wikipedia List of fellows of the American Statistical Association#WW9H, Abraham Wald (topic)
History
- 2026-11-02: add by m2/dev
Birdie rule GYKCHYRVPM
| URI | m2://inv/GYKCHYRVPM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logarithmic identities#W3A5, Birdie rule (unknown)
History
- 2026-11-02: add by m2/dev
GYKD9D14AM GYKD9D14AM
| URI | m2://inv/GYKD9D14AM |
|---|---|
| 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 2609.26600#9ICY (definition)
History
- 2026-11-01: add by m2/v0.6.15
functor GYKQDJ8X34
| URI | m2://inv/GYKQDJ8X34 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 3 |
| Outcome | open |
| Node | Functor 28NQ0KRHD3 |
Mentions
- mathlib_overview: mathlib_overview General algebra > Category theory > functor, functor (unknown). Also Mathlib CategoryTheory.Functor
- wikidata: Wikidata Q864475, functor (definition). Also EoM Functor, Mathlib CategoryTheory.Functor, MathWorld Functor, nLab functor, ProofWiki Definition:Functor
- wikipedia: Wikipedia Functor, Functor (definition). Also Wikidata Q864475
History
- 2026-10-26: add by m2/dev
GYKXX307R7 GYKXX307R7
| URI | m2://inv/GYKXX307R7 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21960#31M7 (definition). In QX77AN49J0/e1, definition 8.14
History
- 2026-10-27: add by m2/v0.4.2
GYM95B8GNF GYM95B8GNF
| URI | m2://inv/GYM95B8GNF |
|---|---|
| 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.19533#PP59 (statement). In RG4Z9C6ANS/e1, lemma 3.5
History
- 2026-10-28: add by m2/v0.4.2
Hensel's lemma (for $\mathbb{Z}_p$) GYMDAK35ZT
| URI | m2://inv/GYMDAK35ZT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview General algebra > Number theory > Hensel's lemma (for $\mathbb{Z}_p$), Hensel's lemma (for $\mathbb{Z}_p$) (unknown). Also Mathlib hensels_lemma
History
- 2026-10-26: add by m2/dev
Fuzzball resolution to the paradox GYMNCCHFTR
| URI | m2://inv/GYMNCCHFTR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Black hole information paradox#H5YN, Fuzzball resolution to the paradox (statement)
History
- 2026-11-02: add by m2/dev
Properties GYMNF0ZBMJ
| URI | m2://inv/GYMNF0ZBMJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Momentum operator#Y45E, Properties (statement)
History
- 2026-11-02: add by m2/dev
cartesian product GYMPMNTR95
| URI | m2://inv/GYMPMNTR95 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/B.3/cartesian-product, cartesian product (concept). In QKM9DD2H56, index, section B.3
History
- 2026-11-01: add by m2/v0.6.13
Second Hardy–Littlewood conjecture GYNBGQKWVS
| URI | m2://inv/GYNBGQKWVS |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Second Hardy–Littlewood conjecture, Second Hardy–Littlewood conjecture (conjecture). Also Wikidata Q2920423
History
- 2026-11-02: add by m2/dev
GYNBX8CXMA GYNBX8CXMA
| URI | m2://inv/GYNBX8CXMA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19076#CT06 (statement). In M77QPWHHRX/e1, proposition 2
History
- 2026-10-28: add by m2/v0.4.2
GYNGMZFW3Y GYNGMZFW3Y
| URI | m2://inv/GYNGMZFW3Y |
|---|---|
| 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 2609.39539#L7UF (definition). In GVR218P3ZR/e1, definition 4.6.1
History
- 2026-10-30: add by m2/v0.4.12
Local constants through common norms GYNJ64DXT8
| URI | m2://inv/GYNJ64DXT8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30301#GY8D, Local constants through common norms (statement). In 7NS75J7HAM/e1, lemma 7.9
History
- 2026-10-31: add by m2/v0.5.6
Clifford Stoll GYNTNFHCP6
| URI | m2://inv/GYNTNFHCP6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#1960, Clifford Stoll (unknown)
History
- 2026-11-02: add by m2/dev
Kummer surface GYP3WDCVQ9
| URI | m2://inv/GYP3WDCVQ9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#E6HU, Kummer surface (definition)
History
- 2026-11-02: add by m2/dev
GYP4PC1ZHK GYP4PC1ZHK
| URI | m2://inv/GYP4PC1ZHK |
|---|---|
| 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 2609.26386#YH1O (definition)
History
- 2026-11-01: add by m2/v0.6.15
Finite flat pieces over the conductor annuli GYPB4PS7TW
| URI | m2://inv/GYPB4PS7TW |
|---|---|
| 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.05652#WF83, Finite flat pieces over the conductor annuli (statement). In 8BNPFYQDQX/e1, corollary 8.8
History
- 2026-10-29: add by m2/v0.4.10
GYPBKX03MS GYPBKX03MS
| URI | m2://inv/GYPBKX03MS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/top-more.tex#definition-7 (definition). In RZP28ERRZV, definition, section 101.5
History
- 2026-11-01: add by m2/v0.6.13
General definition GYPTW4E61S
| URI | m2://inv/GYPTW4E61S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Viscosity#BF3B, General definition (definition)
History
- 2026-11-02: add by m2/dev
GYQ3VTH7MB GYQ3VTH7MB
| URI | m2://inv/GYQ3VTH7MB |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02663#A5R3 (unknown). In PGAZ70WGMG/e1, unknown 1
History
- 2026-10-29: add by m2/v0.4.12
Estimates for the characteristics GYQ769SX6T
| URI | m2://inv/GYQ769SX6T |
|---|---|
| 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.28251#8RW9, Estimates for the characteristics (statement)
History
- 2026-11-01: add by m2/v0.6.15
Definition GYQDQPWE6D
| URI | m2://inv/GYQDQPWE6D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Prototile#T4JD, Definition (definition)
History
- 2026-11-02: add by m2/dev
Examples GYQH85SPVC
| URI | m2://inv/GYQH85SPVC |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Complete metric space#G7RA, Examples (example)
History
- 2026-11-02: add by m2/dev
Gyula Vályi GYQM46ZNNH
| URI | m2://inv/GYQM46ZNNH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gyula Vályi, Gyula Vályi (topic). Also Wikidata Q379115
History
- 2026-11-02: add by m2/dev
convex, with respect to $\sF$ GYR1Q1NVR8
| URI | m2://inv/GYR1Q1NVR8 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv index/2.5/convex-with-respect-to-sf, convex, with respect to $\sF$ (concept). In VNMV985MXX, index, section 2.5
History
- 2026-11-01: add by m2/v0.6.13
du Bois-Reymond constants GYR9625PQA
| URI | m2://inv/GYR9625PQA |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5784439, du Bois-Reymond constants (concept). Also MathWorld duBois-ReymondConstants
History
- 2026-10-26: add by m2/dev
GYR9HB5CMT GYR9HB5CMT
| URI | m2://inv/GYR9HB5CMT |
|---|---|
| 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.32557#YBW4 (statement). In 7MSKC957WD/e1, proposition 4.2
History
- 2026-10-31: add by m2/v0.5.6
GYRDXDZ2T5 GYRDXDZ2T5
| URI | m2://inv/GYRDXDZ2T5 |
|---|---|
| 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.14681#ABYW (statement). In 459W0NBS5Q/e1, fact 2
History
- 2026-10-28: add by m2/v0.4.2
GYRJG1BX41 GYRJG1BX41
| URI | m2://inv/GYRJG1BX41 |
|---|---|
| Kind | definition |
| 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#BM2Z (definition). In 7V2PVZS04C/e1, definition 3.1
History
- 2026-10-31: add by m2/v0.5.6
Sylvester–Gallai theorem GYRKQCRMRC
| URI | m2://inv/GYRKQCRMRC |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 51-XX |
| Sources | 4 |
| Outcome | open |
| Node | Sylvester–Gallai theorem T3GGJN70P2 |
Mentions
- mathlib_1000: mathlib_1000 Q748233, Sylvester–Gallai theorem (statement). Also Wikidata Q748233
- thousand_plus: thousand_plus Q748233, Sylvester–Gallai theorem (statement). Also Wikidata Q748233, Wikipedia Sylvester–Gallai theorem
- wikidata: Wikidata Q748233, Sylvester–Gallai theorem (statement). Also MathWorld OrdinaryLine
- wikipedia: Wikipedia Sylvester–Gallai theorem, Sylvester–Gallai theorem (statement). Also Wikidata Q748233
History
- 2026-10-26: add by m2/dev
Compactness GYRQAWS9FF
| URI | m2://inv/GYRQAWS9FF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/many-valued-logic/sequent-calculus/proof-theoretic-notions.tex#prop:proves-compact, Compactness (statement). In PKGMM3P5QY, prop, section 40.4
History
- 2026-11-01: add by m2/v0.6.13
GYRTEW9DC7 GYRTEW9DC7
| URI | m2://inv/GYRTEW9DC7 |
|---|---|
| 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.20225#H66J (statement)
History
- 2026-11-02: add by m2/v0.6.18
Robust measures of scale GYRVHHNTB6
| URI | m2://inv/GYRVHHNTB6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#JTXF, Robust measures of scale (definition)
History
- 2026-11-02: add by m2/dev
Piergiorgio Odifreddi GYS03DT2G3
| URI | m2://inv/GYS03DT2G3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#WS5C, Piergiorgio Odifreddi (topic)
History
- 2026-11-02: add by m2/dev
Lu's second-gap conjecture GYS0F2TXJQ
| URI | m2://inv/GYS0F2TXJQ |
|---|---|
| Kind | conjecture |
| 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.33552#21WC, Lu's second-gap conjecture (conjecture). In SRAS2DJJQH/e1, conjecture 1.1
History
- 2026-10-30: add by m2/v0.4.12
quadratic form GYS1N255GG
| URI | m2://inv/GYS1N255GG |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula index/7.2.2/quadratic-form, quadratic form (concept). In 649HGZKE96, index, section 7.2.2
History
- 2026-11-01: add by m2/v0.6.13
GYS5SD0116 GYS5SD0116
| URI | m2://inv/GYS5SD0116 |
|---|---|
| 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 2601.10958#ZETV (statement). In 4W55AH5T6R/e1, theorem 2
History
- 2026-10-27: add by m2/v0.3.5
Deborah Ashby GYS5YKQHB3
| URI | m2://inv/GYS5YKQHB3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of presidents of the Royal Statistical Society#U20I, Deborah Ashby (unknown)
History
- 2026-11-02: add by m2/dev
Examples GYS6C0SYTA
| URI | m2://inv/GYS6C0SYTA |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Statistical distance#N6U1, Examples (example)
History
- 2026-11-02: add by m2/dev
Randomized lower bound in arbitrary dimension GYS88HDB3T
| URI | m2://inv/GYS88HDB3T |
|---|---|
| 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.16715#00TR, Randomized lower bound in arbitrary dimension (statement). In RA1Z6BV25A/e1, lemma 5.5
History
- 2026-10-28: add by m2/v0.4.2
Applications GYSB9CDMYT
| URI | m2://inv/GYSB9CDMYT |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Parts-per notation#JZ5E, Applications (example)
History
- 2026-11-02: add by m2/dev
GYSDB99ETD GYSDB99ETD
| URI | m2://inv/GYSDB99ETD |
|---|---|
| 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 2207.11097#M7JO (statement). In 13H5BTAXHF/e1, lemma 3
History
- 2026-10-27: add by m2/v0.3.5
Euclidean plane GYSH47P6EZ
| URI | m2://inv/GYSH47P6EZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of sums of reciprocals#03I8, Euclidean plane (definition)
History
- 2026-11-02: add by m2/dev
GYSN7J7HXZ GYSN7J7HXZ
| URI | m2://inv/GYSN7J7HXZ |
|---|---|
| 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.19288#LSUT (statement). In 1EA6AM9V01/e1, lemma 3.3
History
- 2026-10-28: add by m2/v0.4.2
Definition GYSSMFK466
| URI | m2://inv/GYSSMFK466 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Convex conjugate#30UU, Definition (definition)
History
- 2026-11-02: add by m2/dev
The de Bruijn–Erdős theorem GYT08ZWDGP
| URI | m2://inv/GYT08ZWDGP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Incidence geometry#JXA1, The de Bruijn–Erdős theorem (statement)
History
- 2026-11-02: add by m2/dev
Terry Speed GYT317N3CT
| URI | m2://inv/GYT317N3CT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#KEQS, Terry Speed (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#AHYE, Terry Speed (topic)
- wikipedia: Wikipedia List of fellows of the American Statistical Association#13P7, Terry Speed (topic)
History
- 2026-11-02: add by m2/dev
Examples GYT6463A16
| URI | m2://inv/GYT6463A16 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mixed radix#1GOZ, Examples (example)
History
- 2026-11-02: add by m2/dev
Basic properties GYT7DR0X0P
| URI | m2://inv/GYT7DR0X0P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ricci decomposition#HQTW, Basic properties (statement)
History
- 2026-11-02: add by m2/dev
perpendicular bisectors GYTB40AHQ5
| URI | m2://inv/GYTB40AHQ5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of triangle inequalities#V54L, perpendicular bisectors (definition)
History
- 2026-11-02: add by m2/dev
GYTE7NRX29 GYTE7NRX29
| URI | m2://inv/GYTE7NRX29 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/filtrations/S5-fmp.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 51.7
History
- 2026-11-01: add by m2/v0.6.13
Periodic overlaps GYTMHEM57B
| URI | m2://inv/GYTMHEM57B |
|---|---|
| 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.00241#MBJY, Periodic overlaps (statement). In VBRQTN2RXN/e1, lemma 2.1
History
- 2026-10-30: add by m2/v0.4.12
GYTP5MGESP GYTP5MGESP
| URI | m2://inv/GYTP5MGESP |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises4-1.xml#exercise-8 (exercise). In 649HGZKE96, exercise, section 4.1
History
- 2026-11-01: add by m2/v0.6.13
Examples GYTVSFWXB3
| URI | m2://inv/GYTVSFWXB3 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Injective object#IJNF, Examples (example)
History
- 2026-11-02: add by m2/dev
GYV4QXZQG3 GYV4QXZQG3
| URI | m2://inv/GYV4QXZQG3 |
|---|---|
| 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.07064#W9CG (statement). In GPK6W5XQM3/e1, lemma 3
History
- 2026-10-29: add by m2/v0.4.10
Robert Baldwin Hayward GYV62HTK31
| URI | m2://inv/GYV62HTK31 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Robert Baldwin Hayward, Robert Baldwin Hayward (topic). Also Wikidata Q17421400
History
- 2026-11-02: add by m2/dev
GYV9G050WX GYV9G050WX
| URI | m2://inv/GYV9G050WX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/CountableSets.tex#theorem-4 (statement). In P1C114YBXG, theorem, section 1
History
- 2026-11-01: add by m2/v0.6.13
GYVCPV96QF GYVCPV96QF
| URI | m2://inv/GYVCPV96QF |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2204.13401#4MMG (definition). In B8MJT0GGW8/e1, definition 2.12
History
- 2026-10-27: add by m2/v0.4.0
DigiCipher 2 GYVEHT6661
| URI | m2://inv/GYVEHT6661 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia DigiCipher 2, DigiCipher 2 (definition). Also Wikidata Q5275705
History
- 2026-11-02: add by m2/dev
Ordinary differential equation GYVGEAMWDN
| URI | m2://inv/GYVGEAMWDN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of undecidable problems#8U6G, Ordinary differential equation (definition)
History
- 2026-11-02: add by m2/dev
GYVJRKC3XY GYVJRKC3XY
| URI | m2://inv/GYVJRKC3XY |
|---|---|
| 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.08052#X769 (statement). In 672XAVEQ34/e1, theorem 1.1
History
- 2026-10-29: add by m2/v0.4.10
GYVNGX0HDC GYVNGX0HDC
| URI | m2://inv/GYVNGX0HDC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2302.06336#9KNK (statement). In CCRSWBXWXW/e1, theorem 1.1
History
- 2026-10-27: add by m2/v0.3.5
mass–energy equivalence GYVNPSJDGW
| URI | m2://inv/GYVNPSJDGW |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q35875, mass–energy equivalence (concept). Also ProofWiki Einstein's_Mass-Energy_Equation
- wikipedia: Wikipedia Mass–energy equivalence, Mass–energy equivalence (definition). Also Wikidata Q35875
History
- 2026-10-26: add by m2/dev
dyne GYVQ93JWA9
| URI | m2://inv/GYVQ93JWA9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q201933, dyne (definition). Also ProofWiki Definition:CGS/Force/Dyne
History
- 2026-10-26: add by m2/dev
Definition GYVSPZP1PA
| URI | m2://inv/GYVSPZP1PA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jacobian matrix and determinant#VL2F, Definition (definition)
History
- 2026-11-02: add by m2/dev
GYVYF3TTC4 GYVYF3TTC4
| URI | m2://inv/GYVYF3TTC4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/ordinals/opps.tex#defn-1 (definition). In PKGMM3P5QY, defn, section 72.7
History
- 2026-11-01: add by m2/v0.6.13
Rozanne Colchester GYW3QCM28F
| URI | m2://inv/GYW3QCM28F |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rozanne Colchester, Rozanne Colchester (topic). Also Wikidata Q24039244
History
- 2026-11-02: add by m2/dev
Iterative root-finding methods GYW7HE66HV
| URI | m2://inv/GYW7HE66HV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Root-finding algorithm#UVJ7, Iterative root-finding methods (unknown)
History
- 2026-11-02: add by m2/dev
Michael R. Douglas GYWA8DJHRT
| URI | m2://inv/GYWA8DJHRT |
|---|---|
| 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 Q1755564, Michael R. Douglas (unknown). Also nLab Michael Douglas
History
- 2026-10-26: add by m2/dev
Thom Mayne GYWC8T3GW3
| URI | m2://inv/GYWC8T3GW3 |
|---|---|
| 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#NHNI, Thom Mayne (unknown)
History
- 2026-11-02: add by m2/dev
spectral sequence GYWQTYJ9GF
| URI | m2://inv/GYWQTYJ9GF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Spectral sequence GG8AYV847V |
Mentions
- wikidata: Wikidata Q3503315, spectral sequence (unknown). Also EoM Spectral_sequence, MathWorld SpectralSequence, nLab spectral sequence
- wikipedia: Wikipedia Spectral sequence, Spectral sequence (definition). Also Wikidata Q3503315
History
- 2026-10-26: add by m2/dev
Symmetries GYX6HE9HGB
| URI | m2://inv/GYX6HE9HGB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zernike polynomials#ZWJW, Symmetries (statement)
History
- 2026-11-02: add by m2/dev
Schützenberger group GYX830HR9B
| URI | m2://inv/GYX830HR9B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schützenberger group, Schützenberger group (definition). Also Wikidata Q3117699
History
- 2026-11-02: add by m2/dev
GYX9M6R3EY GYX9M6R3EY
| URI | m2://inv/GYX9M6R3EY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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.25897#38G9 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Eratosthenes GYXKR61G9R
| URI | m2://inv/GYXKR61G9R |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Greek mathematicians#JENX, Eratosthenes (topic)
History
- 2026-11-02: add by m2/dev
Dirac equation in curved spacetime GYXPZJ4G31
| URI | m2://inv/GYXPZJ4G31 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dirac equation in curved spacetime, Dirac equation in curved spacetime (definition). Also Wikidata Q16853908
History
- 2026-11-02: add by m2/dev
Variations GYXSGXNMYK
| URI | m2://inv/GYXSGXNMYK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Balance puzzle#QHQ5, Variations (statement)
History
- 2026-11-02: add by m2/dev
Yehuda Shalom GYXVKDGQZ0
| URI | m2://inv/GYXVKDGQZ0 |
|---|---|
| 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#UBIN, Yehuda Shalom (unknown)
History
- 2026-11-02: add by m2/dev
Shock-controlled quiet-child refinement GYY5D87T85
| URI | m2://inv/GYY5D87T85 |
|---|---|
| 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.09510#ZIEB, Shock-controlled quiet-child refinement (statement). In JR1HE83H93/e1, theorem B.4
History
- 2026-10-29: add by m2/v0.4.10
Fourth dimension in art GYYANAQP6M
| URI | m2://inv/GYYANAQP6M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fourth dimension in art, Fourth dimension in art (definition). Also Wikidata Q3413630
History
- 2026-11-02: add by m2/dev
Formulation GYYB6WH3AQ
| URI | m2://inv/GYYB6WH3AQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia De Broglie–Bohm theory#Y7TP, Formulation (definition)
History
- 2026-11-02: add by m2/dev
Definition GYYHZ55NCR
| URI | m2://inv/GYYHZ55NCR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Complex analytic variety#BUMD, Definition (definition)
History
- 2026-11-02: add by m2/dev
GYYQWVSEJK GYYQWVSEJK
| URI | m2://inv/GYYQWVSEJK |
|---|---|
| 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.34852#DAEJ (statement). In TZXEMCBK5V/e1, proposition 6.4
History
- 2026-10-30: add by m2/v0.4.12
Demographics of Western Norway GYYWB3HS67
| URI | m2://inv/GYYWB3HS67 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Demographics of Western Norway, Demographics of Western Norway (definition). Also Wikidata Q5256102
History
- 2026-11-02: add by m2/dev
Prith Banerjee GYYZG210RF
| URI | m2://inv/GYYZG210RF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#5HM6, Prith Banerjee (unknown)
History
- 2026-11-02: add by m2/dev
Biochemical systems theory GYZ9XTRZ1J
| URI | m2://inv/GYZ9XTRZ1J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of types of systems theory#09QY, Biochemical systems theory (definition)
History
- 2026-11-02: add by m2/dev
Robert Finn GYZGQP7V4W
| URI | m2://inv/GYZGQP7V4W |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Robert Finn (mathematician), Robert Finn (topic). Also Wikidata Q15454570
History
- 2026-11-02: add by m2/dev
C. S. Seshadri GYZK1PD596
| URI | m2://inv/GYZK1PD596 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#NDC9, C. S. Seshadri (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#XU94, C. S. Seshadri (topic)
History
- 2026-11-02: add by m2/dev
GYZP2ZBCQR GYZP2ZBCQR
| URI | m2://inv/GYZP2ZBCQR |
|---|---|
| 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.20273#57KI (statement). In AEGHDSD5S7/e1, lemma 4.2
History
- 2026-10-27: add by m2/v0.4.2
James Wood GYZY0RSAGE
| URI | m2://inv/GYZY0RSAGE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia James Wood (mathematician), James Wood (topic). Also Wikidata Q6145777
History
- 2026-11-02: add by m2/dev