Inventory rows YG
The cards of the rows of the inventory whose ids start with YG. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Theorem 4 YG0TSCWSMZ
| URI | m2://inv/YG0TSCWSMZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Permutation code#2CQC, Theorem 4 (statement)
History
- 2026-11-02: add by m2/dev
YG0XS9EREA YG0XS9EREA
| URI | m2://inv/YG0XS9EREA |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2504.00267#BOFR (example). In 38XJWDZ2PH/e1, example 2.4
History
- 2026-10-27: add by m2/v0.3.5
Definition YG0Y4TQ65M
| URI | m2://inv/YG0Y4TQ65M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Desuspension#0VQ4, Definition (definition)
History
- 2026-11-02: add by m2/dev
An exact covariance Laplacian YG10ZY5CJS
| URI | m2://inv/YG10ZY5CJS |
|---|---|
| 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#TVCP, An exact covariance Laplacian (statement). In 9YAE8FNQST/e1, proposition 5.14
History
- 2026-10-30: add by m2/v0.4.12
YG14201MZM YG14201MZM
| URI | m2://inv/YG14201MZM |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/addtops-numbth.ptx#exercise-16 (exercise). In Y91XFCEVHQ, exercise, section 6.2
History
- 2026-11-01: add by m2/v0.6.13
Examples YG14VS48N2
| URI | m2://inv/YG14VS48N2 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fibered knot#8IU4, Examples (example)
History
- 2026-11-02: add by m2/dev
Shmuel Safra YG16VKM385
| URI | m2://inv/YG16VKM385 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#W2SE, Shmuel Safra (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#HX2R, Shmuel Safra (unknown)
History
- 2026-11-02: add by m2/dev
Strong subspace designs as lossy rank condensers YG1CEV3XCK
| URI | m2://inv/YG1CEV3XCK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32834#82AQ, Strong subspace designs as lossy rank condensers (statement). In N4M6B8EMCW/e1, proposition 2.1
History
- 2026-10-31: add by m2/v0.5.6
YG1CM0RZWK YG1CM0RZWK
| URI | m2://inv/YG1CM0RZWK |
|---|---|
| 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.32174#3FC2 (statement). In GHKR740SG3/e1, theorem 7.2
History
- 2026-10-31: add by m2/v0.5.6
Quantum Lee-LDPC code YG1CWBQHZ2
| URI | m2://inv/YG1CWBQHZ2 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04834#17BK, Quantum Lee-LDPC code (definition). In YZNK67K060/e1, definition 7.1
History
- 2026-10-29: add by m2/v0.4.12
YG1GTXZNX0 YG1GTXZNX0
| URI | m2://inv/YG1GTXZNX0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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.21670#54G5 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Monotonicity of the causal subdifferential YG1MCBGS4R
| URI | m2://inv/YG1MCBGS4R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10051#UY39, Monotonicity of the causal subdifferential (statement). In VCHH2AC34R/e1, lemma 2.17
History
- 2026-10-29: add by m2/v0.4.10
nilmanifold YG1V3S7CZY
| URI | m2://inv/YG1V3S7CZY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Nilmanifold 43NRBE72C6 |
Mentions
- wikidata: Wikidata Q4321368, nilmanifold (unknown). Also EoM Nil_manifold, MathWorld Nilmanifold
- wikipedia: Wikipedia Nilmanifold, Nilmanifold (definition). Also Wikidata Q4321368
History
- 2026-10-26: add by m2/dev
Examples YG1WNDZG9W
| URI | m2://inv/YG1WNDZG9W |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Baum–Connes conjecture#LXMF, Examples (example)
History
- 2026-11-02: add by m2/dev
YG21QDV65B YG21QDV65B
| URI | m2://inv/YG21QDV65B |
|---|---|
| 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.21954#KRPY (statement). In F2XATDBRK4/e1, lemma 12
History
- 2026-10-27: add by m2/v0.4.2
YG21VEHJ84 YG21VEHJ84
| URI | m2://inv/YG21VEHJ84 |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36068#9NAD (problem). In CKNAB8QY5B/e1, problem 20
History
- 2026-10-30: add by m2/v0.4.12
Kochanek–Bartels spline YG238Q5TAD
| URI | m2://inv/YG238Q5TAD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#OEHN, Kochanek–Bartels spline (unknown)
History
- 2026-11-02: add by m2/dev
Randomized-mass RDC (RM YG26TDD4ZA
| URI | m2://inv/YG26TDD4ZA |
|---|---|
| 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 2609.31607#TTWG, Randomized-mass RDC (RM (definition). In H9X9WZ17TT/e1, definition 24
History
- 2026-10-31: add by m2/v0.5.6
Hartogs extension from a boundary neighborhood YG26Y1K7JR
| URI | m2://inv/YG26Y1K7JR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-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.12497#UEM0, Hartogs extension from a boundary neighborhood (statement). In Z0SAF18JPP/e1, lemma 8.2
History
- 2026-10-28: add by m2/v0.4.2
YG29H3Q2XM YG29H3Q2XM
| URI | m2://inv/YG29H3Q2XM |
|---|---|
| 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.14839#6VQW (statement). In CYB41667NA/e1, theorem 4.4
History
- 2026-10-27: add by m2/v0.3.5
Partition regularity YG2C0F7RCP
| URI | m2://inv/YG2C0F7RCP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Partition regularity, Partition regularity (definition). Also Wikidata Q7140652
History
- 2026-11-02: add by m2/dev
Applications YG2TNPX4HJ
| URI | m2://inv/YG2TNPX4HJ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Integer points in convex polyhedra#735C, Applications (example)
History
- 2026-11-02: add by m2/dev
Generalizations YG2YV8NDD0
| URI | m2://inv/YG2YV8NDD0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Projective orthogonal group#704W, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
YG3H7ZX9VM YG3H7ZX9VM
| URI | m2://inv/YG3H7ZX9VM |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-systems.tex#exercise-100 (exercise). In E9HS8K3A52, exercise, section 10.9.2
History
- 2026-11-01: add by m2/v0.6.13
Constructive set theory YG3JX60FTP
| URI | m2://inv/YG3JX60FTP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#7DNV, Constructive set theory (definition)
History
- 2026-11-02: add by m2/dev
YG3RXM7WA8 YG3RXM7WA8
| URI | m2://inv/YG3RXM7WA8 |
|---|---|
| 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.09001#0GHC (statement). In HJC1JJZRSH/e1, lemma 4.11
History
- 2026-10-29: add by m2/v0.4.10
Level-weighted limits YG43M9RQVQ
| URI | m2://inv/YG43M9RQVQ |
|---|---|
| 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.38220#SA70, Level-weighted limits (statement). In 1AC4S19925/e1, corollary 4.7
History
- 2026-10-30: add by m2/v0.4.12
YG49G76Z1D YG49G76Z1D
| URI | m2://inv/YG49G76Z1D |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/action.tex#exercise-1 (exercise). In RZP28ERRZV, exercise, section 1.1
History
- 2026-11-01: add by m2/v0.6.13
orthogonality YG4BG0WGZQ
| URI | m2://inv/YG4BG0WGZQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of linear algebra#4YXL, orthogonality (definition)
History
- 2026-11-02: add by m2/dev
YG4NM38KQR YG4NM38KQR
| URI | m2://inv/YG4NM38KQR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24314#EJ77 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Speakeasy (computational environment) YG4NZ62Q86
| URI | m2://inv/YG4NZ62Q86 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistical software#WEHV, Speakeasy (computational environment) (unknown)
History
- 2026-11-02: add by m2/dev
YG510EDZVA YG510EDZVA
| URI | m2://inv/YG510EDZVA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 51-XX, 52-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2503.19528#NLMV (statement). In EM5955MDHN/e1, lemma 3.4
History
- 2026-10-27: add by m2/v0.3.5
Journal of the Oughtred Society YG52TK9GKP
| URI | m2://inv/YG52TK9GKP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia William Oughtred#LQM9, Journal of the Oughtred Society (unknown)
History
- 2026-11-02: add by m2/dev
Cauchy space YG5CRE0NSP
| URI | m2://inv/YG5CRE0NSP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5054344, Cauchy space (unknown). Also nLab Cauchy space
- wikipedia: Wikipedia Cauchy space, Cauchy space (definition). Also Wikidata Q5054344
History
- 2026-10-26: add by m2/dev
power center YG5E1JTMV7
| URI | m2://inv/YG5E1JTMV7 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5254628, power center (concept). Also MathWorld RadicalCenter
- wikipedia: Wikipedia Power center (geometry), Power center (definition). Also Wikidata Q5254628
History
- 2026-10-26: add by m2/dev
YG5FEAZM6N YG5FEAZM6N
| URI | m2://inv/YG5FEAZM6N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book equivalences.tex#defn:lcoh-rcoh (definition). In N54F33XE07, defn, section 3.2
History
- 2026-11-01: add by m2/v0.6.13
Task-conditioned backward characterization YG5M2TYQTE
| URI | m2://inv/YG5M2TYQTE |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05504#QOLW, Task-conditioned backward characterization (definition). In 5PY98FZVJW/e1, definition 3.5
History
- 2026-10-29: add by m2/v0.4.10
YG5S7TJXG5 YG5S7TJXG5
| URI | m2://inv/YG5S7TJXG5 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27799#RSUS (definition)
History
- 2026-11-01: add by m2/v0.6.15
Weierstrass's elliptic functions YG5VD2TPJ2
| URI | m2://inv/YG5VD2TPJ2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Weierstrass elliptic function 361NAK68QK |
Mentions
- wikidata: Wikidata Q2343600, Weierstrass's elliptic functions (unknown). Also EoM Weierstrass_elliptic_functions, MathWorld WeierstrassEllipticFunction, nLab Weierstrass elliptic function
- wikipedia: Wikipedia Weierstrass elliptic function, Weierstrass elliptic function (definition). Also Wikidata Q2343600
History
- 2026-10-26: add by m2/dev
YG5WJ8BAF2 YG5WJ8BAF2
| URI | m2://inv/YG5WJ8BAF2 |
|---|---|
| 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.31615#YO41 (statement). In TNV6XTEWEG/e1, lemma 5.2
History
- 2026-10-31: add by m2/v0.5.6
relation YG5Z1HXX1X
| URI | m2://inv/YG5Z1HXX1X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#S5QM, relation (definition)
History
- 2026-11-02: add by m2/dev
YG66V1X913 YG66V1X913
| URI | m2://inv/YG66V1X913 |
|---|---|
| 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.18600#5PXP (statement). In 31D6TQVCNZ/e1, proposition 3.10
History
- 2026-10-28: add by m2/v0.4.2
multicategory YG6AJ8WX0T
| URI | m2://inv/YG6AJ8WX0T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Multicategory MFB1Q9JTPD |
Mentions
- wikidata: Wikidata Q6934590, multicategory (unknown). Also nLab multicategory
- wikipedia: Wikipedia Multicategory, Multicategory (definition). Also Wikidata Q6934590
History
- 2026-10-26: add by m2/dev
Asymmetry of disintegration and combination YG6BQG0J35
| URI | m2://inv/YG6BQG0J35 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 60-XX, 62-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.15006#B3J2, Asymmetry of disintegration and combination (statement). In 8XZGF33HQX/e1, proposition 8.1
History
- 2026-10-28: add by m2/v0.4.2
YG6CMCZD3M YG6CMCZD3M
| URI | m2://inv/YG6CMCZD3M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 46-XX, 47-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 1711.00219#BOXT (statement). In 7V3HG30ZGW/e1, lemma 5.20
History
- 2026-10-27: add by m2/v0.4.0
Larry Farmer YG6D7J6NR8
| URI | m2://inv/YG6D7J6NR8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#9FLB, Larry Farmer (unknown)
History
- 2026-11-02: add by m2/dev
YG6FGENCFM YG6FGENCFM
| URI | m2://inv/YG6FGENCFM |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10469#DJWO (example). In Q39BEKW6D9/e1, example 3.7
History
- 2026-10-29: add by m2/v0.4.10
YG6FPD8SGM YG6FPD8SGM
| URI | m2://inv/YG6FPD8SGM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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 2603.28861#JZ35 (statement). In A3VQ2TNRKK/e1, corollary 6.2
History
- 2026-10-27: add by m2/v0.4.0
YG6GCGK602 YG6GCGK602
| URI | m2://inv/YG6GCGK602 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/constructions.tex#example-10 (example). In RZP28ERRZV, example, section 96.6.4
History
- 2026-11-01: add by m2/v0.6.13
Theorems YG6T75SPM8
| URI | m2://inv/YG6T75SPM8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Skew apeirohedron#PM5D, Theorems (statement)
History
- 2026-11-02: add by m2/dev
Prescribed means and independent references YG761KBBNY
| URI | m2://inv/YG761KBBNY |
|---|---|
| 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#5IBE, Prescribed means and independent references (statement). In 9YAE8FNQST/e1, theorem 6.1
History
- 2026-10-30: add by m2/v0.4.12
interpolation YG7A9MSKEK
| URI | m2://inv/YG7A9MSKEK |
|---|---|
| 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.20775#XJ4I, interpolation (statement). In XG27B81T0G/e1, lemma 5.4
History
- 2026-10-27: add by m2/v0.4.2
Further examples YG7MAJPGCP
| URI | m2://inv/YG7MAJPGCP |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alexandroff extension#CR9M, Further examples (example)
History
- 2026-11-02: add by m2/dev
full reptend prime YG7YWT5D2S
| URI | m2://inv/YG7YWT5D2S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3343095, full reptend prime (unknown). Also MathWorld FullReptendPrime, OEIS A001913
- wikipedia: Wikipedia Full reptend prime, Full reptend prime (definition). Also Wikidata Q3343095
History
- 2026-10-26: add by m2/dev
The Magic Words are Squeamish Ossifrage YG7ZW6VQV2
| URI | m2://inv/YG7ZW6VQV2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia The Magic Words are Squeamish Ossifrage, The Magic Words are Squeamish Ossifrage (definition). Also Wikidata Q7749482
History
- 2026-11-02: add by m2/dev
YG8841T6PA YG8841T6PA
| URI | m2://inv/YG8841T6PA |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1903.11969#ZWX4 (example). In 9N4EV3GRM7/e1, example 4.1
History
- 2026-10-27: add by m2/v0.3.5
Example 3 YG8B9NPKCS
| URI | m2://inv/YG8B9NPKCS |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Loewy decomposition#QOL9, Example 3 (example)
History
- 2026-11-02: add by m2/dev
YG8DD5QFJM YG8DD5QFJM
| URI | m2://inv/YG8DD5QFJM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25762#HLPY (statement)
History
- 2026-11-01: add by m2/v0.6.15
Taher Elgamal YG8X7XMAXD
| URI | m2://inv/YG8X7XMAXD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cryptographers#UVO0, Taher Elgamal (topic)
History
- 2026-11-02: add by m2/dev
YG907ZF9EH YG907ZF9EH
| URI | m2://inv/YG907ZF9EH |
|---|---|
| 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.20916#Y56D (statement). In HV598NZW9X/e1, lemma 3.4
History
- 2026-10-27: add by m2/v0.4.2
YG90PGH23S YG90PGH23S
| URI | m2://inv/YG90PGH23S |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/ModularArithmetic.tex#exam:twomodseven (example). In P1C114YBXG, example, section F
History
- 2026-11-01: add by m2/v0.6.13
YG91967GK3 YG91967GK3
| URI | m2://inv/YG91967GK3 |
|---|---|
| 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 2609.26337#2ABR (definition)
History
- 2026-11-01: add by m2/v0.6.15
YG953N212R YG953N212R
| URI | m2://inv/YG953N212R |
|---|---|
| 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.14582#9WBS (statement). In 6XP6PD2XZA/e1, corollary 7.5
History
- 2026-10-28: add by m2/v0.4.2
Beyond power laws YG989BW67F
| URI | m2://inv/YG989BW67F |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dragon king theory#1QZG, Beyond power laws (statement)
History
- 2026-11-02: add by m2/dev
YG99M5QPE9 YG99M5QPE9
| URI | m2://inv/YG99M5QPE9 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/9602216#QPYV (example). In SD43497T8C/e1, example 1.36
History
- 2026-10-27: add by m2/v0.3.5
The covering bound is the best area-based bound YG9AZXN9J2
| URI | m2://inv/YG9AZXN9J2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25120#SFDI, The covering bound is the best area-based bound (statement)
History
- 2026-11-01: add by m2/v0.6.15
YG9RWBA3HB YG9RWBA3HB
| URI | m2://inv/YG9RWBA3HB |
|---|---|
| Kind | example |
| 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.18016#ZYGA (example). In V5PVKDKGGG/e1, example 6.1
History
- 2026-10-28: add by m2/v0.4.2
YG9WQ7HTM9 YG9WQ7HTM9
| URI | m2://inv/YG9WQ7HTM9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04305#GNZT (statement). In Y1DR0DPWD0/e1, lemma 4.12
History
- 2026-10-29: add by m2/v0.4.12
YG9XWKS8GW YG9XWKS8GW
| URI | m2://inv/YG9XWKS8GW |
|---|---|
| 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.31798#BB7W (statement). In HPHBJ4Y04B/e1, lemma 2.1
History
- 2026-10-31: add by m2/v0.5.6
$n$ times differentiable YG9Y3AM2BJ
| URI | m2://inv/YG9Y3AM2BJ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/3.3.1/n-times-differentiable, $n$ times differentiable (concept). In E59CDZA4DP, index, section 3.3.1
History
- 2026-11-01: add by m2/v0.6.13
Witt vector YG9Y4RVH5H
| URI | m2://inv/YG9Y4RVH5H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Ernst Witt#J3ZJ, Witt vector (definition)
History
- 2026-11-02: add by m2/dev
YGA49H9P9Y YGA49H9P9Y
| URI | m2://inv/YGA49H9P9Y |
|---|---|
| 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.07099#73P4 (statement). In 9GNAHRCYFT/e1, proposition 3.5
History
- 2026-10-29: add by m2/v0.4.10
Treze Tílias YGA7Q9KJ5X
| URI | m2://inv/YGA7Q9KJ5X |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#87BE, Treze Tílias (unknown)
History
- 2026-11-02: add by m2/dev
YGA9YWC8QE YGA9YWC8QE
| URI | m2://inv/YGA9YWC8QE |
|---|---|
| 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#UDEV (statement). In 9TR5E527P5/e1, theorem 6.30
History
- 2026-10-29: add by m2/v0.4.10
Gromov boundary YGABA3XQWJ
| URI | m2://inv/YGABA3XQWJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gromov boundary, Gromov boundary (definition). Also Wikidata Q17019381
History
- 2026-11-02: add by m2/dev
Sophus Lie YGAES99JBV
| URI | m2://inv/YGAES99JBV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q30769, Sophus Lie (unknown). Also nLab Sophus Lie, ProofWiki Mathematician:Marius_Sophus_Lie
- wikipedia: Wikipedia Sophus Lie, Sophus Lie (topic). Also Wikidata Q30769
History
- 2026-10-26: add by m2/dev
Skewed generalized t distribution YGAJBDG306
| URI | m2://inv/YGAJBDG306 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability distributions#DXZQ, Skewed generalized t distribution (definition)
History
- 2026-11-02: add by m2/dev
Ganganath Jha Research Institute YGAPAPQEVB
| URI | m2://inv/YGAPAPQEVB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ganganath Jha#5AVV, Ganganath Jha Research Institute (unknown)
History
- 2026-11-02: add by m2/dev
Notation YGAXQ1TKG9
| URI | m2://inv/YGAXQ1TKG9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jacobi elliptic functions#ECH0, Notation (definition)
History
- 2026-11-02: add by m2/dev
$\Uc_i^\ast$ closed under $\Uc_i$-equivalence YGAYKQA8H4
| URI | m2://inv/YGAYKQA8H4 |
|---|---|
| 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#RTRL, $\Uc_i^\ast$ closed under $\Uc_i$-equivalence (statement). In CPYWHRTPKC/e1, lemma 7.27
History
- 2026-10-27: add by m2/v0.4.2
Foster graph YGAYNSHZC3
| URI | m2://inv/YGAYNSHZC3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3115485, Foster graph (unknown). Also House of Graphs 37261, MathWorld FosterGraph
- wikipedia: Wikipedia Foster graph, Foster graph (definition). Also Wikidata Q3115485
History
- 2026-10-26: add by m2/dev
George Boolos YGB15WDVD7
| URI | m2://inv/YGB15WDVD7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#NU05, George Boolos (topic)
History
- 2026-11-02: add by m2/dev
YGB4MZCHMZ YGB4MZCHMZ
| URI | m2://inv/YGB4MZCHMZ |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 26-XX, 46-XX, 49-XX, 51-XX, 52-XX, 60-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2505.10801#BDHK (example). In BWJS3H55WH/e1, example 29
History
- 2026-10-27: add by m2/v0.3.5
YGB7E6SXSH YGB7E6SXSH
| URI | m2://inv/YGB7E6SXSH |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35209#12VV (definition). In YEERR7F4NW/e1, definition 2.3
History
- 2026-10-30: add by m2/v0.4.12
YGBGDRXP0A YGBGDRXP0A
| URI | m2://inv/YGBGDRXP0A |
|---|---|
| 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.27628#FX9D (statement)
History
- 2026-11-01: add by m2/v0.6.15
YGBH75B5T9 YGBH75B5T9
| URI | m2://inv/YGBH75B5T9 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/models-theories/theories.tex#ex-4 (example). In PKGMM3P5QY, ex, section 13.3
History
- 2026-11-01: add by m2/v0.6.13
Fundamental theorem of equivalence relations YGBNAEXNZQ
| URI | m2://inv/YGBNAEXNZQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#Y3I2, Fundamental theorem of equivalence relations (definition)
History
- 2026-11-02: add by m2/dev
YGBP8E6ZMN YGBP8E6ZMN
| URI | m2://inv/YGBP8E6ZMN |
|---|---|
| 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 2405.02275#CBLK (statement). In 1QXCNGRWV1/e1, theorem 2.17
History
- 2026-10-27: add by m2/v0.3.5
Authenticated Key Exchange YGC7C9Q12Z
| URI | m2://inv/YGC7C9Q12Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Authenticated Key Exchange, Authenticated Key Exchange (definition). Also Wikidata Q4825878
History
- 2026-11-02: add by m2/dev
YGCZWHPJMA YGCZWHPJMA
| URI | m2://inv/YGCZWHPJMA |
|---|---|
| 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.31373#GQT8 (statement). In H4XKQM67NA/e1, lemma 3.2
History
- 2026-10-31: add by m2/v0.5.6
YGD0QMHD9M YGD0QMHD9M
| URI | m2://inv/YGD0QMHD9M |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/incompleteness/incompleteness-provability/first-incompleteness-thm.tex#proof-3 (proof). In PKGMM3P5QY, proof, section 27.9
History
- 2026-11-01: add by m2/v0.6.13
factorization homology YGD6SDDM8N
| URI | m2://inv/YGD6SDDM8N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#OT05, factorization homology (definition)
History
- 2026-11-02: add by m2/dev
YGD84R7W15 YGD84R7W15
| URI | m2://inv/YGD84R7W15 |
|---|---|
| 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 2609.35340#XNPN (statement). In WCY07D1CJG/e1, theorem 3.6
History
- 2026-10-30: add by m2/v0.4.12
YGDJRSG6T1 YGDJRSG6T1
| URI | m2://inv/YGDJRSG6T1 |
|---|---|
| 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.30585#B6S1 (statement). In 15CVBWJDNQ/e1, theorem 2.4
History
- 2026-10-31: add by m2/v0.5.6
YGDYG9XR4P YGDYG9XR4P
| URI | m2://inv/YGDYG9XR4P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/sequent-calculus/provability-propositional.tex#prop:provability-lif (statement). In PKGMM3P5QY, prop, section 17.8
History
- 2026-11-01: add by m2/v0.6.13
YGDYSX6SQQ YGDYSX6SQQ
| URI | m2://inv/YGDYSX6SQQ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/sec_seq-induction.ptx#investigation-2 (exercise). In Y91XFCEVHQ, investigation, section 3.5.4
History
- 2026-11-01: add by m2/v0.6.13
Bernard Teissier YGE127NB77
| URI | m2://inv/YGE127NB77 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#3E3P, Bernard Teissier (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#Q1LX, Bernard Teissier (topic)
History
- 2026-11-02: add by m2/dev
YGE4QV00DF YGE4QV00DF
| URI | m2://inv/YGE4QV00DF |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book hlevels.tex#proof-30 (proof). In N54F33XE07, proof, section 6.5
History
- 2026-11-01: add by m2/v0.6.13
Theorem YGEDJ6HXE3
| URI | m2://inv/YGEDJ6HXE3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Riesz–Markov–Kakutani representation theorem#98M4, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Generalizability theory YGEFP5DWX5
| URI | m2://inv/YGEFP5DWX5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalizability theory, Generalizability theory (definition). Also Wikidata Q5532422
History
- 2026-11-02: add by m2/dev
Proposition YGERY5GZ5K
| URI | m2://inv/YGERY5GZ5K |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vitali–Hahn–Saks theorem#OEU0, Proposition (statement)
History
- 2026-11-02: add by m2/dev
Complete coverage by the terminal lists YGESB45Q9H
| URI | m2://inv/YGESB45Q9H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37482#JUDH, Complete coverage by the terminal lists (statement). In 9QDRMZX8EY/e1, lemma 17
History
- 2026-10-30: add by m2/v0.4.12
Ernest Julius Wilczynski YGESV5A1CN
| URI | m2://inv/YGESV5A1CN |
|---|---|
| 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#MYJJ, Ernest Julius Wilczynski (topic)
History
- 2026-11-02: add by m2/dev
Thoralf Skolem YGEW3SCKFK
| URI | m2://inv/YGEW3SCKFK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematicians born in the 19th century#0Y3V, Thoralf Skolem (topic)
History
- 2026-11-02: add by m2/dev
Curvature decomposition YGEW6JM9K4
| URI | m2://inv/YGEW6JM9K4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25762#EYKZ, Curvature decomposition (statement)
History
- 2026-11-01: add by m2/v0.6.15
Markov spectrum YGF0Q9XT8R
| URI | m2://inv/YGF0Q9XT8R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6771329, Markov spectrum (unknown). Also EoM Markov_spectrum_problem, MathWorld MarkovSpectrum
- wikipedia: Wikipedia Markov spectrum, Markov spectrum (definition). Also Wikidata Q6771329
History
- 2026-10-26: add by m2/dev
Theorem (Eckhaus YGF2598WQ5
| URI | m2://inv/YGF2598WQ5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Method of averaging#BAL9, Theorem (Eckhaus (statement)
History
- 2026-11-02: add by m2/dev
YGF350F2XD YGF350F2XD
| URI | m2://inv/YGF350F2XD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03050#9A2B (statement). In WXBRJN9PHQ/e1, corollary 4.6
History
- 2026-10-29: add by m2/v0.4.12
YGF4CA2GJP YGF4CA2GJP
| URI | m2://inv/YGF4CA2GJP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 51-XX, 52-XX, 53-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.03305#AQC5 (statement). In WAJ5AZHF62/e1, proposition 4.7
History
- 2026-10-29: add by m2/v0.4.12
Hilton-Milner theorem YGF85EZY4G
| URI | m2://inv/YGF85EZY4G |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Erdős–Ko–Rado theorem#JX31, Hilton-Milner theorem (unknown)
History
- 2026-11-02: add by m2/dev
YGF8W9BA43 YGF8W9BA43
| URI | m2://inv/YGF8W9BA43 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09133#8YGS (statement). In E7BPGPP9Z5/e1, lemma 3.9
History
- 2026-10-29: add by m2/v0.4.10
Extensions YGFH3QN4KH
| URI | m2://inv/YGFH3QN4KH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pascal's triangle#5X12, Extensions (statement)
History
- 2026-11-02: add by m2/dev
Artin–Mazur zeta function YGFH95QQCF
| URI | m2://inv/YGFH95QQCF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Artin–Mazur zeta function, Artin–Mazur zeta function (definition). Also Wikidata Q713051
History
- 2026-11-02: add by m2/dev
Fourier algebra YGFHKSZF3G
| URI | m2://inv/YGFHKSZF3G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Joseph Fourier#ALW3, Fourier algebra (definition)
History
- 2026-11-02: add by m2/dev
YGFT90D27Z YGFT90D27Z
| URI | m2://inv/YGFT90D27Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2111.00832#73YC (statement). In KM0XEAXFMF/e1, proposition A.1
History
- 2026-10-27: add by m2/v0.3.5
YGFYMHGDXM YGFYMHGDXM
| URI | m2://inv/YGFYMHGDXM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/computability/computability-theory/non-comp-set.tex#thm:K-0 (statement). In PKGMM3P5QY, thm, section 3.9
History
- 2026-11-01: add by m2/v0.6.13
Least mean squares filter YGG25HBH54
| URI | m2://inv/YGG25HBH54 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Least mean squares filter, Least mean squares filter (definition). Also Wikidata Q1426666
History
- 2026-11-02: add by m2/dev
YGG69J5FTT YGG69J5FTT
| URI | m2://inv/YGG69J5FTT |
|---|---|
| Kind | conjecture |
| 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 2609.39260#8KSL (conjecture). In ZNDB1AZZSA/e1, conjecture 1.3
History
- 2026-10-30: add by m2/v0.4.12
Coordinates from $C^1$-vector fields YGG96BTVTD
| URI | m2://inv/YGG96BTVTD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2406.06762#U5Z5, Coordinates from $C^1$-vector fields (statement). In J99PFFJXPE/e1, lemma 3.20
History
- 2026-10-27: add by m2/v0.3.6
YGGA8J9EKZ YGGA8J9EKZ
| URI | m2://inv/YGGA8J9EKZ |
|---|---|
| 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 2407.05730#6VA0 (statement). In VQ7STN4KDC/e1, lemma 3.4
History
- 2026-10-27: add by m2/v0.3.5
YGGAVNK8WM YGGAVNK8WM
| URI | m2://inv/YGGAVNK8WM |
|---|---|
| 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#3A4H (statement). In XDMM0KNNZ9/e1, lemma 14
History
- 2026-10-29: add by m2/v0.4.10
Rice's theorem and the arithmetical hierarchy YGGFSGNA43
| URI | m2://inv/YGGFSGNA43 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Computability theory#0TTU, Rice's theorem and the arithmetical hierarchy (statement)
History
- 2026-11-02: add by m2/dev
Domino fallacy YGGK2275Z7
| URI | m2://inv/YGGK2275Z7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Slippery slope#9EVJ, Domino fallacy (unknown)
History
- 2026-11-02: add by m2/dev
YGGKQ2VDNZ YGGKQ2VDNZ
| URI | m2://inv/YGGKQ2VDNZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2609.35632#5NXF (statement). In Q74G3BVZAQ/e1, proposition 2.7
History
- 2026-10-27: add by m2/v0.3.5
YGGRX75YQ1 YGGRX75YQ1
| URI | m2://inv/YGGRX75YQ1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12576#1QXP (statement). In BVAWVRS3R9/e1, lemma 6.1
History
- 2026-10-28: add by m2/v0.4.2
Criterion space representation YGGSFKTZR3
| URI | m2://inv/YGGSFKTZR3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multiple-criteria decision analysis#Z8Q5, Criterion space representation (statement)
History
- 2026-11-02: add by m2/dev
Deborah H. Griffin YGH9G38YQ6
| URI | m2://inv/YGH9G38YQ6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#ZLNA, Deborah H. Griffin (topic)
History
- 2026-11-02: add by m2/dev
Wombling YGHA3T4K9S
| URI | m2://inv/YGHA3T4K9S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#B9F6, Wombling (definition)
History
- 2026-11-02: add by m2/dev
YGHBS60J98 YGHBS60J98
| URI | m2://inv/YGHBS60J98 |
|---|---|
| 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.10243#00RE (statement). In 6N7EAD1PYD/e1, lemma 2.5
History
- 2026-10-29: add by m2/v0.4.10
Spin-c group YGHDVW53E7
| URI | m2://inv/YGHDVW53E7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of tensor theory#6Y05, Spin-c group (definition)
History
- 2026-11-02: add by m2/dev
Large components of $\W_{d,r}$ and their representatives YGHFBQF0DW
| URI | m2://inv/YGHFBQF0DW |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25457#XF2U, Large components of $\W_{d,r}$ and their representatives (definition)
History
- 2026-11-01: add by m2/v0.6.15
Challenging YGHFYR9B2B
| URI | m2://inv/YGHFYR9B2B |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-riemann.tex#exercise-12, Challenging (exercise). In E59CDZA4DP, exercise, section 8.1.4
History
- 2026-11-01: add by m2/v0.6.13
YGHSTHXRAA YGHSTHXRAA
| URI | m2://inv/YGHSTHXRAA |
|---|---|
| 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.31242#N0H9 (statement). In 3NPRR9546C/e1, lemma 3.5
History
- 2026-10-31: add by m2/v0.5.6
Montanaro--Osborne YGHZPKCS8G
| URI | m2://inv/YGHZPKCS8G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21900#74I4, Montanaro--Osborne (statement)
History
- 2026-11-02: add by m2/v0.6.17
YGHZY4QQAP YGHZY4QQAP
| URI | m2://inv/YGHZY4QQAP |
|---|---|
| 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.02218#3SP9 (statement). In 3FY227EFVZ/e1, corollary 2.4
History
- 2026-10-29: add by m2/v0.4.12
Alspach's conjecture YGJ2MSC19Z
| URI | m2://inv/YGJ2MSC19Z |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 05-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q56291669, Alspach's theorem (statement). Also Wikidata Q56291669
- thousand_plus: thousand_plus Q56291669, Alspach's theorem (statement). Also Wikidata Q56291669, Wikipedia Alspach's conjecture
- wikipedia: Wikipedia Alspach's conjecture, Alspach's conjecture (statement). Also Wikidata Q56291669
History
- 2026-10-26: add by m2/dev
Representations YGJ3NBX5YR
| URI | m2://inv/YGJ3NBX5YR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | deferred (the cue heading names a section and not one item) |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cyclic group#GGUA, Representations (definition)
History
- 2026-11-02: add by m2/dev
- 2026-11-03: outcome by m2 corpus adopt
Polynomial matrix spectral factorization YGJM5WJJ0X
| URI | m2://inv/YGJM5WJJ0X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polynomial matrix spectral factorization, Polynomial matrix spectral factorization (definition). Also Wikidata Q30688195
History
- 2026-11-02: add by m2/dev
Bernhard Riemann YGJMFYFW6R
| URI | m2://inv/YGJMFYFW6R |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q42299, Bernhard Riemann (unknown). Also nLab Bernhard Riemann, ProofWiki Mathematician:Georg_Friedrich_Bernhard_Riemann
- wikipedia: Wikipedia Bernhard Riemann, Bernhard Riemann (topic). Also Wikidata Q42299
History
- 2026-10-26: add by m2/dev
van der Corput inequality along a Reiter sequence YGJSDP6ACQ
| URI | m2://inv/YGJSDP6ACQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16580#QHBB, van der Corput inequality along a Reiter sequence (statement). In MQPBZX4DR6/e1, lemma 5.5
History
- 2026-10-28: add by m2/v0.4.2
YGJSEF2AHS YGJSEF2AHS
| URI | m2://inv/YGJSEF2AHS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-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 2609.25468#XTHE (statement)
History
- 2026-11-01: add by m2/v0.6.15
Journal of the Royal Statistical Society Series B: Statistical Methodology YGK7WB5TE1
| URI | m2://inv/YGK7WB5TE1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Journal of the Royal Statistical Society#09MN, Journal of the Royal Statistical Society Series B: Statistical Methodology (unknown)
History
- 2026-11-02: add by m2/dev
YGKAYAWNST YGKAYAWNST
| URI | m2://inv/YGKAYAWNST |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26434#DNUX (statement)
History
- 2026-11-01: add by m2/v0.6.15
Dilworth's theorem YGKBFHV5GN
| URI | m2://inv/YGKBFHV5GN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#BHF7, Dilworth's theorem (statement)
History
- 2026-11-02: add by m2/dev
YGKDHRNE43 YGKDHRNE43
| URI | m2://inv/YGKDHRNE43 |
|---|---|
| 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.35186#A3ZE (statement). In VFNPANY3HD/e1, theorem 5
History
- 2026-10-30: add by m2/v0.4.12
L. H. C. Tippett YGKFTF2YFS
| URI | m2://inv/YGKFTF2YFS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia L. H. C. Tippett, L. H. C. Tippett (topic). Also Wikidata Q3830305
History
- 2026-11-02: add by m2/dev
YGKH5AE39P YGKH5AE39P
| URI | m2://inv/YGKH5AE39P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13833#SF3C (statement). In VD4JP4HVBX/e1, corollary 8.16
History
- 2026-10-28: add by m2/v0.4.2
YGKH8ZHPVW YGKH8ZHPVW
| URI | m2://inv/YGKH8ZHPVW |
|---|---|
| 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 1001.3646#UTUG (statement). In 46QFY2X6A0/e1, lemma 2.2
History
- 2026-10-27: add by m2/v0.3.5
YGKJVBBH81 YGKJVBBH81
| URI | m2://inv/YGKJVBBH81 |
|---|---|
| Kind | counterexample |
| 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.04709#09LQ (counterexample). In 9J260W15RY/e1, counterexample 1
History
- 2026-10-29: add by m2/v0.4.12
Heaviside ellipsoid YGKK44TH8Q
| URI | m2://inv/YGKK44TH8Q |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia History of Lorentz transformations#42ML, Heaviside ellipsoid (unknown)
History
- 2026-11-02: add by m2/dev
YGKTW0RSVR YGKTW0RSVR
| URI | m2://inv/YGKTW0RSVR |
|---|---|
| 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 2310.09889#ZBBV (statement). In BMNZKPSC48/e1, theorem 4
History
- 2026-10-27: add by m2/v0.3.5
Scaled and unscaled coordinate networks coincide YGKX5H27G8
| URI | m2://inv/YGKX5H27G8 |
|---|---|
| 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.25489#G9E7, Scaled and unscaled coordinate networks coincide (statement)
History
- 2026-11-01: add by m2/v0.6.15
YGKXPRB1XR YGKXPRB1XR
| URI | m2://inv/YGKXPRB1XR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32058#ZXD1 (statement). In N0G73NM4WC/e1, theorem 2.1
History
- 2026-10-31: add by m2/v0.5.6
Levmore–Cook moving-knives procedure YGKXRMYYFH
| URI | m2://inv/YGKXRMYYFH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Levmore–Cook moving-knives procedure, Levmore–Cook moving-knives procedure (definition). Also Wikidata Q28402686
History
- 2026-11-02: add by m2/dev
ENSO neutral YGM17QMF7Y
| URI | m2://inv/YGM17QMF7Y |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia El Niño–Southern Oscillation#D1ZG, ENSO neutral (unknown)
History
- 2026-11-02: add by m2/dev
YGM699QPPQ YGM699QPPQ
| URI | m2://inv/YGM699QPPQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2607.25960#Z47R (statement). In 13GSWBXPCM/e1, lemma A.2
History
- 2026-10-27: add by m2/v0.3.5
Harold Stanley Ruse YGMD1QZF6A
| URI | m2://inv/YGMD1QZF6A |
|---|---|
| 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#8OL8, Harold Stanley Ruse (unknown)
History
- 2026-11-02: add by m2/dev
error identity YGMJ2F9VWZ
| URI | m2://inv/YGMJ2F9VWZ |
|---|---|
| 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.08016#JI7P, error identity (statement). In YR3CSTYEJW/e1, lemma 9.1
History
- 2026-10-29: add by m2/v0.4.10
Special cases YGMJV6GWC6
| URI | m2://inv/YGMJV6GWC6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Varignon's theorem#EFPZ, Special cases (statement)
History
- 2026-11-02: add by m2/dev
Tanja Bergkvist YGMKV27GD6
| URI | m2://inv/YGMKV27GD6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tanja Bergkvist, Tanja Bergkvist (topic). Also Wikidata Q4938494
History
- 2026-11-02: add by m2/dev
YGMRFGV6G6 YGMRFGV6G6
| URI | m2://inv/YGMRFGV6G6 |
|---|---|
| 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.10221#A770 (definition). In 9Z5M655EPV/e1, definition 5.5
History
- 2026-10-29: add by m2/v0.4.10
Identity YGMTHYCFDE
| URI | m2://inv/YGMTHYCFDE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coherency (homotopy theory)#DG56, Identity (statement)
History
- 2026-11-02: add by m2/dev
YGMY440MZD YGMY440MZD
| URI | m2://inv/YGMY440MZD |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04870#8U7Z (definition). In X765ZXXVC3/e1, definition 5.1
History
- 2026-10-29: add by m2/v0.4.12
Azerbaijan YGMYRWWB5H
| URI | m2://inv/YGMYRWWB5H |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q227, Azerbaijan (unknown). Also ProofWiki Mathematician:Mathematicians/Sorted_By_Nation/Azerbaijan
History
- 2026-10-26: add by m2/dev
YGN57KV54Y YGN57KV54Y
| URI | m2://inv/YGN57KV54Y |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2204.13401#UB4Y (definition). In B8MJT0GGW8/e1, definition 2.15
History
- 2026-10-27: add by m2/v0.4.0
Hermite's problem YGN6T4RMY7
| URI | m2://inv/YGN6T4RMY7 |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hermite's problem, Hermite's problem (conjecture). Also Wikidata Q5741908
History
- 2026-11-02: add by m2/dev
Algorithm YGNJKQ627W
| URI | m2://inv/YGNJKQ627W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Optimal asymmetric encryption padding#S382, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
Implementations YGNY5RTXZQ
| URI | m2://inv/YGNY5RTXZQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Uplift modelling#2GKD, Implementations (definition)
History
- 2026-11-02: add by m2/dev
YGP0BM4472 YGP0BM4472
| URI | m2://inv/YGP0BM4472 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21703#DVVG (statement)
History
- 2026-11-02: add by m2/v0.6.18
Generalization YGP6VHYH26
| URI | m2://inv/YGP6VHYH26 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pentagram map#3Y8F, Generalization (statement)
History
- 2026-11-02: add by m2/dev
decidable, equality YGP99RF3EP
| URI | m2://inv/YGP99RF3EP |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/5.11/decidable-equality, decidable, equality (concept). In N54F33XE07, index, section 5.11
History
- 2026-11-01: add by m2/v0.6.13
YGPAMR78TG YGPAMR78TG
| URI | m2://inv/YGPAMR78TG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31090#NKGF (statement). In SMTJDX0Q6R/e1, lemma 8.9
History
- 2026-10-31: add by m2/v0.5.6
YGPD1KH6RA YGPD1KH6RA
| URI | m2://inv/YGPD1KH6RA |
|---|---|
| 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#A7EY (statement). In TN93YFN45W/e1, proposition 2.9
History
- 2026-10-27: add by m2/v0.4.0
Soundness criterion YGPEC0VKQ7
| URI | m2://inv/YGPEC0VKQ7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35339#XFSR, Soundness criterion (statement). In JT998WJYJJ/e1, theorem 5
History
- 2026-10-30: add by m2/v0.4.12
YGPF1F1FMC YGPF1F1FMC
| URI | m2://inv/YGPF1F1FMC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02244#GE61 (statement). In 3REM2EXQK7/e1, lemma 2.12
History
- 2026-10-29: add by m2/v0.4.12
Markov chain central limit theorem YGPSMN8GDN
| URI | m2://inv/YGPSMN8GDN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Markov chain central limit theorem, Markov chain central limit theorem (statement). Also Wikidata Q65059571
History
- 2026-11-02: add by m2/dev
Trece Mártires YGPZH5E5D4
| URI | m2://inv/YGPZH5E5D4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#9TOD, Trece Mártires (unknown)
History
- 2026-11-02: add by m2/dev
Correlation ratio YGQ2GZMPMT
| URI | m2://inv/YGQ2GZMPMT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#UH1U, Correlation ratio (definition)
History
- 2026-11-02: add by m2/dev
YGQ893WNMG YGQ893WNMG
| URI | m2://inv/YGQ893WNMG |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24065#8WAF (example)
History
- 2026-11-02: add by m2/v0.6.17
Isoperimetric theorem YGQ8WYWQ2H
| URI | m2://inv/YGQ8WYWQ2H |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#5DG7, Isoperimetric theorem (statement)
History
- 2026-11-02: add by m2/dev
YGQFMXFH7J YGQFMXFH7J
| URI | m2://inv/YGQFMXFH7J |
|---|---|
| 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.17825#HMYL (example). In T0ADPX1S05/e1, example 4.12
History
- 2026-10-28: add by m2/v0.4.2
YGQMRR0VH9 YGQMRR0VH9
| URI | m2://inv/YGQMRR0VH9 |
|---|---|
| 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 2405.05684#2R9T (statement). In 1PR73ECTZB/e1, proposition 34
History
- 2026-10-27: add by m2/v0.3.5
(Weeting #24) YGQMZ564E0
| URI | m2://inv/YGQMZ564E0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people arrested in the News International phone-hacking scandal#WM9O, (Weeting #24) (unknown)
History
- 2026-11-02: add by m2/dev
Comparison with other metrization theorems YGQS9T0TPR
| URI | m2://inv/YGQS9T0TPR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bing metrization theorem#5LCY, Comparison with other metrization theorems (statement)
History
- 2026-11-02: add by m2/dev
Killing–Hopf theorem YGQY0BQNDX
| URI | m2://inv/YGQY0BQNDX |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 53-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q6407842, Killing–Hopf theorem (statement). Also Wikidata Q6407842
- thousand_plus: thousand_plus Q6407842, Killing–Hopf theorem (statement). Also Wikidata Q6407842, Wikipedia Killing–Hopf theorem
- wikipedia: Wikipedia Killing–Hopf theorem, Killing–Hopf theorem (statement). Also Wikidata Q6407842
History
- 2026-10-26: add by m2/dev
Example YGQZJFWN9H
| URI | m2://inv/YGQZJFWN9H |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Confidence interval#W3F8, Example (example)
History
- 2026-11-02: add by m2/dev
YGRBK9EKMF YGRBK9EKMF
| URI | m2://inv/YGRBK9EKMF |
|---|---|
| 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.01276#7W8U (statement). In 7JJPPMS2DN/e1, lemma 5.5
History
- 2026-10-29: add by m2/v0.4.12
YGRKZC5X8D YGRKZC5X8D
| URI | m2://inv/YGRKZC5X8D |
|---|---|
| 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.08837#KX3C (statement). In KBH265QSBT/e1, lemma 7.11
History
- 2026-10-29: add by m2/v0.4.10
attack YGRSVN54HC
| URI | m2://inv/YGRSVN54HC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Digital watermarking#KA79, attack (definition)
- wikipedia: Wikipedia Digital watermarking#WM64, tampering (definition)
History
- 2026-11-02: add by m2/dev
Boussinesq approximation YGRT9NGEM9
| URI | m2://inv/YGRT9NGEM9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Boussinesq approximation (buoyancy), Boussinesq approximation (definition). Also Wikidata Q895274
History
- 2026-11-02: add by m2/dev
Power cepstrum YGRTF3FR3B
| URI | m2://inv/YGRTF3FR3B |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cepstrum#SQZI, Power cepstrum (unknown)
History
- 2026-11-02: add by m2/dev
Definition YGRVMZZZG0
| URI | m2://inv/YGRVMZZZG0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Yang–Mills equations#154P, Definition (definition)
History
- 2026-11-02: add by m2/dev
YGRWV8R0VZ YGRWV8R0VZ
| URI | m2://inv/YGRWV8R0VZ |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-riemann.tex#proof-10 (proof). In E59CDZA4DP, proof, section 8.2.3
History
- 2026-11-01: add by m2/v0.6.13
Sturm–Picone comparison theorem YGS1Z5H9ZG
| URI | m2://inv/YGS1Z5H9ZG |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 34-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q3983968, Sturm–Picone comparison theorem (statement). Also Wikidata Q3983968
- thousand_plus: thousand_plus Q3983968, Sturm–Picone comparison theorem (statement). Also Wikidata Q3983968, Wikipedia Sturm–Picone comparison theorem
- wikipedia: Wikipedia Sturm–Picone comparison theorem, Sturm–Picone comparison theorem (statement). Also Wikidata Q3983968
History
- 2026-10-26: add by m2/dev
YGS3VGAHP4 YGS3VGAHP4
| URI | m2://inv/YGS3VGAHP4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26762#089Q (statement)
History
- 2026-11-01: add by m2/v0.6.15
Paul of Venice YGS5Q8D7D9
| URI | m2://inv/YGS5Q8D7D9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#AWJB, Paul of Venice (topic)
History
- 2026-11-02: add by m2/dev
Herd immunity YGS7S8F3V6
| URI | m2://inv/YGS7S8F3V6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Herd immunity, Herd immunity (definition). Also Wikidata Q736798
History
- 2026-11-02: add by m2/dev
Example YGSAAYWBNN
| URI | m2://inv/YGSAAYWBNN |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weyr canonical form#O5DX, Example (example)
History
- 2026-11-02: add by m2/dev
Definitions YGSBF8BEDH
| URI | m2://inv/YGSBF8BEDH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Markov operator#UXKN, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Singular integral operators of convolution type YGSCRW1A6F
| URI | m2://inv/YGSCRW1A6F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Singular integral operators of convolution type, Singular integral operators of convolution type (definition). Also Wikidata Q7524241
History
- 2026-11-02: add by m2/dev
parabolic point YGSGDVWKSW
| URI | m2://inv/YGSGDVWKSW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#MD1P, parabolic point (definition)
History
- 2026-11-02: add by m2/dev
YGT3ZCRAT0 YGT3ZCRAT0
| URI | m2://inv/YGT3ZCRAT0 |
|---|---|
| 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.04603#OO71 (statement). In HEAG8V2JM1/e1, theorem 4.1
History
- 2026-10-29: add by m2/v0.4.12
YGT60QQ7SR YGT60QQ7SR
| URI | m2://inv/YGT60QQ7SR |
|---|---|
| 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.27689#W72Y (statement)
History
- 2026-11-01: add by m2/v0.6.15
YGT6RCMX4D YGT6RCMX4D
| URI | m2://inv/YGT6RCMX4D |
|---|---|
| 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.10745#OZW3 (statement). In 5MJ4NJ5ZCV/e1, corollary 2.30
History
- 2026-10-28: add by m2/v0.4.3
Giorgio Picci YGT6TE5ATC
| URI | m2://inv/YGT6TE5ATC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Giorgio Picci, Giorgio Picci (topic). Also Wikidata Q130773685
History
- 2026-11-02: add by m2/dev
Ernst Steinitz YGT7W8N2J4
| URI | m2://inv/YGT7W8N2J4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#VS2W, Ernst Steinitz (topic)
History
- 2026-11-02: add by m2/dev
Abstractionist Platonism YGT8X3JZ1J
| URI | m2://inv/YGT8X3JZ1J |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Logicism#L8LZ, Abstractionist Platonism (unknown)
History
- 2026-11-02: add by m2/dev
\bf Gradient queries in one iteration YGTDPN6D94
| URI | m2://inv/YGTDPN6D94 |
|---|---|
| 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.02791#KQTY, \bf Gradient queries in one iteration (statement). In TT9BA4VMTW/e1, lemma C.5
History
- 2026-10-29: add by m2/v0.4.12
Definition YGTFQJ9KED
| URI | m2://inv/YGTFQJ9KED |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Σ-Algebra of τ-past#LGPZ, Definition (definition)
History
- 2026-11-02: add by m2/dev
Koebe distortion theorem YGTQRHRCNX
| URI | m2://inv/YGTQRHRCNX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Koebe quarter theorem#03KO, Koebe distortion theorem (statement)
History
- 2026-11-02: add by m2/dev
real form YGTRSKBDJR
| URI | m2://inv/YGTRSKBDJR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7301156, real form (unknown). Also nLab real form
- wikipedia: Wikipedia Real form (Lie theory), Real form (definition). Also Wikidata Q7301156
History
- 2026-10-26: add by m2/dev
Goodman's conjecture YGTSTPMXFP
| URI | m2://inv/YGTSTPMXFP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#1N1F, Goodman's conjecture (statement)
History
- 2026-11-02: add by m2/dev
distance matrix YGTW12AQYP
| URI | m2://inv/YGTW12AQYP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q901698, distance matrix (unknown). Also MathWorld GraphDistanceMatrix
- wikipedia: Wikipedia Distance matrix, Distance matrix (definition). Also Wikidata Q901698
History
- 2026-10-26: add by m2/dev
Cox's theorem YGTZH4Z4ZP
| URI | m2://inv/YGTZH4Z4ZP |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 60-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q1054106, Cox's theorem (statement). Also Wikidata Q1054106
- thousand_plus: thousand_plus Q1054106, Cox's theorem (statement). Also Wikidata Q1054106, Wikipedia Cox's theorem
- wikipedia: Wikipedia Cox's theorem, Cox's theorem (statement). Also Wikidata Q1054106
History
- 2026-10-26: add by m2/dev
YGTZRZRFTT YGTZRZRFTT
| URI | m2://inv/YGTZRZRFTT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40207#H9TN (statement). In JXTG8KP95P/e1, theorem 1.4
History
- 2026-10-30: add by m2/v0.4.12
Weyl's criterion for essential spectrum YGVGXB1CWZ
| URI | m2://inv/YGVGXB1CWZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Hermann Weyl#CS16, Weyl's criterion for essential spectrum (definition)
History
- 2026-11-02: add by m2/dev
YGVHQ9QBHP YGVHQ9QBHP
| URI | m2://inv/YGVHQ9QBHP |
|---|---|
| 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 2510.12502#WQA2 (statement). In 3A4K47Y9F2/e1, lemma 2.42
History
- 2026-10-27: add by m2/v0.4.0
YGVJ7T2HVP YGVJ7T2HVP
| URI | m2://inv/YGVJ7T2HVP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39706#K4SR (statement). In 79Y8JJMKP4/e1, theorem 1.3
History
- 2026-10-30: add by m2/v0.4.12
YGVKXNAY4Z YGVKXNAY4Z
| URI | m2://inv/YGVKXNAY4Z |
|---|---|
| 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 2610.19088#7TDN (definition). In 90QTB4CC31/e1, definition 4.9
History
- 2026-10-28: add by m2/v0.4.2
Generalization YGVQW67DM2
| URI | m2://inv/YGVQW67DM2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Like terms#5UO5, Generalization (statement)
History
- 2026-11-02: add by m2/dev
Complex projective line YGVXYG4FX0
| URI | m2://inv/YGVXYG4FX0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Riemann sphere#WK8M, Complex projective line (unknown)
History
- 2026-11-02: add by m2/dev
Impulse response without correction by trajectory class YGW3XGHSP3
| URI | m2://inv/YGW3XGHSP3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25545#A3MO, Impulse response without correction by trajectory class (statement)
History
- 2026-11-01: add by m2/v0.6.15
convergence of sequences of distributions YGWBQDZZVY
| URI | m2://inv/YGWBQDZZVY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Distribution calculus > Distributions on $\R^d$ > convergence of sequences of distributions, convergence of sequences of distributions (unknown)
History
- 2026-10-26: add by m2/dev
YGWGNXQN2T YGWGNXQN2T
| URI | m2://inv/YGWGNXQN2T |
|---|---|
| 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.11034#C2AF (statement). In 2KACPY9MMF/e1, lemma A.6
History
- 2026-10-28: add by m2/v0.4.3
YGWH2VPRG4 YGWH2VPRG4
| URI | m2://inv/YGWH2VPRG4 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/measure/martingale.tex#proof-3 (proof). In RZP28ERRZV, proof, section 66.5
History
- 2026-11-01: add by m2/v0.6.13
Persistence under perturbation of the masses YGWRGD4VFK
| URI | m2://inv/YGWRGD4VFK |
|---|---|
| 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.04136#GNYQ, Persistence under perturbation of the masses (statement). In TBYTWR87F3/e1, theorem 1.11
History
- 2026-10-29: add by m2/v0.4.12
YGWZ96N7KA YGWZ96N7KA
| URI | m2://inv/YGWZ96N7KA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/CountableSets.tex#theorem-3 (statement). In P1C114YBXG, theorem, section 1
History
- 2026-11-01: add by m2/v0.6.13
Euclidean domain YGWZR70V24
| URI | m2://inv/YGWZR70V24 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Euclid#HOO6, Euclidean domain (definition)
- wikipedia: Wikipedia List of commutative algebra topics#AMWR, Euclidean domain (definition)
History
- 2026-11-02: add by m2/dev
Renormalized amplitude YGX12T0568
| URI | m2://inv/YGX12T0568 |
|---|---|
| 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.23230#1RS4, Renormalized amplitude (statement)
History
- 2026-11-02: add by m2/v0.6.17
Computational speech act model YGX8EH77M5
| URI | m2://inv/YGX8EH77M5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Speech act#L9Y7, Computational speech act model (unknown)
History
- 2026-11-02: add by m2/dev
YGX8VBW8CN YGX8VBW8CN
| URI | m2://inv/YGX8VBW8CN |
|---|---|
| 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 2505.08839#RDTD (statement). In HJPDS53MX4/e1, lemma 5.12
History
- 2026-10-27: add by m2/v0.4.0
Partial derivatives of $f(x,y) = x^2+y^2$ YGXAX2Y14B
| URI | m2://inv/YGXAX2Y14B |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/diffgeo/multivar.tex#example-2, Partial derivatives of $f(x,y) = x^2+y^2$ (example). In RZP28ERRZV, example, section 45.3
History
- 2026-11-01: add by m2/v0.6.13
Proceedings of the American Academy of Arts and Sciences YGXBRNKZAD
| URI | m2://inv/YGXBRNKZAD |
|---|---|
| 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 Q6087076, Proceedings of the American Academy of Arts and Sciences (unknown). Also ProofWiki Book:Journal/Proceedings_of_the_American_Academy_of_Arts_and_Sciences
History
- 2026-10-26: add by m2/dev
Estimator formula YGXDP232R3
| URI | m2://inv/YGXDP232R3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inverse probability weighting#EL67, Estimator formula (statement)
History
- 2026-11-02: add by m2/dev
YGXM5R67XM YGXM5R67XM
| URI | m2://inv/YGXM5R67XM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33856#Y98V (statement). In 47WN78VDDF/e1, lemma 3.16
History
- 2026-10-30: add by m2/v0.4.12
YGXMCY9E62 YGXMCY9E62
| URI | m2://inv/YGXMCY9E62 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/model-theory/basics/partial-iso.tex#thm:p-isom1 (statement). In PKGMM3P5QY, thm, section 46.5
History
- 2026-11-01: add by m2/v0.6.13
Recognition YGXY23QCR7
| URI | m2://inv/YGXY23QCR7 |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14681#D21N, Recognition (problem). In 459W0NBS5Q/e1, problem 1
History
- 2026-10-28: add by m2/v0.4.2
YGY19WRPV9 YGY19WRPV9
| URI | m2://inv/YGY19WRPV9 |
|---|---|
| Kind | example |
| 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 2504.14383#CF1F (example). In QD0X3XJS6T/e1, example 2.6
History
- 2026-10-27: add by m2/v0.3.5
tricategory YGY3NR4Q0H
| URI | m2://inv/YGY3NR4Q0H |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q16958581, tricategory (unknown). Also nLab tricategory
History
- 2026-10-26: add by m2/dev
Tait conjectures YGY40NCJ75
| URI | m2://inv/YGY40NCJ75 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Tait conjectures J0EVKMWT94 |
Mentions
- wikidata: Wikidata Q7676466, Tait conjectures (unknown). Also MathWorld TaitsKnotConjectures
- wikipedia: Wikipedia Tait conjectures, Tait conjectures (statement). Also Wikidata Q7676466
History
- 2026-10-26: add by m2/dev
Theorem (Ein, Lazarfeld, Smith; Hochster, Huneke) YGY8Z3B1MC
| URI | m2://inv/YGY8Z3B1MC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Symbolic power of an ideal#JP67, Theorem (Ein, Lazarfeld, Smith; Hochster, Huneke) (statement)
History
- 2026-11-02: add by m2/dev
Extensions YGY97SA6DJ
| URI | m2://inv/YGY97SA6DJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Heyting arithmetic#PXTW, Extensions (statement)
History
- 2026-11-02: add by m2/dev
normal modal logic YGYNQF9CSJ
| URI | m2://inv/YGYNQF9CSJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#XA7W, normal modal logic (definition)
History
- 2026-11-02: add by m2/dev
Uniform covariance factorization YGYX37PB84
| URI | m2://inv/YGYX37PB84 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 49-XX, 62-XX, 65-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.23927#WJTA, Uniform covariance factorization (statement)
History
- 2026-11-02: add by m2/v0.6.17
Geometric Hom comparison YGZ3V238M1
| URI | m2://inv/YGZ3V238M1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26318#IQ7Q, Geometric Hom comparison (statement)
History
- 2026-11-01: add by m2/v0.6.15
Median filtering YGZBKVXERD
| URI | m2://inv/YGZBKVXERD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#ZLUJ, Median filtering (unknown)
History
- 2026-11-02: add by m2/dev
Vyf Rand YGZC73MS0N
| URI | m2://inv/YGZC73MS0N |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#Z17A, Vyf Rand (unknown)
History
- 2026-11-02: add by m2/dev
Uses YGZCPMEXXK
| URI | m2://inv/YGZCPMEXXK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lies, damned lies, and statistics#O8UN, Uses (example)
History
- 2026-11-02: add by m2/dev
YGZDCKK3AY YGZDCKK3AY
| URI | m2://inv/YGZDCKK3AY |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24845#CK66 (definition)
History
- 2026-11-01: add by m2/v0.6.15
YGZE3EYRNJ YGZE3EYRNJ
| URI | m2://inv/YGZE3EYRNJ |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Moving sofa problem#G6KA (problem)
History
- 2026-11-02: add by m2/dev
An integral formula YGZKWYE69P
| URI | m2://inv/YGZKWYE69P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Baker–Campbell–Hausdorff formula#T7Z2, An integral formula (statement)
History
- 2026-11-02: add by m2/dev
Transitivity of $\Uc_i$ YGZNWXSJX9
| URI | m2://inv/YGZNWXSJX9 |
|---|---|
| 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#Y4OA, Transitivity of $\Uc_i$ (statement). In CPYWHRTPKC/e1, lemma 6.14
History
- 2026-10-27: add by m2/v0.4.2
Classical continuum--cellular comparison for abelian BF YGZPXC37FC
| URI | m2://inv/YGZPXC37FC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27799#US9S, Classical continuum--cellular comparison for abelian BF (statement)
History
- 2026-11-01: add by m2/v0.6.15