Inventory rows NK
The cards of the rows of the inventory whose ids start with NK. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Examples NK09YEZ7XD
| URI | m2://inv/NK09YEZ7XD |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Intension#PKXB, Examples (example)
History
- 2026-11-02: add by m2/dev
Prisoner's Dilemma (Economics) NK0C9X6G8V
| URI | m2://inv/NK0C9X6G8V |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Prisoner's dilemma#JP75, Prisoner's Dilemma (Economics) (unknown)
History
- 2026-11-02: add by m2/dev
NK0F4QHX92 NK0F4QHX92
| URI | m2://inv/NK0F4QHX92 |
|---|---|
| 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.12801#7ZY7 (statement). In HMK2QT55G7/e1, proposition 2
History
- 2026-10-28: add by m2/v0.4.2
Newton's method NK0SN5PJJN
| URI | m2://inv/NK0SN5PJJN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of calculus topics#M3S6, Newton's method (definition)
History
- 2026-11-02: add by m2/dev
Wirtinger presentation NK0TEJ0E28
| URI | m2://inv/NK0TEJ0E28 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wirtinger presentation, Wirtinger presentation (definition). Also Wikidata Q8027029
History
- 2026-11-02: add by m2/dev
An Abel--Ruffini threshold for the Natarajan dimension NK0WQAF2DK
| URI | m2://inv/NK0WQAF2DK |
|---|---|
| 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.18154#AO60, An Abel--Ruffini threshold for the Natarajan dimension (statement). In 4W7ARR1DAR/e1, theorem 7.3
History
- 2026-10-28: add by m2/v0.4.2
NK0Y5CHDNK NK0Y5CHDNK
| URI | m2://inv/NK0Y5CHDNK |
|---|---|
| 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 2207.05628#5L6I (statement). In 9JPKTEWW4W/e1, theorem 3.16
History
- 2026-10-27: add by m2/v0.3.5
NK0YDFQQ69 NK0YDFQQ69
| URI | m2://inv/NK0YDFQQ69 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-funcs.tex#example-12 (example). In E59CDZA4DP, example, section 9.3.3
History
- 2026-11-01: add by m2/v0.6.13
Hazel Perfect NK11MTXBXV
| URI | m2://inv/NK11MTXBXV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hazel Perfect, Hazel Perfect (topic). Also Wikidata Q63928607
History
- 2026-11-02: add by m2/dev
NK156AYXXG NK156AYXXG
| URI | m2://inv/NK156AYXXG |
|---|---|
| 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.22374#A412 (statement)
History
- 2026-11-02: add by m2/v0.6.17
NK1MBNY0F6 NK1MBNY0F6
| URI | m2://inv/NK1MBNY0F6 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section2-5.xml#example-mt-to-matrix (example). In 649HGZKE96, example, section 2.5.2
History
- 2026-11-01: add by m2/v0.6.13
Definition NK2E5E24DP
| URI | m2://inv/NK2E5E24DP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Divergence#KPWI, Definition (definition)
History
- 2026-11-02: add by m2/dev
NK2G53SKJP NK2G53SKJP
| URI | m2://inv/NK2G53SKJP |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/seq-induction.ptx#proof-1 (proof). In Y91XFCEVHQ, proof, section 3.5
History
- 2026-11-01: add by m2/v0.6.13
NK2PSVKGE7 NK2PSVKGE7
| URI | m2://inv/NK2PSVKGE7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16606#ARGZ (statement). In A798V7TX99/e1, lemma 5.18
History
- 2026-10-28: add by m2/v0.4.2
unitary operator NK2S60NT68
| URI | m2://inv/NK2S60NT68 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Unitary operator MM0EJ2GDE4 |
Mentions
- wikidata: Wikidata Q1972470, unitary operator (unknown). Also EoM Unitary_operator, MathWorld Unitary
- wikipedia: Wikipedia Unitary operator, Unitary operator (definition). Also Wikidata Q1972470
History
- 2026-10-26: add by m2/dev
Examples NK2TP25KGQ
| URI | m2://inv/NK2TP25KGQ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Banach manifold#CZUG, Examples (example)
History
- 2026-11-02: add by m2/dev
Leading-order term NK2VRVV29C
| URI | m2://inv/NK2VRVV29C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Leading-order term, Leading-order term (definition). Also Wikidata Q6508709
History
- 2026-11-02: add by m2/dev
No attraction into an invariant sector NK2Z24X9BX
| URI | m2://inv/NK2Z24X9BX |
|---|---|
| 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.14081#OZGX, No attraction into an invariant sector (statement). In DCCKKQ7Y21/e1, corollary II.10
History
- 2026-10-28: add by m2/v0.4.2
NK30ZPXP4E NK30ZPXP4E
| URI | m2://inv/NK30ZPXP4E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-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 1209.3562#CFBE (statement). In KZH1DCS18C/e1, theorem 2.4
History
- 2026-10-27: add by m2/v0.3.5
Symmetry NK31X4KEK0
| URI | m2://inv/NK31X4KEK0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Folkman graph#7BCI, Symmetry (statement)
History
- 2026-11-02: add by m2/dev
semi-decidable set NK32CPYG1X
| URI | m2://inv/NK32CPYG1X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#Y0OS, semi-decidable set (definition)
History
- 2026-11-02: add by m2/dev
NK34X3FW7J NK34X3FW7J
| URI | m2://inv/NK34X3FW7J |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31858#W3IE (definition). In QV16PHDXKJ/e1, definition 2.7
History
- 2026-10-31: add by m2/v0.5.6
Action sampling mismatch and the density weighted surrogate NK35H269FZ
| URI | m2://inv/NK35H269FZ |
|---|---|
| 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.04638#Z8RR, Action sampling mismatch and the density weighted surrogate (statement). In 3YM5F3YHD5/e1, corollary F.12
History
- 2026-10-29: add by m2/v0.4.12
Square-root KL movement NK399EY6DP
| URI | m2://inv/NK399EY6DP |
|---|---|
| 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.20187#68UH, Square-root KL movement (statement). In N280AVNNBY/e1, lemma B.7
History
- 2026-10-27: add by m2/v0.4.2
NK3DQEQB2M NK3DQEQB2M
| URI | m2://inv/NK3DQEQB2M |
|---|---|
| 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.08382#FXV2 (definition). In GYMGDQS25R/e1, definition 3.6
History
- 2026-10-29: add by m2/v0.4.10
Methodios Anthrakites NK3FMA6ZZG
| URI | m2://inv/NK3FMA6ZZG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Methodios Anthrakites, Methodios Anthrakites (topic). Also Wikidata Q3557126
History
- 2026-11-02: add by m2/dev
Call by future NK3VWVJGQ9
| URI | m2://inv/NK3VWVJGQ9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Evaluation strategy#31OP, Call by future (unknown)
History
- 2026-11-02: add by m2/dev
NK3X85C89R NK3X85C89R
| URI | m2://inv/NK3X85C89R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28411#JA4P (statement)
History
- 2026-11-01: add by m2/v0.6.15
relational calculus NK3YMF1EJH
| URI | m2://inv/NK3YMF1EJH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1722436, relational calculus (unknown). Also nLab relational calculus
History
- 2026-10-26: add by m2/dev
Theorem NK44B3XXH2
| URI | m2://inv/NK44B3XXH2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Central limit theorem#1AUF, Theorem (statement)
History
- 2026-11-02: add by m2/dev
NK44KAEASC NK44KAEASC
| URI | m2://inv/NK44KAEASC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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.36509#0DN5 (statement). In DPJ15KW23C/e1, lemma A.2
History
- 2026-10-30: add by m2/v0.4.12
tricolorability NK44MKZRTE
| URI | m2://inv/NK44MKZRTE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Tricolorability KNAGK0W65G |
Mentions
- wikidata: Wikidata Q7841270, tricolorability (unknown). Also MathWorld Three-ColorableKnot, MathWorld Tricolorable
- wikipedia: Wikipedia Tricolorability, Tricolorability (definition). Also Wikidata Q7841270
History
- 2026-10-26: add by m2/dev
NK47GVVB69 NK47GVVB69
| URI | m2://inv/NK47GVVB69 |
|---|---|
| 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 2610.13180#W9DR (statement). In 7TSVFYEGD8/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.2
Novikov conjecture NK4BBFYYHC
| URI | m2://inv/NK4BBFYYHC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Farrell–Jones conjecture#XE46, Novikov conjecture (statement)
History
- 2026-11-02: add by m2/dev
Learning with geometric updates NK4DNA65J2
| URI | m2://inv/NK4DNA65J2 |
|---|---|
| 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.40077#41WV, Learning with geometric updates (statement). In F0HMNYB8WB/e1, theorem 7.3
History
- 2026-10-30: add by m2/v0.4.12
Properties NK4JQ3VDHF
| URI | m2://inv/NK4JQ3VDHF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bernoulli distribution#QDSU, Properties (statement)
History
- 2026-11-02: add by m2/dev
Integral test for convergence NK4S9BRHRH
| URI | m2://inv/NK4S9BRHRH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of real analysis topics#H2IU, Integral test for convergence (definition)
History
- 2026-11-02: add by m2/dev
NK4T2S3T7N NK4T2S3T7N
| URI | m2://inv/NK4T2S3T7N |
|---|---|
| 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.04434#QJD8 (statement). In EY0QS456EC/e1, theorem 4.6
History
- 2026-10-29: add by m2/v0.4.12
maximal compact subgroup NK53A2HJXF
| URI | m2://inv/NK53A2HJXF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Maximal compact subgroup T2EB8R9HEV |
Mentions
- wikidata: Wikidata Q6795635, maximal compact subgroup (unknown). Also nLab maximal compact subgroup
- wikipedia: Wikipedia Maximal compact subgroup, Maximal compact subgroup (definition). Also Wikidata Q6795635
History
- 2026-10-26: add by m2/dev
Zero Divisor Conjecture NK560HF6NJ
| URI | m2://inv/NK560HF6NJ |
|---|---|
| Kind | conjecture |
| 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 2402.08625#YDZI, Zero Divisor Conjecture (conjecture). In F2Y9SQ2VP4/e1, conjecture 1
History
- 2026-10-27: add by m2/v0.4.0
NK573733T6 NK573733T6
| URI | m2://inv/NK573733T6 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-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 2403.16388#BYRG (definition). In HH4ADHZ8XD/e1, definition 2.2
History
- 2026-10-27: add by m2/v0.4.0
NK5C1216W7 NK5C1216W7
| URI | m2://inv/NK5C1216W7 |
|---|---|
| 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#KUFW (statement). In WRE0P7V6Z3/e1, theorem 1.7
History
- 2026-10-30: add by m2/v0.4.12
Lagrangian coordinates NK5F9KT4DH
| URI | m2://inv/NK5F9KT4DH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Joseph-Louis Lagrange#CC5G, Lagrangian coordinates (definition)
History
- 2026-11-02: add by m2/dev
NK5FJ3H9GM NK5FJ3H9GM
| URI | m2://inv/NK5FJ3H9GM |
|---|---|
| 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.34876#7N1P (statement). In XXQAW3ZBDF/e1, corollary 4.2
History
- 2026-10-30: add by m2/v0.4.12
NK5PCC22C0 NK5PCC22C0
| URI | m2://inv/NK5PCC22C0 |
|---|---|
| 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 2608.19483#NW7Y (statement). In M2PEDAF7AX/e1, lemma 2.3
History
- 2026-10-27: add by m2/v0.3.5
reverse mathematics NK5PDBAKHK
| URI | m2://inv/NK5PDBAKHK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#GRTO, reverse mathematics (definition)
History
- 2026-11-02: add by m2/dev
NK5RC99F0Y NK5RC99F0Y
| URI | m2://inv/NK5RC99F0Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-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.00798#ZRZA (statement). In FANG3A8NZ9/e1, theorem 1.1
History
- 2026-10-29: add by m2/v0.4.12
Biggs–Smith graph NK5WMGJ7Q8
| URI | m2://inv/NK5WMGJ7Q8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3034779, Biggs–Smith graph (unknown). Also House of Graphs 956, MathWorld Biggs-SmithGraph
- wikipedia: Wikipedia Biggs–Smith graph, Biggs–Smith graph (definition). Also Wikidata Q3034779
History
- 2026-10-26: add by m2/dev
NK5XXY3DFH NK5XXY3DFH
| URI | m2://inv/NK5XXY3DFH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31216#JTPW (statement). In M9CSGRSRB3/e1, proposition 3.8
History
- 2026-10-31: add by m2/v0.5.6
Zero distance for compact spaces, \mycite{Chapter 7}{BBI NK61FKTMT6
| URI | m2://inv/NK61FKTMT6 |
|---|---|
| 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.17400#NM0G, Zero distance for compact spaces, \mycite{Chapter 7}{BBI (statement). In 8VDXGR4SVD/e1, lemma 2.6
History
- 2026-10-28: add by m2/v0.4.2
NK64FCF050 NK64FCF050
| URI | m2://inv/NK64FCF050 |
|---|---|
| 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.15525#IMQA (statement). In EFDRME13PT/e1, lemma 4.5
History
- 2026-10-28: add by m2/v0.4.2
Matched filter NK6MKKZMZP
| URI | m2://inv/NK6MKKZMZP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Matched filter, Matched filter (definition). Also Wikidata Q1759577
History
- 2026-11-02: add by m2/dev
NK6R9GKWNE NK6R9GKWNE
| URI | m2://inv/NK6R9GKWNE |
|---|---|
| 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 2506.21337#PLKR (statement). In EPZN0JTG2Z/e1, lemma 2.7
History
- 2026-10-27: add by m2/v0.3.5
NK6S7K1494 NK6S7K1494
| URI | m2://inv/NK6S7K1494 |
|---|---|
| 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.03754#IYZP (statement). In J1Z9P0H13V/e1, theorem 3
History
- 2026-10-29: add by m2/v0.4.12
Orbital area NK76ACGZ54
| URI | m2://inv/NK76ACGZ54 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ellipse#8IP8, Orbital area (unknown)
History
- 2026-11-02: add by m2/dev
NK7ENA5QM7 NK7ENA5QM7
| URI | m2://inv/NK7ENA5QM7 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21703#B379 (definition)
History
- 2026-11-02: add by m2/v0.6.18
NK7MQ9J76G NK7MQ9J76G
| URI | m2://inv/NK7MQ9J76G |
|---|---|
| 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.21545#2AQB (statement). In 1Q3H75330M/e1, theorem 4.3
History
- 2026-10-27: add by m2/v0.4.2
NK7MV7KXC6 NK7MV7KXC6
| URI | m2://inv/NK7MV7KXC6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20049#3N7P (statement)
History
- 2026-11-02: add by m2/v0.6.18
Algorithms NK7NFNMFA0
| URI | m2://inv/NK7NFNMFA0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Parallel curve#W9PC, Algorithms (definition)
History
- 2026-11-02: add by m2/dev
NK7QS1SDM0 NK7QS1SDM0
| URI | m2://inv/NK7QS1SDM0 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20758#FDPI (definition). In PG0B4PH9YH/e1, definition 5.15
History
- 2026-10-27: add by m2/v0.4.2
NK7Y1Z4NJK NK7Y1Z4NJK
| URI | m2://inv/NK7Y1Z4NJK |
|---|---|
| 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.08342#Z7YU (statement). In PJBVMDPSR3/e1, theorem 1
History
- 2026-10-29: add by m2/v0.4.10
NK7ZKAXDPF NK7ZKAXDPF
| URI | m2://inv/NK7ZKAXDPF |
|---|---|
| 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 2610.04431#9Y7M (statement). In 3PSAWXCCJ8/e1, theorem 23
History
- 2026-10-29: add by m2/v0.4.12
NK8AR8JDX2 NK8AR8JDX2
| URI | m2://inv/NK8AR8JDX2 |
|---|---|
| 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 2303.10963#D3UK (statement). In F32XWYWG8E/e1, proposition 4.3
History
- 2026-10-27: add by m2/v0.3.5
Tabular sample complexity NK8AXTTWJX
| URI | m2://inv/NK8AXTTWJX |
|---|---|
| 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.04117#J0YD, Tabular sample complexity (statement). In 65E9N3DFYP/e1, theorem 4.8
History
- 2026-10-29: add by m2/v0.4.12
NK8J49A7A0 NK8J49A7A0
| URI | m2://inv/NK8J49A7A0 |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 35-XX, 65-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13680#K1KY (unknown). In QNBFHFZ3H0/e1, unknown 15
History
- 2026-10-28: add by m2/v0.4.2
Chain-parametrized candidate function NK8JJWSP6A
| URI | m2://inv/NK8JJWSP6A |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33360#FPVP, Chain-parametrized candidate function (definition). In GH6FSDK4YB/e1, definition 3.5
History
- 2026-10-30: add by m2/v0.4.12
bisymmetric matrix NK8K2691MS
| URI | m2://inv/NK8K2691MS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3751716, bisymmetric matrix (unknown). Also MathWorld BisymmetricMatrix
- wikipedia: Wikipedia Bisymmetric matrix, Bisymmetric matrix (definition). Also Wikidata Q3751716
History
- 2026-10-26: add by m2/dev
NK8PB07KVE NK8PB07KVE
| URI | m2://inv/NK8PB07KVE |
|---|---|
| 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.21116#JP8A (statement)
History
- 2026-11-02: add by m2/v0.6.18
NK90233TXE NK90233TXE
| URI | m2://inv/NK90233TXE |
|---|---|
| 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.27635#MDIG (statement)
History
- 2026-11-01: add by m2/v0.6.15
Algorithms NK91XJMYW2
| URI | m2://inv/NK91XJMYW2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orthogonal convex hull#4A81, Algorithms (definition)
History
- 2026-11-02: add by m2/dev
Particle system NK92A69WQQ
| URI | m2://inv/NK92A69WQQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#YCJ2, Particle system (unknown)
History
- 2026-11-02: add by m2/dev
function, onto NK948J8YA8
| URI | m2://inv/NK948J8YA8 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/B.4/function-onto, function, onto (concept). In QKM9DD2H56, index, section B.4
History
- 2026-11-01: add by m2/v0.6.13
NK9CSCTB4X NK9CSCTB4X
| URI | m2://inv/NK9CSCTB4X |
|---|---|
| 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.27715#RD4A (statement)
History
- 2026-11-01: add by m2/v0.6.15
M. L. Fick NK9JS4FFMH
| URI | m2://inv/NK9JS4FFMH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia M. L. Fick, M. L. Fick (topic). Also Wikidata Q96362595
History
- 2026-11-02: add by m2/dev
Philosophy of Mathematics: Selected Readings NK9MNZF23C
| URI | m2://inv/NK9MNZF23C |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematics books#IKHQ, Philosophy of Mathematics: Selected Readings (topic)
History
- 2026-11-02: add by m2/dev
WCG decomposition theorem NKA301Q8MA
| URI | m2://inv/NKA301Q8MA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38396#FH0O, WCG decomposition theorem (statement). In FGNNVKQR1Z/e1, theorem 2.5
History
- 2026-10-30: add by m2/v0.4.12
Linear bounded automata NKAA0935HD
| URI | m2://inv/NKAA0935HD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of PSPACE-complete problems#HJZL, Linear bounded automata (definition)
History
- 2026-11-02: add by m2/dev
Examples NKAK23DWV7
| URI | m2://inv/NKAK23DWV7 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hall-type theorems for hypergraphs#XM12, Examples (example)
History
- 2026-11-02: add by m2/dev
Truncated state vector $x_{t,\tau}$ and covariate $\phi_{t,\tau}^\bds$ NKAKPCR635
| URI | m2://inv/NKAKPCR635 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22338#6MB9, Truncated state vector $x_{t,\tau}$ and covariate $\phi_{t,\tau}^\bds$ (definition)
History
- 2026-11-02: add by m2/v0.6.17
NKAN3S77G4 NKAN3S77G4
| URI | m2://inv/NKAN3S77G4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03050#JN7A (statement). In WXBRJN9PHQ/e1, proposition 2.1
History
- 2026-10-29: add by m2/v0.4.12
Applications NKANHDC627
| URI | m2://inv/NKANHDC627 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stokes' theorem#FIQR, Applications (example)
History
- 2026-11-02: add by m2/dev
NKAWH6SY96 NKAWH6SY96
| URI | m2://inv/NKAWH6SY96 |
|---|---|
| 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.19535#RRC4 (statement). In MJXSE9QR4X/e1, proposition 2.1
History
- 2026-10-28: add by m2/v0.4.2
Paul Lorenzen NKB0QM3BA4
| URI | m2://inv/NKB0QM3BA4 |
|---|---|
| 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#DCN3, Paul Lorenzen (topic)
- wikipedia: Wikipedia List of German mathematicians#ZTQG, Paul Lorenzen (topic)
History
- 2026-11-02: add by m2/dev
Kondor's limit NKB53CBW5S
| URI | m2://inv/NKB53CBW5S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06480#X5EC, Kondor's limit (statement). In 2Y47E704Z9/e1, proposition 8.7
History
- 2026-10-29: add by m2/v0.4.10
Sharp two-moment envelope NKBCJKNN24
| URI | m2://inv/NKBCJKNN24 |
|---|---|
| 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.14069#DOM4, Sharp two-moment envelope (statement). In ABYRBVNC3Y/e1, theorem 2.2
History
- 2026-10-28: add by m2/v0.4.2
NKBPJW1MMP NKBPJW1MMP
| URI | m2://inv/NKBPJW1MMP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus source/sec-4-3-definite-integral.xml#D-4-3-DefInt (definition). In 907G4C4EJ1, definition, section 4.3.2
History
- 2026-11-01: add by m2/v0.6.13
Asymptotically normal estimator NKBPY9K76P
| URI | m2://inv/NKBPY9K76P |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Estimator#QVW2, Asymptotically normal estimator (unknown)
History
- 2026-11-02: add by m2/dev
Forster–Swan theorem NKBSB40SZ1
| URI | m2://inv/NKBSB40SZ1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Forster–Swan theorem, Forster–Swan theorem (statement). Also Wikidata Q119650583
History
- 2026-11-02: add by m2/dev
Properties NKC0SRWXYC
| URI | m2://inv/NKC0SRWXYC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Universal quantification#U5BM, Properties (statement)
History
- 2026-11-02: add by m2/dev
Kaplansky radical NKC839M35X
| URI | m2://inv/NKC839M35X |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hilbert symbol#1PCG, Kaplansky radical (unknown)
History
- 2026-11-02: add by m2/dev
monotonic sequence NKC97KCBY0
| URI | m2://inv/NKC97KCBY0 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/10.1.1/monotonic-sequence, monotonic sequence (concept). In E59CDZA4DP, index, section 10.1.1
History
- 2026-11-01: add by m2/v0.6.13
Example NKCDVTNACZ
| URI | m2://inv/NKCDVTNACZ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Meshfree methods#A3QC, Example (example)
History
- 2026-11-02: add by m2/dev
Fixed-point index NKCEP3FHY0
| URI | m2://inv/NKCEP3FHY0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fixed-point index, Fixed-point index (definition). Also Wikidata Q5456324
History
- 2026-11-02: add by m2/dev
Open set condition NKCFA62HFE
| URI | m2://inv/NKCFA62HFE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Open set condition, Open set condition (definition). Also Wikidata Q110933486
History
- 2026-11-02: add by m2/dev
The three-point stabilizer in affine groups NKCFTG4NA5
| URI | m2://inv/NKCFTG4NA5 |
|---|---|
| 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.15340#ZPPO, The three-point stabilizer in affine groups (statement). In 9NVKKW8HDH/e1, lemma 2.93
History
- 2026-10-28: add by m2/v0.4.2
NKCKAVBP3P NKCKAVBP3P
| URI | m2://inv/NKCKAVBP3P |
|---|---|
| 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.20656#M8XG (statement)
History
- 2026-11-02: add by m2/v0.6.18
Conjunction fallacy NKCXVJ0ZZ6
| URI | m2://inv/NKCXVJ0ZZ6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conjunction fallacy, Conjunction fallacy (definition). Also Wikidata Q2745415
History
- 2026-11-02: add by m2/dev
Normal curve equivalent NKD1K0J0RA
| URI | m2://inv/NKD1K0J0RA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Normal curve equivalent, Normal curve equivalent (definition). Also Wikidata Q17072029
History
- 2026-11-02: add by m2/dev
NKD2KVVNA4 NKD2KVVNA4
| URI | m2://inv/NKD2KVVNA4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34020#LFX1 (statement). In DAMYG8BFAK/e1, theorem 3.4
History
- 2026-10-30: add by m2/v0.4.12
NKDFCJZD6Q NKDFCJZD6Q
| URI | m2://inv/NKDFCJZD6Q |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10570#T0QE (example). In V0MA250K2P/e1, example 3.8
History
- 2026-10-29: add by m2/v0.4.10
Carina Curto NKDK0NGCP6
| URI | m2://inv/NKDK0NGCP6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Carina Curto, Carina Curto (topic). Also Wikidata Q56879503
History
- 2026-11-02: add by m2/dev
NKDNFPP7SR NKDNFPP7SR
| URI | m2://inv/NKDNFPP7SR |
|---|---|
| Kind | definition |
| 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#DLY9 (definition). In 9DQKY7KGE8/e1, definition 4.5
History
- 2026-10-27: add by m2/v0.3.5
complex system NKDWW7VJVC
| URI | m2://inv/NKDWW7VJVC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q854457, complex system (unknown). Also nLab complex system
History
- 2026-10-26: add by m2/dev
NKDXB9GA8H NKDXB9GA8H
| URI | m2://inv/NKDXB9GA8H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26650#UNBL (statement)
History
- 2026-11-01: add by m2/v0.6.15
NKDXNS2GKC NKDXNS2GKC
| URI | m2://inv/NKDXNS2GKC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34295#YSGR (statement). In A93R925Z24/e1, corollary 12.3
History
- 2026-10-30: add by m2/v0.4.12
Length one NKE2NDNMP0
| URI | m2://inv/NKE2NDNMP0 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04214#4NBW, Length one (example). In HWY7AQ4KT2/e1, example 2.7
History
- 2026-10-29: add by m2/v0.4.12
Formulations NKE7T8Y4AD
| URI | m2://inv/NKE7T8Y4AD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Third law of thermodynamics#4V5J, Formulations (definition)
History
- 2026-11-02: add by m2/dev
NKEG25WV1Q NKEG25WV1Q
| URI | m2://inv/NKEG25WV1Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/proj-var.tex#thm:proj_reg_func_dist_open (statement). In RZP28ERRZV, theorem, section 23.5
History
- 2026-11-01: add by m2/v0.6.13
NKEGJGE8C5 NKEGJGE8C5
| URI | m2://inv/NKEGJGE8C5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2605.30285#JVZT (statement). In YMY0NNSM27/e1, proposition 2.3
History
- 2026-10-27: add by m2/v0.3.6
NKEGT6M60C NKEGT6M60C
| URI | m2://inv/NKEGT6M60C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17476#08HN (statement). In 6HXD74FA4S/e1, lemma 8.2
History
- 2026-10-28: add by m2/v0.4.2
Applications NKEM780X5N
| URI | m2://inv/NKEM780X5N |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inverse trigonometric functions#RJYT, Applications (example)
History
- 2026-11-02: add by m2/dev
Extensions NKEP8ZT1CK
| URI | m2://inv/NKEP8ZT1CK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Recurrence plot#81VR, Extensions (statement)
History
- 2026-11-02: add by m2/dev
Matsumoto zeta function NKEQQVVJW3
| URI | m2://inv/NKEQQVVJW3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Matsumoto zeta function, Matsumoto zeta function (definition). Also Wikidata Q6788151
History
- 2026-11-02: add by m2/dev
NKF3GYJ8VY NKF3GYJ8VY
| URI | m2://inv/NKF3GYJ8VY |
|---|---|
| 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.23872#O54R (statement)
History
- 2026-11-02: add by m2/v0.6.17
Guidance rate NKF6FH00RY
| URI | m2://inv/NKF6FH00RY |
|---|---|
| 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.39531#TMG3, Guidance rate (statement). In SN9RSTHQ07/e1, theorem 5.3
History
- 2026-10-30: add by m2/v0.4.12
Implementation NKFC2Y5PQ7
| URI | m2://inv/NKFC2Y5PQ7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Karatsuba algorithm#BGDT, Implementation (definition)
History
- 2026-11-02: add by m2/dev
Definition NKFCXD7F2F
| URI | m2://inv/NKFCXD7F2F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Balanced ternary#ZGBR, Definition (definition)
History
- 2026-11-02: add by m2/dev
NKFG9385VK NKFG9385VK
| URI | m2://inv/NKFG9385VK |
|---|---|
| Kind | statement |
| 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 2609.21052#460M (statement)
History
- 2026-11-02: add by m2/v0.6.18
Properties NKFMM1VJGW
| URI | m2://inv/NKFMM1VJGW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sinusoidal spiral#BPLV, Properties (statement)
History
- 2026-11-02: add by m2/dev
NKFTASFH38 NKFTASFH38
| URI | m2://inv/NKFTASFH38 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 17-XX, 20-XX, 22-XX, 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11785#5MA5 (statement). In 2XSZDXZ52E/e1, lemma 2.4
History
- 2026-10-28: add by m2/v0.4.3
Baker–Campbell–Hausdorff formula NKFTSKXYM2
| URI | m2://inv/NKFTSKXYM2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Lie groups topics#R5SG, Baker–Campbell–Hausdorff formula (statement)
- wikipedia: Wikipedia List of exponential topics#30NV, Baker–Campbell–Hausdorff formula (statement)
- wikipedia: Wikipedia List of things named after Felix Hausdorff#0K9F, Baker–Campbell–Hausdorff formula (statement)
History
- 2026-11-02: add by m2/dev
Holonomic basis NKFXSHFHVX
| URI | m2://inv/NKFXSHFHVX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Holonomic basis, Holonomic basis (definition). Also Wikidata Q5884206
History
- 2026-11-02: add by m2/dev
Nonzero central comparison NKG7TZCA5T
| URI | m2://inv/NKG7TZCA5T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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.00490#OZLX, Nonzero central comparison (statement). In PZJDV6SJ9E/e1, proposition 3.7
History
- 2026-10-30: add by m2/v0.4.12
NKG97JCBHJ NKG97JCBHJ
| URI | m2://inv/NKG97JCBHJ |
|---|---|
| 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.10230#9JKA (statement). In YS75517SF7/e1, corollary 3.9
History
- 2026-10-29: add by m2/v0.4.10
NKGA2TYVPM NKGA2TYVPM
| URI | m2://inv/NKGA2TYVPM |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2504.01057#7X71 (definition). In 69QFBXJENW/e1, definition 3.7
History
- 2026-10-27: add by m2/v0.3.5
Interactive proof system NKGANVK5PR
| URI | m2://inv/NKGANVK5PR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Interactive proof system, Interactive proof system (definition). Also Wikidata Q1665886
History
- 2026-11-02: add by m2/dev
Basic properties NKGB66B3TP
| URI | m2://inv/NKGB66B3TP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Parameterized complexity#FNJI, Basic properties (statement)
History
- 2026-11-02: add by m2/dev
Sug Woo Shin NKGGBDE9SP
| URI | m2://inv/NKGGBDE9SP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sug Woo Shin, Sug Woo Shin (topic). Also Wikidata Q87066007
History
- 2026-11-02: add by m2/dev
NKGPXYC5GM NKGPXYC5GM
| URI | m2://inv/NKGPXYC5GM |
|---|---|
| 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 2006.12475#UPR5 (statement). In 8YWBGQQGA3/e1, proposition 9
History
- 2026-10-27: add by m2/v0.3.5
Algebraic properties NKGZH3G2S6
| URI | m2://inv/NKGZH3G2S6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Constructible number#Z5GI, Algebraic properties (statement)
History
- 2026-11-02: add by m2/dev
Other formulas NKHAYQGW7P
| URI | m2://inv/NKHAYQGW7P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stirling numbers of the first kind#AFFS, Other formulas (statement)
History
- 2026-11-02: add by m2/dev
Examples NKHCW92RNA
| URI | m2://inv/NKHCW92RNA |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Enumeration#BC63, Examples (example)
History
- 2026-11-02: add by m2/dev
NKHEJHFNWF NKHEJHFNWF
| URI | m2://inv/NKHEJHFNWF |
|---|---|
| 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.14308#RIPD (statement). In F67Y6BZVV8/e1, proposition 7
History
- 2026-10-28: add by m2/v0.4.2
Douglas Wiens NKHERJRJBN
| URI | m2://inv/NKHERJRJBN |
|---|---|
| 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#Y8EB, Douglas Wiens (unknown)
History
- 2026-11-02: add by m2/dev
Hirzebruch surface NKHF18X5SK
| URI | m2://inv/NKHF18X5SK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of manifolds#PPPZ, Hirzebruch surface (definition)
History
- 2026-11-02: add by m2/dev
Giuseppe Basso NKHGJ4J3F0
| URI | m2://inv/NKHGJ4J3F0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Giuseppe Basso, Giuseppe Basso (topic). Also Wikidata Q3770073
History
- 2026-11-02: add by m2/dev
NKHH6R2N2D NKHH6R2N2D
| URI | m2://inv/NKHH6R2N2D |
|---|---|
| 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.25823#47PX (statement)
History
- 2026-11-01: add by m2/v0.6.15
smooth function NKHHV1JJV8
| URI | m2://inv/NKHHV1JJV8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Smooth function 0BE3QDH73A |
Mentions
- wikidata: Wikidata Q868473, smooth function (unknown). Also MathWorld C-InfinityFunction
- wikipedia: Wikipedia Smoothness, Smoothness (definition). Also Wikidata Q868473
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Orlicz--H\"older inequality NKHMRKM2W3
| URI | m2://inv/NKHMRKM2W3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21717#NGSQ, Orlicz--H\"older inequality (statement). In CE603VK92S/e1, lemma 5.1
History
- 2026-10-27: add by m2/v0.4.2
Elliptic boundary value problem NKHMWRJ04D
| URI | m2://inv/NKHMWRJ04D |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elliptic boundary value problem, Elliptic boundary value problem (problem). Also Wikidata Q5365788
History
- 2026-11-02: add by m2/dev
computation rule, propositional, for identities between functions NKHQBRJP2V
| URI | m2://inv/NKHQBRJP2V |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/1.9/computation-rule-propositional-for-identities-between-functions, computation rule, propositional, for identities between functions (concept). In N54F33XE07, index, section 1.9
History
- 2026-11-01: add by m2/v0.6.13
Bogomolov–Miyaoka–Yau inequality NKHY9C2KCM
| URI | m2://inv/NKHY9C2KCM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of inequalities#EH3A, Bogomolov–Miyaoka–Yau inequality (statement)
History
- 2026-11-02: add by m2/dev
Exact unbiasedness for Gamma populations NKJ67P7W41
| URI | m2://inv/NKJ67P7W41 |
|---|---|
| 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 2610.05621#BEKA, Exact unbiasedness for Gamma populations (statement). In ADE39RC6C0/e1, corollary 2.6
History
- 2026-10-29: add by m2/v0.4.10
Binomial identity NKJ9GRZKSP
| URI | m2://inv/NKJ9GRZKSP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical identities#243I, Binomial identity (statement)
History
- 2026-11-02: add by m2/dev
Automedian triangle NKJK6RPPVC
| URI | m2://inv/NKJK6RPPVC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of triangle topics#8UWD, Automedian triangle (definition)
- wikipedia: Wikipedia List of mathematical shapes#775J, Automedian triangle (definition)
History
- 2026-11-02: add by m2/dev
NKJKCCVNGS NKJKCCVNGS
| URI | m2://inv/NKJKCCVNGS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-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.06699#5OJM (statement). In GXHKRV5BPY/e1, corollary 4.7
History
- 2026-10-29: add by m2/v0.4.10
Three-point property of Tseng NKJM4871CJ
| URI | m2://inv/NKJM4871CJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 65-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38741#ZTO3, Three-point property of Tseng (statement). In 1SQH3PTYMD/e1, lemma 1
History
- 2026-10-30: add by m2/v0.4.12
David August NKJQ9B0VP1
| URI | m2://inv/NKJQ9B0VP1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#597I, David August (unknown)
History
- 2026-11-02: add by m2/dev
NKJRCBC53Z NKJRCBC53Z
| URI | m2://inv/NKJRCBC53Z |
|---|---|
| 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 2610.04603#COA5 (definition). In HEAG8V2JM1/e1, definition 3.3
History
- 2026-10-29: add by m2/v0.4.12
PT-group NKJYH4V7C2
| URI | m2://inv/NKJYH4V7C2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quasinormal subgroup#62IZ, PT-group (unknown)
History
- 2026-11-02: add by m2/dev
Wolf Barth NKJZY7RN76
| URI | m2://inv/NKJZY7RN76 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wolf Barth, Wolf Barth (topic). Also Wikidata Q109371
History
- 2026-11-02: add by m2/dev
NKK13A9DVM NKK13A9DVM
| URI | m2://inv/NKK13A9DVM |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2410.01436#EL3U (proof). In FE59Q5BHKZ/e1, proof
History
- 2026-10-27: add by m2/v0.3.5
NKK23QS9Y3 NKK23QS9Y3
| URI | m2://inv/NKK23QS9Y3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23147#O3NX (statement)
History
- 2026-11-02: add by m2/v0.6.17
NKK4Z16EJR NKK4Z16EJR
| URI | m2://inv/NKK4Z16EJR |
|---|---|
| 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.26017#W29Q (statement)
History
- 2026-11-01: add by m2/v0.6.15
Anna C. Gilbert NKK8YBG9Y4
| URI | m2://inv/NKK8YBG9Y4 |
|---|---|
| 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#MNB2, Anna C. Gilbert (topic)
History
- 2026-11-02: add by m2/dev
NKKA93M4FH NKKA93M4FH
| URI | m2://inv/NKKA93M4FH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04498#7I5R (statement). In HHF08X70P6/e1, lemma 6.3
History
- 2026-10-29: add by m2/v0.4.12
NKKB2XNXPT NKKB2XNXPT
| URI | m2://inv/NKKB2XNXPT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 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 2505.05539#9GOP (statement). In 8SVVEVGMNE/e1, proposition 5.2
History
- 2026-10-27: add by m2/v0.3.5
hyperfunction NKKHF5XW0G
| URI | m2://inv/NKKHF5XW0G |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Hyperfunction NECFJN169C |
Mentions
- wikidata: Wikidata Q1567017, hyperfunction (concept). Also MathWorld Hyperfunction, nLab hyperfunction
- wikipedia: Wikipedia Hyperfunction, Hyperfunction (definition). Also Wikidata Q1567017
History
- 2026-10-26: add by m2/dev
NKKHMYX4NS NKKHMYX4NS
| URI | m2://inv/NKKHMYX4NS |
|---|---|
| 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.02798#CZ9H (statement). In 446QW3DHTN/e1, lemma B.3
History
- 2026-10-29: add by m2/v0.4.12
NKKN9ZBX10 NKKN9ZBX10
| URI | m2://inv/NKKN9ZBX10 |
|---|---|
| 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.26019#71OV (statement)
History
- 2026-11-01: add by m2/v0.6.15
NKM2Z1SVSP NKM2Z1SVSP
| URI | m2://inv/NKM2Z1SVSP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/set-theory/ordinal.tex#definition-7 (definition). In RZP28ERRZV, definition, section 92.7
History
- 2026-11-01: add by m2/v0.6.13
Malliavin calculus NKM6HEYGKE
| URI | m2://inv/NKM6HEYGKE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Malliavin calculus 1EC7VPHFAY |
Mentions
- wikidata: Wikidata Q6744166, Malliavin calculus (unknown). Also MathWorld MalliavinCalculus
- wikipedia: Wikipedia Malliavin calculus, Malliavin calculus (definition). Also Wikidata Q6744166
History
- 2026-10-26: add by m2/dev
NKMCJNN6E6 NKMCJNN6E6
| URI | m2://inv/NKMCJNN6E6 |
|---|---|
| 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.01946#ADKD (statement). In NB1Z31FMXN/e1, lemma 2.6
History
- 2026-10-29: add by m2/v0.4.12
Gray category NKMCV0EH17
| URI | m2://inv/NKMCV0EH17 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 3-category#FRCL, Gray category (unknown)
History
- 2026-11-02: add by m2/dev
NKMH4Y8727 NKMH4Y8727
| URI | m2://inv/NKMH4Y8727 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2308.05066#U6US (statement). In 1QSCT53ZED/e1, theorem 9.7
History
- 2026-10-27: add by m2/v0.4.0
Asymptotic behavior of $\Sigma(t)$ in Example 1 NKMK31VP4A
| URI | m2://inv/NKMK31VP4A |
|---|---|
| Kind | statement |
| 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#TKIL, Asymptotic behavior of $\Sigma(t)$ in Example 1 (statement). In N3P196CEAJ/e1, lemma A.2
History
- 2026-10-30: add by m2/v0.4.12
NKMK355AQR NKMK355AQR
| URI | m2://inv/NKMK355AQR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14582#A8VL (statement). In 6XP6PD2XZA/e1, proposition 7.4
History
- 2026-10-28: add by m2/v0.4.2
NKMNA1NK2D NKMNA1NK2D
| URI | m2://inv/NKMNA1NK2D |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25967#WM2M (definition)
History
- 2026-11-01: add by m2/v0.6.15
NKMXPQG6JC NKMXPQG6JC
| URI | m2://inv/NKMXPQG6JC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07260#87N5 (statement). In 33KABVV985/e1, proposition 2.3
History
- 2026-10-29: add by m2/v0.4.10
MLP residual satisfies Assumption 2 NKN75MR8YW
| URI | m2://inv/NKN75MR8YW |
|---|---|
| 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.14344#ZKIN, MLP residual satisfies Assumption 2 (statement). In ZVCD8RG1JJ/e1, proposition 1
History
- 2026-10-28: add by m2/v0.4.2
Augustin Hirschvogel NKN9GGAHDY
| URI | m2://inv/NKN9GGAHDY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Augustin Hirschvogel, Augustin Hirschvogel (topic). Also Wikidata Q707101
History
- 2026-11-02: add by m2/dev
Measurement fallacy NKNBCTTW33
| URI | m2://inv/NKNBCTTW33 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fallacy#3BWZ, Measurement fallacy (unknown)
History
- 2026-11-02: add by m2/dev
NKNDRV7BKY NKNDRV7BKY
| URI | m2://inv/NKNDRV7BKY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28411#A9TZ (statement)
History
- 2026-11-01: add by m2/v0.6.15
NKNGJHH76V NKNGJHH76V
| URI | m2://inv/NKNGJHH76V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36444#4TG5 (statement). In 4DJE72VPJP/e1, lemma 2.1
History
- 2026-10-30: add by m2/v0.4.12
Properties NKNH0A8C9E
| URI | m2://inv/NKNH0A8C9E |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chaitin's constant#RE9E, Properties (statement)
History
- 2026-11-02: add by m2/dev
Reflection principle NKNJV6NYB9
| URI | m2://inv/NKNJV6NYB9 |
|---|---|
| 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.09596#O0GS, Reflection principle (statement). In HXFA55BREZ/e1, lemma C.2
History
- 2026-10-29: add by m2/v0.4.10
Examples NKNP3HP2ZW
| URI | m2://inv/NKNP3HP2ZW |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Enriques surface#9A3A, Examples (example)
History
- 2026-11-02: add by m2/dev
prime NKNRRKZWRF
| URI | m2://inv/NKNRRKZWRF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#HR5O, prime (definition)
History
- 2026-11-02: add by m2/dev
determinantal NKNTKM89XE
| URI | m2://inv/NKNTKM89XE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#M943, determinantal (definition)
History
- 2026-11-02: add by m2/dev
Discrete symmetry NKNW72S3HJ
| URI | m2://inv/NKNW72S3HJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Discrete symmetry, Discrete symmetry (definition). Also Wikidata Q5282063
History
- 2026-11-02: add by m2/dev
NKNXW5Y6HP NKNXW5Y6HP
| URI | m2://inv/NKNXW5Y6HP |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26386#EPJN (definition)
History
- 2026-11-01: add by m2/v0.6.15
NKPD82857K NKPD82857K
| URI | m2://inv/NKPD82857K |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/Sets.tex#problem-3 (exercise). In P1C114YBXG, problem, section J
History
- 2026-11-01: add by m2/v0.6.13
The linear term cannot be removed NKPF8X09DP
| URI | m2://inv/NKPF8X09DP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37368#ATW8, The linear term cannot be removed (statement). In FRMCKEGVJZ/e1, proposition 2
History
- 2026-10-30: add by m2/v0.4.12
NKPHW3WMPE NKPHW3WMPE
| URI | m2://inv/NKPHW3WMPE |
|---|---|
| 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.26896#SVNF (statement)
History
- 2026-11-01: add by m2/v0.6.15
measurement in quantum mechanics NKPK8WZCJ6
| URI | m2://inv/NKPK8WZCJ6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q907385, measurement in quantum mechanics (unknown). Also nLab quantum measurement
History
- 2026-10-26: add by m2/dev
Example NKPNNZ6JMF
| URI | m2://inv/NKPNNZ6JMF |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tensor product of modules#ZBXL, Example (example)
History
- 2026-11-02: add by m2/dev
Henri Poincaré NKPP3V8GRD
| URI | m2://inv/NKPP3V8GRD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of publications in mathematics#VBY0, Henri Poincaré (topic)
History
- 2026-11-02: add by m2/dev
Generalized ring NKPR2BA6P7
| URI | m2://inv/NKPR2BA6P7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Operad#D7IK, Generalized ring (unknown)
History
- 2026-11-02: add by m2/dev
Path integrals in polymer science NKPRJMW9RH
| URI | m2://inv/NKPRJMW9RH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Path integrals in polymer science, Path integrals in polymer science (definition). Also Wikidata Q18386966
History
- 2026-11-02: add by m2/dev
Examples NKPSKFJ001
| URI | m2://inv/NKPSKFJ001 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 2-EXPTIME#1L59, Examples (example)
History
- 2026-11-02: add by m2/dev
NKPYFPWYYF NKPYFPWYYF
| URI | m2://inv/NKPYFPWYYF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/measure/caratheodory.tex#thm:cara_outer (statement). In RZP28ERRZV, theorem, section 63.3
History
- 2026-11-01: add by m2/v0.6.13
Definition NKQ1YXF72F
| URI | m2://inv/NKQ1YXF72F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weak trace-class operator#YMN4, Definition (definition)
History
- 2026-11-02: add by m2/dev
extreme value NKQ2WTKW2Q
| URI | m2://inv/NKQ2WTKW2Q |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus index/3.3.1/extreme-value, extreme value (concept). In 907G4C4EJ1, index, section 3.3.1
History
- 2026-11-01: add by m2/v0.6.13
Two-layer composition and erosion NKQ5DASXEY
| URI | m2://inv/NKQ5DASXEY |
|---|---|
| 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.25987#22ZS, Two-layer composition and erosion (statement)
History
- 2026-11-01: add by m2/v0.6.15
NKQGQNW87G NKQGQNW87G
| URI | m2://inv/NKQGQNW87G |
|---|---|
| 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.11395#VFL5 (example). In T3W7SMWQ73/e1, example 7
History
- 2026-10-28: add by m2/v0.4.3
fundamental, group NKQKKZYRF7
| URI | m2://inv/NKQKKZYRF7 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/1/fundamental-group, fundamental, group (concept). In N54F33XE07, index, section 1
History
- 2026-11-01: add by m2/v0.6.13
Definition NKQW2Q7632
| URI | m2://inv/NKQW2Q7632 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Angles between flats#5SXR, Definition (definition)
History
- 2026-11-02: add by m2/dev
NKR3NY04HY NKR3NY04HY
| URI | m2://inv/NKR3NY04HY |
|---|---|
| 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.13898#VUM5 (statement). In 44EVK9BPC9/e1, lemma 2.5
History
- 2026-10-28: add by m2/v0.4.2
NKRNN4SNPR NKRNN4SNPR
| URI | m2://inv/NKRNN4SNPR |
|---|---|
| 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.23562#GS9E (statement)
History
- 2026-11-02: add by m2/v0.6.17
Main theorem NKRNQ86NQN
| URI | m2://inv/NKRNQ86NQN |
|---|---|
| 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.25101#IN3Q, Main theorem (statement)
History
- 2026-11-01: add by m2/v0.6.15
NKRQ6HRSS0 NKRQ6HRSS0
| URI | m2://inv/NKRQ6HRSS0 |
|---|---|
| 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.21388#YEGG (statement)
History
- 2026-11-02: add by m2/v0.6.18
Tetradecagon NKRQXF7QM2
| URI | m2://inv/NKRQXF7QM2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of two-dimensional geometric shapes#4PLU, Tetradecagon (definition)
History
- 2026-11-02: add by m2/dev
Principles NKRWDF8FST
| URI | m2://inv/NKRWDF8FST |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reinforcement learning#BHU2, Principles (statement)
History
- 2026-11-02: add by m2/dev
NKS0FQD65G NKS0FQD65G
| URI | m2://inv/NKS0FQD65G |
|---|---|
| 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.03327#7J2J (statement). In EBNXA84CPM/e1, proposition 3.6
History
- 2026-10-29: add by m2/v0.4.12
Wilhelm Ljunggren NKS0V2Y6MA
| URI | m2://inv/NKS0V2Y6MA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wilhelm Ljunggren, Wilhelm Ljunggren (topic). Also Wikidata Q7951048
History
- 2026-11-02: add by m2/dev
Neighbourhood space NKS0YKPCBG
| URI | m2://inv/NKS0YKPCBG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Topological space#D4MM, Neighbourhood space (unknown)
History
- 2026-11-02: add by m2/dev
Pocklington criterion NKS2CBKNTS
| URI | m2://inv/NKS2CBKNTS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pocklington primality test#L888, Pocklington criterion (statement)
History
- 2026-11-02: add by m2/dev
Applications NKS2GRJMQC
| URI | m2://inv/NKS2GRJMQC |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dold–Thom theorem#O2EO, Applications (example)
History
- 2026-11-02: add by m2/dev
Examples NKS3TFNNCG
| URI | m2://inv/NKS3TFNNCG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Taylor series#J8X4, Examples (example)
History
- 2026-11-02: add by m2/dev
NKSB8KD6PM NKSB8KD6PM
| URI | m2://inv/NKSB8KD6PM |
|---|---|
| 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.13114#2TJI (statement). In 38RG49M1NB/e1, corollary 2.5
History
- 2026-10-28: add by m2/v0.4.2
Rank NKSE01QK0Y
| URI | m2://inv/NKSE01QK0Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rank (graph theory), Rank (definition). Also Wikidata Q7293202
History
- 2026-11-02: add by m2/dev
NKSF9KXN27 NKSF9KXN27
| URI | m2://inv/NKSF9KXN27 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 16-XX, 17-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21860#B3IP (example)
History
- 2026-11-02: add by m2/v0.6.18
Simple examples NKSMRX70JT
| URI | m2://inv/NKSMRX70JT |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Metric space#SGA3, Simple examples (example)
History
- 2026-11-02: add by m2/dev
NKSNHK2R5Y NKSNHK2R5Y
| URI | m2://inv/NKSNHK2R5Y |
|---|---|
| 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 2311.16252#RY9Y (statement). In 8AHN9GSRMR/e1, proposition 4.2
History
- 2026-10-27: add by m2/v0.4.0
Stochastic grammar NKSNK1JATE
| URI | m2://inv/NKSNK1JATE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stochastic grammar, Stochastic grammar (definition). Also Wikidata Q2481721
History
- 2026-11-02: add by m2/dev
Gieseking constant NKSQVCFGRP
| URI | m2://inv/NKSQVCFGRP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gieseking manifold#EBAT, Gieseking constant (unknown)
History
- 2026-11-02: add by m2/dev
NKSX96A3QM NKSX96A3QM
| URI | m2://inv/NKSX96A3QM |
|---|---|
| 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.04069#PN9B (statement). In ZA7WXGZYWC/e1, corollary 4.6
History
- 2026-10-29: add by m2/v0.4.12
NKSXZ5M8W4 NKSXZ5M8W4
| URI | m2://inv/NKSXZ5M8W4 |
|---|---|
| Kind | statement |
| 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.12116#CLXM (statement). In WB3F0S794F/e1, lemma 6.4
History
- 2026-10-28: add by m2/v0.4.2
Orthocomplemented lattice NKT2WA0X6Z
| URI | m2://inv/NKT2WA0X6Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of order theory topics#A3YQ, Orthocomplemented lattice (definition)
History
- 2026-11-02: add by m2/dev
NKTDX8C5BA NKTDX8C5BA
| URI | m2://inv/NKTDX8C5BA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36022#4C1J (statement). In ENH5XNBQWH/e1, proposition 4.28
History
- 2026-10-30: add by m2/v0.4.12
\bf Fixed-time single-output exclusion NKTPAW694A
| URI | m2://inv/NKTPAW694A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02791#V8HU, \bf Fixed-time single-output exclusion (statement). In TT9BA4VMTW/e1, lemma E.6
History
- 2026-10-29: add by m2/v0.4.12
NKTW4GXV6Q NKTW4GXV6Q
| URI | m2://inv/NKTW4GXV6Q |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-funcs.tex#exercise-42 (exercise). In E59CDZA4DP, exercise, section 9.3.4
History
- 2026-11-01: add by m2/v0.6.13
NKV7W5CG6J NKV7W5CG6J
| URI | m2://inv/NKV7W5CG6J |
|---|---|
| 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.20140#DN20 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Geoffrey Hinton NKV86SH8EQ
| URI | m2://inv/NKV86SH8EQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#HDCE, Geoffrey Hinton (unknown)
History
- 2026-11-02: add by m2/dev
Phillip Griffiths NKVN7YMFXQ
| URI | m2://inv/NKVN7YMFXQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of geometers#7VEH, Phillip Griffiths (topic)
History
- 2026-11-02: add by m2/dev
Definitions NKVSCGKK9Y
| URI | m2://inv/NKVSCGKK9Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Displaced Poisson distribution#IZKY, Definitions (definition)
History
- 2026-11-02: add by m2/dev
NKVTD0N3G8 NKVTD0N3G8
| URI | m2://inv/NKVTD0N3G8 |
|---|---|
| Kind | exercise |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an exercise of a paper, which becomes a node only when a node, a project or a curriculum asks for it (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01802#ZETF (exercise). In XGPZ0G9E1Q/e1, exercise 3.7
History
- 2026-10-29: add by m2/v0.4.12
Algorithm NKVVFBGCZV
| URI | m2://inv/NKVVFBGCZV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Simplex algorithm#FSEL, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
NKVW3R0PB5 NKVW3R0PB5
| URI | m2://inv/NKVW3R0PB5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32174#NOIV (statement). In GHKR740SG3/e1, lemma 14.3
History
- 2026-10-31: add by m2/v0.5.6
Kimberly Weems NKVXFN2V4M
| URI | m2://inv/NKVXFN2V4M |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kimberly Weems, Kimberly Weems (topic). Also Wikidata Q16946754
History
- 2026-11-02: add by m2/dev
NKW48677C2 NKW48677C2
| URI | m2://inv/NKW48677C2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/measure/swapsum.tex#corollary-1 (statement). In RZP28ERRZV, corollary, section 70.4
History
- 2026-11-01: add by m2/v0.6.13
NKWBVHFBQY NKWBVHFBQY
| URI | m2://inv/NKWBVHFBQY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15169#5VA8 (statement). In V7SN19J84T/e1, theorem 1.2
History
- 2026-10-28: add by m2/v0.4.2
Metabiaugmented dodecahedron NKWD78J17J
| URI | m2://inv/NKWD78J17J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#MBZE, Metabiaugmented dodecahedron (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#Q6L6, Metabiaugmented dodecahedron (definition)
History
- 2026-11-02: add by m2/dev
Construction NKWGW3CAA7
| URI | m2://inv/NKWGW3CAA7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elongated square cupola#IIXH, Construction (definition)
History
- 2026-11-02: add by m2/dev
NKWMXF8CM6 NKWMXF8CM6
| URI | m2://inv/NKWMXF8CM6 |
|---|---|
| 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.25973#4AZP (statement)
History
- 2026-11-01: add by m2/v0.6.15
Maury Bramson NKWN7B20YT
| URI | m2://inv/NKWN7B20YT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Maury Bramson, Maury Bramson (topic). Also Wikidata Q72096926
History
- 2026-11-02: add by m2/dev
Definition NKWPH6GGZT
| URI | m2://inv/NKWPH6GGZT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Killed process#ZAZQ, Definition (definition)
History
- 2026-11-02: add by m2/dev
Twisting NKWTDSED75
| URI | m2://inv/NKWTDSED75 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2202.10920#NDPG, Twisting (statement). In 6TTFGK6ZV0/e1, lemma 2.4
History
- 2026-10-27: add by m2/v0.3.5
NKWY25DWYF NKWY25DWYF
| URI | m2://inv/NKWY25DWYF |
|---|---|
| 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.08039#X3EM (statement). In Y1K8WE4MDP/e1, theorem 1.1
History
- 2026-10-29: add by m2/v0.4.10
vector boson NKWZMG6NGF
| URI | m2://inv/NKWZMG6NGF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2563571, vector boson (unknown). Also nLab vector boson
History
- 2026-10-26: add by m2/dev
NKX43VQKZ1 NKX43VQKZ1
| URI | m2://inv/NKX43VQKZ1 |
|---|---|
| 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 2112.14455#BB1Q (statement). In VDE5R8HBS1/e1, lemma 3.10
History
- 2026-10-27: add by m2/v0.3.5
NKXQCPMX6G NKXQCPMX6G
| URI | m2://inv/NKXQCPMX6G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 37-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.17139#G9Z3 (statement). In AQWX60Z563/e1, lemma 4.16
History
- 2026-10-28: add by m2/v0.4.2
General relativity NKXVFN0097
| URI | m2://inv/NKXVFN0097 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of differential geometry topics#H9WN, General relativity (topic)
History
- 2026-11-02: add by m2/dev
Properties NKXYK0AXR0
| URI | m2://inv/NKXYK0AXR0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pseudocomplement#E866, Properties (statement)
History
- 2026-11-02: add by m2/dev
NKY0WJD5A7 NKY0WJD5A7
| URI | m2://inv/NKY0WJD5A7 |
|---|---|
| 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 2411.05198#MB9T (statement). In NJWY6HPFHG/e1, corollary 2
History
- 2026-10-27: add by m2/v0.3.5
Global density of unbalanced flats NKY2FA6T85
| URI | m2://inv/NKY2FA6T85 |
|---|---|
| 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.20351#Q6Z2, Global density of unbalanced flats (statement)
History
- 2026-11-02: add by m2/v0.6.18
type, 2-sphere NKY4F83PPJ
| URI | m2://inv/NKY4F83PPJ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/5.4/type-2-sphere, type, 2-sphere (concept). In N54F33XE07, index, section 5.4
History
- 2026-11-01: add by m2/v0.6.13
Diagonal intersection NKYAH32NT7
| URI | m2://inv/NKYAH32NT7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Diagonal intersection, Diagonal intersection (definition). Also Wikidata Q2894292
History
- 2026-11-02: add by m2/dev
NKYJERDTM2 NKYJERDTM2
| URI | m2://inv/NKYJERDTM2 |
|---|---|
| Kind | definition |
| 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.24023#HCEM (definition)
History
- 2026-11-02: add by m2/v0.6.17
NKYJW7Z7YG NKYJW7Z7YG
| URI | m2://inv/NKYJW7Z7YG |
|---|---|
| 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.28024#CL00 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Lee-Ann C. Hayek NKYN04DVXW
| URI | m2://inv/NKYN04DVXW |
|---|---|
| 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#DARH, Lee-Ann C. Hayek (topic)
History
- 2026-11-02: add by m2/dev
Runcinated 24-cells NKZ7TYZ521
| URI | m2://inv/NKZ7TYZ521 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Runcinated 24-cells, Runcinated 24-cells (definition). Also Wikidata Q7379702
History
- 2026-11-02: add by m2/dev
Richardson's theorem NKZ80TEQJ9
| URI | m2://inv/NKZ80TEQJ9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of undecidable problems#3UP3, Richardson's theorem (statement)
History
- 2026-11-02: add by m2/dev
Gale–Shapley algorithm NKZ8MNBAE1
| URI | m2://inv/NKZ8MNBAE1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical proofs#R4YX, Gale–Shapley algorithm (definition)
History
- 2026-11-02: add by m2/dev
Valiron's theorem NKZAEG20CH
| URI | m2://inv/NKZAEG20CH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bloch's theorem (complex analysis)#WS9M, Valiron's theorem (statement)
History
- 2026-11-02: add by m2/dev
Impossibility of simultaneous optimality NKZAZC9ZFZ
| URI | m2://inv/NKZAZC9ZFZ |
|---|---|
| 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.35631#WLCR, Impossibility of simultaneous optimality (statement). In 9NCX0S6MTP/e1, theorem 5.1
History
- 2026-10-30: add by m2/v0.4.12
Finite-class rate; Hoeffding bound NKZFAG0GHX
| URI | m2://inv/NKZFAG0GHX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-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.20207#FBRW, Finite-class rate; Hoeffding bound (statement)
History
- 2026-11-02: add by m2/v0.6.18
Zaman, Arif NKZFYCX1N4
| URI | m2://inv/NKZFYCX1N4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#5DIN, Zaman, Arif (unknown)
History
- 2026-11-02: add by m2/dev
Identity Based Cryptography NKZPP2C8E2
| URI | m2://inv/NKZPP2C8E2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia SM9 (cryptography standard)#A7MB, Identity Based Cryptography (statement)
History
- 2026-11-02: add by m2/dev
NKZVE4NCDQ NKZVE4NCDQ
| URI | m2://inv/NKZVE4NCDQ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23279#ZRFY (definition)
History
- 2026-11-02: add by m2/v0.6.17
Mirror map NKZX8SGSAF
| URI | m2://inv/NKZX8SGSAF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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.10821#ITW8, Mirror map (statement). In RWNP4FEE65/e1, proposition 3.6
History
- 2026-10-28: add by m2/v0.4.3
semisimple Lie algebra NKZYYCGC8Z
| URI | m2://inv/NKZYYCGC8Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2366896, semisimple Lie algebra (unknown). Also EoM Lie_algebra,_semi-simple, MathWorld SemisimpleLieAlgebra, nLab semisimple Lie algebra
- wikipedia: Wikipedia Semisimple Lie algebra, Semisimple Lie algebra (definition). Also Wikidata Q2366896
History
- 2026-10-26: add by m2/dev
Theorem NKZZ9HTM5E
| URI | m2://inv/NKZZ9HTM5E |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sublinear function#N2J9, Theorem (statement)
History
- 2026-11-02: add by m2/dev