Inventory rows AG
The cards of the rows of the inventory whose ids start with AG. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Weight ratio and mass ratio AG00BR76KK
| URI | m2://inv/AG00BR76KK |
|---|---|
| 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.25060#R7BS, Weight ratio and mass ratio (statement)
History
- 2026-11-01: add by m2/v0.6.15
Convergence of the Fully Discrete Scheme with Boundary Conditions AG00QEAM1N
| URI | m2://inv/AG00QEAM1N |
|---|---|
| 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.13355#QVAL, Convergence of the Fully Discrete Scheme with Boundary Conditions (statement). In QJ1G1HBC6C/e1, corollary 7.7
History
- 2026-10-28: add by m2/v0.4.2
Applications AG07GTMCG4
| URI | m2://inv/AG07GTMCG4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Poinsot's ellipsoid#OTYU, Applications (example)
History
- 2026-11-02: add by m2/dev
Universal science AG088ZQDNY
| URI | m2://inv/AG088ZQDNY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Universal science, Universal science (definition). Also Wikidata Q2495640
History
- 2026-11-02: add by m2/dev
Idola theatri AG0AR0S5J4
| URI | m2://inv/AG0AR0S5J4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Idola theatri, Idola theatri (definition). Also Wikidata Q5989388
History
- 2026-11-02: add by m2/dev
High-Dimensional Hidden Direction Distribution AG0BBSGFN7
| URI | m2://inv/AG0BBSGFN7 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15723#6Q4N, High-Dimensional Hidden Direction Distribution (definition). In A3KXZ2GBHN/e1, definition 1
History
- 2026-10-28: add by m2/v0.4.2
Nonconvexity and Existence of Solutions in the Wasserstein-2 Space AG0JGFE4R9
| URI | m2://inv/AG0JGFE4R9 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 35-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.20998#VVBW, Nonconvexity and Existence of Solutions in the Wasserstein-2 Space (example)
History
- 2026-11-02: add by m2/v0.6.18
Statement AG0K5HHWGE
| URI | m2://inv/AG0K5HHWGE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Liouville's theorem (complex analysis)#6WKI, Statement (statement)
History
- 2026-11-02: add by m2/dev
T1 space AG0MRWZ6B0
| URI | m2://inv/AG0MRWZ6B0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of general topology topics#F060, T1 space (definition)
History
- 2026-11-02: add by m2/dev
Mean preserving spread AG0RGHH3FE
| URI | m2://inv/AG0RGHH3FE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#68R8, Mean preserving spread (definition)
History
- 2026-11-02: add by m2/dev
AG0X7516RK AG0X7516RK
| URI | m2://inv/AG0X7516RK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27114#W9W1 (statement)
History
- 2026-11-01: add by m2/v0.6.15
AG0Y0J5RAP AG0Y0J5RAP
| URI | m2://inv/AG0Y0J5RAP |
|---|---|
| Kind | statement |
| 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#6VSS (statement). In YXZX6Z8S6A/e1, theorem 5.15
History
- 2026-10-28: add by m2/v0.4.2
AG10FK0CZY AG10FK0CZY
| URI | m2://inv/AG10FK0CZY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 37-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.26588#5KEM (statement)
History
- 2026-11-01: add by m2/v0.6.15
finitely generated AG1217CJ8N
| URI | m2://inv/AG1217CJ8N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#9BLJ, finitely generated (definition)
History
- 2026-11-02: add by m2/dev
Clive W. Kilmister AG12P34DQ4
| URI | m2://inv/AG12P34DQ4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#CDFH, Clive W. Kilmister (topic)
History
- 2026-11-02: add by m2/dev
AG15T465DH AG15T465DH
| URI | m2://inv/AG15T465DH |
|---|---|
| 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.21298#9RV0 (statement). In AXWM2MBYXV/e1, corollary 4.3
History
- 2026-10-27: add by m2/v0.4.2
AG1E6410XZ AG1E6410XZ
| URI | m2://inv/AG1E6410XZ |
|---|---|
| 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.18324#E58D (statement). In C0EG2EY0M4/e1, corollary 2.3
History
- 2026-10-28: add by m2/v0.4.2
AG1QRSHHG4 AG1QRSHHG4
| URI | m2://inv/AG1QRSHHG4 |
|---|---|
| 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.07299#D8X3 (definition). In M70KP0BZ99/e1, definition 2.2
History
- 2026-10-29: add by m2/v0.4.10
Polynomial DAE-aware certificates AG1R75RQCF
| URI | m2://inv/AG1R75RQCF |
|---|---|
| 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.09634#V14L, Polynomial DAE-aware certificates (statement). In FH42QK814C/e1, proposition 1
History
- 2026-10-29: add by m2/v0.4.10
Law of total variance AG1T4RSFZZ
| URI | m2://inv/AG1T4RSFZZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Law of total variance, Law of total variance (statement). Also Wikidata Q1055879
History
- 2026-11-02: add by m2/dev
Universal Approximation AG21GPZ63N
| URI | m2://inv/AG21GPZ63N |
|---|---|
| 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 2502.17203#6Y5C, Universal Approximation (statement). In 3YCED562CH/e1, theorem 2
History
- 2026-10-27: add by m2/v0.3.5
AG23KHBXJ5 AG23KHBXJ5
| URI | m2://inv/AG23KHBXJ5 |
|---|---|
| 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.12053#MDOD (statement). In MQ226ETRP6/e1, corollary 1.7
History
- 2026-10-28: add by m2/v0.4.3
AG25Q8ZBWS AG25Q8ZBWS
| URI | m2://inv/AG25Q8ZBWS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 46-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24901#7K2A (statement)
History
- 2026-11-01: add by m2/v0.6.15
Ofer Zeitouni AG29FYWWHV
| URI | m2://inv/AG29FYWWHV |
|---|---|
| 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#1KCW, Ofer Zeitouni (topic)
History
- 2026-11-02: add by m2/dev
Ethel M. Elderton AG2FBKTXBR
| URI | m2://inv/AG2FBKTXBR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ethel M. Elderton, Ethel M. Elderton (topic). Also Wikidata Q5403153
History
- 2026-11-02: add by m2/dev
Directed and restricted-target radii AG2H0JCMSP
| URI | m2://inv/AG2H0JCMSP |
|---|---|
| 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.13580#A9HD, Directed and restricted-target radii (statement). In KEQ57N9N7Z/e1, theorem 3.15
History
- 2026-10-28: add by m2/v0.4.2
AG2H6VV43Z AG2H6VV43Z
| URI | m2://inv/AG2H6VV43Z |
|---|---|
| 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.02642#N1AX (statement). In VMWV58VWKN/e1, lemma 4.6
History
- 2026-10-29: add by m2/v0.4.12
Stationary bias and iteration lower bounds, informal AG2KJSD1FE
| URI | m2://inv/AG2KJSD1FE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06308#8E9W, Stationary bias and iteration lower bounds, informal (statement). In HTWSDDAWGS/e1, theorem 1.2
History
- 2026-10-29: add by m2/v0.4.10
Lokavibhaga AG2KXWGGX2
| URI | m2://inv/AG2KXWGGX2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a book, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1262896, Lokavibhaga (unknown). Also ProofWiki Book:Sarvanandin/Lokavibhaga
History
- 2026-10-26: add by m2/dev
Matter power spectrum AG2QRDFNAW
| URI | m2://inv/AG2QRDFNAW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Matter power spectrum, Matter power spectrum (definition). Also Wikidata Q6789742
History
- 2026-11-02: add by m2/dev
Joshua Milne AG2QTD7FRH
| URI | m2://inv/AG2QTD7FRH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of actuaries#KLMQ, Joshua Milne (unknown)
History
- 2026-11-02: add by m2/dev
AG34F91GC1 AG34F91GC1
| URI | m2://inv/AG34F91GC1 |
|---|---|
| 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.10325#A49F (statement). In 66CDJ94PGW/e1, proposition 4.3
History
- 2026-10-29: add by m2/v0.4.10
Examples AG34Q0NA54
| URI | m2://inv/AG34Q0NA54 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Finger binary#R3OQ, Examples (example)
History
- 2026-11-02: add by m2/dev
Eduard Heine AG35JKQRDR
| URI | m2://inv/AG35JKQRDR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of real analysis topics#TWIF, Eduard Heine (topic)
History
- 2026-11-02: add by m2/dev
Properties AG3AFVAQTK
| URI | m2://inv/AG3AFVAQTK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pentagonal gyrobicupola#HMZH, Properties (statement)
History
- 2026-11-02: add by m2/dev
RSA-309 AG3CZZYG7H
| URI | m2://inv/AG3CZZYG7H |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia RSA numbers#T9J5, RSA-309 (unknown)
History
- 2026-11-02: add by m2/dev
Definition AG3EVR69MV
| URI | m2://inv/AG3EVR69MV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cartesian monoid#9VXO, Definition (definition)
History
- 2026-11-02: add by m2/dev
Statement of the inequality AG3FVGDZF9
| URI | m2://inv/AG3FVGDZF9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cauchy–Schwarz inequality#AZK6, Statement of the inequality (statement)
History
- 2026-11-02: add by m2/dev
AG3K5JJRAP AG3K5JJRAP
| URI | m2://inv/AG3K5JJRAP |
|---|---|
| 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.10365#PFAB (statement). In PRVQPSBVHK/e1, lemma 19
History
- 2026-10-29: add by m2/v0.4.10
AG3N31JHNS AG3N31JHNS
| URI | m2://inv/AG3N31JHNS |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-systems.tex#example-2 (example). In E9HS8K3A52, example, section 10.1.3
History
- 2026-11-01: add by m2/v0.6.13
AG3PZP6E2D AG3PZP6E2D
| URI | m2://inv/AG3PZP6E2D |
|---|---|
| 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.12716#KVTI (statement). In M6BCSQSM3R/e1, theorem 2
History
- 2026-10-28: add by m2/v0.4.2
A special case AG47S5NGFW
| URI | m2://inv/AG47S5NGFW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Faà di Bruno's formula#66RP, A special case (statement)
History
- 2026-11-02: add by m2/dev
Alexander Galich AG4C42ASP4
| URI | m2://inv/AG4C42ASP4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#W42Y, Alexander Galich (unknown)
History
- 2026-11-02: add by m2/dev
AG4DKAF8XN AG4DKAF8XN
| URI | m2://inv/AG4DKAF8XN |
|---|---|
| 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.02669#00UZ (statement). In NSBSWH6XB4/e1, lemma 5.5
History
- 2026-10-29: add by m2/v0.4.12
AG4EGHXETP AG4EGHXETP
| URI | m2://inv/AG4EGHXETP |
|---|---|
| Kind | example |
| 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.22326#FBRS (example). In EAABRG99V8/e1, example 3.9
History
- 2026-10-27: add by m2/v0.4.0
AG4MC6Q6ZE AG4MC6Q6ZE
| URI | m2://inv/AG4MC6Q6ZE |
|---|---|
| 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#JCW5 (statement). In 1QSCT53ZED/e1, lemma 2.5
History
- 2026-10-27: add by m2/v0.4.0
Equal-cycle congruence AG4PQFAYP1
| URI | m2://inv/AG4PQFAYP1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 57-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18618#78RM, Equal-cycle congruence (statement). In C8VC86B6H8/e1, theorem 5.6
History
- 2026-10-28: add by m2/v0.4.2
Lipschitz function AG4Q04Q3QR
| URI | m2://inv/AG4Q04Q3QR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probabilistic proofs of non-probabilistic theorems#QSHV, Lipschitz function (definition)
History
- 2026-11-02: add by m2/dev
AG4RY4HAQZ AG4RY4HAQZ
| URI | m2://inv/AG4RY4HAQZ |
|---|---|
| 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.06340#YZ1K (statement). In PKNZPECH82/e1, theorem 9.4
History
- 2026-10-29: add by m2/v0.4.10
Coefficient of determination AG52V1F791
| URI | m2://inv/AG52V1F791 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coefficient of determination, Coefficient of determination (definition). Also Wikidata Q192830
History
- 2026-11-02: add by m2/dev
Abraham Sinkov AG59NHZHW4
| URI | m2://inv/AG59NHZHW4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#QTA9, Abraham Sinkov (topic)
History
- 2026-11-02: add by m2/dev
Definition AG5AZEEHJ9
| URI | m2://inv/AG5AZEEHJ9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reachability#3RBX, Definition (definition)
History
- 2026-11-02: add by m2/dev
Applications AG5BZVJ4E8
| URI | m2://inv/AG5BZVJ4E8 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Line of greatest slope#3KOI, Applications (example)
History
- 2026-11-02: add by m2/dev
AG5EZJ5Q2E AG5EZJ5Q2E
| URI | m2://inv/AG5EZJ5Q2E |
|---|---|
| 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.06764#550D (statement). In MSWV3MJ5CE/e1, lemma 4.6
History
- 2026-10-29: add by m2/v0.4.10
Cylindrical perspective AG5GY0C334
| URI | m2://inv/AG5GY0C334 |
|---|---|
| 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#9P3Z, Cylindrical perspective (unknown)
History
- 2026-11-02: add by m2/dev
Kunen's inconsistency theorem AG5KDWWR2M
| URI | m2://inv/AG5KDWWR2M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kunen's inconsistency theorem, Kunen's inconsistency theorem (statement). Also Wikidata Q6444407
History
- 2026-11-02: add by m2/dev
Slothful induction AG5M1ZAS0G
| URI | m2://inv/AG5M1ZAS0G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Slothful induction, Slothful induction (definition). Also Wikidata Q7541433
History
- 2026-11-02: add by m2/dev
AG5MQG9NA4 AG5MQG9NA4
| URI | m2://inv/AG5MQG9NA4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04382#XJF8 (statement). In 7VW8XD28G1/e1, lemma 2.5
History
- 2026-10-29: add by m2/v0.4.12
Averaging interactions at large scales AG5RNA2N36
| URI | m2://inv/AG5RNA2N36 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21933#VMAP, Averaging interactions at large scales (statement)
History
- 2026-11-02: add by m2/v0.6.17
Michael Mitzenmacher AG5WDTEMTX
| URI | m2://inv/AG5WDTEMTX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#PZ8G, Michael Mitzenmacher (unknown)
History
- 2026-11-02: add by m2/dev
Excluded exponents AG66GNJ3M3
| URI | m2://inv/AG66GNJ3M3 |
|---|---|
| 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.07214#RLPS, Excluded exponents (statement). In 669PBFJX0Z/e1, lemma 2
History
- 2026-10-29: add by m2/v0.4.10
characteristic AG66HSQE81
| URI | m2://inv/AG66HSQE81 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#3TJJ, characteristic (definition)
History
- 2026-11-02: add by m2/dev
Luigi Fantappiè AG66VY6Q58
| URI | m2://inv/AG66VY6Q58 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Luigi Fantappiè, Luigi Fantappiè (topic). Also Wikidata Q2755831
History
- 2026-11-02: add by m2/dev
AG68SW84J0 AG68SW84J0
| URI | m2://inv/AG68SW84J0 |
|---|---|
| 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.23994#GOT9 (definition)
History
- 2026-11-02: add by m2/v0.6.17
Rape in Indonesia AG6AVFJWB9
| URI | m2://inv/AG6AVFJWB9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rape statistics#82MM, Rape in Indonesia (unknown)
History
- 2026-11-02: add by m2/dev
AG6BBNVJ2D AG6BBNVJ2D
| URI | m2://inv/AG6BBNVJ2D |
|---|---|
| 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 2011.07352#MGT3 (statement). In 3VPC1GGZ3E/e1, theorem 4.1
History
- 2026-10-27: add by m2/v0.3.5
AG6EDSD663 AG6EDSD663
| URI | m2://inv/AG6EDSD663 |
|---|---|
| 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 2609.26382#GZFZ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Homogeneity index and admissible domain. AG6G8SP2G7
| URI | m2://inv/AG6G8SP2G7 |
|---|---|
| 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 2610.05354#F5P2, Homogeneity index and admissible domain. (definition). In TZ5BMDXRQZ/e1, definition 2.1
History
- 2026-10-29: add by m2/v0.4.10
AG6MJS5FBF AG6MJS5FBF
| URI | m2://inv/AG6MJS5FBF |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 37-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19194#J8VO (definition). In P9D8W64P7X/e1, definition 2.11
History
- 2026-10-28: add by m2/v0.4.2
M. Lothaire AG6PBM814Q
| URI | m2://inv/AG6PBM814Q |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia M. Lothaire, M. Lothaire (topic). Also Wikidata Q3272442
History
- 2026-11-02: add by m2/dev
krypton-83 AG6RBP98ZK
| URI | m2://inv/AG6RBP98ZK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1921298, krypton-83 (definition). Also ProofWiki Definition:Krypton/83
History
- 2026-10-26: add by m2/dev
mathematics, formalized AG6T7EV80V
| URI | m2://inv/AG6T7EV80V |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/B.6/mathematics-formalized, mathematics, formalized (concept). In N54F33XE07, index, section B.6
History
- 2026-11-01: add by m2/v0.6.13
AG78M6H828 AG78M6H828
| URI | m2://inv/AG78M6H828 |
|---|---|
| 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 1508.01731#NGUH (statement). In PKJFZEY8ZV/e1, theorem 3.2
History
- 2026-10-27: add by m2/v0.3.5
Example AG7BVJFSG2
| URI | m2://inv/AG7BVJFSG2 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Relationships among probability distributions#AYMS, Example (example)
History
- 2026-11-02: add by m2/dev
Examples AG7FB2N84C
| URI | m2://inv/AG7FB2N84C |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Paradoxical set#CNSA, Examples (example)
History
- 2026-11-02: add by m2/dev
Geiringer, Hilda AG7HCHPZ7T
| URI | m2://inv/AG7HCHPZ7T |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#Y7D3, Geiringer, Hilda (topic)
History
- 2026-11-02: add by m2/dev
Application AG7S4WTWBA
| URI | m2://inv/AG7S4WTWBA |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ellis drainhole#JRSW, Application (example)
History
- 2026-11-02: add by m2/dev
AG7V6WHET5 AG7V6WHET5
| URI | m2://inv/AG7V6WHET5 |
|---|---|
| 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 2007.14459#HIIN (definition). In SGQ7VFEZ22/e1, definition 3.1
History
- 2026-10-27: add by m2/v0.3.5
AG7ZKB4ZVZ AG7ZKB4ZVZ
| URI | m2://inv/AG7ZKB4ZVZ |
|---|---|
| Kind | definition |
| 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.18094#SYJS (definition). In AYANBEWSFH/e1, definition 2.1
History
- 2026-10-28: add by m2/v0.4.2
Colette Moeglin AG8377ETJS
| URI | m2://inv/AG8377ETJS |
|---|---|
| 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#QN18, Colette Moeglin (topic)
History
- 2026-11-02: add by m2/dev
AG83P409DN AG83P409DN
| URI | m2://inv/AG83P409DN |
|---|---|
| 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 2610.19658#90ZB (statement). In G00EYA9DXG/e1, lemma 2.2
History
- 2026-10-28: add by m2/v0.4.2
Example AG8C46JR85
| URI | m2://inv/AG8C46JR85 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Montgomery curve#GFHW, Example (example)
History
- 2026-11-02: add by m2/dev
Siegel modular variety AG8CWHT2C7
| URI | m2://inv/AG8CWHT2C7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Siegel modular variety, Siegel modular variety (definition). Also Wikidata Q85801108
History
- 2026-11-02: add by m2/dev
AG8HAJ6TZG AG8HAJ6TZG
| URI | m2://inv/AG8HAJ6TZG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12371#LVPA (statement). In 8TTFQH19QR/e1, lemma 6
History
- 2026-10-28: add by m2/v0.4.2
AG8RPW4W4Z AG8RPW4W4Z
| URI | m2://inv/AG8RPW4W4Z |
|---|---|
| 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.37124#BAYH (statement). In 2QF1YG9DD0/e1, corollary 4.12
History
- 2026-10-30: add by m2/v0.4.12
Numerical data AG8T4Y47T8
| URI | m2://inv/AG8T4Y47T8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#5W3U, Numerical data (definition)
History
- 2026-11-02: add by m2/dev
Von Neumann universe AG8T5BKTV5
| URI | m2://inv/AG8T5BKTV5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical logic topics#FQ4P, Von Neumann universe (definition)
History
- 2026-11-02: add by m2/dev
Characterization AG8XDGFJ5B
| URI | m2://inv/AG8XDGFJ5B |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cayley graph#OS7X, Characterization (statement)
History
- 2026-11-02: add by m2/dev
AG8Z1DRD7J AG8Z1DRD7J
| URI | m2://inv/AG8Z1DRD7J |
|---|---|
| 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.24795#59A9 (statement)
History
- 2026-11-01: add by m2/v0.6.15
independence number AG95J0SXXN
| URI | m2://inv/AG95J0SXXN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q93598162, independence number (unknown). Also MathWorld IndependenceNumber
History
- 2026-10-26: add by m2/dev
Gamma distribution AG99VMHJKT
| URI | m2://inv/AG99VMHJKT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#46C8, Gamma distribution (definition)
- wikipedia: Wikipedia List of factorial and binomial topics#8M4I, Gamma distribution (definition)
History
- 2026-11-02: add by m2/dev
AG9C6PZ4MG AG9C6PZ4MG
| URI | m2://inv/AG9C6PZ4MG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28774#8T9A (statement)
History
- 2026-11-01: add by m2/v0.6.15
AG9FJZD09B AG9FJZD09B
| URI | m2://inv/AG9FJZD09B |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 01-XX, 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28552#3NNP (problem)
History
- 2026-11-01: add by m2/v0.6.15
AG9JNTECM2 AG9JNTECM2
| URI | m2://inv/AG9JNTECM2 |
|---|---|
| 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.29699#ZFI0 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Applications AG9MGRJSC7
| URI | m2://inv/AG9MGRJSC7 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Predicate transformer semantics#MJ6L, Applications (example)
History
- 2026-11-02: add by m2/dev
rotation AG9PBHGZDK
| URI | m2://inv/AG9PBHGZDK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Rotation 0HFREYRSZP |
Mentions
- wikidata: Wikidata Q107617, rotation (unknown). Also MathWorld Rotation
- wikidata: Wikidata Q848368, rotation (unknown). Also EoM Rotation, MathWorld Rotation
- wikipedia: Wikipedia Rotation, Rotation (definition). Also Wikidata Q107617
- wikipedia: Wikipedia Rotation (mathematics), Rotation (definition). Also Wikidata Q848368
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
AG9T6KBHQV AG9T6KBHQV
| URI | m2://inv/AG9T6KBHQV |
|---|---|
| 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.02628#757Y (statement). In G4S9C5M1A4/e1, proposition 8.2
History
- 2026-10-29: add by m2/v0.4.12
Galois AG9YWDZK3E
| URI | m2://inv/AG9YWDZK3E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of module theory#RA80, Galois (definition)
History
- 2026-11-02: add by m2/dev
AGA2AFMA64 AGA2AFMA64
| URI | m2://inv/AGA2AFMA64 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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 2411.00562#ZLGS (statement). In 99CQPHSSYF/e1, theorem \zarabicsection.\zarabicthrm
History
- 2026-10-27: add by m2/v0.3.5
AGA8ARVW9F AGA8ARVW9F
| URI | m2://inv/AGA8ARVW9F |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-laplace.tex#exercise-67 (exercise). In E9HS8K3A52, exercise, section 7.5.1
History
- 2026-11-01: add by m2/v0.6.13
Linear Gaussian chain rule AGABD9Z46B
| URI | m2://inv/AGABD9Z46B |
|---|---|
| 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.23147#0SX3, Linear Gaussian chain rule (statement)
History
- 2026-11-02: add by m2/v0.6.17
Riemann–Roch theorem AGAC1HBXVZ
| URI | m2://inv/AGAC1HBXVZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#RKOU, Riemann–Roch theorem (statement)
History
- 2026-11-02: add by m2/dev
strongly perfect graph AGAFFC8BFP
| URI | m2://inv/AGAFFC8BFP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q136231915, strongly perfect graph (unknown). Also MathWorld StronglyPerfectGraph
History
- 2026-10-26: add by m2/dev
Generalization AGAH28NWCC
| URI | m2://inv/AGAH28NWCC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tschirnhaus transformation#ELPD, Generalization (statement)
History
- 2026-11-02: add by m2/dev
Sentient Information Systems AGAHB0PSJP
| URI | m2://inv/AGAHB0PSJP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sentient Information Systems, Sentient Information Systems (definition). Also Wikidata Q7451239
History
- 2026-11-02: add by m2/dev
Snezhinsk AGAV4PB8EN
| URI | m2://inv/AGAV4PB8EN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#UWA5, Snezhinsk (unknown)
History
- 2026-11-02: add by m2/dev
Algorithms AGAVNRSSE2
| URI | m2://inv/AGAVNRSSE2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Non-negative least squares#4CO0, Algorithms (definition)
History
- 2026-11-02: add by m2/dev
Cubic honeycomb honeycomb AGB0AW00CY
| URI | m2://inv/AGB0AW00CY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cubic honeycomb honeycomb, Cubic honeycomb honeycomb (definition). Also Wikidata Q17006180
History
- 2026-11-02: add by m2/dev
Von Neumann–Bernays–Gödel set theory AGB0M14729
| URI | m2://inv/AGB0M14729 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of alternative set theories#TA48, Von Neumann–Bernays–Gödel set theory (definition)
History
- 2026-11-02: add by m2/dev
Joyce McLaughlin AGB500KVW6
| URI | m2://inv/AGB500KVW6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Joyce McLaughlin, Joyce McLaughlin (topic). Also Wikidata Q6297580
History
- 2026-11-02: add by m2/dev
AGB6TKC9HM AGB6TKC9HM
| URI | m2://inv/AGB6TKC9HM |
|---|---|
| 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 2208.06310#8M0N (statement). In 9YR0E0T9XA/e1, theorem 4.1
History
- 2026-10-27: add by m2/v0.3.5
Ultima (finance) AGBB4QH675
| URI | m2://inv/AGBB4QH675 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Greeks (finance)#HZ7U, Ultima (finance) (unknown)
History
- 2026-11-02: add by m2/dev
Core-Plus Mathematics Project AGBCV9RPYP
| URI | m2://inv/AGBCV9RPYP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Core-Plus Mathematics Project, Core-Plus Mathematics Project (definition). Also Wikidata Q5170130
History
- 2026-11-02: add by m2/dev
Algorithm AGBJB87A7G
| URI | m2://inv/AGBJB87A7G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gift wrapping algorithm#QVG3, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
Corollary of other theorems AGC35GSR0W
| URI | m2://inv/AGC35GSR0W |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Factor theorem#IJC8, Corollary of other theorems (statement)
History
- 2026-11-02: add by m2/dev
Definition AGC8E37P2N
| URI | m2://inv/AGC8E37P2N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Admissible decision rule#YHX3, Definition (definition)
History
- 2026-11-02: add by m2/dev
Chain additive reducts AGC8GH4J9Y
| URI | m2://inv/AGC8GH4J9Y |
|---|---|
| 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#E1BR, Chain additive reducts (statement). In E7W2HDNEKJ/e1, theorem 2.15
History
- 2026-10-30: add by m2/v0.4.12
AGCCJ58DZJ AGCCJ58DZJ
| URI | m2://inv/AGCCJ58DZJ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/grp-intro.tex#exercise-1 (exercise). In RZP28ERRZV, exercise, section 2.1
History
- 2026-11-01: add by m2/v0.6.13
type, mutual inductive AGCNQBCWRG
| URI | m2://inv/AGCNQBCWRG |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/8.7/type-mutual-inductive, type, mutual inductive (concept). In N54F33XE07, index, section 8.7
History
- 2026-11-01: add by m2/v0.6.13
Exceptional minimal sets AGCVRXDTMY
| URI | m2://inv/AGCVRXDTMY |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35597#8V84, Exceptional minimal sets (problem). In K424GCJ50P/e1, problem 10.3
History
- 2026-10-30: add by m2/v0.4.12
qualitative behavior AGDD9F6R80
| URI | m2://inv/AGDD9F6R80 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Multivariable calculus > Differential equations > qualitative behavior, qualitative behavior (unknown)
History
- 2026-10-26: add by m2/dev
Digby's H AGDDJYTV10
| URI | m2://inv/AGDDJYTV10 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#K8II, Digby's H (definition)
History
- 2026-11-02: add by m2/dev
Buser's inequality AGDEHS9M3C
| URI | m2://inv/AGDEHS9M3C |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cheeger constant#X7RI, Buser's inequality (statement)
History
- 2026-11-02: add by m2/dev
AGDSX836W1 AGDSX836W1
| URI | m2://inv/AGDSX836W1 |
|---|---|
| Kind | problem |
| 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 2507.13548#COQ7 (problem). In 4NVVK50D1P/e1, problem
History
- 2026-10-27: add by m2/v0.3.5
cyclic redundancy check AGDTW56ZRE
| URI | m2://inv/AGDTW56ZRE |
|---|---|
| Kind | definition |
| Layer | textbook |
| MSC | 94Axx, 94Bxx |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q245471, cyclic redundancy check (topic). Also MathWorld CyclicRedundancyCheck
- wikipedia: Wikipedia Cyclic redundancy check, Cyclic redundancy check (definition). Also Wikidata Q245471
History
- 2026-10-26: add by m2/dev
AGDVREXA4V AGDVREXA4V
| URI | m2://inv/AGDVREXA4V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24484#8FR3 (statement)
History
- 2026-11-01: add by m2/v0.6.15
AGDWDEVB7E AGDWDEVB7E
| URI | m2://inv/AGDWDEVB7E |
|---|---|
| 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.15648#0ZDA (statement). In 5TM775V8HQ/e1, lemma 9
History
- 2026-10-28: add by m2/v0.4.2
AGDYYYX0QZ AGDYYYX0QZ
| URI | m2://inv/AGDYYYX0QZ |
|---|---|
| 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.12165#SBPZ (statement). In 3JSE8A9CFH/e1, lemma 5.3
History
- 2026-10-28: add by m2/v0.4.2
AGE2Y6PGJS AGE2Y6PGJS
| URI | m2://inv/AGE2Y6PGJS |
|---|---|
| Kind | example |
| 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.24078#TOKK (example)
History
- 2026-11-02: add by m2/v0.6.17
continuous linear operator AGEBB91TW1
| URI | m2://inv/AGEBB91TW1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1091024, continuous linear operator (unknown). Also EoM Continuous_operator
- wikipedia: Wikipedia Continuous linear operator, Continuous linear operator (definition). Also Wikidata Q1091024
History
- 2026-10-26: add by m2/dev
AGEHDQ9WJB AGEHDQ9WJB
| URI | m2://inv/AGEHDQ9WJB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39317#50MA (statement). In QM1T8JDK4A/e1, theorem 6.6
History
- 2026-10-30: add by m2/v0.4.12
Cassius Jackson Keyser AGENZ5MTBE
| URI | m2://inv/AGENZ5MTBE |
|---|---|
| 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#20ZD, Cassius Jackson Keyser (unknown)
History
- 2026-11-02: add by m2/dev
Theorem (Grothendieck) AGER2NXMV9
| URI | m2://inv/AGER2NXMV9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dimension theory (algebra)#UJG5, Theorem (Grothendieck) (statement)
History
- 2026-11-02: add by m2/dev
Physical unclonable function AGEV7R65RX
| URI | m2://inv/AGEV7R65RX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Physical unclonable function, Physical unclonable function (definition). Also Wikidata Q4046262
History
- 2026-11-02: add by m2/dev
Phyllis Chinn AGEXM8W659
| URI | m2://inv/AGEXM8W659 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Phyllis Chinn, Phyllis Chinn (topic). Also Wikidata Q18921538
History
- 2026-11-02: add by m2/dev
Bockstein homomorphism AGF0FET6V0
| URI | m2://inv/AGF0FET6V0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Bockstein homomorphism H7PCM776GR |
Mentions
- wikidata: Wikidata Q4936292, Bockstein homomorphism (unknown). Also nLab Bockstein homomorphism
- wikipedia: Wikipedia Bockstein homomorphism, Bockstein homomorphism (definition). Also Wikidata Q4936292
History
- 2026-10-26: add by m2/dev
MV-algebra AGF89S419G
| URI | m2://inv/AGF89S419G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia MV-algebra, MV-algebra (definition). Also Wikidata Q6719122
History
- 2026-11-02: add by m2/dev
Constructions AGF954E1YD
| URI | m2://inv/AGF954E1YD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 6-cubic honeycomb#6VAS, Constructions (definition)
History
- 2026-11-02: add by m2/dev
Existence characterization AGFBGQXVAH
| URI | m2://inv/AGFBGQXVAH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33469#M6NG, Existence characterization (statement). In TC5QA4AB4Z/e1, theorem 3.12
History
- 2026-10-30: add by m2/v0.4.12
uniform distribution AGFC0V5X72
| URI | m2://inv/AGFC0V5X72 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability distributions#696P, uniform distribution (definition)
History
- 2026-11-02: add by m2/dev
D. Tim Holt AGFC7DWYY3
| URI | m2://inv/AGFC7DWYY3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#QL4V, D. Tim Holt (unknown)
History
- 2026-11-02: add by m2/dev
Monroe H. Martin Prize AGFMC20650
| URI | m2://inv/AGFMC20650 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Monroe H. Martin Prize, Monroe H. Martin Prize (definition). Also Wikidata Q60744493
History
- 2026-11-02: add by m2/dev
2-out-of-6 property AGFYFE4DF1
| URI | m2://inv/AGFYFE4DF1 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/3.9/2-out-of-6-property, 2-out-of-6 property (concept). In N54F33XE07, index, section 3.9
History
- 2026-11-01: add by m2/v0.6.13
Burr distribution AGFYQ1ZG9F
| URI | m2://inv/AGFYQ1ZG9F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Burr distribution, Burr distribution (definition). Also Wikidata Q822905
History
- 2026-11-02: add by m2/dev
AGG96QR2JQ AGG96QR2JQ
| URI | m2://inv/AGG96QR2JQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00789#VJYS (statement). In 4WPYBTARS2/e1, theorem 4.21
History
- 2026-10-29: add by m2/v0.4.12
Paul van Oorschot AGGFB37Z06
| URI | m2://inv/AGGFB37Z06 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Paul van Oorschot, Paul van Oorschot (topic). Also Wikidata Q15262410
History
- 2026-11-02: add by m2/dev
AGGGC8MKWP AGGGC8MKWP
| URI | m2://inv/AGGGC8MKWP |
|---|---|
| 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 2011.08789#HO58 (definition). In 43AGRMP7T3/e1, definition 2.8
History
- 2026-10-27: add by m2/v0.3.5
AGGMY73H9T AGGMY73H9T
| URI | m2://inv/AGGMY73H9T |
|---|---|
| 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.05193#1RGP (statement). In XDMM0KNNZ9/e1, lemma 15
History
- 2026-10-29: add by m2/v0.4.10
Closure AGGQQA0N94
| URI | m2://inv/AGGQQA0N94 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of general topology#ZFX5, Closure (definition)
History
- 2026-11-02: add by m2/dev
AGGWHFFAJ0 AGGWHFFAJ0
| URI | m2://inv/AGGWHFFAJ0 |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 35-XX, 65-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13680#IUGD (unknown). In QNBFHFZ3H0/e1, unknown 61
History
- 2026-10-28: add by m2/v0.4.2
Cycloid AGGXGNRA53
| URI | m2://inv/AGGXGNRA53 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#8OGL, Cycloid (definition)
- wikipedia: Wikipedia List of mathematical shapes#Y01W, Cycloid (definition)
- wikipedia: Wikipedia List of curves#RKIH, Cycloid (definition)
- wikipedia: Wikipedia List of variational topics#M855, Cycloid (definition)
History
- 2026-11-02: add by m2/dev
AGHAXFJHP2 AGHAXFJHP2
| URI | m2://inv/AGHAXFJHP2 |
|---|---|
| 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.33050#OPIB (statement). In VDSBMQ0G9W/e1, lemma 4.4
History
- 2026-10-30: add by m2/v0.4.12
Strongly monotone chain AGHBBSH0C4
| URI | m2://inv/AGHBBSH0C4 |
|---|---|
| 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.12641#UXEJ, Strongly monotone chain (statement). In X5BYGZZHPF/e1, lemma H.9
History
- 2026-10-28: add by m2/v0.4.2
AGHC64DX8P AGHC64DX8P
| URI | m2://inv/AGHC64DX8P |
|---|---|
| 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#9QKM (statement). In NYT07WF46A/e1, theorem 1.2
History
- 2026-10-28: add by m2/v0.4.2
AGHFRE5TSM AGHFRE5TSM
| URI | m2://inv/AGHFRE5TSM |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
History
- 2026-10-29: add by m2/v0.4.10
Construction AGHFZWK5TE
| URI | m2://inv/AGHFZWK5TE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cardan grille#W5IE, Construction (definition)
History
- 2026-11-02: add by m2/dev
quasi-projective AGHQR2RX7K
| URI | m2://inv/AGHQR2RX7K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic geometry#52OG, quasi-projective (definition)
History
- 2026-11-02: add by m2/dev
The circle AGJ7516KVF
| URI | m2://inv/AGJ7516KVF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.31689#EBRG, The circle (statement). In Z7M2JSF6HA/e1, proposition 6.9
History
- 2026-10-31: add by m2/v0.5.6
Anthony James Merrill Spencer AGJ9600S5Z
| URI | m2://inv/AGJ9600S5Z |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Anthony James Merrill Spencer, Anthony James Merrill Spencer (topic). Also Wikidata Q16939894
History
- 2026-11-02: add by m2/dev
AGJ9JNMK5E AGJ9JNMK5E
| URI | m2://inv/AGJ9JNMK5E |
|---|---|
| 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.32078#PPYK (statement). In 5PN85N6EJF/e1, lemma C.7
History
- 2026-10-31: add by m2/v0.5.6
AGJET52HHQ AGJET52HHQ
| URI | m2://inv/AGJET52HHQ |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18017#VNZZ (example). In EBSQEQYECS/e1, example 2
History
- 2026-10-28: add by m2/v0.4.2
Vincent's auxiliary theorem AGJH4WQM4Q
| URI | m2://inv/AGJH4WQM4Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Real-root isolation#JC5M, Vincent's auxiliary theorem (statement)
History
- 2026-11-02: add by m2/dev
Lehmer's conjecture AGJP7HFH4B
| URI | m2://inv/AGJP7HFH4B |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#DFLO, Lehmer's conjecture (conjecture)
History
- 2026-11-02: add by m2/dev
Language model AGJQCW1S3B
| URI | m2://inv/AGJQCW1S3B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Language model, Language model (definition). Also Wikidata Q3621696
History
- 2026-11-02: add by m2/dev
Action-angle coordinates AGJWM51209
| URI | m2://inv/AGJWM51209 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Action-angle coordinates, Action-angle coordinates (definition). Also Wikidata Q1000646
History
- 2026-11-02: add by m2/dev
rotated complex AGK9X8522S
| URI | m2://inv/AGK9X8522S |
|---|---|
| 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.22355#WIAA, rotated complex (statement)
History
- 2026-11-02: add by m2/v0.6.17
David Avis AGKAC5XM1X
| URI | m2://inv/AGKAC5XM1X |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#WFN1, David Avis (unknown)
History
- 2026-11-02: add by m2/dev
AGKE9NGKFE AGKE9NGKFE
| URI | m2://inv/AGKE9NGKFE |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31274#JLNY (problem). In RK0ZMDJ23T/e1, problem 1.1.12
History
- 2026-10-31: add by m2/v0.5.6
Greenberg–Hastings cellular automaton AGKH0132MJ
| URI | m2://inv/AGKH0132MJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Greenberg–Hastings cellular automaton, Greenberg–Hastings cellular automaton (definition). Also Wikidata Q17003834
History
- 2026-11-02: add by m2/dev
Waffles AGKH0YY6RJ
| URI | m2://inv/AGKH0YY6RJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical-analysis software#VGGR, Waffles (unknown)
History
- 2026-11-02: add by m2/dev
Thomas Royen AGKJDKP7AE
| URI | m2://inv/AGKJDKP7AE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thomas Royen, Thomas Royen (topic). Also Wikidata Q29076442
History
- 2026-11-02: add by m2/dev
Applications AGKSE3JQQJ
| URI | m2://inv/AGKSE3JQQJ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stochastic geometry#QDNR, Applications (example)
History
- 2026-11-02: add by m2/dev
coproduct AGKZ9EYEGA
| URI | m2://inv/AGKZ9EYEGA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#M683, coproduct (definition)
History
- 2026-11-02: add by m2/dev
AGM2X2ZQHV AGM2X2ZQHV
| URI | m2://inv/AGM2X2ZQHV |
|---|---|
| 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.07790#1D38 (statement). In A5YJDDM0NX/e1, lemma 4.2
History
- 2026-10-29: add by m2/v0.4.10
AGM4VB0HS9 AGM4VB0HS9
| URI | m2://inv/AGM4VB0HS9 |
|---|---|
| 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.17476#N1FQ (statement). In 6HXD74FA4S/e1, lemma 8.1
History
- 2026-10-28: add by m2/v0.4.2
Roy's lattice space AGM68DKMP8
| URI | m2://inv/AGM68DKMP8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topologies#SEMT, Roy's lattice space (unknown)
History
- 2026-11-02: add by m2/dev
Philippe Biane AGM7VC8MVE
| URI | m2://inv/AGM7VC8MVE |
|---|---|
| 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#ETBA, Philippe Biane (topic)
History
- 2026-11-02: add by m2/dev
Wilhelm Lexis AGM9HXE054
| URI | m2://inv/AGM9HXE054 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wilhelm Lexis, Wilhelm Lexis (topic). Also Wikidata Q64383
History
- 2026-11-02: add by m2/dev
AGMCAEDZ44 AGMCAEDZ44
| URI | m2://inv/AGMCAEDZ44 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03460#W049 (statement). In 54HWP298DG/e1, theorem 8
History
- 2026-10-29: add by m2/v0.4.12
Semilattice-breadth bound AGMH1QXA4W
| URI | m2://inv/AGMH1QXA4W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37589#YVRE, Semilattice-breadth bound (statement). In 18HVB2SKW1/e1, theorem 3.2
History
- 2026-10-30: add by m2/v0.4.12
Properties AGMH2X7562
| URI | m2://inv/AGMH2X7562 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jacobi triple product#1K6T, Properties (statement)
History
- 2026-11-02: add by m2/dev
AGMJBKZQG1 AGMJBKZQG1
| URI | m2://inv/AGMJBKZQG1 |
|---|---|
| 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.32829#ML5D (statement). In RYWAX33Z51/e1, lemma F.4
History
- 2026-10-31: add by m2/v0.5.6
Hyper-encryption AGMMC8FMP0
| URI | m2://inv/AGMMC8FMP0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hyper-encryption, Hyper-encryption (definition). Also Wikidata Q5957534
History
- 2026-11-02: add by m2/dev
Cartesian monoid AGMMKF5VH1
| URI | m2://inv/AGMMKF5VH1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cartesian monoid, Cartesian monoid (definition). Also Wikidata Q5047281
History
- 2026-11-02: add by m2/dev
Freudenthal diagonalization theorem AGMNQGK02M
| URI | m2://inv/AGMNQGK02M |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hurwitz's theorem (composition algebras)#FPHT, Freudenthal diagonalization theorem (unknown)
History
- 2026-11-02: add by m2/dev
All shifts are parallel AGMQ1YHX6G
| URI | m2://inv/AGMQ1YHX6G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 26-XX, 37-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 2203.01511#F2S8, All shifts are parallel (statement). In QA7EPHDTV2/e1, proposition 5.4
History
- 2026-10-27: add by m2/v0.4.0
Jean Bertoin AGMQS9WQ1E
| URI | m2://inv/AGMQS9WQ1E |
|---|---|
| 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#KLJ6, Jean Bertoin (topic)
History
- 2026-11-02: add by m2/dev
Definitions AGMSPCG4MK
| URI | m2://inv/AGMSPCG4MK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sub-Riemannian manifold#QMBX, Definitions (definition)
History
- 2026-11-02: add by m2/dev
AGMTXS3N8T AGMTXS3N8T
| URI | m2://inv/AGMTXS3N8T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15926#R8WI (statement). In G0J92BSX4A/e1, proposition 2.8
History
- 2026-10-28: add by m2/v0.4.2
Generalizations AGMXZE88ZJ
| URI | m2://inv/AGMXZE88ZJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Unit sphere#BKMA, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Rewriting Lebesgue's theorem AGMZ6RWNJX
| URI | m2://inv/AGMZ6RWNJX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Classification of discontinuities#0FEC, Rewriting Lebesgue's theorem (statement)
History
- 2026-11-02: add by m2/dev
Identity Substitution is Well-Typed AGN26PJ93S
| URI | m2://inv/AGN26PJ93S |
|---|---|
| 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#2CBR, Identity Substitution is Well-Typed (statement). In CPYWHRTPKC/e1, lemma 4.2
History
- 2026-10-27: add by m2/v0.4.2
AGN66W7259 AGN66W7259
| URI | m2://inv/AGN66W7259 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-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.40028#GVNN (statement). In N8TDKGGC7S/e1, proposition 3.2
History
- 2026-10-30: add by m2/v0.4.12
AGN98FJKBV AGN98FJKBV
| URI | m2://inv/AGN98FJKBV |
|---|---|
| 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.19358#4PDB (statement). In N3QZZ7BD0V/e1, lemma 3
History
- 2026-10-28: add by m2/v0.4.2
AGNA86SD57 AGNA86SD57
| URI | m2://inv/AGNA86SD57 |
|---|---|
| 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 1904.09810#GKTA (statement). In T1VFA7TXPA/e1, lemma 57
History
- 2026-10-27: add by m2/v0.3.5
Product bornology AGNF8DTFNP
| URI | m2://inv/AGNF8DTFNP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bornology#28W7, Product bornology (unknown)
History
- 2026-11-02: add by m2/dev
AGNJ87C7J4 AGNJ87C7J4
| URI | m2://inv/AGNJ87C7J4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34923#7ZVO (statement). In 7WKVFJEZQT/e1, corollary 2
History
- 2026-10-30: add by m2/v0.4.12
Constructions AGNMP24K75
| URI | m2://inv/AGNMP24K75 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Aperiodic tiling#0O1N, Constructions (definition)
History
- 2026-11-02: add by m2/dev
1971 Indonesian census AGNN7APM7N
| URI | m2://inv/AGNN7APM7N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 1971 Indonesian census, 1971 Indonesian census (definition). Also Wikidata Q17997460
History
- 2026-11-02: add by m2/dev
AGNPGFEYCS AGNPGFEYCS
| URI | m2://inv/AGNPGFEYCS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 37-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13100#N0AY (statement). In CC6S1HVK0T/e1, theorem 5.26
History
- 2026-10-28: add by m2/v0.4.2
Common-palette radii AGNQMKADZY
| URI | m2://inv/AGNQMKADZY |
|---|---|
| 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#YJYT, Common-palette radii (definition). In 5ZB8N3YY72/e1, definition 4.1
History
- 2026-10-28: add by m2/v0.4.2
Simplicial approximation theorem AGNRP8HSYB
| URI | m2://inv/AGNRP8HSYB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#IMQ8, Simplicial approximation theorem (statement)
History
- 2026-11-02: add by m2/dev
Low--high interaction AGNWSEQVPX
| URI | m2://inv/AGNWSEQVPX |
|---|---|
| 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.02721#OGR6, Low--high interaction (statement). In XXFYVDVPPE/e1, lemma 4.2
History
- 2026-10-29: add by m2/v0.4.12
Sina Greenwood AGNX5KG953
| URI | m2://inv/AGNX5KG953 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sina Greenwood, Sina Greenwood (topic). Also Wikidata Q102182076
History
- 2026-11-02: add by m2/dev
Example on AGP3YJCY8Q
| URI | m2://inv/AGP3YJCY8Q |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Discrete measure#1NVI, Example on (example)
History
- 2026-11-02: add by m2/dev
Smooth dependence AGP6XC6AAR
| URI | m2://inv/AGP6XC6AAR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18078#Y1S1, Smooth dependence (statement). In YVK8EFSYNJ/e1, corollary 6.6
History
- 2026-10-28: add by m2/v0.4.2
Jan Vaerman AGPBZ5D79D
| URI | m2://inv/AGPBZ5D79D |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jan Vaerman, Jan Vaerman (topic). Also Wikidata Q21209117
History
- 2026-11-02: add by m2/dev
AGPRRRCE9P AGPRRRCE9P
| URI | m2://inv/AGPRRRCE9P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2212.00617#MMMO (statement). In K7505G10SS/e1, theorem 5.14
History
- 2026-10-27: add by m2/v0.3.5
AGPX2129JV AGPX2129JV
| URI | m2://inv/AGPX2129JV |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 11-XX, 14-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2104.12015#HWEF (example). In ZZ2P08DVQW/e1, example 10.2
History
- 2026-10-27: add by m2/v0.3.5
Properties AGQBFNV3NA
| URI | m2://inv/AGQBFNV3NA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Primitive permutation group#I6VM, Properties (statement)
History
- 2026-11-02: add by m2/dev
Ramanujan bound AGQK1Q8SPB
| URI | m2://inv/AGQK1Q8SPB |
|---|---|
| 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.07445#WJ1M, Ramanujan bound (statement). In F1BM3Q8125/e1, proposition 2.12
History
- 2026-10-29: add by m2/v0.4.10
Extensions AGQNE1XBVY
| URI | m2://inv/AGQNE1XBVY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia MINQUE#SB5D, Extensions (statement)
History
- 2026-11-02: add by m2/dev
AGR038V0BG AGR038V0BG
| URI | m2://inv/AGR038V0BG |
|---|---|
| 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.01737#01Y1 (statement). In M4JGP708F4/e1, proposition 2.20
History
- 2026-10-29: add by m2/v0.4.12
AGR63DA1QE AGR63DA1QE
| URI | m2://inv/AGR63DA1QE |
|---|---|
| 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.02042#PYI3 (statement). In P3HWTYFDBX/e1, corollary 6.7
History
- 2026-10-29: add by m2/v0.4.12
Generalizations AGRBNAFV66
| URI | m2://inv/AGRBNAFV66 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Knuth–Bendix completion algorithm#T0JY, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Osofsky; Sabbagh--Eklof, 1971 AGRJGC2YPX
| URI | m2://inv/AGRJGC2YPX |
|---|---|
| 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.35682#46A8, Osofsky; Sabbagh--Eklof, 1971 (statement). In 7XM8WXVBWK/e1, theorem 4.7
History
- 2026-10-30: add by m2/v0.4.12
AGRMH8TY0S AGRMH8TY0S
| URI | m2://inv/AGRMH8TY0S |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09739#9WXC (definition). In ZYNZ95FSFD/e1, definition 1.1
History
- 2026-10-29: add by m2/v0.4.10
Properties AGRQF7ENAA
| URI | m2://inv/AGRQF7ENAA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kautz graph#0CCP, Properties (statement)
History
- 2026-11-02: add by m2/dev
AGRQRC1R2S AGRQRC1R2S
| URI | m2://inv/AGRQRC1R2S |
|---|---|
| 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.03175#EDQQ (definition). In VMVNYKZ9GG/e1, definition 2.1
History
- 2026-10-29: add by m2/v0.4.12
AGRRH7FY45 AGRRH7FY45
| URI | m2://inv/AGRRH7FY45 |
|---|---|
| Kind | definition |
| 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 2609.20894#2ANW (definition)
History
- 2026-11-02: add by m2/v0.6.18
Applications AGRRW176TG
| URI | m2://inv/AGRRW176TG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dickman function#IXQE, Applications (example)
History
- 2026-11-02: add by m2/dev
Epicheireme AGS504B7X8
| URI | m2://inv/AGS504B7X8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Epicheireme, Epicheireme (definition). Also Wikidata Q130362418
History
- 2026-11-02: add by m2/dev
AGS5DQFRGW AGS5DQFRGW
| URI | m2://inv/AGS5DQFRGW |
|---|---|
| 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 2112.05010#0Y97 (statement). In 4SZNPS3Z00/e1, proposition J.3
History
- 2026-10-27: add by m2/v0.3.6
Telescoping series AGS6W2DBZ4
| URI | m2://inv/AGS6W2DBZ4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of real analysis topics#0R7R, Telescoping series (definition)
History
- 2026-11-02: add by m2/dev
AGSBP7Y4CH AGSBP7Y4CH
| URI | m2://inv/AGSBP7Y4CH |
|---|---|
| Kind | problem |
| 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.26129#NISI (problem)
History
- 2026-11-01: add by m2/v0.6.15
Theorem (Hodge−Weyl decomposition) AGSE37693K
| URI | m2://inv/AGSE37693K |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Differential forms on a Riemann surface#HRPE, Theorem (Hodge−Weyl decomposition) (statement)
History
- 2026-11-02: add by m2/dev
AGSKEJTNRD AGSKEJTNRD
| URI | m2://inv/AGSKEJTNRD |
|---|---|
| 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 2609.27056#Q0MH (example)
History
- 2026-11-01: add by m2/v0.6.15
Bhāskara I AGSNWPTZQ2
| URI | m2://inv/AGSNWPTZQ2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bhāskara I, Bhāskara I (topic). Also Wikidata Q470902
History
- 2026-11-02: add by m2/dev
AGSVJBW61X AGSVJBW61X
| URI | m2://inv/AGSVJBW61X |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-laplace.tex#exercise-3 (exercise). In E9HS8K3A52, exercise, section 7.1.2
History
- 2026-11-01: add by m2/v0.6.13
parameter AGT5SV4JV3
| URI | m2://inv/AGT5SV4JV3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#AJC0, parameter (definition)
History
- 2026-11-02: add by m2/dev
AGTCWRPX00 AGTCWRPX00
| URI | m2://inv/AGTCWRPX00 |
|---|---|
| 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.06707#5YWV (statement). In 9TR5E527P5/e1, theorem
History
- 2026-10-29: add by m2/v0.4.10
AGTEDBFXV2 AGTEDBFXV2
| URI | m2://inv/AGTEDBFXV2 |
|---|---|
| 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.25896#9P16 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Directional entropy measurements determine a vector law AGTFS2EJ77
| URI | m2://inv/AGTFS2EJ77 |
|---|---|
| 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.38228#XZVT, Directional entropy measurements determine a vector law (statement). In 9YAE8FNQST/e1, corollary 23.19
History
- 2026-10-30: add by m2/v0.4.12
Davenport–Schmidt theorem AGTG727RX6
| URI | m2://inv/AGTG727RX6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of number theory topics#7AZX, Davenport–Schmidt theorem (statement)
History
- 2026-11-02: add by m2/dev
AGV28JWHB1 AGV28JWHB1
| URI | m2://inv/AGV28JWHB1 |
|---|---|
| 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.20135#VZW9 (statement). In ZQQEN3J866/e1, corollary 1.7
History
- 2026-10-27: add by m2/v0.4.2
Maryam Mirzakhani AGV2RRC4GX
| URI | m2://inv/AGV2RRC4GX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#CR4F, Maryam Mirzakhani (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#AHJI, Maryam Mirzakhani (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#ORAQ, Maryam Mirzakhani (topic)
History
- 2026-11-02: add by m2/dev
Karen Bandeen-Roche AGV3AFSHPE
| URI | m2://inv/AGV3AFSHPE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#HVZ8, Karen Bandeen-Roche (unknown)
History
- 2026-11-02: add by m2/dev
Finite gap and end-game AGV4KXRZK6
| URI | m2://inv/AGV4KXRZK6 |
|---|---|
| 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.03633#XQDS, Finite gap and end-game (statement). In X3E4D61X4V/e1, lemma A.2
History
- 2026-10-29: add by m2/v0.4.12
Log semiring AGV6T0PW7K
| URI | m2://inv/AGV6T0PW7K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Log semiring, Log semiring (definition). Also Wikidata Q60790209
History
- 2026-11-02: add by m2/dev
Vladimir Steklov AGVEGQ8CMT
| URI | m2://inv/AGVEGQ8CMT |
|---|---|
| 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#YKYI, Vladimir Steklov (unknown)
History
- 2026-11-02: add by m2/dev
AGVEV0JA73 AGVEV0JA73
| URI | m2://inv/AGVEV0JA73 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-metric.tex#exercise-26 (exercise). In E59CDZA4DP, exercise, section 4.2.4
History
- 2026-11-01: add by m2/v0.6.13
elongated triangular gyrobicupola AGVQ5M21DH
| URI | m2://inv/AGVQ5M21DH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3051606, elongated triangular gyrobicupola (object). Also MathWorld ElongatedTriangularGyrobicupola
- wikipedia: Wikipedia Elongated triangular gyrobicupola, Elongated triangular gyrobicupola (definition). Also Wikidata Q3051606
History
- 2026-10-26: add by m2/dev
AGVS5ZKCEM AGVS5ZKCEM
| URI | m2://inv/AGVS5ZKCEM |
|---|---|
| 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#97HP (statement). In TN93YFN45W/e1, lemma 3.8
History
- 2026-10-27: add by m2/v0.4.0
Suitable weak solutions in the half-space AGW2ESW827
| URI | m2://inv/AGW2ESW827 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13613#BF4D, Suitable weak solutions in the half-space (definition). In 3HCT4TQ5PM/e1, definition 1.1
History
- 2026-10-28: add by m2/v0.4.2
Properties AGW39H2X7E
| URI | m2://inv/AGW39H2X7E |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Subdivision (simplicial set)#1UZW, Properties (statement)
History
- 2026-11-02: add by m2/dev
AGWZ04T217 AGWZ04T217
| URI | m2://inv/AGWZ04T217 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35102#U156 (statement). In XK6H7F2F13/e1, theorem 1.3
History
- 2026-10-30: add by m2/v0.4.12
Shlomi Dolev AGWZ2ZDBFY
| URI | m2://inv/AGWZ2ZDBFY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#AS95, Shlomi Dolev (unknown)
History
- 2026-11-02: add by m2/dev
AGX4BYW1BS AGX4BYW1BS
| URI | m2://inv/AGX4BYW1BS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 57-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09354#J1XW (statement). In 5VAJC29KA2/e1, lemma 4.6
History
- 2026-10-29: add by m2/v0.4.10
Ordered dithering AGXDNAKAM5
| URI | m2://inv/AGXDNAKAM5 |
|---|---|
| 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#6GUQ, Ordered dithering (unknown)
History
- 2026-11-02: add by m2/dev
AGXE0VR6JW AGXE0VR6JW
| URI | m2://inv/AGXE0VR6JW |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-XX, 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01208#GZG2 (definition). In 317GZJ38HS/e1, definition 2.4
History
- 2026-10-29: add by m2/v0.4.12
AGXE5PCYGW AGXE5PCYGW
| URI | m2://inv/AGXE5PCYGW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 19-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0810.2160#VNPP (statement). In 3HYJ46TKX9/e1, corollary 5
History
- 2026-10-27: add by m2/v0.3.5
One Gaussian event for every unitarily invariant norm AGXJFWRQP0
| URI | m2://inv/AGXJFWRQP0 |
|---|---|
| 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.38228#7WR2, One Gaussian event for every unitarily invariant norm (statement). In 9YAE8FNQST/e1, theorem 8.2
History
- 2026-10-30: add by m2/v0.4.12
Uses AGXNHPAAP8
| URI | m2://inv/AGXNHPAAP8 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Population viability analysis#RGPO, Uses (example)
History
- 2026-11-02: add by m2/dev
\textbf{Weak metric on $ \cL(C(M),C(M))$ AGXW99EXQ2
| URI | m2://inv/AGXW99EXQ2 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-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.17032#RMUF, \textbf{Weak metric on $ \cL(C(M),C(M))$ (definition). In MXPK9A2HK2/e1, definition 2.9
History
- 2026-10-28: add by m2/v0.4.2
complete, Segal space AGY00ATJ62
| URI | m2://inv/AGY00ATJ62 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/2.9/complete-segal-space, complete, Segal space (concept). In N54F33XE07, index, section 2.9
History
- 2026-11-01: add by m2/v0.6.13
AGY4RZSYQB AGY4RZSYQB
| URI | m2://inv/AGY4RZSYQB |
|---|---|
| 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 2511.07697#8UF5 (statement). In 57P5P33HS3/e1, lemma 10
History
- 2026-10-27: add by m2/v0.3.5
Melody Goodman AGYAFSNVWZ
| URI | m2://inv/AGYAFSNVWZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Melody Goodman, Melody Goodman (topic). Also Wikidata Q39065712
History
- 2026-11-02: add by m2/dev
Schur representation of the interaction factor AGYB4DJJ16
| URI | m2://inv/AGYB4DJJ16 |
|---|---|
| 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.00396#OPLG, Schur representation of the interaction factor (statement). In V13TE1RWT9/e1, proposition 10.4
History
- 2026-10-30: add by m2/v0.4.12
AGYBDQRDPR AGYBDQRDPR
| URI | m2://inv/AGYBDQRDPR |
|---|---|
| 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.15217#9BBH (statement). In G70Q2FB591/e1, theorem 2.25
History
- 2026-10-28: add by m2/v0.4.2
Adomian decomposition method AGYKB1K434
| URI | m2://inv/AGYKB1K434 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3042796, Adomian decomposition method (unknown). Also MathWorld AdomianPolynomial
- wikipedia: Wikipedia Adomian decomposition method, Adomian decomposition method (definition). Also Wikidata Q3042796
History
- 2026-10-26: add by m2/dev
G2 manifold AGYN897EYR
| URI | m2://inv/AGYN897EYR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of differential geometry topics#496A, G2 manifold (definition)
- wikipedia: Wikipedia List of manifolds#DRPN, G2 manifold (definition)
History
- 2026-11-02: add by m2/dev
AGYPEBX2H2 AGYPEBX2H2
| URI | m2://inv/AGYPEBX2H2 |
|---|---|
| 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.15316#JW36 (statement). In 3K84E4150C/e1, lemma 5.2
History
- 2026-10-28: add by m2/v0.4.2
Complete star semiring AGYVA7QHVJ
| URI | m2://inv/AGYVA7QHVJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Semiring#4737, Complete star semiring (unknown)
History
- 2026-11-02: add by m2/dev
Approximations of the identity AGYW5ZN19W
| URI | m2://inv/AGYW5ZN19W |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Maximal function#0IUT, Approximations of the identity (statement)
History
- 2026-11-02: add by m2/dev
Moise's theorem AGYYFG91GZ
| URI | m2://inv/AGYYFG91GZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 3-manifold#HJ5U, Moise's theorem (statement)
History
- 2026-11-02: add by m2/dev
AGYZWCKXPA AGYZWCKXPA
| URI | m2://inv/AGYZWCKXPA |
|---|---|
| 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#QGZQ (statement). In TGAHH1F8K5/e1, lemma 4.8
History
- 2026-10-27: add by m2/v0.3.6
syntactic category AGZ04W8VRX
| URI | m2://inv/AGZ04W8VRX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#OKBM, syntactic category (definition)
History
- 2026-11-02: add by m2/dev
Finite exceptional parameters AGZ3TGYFWG
| URI | m2://inv/AGZ3TGYFWG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27970#KHCM, Finite exceptional parameters (statement)
History
- 2026-11-01: add by m2/v0.6.15
Example AGZBWSA5MY
| URI | m2://inv/AGZBWSA5MY |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Affine Lie algebra#8B85, Example (example)
History
- 2026-11-02: add by m2/dev
Friedrich Engel AGZEXB4DVX
| URI | m2://inv/AGZEXB4DVX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Friedrich Engel (mathematician), Friedrich Engel (topic). Also Wikidata Q70905
History
- 2026-11-02: add by m2/dev
AGZEZJJZT5 AGZEZJJZT5
| URI | m2://inv/AGZEZJJZT5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 53-XX, 55-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 hep-th/9409063#CG2M (statement). In 145ETYF9CG/e1, lemma 11
History
- 2026-10-27: add by m2/v0.3.5
Sixth-order identity AGZRASZCDK
| URI | m2://inv/AGZRASZCDK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34016#X08Z, Sixth-order identity (statement). In 1E4AJ49FWV/e1, corollary 6.3
History
- 2026-10-30: add by m2/v0.4.12
AGZT8ADSMD AGZT8ADSMD
| URI | m2://inv/AGZT8ADSMD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31445#DZVM (statement). In 7V2PVZS04C/e1, proposition 6.2
History
- 2026-10-31: add by m2/v0.5.6
Connected diagrams: linked-cluster theorem AGZXGK1AJV
| URI | m2://inv/AGZXGK1AJV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Feynman diagram#Q9MT, Connected diagrams: linked-cluster theorem (statement)
History
- 2026-11-02: add by m2/dev