Inventory rows 6X
The cards of the rows of the inventory whose ids start with 6X. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
6X02CEYTA4 6X02CEYTA4
| URI | m2://inv/6X02CEYTA4 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2406.19866#I9YE (definition). In 9F94CEQ1ZM/e1, definition 2.19
History
- 2026-10-27: add by m2/v0.3.5
6X02J4M2VA 6X02J4M2VA
| URI | m2://inv/6X02J4M2VA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27694#N136 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Seventy-Six Township, Muscatine County, Iowa 6X068NYS4E
| URI | m2://inv/6X068NYS4E |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#08BA, Seventy-Six Township, Muscatine County, Iowa (unknown)
History
- 2026-11-02: add by m2/dev
Aggregated fixed-point recurrence 6X083AM4EP
| URI | m2://inv/6X083AM4EP |
|---|---|
| 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.31407#ZG4T, Aggregated fixed-point recurrence (statement). In 6JSC602CCF/e1, theorem 4.1
History
- 2026-10-31: add by m2/v0.5.6
Zeta function and slopes of a curve 6X0E3SJCC1
| URI | m2://inv/6X0E3SJCC1 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05652#N1UW, Zeta function and slopes of a curve (definition). In 8BNPFYQDQX/e1, definition 2.3
History
- 2026-10-29: add by m2/v0.4.10
Pierre Schapira 6X0M0ES9MG
| URI | m2://inv/6X0M0ES9MG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pierre Schapira (mathematician), Pierre Schapira (topic). Also Wikidata Q2093876
History
- 2026-11-02: add by m2/dev
6X0WS1VS1N 6X0WS1VS1N
| URI | m2://inv/6X0WS1VS1N |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-fourier-and-pde.tex#theorem-5 (statement). In E9HS8K3A52, theorem, section 5.7
History
- 2026-11-01: add by m2/v0.6.13
Copleston–Russell debate 6X105409MN
| URI | m2://inv/6X105409MN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Copleston–Russell debate, Copleston–Russell debate (definition). Also Wikidata Q42610100
History
- 2026-11-02: add by m2/dev
6X11XR1HP1 6X11XR1HP1
| URI | m2://inv/6X11XR1HP1 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03384#2FRS (definition). In J55JTTKG84/e1, definition 5.3
History
- 2026-10-29: add by m2/v0.4.12
Examples 6X12KA7PW5
| URI | m2://inv/6X12KA7PW5 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Banzhaf power index#5L8H, Examples (example)
History
- 2026-11-02: add by m2/dev
6X16PYTR2K 6X16PYTR2K
| URI | m2://inv/6X16PYTR2K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33679#6GLJ (statement). In 3N9E9T6AF5/e1, corollary 5.7
History
- 2026-10-30: add by m2/v0.4.12
Stability with respect to initial condition 6X1B35NSW2
| URI | m2://inv/6X1B35NSW2 |
|---|---|
| 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 2303.10636#QRPN, Stability with respect to initial condition (statement). In 9SV2RAEPXM/e1, theorem 5.1
History
- 2026-10-27: add by m2/v0.3.6
Thin lens 6X1DF72XPN
| URI | m2://inv/6X1DF72XPN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#PPGB, Thin lens (definition)
History
- 2026-11-02: add by m2/dev
6X1F4BT2NH 6X1F4BT2NH
| URI | m2://inv/6X1F4BT2NH |
|---|---|
| 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 2202.10212#T0BU (statement). In E9ZQM8449P/e1, theorem 3.2
History
- 2026-10-27: add by m2/v0.3.6
6X1M55KNT1 6X1M55KNT1
| URI | m2://inv/6X1M55KNT1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.33590#DUJT (statement). In WRE0P7V6Z3/e1, lemma
History
- 2026-10-30: add by m2/v0.4.12
Properties 6X1MWXN86C
| URI | m2://inv/6X1MWXN86C |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Split Lie algebra#ERUH, Properties (statement)
History
- 2026-11-02: add by m2/dev
Theorem 6 6X2QQ6WVGJ
| URI | m2://inv/6X2QQ6WVGJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Near sets#NDU4, Theorem 6 (statement)
History
- 2026-11-02: add by m2/dev
3-torus 6X3PSZQATV
| URI | m2://inv/6X3PSZQATV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of manifolds#L3F4, 3-torus (definition)
History
- 2026-11-02: add by m2/dev
6X3RNGM31G 6X3RNGM31G
| URI | m2://inv/6X3RNGM31G |
|---|---|
| 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.22825#KPB2 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Monotone VI under SGC 6X3WV1WM48
| URI | m2://inv/6X3WV1WM48 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12641#GWF0, Monotone VI under SGC (statement). In X5BYGZZHPF/e1, theorem 4.1
History
- 2026-10-28: add by m2/v0.4.2
Wasserstein Dimension 6X3YYYY53G
| URI | m2://inv/6X3YYYY53G |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02663#44RA, Wasserstein Dimension (definition). In PGAZ70WGMG/e1, definition 5
History
- 2026-10-29: add by m2/v0.4.12
Derivative of post-LMMSE SINR 6X4CH9EQMV
| URI | m2://inv/6X4CH9EQMV |
|---|---|
| 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.21265#A1ZP, Derivative of post-LMMSE SINR (statement)
History
- 2026-11-02: add by m2/v0.6.18
methods of computing square roots 6X4G2WGRJ1
| URI | m2://inv/6X4G2WGRJ1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1197114, methods of computing square roots (unknown). Also MathWorld SquareRootAlgorithms
- wikipedia: Wikipedia Square root algorithms, Square root algorithms (definition). Also Wikidata Q1197114
History
- 2026-10-26: add by m2/dev
6X4GYVG52X 6X4GYVG52X
| URI | m2://inv/6X4GYVG52X |
|---|---|
| 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.20588#UC3I (statement)
History
- 2026-11-02: add by m2/v0.6.18
6X4MSYWDNS 6X4MSYWDNS
| URI | m2://inv/6X4MSYWDNS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08935#FOI6 (statement). In G02N9D40B9/e1, lemma 6.3.1
History
- 2026-10-29: add by m2/v0.4.10
6X4MV93TYY 6X4MV93TYY
| URI | m2://inv/6X4MV93TYY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35683#NLZS (statement). In A4S9A3X494/e1, proposition 3
History
- 2026-10-30: add by m2/v0.4.12
6X4QRADX4Y 6X4QRADX4Y
| URI | m2://inv/6X4QRADX4Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02379#TNZ2 (statement). In W9E40AZJ03/e1, lemma 4.4
History
- 2026-10-29: add by m2/v0.4.12
Daniel Tătaru 6X4T261F8A
| URI | m2://inv/6X4T261F8A |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#ZA3X, Daniel Tătaru (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#7HDN, Daniel Tătaru (topic)
History
- 2026-11-02: add by m2/dev
6X4Y8GZTB2 6X4Y8GZTB2
| URI | m2://inv/6X4Y8GZTB2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24584#4144 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Turing thesis 6X4ZFQ0DZF
| URI | m2://inv/6X4ZFQ0DZF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#333C, Turing thesis (definition)
History
- 2026-11-02: add by m2/dev
Ptolemaic graph 6X51BJK7VZ
| URI | m2://inv/6X51BJK7VZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ptolemaic graph, Ptolemaic graph (definition). Also Wikidata Q24884155
History
- 2026-11-02: add by m2/dev
Involution: 6X53BFWN1N
| URI | m2://inv/6X53BFWN1N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exclusive or#TAYW, Involution: (definition)
History
- 2026-11-02: add by m2/dev
6X5HG1SXTN 6X5HG1SXTN
| URI | m2://inv/6X5HG1SXTN |
|---|---|
| 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 2204.01073#RIX5 (definition). In W4TYN4PGE8/e1, definition 3.31
History
- 2026-10-27: add by m2/v0.3.5
6X5MVK51Z5 6X5MVK51Z5
| URI | m2://inv/6X5MVK51Z5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13980#25MZ (statement). In 6DNZE6RT72/e1, lemma 3.2
History
- 2026-10-28: add by m2/v0.4.2
6X5SJS98B6 6X5SJS98B6
| URI | m2://inv/6X5SJS98B6 |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31331#1CIR (conjecture). In TWB64HRHWZ/e1, conjecture 1
History
- 2026-10-31: add by m2/v0.5.6
6X60TKN484 6X60TKN484
| URI | m2://inv/6X60TKN484 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 14-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.21034#RLQT (example)
History
- 2026-11-02: add by m2/v0.6.18
magnetism 6X61X7K5B6
| URI | m2://inv/6X61X7K5B6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3294789, magnetism (definition). Also ProofWiki Definition:Magnetism
History
- 2026-10-26: add by m2/dev
6X64PEF9BF 6X64PEF9BF
| URI | m2://inv/6X64PEF9BF |
|---|---|
| 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.36622#E2H3 (statement). In 9704QPRPR6/e1, lemma 3.8
History
- 2026-10-30: add by m2/v0.4.12
N=2 superstring 6X66Y79NGS
| URI | m2://inv/6X66Y79NGS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of string theory topics#9BGD, N=2 superstring (unknown)
History
- 2026-11-02: add by m2/dev
Line-intercept sampling 6X6B62XY5F
| URI | m2://inv/6X6B62XY5F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#M8KX, Line-intercept sampling (definition)
History
- 2026-11-02: add by m2/dev
6X6VF2JTR0 6X6VF2JTR0
| URI | m2://inv/6X6VF2JTR0 |
|---|---|
| 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.14099#WHSK (statement). In D77GXFTKFH/e1, theorem 14
History
- 2026-10-28: add by m2/v0.4.2
6X71THB35Z 6X71THB35Z
| URI | m2://inv/6X71THB35Z |
|---|---|
| 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.39353#V7W4 (statement). In 2PZR1KX2RC/e1, lemma A.1
History
- 2026-10-30: add by m2/v0.4.12
6X7BWBPJJP 6X7BWBPJJP
| URI | m2://inv/6X7BWBPJJP |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36389#MRSJ (definition). In N1S169J2MV/e1, definition 2
History
- 2026-10-30: add by m2/v0.4.12
6X7NF3KR5A 6X7NF3KR5A
| URI | m2://inv/6X7NF3KR5A |
|---|---|
| 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 2308.05715#66TQ (statement). In FC0SB9JFWH/e1, lemma 5.10
History
- 2026-10-27: add by m2/v0.3.5
Alan Herries Wilson 6X7TRS1Q0C
| URI | m2://inv/6X7TRS1Q0C |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alan Herries Wilson, Alan Herries Wilson (topic). Also Wikidata Q4706857
History
- 2026-11-02: add by m2/dev
Generalized Cartan matrix 6X7VG0ASKS
| URI | m2://inv/6X7VG0ASKS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cartan matrix#V36Y, Generalized Cartan matrix (unknown)
History
- 2026-11-02: add by m2/dev
adjoint, equivalence, of types, half 6X7W8AQ7QE
| URI | m2://inv/6X7W8AQ7QE |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/3.2/adjoint-equivalence-of-types-half, adjoint, equivalence, of types, half (concept). In N54F33XE07, index, section 3.2
History
- 2026-11-01: add by m2/v0.6.13
Average Service Availability Index 6X80QSPA08
| URI | m2://inv/6X80QSPA08 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Average Service Availability Index, Average Service Availability Index (definition). Also Wikidata Q4654043
History
- 2026-11-02: add by m2/dev
René de Possel 6X8ER5253M
| URI | m2://inv/6X8ER5253M |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia René de Possel, René de Possel (topic). Also Wikidata Q636879
History
- 2026-11-02: add by m2/dev
6X8F26PQRS 6X8F26PQRS
| URI | m2://inv/6X8F26PQRS |
|---|---|
| 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.28046#K1TZ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Fixed-mode flat limit 6X8FX34H8H
| URI | m2://inv/6X8FX34H8H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11077#M40Z, Fixed-mode flat limit (statement). In 4333A6G5K5/e1, proposition B.5
History
- 2026-10-28: add by m2/v0.4.3
6X8KZ9NHWQ 6X8KZ9NHWQ
| URI | m2://inv/6X8KZ9NHWQ |
|---|---|
| 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.13518#QHPX (statement). In 613TY6V089/e1, lemma 6
History
- 2026-10-28: add by m2/v0.4.2
Split conformal predictive system 6X8N50Z4G4
| URI | m2://inv/6X8N50Z4G4 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23350#UXRM, Split conformal predictive system (definition)
History
- 2026-11-02: add by m2/v0.6.17
6X8QFAVASM 6X8QFAVASM
| URI | m2://inv/6X8QFAVASM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12053#6MN1 (statement). In MQ226ETRP6/e1, proposition 2.5
History
- 2026-10-28: add by m2/v0.4.3
6X9B2ZBRK2 6X9B2ZBRK2
| URI | m2://inv/6X9B2ZBRK2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/applied-modal-logic/epistemic-logic/truth-at-w.tex#defn:mmodels (definition). In PKGMM3P5QY, defn, section 1.7
History
- 2026-11-01: add by m2/v0.6.13
Valery Alexeev 6X9DMP96G0
| URI | m2://inv/6X9DMP96G0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Valery Alexeev (mathematician), Valery Alexeev (topic). Also Wikidata Q30122479
History
- 2026-11-02: add by m2/dev
Schulze method 6X9FDG01AQ
| URI | m2://inv/6X9FDG01AQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematics-based methods#TU9B, Schulze method (unknown)
History
- 2026-11-02: add by m2/dev
6X9KT0C47K 6X9KT0C47K
| URI | m2://inv/6X9KT0C47K |
|---|---|
| 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.00775#6HSO (statement). In WVHA7H05QC/e1, corollary 2.19
History
- 2026-10-29: add by m2/v0.4.12
ZRTP 6X9NN02C93
| URI | m2://inv/6X9NN02C93 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of telecommunications encryption terms#81LA, ZRTP (unknown)
History
- 2026-11-02: add by m2/dev
Differentiation formulas 6XA3PYS5GW
| URI | m2://inv/6XA3PYS5GW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hypergeometric function#W6OP, Differentiation formulas (statement)
History
- 2026-11-02: add by m2/dev
Examples 6XA89GK454
| URI | m2://inv/6XA89GK454 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Finitely generated algebra#HP36, Examples (example)
History
- 2026-11-02: add by m2/dev
axiom, of extensionality 6XA9AFKG4R
| URI | m2://inv/6XA9AFKG4R |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/C.3/axiom-of-extensionality, axiom, of extensionality (concept). In N54F33XE07, index, section C.3
History
- 2026-11-01: add by m2/v0.6.13
6XAB86A351 6XAB86A351
| URI | m2://inv/6XAB86A351 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/counting-starsbars.ptx#exercise-10 (exercise). In Y91XFCEVHQ, exercise, section 2.5
History
- 2026-11-01: add by m2/v0.6.13
6XABD9AYBD 6XABD9AYBD
| URI | m2://inv/6XABD9AYBD |
|---|---|
| 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 1909.03896#B08L (statement). In CX9RVPQVBM/e1, lemma 25
History
- 2026-10-27: add by m2/v0.3.5
6XABW24CFB 6XABW24CFB
| URI | m2://inv/6XABW24CFB |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/diffgeo/forms.tex#prob:dd_zero (exercise). In RZP28ERRZV, problem, section 43.7
History
- 2026-11-01: add by m2/v0.6.13
6XAFDZY3JP 6XAFDZY3JP
| URI | m2://inv/6XAFDZY3JP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2103.08272#VXKB (statement). In H72E12TYHA/e1, corollary 2.6
History
- 2026-10-27: add by m2/v0.4.0
6XAH90DRQZ 6XAH90DRQZ
| URI | m2://inv/6XAH90DRQZ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-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.36332#7CM3 (definition). In APK7X4MFAX/e1, definition 7
History
- 2026-10-30: add by m2/v0.4.12
6XANM97TTZ 6XANM97TTZ
| URI | m2://inv/6XANM97TTZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19243#FYGO (statement). In 8CSXBTYKDT/e1, lemma 3.1
History
- 2026-10-28: add by m2/v0.4.2
6XAPETEMBH 6XAPETEMBH
| URI | m2://inv/6XAPETEMBH |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/size-of-sets/non-enumerability-alt.tex#proof-2 (proof). In PKGMM3P5QY, proof, section 83.8
History
- 2026-11-01: add by m2/v0.6.13
6XAPFH2P3Y 6XAPFH2P3Y
| URI | m2://inv/6XAPFH2P3Y |
|---|---|
| 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.09565#P7IP (statement). In 7A5YZACF1E/e1, proposition 2
History
- 2026-10-29: add by m2/v0.4.10
6XAR7TXVP0 6XAR7TXVP0
| URI | m2://inv/6XAR7TXVP0 |
|---|---|
| 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 2509.21121#HNW7 (statement). In MTDABJF9AP/e1, lemma 1
History
- 2026-10-27: add by m2/v0.3.5
Frank Harary 6XATJ87FMP
| URI | m2://inv/6XATJ87FMP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Frank Harary, Frank Harary (topic). Also Wikidata Q1443394
History
- 2026-11-02: add by m2/dev
6XB4JSQN8B 6XB4JSQN8B
| URI | m2://inv/6XB4JSQN8B |
|---|---|
| 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.20206#FPDY (statement)
History
- 2026-11-02: add by m2/v0.6.18
6XBJ7BHBYB 6XBJ7BHBYB
| URI | m2://inv/6XBJ7BHBYB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 18-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07695#1UC6 (statement). In 8Z47D12KSX/e1, theorem 6.3
History
- 2026-10-29: add by m2/v0.4.10
6XBJXWFHQT 6XBJXWFHQT
| URI | m2://inv/6XBJXWFHQT |
|---|---|
| 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.15588#UQ0A (statement). In M2VCJFGZ4P/e1, lemma 3.3
History
- 2026-10-28: add by m2/v0.4.2
6XBM29GHXK 6XBM29GHXK
| URI | m2://inv/6XBM29GHXK |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-fourier-and-pde.tex#exercise-44 (exercise). In E9HS8K3A52, exercise, section 5.4.2
History
- 2026-11-01: add by m2/v0.6.13
A coarse scalar bound for unitarity 6XBQMA042F
| URI | m2://inv/6XBQMA042F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11652#L4G3, A coarse scalar bound for unitarity (statement). In VEXM27M8Q1/e1, corollary 6.3
History
- 2026-10-28: add by m2/v0.4.3
Examples 6XBSC2Y38Y
| URI | m2://inv/6XBSC2Y38Y |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Competitive equilibrium#TRK3, Examples (example)
History
- 2026-11-02: add by m2/dev
Discrete phase-type distribution 6XC30MKRZA
| URI | m2://inv/6XC30MKRZA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability distributions#NFX6, Discrete phase-type distribution (definition)
History
- 2026-11-02: add by m2/dev
Polyalphabetic cipher 6XC70W3ERQ
| URI | m2://inv/6XC70W3ERQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polyalphabetic cipher, Polyalphabetic cipher (definition). Also Wikidata Q374230
History
- 2026-11-02: add by m2/dev
Deterministic bounds on $V_J$ and $Z_J$ 6XC9FGSVGS
| URI | m2://inv/6XC9FGSVGS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00453#XXZI, Deterministic bounds on $V_J$ and $Z_J$ (statement). In ESPJMBH2R2/e1, lemma 2.8
History
- 2026-10-30: add by m2/v0.4.12
Terminology 6XCWJFSSWA
| URI | m2://inv/6XCWJFSSWA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Imaginary unit#YC4P, Terminology (definition)
History
- 2026-11-02: add by m2/dev
6XCY391WMB 6XCY391WMB
| URI | m2://inv/6XCY391WMB |
|---|---|
| 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 0807.1652#SXKY (statement). In 6RC18PTSTT/e1, theorem 7
History
- 2026-10-27: add by m2/v0.3.5
6XD0NB4HP1 6XD0NB4HP1
| URI | m2://inv/6XD0NB4HP1 |
|---|---|
| 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.02484#DZUP (statement). In D1V0MQZTFQ/e1, theorem 4.5
History
- 2026-10-29: add by m2/v0.4.12
Wright, Sewall 6XD4TA9FDZ
| URI | m2://inv/6XD4TA9FDZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#8TTZ, Wright, Sewall (topic)
History
- 2026-11-02: add by m2/dev
6XDA9TJHBV 6XDA9TJHBV
| URI | m2://inv/6XDA9TJHBV |
|---|---|
| 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.23128#9LH9 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Jellium 6XDF9V10W6
| URI | m2://inv/6XDF9V10W6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20910#ET9X, Jellium (statement). In CETHKW9EBV/e1, theorem 2.3
History
- 2026-10-27: add by m2/v0.4.2
6XDNG98V67 6XDNG98V67
| URI | m2://inv/6XDNG98V67 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15847#VX1Y (statement). In BTV3DAMX28/e1, theorem 1
History
- 2026-10-28: add by m2/v0.4.2
linear 6XDPSDWBBD
| URI | m2://inv/6XDPSDWBBD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#WT1O, linear (definition)
- wikipedia: Wikipedia Glossary of invariant theory#VG54, linear (definition)
History
- 2026-11-02: add by m2/dev
Minus-one valuation formula 6XDQRPSDMP
| URI | m2://inv/6XDQRPSDMP |
|---|---|
| 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.37754#K1A0, Minus-one valuation formula (statement). In 3HPFAQKBEM/e1, theorem 1.1
History
- 2026-10-30: add by m2/v0.4.12
6XDTJVAGV8 6XDTJVAGV8
| URI | m2://inv/6XDTJVAGV8 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section4-2.xml#example-7 (example). In 649HGZKE96, example, section 4.2.4
History
- 2026-11-01: add by m2/v0.6.13
6XDTY109X1 6XDTY109X1
| URI | m2://inv/6XDTY109X1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24374#PJ8Q (statement)
History
- 2026-11-01: add by m2/v0.6.15
6XDVB1TN6N 6XDVB1TN6N
| URI | m2://inv/6XDVB1TN6N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-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.15887#P3OH (statement). In 87QYNZZ67Z/e1, lemma 6.1
History
- 2026-10-28: add by m2/v0.4.2
6XDXF5P5PY 6XDXF5P5PY
| URI | m2://inv/6XDXF5P5PY |
|---|---|
| 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.19086#XNDH (statement). In RDW99P4ZZJ/e1, lemma 2.3
History
- 2026-10-28: add by m2/v0.4.2
Transport Layer Security Channel ID 6XDYSTWS00
| URI | m2://inv/6XDYSTWS00 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Transport Layer Security Channel ID, Transport Layer Security Channel ID (definition). Also Wikidata Q7834880
History
- 2026-11-02: add by m2/dev
Examples 6XEGCKK0JM
| URI | m2://inv/6XEGCKK0JM |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Strong pseudoprime#GJJQ, Examples (example)
History
- 2026-11-02: add by m2/dev
6XEMK7FFH9 6XEMK7FFH9
| URI | m2://inv/6XEMK7FFH9 |
|---|---|
| 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 2510.09873#YP2N (statement). In KNB3ZCNC9Q/e1, theorem 3.1
History
- 2026-10-27: add by m2/v0.3.5
essential 6XEQF0YT2B
| URI | m2://inv/6XEQF0YT2B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#Q80F, essential (definition)
History
- 2026-11-02: add by m2/dev
computational effect 6XER49Z59W
| URI | m2://inv/6XER49Z59W |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/6.7/computational-effect, computational effect (concept). In N54F33XE07, index, section 6.7
History
- 2026-11-01: add by m2/v0.6.13
Formal Definition 6XERPK91EM
| URI | m2://inv/6XERPK91EM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia A¹ homotopy theory#74B4, Formal Definition (definition)
History
- 2026-11-02: add by m2/dev
6XEYQPKXP7 6XEYQPKXP7
| URI | m2://inv/6XEYQPKXP7 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32599#5YF5 (definition). In E1Y93JNBJA/e1, definition 1.13
History
- 2026-10-31: add by m2/v0.5.6
Agoh–Giuga conjecture 6XEYYFQQAQ
| URI | m2://inv/6XEYYFQQAQ |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#FSRC, Agoh–Giuga conjecture (conjecture)
History
- 2026-11-02: add by m2/dev
Properties 6XF05HWHR3
| URI | m2://inv/6XF05HWHR3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exeter point#Y70G, Properties (statement)
History
- 2026-11-02: add by m2/dev
Direct sum 6XF6E1FEBM
| URI | m2://inv/6XF6E1FEBM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of abstract algebra topics#UPQ7, Direct sum (definition)
History
- 2026-11-02: add by m2/dev
Bollobás 6XF9PRWRS7
| URI | m2://inv/6XF9PRWRS7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 01-XX, 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28552#RLON, Bollobás (statement)
History
- 2026-11-01: add by m2/v0.6.15
Jacobian curve 6XFJCGMP6M
| URI | m2://inv/6XFJCGMP6M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#LWTB, Jacobian curve (definition)
History
- 2026-11-02: add by m2/dev
6XFP2GNVXE 6XFP2GNVXE
| URI | m2://inv/6XFP2GNVXE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18061#VG64 (statement). In Y8A35AV31M/e1, proposition 5.2
History
- 2026-10-28: add by m2/v0.4.2
Hour angle 6XFRVQCQRK
| URI | m2://inv/6XFRVQCQRK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hour angle, Hour angle (definition). Also Wikidata Q734439
History
- 2026-11-02: add by m2/dev
6XFSFAPNGN 6XFSFAPNGN
| URI | m2://inv/6XFSFAPNGN |
|---|---|
| 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 2508.19709#A056 (statement). In 57PQWSSZMY/e1, proposition 2.2
History
- 2026-10-27: add by m2/v0.3.5
6XFWS0RMH2 6XFWS0RMH2
| URI | m2://inv/6XFWS0RMH2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00843#EQU4 (statement). In 1K7M5TD0M2/e1, corollary 1.1
History
- 2026-10-29: add by m2/v0.4.12
6XG9AR21C4 6XG9AR21C4
| URI | m2://inv/6XG9AR21C4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 60-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01411#BUP4 (statement). In SD28S3K7BT/e1, theorem 19
History
- 2026-10-29: add by m2/v0.4.12
Weyl scalar 6XG9DG19ND
| URI | m2://inv/6XG9DG19ND |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Hermann Weyl#3NZ0, Weyl scalar (unknown)
History
- 2026-11-02: add by m2/dev
6XGC01282S 6XGC01282S
| URI | m2://inv/6XGC01282S |
|---|---|
| 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 2508.17181#QLCH (statement). In 2QR18WK8KH/e1, lemma 10
History
- 2026-10-27: add by m2/v0.3.6
Sylvain Cappell 6XGC22XDKN
| URI | m2://inv/6XGC22XDKN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#YW40, Sylvain Cappell (topic)
History
- 2026-11-02: add by m2/dev
6XGEJNEXHJ 6XGEJNEXHJ
| URI | m2://inv/6XGEJNEXHJ |
|---|---|
| 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.35383#5JO1 (statement). In HSR4748706/e1, theorem 1.2
History
- 2026-10-30: add by m2/v0.4.12
6XGT31YEG9 6XGT31YEG9
| URI | m2://inv/6XGT31YEG9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22326#E3FK (statement). In EAABRG99V8/e1, theorem 2.3
History
- 2026-10-27: add by m2/v0.4.0
Special cases 6XGT3FBJQG
| URI | m2://inv/6XGT3FBJQG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Discrete phase-type distribution#KJ0V, Special cases (statement)
History
- 2026-11-02: add by m2/dev
Definition 6XGT61DX0R
| URI | m2://inv/6XGT61DX0R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tetralemma#N08J, Definition (definition)
History
- 2026-11-02: add by m2/dev
6XH00K0XCC 6XH00K0XCC
| URI | m2://inv/6XH00K0XCC |
|---|---|
| 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.28649#IV0K (statement)
History
- 2026-11-01: add by m2/v0.6.15
natural numbers, encoded as $\lst\unit$ 6XH0Q8CAZW
| URI | m2://inv/6XH0Q8CAZW |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/8.2/natural-numbers-encoded-as-lst-unit, natural numbers, encoded as $\lst\unit$ (concept). In N54F33XE07, index, section 8.2
History
- 2026-11-01: add by m2/v0.6.13
6XH31645A8 6XH31645A8
| URI | m2://inv/6XH31645A8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27420#B0PO (statement)
History
- 2026-11-01: add by m2/v0.6.15
Gardner–Salinas braille codes 6XHPWYN6A2
| URI | m2://inv/6XHPWYN6A2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gardner–Salinas braille codes, Gardner–Salinas braille codes (definition). Also Wikidata Q5522631
History
- 2026-11-02: add by m2/dev
Inverse matrix gamma distribution 6XHTPXP0H0
| URI | m2://inv/6XHTPXP0H0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inverse matrix gamma distribution, Inverse matrix gamma distribution (definition). Also Wikidata Q17092651
History
- 2026-11-02: add by m2/dev
Properties 6XHYE3C28D
| URI | m2://inv/6XHYE3C28D |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quasi-abelian category#6FUJ, Properties (statement)
History
- 2026-11-02: add by m2/dev
6XJ2KJNGW3 6XJ2KJNGW3
| URI | m2://inv/6XJ2KJNGW3 |
|---|---|
| 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.00584#9IM6 (statement). In 3CRSR95BNA/e1, corollary 3.6
History
- 2026-10-30: add by m2/v0.4.12
Examples 6XJ2NT6J61
| URI | m2://inv/6XJ2NT6J61 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Default logic#MJPF, Examples (example)
History
- 2026-11-02: add by m2/dev
Prime ideal $\iff$ quotient is integral domain 6XJ6NE8P1B
| URI | m2://inv/6XJ6NE8P1B |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/ring-flavors.tex#thm:prime_ideal_quotient, Prime ideal $\iff$ quotient is integral domain (statement). In RZP28ERRZV, theorem, section 4.3
History
- 2026-11-01: add by m2/v0.6.13
6XJ8A4CXKP 6XJ8A4CXKP
| URI | m2://inv/6XJ8A4CXKP |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book equivalences.tex#ex:symmetric-equiv (exercise). In N54F33XE07, ex, section 3.9
History
- 2026-11-01: add by m2/v0.6.13
6XJSFZYVX9 6XJSFZYVX9
| URI | m2://inv/6XJSFZYVX9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40054#VX4U (statement). In CA4C9PFM1E/e1, theorem 4.3.1
History
- 2026-10-30: add by m2/v0.4.12
Finite von Neumann algebra 6XJSNMV7W3
| URI | m2://inv/6XJSNMV7W3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Finite von Neumann algebra, Finite von Neumann algebra (definition). Also Wikidata Q5450391
History
- 2026-11-02: add by m2/dev
Ruixiang Zhang 6XK0CYCBXW
| URI | m2://inv/6XK0CYCBXW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ruixiang Zhang, Ruixiang Zhang (topic). Also Wikidata Q102976178
History
- 2026-11-02: add by m2/dev
R. K. Rubugunday 6XK4N22K40
| URI | m2://inv/6XK4N22K40 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia R. K. Rubugunday, R. K. Rubugunday (topic). Also Wikidata Q16014965
History
- 2026-11-02: add by m2/dev
More complex formulas 6XK5N6TPDN
| URI | m2://inv/6XK5N6TPDN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Propositional formula#TGLO, More complex formulas (statement)
History
- 2026-11-02: add by m2/dev
6XKGDJ87JR 6XKGDJ87JR
| URI | m2://inv/6XKGDJ87JR |
|---|---|
| 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 2608.24190#34GK (statement). In DW7FVA587C/e1, fact 2.6
History
- 2026-10-27: add by m2/v0.3.5
6XKQ2DXFE2 6XKQ2DXFE2
| URI | m2://inv/6XKQ2DXFE2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09599#EJWA (statement). In 4JYGH9XNA9/e1, proposition 4.1
History
- 2026-10-29: add by m2/v0.4.10
6XKQ61ABDK 6XKQ61ABDK
| URI | m2://inv/6XKQ61ABDK |
|---|---|
| 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 2308.02672#K4IZ (statement). In ETRT1R1CQ8/e1, corollary 8.3
History
- 2026-10-27: add by m2/v0.4.0
6XKQV4S6KY 6XKQV4S6KY
| URI | m2://inv/6XKQV4S6KY |
|---|---|
| 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.12810#X7Y0 (statement). In DR35633CPN/e1, proposition 2.1
History
- 2026-10-28: add by m2/v0.4.2
6XKX3QREME 6XKX3QREME
| URI | m2://inv/6XKX3QREME |
|---|---|
| Kind | problem |
| 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.39347#P19J (problem). In KBBA2FKDBH/e1, problem 7.1
History
- 2026-10-30: add by m2/v0.4.12
6XM0743CM1 6XM0743CM1
| URI | m2://inv/6XM0743CM1 |
|---|---|
| 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.10928#ARV1 (statement). In 8M7BFVQYMM/e1, lemma 6.4
History
- 2026-10-28: add by m2/v0.4.3
6XM096VTJ0 6XM096VTJ0
| URI | m2://inv/6XM096VTJ0 |
|---|---|
| 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#XO8T (statement). In DP5KJ7AATM/e1, theorem A.1
History
- 2026-10-31: add by m2/v0.5.6
Sara van de Geer 6XM1EX3DX6
| URI | m2://inv/6XM1EX3DX6 |
|---|---|
| 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#B7LJ, Sara van de Geer (topic)
History
- 2026-11-02: add by m2/dev
Mikhail Borovoi 6XMC1JKER8
| URI | m2://inv/6XMC1JKER8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mikhail Borovoi, Mikhail Borovoi (topic). Also Wikidata Q109116361
History
- 2026-11-02: add by m2/dev
6XMFVSVS5N 6XMFVSVS5N
| URI | m2://inv/6XMFVSVS5N |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2405.02275#JOBD (example). In 1QXCNGRWV1/e1, example 3.15
History
- 2026-10-27: add by m2/v0.3.5
6XMHCVBFPR 6XMHCVBFPR
| URI | m2://inv/6XMHCVBFPR |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book setmath.tex#proof-6 (proof). In N54F33XE07, proof, section C.1.3
History
- 2026-11-01: add by m2/v0.6.13
Fisher information matrix 6XMJYE3CTA
| URI | m2://inv/6XMJYE3CTA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fisher information#1C8S, Fisher information matrix (unknown)
History
- 2026-11-02: add by m2/dev
6XMSV1ZMH7 6XMSV1ZMH7
| URI | m2://inv/6XMSV1ZMH7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20944#9GNY (statement). In DRRKZR6CQC/e1, lemma B.3
History
- 2026-10-27: add by m2/v0.4.2
Conditional coverage for i.i.d.\ data 6XMVW01C44
| URI | m2://inv/6XMVW01C44 |
|---|---|
| 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 2609.26951#5EG8, Conditional coverage for i.i.d.\ data (statement)
History
- 2026-11-01: add by m2/v0.6.15
6XMWZRM5HA 6XMWZRM5HA
| URI | m2://inv/6XMWZRM5HA |
|---|---|
| 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.35383#XEP0 (statement). In HSR4748706/e1, lemma 2.3
History
- 2026-10-30: add by m2/v0.4.12
6XMY4NDRW8 6XMY4NDRW8
| URI | m2://inv/6XMY4NDRW8 |
|---|---|
| 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.26500#FW2B (statement)
History
- 2026-11-01: add by m2/v0.6.15
6XN2A3NRN5 6XN2A3NRN5
| URI | m2://inv/6XN2A3NRN5 |
|---|---|
| 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 2609.33124#UJ1Z (example). In P27HYGQDAN/e1, example 9
History
- 2026-10-30: add by m2/v0.4.12
6XNEZZAMXX 6XNEZZAMXX
| URI | m2://inv/6XNEZZAMXX |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 35-XX, 65-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13680#Z75A (unknown). In QNBFHFZ3H0/e1, unknown 94
History
- 2026-10-28: add by m2/v0.4.2
6XNF0FFGNN 6XNF0FFGNN
| URI | m2://inv/6XNF0FFGNN |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 46-XX, 47-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1711.00219#AD81 (definition). In 7V3HG30ZGW/e1, definition 4.1
History
- 2026-10-27: add by m2/v0.4.0
Lucien Hardy 6XNGD7WWH3
| URI | m2://inv/6XNGD7WWH3 |
|---|---|
| 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 Q6697079, Lucien Hardy (unknown). Also nLab Lucien Hardy
History
- 2026-10-26: add by m2/dev
6XNGDBAANE 6XNGDBAANE
| URI | m2://inv/6XNGDBAANE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06764#G998 (statement). In MSWV3MJ5CE/e1, theorem 2.3
History
- 2026-10-29: add by m2/v0.4.10
\textbf{Surfaces 6XNGW5SXSV
| URI | m2://inv/6XNGW5SXSV |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20716#WFHE, \textbf{Surfaces (example)
History
- 2026-11-02: add by m2/v0.6.18
6XNKJ857EZ 6XNKJ857EZ
| URI | m2://inv/6XNKJ857EZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2112.05010#VK17 (statement). In 4SZNPS3Z00/e1, lemma 5.4
History
- 2026-10-27: add by m2/v0.3.6
6XPC1QR662 6XPC1QR662
| URI | m2://inv/6XPC1QR662 |
|---|---|
| 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 2207.12181#193P (statement). In FSD8NE3XSR/e1, proposition 6.8
History
- 2026-10-27: add by m2/v0.4.0
Pseudolikelihood 6XPFTPDH5V
| URI | m2://inv/6XPFTPDH5V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pseudolikelihood, Pseudolikelihood (definition). Also Wikidata Q3924936
History
- 2026-11-02: add by m2/dev
Definition 6XPGBX44X0
| URI | m2://inv/6XPGBX44X0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Semisimple algebra#NM87, Definition (definition)
History
- 2026-11-02: add by m2/dev
Null-space reduction to at most $r$ fractional coordinates 6XPTJ6YP4A
| URI | m2://inv/6XPTJ6YP4A |
|---|---|
| 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.31641#BV7M, Null-space reduction to at most $r$ fractional coordinates (statement). In XC2HE3KXPM/e1, lemma 3.1
History
- 2026-10-31: add by m2/v0.5.6
Umesh Vazirani 6XPTSP96BS
| URI | m2://inv/6XPTSP96BS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#TZQB, Umesh Vazirani (unknown)
History
- 2026-11-02: add by m2/dev
Generalizations 6XPYE8MSSK
| URI | m2://inv/6XPYE8MSSK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Triangular array#Q1WO, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
6XPZCJ1N26 6XPZCJ1N26
| URI | m2://inv/6XPZCJ1N26 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12486#4QTB (statement). In CWQ2YHT24E/e1, lemma 3.1
History
- 2026-10-28: add by m2/v0.4.2
Teleman index theorem 6XQ6VGT6NN
| URI | m2://inv/6XQ6VGT6NN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Atiyah–Singer index theorem#O7F1, Teleman index theorem (statement)
History
- 2026-11-02: add by m2/dev
6XQGY3Q314 6XQGY3Q314
| URI | m2://inv/6XQGY3Q314 |
|---|---|
| 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.12736#7AP9 (statement). In 5350Q52F6P/e1, proposition 3.7
History
- 2026-10-28: add by m2/v0.4.2
Conformal welding 6XQH3VZQF2
| URI | m2://inv/6XQH3VZQF2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conformal welding, Conformal welding (definition). Also Wikidata Q5160258
History
- 2026-11-02: add by m2/dev
21st century in mathematics 6XQM73Z2Z3
| URI | m2://inv/6XQM73Z2Z3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia History of mathematics#DWVN, 21st century in mathematics (unknown)
History
- 2026-11-02: add by m2/dev
Smooth finite-family obstruction 6XQQ10R31S
| URI | m2://inv/6XQQ10R31S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38228#1F5H, Smooth finite-family obstruction (statement). In 9YAE8FNQST/e1, theorem 30.20
History
- 2026-10-30: add by m2/v0.4.12
6XR21BXSG2 6XR21BXSG2
| URI | m2://inv/6XR21BXSG2 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/Counting.tex#question-3 (exercise). In P1C114YBXG, question, section 1
History
- 2026-11-01: add by m2/v0.6.13
Krippendorff's Alpha 6XR2YWBCG8
| URI | m2://inv/6XR2YWBCG8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of analyses of categorical data#A55Z, Krippendorff's Alpha (definition)
- wikipedia: Wikipedia List of statistics articles#5D4P, Krippendorff's alpha (definition)
History
- 2026-11-02: add by m2/dev
6XR488WZ66 6XR488WZ66
| URI | m2://inv/6XR488WZ66 |
|---|---|
| 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 1903.11969#3GOP (statement). In 9N4EV3GRM7/e1, corollary 4.1
History
- 2026-10-27: add by m2/v0.3.5
6XR614VBB2 6XR614VBB2
| URI | m2://inv/6XR614VBB2 |
|---|---|
| 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 2608.24599#2CXJ (statement). In VG8QFWTT8S/e1, proposition 4.2
History
- 2026-10-27: add by m2/v0.3.6
Examples 6XR8JGFK88
| URI | m2://inv/6XR8JGFK88 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Turán number#UORH, Examples (example)
History
- 2026-11-02: add by m2/dev
List of countries and dependencies by population 6XR90X8W84
| URI | m2://inv/6XR90X8W84 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of countries and dependencies by population (United Nations), List of countries and dependencies by population (topic). Also Wikidata Q14940491
History
- 2026-11-02: add by m2/dev
6XRDCSNMVJ 6XRDCSNMVJ
| URI | m2://inv/6XRDCSNMVJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1709.00677#6WTV (statement). In G83TVA8HYR/e1, proposition 2.8
History
- 2026-10-27: add by m2/v0.3.5
Carathéodory's positivity criterion for holomorphic functions 6XRKH47KBN
| URI | m2://inv/6XRKH47KBN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Positive harmonic function#4NTL, Carathéodory's positivity criterion for holomorphic functions (statement)
History
- 2026-11-02: add by m2/dev
Shepp-Olkin conjecture 6XRREMNCMY
| URI | m2://inv/6XRREMNCMY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Poisson binomial distribution#I5S5, Shepp-Olkin conjecture (unknown)
History
- 2026-11-02: add by m2/dev
6XRSM7KMKV 6XRSM7KMKV
| URI | m2://inv/6XRSM7KMKV |
|---|---|
| Kind | definition |
| 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 2309.15424#2XQ5 (definition). In NXYZ1EAWKN/e1, definition 3.1
History
- 2026-10-27: add by m2/v0.3.5
FxT-ISS of the Perturbed Newton Method 6XRSZB0M1D
| URI | m2://inv/6XRSZB0M1D |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00657#YPEM, FxT-ISS of the Perturbed Newton Method (example). In FF8A8FP4FB/e1, example 1
History
- 2026-10-30: add by m2/v0.4.12
Joseph L. Doob Prize 6XSCMH2Q9H
| URI | m2://inv/6XSCMH2Q9H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Joseph L. Doob Prize, Joseph L. Doob Prize (definition). Also Wikidata Q16216162
History
- 2026-11-02: add by m2/dev
Line group 6XSEKG06B3
| URI | m2://inv/6XSEKG06B3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Line group, Line group (definition). Also Wikidata Q6553254
History
- 2026-11-02: add by m2/dev
6XSHY56TGA 6XSHY56TGA
| URI | m2://inv/6XSHY56TGA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06764#JONG (statement). In MSWV3MJ5CE/e1, theorem 2.12
History
- 2026-10-29: add by m2/v0.4.10
Full local first derivatives and all symbol gaps 6XSNF2AQ04
| URI | m2://inv/6XSNF2AQ04 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 35-XX, 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18788#0LCF, Full local first derivatives and all symbol gaps (statement). In KFEASG3ZHS/e1, lemma 7.4
History
- 2026-10-28: add by m2/v0.4.2
6XSTNCJT92 6XSTNCJT92
| URI | m2://inv/6XSTNCJT92 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18078#RUI1 (statement). In YVK8EFSYNJ/e1, proposition 5.6
History
- 2026-10-28: add by m2/v0.4.2
6XSV9PXQ2B 6XSV9PXQ2B
| URI | m2://inv/6XSV9PXQ2B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book categories.tex#ct:equiv (definition). In N54F33XE07, defn, section 2.4
History
- 2026-11-01: add by m2/v0.6.13
6XSVRVF25K 6XSVRVF25K
| URI | m2://inv/6XSVRVF25K |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 11-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.25255#FGL2 (problem)
History
- 2026-11-01: add by m2/v0.6.15
Uses 6XSYT359YY
| URI | m2://inv/6XSYT359YY |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Merkle tree#IVHK, Uses (example)
History
- 2026-11-02: add by m2/dev
Bayes' theorem 6XT0GH2QS2
| URI | m2://inv/6XT0GH2QS2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#GZQP, Bayes' theorem (statement)
History
- 2026-11-02: add by m2/dev
Examples 6XT3G4M5VN
| URI | m2://inv/6XT3G4M5VN |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Estimation theory#QAU3, Examples (example)
History
- 2026-11-02: add by m2/dev
6XT3MJ54S3 6XT3MJ54S3
| URI | m2://inv/6XT3MJ54S3 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_induction_exercises.ptx#exercise-4 (exercise). In QKM9DD2H56, exercise, section 3
History
- 2026-11-01: add by m2/v0.6.13
The covering 6XT63KSZ57
| URI | m2://inv/6XT63KSZ57 |
|---|---|
| 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 2610.04164#PZ0A, The covering (statement). In KR7WXN4EWR/e1, proposition 3.10
History
- 2026-10-29: add by m2/v0.4.12
Lower Fitting series 6XT8TD8Z8S
| URI | m2://inv/6XT8TD8Z8S |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fitting length#GR8B, Lower Fitting series (unknown)
History
- 2026-11-02: add by m2/dev
Glossary of tensor theory 6XTJCHHHGJ
| URI | m2://inv/6XTJCHHHGJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lists of mathematics topics#GEYW, Glossary of tensor theory (topic)
History
- 2026-11-02: add by m2/dev
6XTVVR23KA 6XTVVR23KA
| URI | m2://inv/6XTVVR23KA |
|---|---|
| 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.02506#KGYL (statement). In 3JKRBZWJ33/e1, lemma 4.10
History
- 2026-10-29: add by m2/v0.4.12
The associated ice quivers 6XV4N86ADS
| URI | m2://inv/6XV4N86ADS |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 16-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.30637#3CQM, The associated ice quivers (example). In 6G1KBA0SXV/e1, example 4.23
History
- 2026-10-31: add by m2/v0.5.6
6XV5TF4542 6XV5TF4542
| URI | m2://inv/6XV5TF4542 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 37-XX, 46-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24901#2524 (example)
History
- 2026-11-01: add by m2/v0.6.15
6XV7VVMADT 6XV7VVMADT
| URI | m2://inv/6XV7VVMADT |
|---|---|
| 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.35323#FV53 (statement). In 5CKPXBWSCX/e1, corollary
History
- 2026-10-30: add by m2/v0.4.12
Blue chain 6XVBWGFCJX
| URI | m2://inv/6XVBWGFCJX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38220#CUGI, Blue chain (statement). In 1AC4S19925/e1, lemma 4.3
History
- 2026-10-30: add by m2/v0.4.12
6XVC6WW59W 6XVC6WW59W
| URI | m2://inv/6XVC6WW59W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08655#R5UR (statement). In ZT7H1ZDN96/e1, lemma 4.1
History
- 2026-10-29: add by m2/v0.4.10
Definition 6XVD9V3R9P
| URI | m2://inv/6XVD9V3R9P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia BCK algebra#RAGU, Definition (definition)
History
- 2026-11-02: add by m2/dev
generic 6XVDGPN9G7
| URI | m2://inv/6XVDGPN9G7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of mathematical jargon#ABZJ, generic (definition)
History
- 2026-11-02: add by m2/dev
Truncated distribution 6XW0564TZD
| URI | m2://inv/6XW0564TZD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Truncated distribution, Truncated distribution (definition). Also Wikidata Q3258630
History
- 2026-11-02: add by m2/dev
sinusoidal projection 6XW6AE4R6A
| URI | m2://inv/6XW6AE4R6A |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q773174, sinusoidal projection (unknown). Also MathWorld SinusoidalProjection
History
- 2026-10-26: add by m2/dev
Constructions 6XW7ZFDB4W
| URI | m2://inv/6XW7ZFDB4W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Prüfer group#E0DN, Constructions (definition)
History
- 2026-11-02: add by m2/dev
6XWJ5606KF 6XWJ5606KF
| URI | m2://inv/6XWJ5606KF |
|---|---|
| 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.07905#A0XH (statement). In 88GEN3Z5VG/e1, proposition 3.3
History
- 2026-10-29: add by m2/v0.4.10
Clipped-potential convergence for fixed sources 6XWJMG4SP5
| URI | m2://inv/6XWJMG4SP5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10484#IB0R, Clipped-potential convergence for fixed sources (statement). In 5B4AX4SF88/e1, proposition 4.7
History
- 2026-10-29: add by m2/v0.4.10
6XWY6Z2XDT 6XWY6Z2XDT
| URI | m2://inv/6XWY6Z2XDT |
|---|---|
| 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 2606.02312#06TY (statement). In 1SZV94R22Y/e1, corollary 7.3
History
- 2026-10-27: add by m2/v0.3.5
6XX5ZVHK07 6XX5ZVHK07
| URI | m2://inv/6XX5ZVHK07 |
|---|---|
| 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.03011#R3GN (statement). In VE8FB6K8EN/e1, lemma 2
History
- 2026-10-29: add by m2/v0.4.12
Properties 6XX91H7CCE
| URI | m2://inv/6XX91H7CCE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Four-vector#URP3, Properties (statement)
History
- 2026-11-02: add by m2/dev
Statement 6XXQQARM8Q
| URI | m2://inv/6XXQQARM8Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Riemann–Lebesgue lemma#OLXW, Statement (statement)
History
- 2026-11-02: add by m2/dev
6XXSRG2TBE 6XXSRG2TBE
| URI | m2://inv/6XXSRG2TBE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37313#BYQ8 (statement). In Z1F6SXQ6XW/e1, theorem 1.5
History
- 2026-10-30: add by m2/v0.4.12
RSA-896 6XY4EE46C6
| URI | m2://inv/6XY4EE46C6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia RSA numbers#CROT, RSA-896 (unknown)
History
- 2026-11-02: add by m2/dev
6XY97829CP 6XY97829CP
| URI | m2://inv/6XY97829CP |
|---|---|
| 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.29274#F4P9 (statement)
History
- 2026-11-01: add by m2/v0.6.15
6XYA2V8T07 6XYA2V8T07
| URI | m2://inv/6XYA2V8T07 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36045#HURO (statement). In F0E8YBV0Z0/e1, lemma 6.7
History
- 2026-10-30: add by m2/v0.4.12
6XYF6Q3CP9 6XYF6Q3CP9
| URI | m2://inv/6XYF6Q3CP9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25094#DPN0 (statement)
History
- 2026-11-01: add by m2/v0.6.15
The Man Who Knew Infinity 6XYF8QHWZ6
| URI | m2://inv/6XYF8QHWZ6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of films about mathematicians#MWTO, The Man Who Knew Infinity (unknown)
History
- 2026-11-02: add by m2/dev
Examples 6XYKKTPNDA
| URI | m2://inv/6XYKKTPNDA |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia DNS-based Authentication of Named Entities#K22S, Examples (example)
History
- 2026-11-02: add by m2/dev
Lewis Carroll and fine-art photography 6XYPR3V0T4
| URI | m2://inv/6XYPR3V0T4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lewis Carroll#576M, Lewis Carroll and fine-art photography (unknown)
History
- 2026-11-02: add by m2/dev
Parametric rate of estimation of the regularized GW functional 6XYRHMRG0A
| URI | m2://inv/6XYRHMRG0A |
|---|---|
| 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.14562#HNO1, Parametric rate of estimation of the regularized GW functional (statement). In G4XMZ452QE/e1, theorem 4.5
History
- 2026-10-28: add by m2/v0.4.2
Characterization of functional completeness 6XYV0D0VCZ
| URI | m2://inv/6XYV0D0VCZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Functional completeness#T577, Characterization of functional completeness (statement)
History
- 2026-11-02: add by m2/dev
Novikov's compact leaf theorem 6XYW15FV7G
| URI | m2://inv/6XYW15FV7G |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 35-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q4454996, Novikov's compact leaf theorem (statement). Also Wikidata Q4454996
- thousand_plus: thousand_plus Q4454996, Novikov's compact leaf theorem (statement). Also Wikidata Q4454996, Wikipedia Novikov's compact leaf theorem
- wikipedia: Wikipedia Novikov's compact leaf theorem, Novikov's compact leaf theorem (statement). Also Wikidata Q4454996
History
- 2026-10-26: add by m2/dev
6XYX2WZNRR 6XYX2WZNRR
| URI | m2://inv/6XYX2WZNRR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2410.16036#VD2O (statement). In S1T3VFXE05/e1, proposition 5.1
History
- 2026-10-27: add by m2/v0.3.6
Moon Duchin 6XZ8KCPVJG
| URI | m2://inv/6XZ8KCPVJG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Moon Duchin, Moon Duchin (topic). Also Wikidata Q27995902
History
- 2026-11-02: add by m2/dev
6XZA3W0AKV 6XZA3W0AKV
| URI | m2://inv/6XZA3W0AKV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08480#HHAD (statement). In R4EEE89C3S/e1, theorem 4.12
History
- 2026-10-29: add by m2/v0.4.10
Definition 6XZAE4YP1S
| URI | m2://inv/6XZAE4YP1S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Modular symbol#TIS8, Definition (definition)
History
- 2026-11-02: add by m2/dev
6XZASFF236 6XZASFF236
| URI | m2://inv/6XZASFF236 |
|---|---|
| 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.08873#RRSC (statement). In 7WMNVJBAVR/e1, lemma 4.12
History
- 2026-10-29: add by m2/v0.4.10
6XZB1N1D7S 6XZB1N1D7S
| URI | m2://inv/6XZB1N1D7S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18673#4JVX (statement). In 7ZFD9XRKA1/e1, corollary 4.11
History
- 2026-10-28: add by m2/v0.4.2
6XZBAAWGWD 6XZBAAWGWD
| URI | m2://inv/6XZBAAWGWD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/compactness.tex#definition-2 (definition). In RZP28ERRZV, definition, section 95.1
History
- 2026-11-01: add by m2/v0.6.13
Association fallacy 6XZKWAMT0Z
| URI | m2://inv/6XZKWAMT0Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fallacies#4DVX, Association fallacy (definition)
History
- 2026-11-02: add by m2/dev
6XZSCNCPX9 6XZSCNCPX9
| URI | m2://inv/6XZSCNCPX9 |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2011.07352#UBQC (problem). In 3VPC1GGZ3E/e1, problem 8.1
History
- 2026-10-27: add by m2/v0.3.5
6XZSDQ8X4S 6XZSDQ8X4S
| URI | m2://inv/6XZSDQ8X4S |
|---|---|
| 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.14667#3TOO (statement). In EV886Y8PD7/e1, corollary 3.2
History
- 2026-10-28: add by m2/v0.4.2
Alessandro Faedo 6XZVQM6EC8
| URI | m2://inv/6XZVQM6EC8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#MZ10, Alessandro Faedo (topic)
History
- 2026-11-02: add by m2/dev