Inventory rows M5
The cards of the rows of the inventory whose ids start with M5. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Turing's Wager M5049NF017
| URI | m2://inv/M5049NF017 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Alan Turing#V4DJ, Turing's Wager (unknown)
History
- 2026-11-02: add by m2/dev
differential algebra M50D69PY3Z
| URI | m2://inv/M50D69PY3Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2997772, differential algebra (unknown). Also MathWorld DerivationAlgebra
- wikipedia: Wikipedia Differential algebra, Differential algebra (definition). Also Wikidata Q2997772
History
- 2026-10-26: add by m2/dev
David Chaum M50D6WZ8A2
| URI | m2://inv/M50D6WZ8A2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#ZZQM, David Chaum (topic)
History
- 2026-11-02: add by m2/dev
Positivity in the mean for Problem $\mathcal{A}$ M50QHYH285
| URI | m2://inv/M50QHYH285 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32206#O6LZ, Positivity in the mean for Problem $\mathcal{A}$ (statement). In 3C4BQEVRM6/e1, lemma 3
History
- 2026-10-31: add by m2/v0.5.6
M50RSBDH9Z M50RSBDH9Z
| URI | m2://inv/M50RSBDH9Z |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises1-4.xml#exercise-4 (exercise). In 649HGZKE96, exercise, section 1.4
History
- 2026-11-01: add by m2/v0.6.13
temperature paradox M50TRH1GNS
| URI | m2://inv/M50TRH1GNS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#O8TA, temperature paradox (definition)
History
- 2026-11-02: add by m2/dev
M50VW43KTC M50VW43KTC
| URI | m2://inv/M50VW43KTC |
|---|---|
| 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 2207.12181#ER31 (definition). In FSD8NE3XSR/e1, definition 7.14
History
- 2026-10-27: add by m2/v0.4.0
M50X8TFC01 M50X8TFC01
| URI | m2://inv/M50X8TFC01 |
|---|---|
| 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#1VYK (statement). In E7W2HDNEKJ/e1, corollary 9.31
History
- 2026-10-30: add by m2/v0.4.12
M50Z8FNKQ7 M50Z8FNKQ7
| URI | m2://inv/M50Z8FNKQ7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28323#TWMM (statement)
History
- 2026-11-01: add by m2/v0.6.15
M51FTD3PBD M51FTD3PBD
| URI | m2://inv/M51FTD3PBD |
|---|---|
| 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 2203.00606#XEH9 (statement). In 3WBQFVX65D/e1, lemma 3.2
History
- 2026-10-27: add by m2/v0.3.5
Privacy-preserving computational geometry M51H2B8D3D
| URI | m2://inv/M51H2B8D3D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Privacy-preserving computational geometry, Privacy-preserving computational geometry (definition). Also Wikidata Q17083472
History
- 2026-11-02: add by m2/dev
real structure M51N352HT6
| URI | m2://inv/M51N352HT6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7301171, real structure (unknown). Also nLab real structure
- wikipedia: Wikipedia Real structure, Real structure (definition). Also Wikidata Q7301171
History
- 2026-10-26: add by m2/dev
immersion M51WV07JQE
| URI | m2://inv/M51WV07JQE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Immersion 6RW68JGBHC |
Mentions
- wikidata: Wikidata Q574523, immersion (definition). Also MathWorld Immersion, ProofWiki Definition:Immersion
- wikipedia: Wikipedia Immersion (mathematics), Immersion (definition). Also Wikidata Q574523
History
- 2026-10-26: add by m2/dev
M51XPDTKSY M51XPDTKSY
| URI | m2://inv/M51XPDTKSY |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2106.06387#RMUI (unknown). In 4YJH4FPWDA/e1, unknown 3.6
History
- 2026-10-30: add by m2/v0.4.12
Real symmetric matrix M5220VB54E
| URI | m2://inv/M5220VB54E |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Symmetric matrix#YMFI, Real symmetric matrix (unknown)
History
- 2026-11-02: add by m2/dev
Kac's lemma M5231RFZDT
| URI | m2://inv/M5231RFZDT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kac's lemma, Kac's lemma (statement). Also Wikidata Q97032821
History
- 2026-11-02: add by m2/dev
M52AAQN76V M52AAQN76V
| URI | m2://inv/M52AAQN76V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03255#3767 (statement). In DCC0Y18670/e1, lemma 3.1
History
- 2026-10-29: add by m2/v0.4.12
Claude Dechales M52G8ACBBB
| URI | m2://inv/M52G8ACBBB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Claude Dechales, Claude Dechales (topic). Also Wikidata Q2977414
History
- 2026-11-02: add by m2/dev
Newton polygon M52HS76WEZ
| URI | m2://inv/M52HS76WEZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#6K82, Newton polygon (definition)
History
- 2026-11-02: add by m2/dev
Control function M52J5QKM2W
| URI | m2://inv/M52J5QKM2W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Control function (econometrics), Control function (definition). Also Wikidata Q25212780
History
- 2026-11-02: add by m2/dev
Invertible profile M52J98SDZ3
| URI | m2://inv/M52J98SDZ3 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19296#F3XI, Invertible profile (example). In WFR2WNW8NB/e1, example 3.10
History
- 2026-10-28: add by m2/v0.4.2
Fundamental theorem of finite Abelian groups M52JM87KEE
| URI | m2://inv/M52JM87KEE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08280#27DS, Fundamental theorem of finite Abelian groups (statement). In EGADPYP7R3/e1, theorem 2.1
History
- 2026-10-29: add by m2/v0.4.10
M52THTQ6BC M52THTQ6BC
| URI | m2://inv/M52THTQ6BC |
|---|---|
| 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.15352#G14F (statement). In R39P7AFXM8/e1, lemma 5.2
History
- 2026-10-28: add by m2/v0.4.2
Dieter Held M52X0RQKHM
| URI | m2://inv/M52X0RQKHM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dieter Held, Dieter Held (topic). Also Wikidata Q1222103
History
- 2026-11-02: add by m2/dev
M531NEASKY M531NEASKY
| URI | m2://inv/M531NEASKY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06895#X8GE (statement). In PBB3PSDP0S/e1, lemma 3
History
- 2026-10-29: add by m2/v0.4.10
Bott periodicity theorem M537R677YW
| URI | m2://inv/M537R677YW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic topology topics#EI7B, Bott periodicity theorem (statement)
History
- 2026-11-02: add by m2/dev
Pure probes suffice M53EDE9D1N
| URI | m2://inv/M53EDE9D1N |
|---|---|
| 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.11002#NBNG, Pure probes suffice (statement). In P55JSAYR3T/e1, proposition
History
- 2026-10-28: add by m2/v0.4.3
Generalization M53EX6DHXQ
| URI | m2://inv/M53EX6DHXQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pentagram map#ST1H, Generalization (statement)
History
- 2026-11-02: add by m2/dev
M53F3713WJ M53F3713WJ
| URI | m2://inv/M53F3713WJ |
|---|---|
| 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#FK1H (definition). In PWXT7J9JX3/e1, definition 3.6
History
- 2026-10-28: add by m2/v0.4.2
M53S2KXVXB M53S2KXVXB
| URI | m2://inv/M53S2KXVXB |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_recurrence_exercises.ptx#exercise-6 (exercise). In QKM9DD2H56, exercise, section 9
History
- 2026-11-01: add by m2/v0.6.13
M53S8NQP6X M53S8NQP6X
| URI | m2://inv/M53S8NQP6X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26450#BMKO (statement)
History
- 2026-11-01: add by m2/v0.6.15
Definition M53ZT28B2Q
| URI | m2://inv/M53ZT28B2Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pathwidth#OGTX, Definition (definition)
History
- 2026-11-02: add by m2/dev
local equality conditions M5414Y1S16
| URI | m2://inv/M5414Y1S16 |
|---|---|
| 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.38838#KFHP, local equality conditions (statement). In 3EH8M9GWTX/e1, proposition 5.1
History
- 2026-10-30: add by m2/v0.4.12
Frontier M543Y0ZK7A
| URI | m2://inv/M543Y0ZK7A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of general topology#ZVBX, Frontier (definition)
History
- 2026-11-02: add by m2/dev
Markov chain of sequential sampling states M5440MVCCQ
| URI | m2://inv/M5440MVCCQ |
|---|---|
| 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.14615#B78O, Markov chain of sequential sampling states (statement). In 7D5MMP8XB5/e1, lemma 4.2
History
- 2026-10-28: add by m2/v0.4.2
M54CP9716D M54CP9716D
| URI | m2://inv/M54CP9716D |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book logic.tex#ex:n-set (exercise). In N54F33XE07, ex, section 9.11
History
- 2026-11-01: add by m2/v0.6.13
M54HFHD5SR M54HFHD5SR
| URI | m2://inv/M54HFHD5SR |
|---|---|
| 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.30817#US8S (statement). In DP5KJ7AATM/e1, lemma 2.4
History
- 2026-10-31: add by m2/v0.5.6
Janet Myhre M54JB4YVNV
| URI | m2://inv/M54JB4YVNV |
|---|---|
| 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#CA30, Janet Myhre (topic)
History
- 2026-11-02: add by m2/dev
M54RAX5DK3 M54RAX5DK3
| URI | m2://inv/M54RAX5DK3 |
|---|---|
| Kind | example |
| 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 2609.25801#C0QI (example)
History
- 2026-11-01: add by m2/v0.6.15
Yash Mittal M54SWZZFCK
| URI | m2://inv/M54SWZZFCK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Yash Mittal, Yash Mittal (topic). Also Wikidata Q102201582
History
- 2026-11-02: add by m2/dev
Huge cardinal M550DMH8DN
| URI | m2://inv/M550DMH8DN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical logic topics#QGQM, Huge cardinal (definition)
History
- 2026-11-02: add by m2/dev
Van Vleck's theorem M550HRHQDS
| URI | m2://inv/M550HRHQDS |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#L5MM, Van Vleck's theorem (problem)
History
- 2026-11-02: add by m2/dev
Pochhammer symbol M552GSVTA7
| URI | m2://inv/M552GSVTA7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q132335, Pochhammer symbol (unknown). Also MathWorld PochhammerSymbol, MathWorld RisingFactorial
History
- 2026-10-26: add by m2/dev
Bernhard Riemann M5585Y7H89
| URI | m2://inv/M5585Y7H89 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of complex analysis topics#JGIM, Bernhard Riemann (topic)
- wikipedia: Wikipedia List of algebraic geometry topics#H8YF, Bernhard Riemann (topic)
- wikipedia: Wikipedia List of German mathematicians#8HZY, Bernhard Riemann (topic)
History
- 2026-11-02: add by m2/dev
M55G2JNNJX M55G2JNNJX
| URI | m2://inv/M55G2JNNJX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 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 2609.29712#4UZG (statement)
History
- 2026-11-01: add by m2/v0.6.15
Division polynomials M55K7KECK5
| URI | m2://inv/M55K7KECK5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Division polynomials, Division polynomials (definition). Also Wikidata Q5284582
History
- 2026-11-02: add by m2/dev
Kostka polynomial M55M0RN9TK
| URI | m2://inv/M55M0RN9TK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polynomial topics#UQFV, Kostka polynomial (definition)
History
- 2026-11-02: add by m2/dev
M55TBDWB23 M55TBDWB23
| URI | m2://inv/M55TBDWB23 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14783#BHOG (example). In Y3X5XY2J65/e1, example 10.8
History
- 2026-10-28: add by m2/v0.4.2
RE-complete M55XD0WR4R
| URI | m2://inv/M55XD0WR4R |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia RE (complexity)#Y2L6, RE-complete (unknown)
History
- 2026-11-02: add by m2/dev
M569YE1Y1G M569YE1Y1G
| URI | m2://inv/M569YE1Y1G |
|---|---|
| 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.08599#A9ET (statement). In DST9FWMHT6/e1, lemma 2.1
History
- 2026-10-29: add by m2/v0.4.10
Differentiation (mathematics) M56ADZ812E
| URI | m2://inv/M56ADZ812E |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Derivative#W9SX, Differentiation (mathematics) (unknown)
History
- 2026-11-02: add by m2/dev
Properties M56CJBGX7Y
| URI | m2://inv/M56CJBGX7Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia De Rham curve#N36H, Properties (statement)
History
- 2026-11-02: add by m2/dev
Apollonian network M56E9YPNNV
| URI | m2://inv/M56E9YPNNV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#5VP7, Apollonian network (definition)
History
- 2026-11-02: add by m2/dev
M56WEWKQTZ M56WEWKQTZ
| URI | m2://inv/M56WEWKQTZ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/rep-theory/characters.tex#example-1 (example). In RZP28ERRZV, example, section 79.1
History
- 2026-11-01: add by m2/v0.6.13
Galton–Watson process M56YM5RZ7W
| URI | m2://inv/M56YM5RZ7W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Galton–Watson process, Galton–Watson process (definition). Also Wikidata Q462144
History
- 2026-11-02: add by m2/dev
M570ZQRBYN M570ZQRBYN
| URI | m2://inv/M570ZQRBYN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 20-XX, 22-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.25761#6JRB (statement)
History
- 2026-11-01: add by m2/v0.6.15
Block Lanczos algorithm M574DR61PM
| URI | m2://inv/M574DR61PM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Block Lanczos algorithm, Block Lanczos algorithm (definition). Also Wikidata Q4927153
History
- 2026-11-02: add by m2/dev
M575J7B7S3 M575J7B7S3
| URI | m2://inv/M575J7B7S3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18377#4A7M (statement). In KYJJMC50SJ/e1, theorem 1.3
History
- 2026-10-28: add by m2/v0.4.2
M576K17NHG M576K17NHG
| URI | m2://inv/M576K17NHG |
|---|---|
| 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.07049#V63R (statement). In GMF552ESG6/e1, proposition 5.3
History
- 2026-10-29: add by m2/v0.4.10
chaos theory M577NJWG2K
| URI | m2://inv/M577NJWG2K |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Chaos theory DBKXCGDKTD |
Mentions
- wikidata: Wikidata Q166314, chaos theory (topic). Also MathWorld Chaos, ProofWiki Definition:Chaos_Theory
- wikipedia: Wikipedia Chaos theory, Chaos theory (topic). Also Wikidata Q166314
History
- 2026-10-26: add by m2/dev
Stanisław Ruziewicz M57C10QHFR
| URI | m2://inv/M57C10QHFR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stanisław Ruziewicz, Stanisław Ruziewicz (topic). Also Wikidata Q473551
History
- 2026-11-02: add by m2/dev
Bound on the $\mathcal{X}_h$-norm of the Taylor coefficients M57QN4FR8R
| URI | m2://inv/M57QN4FR8R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36141#97KN, Bound on the $\mathcal{X}_h$-norm of the Taylor coefficients (statement). In F1WNDBMKSZ/e1, lemma 4.1
History
- 2026-10-30: add by m2/v0.4.12
M57R3XV2FJ M57R3XV2FJ
| URI | m2://inv/M57R3XV2FJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17863#KM5U (statement). In Y8XQT02BBF/e1, corollary 2.10
History
- 2026-10-28: add by m2/v0.4.2
Definition M57T6TSQMH
| URI | m2://inv/M57T6TSQMH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Homology manifold#NOSN, Definition (definition)
History
- 2026-11-02: add by m2/dev
Equations and formulas M57TSXMRQA
| URI | m2://inv/M57TSXMRQA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elementary mathematics#7LR8, Equations and formulas (statement)
History
- 2026-11-02: add by m2/dev
Rudolf Halin M57ZER2K5G
| URI | m2://inv/M57ZER2K5G |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rudolf Halin, Rudolf Halin (topic). Also Wikidata Q7377197
History
- 2026-11-02: add by m2/dev
Example M5821RVYM8
| URI | m2://inv/M5821RVYM8 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Naor–Reingold pseudorandom function#C1DO, Example (example)
History
- 2026-11-02: add by m2/dev
M583C8MQ3S M583C8MQ3S
| URI | m2://inv/M583C8MQ3S |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28141#LT7L (definition)
History
- 2026-11-01: add by m2/v0.6.15
M583Q4DF9H M583Q4DF9H
| URI | m2://inv/M583Q4DF9H |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36423#CC02 (example). In Q5Z178SAHP/e1, example 8.4
History
- 2026-10-30: add by m2/v0.4.12
Crossbar theorem M587MHH12S
| URI | m2://inv/M587MHH12S |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#2L2Z, Crossbar theorem (statement)
History
- 2026-11-02: add by m2/dev
M58AMZ6B89 M58AMZ6B89
| URI | m2://inv/M58AMZ6B89 |
|---|---|
| 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#TSFF (statement). In BDN507RN7J/e1, lemma 3.5.1
History
- 2026-10-30: add by m2/v0.4.12
Properties M58JB9RTBG
| URI | m2://inv/M58JB9RTBG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Semi-orthogonal matrix#P5KE, Properties (statement)
History
- 2026-11-02: add by m2/dev
M58K59ZV7M M58K59ZV7M
| URI | m2://inv/M58K59ZV7M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40096#CXO1 (statement). In XFE35F9NEV/e1, proposition A.1
History
- 2026-10-30: add by m2/v0.4.12
M58VX1B0P8 M58VX1B0P8
| URI | m2://inv/M58VX1B0P8 |
|---|---|
| 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 2301.04933#FA8U (definition). In Q70CTMCJTP/e1, definition 3.27
History
- 2026-10-27: add by m2/v0.3.5
Tribonacci word M58YEWWKW7
| URI | m2://inv/M58YEWWKW7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rauzy fractal#IPA4, Tribonacci word (unknown)
History
- 2026-11-02: add by m2/dev
GenStat M592Q55FQ2
| URI | m2://inv/M592Q55FQ2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistical software#M69Q, GenStat (definition)
History
- 2026-11-02: add by m2/dev
M593M73XCJ M593M73XCJ
| URI | m2://inv/M593M73XCJ |
|---|---|
| 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 1810.06028#767U (statement). In ZPFHH6YJG3/e1, theorem 6
History
- 2026-10-27: add by m2/v0.3.5
Necklace polynomial M5941JN73G
| URI | m2://inv/M5941JN73G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polynomial topics#DO2S, Necklace polynomial (definition)
History
- 2026-11-02: add by m2/dev
\cite{{conner88}}, Corollary 18.4 M59EBCBGZB
| URI | m2://inv/M59EBCBGZB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07180#FD7U, \cite{{conner88}}, Corollary 18.4 (statement). In TM4H1RV0BQ/e1, lemma 4.2
History
- 2026-10-27: add by m2/v0.3.5
M59EJK22MB M59EJK22MB
| URI | m2://inv/M59EJK22MB |
|---|---|
| Kind | example |
| 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.31910#NFHA (example). In E4EK1XXPY4/e1, example 3.4
History
- 2026-10-31: add by m2/v0.5.6
Union City M59X09TQRX
| URI | m2://inv/M59X09TQRX |
|---|---|
| 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#06EM, Union City (unknown)
History
- 2026-11-02: add by m2/dev
M59ZYM27E9 M59ZYM27E9
| URI | m2://inv/M59ZYM27E9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-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 2609.27872#3KAH (statement)
History
- 2026-11-01: add by m2/v0.6.15
Stable-Lift Bijection and Commutation M5AGQET21R
| URI | m2://inv/M5AGQET21R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37578#X32V, Stable-Lift Bijection and Commutation (statement). In D7NDCWSDJE/e1, lemma 13
History
- 2026-10-30: add by m2/v0.4.12
M5AK6ZPDCE M5AK6ZPDCE
| URI | m2://inv/M5AK6ZPDCE |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09300#KO8R (example). In JP589KS01S/e1, example 3.8
History
- 2026-10-29: add by m2/v0.4.10
Sharadchandra Shankar Shrikhande M5AQJ1XK4B
| URI | m2://inv/M5AQJ1XK4B |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sharadchandra Shankar Shrikhande, Sharadchandra Shankar Shrikhande (topic). Also Wikidata Q7489374
History
- 2026-11-02: add by m2/dev
M5ASBQ7X61 M5ASBQ7X61
| URI | m2://inv/M5ASBQ7X61 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37124#FU5W (statement). In 2QF1YG9DD0/e1, theorem 3.12
History
- 2026-10-30: add by m2/v0.4.12
Examples M5AW2TRJKT
| URI | m2://inv/M5AW2TRJKT |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Basis of a matroid#JFHI, Examples (example)
History
- 2026-11-02: add by m2/dev
E. Milman's spectral comparison M5AWRN0JFC
| URI | m2://inv/M5AWRN0JFC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX, 47-XX, 58-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22109#FC04, E. Milman's spectral comparison (statement). In MZ60NP20BH/e1, theorem 5.15
History
- 2026-10-27: add by m2/v0.4.0
Uniform lower bound on accepted step sizes M5AXAKGBDM
| URI | m2://inv/M5AXAKGBDM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18428#GCC1, Uniform lower bound on accepted step sizes (statement). In 6BGSQT7SV8/e1, lemma 9
History
- 2026-10-28: add by m2/v0.4.2
Yves Meyer M5B2V988KV
| URI | m2://inv/M5B2V988KV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#FXBQ, Yves Meyer (topic)
History
- 2026-11-02: add by m2/dev
Prime $\iff$ irreducible M5BFB88Z7J
| URI | m2://inv/M5BFB88Z7J |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/affine-var.tex#theorem-1, Prime $\iff$ irreducible (statement). In RZP28ERRZV, theorem, section 19.5
History
- 2026-11-01: add by m2/v0.6.13
Stefan Langerman M5BFTNSPEY
| URI | m2://inv/M5BFTNSPEY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#8ET6, Stefan Langerman (unknown)
History
- 2026-11-02: add by m2/dev
M5BMV750F2 M5BMV750F2
| URI | m2://inv/M5BMV750F2 |
|---|---|
| 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 2610.12120#CKGQ (statement). In G9D4R1AXP8/e1, proposition 2.4
History
- 2026-10-28: add by m2/v0.4.2
H square M5BYYS2SN0
| URI | m2://inv/M5BYYS2SN0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia H square, H square (definition). Also Wikidata Q5636328
History
- 2026-11-02: add by m2/dev
Examples M5C9RNBVW1
| URI | m2://inv/M5C9RNBVW1 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Markov partition#62O2, Examples (example)
History
- 2026-11-02: add by m2/dev
M5CA42BTB0 M5CA42BTB0
| URI | m2://inv/M5CA42BTB0 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05179#O9NK (definition). In 9EMCPF1F2T/e1, definition 25
History
- 2026-10-29: add by m2/v0.4.10
M5CHF5GPFH M5CHF5GPFH
| URI | m2://inv/M5CHF5GPFH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2511.05069#9KQD (statement). In SFQBJBTW8K/e1, lemma 14.9
History
- 2026-10-27: add by m2/v0.3.5
Max Dehn M5CPYCVPJ9
| URI | m2://inv/M5CPYCVPJ9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematicians born in the 19th century#5RQT, Max Dehn (topic)
History
- 2026-11-02: add by m2/dev
M5CRHTX0H7 M5CRHTX0H7
| URI | m2://inv/M5CRHTX0H7 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/logic-prop.ptx#exercise-17 (exercise). In Y91XFCEVHQ, exercise, section 4.1
History
- 2026-11-01: add by m2/v0.6.13
Slowly varying function M5D0S32KWJ
| URI | m2://inv/M5D0S32KWJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Slowly varying function, Slowly varying function (definition). Also Wikidata Q4287804
History
- 2026-11-02: add by m2/dev
M5D1QCFYQH M5D1QCFYQH
| URI | m2://inv/M5D1QCFYQH |
|---|---|
| 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 2610.13972#C7N6 (statement). In S1KHNS8XQM/e1, lemma A.1
History
- 2026-10-28: add by m2/v0.4.2
M5D36Y3F1M M5D36Y3F1M
| URI | m2://inv/M5D36Y3F1M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29152#CD1E (statement)
History
- 2026-11-01: add by m2/v0.6.15
Example M5D72ZYX3E
| URI | m2://inv/M5D72ZYX3E |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dedekind number#2DF8, Example (example)
History
- 2026-11-02: add by m2/dev
M5DKHF3YXM M5DKHF3YXM
| URI | m2://inv/M5DKHF3YXM |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26134#U58B (unknown)
History
- 2026-11-01: add by m2/v0.6.15
André Néron M5DZ1RFWDB
| URI | m2://inv/M5DZ1RFWDB |
|---|---|
| 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#FL4M, André Néron (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#H7H0, André Néron (topic)
History
- 2026-11-02: add by m2/dev
M5E1MRM67Q M5E1MRM67Q
| URI | m2://inv/M5E1MRM67Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/intuitionistic-logic/soundness-completeness/completeness-thm.tex#thm:completeness (statement). In PKGMM3P5QY, thm, section 33.3
History
- 2026-11-01: add by m2/v0.6.13
Hodge index theorem M5E3YAT6Q2
| URI | m2://inv/M5E3YAT6Q2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic geometry topics#29F9, Hodge index theorem (statement)
- wikipedia: Wikipedia List of things named after W. V. D. Hodge#2MXK, Hodge index theorem (statement)
History
- 2026-11-02: add by m2/dev
M5E5C9Q0F3 M5E5C9Q0F3
| URI | m2://inv/M5E5C9Q0F3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book categories.tex#ct:functor-cat (statement). In N54F33XE07, thm, section 2.2
History
- 2026-11-01: add by m2/v0.6.13
Log-Cauchy distribution M5ECEATNZV
| URI | m2://inv/M5ECEATNZV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability distributions#TTVK, Log-Cauchy distribution (definition)
History
- 2026-11-02: add by m2/dev
Condition for reverse OU (sub)optimality M5EFKHGAX9
| URI | m2://inv/M5EFKHGAX9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10875#JSO3, Condition for reverse OU (sub)optimality (statement). In N91F15MHW1/e1, lemma 1
History
- 2026-10-28: add by m2/v0.4.3
M5EH5QHJM6 M5EH5QHJM6
| URI | m2://inv/M5EH5QHJM6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#cor:pshcompose (statement). In VNMV985MXX, cor, section 2.4
History
- 2026-11-01: add by m2/v0.6.13
M5EQ0MWP5J M5EQ0MWP5J
| URI | m2://inv/M5EQ0MWP5J |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/axiomatic-deduction/provability-consistency.tex#prop:provability-contr (statement). In PKGMM3P5QY, prop, section 8.7
History
- 2026-11-01: add by m2/v0.6.13
Peter J. Bickel M5ERGENAA6
| URI | m2://inv/M5ERGENAA6 |
|---|---|
| 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#V6H2, Peter J. Bickel (topic)
- wikipedia: Wikipedia List of fellows of the American Statistical Association#L5TC, Peter J. Bickel (topic)
History
- 2026-11-02: add by m2/dev
ueberschiebung M5EZ78TTM9
| URI | m2://inv/M5EZ78TTM9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of invariant theory#9Y6V, ueberschiebung (definition)
History
- 2026-11-02: add by m2/dev
Wild odd-prime non-stable case M5EZQY2SM4
| URI | m2://inv/M5EZQY2SM4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10583#L4VX, Wild odd-prime non-stable case (statement). In 5BZQS1KY9A/e1, corollary 9.16
History
- 2026-10-29: add by m2/v0.4.10
M5FK65535S M5FK65535S
| URI | m2://inv/M5FK65535S |
|---|---|
| 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.07164#AY17 (statement). In Q1XJ5VWE1N/e1, lemma 4.2
History
- 2026-10-29: add by m2/v0.4.10
J. C. C. McKinsey M5FWRN329R
| URI | m2://inv/M5FWRN329R |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia J. C. C. McKinsey, J. C. C. McKinsey (topic). Also Wikidata Q966375
History
- 2026-11-02: add by m2/dev
Spheroid M5GES9W1ST
| URI | m2://inv/M5GES9W1ST |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#3UAG, Spheroid (definition)
- wikipedia: Wikipedia List of complex and algebraic surfaces#5QTT, Spheroid (definition)
- wikipedia: Wikipedia List of solids derived from the sphere#Y0YX, Spheroid (definition)
- wikipedia: Wikipedia List of surfaces#3P9Y, Spheroid (definition)
History
- 2026-11-02: add by m2/dev
$L$-maximizers as limits of $\widecheck L_\varepsilon$-maximizers for Cauchy hypersurfaces M5GK6DNTY3
| URI | m2://inv/M5GK6DNTY3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11911#2LCV, $L$-maximizers as limits of $\widecheck L_\varepsilon$-maximizers for Cauchy hypersurfaces (statement). In 5BYE5NYB89/e1, corollary 3.17
History
- 2026-10-28: add by m2/v0.4.3
Besicovitch, Abram Samoilovitch M5GPXSV86W
| URI | m2://inv/M5GPXSV86W |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian mathematicians#I1LP, Besicovitch, Abram Samoilovitch (topic)
History
- 2026-11-02: add by m2/dev
Properties M5GT251Y8Y
| URI | m2://inv/M5GT251Y8Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Convergence of random variables#1829, Properties (statement)
History
- 2026-11-02: add by m2/dev
M5GTJV6N5C M5GTJV6N5C
| URI | m2://inv/M5GTJV6N5C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28374#RUYB (statement)
History
- 2026-11-01: add by m2/v0.6.15
Definition M5H05CDMJ6
| URI | m2://inv/M5H05CDMJ6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Delta-functor#NWFS, Definition (definition)
History
- 2026-11-02: add by m2/dev
Irene Montie M5H42FXR05
| URI | m2://inv/M5H42FXR05 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Irene Montie, Irene Montie (topic). Also Wikidata Q60455143
History
- 2026-11-02: add by m2/dev
absolute convergence M5HAG7Z4HQ
| URI | m2://inv/M5HAG7Z4HQ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs index/9.1.1/absolute-convergence, absolute convergence (concept). In E9HS8K3A52, index, section 9.1.1
History
- 2026-11-01: add by m2/v0.6.13
M5HCCKYHG9 M5HCCKYHG9
| URI | m2://inv/M5HCCKYHG9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18239#AN3L (statement). In C60WZ6WQSY/e1, proposition 6.3
History
- 2026-10-28: add by m2/v0.4.2
Completely regular M5HCXYG033
| URI | m2://inv/M5HCXYG033 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of general topology#XL7D, Completely regular (definition)
History
- 2026-11-02: add by m2/dev
Harish-Chandra homomorphism M5HFX1S0KA
| URI | m2://inv/M5HFX1S0KA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Harish-Chandra homomorphism, Harish-Chandra homomorphism (definition). Also Wikidata Q5657838
History
- 2026-11-02: add by m2/dev
Suslin set M5HPN4YC7K
| URI | m2://inv/M5HPN4YC7K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of properties of sets of reals#NRFL, Suslin set (definition)
- wikipedia: Wikipedia List of types of sets#7ON4, Suslin set (definition)
History
- 2026-11-02: add by m2/dev
Concave changes of coordinates M5HR32P24R
| URI | m2://inv/M5HR32P24R |
|---|---|
| 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.33794#SXB6, Concave changes of coordinates (statement). In W0PQMW25VY/e1, theorem 2.2
History
- 2026-10-30: add by m2/v0.4.12
M5HTDZCN0F M5HTDZCN0F
| URI | m2://inv/M5HTDZCN0F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28189#5GI1 (statement)
History
- 2026-11-01: add by m2/v0.6.15
nonequivalence M5HXCN191R
| URI | m2://inv/M5HXCN191R |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q141492754, nonequivalence (unknown). Also MathWorld Nonequivalent
History
- 2026-10-26: add by m2/dev
M5J0THVS2K M5J0THVS2K
| URI | m2://inv/M5J0THVS2K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX, 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14045#VSVS (statement). In KZ71GXT2B0/e1, corollary 2.40
History
- 2026-10-28: add by m2/v0.4.2
The Sun M5JCTDHBQ2
| URI | m2://inv/M5JCTDHBQ2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people arrested in the News International phone-hacking scandal#OBBY, The Sun (unknown)
History
- 2026-11-02: add by m2/dev
M5JE69YD3T M5JE69YD3T
| URI | m2://inv/M5JE69YD3T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-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 0905.1489#N8YW (statement). In MZ18CTV65N/e1, proposition 1
History
- 2026-10-27: add by m2/v0.3.5
Spectral theory of compact operators M5JMGC9Y2R
| URI | m2://inv/M5JMGC9Y2R |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spectral theory of compact operators, Spectral theory of compact operators (topic). Also Wikidata Q7575213
History
- 2026-11-02: add by m2/dev
M5JNYDZCF5 M5JNYDZCF5
| URI | m2://inv/M5JNYDZCF5 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus source/activities/act-3-1-4.xml#act-3-1-4 (exercise). In 907G4C4EJ1, activity, section 3.1.2
History
- 2026-11-01: add by m2/v0.6.13
Bond percolation M5JQ3VW9XR
| URI | m2://inv/M5JQ3VW9XR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Percolation theory#BUCV, Bond percolation (unknown)
History
- 2026-11-02: add by m2/dev
M5JQCG7VAH M5JQCG7VAH
| URI | m2://inv/M5JQCG7VAH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13817#4IZV (statement). In BMSAXTDV47/e1, lemma 4.2
History
- 2026-10-28: add by m2/v0.4.2
Odd family M5K8YBVPQZ
| URI | m2://inv/M5K8YBVPQZ |
|---|---|
| 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 2610.08252#3XQP, Odd family (statement). In M50TGNSJJR/e1, theorem 5.1
History
- 2026-10-29: add by m2/v0.4.10
Definition M5K99M20DY
| URI | m2://inv/M5K99M20DY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gromov boundary#PWTU, Definition (definition)
History
- 2026-11-02: add by m2/dev
Compactness M5KE6MVBEZ
| URI | m2://inv/M5KE6MVBEZ |
|---|---|
| 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.25015#UGRR, Compactness (statement)
History
- 2026-11-01: add by m2/v0.6.15
Miklós Laczkovich M5KJZGJ8Y0
| URI | m2://inv/M5KJZGJ8Y0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Miklós Laczkovich, Miklós Laczkovich (topic). Also Wikidata Q767571
History
- 2026-11-02: add by m2/dev
M5KMQJASZA M5KMQJASZA
| URI | m2://inv/M5KMQJASZA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02669#Q7DA (statement). In NSBSWH6XB4/e1, proposition 8.1
History
- 2026-10-29: add by m2/v0.4.12
Lemma M5KRCCNP62
| URI | m2://inv/M5KRCCNP62 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Leibniz integral rule#X4CT, Lemma (statement)
History
- 2026-11-02: add by m2/dev
Neil White's conjecture M5M4MQME2A
| URI | m2://inv/M5M4MQME2A |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Basis of a matroid#03N6, Neil White's conjecture (statement)
History
- 2026-11-02: add by m2/dev
Kolmogorov complexity M5M6MN6956
| URI | m2://inv/M5M6MN6956 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Kolmogorov complexity 8PY3K6NCKF |
Mentions
- wikidata: Wikidata Q1456811, Kolmogorov complexity (concept). Also nLab Kolmogorov complexity
- wikipedia: Wikipedia Kolmogorov complexity, Kolmogorov complexity (definition). Also Wikidata Q1456811
History
- 2026-10-26: add by m2/dev
Global well-posedness M5M96PS3WF
| URI | m2://inv/M5M96PS3WF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29147#Y7JJ, Global well-posedness (statement)
History
- 2026-11-01: add by m2/v0.6.15
M5MA39B2T3 M5MA39B2T3
| URI | m2://inv/M5MA39B2T3 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03612#W92D (example). In REDG6QVHM3/e1, example 8.10
History
- 2026-10-29: add by m2/v0.4.12
M5MN5X59B4 M5MN5X59B4
| URI | m2://inv/M5MN5X59B4 |
|---|---|
| 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.21565#6NSZ (statement)
History
- 2026-11-02: add by m2/v0.6.18
Chart.js M5MSSG7MBN
| URI | m2://inv/M5MSSG7MBN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of open-source software for mathematics#Y8UU, Chart.js (unknown)
History
- 2026-11-02: add by m2/dev
Definition M5MV6HZD7Q
| URI | m2://inv/M5MV6HZD7Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vector spherical harmonics#DMAH, Definition (definition)
History
- 2026-11-02: add by m2/dev
M5MWSZZT9G M5MWSZZT9G
| URI | m2://inv/M5MWSZZT9G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16657#ZK6Q (statement). In SRQ37RX6MK/e1, theorem 5.2
History
- 2026-10-28: add by m2/v0.4.2
Vergil D. Reed M5MX4FHZFN
| URI | m2://inv/M5MX4FHZFN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#VIM0, Vergil D. Reed (unknown)
History
- 2026-11-02: add by m2/dev
Dirichlet process M5N0C35PK5
| URI | m2://inv/M5N0C35PK5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of stochastic processes topics#8ARF, Dirichlet process (definition)
History
- 2026-11-02: add by m2/dev
Zermelo's navigation problem M5N4XK5XBR
| URI | m2://inv/M5N4XK5XBR |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zermelo's navigation problem, Zermelo's navigation problem (problem). Also Wikidata Q28134370
History
- 2026-11-02: add by m2/dev
Homotopy hypothesis M5N5YARWGD
| URI | m2://inv/M5N5YARWGD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Homotopy theory#44D1, Homotopy hypothesis (statement)
History
- 2026-11-02: add by m2/dev
M5N6B6D5PS M5N6B6D5PS
| URI | m2://inv/M5N6B6D5PS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21937#YK1N (statement)
History
- 2026-11-02: add by m2/v0.6.17
M5NBA2NETR M5NBA2NETR
| URI | m2://inv/M5NBA2NETR |
|---|---|
| Kind | problem |
| 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.09810#JZW7 (problem). In B6PCH930FV/e1, problem
History
- 2026-10-29: add by m2/v0.4.10
Self-distributive M5NBSZM7V3
| URI | m2://inv/M5NBSZM7V3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Racks and quandles#B48C, Self-distributive (unknown)
History
- 2026-11-02: add by m2/dev
Verification of the threshold conditions M5NCWKBFZB
| URI | m2://inv/M5NCWKBFZB |
|---|---|
| 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.17329#REX1, Verification of the threshold conditions (statement). In F6GD5JWK9M/e1, lemma A.3
History
- 2026-10-28: add by m2/v0.4.2
M5NFNKB8T7 M5NFNKB8T7
| URI | m2://inv/M5NFNKB8T7 |
|---|---|
| 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#269W (statement). In 9DQKY7KGE8/e1, lemma 6.9
History
- 2026-10-27: add by m2/v0.3.5
Double exponential time M5NM3H5X2H
| URI | m2://inv/M5NM3H5X2H |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Time complexity#EUSE, Double exponential time (unknown)
History
- 2026-11-02: add by m2/dev
David Emmanuel M5NQ9NZ810
| URI | m2://inv/M5NQ9NZ810 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia David Emmanuel (mathematician), David Emmanuel (topic). Also Wikidata Q2905148
History
- 2026-11-02: add by m2/dev
M5NR68E7XX M5NR68E7XX
| URI | m2://inv/M5NR68E7XX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17565#9YEA (statement). In C422901XCN/e1, theorem 4.4
History
- 2026-10-28: add by m2/v0.4.2
Near-strong convexity of $\ell_1$-norm M5NRVYCYDA
| URI | m2://inv/M5NRVYCYDA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20701#S9WJ, Near-strong convexity of $\ell_1$-norm (statement)
History
- 2026-11-02: add by m2/v0.6.18
Implementation M5NYDHXVPV
| URI | m2://inv/M5NYDHXVPV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Concatenation#5OTR, Implementation (definition)
History
- 2026-11-02: add by m2/dev
free category M5NYJYSH5R
| URI | m2://inv/M5NYJYSH5R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#8B34, free category (definition)
History
- 2026-11-02: add by m2/dev
Ezekiel, Mordecai M5NZQDN9KH
| URI | m2://inv/M5NZQDN9KH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#5NT1, Ezekiel, Mordecai (unknown)
History
- 2026-11-02: add by m2/dev
M5P2789990 M5P2789990
| URI | m2://inv/M5P2789990 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2405.14678#2G1L (example). In 9ZSNSJRJ5N/e1, example 41
History
- 2026-10-27: add by m2/v0.4.2
Gile, Krista M5P714RM3D
| URI | m2://inv/M5P714RM3D |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#TREF, Gile, Krista (topic)
History
- 2026-11-02: add by m2/dev
KH M5PEH1PEDY
| URI | m2://inv/M5PEH1PEDY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#GAPQ, KH (definition)
History
- 2026-11-02: add by m2/dev
Jack Block M5PF6CXJYM
| URI | m2://inv/M5PF6CXJYM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jack Block, Jack Block (topic). Also Wikidata Q6111301
History
- 2026-11-02: add by m2/dev
M5PMCR39P5 M5PMCR39P5
| URI | m2://inv/M5PMCR39P5 |
|---|---|
| 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#ZZPM (statement). In WD2NCBV9F0/e1, lemma 20.3
History
- 2026-10-27: add by m2/v0.3.5
Adaptive histogram equalization M5PSXF5AM5
| URI | m2://inv/M5PSXF5AM5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#47OL, Adaptive histogram equalization (unknown)
History
- 2026-11-02: add by m2/dev
7-sphere M5PWYPBG72
| URI | m2://inv/M5PWYPBG72 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q62577207, 7-sphere (unknown). Also nLab 7-sphere
History
- 2026-10-26: add by m2/dev
De analysi per aequationes numero terminorum infinitas M5Q5JT9S4C
| URI | m2://inv/M5Q5JT9S4C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a book, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5244882, De analysi per aequationes numero terminorum infinitas (unknown). Also ProofWiki Book:Isaac_Newton/On_Analysis_by_Means_of_Equations_with_an_Infinite_Number_of_Terms
- wikipedia: Wikipedia De analysi per aequationes numero terminorum infinitas, De analysi per aequationes numero terminorum infinitas (definition). Also Wikidata Q5244882
History
- 2026-10-26: add by m2/dev
Lagrange's mean value theorem M5Q9F11GFB
| URI | m2://inv/M5Q9F11GFB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Joseph-Louis Lagrange#XP3O, Lagrange's mean value theorem (statement)
History
- 2026-11-02: add by m2/dev
Boris Podolsky M5QAS50BKF
| URI | m2://inv/M5QAS50BKF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#FGB3, Boris Podolsky (unknown)
- wikipedia: Wikipedia List of Ukrainian Jews#ZFPP, Boris Podolsky (unknown)
History
- 2026-11-02: add by m2/dev
Example M5QBAW5W2Y
| URI | m2://inv/M5QBAW5W2Y |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Highly totient number#HPQS, Example (example)
History
- 2026-11-02: add by m2/dev
Nesmith Ankeny M5QBGM5MPR
| URI | m2://inv/M5QBGM5MPR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#Z4AD, Nesmith Ankeny (topic)
History
- 2026-11-02: add by m2/dev
Bertini's theorem M5QBZWK9J8
| URI | m2://inv/M5QBZWK9J8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#WPR7, Bertini's theorem (statement)
History
- 2026-11-02: add by m2/dev
Lars Brink M5QD0YBW6T
| URI | m2://inv/M5QD0YBW6T |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1806184, Lars Brink (unknown). Also nLab Lars Brink
History
- 2026-10-26: add by m2/dev
Cubical type theory M5QK0W0K4S
| URI | m2://inv/M5QK0W0K4S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cubical type theory, Cubical type theory (definition). Also Wikidata Q139761564
History
- 2026-11-02: add by m2/dev
Bass–Serre theory M5QMGRQ6VA
| URI | m2://inv/M5QMGRQ6VA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Jean-Pierre Serre#6N87, Bass–Serre theory (definition)
History
- 2026-11-02: add by m2/dev
Example M5QTJ1R628
| URI | m2://inv/M5QTJ1R628 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polynomial greatest common divisor#PFVF, Example (example)
History
- 2026-11-02: add by m2/dev
M5QYDXRZNK M5QYDXRZNK
| URI | m2://inv/M5QYDXRZNK |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 46-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.10329#LCHB (example). In SCSTR1Q1BW/e1, example 7.11
History
- 2026-10-29: add by m2/v0.4.10
M5QZ807EB2 M5QZ807EB2
| URI | m2://inv/M5QZ807EB2 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1705.04310#I207 (definition). In MG51GG0QZN/e1, definition 3.10
History
- 2026-10-27: add by m2/v0.3.5
Underwood Dudley M5QZP3E1EV
| URI | m2://inv/M5QZP3E1EV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#5BET, Underwood Dudley (topic)
History
- 2026-11-02: add by m2/dev
A history of mathematics (Cajori) M5R7QC5YJJ
| URI | m2://inv/M5R7QC5YJJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Florian Cajori#G7DS, A history of mathematics (Cajori) (unknown)
History
- 2026-11-02: add by m2/dev
M5RC6HAR9T M5RC6HAR9T
| URI | m2://inv/M5RC6HAR9T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05391#Z0CY (statement). In 9B5TNEBJHV/e1, lemma 2.30
History
- 2026-10-29: add by m2/v0.4.10
Non-escape without a height restriction M5RCTWV4ZA
| URI | m2://inv/M5RCTWV4ZA |
|---|---|
| Kind | conjecture |
| 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.33027#40OW, Non-escape without a height restriction (conjecture). In E2AF84709B/e1, conjecture 33
History
- 2026-10-31: add by m2/v0.5.6
computational physics M5RH95NQME
| URI | m2://inv/M5RH95NQME |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q909554, computational physics (unknown). Also nLab computational physics
History
- 2026-10-26: add by m2/dev
David Salsburg M5RKP2101V
| URI | m2://inv/M5RKP2101V |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia David Salsburg, David Salsburg (topic). Also Wikidata Q5239430
History
- 2026-11-02: add by m2/dev
Lower bound on $K(r)$ M5RXH1Q1M7
| URI | m2://inv/M5RXH1Q1M7 |
|---|---|
| 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.33557#CTRX, Lower bound on $K(r)$ (statement). In 95YZVAPGJA/e1, lemma 2.3
History
- 2026-10-30: add by m2/v0.4.12
S. M. Nikolskii M5S8GWWB6A
| URI | m2://inv/M5S8GWWB6A |
|---|---|
| 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#1STX, S. M. Nikolskii (topic)
History
- 2026-11-02: add by m2/dev
M5SX6WHXFW M5SX6WHXFW
| URI | m2://inv/M5SX6WHXFW |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26324#KUEU (conjecture)
History
- 2026-11-01: add by m2/v0.6.15
Definition M5T5ZQ9D6Q
| URI | m2://inv/M5T5ZQ9D6Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dirac adjoint#W6UV, Definition (definition)
History
- 2026-11-02: add by m2/dev
M5T85F2AEJ M5T85F2AEJ
| URI | m2://inv/M5T85F2AEJ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus source/activities/act-5-3-3.xml#act-5-3-3 (exercise). In 907G4C4EJ1, activity, section 5.3.4
History
- 2026-11-01: add by m2/v0.6.13
András Recski M5TAHXQV41
| URI | m2://inv/M5TAHXQV41 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia András Recski, András Recski (topic). Also Wikidata Q96626906
History
- 2026-11-02: add by m2/dev
M5TE2WD9N1 M5TE2WD9N1
| URI | m2://inv/M5TE2WD9N1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24465#7IUJ (statement)
History
- 2026-11-01: add by m2/v0.6.15
closed curve M5TJ2M77SB
| URI | m2://inv/M5TJ2M77SB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | node (a node has the same name as the row) |
| Node | Closed curve 045YFKRW0P |
Mentions
- wikidata: Wikidata Q3001206, closed curve (unknown). Also MathWorld ClosedCurve
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Separated flows M5TP1ZQ81D
| URI | m2://inv/M5TP1ZQ81D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27813#VBLN, Separated flows (statement)
History
- 2026-11-01: add by m2/v0.6.15
Confirmation bias M5TY1DF4CP
| URI | m2://inv/M5TY1DF4CP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Confirmation bias, Confirmation bias (definition). Also Wikidata Q431498
History
- 2026-11-02: add by m2/dev
Outline of cryptography M5V7SFNGEV
| URI | m2://inv/M5V7SFNGEV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Outline of cryptography, Outline of cryptography (topic). Also Wikidata Q620009
History
- 2026-11-02: add by m2/dev
M5V97VNKH8 M5V97VNKH8
| URI | m2://inv/M5V97VNKH8 |
|---|---|
| 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.03488#WZLL (statement). In 9GXR1WEYWT/e1, proposition 3.6
History
- 2026-10-29: add by m2/v0.4.12
Multi-layer gradient under common layer bounds M5VATD1RBZ
| URI | m2://inv/M5VATD1RBZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02659#ZVPK, Multi-layer gradient under common layer bounds (statement). In EV933413SJ/e1, corollary D.2
History
- 2026-10-29: add by m2/v0.4.12
M5VEJ0B6QX M5VEJ0B6QX
| URI | m2://inv/M5VEJ0B6QX |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18632#E0SY (problem). In PTM5MVD4M0/e1, problem Question
History
- 2026-10-28: add by m2/v0.4.2
M5VJBX9TRS M5VJBX9TRS
| URI | m2://inv/M5VJBX9TRS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#defn-8 (definition). In VNMV985MXX, defn, section 2.2
History
- 2026-11-01: add by m2/v0.6.13
M5VMGMH57W M5VMGMH57W
| URI | m2://inv/M5VMGMH57W |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book homotopy.tex#proof-1 (proof). In N54F33XE07, proof, section 7.1.3
History
- 2026-11-01: add by m2/v0.6.13
M5VRMPD240 M5VRMPD240
| URI | m2://inv/M5VRMPD240 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22460#JKMB (statement). In 2ZXBTQR8FM/e1, lemma 2
History
- 2026-10-27: add by m2/v0.3.5
M5VSB4ENYT M5VSB4ENYT
| URI | m2://inv/M5VSB4ENYT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 37-XX, 46-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27458#1MSM (statement)
History
- 2026-11-01: add by m2/v0.6.15
M5VYCA10XY M5VYCA10XY
| URI | m2://inv/M5VYCA10XY |
|---|---|
| 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.39103#1SVW (statement). In VGB0N93ES8/e1, lemma 4
History
- 2026-10-30: add by m2/v0.4.12
Meridional Intersection Patterns M5W0KP3VGT
| URI | m2://inv/M5W0KP3VGT |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09422#PDTA, Meridional Intersection Patterns (definition). In MS7M2BJS9X/e1, definition 7.8
History
- 2026-10-29: add by m2/v0.4.10
M5W4E1PEB7 M5W4E1PEB7
| URI | m2://inv/M5W4E1PEB7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/ordinals/wo.tex#defn-1 (definition). In PKGMM3P5QY, defn, section 73.4
History
- 2026-11-01: add by m2/v0.6.13
relation, antisymmetric M5W6WC40RN
| URI | m2://inv/M5W6WC40RN |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/B.6/relation-antisymmetric, relation, antisymmetric (concept). In N54F33XE07, index, section B.6
History
- 2026-11-01: add by m2/v0.6.13
Definition M5W7XP7XB0
| URI | m2://inv/M5W7XP7XB0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia G-structure on a manifold#37QT, Definition (definition)
History
- 2026-11-02: add by m2/dev
M5W802048V M5W802048V
| URI | m2://inv/M5W802048V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2401.14638#8G82 (statement). In 2XC2MZFWPP/e1, lemma 3.7
History
- 2026-10-27: add by m2/v0.3.5
Change-making problem M5WDXDERSX
| URI | m2://inv/M5WDXDERSX |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Change-making problem, Change-making problem (problem). Also Wikidata Q3406279
History
- 2026-11-02: add by m2/dev
Hans Maass M5WF3ZQ7VR
| URI | m2://inv/M5WF3ZQ7VR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hans Maass, Hans Maass (topic). Also Wikidata Q99074
History
- 2026-11-02: add by m2/dev
M5WFPGP1Z0 M5WFPGP1Z0
| URI | m2://inv/M5WFPGP1Z0 |
|---|---|
| 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.11336#QHUY (statement). In X1R1GDAJ0Y/e1, corollary 2.19
History
- 2026-10-28: add by m2/v0.4.3
Solutions of underdetermined systems M5WFQ57EKK
| URI | m2://inv/M5WFQ57EKK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Underdetermined system#OJWK, Solutions of underdetermined systems (unknown)
History
- 2026-11-02: add by m2/dev
Violin plot M5WFRY487X
| URI | m2://inv/M5WFRY487X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#UJ3G, Violin plot (definition)
- wikipedia: Wikipedia List of graphical methods#DC6E, Violin plot (definition)
History
- 2026-11-02: add by m2/dev
graph of a function M5WM4C5JBZ
| URI | m2://inv/M5WM4C5JBZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Graph of a function 0JBJYT69ZV |
Mentions
- wikidata: Wikidata Q182598, graph of a function (unknown). Also MathWorld FunctionGraph, nLab graph of a function
- wikipedia: Wikipedia Graph of a function, Graph of a function (definition). Also Wikidata Q182598
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
751 (number) M5WQY35JBG
| URI | m2://inv/M5WQY35JBG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 700 (number)#JFJC, 751 (number) (unknown)
History
- 2026-11-02: add by m2/dev
Willem van Zwet M5WR0HS22Q
| URI | m2://inv/M5WR0HS22Q |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of presidents of the Institute of Mathematical Statistics#MGL3, Willem van Zwet (topic)
History
- 2026-11-02: add by m2/dev
Harish-Chandra isomorphism M5WSQS1KX8
| URI | m2://inv/M5WSQS1KX8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Harish-Chandra isomorphism, Harish-Chandra isomorphism (definition). Also Wikidata Q5657840
History
- 2026-11-02: add by m2/dev
M5WXR4G2MV M5WXR4G2MV
| URI | m2://inv/M5WXR4G2MV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16010#8LNC (statement). In AQJXKF6WZP/e1, lemma 3.4
History
- 2026-10-28: add by m2/v0.4.2
301 (Number) M5X5CHQ44E
| URI | m2://inv/M5X5CHQ44E |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 300 (number)#T2YR, 301 (Number) (unknown)
History
- 2026-11-02: add by m2/dev
Hahn polynomials M5X65X471S
| URI | m2://inv/M5X65X471S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polynomial topics#ZK68, Hahn polynomials (definition)
History
- 2026-11-02: add by m2/dev
Conjugacy in abelian groups is trivial M5X9AZQMA4
| URI | m2://inv/M5X9AZQMA4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/action.tex#corollary-1, Conjugacy in abelian groups is trivial (statement). In RZP28ERRZV, corollary, section 1.4
History
- 2026-11-01: add by m2/v0.6.13
M5X9WS709W M5X9WS709W
| URI | m2://inv/M5X9WS709W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25742#6IOJ (statement)
History
- 2026-11-01: add by m2/v0.6.15
M5XA611AN9 M5XA611AN9
| URI | m2://inv/M5XA611AN9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/numfield.tex#definition-2 (definition). In RZP28ERRZV, definition, section 16.2
History
- 2026-11-01: add by m2/v0.6.13
M5XCF4AHBE M5XCF4AHBE
| URI | m2://inv/M5XCF4AHBE |
|---|---|
| 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.33557#4C76 (statement). In 95YZVAPGJA/e1, lemma 5.1
History
- 2026-10-30: add by m2/v0.4.12
M5XNXXDEKV M5XNXXDEKV
| URI | m2://inv/M5XNXXDEKV |
|---|---|
| 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 math/9807180#34LF (statement). In VR3766BVE5/e1, proposition 2.19
History
- 2026-10-27: add by m2/v0.3.5
M5XQAGJ590 M5XQAGJ590
| URI | m2://inv/M5XQAGJ590 |
|---|---|
| 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.22296#VK91 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Ljubomir Chakaloff M5XYJKSWZK
| URI | m2://inv/M5XYJKSWZK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematicians born in the 19th century#WET4, Ljubomir Chakaloff (unknown)
History
- 2026-11-02: add by m2/dev
László Filep M5Y03QNC9F
| URI | m2://inv/M5Y03QNC9F |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia László Filep, László Filep (topic). Also Wikidata Q1001295
History
- 2026-11-02: add by m2/dev
Definition M5Y1RS02QS
| URI | m2://inv/M5Y1RS02QS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jyā, koti-jyā and utkrama-jyā#RNV8, Definition (definition)
History
- 2026-11-02: add by m2/dev
Doob's first martingale convergence theorem M5Y5TZF3RA
| URI | m2://inv/M5Y5TZF3RA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Doob's martingale convergence theorems#QBP9, Doob's first martingale convergence theorem (statement)
History
- 2026-11-02: add by m2/dev
Algebraic homotopy M5Y64ZX7EA
| URI | m2://inv/M5Y64ZX7EA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Algebraic homotopy, Algebraic homotopy (definition). Also Wikidata Q130349201
History
- 2026-11-02: add by m2/dev
Capacity M5Y76PNYJY
| URI | m2://inv/M5Y76PNYJY |
|---|---|
| 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#RUGJ, Capacity (definition). In WD2NCBV9F0/e1, definition 2.5
History
- 2026-10-27: add by m2/v0.3.5
M5YBSD3VG8 M5YBSD3VG8
| URI | m2://inv/M5YBSD3VG8 |
|---|---|
| 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.23629#FJQR (statement)
History
- 2026-11-02: add by m2/v0.6.17
Surface bundle over the circle M5YCMGAKJ4
| URI | m2://inv/M5YCMGAKJ4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Surface bundle over the circle, Surface bundle over the circle (definition). Also Wikidata Q7645953
History
- 2026-11-02: add by m2/dev
M5YCTR2FXE M5YCTR2FXE
| URI | m2://inv/M5YCTR2FXE |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 35-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33541#J0EO (example). In N3P196CEAJ/e1, example 3
History
- 2026-10-30: add by m2/v0.4.12
Sela's classification theorem M5YDQGWN5H
| URI | m2://inv/M5YDQGWN5H |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zlil Sela#1IAC, Sela's classification theorem (statement)
History
- 2026-11-02: add by m2/dev
Uniformity and independence in the affine case M5YEHSSGPV
| URI | m2://inv/M5YEHSSGPV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37482#MEDU, Uniformity and independence in the affine case (statement). In 9QDRMZX8EY/e1, corollary 5
History
- 2026-10-30: add by m2/v0.4.12
Non-self-duality, unconditional and non-circular M5YM40FFFE
| URI | m2://inv/M5YM40FFFE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04099#45KU, Non-self-duality, unconditional and non-circular (statement). In QPJ6FWG5HD/e1, corollary 2.32
History
- 2026-10-29: add by m2/v0.4.12
McLaughlin group M5YMNQB76P
| URI | m2://inv/M5YMNQB76P |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q997257, McLaughlin group (unknown). Also MathWorld McLaughlinGroup
- wikipedia: Wikipedia McLaughlin sporadic group, McLaughlin sporadic group (object). Also Wikidata Q997257
History
- 2026-10-26: add by m2/dev
Far-out point M5YVQYDP5K
| URI | m2://inv/M5YVQYDP5K |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q130305967, Far-out point (unknown). Also MathWorld Far-OutPoint
History
- 2026-10-26: add by m2/dev
David Gabai M5YZSMSKRR
| URI | m2://inv/M5YZSMSKRR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia David Gabai, David Gabai (topic). Also Wikidata Q1174499
History
- 2026-11-02: add by m2/dev
Uniform Convergence Theorem M5Z52CZGRY
| URI | m2://inv/M5Z52CZGRY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Uniform convergence in probability#VBUD, Uniform Convergence Theorem (statement)
History
- 2026-11-02: add by m2/dev
M5Z6NWYAJT M5Z6NWYAJT
| URI | m2://inv/M5Z6NWYAJT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00789#6ZPR (statement). In 4WPYBTARS2/e1, theorem 2.20
History
- 2026-10-29: add by m2/v0.4.12
the Euler exception M5ZC6JM2D4
| URI | m2://inv/M5ZC6JM2D4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02743#BG1V, the Euler exception (statement). In GQH4ZPDWET/e1, lemma 9.1
History
- 2026-10-29: add by m2/v0.4.12
Berry--Esseen bound for an independent part plus a reversible-chain part M5ZCFY4HHF
| URI | m2://inv/M5ZCFY4HHF |
|---|---|
| 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.17403#E9XQ, Berry--Esseen bound for an independent part plus a reversible-chain part (statement). In 9EMNMAW8YH/e1, lemma 33
History
- 2026-10-28: add by m2/v0.4.2
Model specification M5ZHJKCDDB
| URI | m2://inv/M5ZHJKCDDB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#A7ZZ, Model specification (definition)
History
- 2026-11-02: add by m2/dev
M5ZNAD8SXS M5ZNAD8SXS
| URI | m2://inv/M5ZNAD8SXS |
|---|---|
| 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.31527#QNYM (statement). In ZQ2YZ4P6P5/e1, proposition 4.1
History
- 2026-10-31: add by m2/v0.5.6
Gheorghe Călugăreanu M5ZZ8Q0X80
| URI | m2://inv/M5ZZ8Q0X80 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gheorghe Călugăreanu, Gheorghe Călugăreanu (topic). Also Wikidata Q37662308
History
- 2026-11-02: add by m2/dev