Inventory rows M9
The cards of the rows of the inventory whose ids start with M9. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
survival function M9009YDGJF
| URI | m2://inv/M9009YDGJF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of probability and statistics#VJBL, survival function (definition)
History
- 2026-11-02: add by m2/dev
M90VAF3GT5 M90VAF3GT5
| URI | m2://inv/M90VAF3GT5 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25524#XKXR (definition)
History
- 2026-11-01: add by m2/v0.6.15
Chamblee M911NPB2P5
| URI | m2://inv/M911NPB2P5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of U.S. communities with Hispanic-majority populations in the 2000 census#AP75, Chamblee (unknown)
History
- 2026-11-02: add by m2/dev
Combinatorial meta-analysis M9145P12X9
| URI | m2://inv/M9145P12X9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#YKU7, Combinatorial meta-analysis (definition)
History
- 2026-11-02: add by m2/dev
Quasi-projective determinacy M91DVAD9HR
| URI | m2://inv/M91DVAD9HR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#2LVA, Quasi-projective determinacy (definition)
History
- 2026-11-02: add by m2/dev
Mark Overmars M91FBBXDA0
| URI | m2://inv/M91FBBXDA0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#CG8F, Mark Overmars (unknown)
History
- 2026-11-02: add by m2/dev
M91FZQZXQW M91FZQZXQW
| URI | m2://inv/M91FZQZXQW |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22551#PRYS (definition)
History
- 2026-11-02: add by m2/v0.6.17
Definition M91HM6CR0W
| URI | m2://inv/M91HM6CR0W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Finite subdivision rule#KGMZ, Definition (definition)
History
- 2026-11-02: add by m2/dev
Johanna G. Nešlehová M91JDFVRQK
| URI | m2://inv/M91JDFVRQK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Johanna G. Nešlehová, Johanna G. Nešlehová (topic). Also Wikidata Q96780508
History
- 2026-11-02: add by m2/dev
Feit–Thompson theorem M91RKC8B8P
| URI | m2://inv/M91RKC8B8P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Finite group#12TR, Feit–Thompson theorem (statement)
History
- 2026-11-02: add by m2/dev
M91WBJRAST M91WBJRAST
| URI | m2://inv/M91WBJRAST |
|---|---|
| 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.19249#YNZY (statement). In 2X586J6KQ1/e1, theorem 4.3
History
- 2026-10-28: add by m2/v0.4.2
Continuum weak Poisson problem with a discontinuous coefficient M92J90N72G
| URI | m2://inv/M92J90N72G |
|---|---|
| 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.04357#QNXU, Continuum weak Poisson problem with a discontinuous coefficient (statement). In 6FY8BVP1F3/e1, corollary D.12
History
- 2026-10-29: add by m2/v0.4.12
M92M3ABVA1 M92M3ABVA1
| URI | m2://inv/M92M3ABVA1 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 03-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2302.04566#4LZ4 (example). In 80S2NP05HJ/e1, example 2.23
History
- 2026-10-27: add by m2/v0.4.0
M92XN32JCH M92XN32JCH
| URI | m2://inv/M92XN32JCH |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 35-XX, 65-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13680#93LS (unknown). In QNBFHFZ3H0/e1, unknown 116
History
- 2026-10-28: add by m2/v0.4.2
Analytic subgroup theorem M92XPWQ6VR
| URI | m2://inv/M92XPWQ6VR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Analytic subgroup theorem, Analytic subgroup theorem (statement). Also Wikidata Q4751140
History
- 2026-11-02: add by m2/dev
Coupling independence implies zero-freeness, informal M92YD61QXR
| URI | m2://inv/M92YD61QXR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12456#XS89, Coupling independence implies zero-freeness, informal (statement). In 5XPM4E03W6/e1, theorem 1.2
History
- 2026-10-28: add by m2/v0.4.2
spherical law of cosines M9320SQ95B
| URI | m2://inv/M9320SQ95B |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2996944, spherical law of cosines (statement). Also ProofWiki Spherical_Law_of_Cosines
- wikipedia: Wikipedia Spherical law of cosines, Spherical law of cosines (statement). Also Wikidata Q2996944
History
- 2026-10-26: add by m2/dev
James Johnston Stoker M932PE8GJ6
| URI | m2://inv/M932PE8GJ6 |
|---|---|
| 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#1AK0, James Johnston Stoker (unknown)
History
- 2026-11-02: add by m2/dev
M93661B1PH M93661B1PH
| URI | m2://inv/M93661B1PH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2303.09207#ZZIL (statement). In 9DQKY7KGE8/e1, lemma 7.9
History
- 2026-10-31: add by m2/v0.5.6
M9382T04F0 M9382T04F0
| URI | m2://inv/M9382T04F0 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/riemann-surface/affine-projective.tex#ques-1 (exercise). In RZP28ERRZV, ques, section 82.3
History
- 2026-11-01: add by m2/v0.6.13
Examples M9386F8DVH
| URI | m2://inv/M9386F8DVH |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Riemann–Hurwitz formula#OCHA, Examples (example)
History
- 2026-11-02: add by m2/dev
Theorem M93BCHCX4Q
| URI | m2://inv/M93BCHCX4Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pontryagin duality#CB5S, Theorem (statement)
History
- 2026-11-02: add by m2/dev
M93C7REPTF M93C7REPTF
| URI | m2://inv/M93C7REPTF |
|---|---|
| Kind | example |
| 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.01354#XKVB (example). In BWD76W20W8/e1, example 3.1
History
- 2026-10-29: add by m2/v0.4.12
approximation error M93DT2JQDE
| URI | m2://inv/M93DT2JQDE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q865920, approximation error (unknown). Also MathWorld Error
- wikipedia: Wikipedia Approximation error, Approximation error (definition). Also Wikidata Q865920
History
- 2026-10-26: add by m2/dev
Equicontinuous M93FVH45F6
| URI | m2://inv/M93FVH45F6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of real analysis topics#9UZI, Equicontinuous (definition)
History
- 2026-11-02: add by m2/dev
M93HVY9A22 M93HVY9A22
| URI | m2://inv/M93HVY9A22 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37520#H0CX (statement). In BDN507RN7J/e1, proposition 2.4.5
History
- 2026-10-30: add by m2/v0.4.12
M93J5J837S M93J5J837S
| URI | m2://inv/M93J5J837S |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-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.27420#1VN9 (definition)
History
- 2026-11-01: add by m2/v0.6.15
Definition M93MXCA089
| URI | m2://inv/M93MXCA089 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graph of a function#LBC7, Definition (definition)
History
- 2026-11-02: add by m2/dev
M93QE79PRN M93QE79PRN
| URI | m2://inv/M93QE79PRN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_inclusion-exclusion_derangements.ptx#theorem-1 (statement). In QKM9DD2H56, theorem, section 7.4
History
- 2026-11-01: add by m2/v0.6.13
M93TZTTMN1 M93TZTTMN1
| URI | m2://inv/M93TZTTMN1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-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.03424#Z2H3 (statement). In Q6HRJP4AWA/e1, theorem 5.2
History
- 2026-10-29: add by m2/v0.4.12
M93WRXVJ85 M93WRXVJ85
| URI | m2://inv/M93WRXVJ85 |
|---|---|
| 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.19585#LR46 (statement). In Z68E2KN4T2/e1, proposition 2
History
- 2026-10-28: add by m2/v0.4.2
M93X7Q4N7V M93X7Q4N7V
| URI | m2://inv/M93X7Q4N7V |
|---|---|
| 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.00934#8PA6 (definition). In SHCQDPCF2J/e1, definition 2.2
History
- 2026-10-29: add by m2/v0.4.12
M943STC9FQ M943STC9FQ
| URI | m2://inv/M943STC9FQ |
|---|---|
| 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.18084#10F4 (statement). In PKPT8NY665/e1, lemma 2.7
History
- 2026-10-28: add by m2/v0.4.2
Properties M947KJZ5VB
| URI | m2://inv/M947KJZ5VB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ore extension#KCJZ, Properties (statement)
History
- 2026-11-02: add by m2/dev
Minimal break ratios M94FQRX7BR
| URI | m2://inv/M94FQRX7BR |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05652#2SC4, Minimal break ratios (definition). In 8BNPFYQDQX/e1, definition 2.12
History
- 2026-10-29: add by m2/v0.4.10
M94JDBFJZ0 M94JDBFJZ0
| URI | m2://inv/M94JDBFJZ0 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19260#4E1F (definition). In PWXT7J9JX3/e1, definition 2.1
History
- 2026-10-28: add by m2/v0.4.2
M94JENQDRP M94JENQDRP
| URI | m2://inv/M94JENQDRP |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/classgrp.tex#problem-1 (exercise). In RZP28ERRZV, problem, section 9.9.3
History
- 2026-11-01: add by m2/v0.6.13
Ciphony M94JKMS3AF
| URI | m2://inv/M94JKMS3AF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of telecommunications encryption terms#U151, Ciphony (definition)
History
- 2026-11-02: add by m2/dev
Pātīgaṇita M950CAZWQR
| URI | m2://inv/M950CAZWQR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pātīgaṇita, Pātīgaṇita (definition). Also Wikidata Q122659009
History
- 2026-11-02: add by m2/dev
MSUGRA M9518GAHPH
| URI | m2://inv/M9518GAHPH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Supergravity#YDTQ, MSUGRA (unknown)
History
- 2026-11-02: add by m2/dev
M9531VJM9S M9531VJM9S
| URI | m2://inv/M9531VJM9S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29008#ZADR (statement)
History
- 2026-11-01: add by m2/v0.6.15
M9565X2FWB M9565X2FWB
| URI | m2://inv/M9565X2FWB |
|---|---|
| Kind | definition |
| 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.30363#TXZQ (definition). In QHBBP180QJ/e1, definition 2
History
- 2026-10-31: add by m2/v0.5.6
size-balanced binary search tree M9576TMSHJ
| URI | m2://inv/M9576TMSHJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Data structures > Trees > size-balanced binary search tree, size-balanced binary search tree (unknown). Also Mathlib Ordnode
History
- 2026-10-26: add by m2/dev
Zariski tangent space M95922SFEQ
| URI | m2://inv/M95922SFEQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zariski tangent space, Zariski tangent space (definition). Also Wikidata Q2031596
History
- 2026-11-02: add by m2/dev
M95RPCFDH5 M95RPCFDH5
| URI | m2://inv/M95RPCFDH5 |
|---|---|
| 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.09019#4THH (statement). In 8V6YECFCC1/e1, lemma 3.1
History
- 2026-10-29: add by m2/v0.4.10
Peter Duren M95TRAG4NZ
| URI | m2://inv/M95TRAG4NZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#WPDP, Peter Duren (topic)
History
- 2026-11-02: add by m2/dev
M95WPB762R M95WPB762R
| URI | m2://inv/M95WPB762R |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/intuitionistic-logic/semantics/semantic-notions.tex#prop:sat-entails (statement). In PKGMM3P5QY, prop, section 32.6
History
- 2026-11-01: add by m2/v0.6.13
Examples M96414QH6C
| URI | m2://inv/M96414QH6C |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Injective hull#RXZ6, Examples (example)
History
- 2026-11-02: add by m2/dev
M9676Z7ZNR M9676Z7ZNR
| URI | m2://inv/M9676Z7ZNR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2303.09207#1M6P (statement). In 9DQKY7KGE8/e1, lemma C.14
History
- 2026-10-31: add by m2/v0.5.6
M968PABWN6 M968PABWN6
| URI | m2://inv/M968PABWN6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19463#LRK1 (statement). In Q4HWFFK0R9/e1, theorem 4.1
History
- 2026-10-28: add by m2/v0.4.2
M969CA8CC3 M969CA8CC3
| URI | m2://inv/M969CA8CC3 |
|---|---|
| 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.10002#11HX (definition). In 5ZYWF6HAXJ/e1, definition scheme
History
- 2026-10-29: add by m2/v0.4.10
Spectrum (homotopy theory) M96HSCQMWP
| URI | m2://inv/M96HSCQMWP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic topology topics#11GG, Spectrum (homotopy theory) (definition)
History
- 2026-11-02: add by m2/dev
List of things named after Karl Weierstrass M96JH9GFKD
| URI | m2://inv/M96JH9GFKD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lists of mathematics topics#B6WR, List of things named after Karl Weierstrass (topic)
History
- 2026-11-02: add by m2/dev
Trace transformation and generalized shifts M96MPDQRRW
| URI | m2://inv/M96MPDQRRW |
|---|---|
| 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.14044#SJ6N, Trace transformation and generalized shifts (statement). In 5452SJRWDT/e1, proposition 3.1
History
- 2026-10-28: add by m2/v0.4.2
Small complex icosidodecahedron M96R92PZG9
| URI | m2://inv/M96R92PZG9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#EJGN, Small complex icosidodecahedron (definition)
History
- 2026-11-02: add by m2/dev
M96XM2MR97 M96XM2MR97
| URI | m2://inv/M96XM2MR97 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1002.0879#UYRA (definition). In M0SQY5EZN5/e1, definition 6.1.1
History
- 2026-10-27: add by m2/v0.3.5
M97325V3JN M97325V3JN
| URI | m2://inv/M97325V3JN |
|---|---|
| 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 2411.11470#P5IH (statement). In G1E3KERT6K/e1, lemma 2.2
History
- 2026-10-27: add by m2/v0.3.6
Applications M974PK7SKE
| URI | m2://inv/M974PK7SKE |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Probabilistic forecasting#4ZSF, Applications (example)
History
- 2026-11-02: add by m2/dev
Mertens conjecture M975F3C1NP
| URI | m2://inv/M975F3C1NP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of conjectures#OTNO, Mertens conjecture (statement)
History
- 2026-11-02: add by m2/dev
M976FD4BKN M976FD4BKN
| URI | m2://inv/M976FD4BKN |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06441#QNCI (unknown). In YFJ62HWHVK/e1, unknown 3.5
History
- 2026-10-29: add by m2/v0.4.10
Archimedean property M97DKX44AF
| URI | m2://inv/M97DKX44AF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Archimedean property, Archimedean property (definition). Also Wikidata Q634579
History
- 2026-11-02: add by m2/dev
M97FFPQ5TM M97FFPQ5TM
| URI | m2://inv/M97FFPQ5TM |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10930#T9WX (definition). In HX63A1PH1W/e1, definition 8.26
History
- 2026-10-28: add by m2/v0.4.3
Brauer group M97MZDQ7H7
| URI | m2://inv/M97MZDQ7H7 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Brauer group BEW48TA9WZ |
Mentions
- wikidata: Wikidata Q900456, Brauer group (concept). Also MathWorld BrauerGroup, nLab Brauer group
- wikipedia: Wikipedia Brauer group, Brauer group (definition). Also Wikidata Q900456
History
- 2026-10-26: add by m2/dev
Examples M97N6CBJ51
| URI | m2://inv/M97N6CBJ51 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Almost everywhere#IVKQ, Examples (example)
History
- 2026-11-02: add by m2/dev
K-linked graph M97TA68WJV
| URI | m2://inv/M97TA68WJV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vertex connectivity#GEN3, K-linked graph (unknown)
History
- 2026-11-02: add by m2/dev
Three Slice Nunatak M97WENT0C6
| URI | m2://inv/M97WENT0C6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#3C7C, Three Slice Nunatak (unknown)
History
- 2026-11-02: add by m2/dev
Frederick Mosteller M97XMBKQBV
| URI | m2://inv/M97XMBKQBV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Frederick Mosteller, Frederick Mosteller (topic). Also Wikidata Q735455
History
- 2026-11-02: add by m2/dev
M97YJH3EV1 M97YJH3EV1
| URI | m2://inv/M97YJH3EV1 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-systems.tex#exercise-92 (exercise). In E9HS8K3A52, exercise, section 10.8.6
History
- 2026-11-01: add by m2/v0.6.13
Wilfried Imrich M980DD1FAJ
| URI | m2://inv/M980DD1FAJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#QTEU, Wilfried Imrich (topic)
History
- 2026-11-02: add by m2/dev
Viacheslav Belavkin M981QXB3C0
| URI | m2://inv/M981QXB3C0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Viacheslav Belavkin, Viacheslav Belavkin (topic). Also Wikidata Q7924421
History
- 2026-11-02: add by m2/dev
Definition M984T7BC9A
| URI | m2://inv/M984T7BC9A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polar homology#RT2B, Definition (definition)
History
- 2026-11-02: add by m2/dev
Arthur Eddington M985DGG0ZF
| URI | m2://inv/M985DGG0ZF |
|---|---|
| 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#B01E, Arthur Eddington (unknown)
History
- 2026-11-02: add by m2/dev
M987MKV85J M987MKV85J
| URI | m2://inv/M987MKV85J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08052#LXTN (statement). In 672XAVEQ34/e1, corollary 4.6
History
- 2026-10-29: add by m2/v0.4.10
History of automated theorem proving M9888VPG54
| URI | m2://inv/M9888VPG54 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Automated theorem proving#3U14, History of automated theorem proving (unknown)
History
- 2026-11-02: add by m2/dev
M988EM3AXV M988EM3AXV
| URI | m2://inv/M988EM3AXV |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-contfunc.tex#example-14 (example). In E59CDZA4DP, example, section 2.4.1
History
- 2026-11-01: add by m2/v0.6.13
Riordan array (1/(1-x^2),x(1+x)/(1-x)). M98ATTE5PQ
| URI | m2://inv/M98ATTE5PQ |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q100194157, Riordan array (1/(1-x^2),x(1+x)/(1-x)). (object). Also OEIS A101603
History
- 2026-10-26: add by m2/dev
Conilpotent dg cooperad M98HQE09K0
| URI | m2://inv/M98HQE09K0 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2312.05005#NKFS, Conilpotent dg cooperad (definition). In SMJMAQ2S3J/e1, definition 18
History
- 2026-10-27: add by m2/v0.4.0
M98MY5MXAE M98MY5MXAE
| URI | m2://inv/M98MY5MXAE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2507.12309#0VCU (statement). In ZR53K3E0FR/e1, lemma 35
History
- 2026-10-27: add by m2/v0.3.6
Generalization M98SZT6QG8
| URI | m2://inv/M98SZT6QG8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Regularization (mathematics)#HI63, Generalization (statement)
History
- 2026-11-02: add by m2/dev
M98Z2CSVKT M98Z2CSVKT
| URI | m2://inv/M98Z2CSVKT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0406514#TNRA (statement). In CY1FE8W1ZW/e1, lemma 0.262
History
- 2026-10-27: add by m2/v0.4.0
M990RYX39X M990RYX39X
| URI | m2://inv/M990RYX39X |
|---|---|
| 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.21445#IQAN (statement). In 6XM9AETJT7/e1, lemma 3.2
History
- 2026-10-27: add by m2/v0.4.2
Joseph Lehner M9912M1ZY5
| URI | m2://inv/M9912M1ZY5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Joseph Lehner, Joseph Lehner (topic). Also Wikidata Q15444356
History
- 2026-11-02: add by m2/dev
R-Ladies M992RTDPJT
| URI | m2://inv/M992RTDPJT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia R-Ladies, R-Ladies (definition). Also Wikidata Q71297539
History
- 2026-11-02: add by m2/dev
M993BJZPFY M993BJZPFY
| URI | m2://inv/M993BJZPFY |
|---|---|
| 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.08935#RW46 (statement). In G02N9D40B9/e1, theorem 4.1.4
History
- 2026-10-29: add by m2/v0.4.10
M998DKV1JA M998DKV1JA
| URI | m2://inv/M998DKV1JA |
|---|---|
| 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.30165#EM8K (statement)
History
- 2026-11-01: add by m2/v0.6.15
The Princeton Companion to Mathematics M99FFP710A
| URI | m2://inv/M99FFP710A |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematics books#1O64, The Princeton Companion to Mathematics (unknown)
History
- 2026-11-02: add by m2/dev
Indirect inference M99GFMK538
| URI | m2://inv/M99GFMK538 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Indirect inference, Indirect inference (definition). Also Wikidata Q17299941
History
- 2026-11-02: add by m2/dev
M9A3XQBV3E M9A3XQBV3E
| URI | m2://inv/M9A3XQBV3E |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/sec_addtops-numbth.ptx#example-1 (example). In Y91XFCEVHQ, example, section 6.2.1
History
- 2026-11-01: add by m2/v0.6.13
Seversk M9A5XYEEQ3
| URI | m2://inv/M9A5XYEEQ3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#0VDX, Seversk (unknown)
History
- 2026-11-02: add by m2/dev
Plane M9AD489NVZ
| URI | m2://inv/M9AD489NVZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Plane (mathematics), Plane (definition). Also Wikidata Q135218320
History
- 2026-11-02: add by m2/dev
M9AK4Z96Z9 M9AK4Z96Z9
| URI | m2://inv/M9AK4Z96Z9 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09945#KTM6 (definition). In V7VCEA0VAA/e1, definition 2.2
History
- 2026-10-29: add by m2/v0.4.10
Applications of the theorem M9ANMKF2NY
| URI | m2://inv/M9ANMKF2NY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Turán–Kubilius inequality#VIJH, Applications of the theorem (statement)
History
- 2026-11-02: add by m2/dev
M9B1Q1PRF4 M9B1Q1PRF4
| URI | m2://inv/M9B1Q1PRF4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14434#UQQ9 (statement). In TW93XZXMHE/e1, lemma 6.1
History
- 2026-10-28: add by m2/v0.4.2
Benedikt Livshits M9B8QNE444
| URI | m2://inv/M9B8QNE444 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#JDW6, Benedikt Livshits (unknown)
History
- 2026-11-02: add by m2/dev
Locally linear embedding M9B8RSXDT9
| URI | m2://inv/M9B8RSXDT9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nonlinear dimensionality reduction#J99M, Locally linear embedding (unknown)
History
- 2026-11-02: add by m2/dev
M9BBB1YX0W M9BBB1YX0W
| URI | m2://inv/M9BBB1YX0W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08480#6P17 (statement). In R4EEE89C3S/e1, theorem 4.13
History
- 2026-10-29: add by m2/v0.4.10
Efficient Implementation M9BDM33WB7
| URI | m2://inv/M9BDM33WB7 |
|---|---|
| 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 2306.00212#5BQD, Efficient Implementation (statement). In C9GG9C1X65/e1, lemma 11
History
- 2026-10-27: add by m2/v0.3.5
Approximate KKT point M9BE72132H
| URI | m2://inv/M9BE72132H |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39736#FS7D, Approximate KKT point (definition). In BB1XJ47PVW/e1, definition 2
History
- 2026-10-30: add by m2/v0.4.12
Elizabeth B. Dussan V. M9BFK677MY
| URI | m2://inv/M9BFK677MY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elizabeth B. Dussan V., Elizabeth B. Dussan V. (topic). Also Wikidata Q60695676
History
- 2026-11-02: add by m2/dev
Application M9BGZQFMMQ
| URI | m2://inv/M9BGZQFMMQ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Centering matrix#9GK0, Application (example)
History
- 2026-11-02: add by m2/dev
M9BH9Z28CJ M9BH9Z28CJ
| URI | m2://inv/M9BH9Z28CJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21260#1SW3 (statement). In Z7WW536KA5/e1, proposition 2.2
History
- 2026-10-27: add by m2/v0.4.2
Galaxy rotation curve M9BWHFM6V4
| URI | m2://inv/M9BWHFM6V4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of curves#019J, Galaxy rotation curve (definition)
History
- 2026-11-02: add by m2/dev
M9BWWTS0WX M9BWWTS0WX
| URI | m2://inv/M9BWWTS0WX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23202#N9Z0 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Joachim A. Nitsche M9BY15Q2E6
| URI | m2://inv/M9BY15Q2E6 |
|---|---|
| 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#NQC7, Joachim A. Nitsche (topic)
History
- 2026-11-02: add by m2/dev
germ M9BZA4RQHP
| URI | m2://inv/M9BZA4RQHP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of real and complex analysis#N67G, germ (definition)
History
- 2026-11-02: add by m2/dev
coin problem M9C8PNKWFB
| URI | m2://inv/M9C8PNKWFB |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Frobenius coin problem 0V11FEXK08 |
Mentions
- wikidata: Wikidata Q2295746, coin problem (problem). Also MathWorld CoinProblem
- wikipedia: Wikipedia Coin problem, Coin problem (problem). Also Wikidata Q2295746
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Theorem of three moments M9C8SFJ8W6
| URI | m2://inv/M9C8SFJ8W6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#WAYZ, Theorem of three moments (statement)
History
- 2026-11-02: add by m2/dev
Susan Montgomery M9CH6SRRA3
| URI | m2://inv/M9CH6SRRA3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Susan Montgomery, Susan Montgomery (topic). Also Wikidata Q2368914
History
- 2026-11-02: add by m2/dev
M9CP4JAV1N M9CP4JAV1N
| URI | m2://inv/M9CP4JAV1N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21013#I116 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Ole Michael Ludvigsen Selberg M9CSCH33K4
| URI | m2://inv/M9CSCH33K4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ole Michael Ludvigsen Selberg, Ole Michael Ludvigsen Selberg (topic). Also Wikidata Q7085891
History
- 2026-11-02: add by m2/dev
Composition of codes M9CXW5FJ35
| URI | m2://inv/M9CXW5FJ35 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0003117#X7WN, Composition of codes (definition). In WD2NCBV9F0/e1, definition 5.1
History
- 2026-10-27: add by m2/v0.3.5
Berry–Tabor conjecture M9D3AKW95Y
| URI | m2://inv/M9D3AKW95Y |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#WL4H, Berry–Tabor conjecture (topic)
History
- 2026-11-02: add by m2/dev
M9D6DN5Q8E M9D6DN5Q8E
| URI | m2://inv/M9D6DN5Q8E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 53-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/9902147#ZWSF (statement). In 7CK21JGM5A/e1, corollary 3.16
History
- 2026-10-27: add by m2/v0.4.2
Set M9DFTB52HP
| URI | m2://inv/M9DFTB52HP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Set (card game), Set (definition). Also Wikidata Q607738
History
- 2026-11-02: add by m2/dev
M9DJPVRHDY M9DJPVRHDY
| URI | m2://inv/M9DJPVRHDY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2606.00589#H399 (statement). In C8JAGP8VCQ/e1, lemma 9.11
History
- 2026-10-27: add by m2/v0.3.5
A near-invariant distribution in the cube M9DR0XDXSN
| URI | m2://inv/M9DR0XDXSN |
|---|---|
| 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.20979#7AKM, A near-invariant distribution in the cube (statement)
History
- 2026-11-02: add by m2/v0.6.18
Seiberg–Witten theory M9DTKVEMCG
| URI | m2://inv/M9DTKVEMCG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Seiberg–Witten theory, Seiberg–Witten theory (topic). Also Wikidata Q3526765
History
- 2026-11-02: add by m2/dev
Shang-Hua Teng M9DX8AXNVP
| URI | m2://inv/M9DX8AXNVP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#5QAF, Shang-Hua Teng (unknown)
History
- 2026-11-02: add by m2/dev
The regular heptagon M9DZY0JNQF
| URI | m2://inv/M9DZY0JNQF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31689#224X, The regular heptagon (statement). In Z7M2JSF6HA/e1, proposition 8.11
History
- 2026-10-31: add by m2/v0.5.6
Discrete Fourier transform M9E0TC0SZS
| URI | m2://inv/M9E0TC0SZS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#OGXR, Discrete Fourier transform (definition)
History
- 2026-11-02: add by m2/dev
M9E4T1V02X M9E4T1V02X
| URI | m2://inv/M9E4T1V02X |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-power-ser.tex#exercise-6 (exercise). In E9HS8K3A52, exercise, section 9.1.6
History
- 2026-11-01: add by m2/v0.6.13
Properties M9ECM4TVCH
| URI | m2://inv/M9ECM4TVCH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Newton line#BXRQ, Properties (statement)
History
- 2026-11-02: add by m2/dev
M9EFV2PHTQ M9EFV2PHTQ
| URI | m2://inv/M9EFV2PHTQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 46-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24901#HWDF (statement)
History
- 2026-11-01: add by m2/v0.6.15
M9ENHZBH76 M9ENHZBH76
| URI | m2://inv/M9ENHZBH76 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18620#CRW6 (statement). In 6WJ0R9YEBR/e1, lemma 6.10
History
- 2026-10-28: add by m2/v0.4.2
Clifford Cocks M9ET2CGWEF
| URI | m2://inv/M9ET2CGWEF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cryptographers#V890, Clifford Cocks (topic)
History
- 2026-11-02: add by m2/dev
M9EVHCSNKS M9EVHCSNKS
| URI | m2://inv/M9EVHCSNKS |
|---|---|
| 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#TSH9 (statement)
History
- 2026-11-02: add by m2/v0.6.18
M9EX7NGY3D M9EX7NGY3D
| URI | m2://inv/M9EX7NGY3D |
|---|---|
| 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.16510#O4A3 (statement). In V7SQ4VXCRX/e1, theorem 5.3
History
- 2026-10-28: add by m2/v0.4.2
M9EXA8MC5T M9EXA8MC5T
| URI | m2://inv/M9EXA8MC5T |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/turing-machines/undecidability/representing-tms.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 86.9
History
- 2026-11-01: add by m2/v0.6.13
Formal definition M9F3BXER22
| URI | m2://inv/M9F3BXER22 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Minimal polynomial (linear algebra)#WFCI, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
M9F5CRSFA5 M9F5CRSFA5
| URI | m2://inv/M9F5CRSFA5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 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.34295#2VWQ (statement). In A93R925Z24/e1, corollary 11.1
History
- 2026-10-30: add by m2/v0.4.12
M9FB6KC4FC M9FB6KC4FC
| URI | m2://inv/M9FB6KC4FC |
|---|---|
| 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.22218#WKTY (statement). In 338GKREFVP/e1, lemma 43
History
- 2026-10-27: add by m2/v0.4.0
M9FDG6V8JR M9FDG6V8JR
| URI | m2://inv/M9FDG6V8JR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 01-XX, 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.06338#38AZ (statement). In F1CYVYK7YB/e1, theorem 5.4
History
- 2026-10-29: add by m2/v0.4.10
M9FE2260TV M9FE2260TV
| URI | m2://inv/M9FE2260TV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.26650#2DFF (statement)
History
- 2026-11-01: add by m2/v0.6.15
M9FE321A70 M9FE321A70
| URI | m2://inv/M9FE321A70 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 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 2204.00813#7M6X (statement). In ADKTJTBR9Z/e1, lemma 6
History
- 2026-10-27: add by m2/v0.3.5
A fixed Diophantine template M9FHNGJYD7
| URI | m2://inv/M9FHNGJYD7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 26-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12434#CZMT, A fixed Diophantine template (statement). In YCRZC9SDCE/e1, lemma 8.2
History
- 2026-10-28: add by m2/v0.4.2
On-set virtual production M9FJVB8GYZ
| URI | m2://inv/M9FJVB8GYZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#VLL6, On-set virtual production (unknown)
History
- 2026-11-02: add by m2/dev
Mu Sigma Rho M9FY61VJ1T
| URI | m2://inv/M9FY61VJ1T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mu Sigma Rho, Mu Sigma Rho (definition). Also Wikidata Q6930637
History
- 2026-11-02: add by m2/dev
$\V p$-conditional Riesz pair M9G144Q7QV
| URI | m2://inv/M9G144Q7QV |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14906#VO5L, $\V p$-conditional Riesz pair (definition). In 1F8ENX770M/e1, definition 3.2
History
- 2026-10-28: add by m2/v0.4.2
fundamental domain M9G3HGHW96
| URI | m2://inv/M9G3HGHW96 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Fundamental domain KNJA2NEZ9F |
Mentions
- wikidata: Wikidata Q1474108, fundamental domain (unknown). Also MathWorld FundamentalDomain
- wikipedia: Wikipedia Fundamental domain, Fundamental domain (definition). Also Wikidata Q1474108
History
- 2026-10-26: add by m2/dev
M9G535YNVM M9G535YNVM
| URI | m2://inv/M9G535YNVM |
|---|---|
| Kind | definition |
| 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#AI72 (definition). In J99PFFJXPE/e1, definition 4.9
History
- 2026-10-27: add by m2/v0.3.6
M9GHXNQ9ZN M9GHXNQ9ZN
| URI | m2://inv/M9GHXNQ9ZN |
|---|---|
| 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.33766#QQ3W (statement). In VGKK4M68EK/e1, lemma 2.3
History
- 2026-10-30: add by m2/v0.4.12
M9GK3HMYA8 M9GK3HMYA8
| URI | m2://inv/M9GK3HMYA8 |
|---|---|
| Kind | example |
| 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.07164#7CYQ (example). In Q1XJ5VWE1N/e1, example 4.12
History
- 2026-10-29: add by m2/v0.4.10
Copiale cipher M9GKQN2X5B
| URI | m2://inv/M9GKQN2X5B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Copiale cipher, Copiale cipher (definition). Also Wikidata Q592857
History
- 2026-11-02: add by m2/dev
Integral octonion M9GQ18J4SG
| URI | m2://inv/M9GQ18J4SG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Octonion#ZMNX, Integral octonion (unknown)
History
- 2026-11-02: add by m2/dev
M9GSNJQCJQ M9GSNJQCJQ
| URI | m2://inv/M9GSNJQCJQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08052#NZO1 (statement). In 672XAVEQ34/e1, lemma 3.11
History
- 2026-10-29: add by m2/v0.4.10
reduction of order M9GSY5J7QQ
| URI | m2://inv/M9GSY5J7QQ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Reduction of order 02SRXDAM3X |
Mentions
- wikidata: Wikidata Q1430365, reduction of order (concept). Also MathWorld Second-OrderOrdinaryDifferentialEquationSecondSolution
- wikipedia: Wikipedia Reduction of order, Reduction of order (definition). Also Wikidata Q1430365
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
M9H733BAFX M9H733BAFX
| URI | m2://inv/M9H733BAFX |
|---|---|
| Kind | example |
| 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 2609.27931#H5OL (example)
History
- 2026-11-01: add by m2/v0.6.15
Properties M9HF26GEWA
| URI | m2://inv/M9HF26GEWA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Continuous uniform distribution#1698, Properties (statement)
History
- 2026-11-02: add by m2/dev
M9HM51752N M9HM51752N
| URI | m2://inv/M9HM51752N |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40191#RXEE (problem). In F0D8VSM4Z4/e1, problem 7.2
History
- 2026-10-30: add by m2/v0.4.12
Implementation M9J15H4JQ4
| URI | m2://inv/M9J15H4JQ4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Statistical unit#BIF6, Implementation (definition)
History
- 2026-11-02: add by m2/dev
M9J4G7SYWK M9J4G7SYWK
| URI | m2://inv/M9J4G7SYWK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20849#GVTX (statement). In HK7FV97MFD/e1, proposition 3.1
History
- 2026-10-27: add by m2/v0.4.2
Théodore Moutard M9JFCXB58T
| URI | m2://inv/M9JFCXB58T |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Théodore Moutard, Théodore Moutard (topic). Also Wikidata Q56084837
History
- 2026-11-02: add by m2/dev
Displacement mapping M9JNP4TCKV
| URI | m2://inv/M9JNP4TCKV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#2039, Displacement mapping (unknown)
History
- 2026-11-02: add by m2/dev
Countably locally finite M9JQE4A4A6
| URI | m2://inv/M9JQE4A4A6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Locally finite collection#30R4, Countably locally finite (unknown)
History
- 2026-11-02: add by m2/dev
Examples M9JVPY6PAD
| URI | m2://inv/M9JVPY6PAD |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fuchsian group#WL7W, Examples (example)
History
- 2026-11-02: add by m2/dev
M9JWFNNETC M9JWFNNETC
| URI | m2://inv/M9JWFNNETC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35183#0GRG (statement). In FYM5XFD9RR/e1, proposition 3.2
History
- 2026-10-30: add by m2/v0.4.12
Example M9K1V10TXS
| URI | m2://inv/M9K1V10TXS |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Restricted representation#L9WM, Example (example)
History
- 2026-11-02: add by m2/dev
M9K73SXWXF M9K73SXWXF
| URI | m2://inv/M9K73SXWXF |
|---|---|
| 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.07260#PYDH (statement). In 33KABVV985/e1, lemma 3.5
History
- 2026-10-29: add by m2/v0.4.10
Johnnie Cochran M9KHWDNRDK
| URI | m2://inv/M9KHWDNRDK |
|---|---|
| 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#WH7T, Johnnie Cochran (unknown)
History
- 2026-11-02: add by m2/dev
M9KJRF943S M9KJRF943S
| URI | m2://inv/M9KJRF943S |
|---|---|
| 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.37459#QRTB (statement). In RPBXABNQTG/e1, theorem 5
History
- 2026-10-30: add by m2/v0.4.12
Finite local likelihood ratio M9KVEW1PQD
| URI | m2://inv/M9KVEW1PQD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39633#LRJ8, Finite local likelihood ratio (statement). In B339AJZP2S/e1, lemma 6.2
History
- 2026-10-30: add by m2/v0.4.12
homogeneous M9M12NE229
| URI | m2://inv/M9M12NE229 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of Principia Mathematica#UCKO, homogeneous (definition)
History
- 2026-11-02: add by m2/dev
Complete combustion M9MC1HNJED
| URI | m2://inv/M9MC1HNJED |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Combustion#HE9I, Complete combustion (unknown)
History
- 2026-11-02: add by m2/dev
Pairing inequality M9MZ17TXFD
| URI | m2://inv/M9MZ17TXFD |
|---|---|
| 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.15024#WO98, Pairing inequality (statement). In GTZZ9BMWE9/e1, lemma 3.1
History
- 2026-10-28: add by m2/v0.4.2
Eleonora Catsigeras M9N0MBBSC8
| URI | m2://inv/M9N0MBBSC8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eleonora Catsigeras, Eleonora Catsigeras (topic). Also Wikidata Q62019410
History
- 2026-11-02: add by m2/dev
physical object M9N1P8ZNYW
| URI | m2://inv/M9N1P8ZNYW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q223557, physical object (definition). Also ProofWiki Definition:Physical_Object
History
- 2026-10-26: add by m2/dev
Method M9N6YFM3MW
| URI | m2://inv/M9N6YFM3MW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia DeMix#TXBO, Method (definition)
History
- 2026-11-02: add by m2/dev
M9N99QFEPR M9N99QFEPR
| URI | m2://inv/M9N99QFEPR |
|---|---|
| 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.02295#D8VV (statement). In PEBD9ZMA1W/e1, proposition A.8
History
- 2026-10-29: add by m2/v0.4.12
Characterization via variable Bessel potential spaces M9NBH2PGET
| URI | m2://inv/M9NBH2PGET |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08253#UZJ1, Characterization via variable Bessel potential spaces (statement). In 6AD2CTF0QF/e1, theorem 2.9
History
- 2026-10-29: add by m2/v0.4.10
Frances Kirwan M9NG8Y990A
| URI | m2://inv/M9NG8Y990A |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Frances Kirwan, Frances Kirwan (topic). Also Wikidata Q541018
History
- 2026-11-02: add by m2/dev
transport, in coproduct types M9NGZMZV06
| URI | m2://inv/M9NGZMZV06 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/1.12/transport-in-coproduct-types, transport, in coproduct types (concept). In N54F33XE07, index, section 1.12
History
- 2026-11-01: add by m2/v0.6.13
B. S. Kašin M9NXDR2VA1
| URI | m2://inv/M9NXDR2VA1 |
|---|---|
| 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#TU8I, B. S. Kašin (topic)
History
- 2026-11-02: add by m2/dev
M9NZCMGY7B M9NZCMGY7B
| URI | m2://inv/M9NZCMGY7B |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28742#9PI5 (definition)
History
- 2026-11-01: add by m2/v0.6.15
M9NZX99R6A M9NZX99R6A
| URI | m2://inv/M9NZX99R6A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35307#AXTL (statement). In FT5TKY10T8/e1, proposition 3.1
History
- 2026-10-30: add by m2/v0.4.12
M9P0D87X1J M9P0D87X1J
| URI | m2://inv/M9P0D87X1J |
|---|---|
| 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 math/0003117#R3LQ (statement). In WD2NCBV9F0/e1, proposition 7.6
History
- 2026-10-27: add by m2/v0.3.5
Lyapunov drift condition M9P5VPTRY5
| URI | m2://inv/M9P5VPTRY5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 60-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02158#0UVN, Lyapunov drift condition (statement). In PCV12VAD47/e1, lemma 7
History
- 2026-10-29: add by m2/v0.4.12
ternary semantics M9P728Y2FH
| URI | m2://inv/M9P728Y2FH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#MEBD, ternary semantics (definition)
History
- 2026-11-02: add by m2/dev
M9PADQM83F M9PADQM83F
| URI | m2://inv/M9PADQM83F |
|---|---|
| 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 2508.03972#C1ZY (example). In 2JD3KNKJ1P/e1, example 4.9
History
- 2026-10-27: add by m2/v0.3.5
M9PAQXP3A7 M9PAQXP3A7
| URI | m2://inv/M9PAQXP3A7 |
|---|---|
| Kind | statement |
| Layer | research |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1509.00950#EH47 (statement). In MDZFW5GACV/e1, lemma 3.2
History
- 2026-10-27: add by m2/v0.3.5
M9PE94WRZD M9PE94WRZD
| URI | m2://inv/M9PE94WRZD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18673#N0EK (statement). In 7ZFD9XRKA1/e1, lemma 6.6
History
- 2026-10-28: add by m2/v0.4.2
Incompatibility with Lenstra–Pomerance–Wagstaff conjecture M9PQ917CGW
| URI | m2://inv/M9PQ917CGW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gillies' conjecture#6N3U, Incompatibility with Lenstra–Pomerance–Wagstaff conjecture (statement)
History
- 2026-11-02: add by m2/dev
M9PYQ01FZ4 M9PYQ01FZ4
| URI | m2://inv/M9PYQ01FZ4 |
|---|---|
| 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#XTQX (statement). In 3A4K47Y9F2/e1, lemma 4.33
History
- 2026-10-27: add by m2/v0.4.0
M9PZR7PZ4P M9PZR7PZ4P
| URI | m2://inv/M9PZR7PZ4P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29531#L69Z (statement)
History
- 2026-11-01: add by m2/v0.6.15
Independence M9Q143DAK8
| URI | m2://inv/M9Q143DAK8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.23106#QSQL, Independence (statement)
History
- 2026-11-02: add by m2/v0.6.17
Algorithm J M9Q6KQHCJ7
| URI | m2://inv/M9Q6KQHCJ7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hindley–Milner type system#YXI0, Algorithm J (unknown)
History
- 2026-11-02: add by m2/dev
M9QAS7HB53 M9QAS7HB53
| URI | m2://inv/M9QAS7HB53 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/Partitions.tex#ex:a partition (example). In P1C114YBXG, example, section G
History
- 2026-11-01: add by m2/v0.6.13
M9QBAM5RVK M9QBAM5RVK
| URI | m2://inv/M9QBAM5RVK |
|---|---|
| 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.26191#T0X9 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Steven Gaal M9QDVY5EE9
| URI | m2://inv/M9QDVY5EE9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#VAD8, Steven Gaal (topic)
History
- 2026-11-02: add by m2/dev
Padding the full-field anchor family M9QGHNC7MF
| URI | m2://inv/M9QGHNC7MF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15815#MVF1, Padding the full-field anchor family (statement). In 9C75CTY5C3/e1, corollary 4.2
History
- 2026-10-28: add by m2/v0.4.2
Standard Final Value Theorem M9QMAAPGVS
| URI | m2://inv/M9QMAAPGVS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Final value theorem#3EHM, Standard Final Value Theorem (statement)
History
- 2026-11-02: add by m2/dev
adjacent M9QPWKA6QM
| URI | m2://inv/M9QPWKA6QM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#I1QI, adjacent (definition)
History
- 2026-11-02: add by m2/dev
M9QWT6A092 M9QWT6A092
| URI | m2://inv/M9QWT6A092 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22074#8YGA (definition). In F3BKXXPR3K/e1, definition 2.5
History
- 2026-10-27: add by m2/v0.4.2
M9R29EDS24 M9R29EDS24
| URI | m2://inv/M9R29EDS24 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14847#IFGQ (statement). In 2RC8WXQ9ET/e1, lemma 2.6
History
- 2026-10-28: add by m2/v0.4.2
Compatible representative basis M9R3DK8HXH
| URI | m2://inv/M9R3DK8HXH |
|---|---|
| Kind | problem |
| 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.03353#GC3M, Compatible representative basis (problem). In 8W61T5CSRB/e1, problem 3.4
History
- 2026-10-29: add by m2/v0.4.12
Applications M9RC3AJN6V
| URI | m2://inv/M9RC3AJN6V |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Focal subgroup theorem#28AA, Applications (example)
History
- 2026-11-02: add by m2/dev
Sausage conjecture M9RC4GH8N3
| URI | m2://inv/M9RC4GH8N3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Finite sphere packing#4PB8, Sausage conjecture (statement)
History
- 2026-11-02: add by m2/dev
Properties M9RS3S2AWY
| URI | m2://inv/M9RS3S2AWY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sphenic number#V4NG, Properties (statement)
History
- 2026-11-02: add by m2/dev
Kac–Moody algebra M9RY7F41DZ
| URI | m2://inv/M9RY7F41DZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q856666, Kac–Moody algebra (unknown). Also EoM Kac-Moody_algebra, nLab Kac-Moody algebra
- wikipedia: Wikipedia Kac–Moody algebra, Kac–Moody algebra (definition). Also Wikidata Q856666
History
- 2026-10-26: add by m2/dev
M9RZ2GZKGQ M9RZ2GZKGQ
| URI | m2://inv/M9RZ2GZKGQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38436#8XB4 (statement). In 702AF3E4AF/e1, lemma 4.2
History
- 2026-10-30: add by m2/v0.4.12
LDL decomposition M9S36GJJKY
| URI | m2://inv/M9S36GJJKY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cholesky decomposition#97KS, LDL decomposition (unknown)
History
- 2026-11-02: add by m2/dev
M9SAB15QMG M9SAB15QMG
| URI | m2://inv/M9SAB15QMG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22288#CY6M (statement). In X38P26DK6S/e1, theorem 5.19
History
- 2026-10-27: add by m2/v0.4.0
Johan van Benthem M9SCQR7X6H
| URI | m2://inv/M9SCQR7X6H |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#W7LP, Johan van Benthem (topic)
History
- 2026-11-02: add by m2/dev
coefficient ring M9SDQXH1KQ
| URI | m2://inv/M9SDQXH1KQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#H772, coefficient ring (definition)
History
- 2026-11-02: add by m2/dev
Erdős–Nagy theorem M9SDW4RYHZ
| URI | m2://inv/M9SDW4RYHZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Paul Erdős#WN7E, Erdős–Nagy theorem (statement)
History
- 2026-11-02: add by m2/dev
Periodicity theorems M9SMDPDFQZ
| URI | m2://inv/M9SMDPDFQZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Determinacy#D7T4, Periodicity theorems (statement)
History
- 2026-11-02: add by m2/dev
PSPP M9SRZWGP57
| URI | m2://inv/M9SRZWGP57 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistical software#9EQD, PSPP (definition)
History
- 2026-11-02: add by m2/dev
Stability of constrained minima M9SVQPP6YB
| URI | m2://inv/M9SVQPP6YB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11038#25YZ, Stability of constrained minima (statement). In RY8QBYR4SE/e1, lemma C.1
History
- 2026-10-28: add by m2/v0.4.3
M9T5E0873V M9T5E0873V
| URI | m2://inv/M9T5E0873V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15847#XCFJ (statement). In BTV3DAMX28/e1, lemma 2
History
- 2026-10-28: add by m2/v0.4.2
M9TCTQ5MY6 M9TCTQ5MY6
| URI | m2://inv/M9TCTQ5MY6 |
|---|---|
| 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.39491#CRD3 (statement). In 9R00V9TGVT/e1, theorem 3.4
History
- 2026-10-30: add by m2/v0.4.12
M9TDJJEVHV M9TDJJEVHV
| URI | m2://inv/M9TDJJEVHV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2504.19468#RI0P (statement). In EY54F2SX08/e1, theorem 4.4
History
- 2026-10-27: add by m2/v0.3.5
M9TEF6MF2B M9TEF6MF2B
| URI | m2://inv/M9TEF6MF2B |
|---|---|
| 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.20025#IPE4 (statement). In 4W1WR4JB89/e1, theorem 2.7
History
- 2026-10-27: add by m2/v0.4.2
Loss function M9TFASDYBF
| URI | m2://inv/M9TFASDYBF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#W3W0, Loss function (definition)
History
- 2026-11-02: add by m2/dev
A. I. Malzev M9TGVEPGAK
| URI | m2://inv/M9TGVEPGAK |
|---|---|
| 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#WPHI, A. I. Malzev (unknown)
History
- 2026-11-02: add by m2/dev
Ground expression M9TPJ7BDYQ
| URI | m2://inv/M9TPJ7BDYQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ground expression, Ground expression (definition). Also Wikidata Q431411
History
- 2026-11-02: add by m2/dev
trilogarithm M9TXW1WNVX
| URI | m2://inv/M9TXW1WNVX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q91314064, trilogarithm (unknown). Also MathWorld Trilogarithm
History
- 2026-10-26: add by m2/dev
M9TXWKC2VZ M9TXWKC2VZ
| URI | m2://inv/M9TXWKC2VZ |
|---|---|
| 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.21622#SEXH (statement). In H21X3FHNYJ/e1, proposition 4.1
History
- 2026-10-27: add by m2/v0.4.2
M9V0SM7BEV M9V0SM7BEV
| URI | m2://inv/M9V0SM7BEV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21255#WRYW (statement). In FB4DAYJJ5F/e1, proposition A
History
- 2026-10-27: add by m2/v0.4.2
False positive rate M9V3HD3Z7H
| URI | m2://inv/M9V3HD3Z7H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia False positive rate, False positive rate (definition). Also Wikidata Q5432725
History
- 2026-11-02: add by m2/dev
Journal of Modern Applied Statistical Methods M9VKG464CQ
| URI | m2://inv/M9VKG464CQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics journals#DHFE, Journal of Modern Applied Statistical Methods (definition)
History
- 2026-11-02: add by m2/dev
M9VRMP0KEH M9VRMP0KEH
| URI | m2://inv/M9VRMP0KEH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 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.20932#9KZQ (statement). In FV78KV64B9/e1, theorem A
History
- 2026-10-27: add by m2/v0.4.2
M9VY0EJNXP M9VY0EJNXP
| URI | m2://inv/M9VY0EJNXP |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 16-XX, 55-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21365#C3CH (example). In FCMMB2EVAP/e1, example 4.8
History
- 2026-10-27: add by m2/v0.4.2
M9W6FBX7QN M9W6FBX7QN
| URI | m2://inv/M9W6FBX7QN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39700#KHRZ (statement). In E7W2HDNEKJ/e1, lemma 9.27
History
- 2026-10-30: add by m2/v0.4.12
Some useful theorems M9WA1QV6VY
| URI | m2://inv/M9WA1QV6VY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Simple continued fraction#TFEY, Some useful theorems (statement)
History
- 2026-11-02: add by m2/dev
Right filters M9WEEV0RWZ
| URI | m2://inv/M9WEEV0RWZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 49-XX, 58-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.05164#4SR3, Right filters (statement). In JY6RYSNXMJ/e1, lemma 11
History
- 2026-10-29: add by m2/v0.4.10
Two Step Cliffs M9X4PJDZWY
| URI | m2://inv/M9X4PJDZWY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#WLH5, Two Step Cliffs (unknown)
History
- 2026-11-02: add by m2/dev
Benoit Collins M9XAJ2ZRJ6
| URI | m2://inv/M9XAJ2ZRJ6 |
|---|---|
| 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#BB3T, Benoit Collins (unknown)
History
- 2026-11-02: add by m2/dev
Definition M9XM4YSCR9
| URI | m2://inv/M9XM4YSCR9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elliptical distribution#U10M, Definition (definition)
History
- 2026-11-02: add by m2/dev
Joachim Cuntz M9XSEQZ9AB
| URI | m2://inv/M9XSEQZ9AB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#FU6I, Joachim Cuntz (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#645S, Joachim Cuntz (topic)
History
- 2026-11-02: add by m2/dev
Gregory–Newton formula M9XXZJP1CZ
| URI | m2://inv/M9XXZJP1CZ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q138860836, Gregory–Newton formula (concept). Also MathWorld NewtonsForwardDifferenceFormula
History
- 2026-10-26: add by m2/dev
Birch-Tate Conjecture M9XY4EWJER
| URI | m2://inv/M9XY4EWJER |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 11-XX, 19-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28677#KMJQ, Birch-Tate Conjecture (conjecture)
History
- 2026-11-01: add by m2/v0.6.15
M9Y0T0HVKQ M9Y0T0HVKQ
| URI | m2://inv/M9Y0T0HVKQ |
|---|---|
| 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#D5VU (statement). In 1QXCNGRWV1/e1, theorem 1.2
History
- 2026-10-27: add by m2/v0.3.5
M9Y1BQQ31F M9Y1BQQ31F
| URI | m2://inv/M9Y1BQQ31F |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#proof-35 (proof). In VNMV985MXX, proof, section 2.6
History
- 2026-11-01: add by m2/v0.6.13
M9Y20EAA3X M9Y20EAA3X
| URI | m2://inv/M9Y20EAA3X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29574#HUI5 (statement)
History
- 2026-11-01: add by m2/v0.6.15
polylogarithm M9Y4EQ57H6
| URI | m2://inv/M9Y4EQ57H6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Polylogarithm 96CHDZKGQ0 |
Mentions
- wikidata: Wikidata Q1238449, polylogarithm (definition). Also MathWorld Polylogarithm, nLab polylogarithm, ProofWiki Definition:Polylogarithm
- wikipedia: Wikipedia Polylogarithm, Polylogarithm (definition). Also Wikidata Q1238449
History
- 2026-10-26: add by m2/dev
M9YG75A1MG M9YG75A1MG
| URI | m2://inv/M9YG75A1MG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20944#ISRJ (statement). In DRRKZR6CQC/e1, lemma B.1
History
- 2026-10-27: add by m2/v0.4.2
M9YK15SKBV M9YK15SKBV
| URI | m2://inv/M9YK15SKBV |
|---|---|
| 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.11043#O18Z (statement). In R3NJYPZH52/e1, lemma 3.6
History
- 2026-10-28: add by m2/v0.4.3
Epistemic modality M9YK1FXWZQ
| URI | m2://inv/M9YK1FXWZQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Epistemic modality, Epistemic modality (definition). Also Wikidata Q5383589
History
- 2026-11-02: add by m2/dev
Wrapped exponential distribution M9YTY3E0W2
| URI | m2://inv/M9YTY3E0W2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wrapped exponential distribution, Wrapped exponential distribution (definition). Also Wikidata Q8037606
History
- 2026-11-02: add by m2/dev
Analytic rigidity into the resonance group M9YW1QX60V
| URI | m2://inv/M9YW1QX60V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27970#OXK5, Analytic rigidity into the resonance group (statement)
History
- 2026-11-01: add by m2/v0.6.15
Faddeev–LeVerrier algorithm M9YXT7FNVE
| URI | m2://inv/M9YXT7FNVE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Faddeev–LeVerrier algorithm, Faddeev–LeVerrier algorithm (definition). Also Wikidata Q1484649
History
- 2026-11-02: add by m2/dev
M9YY4DZ1KQ M9YY4DZ1KQ
| URI | m2://inv/M9YY4DZ1KQ |
|---|---|
| Kind | definition |
| 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#LN86 (definition)
History
- 2026-11-02: add by m2/v0.6.18
M9Z0XFA825 M9Z0XFA825
| URI | m2://inv/M9Z0XFA825 |
|---|---|
| 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#JQD9 (statement). In 1QXCNGRWV1/e1, lemma 2.6
History
- 2026-10-27: add by m2/v0.3.5
Triangle of opposition M9Z9Q7XT7D
| URI | m2://inv/M9Z9Q7XT7D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Triangle of opposition, Triangle of opposition (definition). Also Wikidata Q7840110
History
- 2026-11-02: add by m2/dev
little oh notation M9ZBR4FFAE
| URI | m2://inv/M9ZBR4FFAE |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/4.3/little-oh-notation, little oh notation (concept). In QKM9DD2H56, index, section 4.3
History
- 2026-11-01: add by m2/v0.6.13
Loop M9ZHGPSF05
| URI | m2://inv/M9ZHGPSF05 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of general topology#V0P9, Loop (definition)
History
- 2026-11-02: add by m2/dev
Properties M9ZHVEWAWX
| URI | m2://inv/M9ZHVEWAWX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Character module#R4YR, Properties (statement)
History
- 2026-11-02: add by m2/dev
M9ZJ6M96QP M9ZJ6M96QP
| URI | m2://inv/M9ZJ6M96QP |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/seq-recurrence.ptx#exercise-11 (exercise). In Y91XFCEVHQ, exercise, section 3.4
History
- 2026-11-01: add by m2/v0.6.13
M9ZK20HCQT M9ZK20HCQT
| URI | m2://inv/M9ZK20HCQT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2511.15212#AWER (statement). In W99XBH6X5N/e1, theorem 2.7
History
- 2026-10-27: add by m2/v0.4.0
Enrico D'Ovidio M9ZMKS8VEM
| URI | m2://inv/M9ZMKS8VEM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Enrico D'Ovidio, Enrico D'Ovidio (topic). Also Wikidata Q3725715
History
- 2026-11-02: add by m2/dev
Robert Groves M9ZQ357ZQH
| URI | m2://inv/M9ZQ357ZQH |
|---|---|
| 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#6086, Robert Groves (topic)
History
- 2026-11-02: add by m2/dev
Homology module M9ZQFM1GDT
| URI | m2://inv/M9ZQFM1GDT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Homology (mathematics)#Q78H, Homology module (unknown)
History
- 2026-11-02: add by m2/dev
Notations M9ZV2HN68Y
| URI | m2://inv/M9ZV2HN68Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Differential operator#M9BV, Notations (definition)
History
- 2026-11-02: add by m2/dev
purely M9ZVS5P5QV
| URI | m2://inv/M9ZVS5P5QV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#KX7R, purely (definition)
History
- 2026-11-02: add by m2/dev
Length two M9ZVYDAZR6
| URI | m2://inv/M9ZVYDAZR6 |
|---|---|
| Kind | example |
| 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.04214#APLW, Length two (example). In HWY7AQ4KT2/e1, example 2.8
History
- 2026-10-29: add by m2/v0.4.12
Statement M9ZXM4JR08
| URI | m2://inv/M9ZXM4JR08 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Brouwer fixed-point theorem#FIV9, Statement (statement)
History
- 2026-11-02: add by m2/dev