Inventory rows YK
The cards of the rows of the inventory whose ids start with YK. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
YK0367YBJD YK0367YBJD
| URI | m2://inv/YK0367YBJD |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1002.0879#SUEQ (example). In M0SQY5EZN5/e1, example 3.0.8
History
- 2026-10-27: add by m2/v0.3.5
Generalizations YK03AF0MS3
| URI | m2://inv/YK03AF0MS3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dining cryptographers problem#ACY4, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
YK0DXMQGYR YK0DXMQGYR
| URI | m2://inv/YK0DXMQGYR |
|---|---|
| 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.16225#TXMY (statement). In H3DJV9YQW1/e1, proposition 4.18
History
- 2026-10-28: add by m2/v0.4.2
Victor Pan YK0E0FD0FV
| URI | m2://inv/YK0E0FD0FV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#W76K, Victor Pan (topic)
History
- 2026-11-02: add by m2/dev
Applied mathematics YK0M4WJ0AZ
| URI | m2://inv/YK0M4WJ0AZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#KKSW, Applied mathematics (definition)
History
- 2026-11-02: add by m2/dev
YK0QDA37RQ YK0QDA37RQ
| URI | m2://inv/YK0QDA37RQ |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/many-valued-logic/syntax-and-semantics/sublogics.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 41.7
History
- 2026-11-01: add by m2/v0.6.13
YK0QHCP3HQ YK0QHCP3HQ
| URI | m2://inv/YK0QHCP3HQ |
|---|---|
| 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 0902.4887#KS89 (statement). In MYQ05J9R20/e1, proposition 2.8
History
- 2026-10-27: add by m2/v0.3.5
Matrix Chernoff bound YK0SNF5M1X
| URI | m2://inv/YK0SNF5M1X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Matrix Chernoff bound, Matrix Chernoff bound (definition). Also Wikidata Q17098742
History
- 2026-11-02: add by m2/dev
\textbf{Ward identity, boundary version YK0SVVKGFG
| URI | m2://inv/YK0SVVKGFG |
|---|---|
| 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.22170#VBPS, \textbf{Ward identity, boundary version (statement). In 74MMMHHPW5/e1, proposition 7.3
History
- 2026-10-27: add by m2/v0.4.0
Examples YK0VWM805E
| URI | m2://inv/YK0VWM805E |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Knot polynomial#R7A6, Examples (example)
History
- 2026-11-02: add by m2/dev
YK12G5EEZX YK12G5EEZX
| URI | m2://inv/YK12G5EEZX |
|---|---|
| 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.07530#YG1S (statement). In C7QZ0VPBC8/e1, lemma 6.1
History
- 2026-10-29: add by m2/v0.4.10
YK13GQC61K YK13GQC61K
| URI | m2://inv/YK13GQC61K |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weird number#0BOU (problem)
History
- 2026-11-02: add by m2/dev
Ampère–Maxwell law YK152F58QN
| URI | m2://inv/YK152F58QN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Maxwell's equations#VEQ6, Ampère–Maxwell law (statement)
History
- 2026-11-02: add by m2/dev
3-point-form of a hyperbola's equation YK1BJK98VT
| URI | m2://inv/YK1BJK98VT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hyperbola#9X9H, 3-point-form of a hyperbola's equation (statement)
History
- 2026-11-02: add by m2/dev
Global and local conservation laws YK1MZA259P
| URI | m2://inv/YK1MZA259P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conservation law#TPH8, Global and local conservation laws (statement)
History
- 2026-11-02: add by m2/dev
Mean squared error YK1T30D2P5
| URI | m2://inv/YK1T30D2P5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mean squared error, Mean squared error (definition). Also Wikidata Q1940696
History
- 2026-11-02: add by m2/dev
Law of cosines YK1TA4QDPK
| URI | m2://inv/YK1TA4QDPK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trigonometric functions#EIIQ, Law of cosines (statement)
History
- 2026-11-02: add by m2/dev
Weil divisor YK1Y5S0N1P
| URI | m2://inv/YK1Y5S0N1P |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q91783803, Weil divisor (concept). Also nLab Weil divisor
History
- 2026-10-26: add by m2/dev
YK2254TVSS YK2254TVSS
| URI | m2://inv/YK2254TVSS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37201#ZMFL (statement). In HJEK865J7W/e1, theorem 1.1
History
- 2026-10-30: add by m2/v0.4.12
Von Neumann entropy YK2DPM2QAF
| URI | m2://inv/YK2DPM2QAF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Von Neumann entropy, Von Neumann entropy (definition). Also Wikidata Q6961323
History
- 2026-11-02: add by m2/dev
Continuity in the field YK2FRC80JB
| URI | m2://inv/YK2FRC80JB |
|---|---|
| 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#E5R5, Continuity in the field (statement). In 2Y47E704Z9/e1, lemma 6.4
History
- 2026-10-29: add by m2/v0.4.10
YK2H097NTT YK2H097NTT
| URI | m2://inv/YK2H097NTT |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12054#PAWO (definition). In 1A01NFHBGA/e1, definition 1.8
History
- 2026-10-28: add by m2/v0.4.3
YK2M53TRB8 YK2M53TRB8
| URI | m2://inv/YK2M53TRB8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-multivar-int.tex#defn-2 (definition). In E59CDZA4DP, defn, section 5.1.2
History
- 2026-11-01: add by m2/v0.6.13
YK2MWNPW7K YK2MWNPW7K
| URI | m2://inv/YK2MWNPW7K |
|---|---|
| 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#XRQY (statement). In GXHKRV5BPY/e1, lemma 5.15
History
- 2026-10-29: add by m2/v0.4.10
Example YK2NJ10BG5
| URI | m2://inv/YK2NJ10BG5 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Heaviside cover-up method#NZYM, Example (example)
History
- 2026-11-02: add by m2/dev
Alexander Friedmann YK2T6NQ4NK
| URI | m2://inv/YK2T6NQ4NK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of contributors to general relativity#HWMP, Alexander Friedmann (topic)
History
- 2026-11-02: add by m2/dev
Fundamental theorem of algebra YK2VZ5W5XM
| URI | m2://inv/YK2VZ5W5XM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-approximate.tex#thm-1, Fundamental theorem of algebra (statement). In E59CDZA4DP, thm, section 1.5
History
- 2026-11-01: add by m2/v0.6.13
YK37TE8E5R YK37TE8E5R
| URI | m2://inv/YK37TE8E5R |
|---|---|
| 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 2206.11809#E3FC (statement). In YQXYSNW78V/e1, proposition 26
History
- 2026-10-27: add by m2/v0.3.5
Application YK37TY652V
| URI | m2://inv/YK37TY652V |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Network-based diffusion analysis#BV0U, Application (example)
History
- 2026-11-02: add by m2/dev
YK3BS9SRR7 YK3BS9SRR7
| URI | m2://inv/YK3BS9SRR7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2302.04566#W1CR (statement). In 80S2NP05HJ/e1, theorem 4.17
History
- 2026-10-27: add by m2/v0.4.0
Applications YK3FAZ991B
| URI | m2://inv/YK3FAZ991B |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia CHSH inequality#57PG, Applications (example)
History
- 2026-11-02: add by m2/dev
Historian's fallacy YK3HDMYJJQ
| URI | m2://inv/YK3HDMYJJQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fallacies#1JNK, Historian's fallacy (definition)
History
- 2026-11-02: add by m2/dev
YK3MZV5P9A YK3MZV5P9A
| URI | m2://inv/YK3MZV5P9A |
|---|---|
| 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.32903#QW94 (statement). In S8NB83KQX3/e1, theorem 6
History
- 2026-10-31: add by m2/v0.5.6
Chebyshev Expansion of the Envelope YK3PCVW6SF
| URI | m2://inv/YK3PCVW6SF |
|---|---|
| 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.13222#AJM3, Chebyshev Expansion of the Envelope (statement). In Z6WA2R0J50/e1, lemma 6.1
History
- 2026-10-28: add by m2/v0.4.2
Singular copula limit YK3W6RVDTH
| URI | m2://inv/YK3W6RVDTH |
|---|---|
| Kind | example |
| 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.14318#2LP1, Singular copula limit (example). In HA4SZZJ831/e1, example 4.4
History
- 2026-10-28: add by m2/v0.4.2
Craig interpolation lemma YK3X7EVYX1
| URI | m2://inv/YK3X7EVYX1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of lemmas#W8OP, Craig interpolation lemma (definition)
History
- 2026-11-02: add by m2/dev
YK3XS5GG5T YK3XS5GG5T
| URI | m2://inv/YK3XS5GG5T |
|---|---|
| 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.17677#6HT5 (statement). In 5E9G06XJKC/e1, lemma G.34
History
- 2026-10-28: add by m2/v0.4.2
YK3XT8WCBN YK3XT8WCBN
| URI | m2://inv/YK3XT8WCBN |
|---|---|
| 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.23538#XN9Q (statement)
History
- 2026-11-02: add by m2/v0.6.17
holomorphic function YK42V4DXDT
| URI | m2://inv/YK42V4DXDT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Holomorphic function 0DG0Z72CQD |
Mentions
- wikidata: Wikidata Q207476, holomorphic function (unknown). Also EoM Analytic_function, MathWorld HolomorphicFunction, nLab holomorphic function
- wikipedia: Wikipedia Holomorphic function, Holomorphic function (definition). Also Wikidata Q207476
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
YK46KWH0B6 YK46KWH0B6
| URI | m2://inv/YK46KWH0B6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1006.3331#B5RG (statement). In AY6WYB9RR3/e1, proposition 3.2
History
- 2026-10-27: add by m2/v0.3.5
Prasad Raghavendra YK4AV7AP6A
| URI | m2://inv/YK4AV7AP6A |
|---|---|
| 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#TJPI, Prasad Raghavendra (topic)
History
- 2026-11-02: add by m2/dev
Childhood amnesia YK4EQK2BXE
| URI | m2://inv/YK4EQK2BXE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cognitive biases#EABS, Childhood amnesia (unknown)
History
- 2026-11-02: add by m2/dev
YK4FEKEAVD YK4FEKEAVD
| URI | m2://inv/YK4FEKEAVD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37520#QPGG (statement). In BDN507RN7J/e1, theorem 3.5.2
History
- 2026-10-30: add by m2/v0.4.12
YK4KR5D42X YK4KR5D42X
| URI | m2://inv/YK4KR5D42X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-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 2601.13782#HDSJ (statement). In 12RSHWCNMX/e1, lemma 6
History
- 2026-10-27: add by m2/v0.3.5
YK4TDJH7ZS YK4TDJH7ZS
| URI | m2://inv/YK4TDJH7ZS |
|---|---|
| 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.00312#BN51 (statement). In 41NFABHFXH/e1, proposition 7.3
History
- 2026-10-30: add by m2/v0.4.12
YK4VZB7Y79 YK4VZB7Y79
| URI | m2://inv/YK4VZB7Y79 |
|---|---|
| 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.19845#YWYS (statement). In A8Y7B1MD91/e1, proposition B.2
History
- 2026-10-28: add by m2/v0.4.2
Marijka Batterham YK4YR0CZHZ
| URI | m2://inv/YK4YR0CZHZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Marijka Batterham, Marijka Batterham (topic). Also Wikidata Q43237481
History
- 2026-11-02: add by m2/dev
582 (number) YK57RDXZAK
| URI | m2://inv/YK57RDXZAK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 500 (number)#7XRD, 582 (number) (unknown)
History
- 2026-11-02: add by m2/dev
YK5CXFV1V1 YK5CXFV1V1
| URI | m2://inv/YK5CXFV1V1 |
|---|---|
| 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.07790#WUEA (statement). In A5YJDDM0NX/e1, lemma A.13
History
- 2026-10-29: add by m2/v0.4.10
YK5ES2XYJ5 YK5ES2XYJ5
| URI | m2://inv/YK5ES2XYJ5 |
|---|---|
| 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#I0D4 (statement). In V7SN19J84T/e1, lemma 6.4
History
- 2026-10-28: add by m2/v0.4.2
Convolution preserves circular symmetry YK5KPDW3C5
| URI | m2://inv/YK5KPDW3C5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 26-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27843#5KAP, Convolution preserves circular symmetry (statement)
History
- 2026-11-01: add by m2/v0.6.15
YK5MBH03YB YK5MBH03YB
| URI | m2://inv/YK5MBH03YB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15593#N5OL (statement). In PREJREM4BB/e1, corollary 3.9
History
- 2026-10-28: add by m2/v0.4.2
Size homotopy group YK5PYGC1BM
| URI | m2://inv/YK5PYGC1BM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Size homotopy group, Size homotopy group (definition). Also Wikidata Q7533425
History
- 2026-11-02: add by m2/dev
YK5XCPADEY YK5XCPADEY
| URI | m2://inv/YK5XCPADEY |
|---|---|
| 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 2502.08738#FUHT (example). In 9GMTVSTAVN/e1, example 3
History
- 2026-10-27: add by m2/v0.3.5
Leonard Gillman YK63NEGWFD
| URI | m2://inv/YK63NEGWFD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Leonard Gillman, Leonard Gillman (topic). Also Wikidata Q6525314
History
- 2026-11-02: add by m2/dev
Local convergence YK67QFK1YT
| URI | m2://inv/YK67QFK1YT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Local convergence, Local convergence (definition). Also Wikidata Q6664310
History
- 2026-11-02: add by m2/dev
Magnetic monopole problem YK6V1RHSXR
| URI | m2://inv/YK6V1RHSXR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cosmic inflation#PPUN, Magnetic monopole problem (unknown)
History
- 2026-11-02: add by m2/dev
Properties YK6VRCDKC7
| URI | m2://inv/YK6VRCDKC7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Regular icosahedron#IO2D, Properties (statement)
History
- 2026-11-02: add by m2/dev
pentagon YK71A2YM0T
| URI | m2://inv/YK71A2YM0T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q127840, pentagon (unknown). Also MathWorld Pentagon
- wikipedia: Wikipedia Pentagon, Pentagon (definition). Also Wikidata Q127840
History
- 2026-10-26: add by m2/dev
YK72NR1HH7 YK72NR1HH7
| URI | m2://inv/YK72NR1HH7 |
|---|---|
| Kind | definition |
| 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 2201.10697#XWJT (definition). In WN2Z20ZV49/e1, definition 3.2
History
- 2026-10-27: add by m2/v0.3.6
YK73ETZYN1 YK73ETZYN1
| URI | m2://inv/YK73ETZYN1 |
|---|---|
| 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 2609.23528#1WEF (statement)
History
- 2026-11-02: add by m2/v0.6.17
Higher conductors: trivial critical sums YK79D1J20Q
| URI | m2://inv/YK79D1J20Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30301#E2XA, Higher conductors: trivial critical sums (statement). In 7NS75J7HAM/e1, proposition 9.41
History
- 2026-10-31: add by m2/v0.5.6
Definition YK7P229XXW
| URI | m2://inv/YK7P229XXW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Computable set#U5KS, Definition (definition)
History
- 2026-11-02: add by m2/dev
YK7SB6D5DM YK7SB6D5DM
| URI | m2://inv/YK7SB6D5DM |
|---|---|
| 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.05499#EIB9 (statement). In CQMD3382D6/e1, corollary 5
History
- 2026-10-29: add by m2/v0.4.10
YK7WGAGJ32 YK7WGAGJ32
| URI | m2://inv/YK7WGAGJ32 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34081#V8BH (statement). In 3RVGEKGX46/e1, lemma 5.7
History
- 2026-10-30: add by m2/v0.4.12
Valentin Goranko YK7WJ65ZHF
| URI | m2://inv/YK7WJ65ZHF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#2KTJ, Valentin Goranko (unknown)
History
- 2026-11-02: add by m2/dev
Unavoidable pattern YK7X2CGWQ9
| URI | m2://inv/YK7X2CGWQ9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Unavoidable pattern, Unavoidable pattern (definition). Also Wikidata Q7882337
History
- 2026-11-02: add by m2/dev
YK7XC37199 YK7XC37199
| URI | m2://inv/YK7XC37199 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 49-XX, 62-XX, 65-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35574#A2GV (statement). In 3Q70DMD7Z7/e1, proposition 5.2
History
- 2026-10-30: add by m2/v0.4.12
YK87MNNK2S YK87MNNK2S
| URI | m2://inv/YK87MNNK2S |
|---|---|
| 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.12908#QA9M (statement). In TNC658NVMQ/e1, theorem 10.3
History
- 2026-10-28: add by m2/v0.4.2
topological, space YK895JZK25
| URI | m2://inv/YK895JZK25 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/7/topological-space, topological, space (concept). In N54F33XE07, index, section 7
History
- 2026-11-01: add by m2/v0.6.13
Sign determination from the bounds YK8AGPHP30
| URI | m2://inv/YK8AGPHP30 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29524#T5IM, Sign determination from the bounds (statement)
History
- 2026-11-01: add by m2/v0.6.15
Horvitz–Thompson estimator YK8B14YWQ7
| URI | m2://inv/YK8B14YWQ7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#K32W, Horvitz–Thompson estimator (definition)
History
- 2026-11-02: add by m2/dev
Goncharov conjecture YK8DQMMPAX
| URI | m2://inv/YK8DQMMPAX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Goncharov conjecture, Goncharov conjecture (statement). Also Wikidata Q5581412
History
- 2026-11-02: add by m2/dev
Co-countable $\sigma$-algebra YK8E5SBASW
| URI | m2://inv/YK8E5SBASW |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 46-XX, 49-XX, 60-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2606.21391#NMJY, Co-countable $\sigma$-algebra (example). In J9C7YMKJ33/e1, example 4.3
History
- 2026-10-27: add by m2/v0.3.5
Energy drift YK8J74827W
| URI | m2://inv/YK8J74827W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Energy drift, Energy drift (definition). Also Wikidata Q5377040
History
- 2026-11-02: add by m2/dev
Society for Industrial and Applied Mathematics YK8JKN6R62
| URI | m2://inv/YK8JKN6R62 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#ORF0, Society for Industrial and Applied Mathematics (topic)
History
- 2026-11-02: add by m2/dev
YK8JNK674N YK8JNK674N
| URI | m2://inv/YK8JNK674N |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 46-XX, 47-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1711.00219#4EXT (definition). In 7V3HG30ZGW/e1, definition 5.12
History
- 2026-10-27: add by m2/v0.4.0
Quasi-continuous function YK8NB6W078
| URI | m2://inv/YK8NB6W078 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quasi-continuous function, Quasi-continuous function (definition). Also Wikidata Q7269444
History
- 2026-11-02: add by m2/dev
YK8PSH6VJT YK8PSH6VJT
| URI | m2://inv/YK8PSH6VJT |
|---|---|
| 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 2509.21444#2IN9 (statement). In CTVPA2FQT1/e1, lemma 8.3.4
History
- 2026-10-27: add by m2/v0.4.0
Schnyder's theorem YK8VFRS2R9
| URI | m2://inv/YK8VFRS2R9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#IV0B, Schnyder's theorem (statement)
History
- 2026-11-02: add by m2/dev
YK8VHN6XE8 YK8VHN6XE8
| URI | m2://inv/YK8VHN6XE8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.22076#H7L0 (statement). In TTJB4HBG5R/e1, theorem 2.1
History
- 2026-10-27: add by m2/v0.4.0
YK8XZ4X9X1 YK8XZ4X9X1
| URI | m2://inv/YK8XZ4X9X1 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-laplace.tex#lt:rocketex (example). In E9HS8K3A52, example, section 7.2.3
History
- 2026-11-01: add by m2/v0.6.13
atomic formula YK8ZH35QD0
| URI | m2://inv/YK8ZH35QD0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2328174, atomic formula (unknown). Also MathWorld AtomicStatement
- wikipedia: Wikipedia Atomic formula, Atomic formula (statement). Also Wikidata Q2328174
History
- 2026-10-26: add by m2/dev
Eva L. Mueller YK9D1CXMWV
| URI | m2://inv/YK9D1CXMWV |
|---|---|
| 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#F48Q, Eva L. Mueller (unknown)
History
- 2026-11-02: add by m2/dev
YK9D2TQJJD YK9D2TQJJD
| URI | m2://inv/YK9D2TQJJD |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09900#DRFE (definition). In ATSYBWEMMP/e1, definition 7.2
History
- 2026-10-29: add by m2/v0.4.10
Jacob David Tamarkin YK9DV7REXS
| URI | m2://inv/YK9DV7REXS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#FSBT, Jacob David Tamarkin (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#5DL8, Jacob David Tamarkin (topic)
History
- 2026-11-02: add by m2/dev
YK9FSANG1N YK9FSANG1N
| URI | m2://inv/YK9FSANG1N |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-contfunc.tex#example-3 (example). In E59CDZA4DP, example, section 2.1.3
History
- 2026-11-01: add by m2/v0.6.13
YK9HX77RF7 YK9HX77RF7
| URI | m2://inv/YK9HX77RF7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21929#K589 (statement). In 2PP4XRVS0J/e1, proposition 9.2
History
- 2026-10-27: add by m2/v0.4.2
Isotropic measure YK9JXG07FW
| URI | m2://inv/YK9JXG07FW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Isotropic measure, Isotropic measure (definition). Also Wikidata Q28456946
History
- 2026-11-02: add by m2/dev
499 (number) YK9MNHDK3V
| URI | m2://inv/YK9MNHDK3V |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 400 (number)#I697, 499 (number) (unknown)
History
- 2026-11-02: add by m2/dev
Special case YK9R47B5FY
| URI | m2://inv/YK9R47B5FY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Special case, Special case (definition). Also Wikidata Q2890061
History
- 2026-11-02: add by m2/dev
Properties YK9SA7AH9K
| URI | m2://inv/YK9SA7AH9K |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quotient of an abelian category#93NI, Properties (statement)
History
- 2026-11-02: add by m2/dev
YK9TAW9TG7 YK9TAW9TG7
| URI | m2://inv/YK9TAW9TG7 |
|---|---|
| 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.10233#C646 (statement). In QR9WE79ERQ/e1, theorem 1.20
History
- 2026-10-29: add by m2/v0.4.10
Cavity interpolation model YK9TB7X4PV
| URI | m2://inv/YK9TB7X4PV |
|---|---|
| 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 2610.09882#TSDL, Cavity interpolation model (definition). In 7XV6T4N79V/e1, definition 4.1
History
- 2026-10-29: add by m2/v0.4.10
James O. Berger YK9W5MBKC3
| URI | m2://inv/YK9W5MBKC3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia James O. Berger, James O. Berger (topic). Also Wikidata Q6129705
History
- 2026-11-02: add by m2/dev
PSPACE-Hard YKA0FEFCQQ
| URI | m2://inv/YKA0FEFCQQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia PSPACE#DRK4, PSPACE-Hard (unknown)
History
- 2026-11-02: add by m2/dev
Applications YKA72HCTAT
| URI | m2://inv/YKA72HCTAT |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Braided monoidal category#IBX0, Applications (example)
History
- 2026-11-02: add by m2/dev
SI unit YKAAS1H7P7
| URI | m2://inv/YKAAS1H7P7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q61610698, SI unit (definition). Also ProofWiki Definition:SI_Units
History
- 2026-10-26: add by m2/dev
YKAGTGHPGD YKAGTGHPGD
| URI | m2://inv/YKAGTGHPGD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12513#BY8X (statement). In VM9V8SXEA2/e1, lemma 15
History
- 2026-10-28: add by m2/v0.4.2
YKAM858WXC YKAM858WXC
| URI | m2://inv/YKAM858WXC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0406514#SQKS (statement). In CY1FE8W1ZW/e1, lemma 0.56
History
- 2026-10-27: add by m2/v0.4.0
YKAPMTXMGK YKAPMTXMGK
| URI | m2://inv/YKAPMTXMGK |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03497#M1YQ (example). In RRNHC0CAC9/e1, example
History
- 2026-10-29: add by m2/v0.4.12
Slicing a fixed Radon measure YKAXCY83CY
| URI | m2://inv/YKAXCY83CY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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.20735#68UE, Slicing a fixed Radon measure (statement)
History
- 2026-11-02: add by m2/v0.6.18
Special case YKB3DWYQ53
| URI | m2://inv/YKB3DWYQ53 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of uniform polyhedra#A3OD, Special case (statement)
History
- 2026-11-02: add by m2/dev
Applications YKB4HVD16H
| URI | m2://inv/YKB4HVD16H |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Directional component analysis#KZNV, Applications (example)
History
- 2026-11-02: add by m2/dev
Theorem YKB5XMTC8N
| URI | m2://inv/YKB5XMTC8N |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Self-adjoint operator#5JIG, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Giusto Bellavitis YKB6C3E3QB
| URI | m2://inv/YKB6C3E3QB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#D92U, Giusto Bellavitis (topic)
History
- 2026-11-02: add by m2/dev
YKBHDT4SQ5 YKBHDT4SQ5
| URI | m2://inv/YKBHDT4SQ5 |
|---|---|
| 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.17817#0TH8 (definition). In M8TSJ24RC2/e1, definition 2.1
History
- 2026-10-28: add by m2/v0.4.2
Robert Tijdeman YKBJ2ZCEE3
| URI | m2://inv/YKBJ2ZCEE3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Robert Tijdeman, Robert Tijdeman (topic). Also Wikidata Q450858
History
- 2026-11-02: add by m2/dev
Polar factorization theorem YKBQD1W6BK
| URI | m2://inv/YKBQD1W6BK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polar factorization theorem, Polar factorization theorem (statement). Also Wikidata Q110362894
History
- 2026-11-02: add by m2/dev
Implementation YKBT42PXAR
| URI | m2://inv/YKBT42PXAR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Automatic differentiation#VYHR, Implementation (definition)
History
- 2026-11-02: add by m2/dev
YKBV72ADWN YKBV72ADWN
| URI | m2://inv/YKBV72ADWN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08193#EH7K (statement). In 8XAKGH8S2D/e1, lemma 3.14
History
- 2026-10-29: add by m2/v0.4.10
Auslander–Buchsbaum formula YKCGVXQM0H
| URI | m2://inv/YKCGVXQM0H |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Auslander–Buchsbaum formula, Auslander–Buchsbaum formula (statement). Also Wikidata Q4822773
History
- 2026-11-02: add by m2/dev
MDC-2 YKCHSPKVC4
| URI | m2://inv/YKCHSPKVC4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic coding theory topics#PZM1, MDC-2 (definition)
History
- 2026-11-02: add by m2/dev
YKCQCTP0RH YKCQCTP0RH
| URI | m2://inv/YKCQCTP0RH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2208.07784#B0NV (statement). In X0GJCD9768/e1, theorem 4.1
History
- 2026-10-27: add by m2/v0.4.0
Variants YKCTPH38SZ
| URI | m2://inv/YKCTPH38SZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Monty Hall problem#7W5R, Variants (statement)
History
- 2026-11-02: add by m2/dev
Objective response rate YKCW4GY7KS
| URI | m2://inv/YKCW4GY7KS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Clinical endpoint#NJ6H, Objective response rate (unknown)
History
- 2026-11-02: add by m2/dev
Holomorphic function YKD3S890QQ
| URI | m2://inv/YKD3S890QQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of complex analysis topics#6UE9, Holomorphic function (definition)
History
- 2026-11-02: add by m2/dev
Alexander Gammerman YKD3XYX6NE
| URI | m2://inv/YKD3XYX6NE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alexander Gammerman, Alexander Gammerman (topic). Also Wikidata Q59558347
History
- 2026-11-02: add by m2/dev
YKDC9M8HE7 YKDC9M8HE7
| URI | m2://inv/YKDC9M8HE7 |
|---|---|
| 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 2301.04933#UCVE (statement). In Q70CTMCJTP/e1, theorem 2.1
History
- 2026-10-27: add by m2/v0.3.5
Spline (mathematics) YKDD1AP7PW
| URI | m2://inv/YKDD1AP7PW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polynomial topics#65LH, Spline (mathematics) (definition)
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#JO32, Spline (mathematics) (definition)
History
- 2026-11-02: add by m2/dev
Irene Fonseca YKDJX0YF5K
| URI | m2://inv/YKDJX0YF5K |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Irene Fonseca, Irene Fonseca (topic). Also Wikidata Q11100324
History
- 2026-11-02: add by m2/dev
Schnirelmann's theorems YKDNN2WB3A
| URI | m2://inv/YKDNN2WB3A |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schnirelmann density#2QU8, Schnirelmann's theorems (statement)
History
- 2026-11-02: add by m2/dev
YKDSVZZMMB YKDSVZZMMB
| URI | m2://inv/YKDSVZZMMB |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28374#UNGQ (definition)
History
- 2026-11-01: add by m2/v0.6.15
Theorem (Fréchet-Shohat) YKDT8830E2
| URI | m2://inv/YKDT8830E2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Moment problem#LO9F, Theorem (Fréchet-Shohat) (statement)
History
- 2026-11-02: add by m2/dev
YKEJZF9JSX YKEJZF9JSX
| URI | m2://inv/YKEJZF9JSX |
|---|---|
| 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 2403.15043#ATNP (statement). In QDE21RT0T2/e1, lemma 4.7
History
- 2026-10-27: add by m2/v0.3.5
YKEPW2D2PT YKEPW2D2PT
| URI | m2://inv/YKEPW2D2PT |
|---|---|
| Kind | example |
| 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.23605#P56V (example)
History
- 2026-11-02: add by m2/v0.6.17
Connection with the Borel conjecture YKERJBQ7JH
| URI | m2://inv/YKERJBQ7JH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Novikov conjecture#3VZO, Connection with the Borel conjecture (statement)
History
- 2026-11-02: add by m2/dev
identity matrix YKF2GFKYC3
| URI | m2://inv/YKF2GFKYC3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Identity matrix 06DW9BAWB1 |
Mentions
- wikidata: Wikidata Q193794, identity matrix (unknown). Also MathWorld IdentityMatrix, nLab identity matrix
- wikipedia: Wikipedia Identity matrix, Identity matrix (statement). Also Wikidata Q193794
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Absolute bolometric magnitude YKF932N3FN
| URI | m2://inv/YKF932N3FN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Absolute magnitude#5BEL, Absolute bolometric magnitude (unknown)
History
- 2026-11-02: add by m2/dev
Belyi's theorem YKF96PBQB4
| URI | m2://inv/YKF96PBQB4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 14-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q4884950, Belyi's theorem (statement). Also Wikidata Q4884950
- thousand_plus: thousand_plus Q4884950, Belyi's theorem (statement). Also Wikidata Q4884950, Wikipedia Belyi's theorem
- wikipedia: Wikipedia Belyi's theorem, Belyi's theorem (statement). Also Wikidata Q4884950
History
- 2026-10-26: add by m2/dev
Kac, Mark YKFA2MVB62
| URI | m2://inv/YKFA2MVB62 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#QS4F, Kac, Mark (topic)
History
- 2026-11-02: add by m2/dev
The Chernoff--Stein exponent is the type-II exponent of an i.i.d.\ product YKFFFD6E3R
| URI | m2://inv/YKFFFD6E3R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-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.27765#CHBG, The Chernoff--Stein exponent is the type-II exponent of an i.i.d.\ product (statement)
History
- 2026-11-01: add by m2/v0.6.15
Examples YKFH6R8BNQ
| URI | m2://inv/YKFH6R8BNQ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Size–frequency distribution#5BF3, Examples (example)
History
- 2026-11-02: add by m2/dev
Riemann sum YKFMZJ57YZ
| URI | m2://inv/YKFMZJ57YZ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus index/4.2.3/riemann-sum, Riemann sum (concept). In 907G4C4EJ1, index, section 4.2.3
History
- 2026-11-01: add by m2/v0.6.13
YKFN0Z3VRC YKFN0Z3VRC
| URI | m2://inv/YKFN0Z3VRC |
|---|---|
| Kind | definition |
| 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.17519#VX14 (definition). In H2DNTQ5MKV/e1, definition 3.2
History
- 2026-10-28: add by m2/v0.4.2
Miscellaneous – the triple cotangent identity YKFP2PX79E
| URI | m2://inv/YKFP2PX79E |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Proofs of trigonometric identities#IBAN, Miscellaneous – the triple cotangent identity (statement)
History
- 2026-11-02: add by m2/dev
Extended negative binomial distribution YKFRJ7V0ZR
| URI | m2://inv/YKFRJ7V0ZR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Extended negative binomial distribution, Extended negative binomial distribution (definition). Also Wikidata Q3258265
History
- 2026-11-02: add by m2/dev
YKG0A8RDJG YKG0A8RDJG
| URI | m2://inv/YKG0A8RDJG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX, 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.30033#DYRF (statement)
History
- 2026-11-01: add by m2/v0.6.15
Cesàro mean YKG2E23CNJ
| URI | m2://inv/YKG2E23CNJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of real analysis topics#18BZ, Cesàro mean (definition)
History
- 2026-11-02: add by m2/dev
limsup YKG69FWG4Q
| URI | m2://inv/YKG69FWG4Q |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/10.3.4/limsup, limsup (concept). In E59CDZA4DP, index, section 10.3.4
History
- 2026-11-01: add by m2/v0.6.13
Weil reciprocity law YKG78MR8K4
| URI | m2://inv/YKG78MR8K4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7980189, Weil reciprocity law (statement). Also nLab Weil reciprocity law
- wikipedia: Wikipedia Weil reciprocity law, Weil reciprocity law (statement). Also Wikidata Q7980189
History
- 2026-10-26: add by m2/dev
YKGG78ZGHQ YKGG78ZGHQ
| URI | m2://inv/YKGG78ZGHQ |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 16-XX, 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 2610.21507#Q8W5 (example). In 879ZDHVK7N/e1, example 4.14
History
- 2026-10-27: add by m2/v0.4.2
YKGGDFQZPV YKGGDFQZPV
| URI | m2://inv/YKGGDFQZPV |
|---|---|
| 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.28848#KU44 (statement)
History
- 2026-11-01: add by m2/v0.6.15
YKGP6GA84S YKGP6GA84S
| URI | m2://inv/YKGP6GA84S |
|---|---|
| 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.09882#XMVA (statement). In 7XV6T4N79V/e1, lemma C.7
History
- 2026-10-29: add by m2/v0.4.10
YKGP7RP1NT YKGP7RP1NT
| URI | m2://inv/YKGP7RP1NT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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.27751#7L77 (statement)
History
- 2026-11-01: add by m2/v0.6.15
YKH693F1ZM YKH693F1ZM
| URI | m2://inv/YKH693F1ZM |
|---|---|
| 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.25431#XY9R (definition)
History
- 2026-11-01: add by m2/v0.6.15
YKH7J07A17 YKH7J07A17
| URI | m2://inv/YKH7J07A17 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2009.11127#LFNJ (statement). In QEFS0Y021A/e1, proposition 8.1
History
- 2026-10-27: add by m2/v0.3.5
Brunnian braid YKH84VKBEM
| URI | m2://inv/YKH84VKBEM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Brunnian link#IIIV, Brunnian braid (unknown)
History
- 2026-11-02: add by m2/dev
YKHADD7N6D YKHADD7N6D
| URI | m2://inv/YKHADD7N6D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22288#I3QW (statement). In X38P26DK6S/e1, proposition 3.5
History
- 2026-10-27: add by m2/v0.4.0
YKHB33CQ9R YKHB33CQ9R
| URI | m2://inv/YKHB33CQ9R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-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.23972#2CKO (statement)
History
- 2026-11-02: add by m2/v0.6.17
YKHGDNKTK6 YKHGDNKTK6
| URI | m2://inv/YKHGDNKTK6 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/frame-definability/definability.tex#proof-2 (proof). In PKGMM3P5QY, proof, section 52.5
History
- 2026-11-01: add by m2/v0.6.13
YKHK4M785Y YKHK4M785Y
| URI | m2://inv/YKHK4M785Y |
|---|---|
| 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 0803.0074#V11X (statement). In NWJEN5GWFV/e1, lemma 4.1
History
- 2026-10-27: add by m2/v0.3.5
Newman-Znám theorem YKHMA2V01A
| URI | m2://inv/YKHMA2V01A |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Covering system#VI8R, Newman-Znám theorem (statement)
History
- 2026-11-02: add by m2/dev
YKHY0M52ZG YKHY0M52ZG
| URI | m2://inv/YKHY0M52ZG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 53-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25289#1QEX (statement)
History
- 2026-11-01: add by m2/v0.6.15
\textbf{Intrinsic operator identifies the density up to almost everywhere equality (for fixed bandwidth and $C^2$ Riemannian metric YKJ1ES8Y15
| URI | m2://inv/YKJ1ES8Y15 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-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.17032#Z7M2, \textbf{Intrinsic operator identifies the density up to almost everywhere equality (for fixed bandwidth and $C^2$ Riemannian metric (statement). In MXPK9A2HK2/e1, theorem 3.2
History
- 2026-10-28: add by m2/v0.4.2
YKJ22WK07M YKJ22WK07M
| URI | m2://inv/YKJ22WK07M |
|---|---|
| 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.35030#BQEV (statement). In DPT4P2BTEW/e1, proposition 8.2
History
- 2026-10-30: add by m2/v0.4.12
Local linear rate without a supplied modulus YKJ7380Z79
| URI | m2://inv/YKJ7380Z79 |
|---|---|
| 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.06557#PQZ9, Local linear rate without a supplied modulus (statement). In VV5CH6Y31D/e1, theorem 3.8
History
- 2026-10-29: add by m2/v0.4.10
Definition of cue validity YKJ89W9E4D
| URI | m2://inv/YKJ89W9E4D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cue validity#YV7V, Definition of cue validity (definition)
History
- 2026-11-02: add by m2/dev
Extended real number line YKJAXJSKVQ
| URI | m2://inv/YKJAXJSKVQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of general topology topics#TI6G, Extended real number line (definition)
- wikipedia: Wikipedia List of topologies#CGCF, Extended real number line (definition)
- wikipedia: Wikipedia List of examples in general topology#9F9Y, Extended real number line (definition)
History
- 2026-11-02: add by m2/dev
Raikov conjecture YKJB19ZYGQ
| URI | m2://inv/YKJB19ZYGQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quasi-abelian category#92UD, Raikov conjecture (unknown)
History
- 2026-11-02: add by m2/dev
YKJDDBDXRH YKJDDBDXRH
| URI | m2://inv/YKJDDBDXRH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24545#M04K (statement)
History
- 2026-11-01: add by m2/v0.6.15
K. S. Chandrasekharan YKJECQT4XT
| URI | m2://inv/YKJECQT4XT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia K. S. Chandrasekharan, K. S. Chandrasekharan (topic). Also Wikidata Q1718182
History
- 2026-11-02: add by m2/dev
Distribution formulas YKJEYG9AER
| URI | m2://inv/YKJEYG9AER |
|---|---|
| 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.26984#RATK, Distribution formulas (statement)
History
- 2026-11-01: add by m2/v0.6.15
Inference YKJKXMN0D4
| URI | m2://inv/YKJKXMN0D4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inference, Inference (definition). Also Wikidata Q408386
History
- 2026-11-02: add by m2/dev
YKJM0VM653 YKJM0VM653
| URI | m2://inv/YKJM0VM653 |
|---|---|
| Kind | example |
| 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 2312.06581#3XME (example). In WXJ2V3HA2R/e1, example D.13
History
- 2026-10-27: add by m2/v0.3.5
YKJRFB6N5Z YKJRFB6N5Z
| URI | m2://inv/YKJRFB6N5Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16475#QW7E (statement). In FM9SKN560Q/e1, lemma 3.6
History
- 2026-10-28: add by m2/v0.4.2
YKJY6KMNAW YKJY6KMNAW
| URI | m2://inv/YKJY6KMNAW |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18016#RFJZ (example). In V5PVKDKGGG/e1, example 2.9
History
- 2026-10-28: add by m2/v0.4.2
YKJYA2408Z YKJYA2408Z
| URI | m2://inv/YKJYA2408Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40207#FLKB (statement). In JXTG8KP95P/e1, lemma A.1
History
- 2026-10-30: add by m2/v0.4.12
Relativity of simultaneity YKK1DKGDP0
| URI | m2://inv/YKK1DKGDP0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Relativity of simultaneity, Relativity of simultaneity (definition). Also Wikidata Q837505
History
- 2026-11-02: add by m2/dev
YKK1EA5BTR YKK1EA5BTR
| URI | m2://inv/YKK1EA5BTR |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_recurrence_exercises.ptx#exercise-14 (exercise). In QKM9DD2H56, exercise, section 9
History
- 2026-11-01: add by m2/v0.6.13
Model predictive control YKK594A7BX
| URI | m2://inv/YKK594A7BX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Model predictive control, Model predictive control (definition). Also Wikidata Q1782962
History
- 2026-11-02: add by m2/dev
Grand antiprism YKKCPZE4BV
| URI | m2://inv/YKKCPZE4BV |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Grand antiprism, Grand antiprism (object). Also Wikidata Q3890147
History
- 2026-11-02: add by m2/dev
Fundamental theorem of exterior calculus YKKQ1F4VV7
| URI | m2://inv/YKKQ1F4VV7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems called fundamental#XO00, Fundamental theorem of exterior calculus (statement)
History
- 2026-11-02: add by m2/dev
Neumann derivative estimate YKKR87R8VA
| URI | m2://inv/YKKR87R8VA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32829#SVSD, Neumann derivative estimate (statement). In RYWAX33Z51/e1, lemma 4.13
History
- 2026-10-31: add by m2/v0.5.6
Method of complements YKKRJ8HYF5
| URI | m2://inv/YKKRJ8HYF5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Method of complements, Method of complements (definition). Also Wikidata Q4741052
History
- 2026-11-02: add by m2/dev
YKKS9FE0S0 YKKS9FE0S0
| URI | m2://inv/YKKS9FE0S0 |
|---|---|
| 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#C6NS (statement). In M9CSGRSRB3/e1, theorem 3.2
History
- 2026-10-31: add by m2/v0.5.6
William M. Haenszel YKKTKN2PR8
| URI | m2://inv/YKKTKN2PR8 |
|---|---|
| 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#ZLXB, William M. Haenszel (unknown)
History
- 2026-11-02: add by m2/dev
YKKXVA8XW5 YKKXVA8XW5
| URI | m2://inv/YKKXVA8XW5 |
|---|---|
| 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.06521#VALB (statement). In NVXWD513NM/e1, corollary 6.2
History
- 2026-10-29: add by m2/v0.4.10
Folded parity-check and uniform ensembles YKM0G5CB8E
| URI | m2://inv/YKM0G5CB8E |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40252#DFMW, Folded parity-check and uniform ensembles (definition). In 7MVPNFPRKB/e1, definition 9.4
History
- 2026-10-30: add by m2/v0.4.12
Minimal free resolution YKM1VRDTRJ
| URI | m2://inv/YKM1VRDTRJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Resolution (algebra)#OXCQ, Minimal free resolution (unknown)
History
- 2026-11-02: add by m2/dev
Ligon–Schaaf regularization YKM31XQF9N
| URI | m2://inv/YKM31XQF9N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ligon–Schaaf regularization, Ligon–Schaaf regularization (definition). Also Wikidata Q141244845
History
- 2026-11-02: add by m2/dev
Ralf J. Spatzier YKM4W5KRJ1
| URI | m2://inv/YKM4W5KRJ1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#0M0R, Ralf J. Spatzier (topic)
History
- 2026-11-02: add by m2/dev
YKM95AXNT5 YKM95AXNT5
| URI | m2://inv/YKM95AXNT5 |
|---|---|
| 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.30976#RIKN (statement). In 4QY9J1A0KT/e1, theorem 6
History
- 2026-10-31: add by m2/v0.5.6
YKM9BQP5AB YKM9BQP5AB
| URI | m2://inv/YKM9BQP5AB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31090#V42T (statement). In SMTJDX0Q6R/e1, theorem 3.1
History
- 2026-10-31: add by m2/v0.5.6
Properties YKMHJZ5J4E
| URI | m2://inv/YKMHJZ5J4E |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia GCD domain#JZQS, Properties (statement)
History
- 2026-11-02: add by m2/dev
Net sizes YKMM49EWRS
| URI | m2://inv/YKMM49EWRS |
|---|---|
| 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.12713#75VM, Net sizes (statement). In F14A5HX20Q/e1, lemma A.1.1
History
- 2026-10-28: add by m2/v0.4.2
Existence of a weak set attractor YKMS41QFH4
| URI | m2://inv/YKMS41QFH4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-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.06321#JWR1, Existence of a weak set attractor (statement). In PGV1116XX4/e1, theorem 2.12
History
- 2026-10-29: add by m2/v0.4.10
YKMXMSAEVF YKMXMSAEVF
| URI | m2://inv/YKMXMSAEVF |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21034#VD2R (definition)
History
- 2026-11-02: add by m2/v0.6.18
Names for the number 0 YKMZN4N3N0
| URI | m2://inv/YKMZN4N3N0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Names for the number 0, Names for the number 0 (definition). Also Wikidata Q6961615
History
- 2026-11-02: add by m2/dev
Binary multiplication YKN1DH3CDD
| URI | m2://inv/YKN1DH3CDD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Binary number#6D1N, Binary multiplication (unknown)
History
- 2026-11-02: add by m2/dev
Balanced incomplete block design YKN1Z2F6F1
| URI | m2://inv/YKN1Z2F6F1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#26U0, Balanced incomplete block design (definition)
History
- 2026-11-02: add by m2/dev
YKNA5XFVGT YKNA5XFVGT
| URI | m2://inv/YKNA5XFVGT |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
History
- 2026-10-27: add by m2/v0.3.5
Log-likelihood-ratio sum and threshold YKNTQCNY6V
| URI | m2://inv/YKNTQCNY6V |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX, 62-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.27765#62EB, Log-likelihood-ratio sum and threshold (definition)
History
- 2026-11-01: add by m2/v0.6.15
Second Variation of Arc Length YKP5Z1D4KS
| URI | m2://inv/YKP5Z1D4KS |
|---|---|
| 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.30527#3T0N, Second Variation of Arc Length (statement). In E3WQDZY388/e1, proposition 2.1
History
- 2026-10-31: add by m2/v0.5.6
MOEA Framework YKP9J6GX2D
| URI | m2://inv/YKP9J6GX2D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia MOEA Framework, MOEA Framework (definition). Also Wikidata Q16928024
History
- 2026-11-02: add by m2/dev
Stationary numerator class at a chosen depth YKPC4593NA
| URI | m2://inv/YKPC4593NA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10583#NAUZ, Stationary numerator class at a chosen depth (statement). In 5BZQS1KY9A/e1, lemma 4.2
History
- 2026-10-29: add by m2/v0.4.10
YKPDGWQT9Y YKPDGWQT9Y
| URI | m2://inv/YKPDGWQT9Y |
|---|---|
| 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.02481#08DN (statement). In 5HACFNFY0P/e1, corollary 4.11
History
- 2026-10-29: add by m2/v0.4.12
Switches, finite partitions, and visibility YKPEJ449HR
| URI | m2://inv/YKPEJ449HR |
|---|---|
| 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.32695#AWX9, Switches, finite partitions, and visibility (definition). In VQSF2E35BX/e1, definition A.1
History
- 2026-10-31: add by m2/v0.5.6
Rational reciprocity law YKPN86Z4A1
| URI | m2://inv/YKPN86Z4A1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rational reciprocity law, Rational reciprocity law (statement). Also Wikidata Q7295777
History
- 2026-11-02: add by m2/dev
Postnikov system YKQ0CMKN3K
| URI | m2://inv/YKQ0CMKN3K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#9662, Postnikov system (definition)
History
- 2026-11-02: add by m2/dev
Periodic function YKQ2KHNGCM
| URI | m2://inv/YKQ2KHNGCM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of harmonic analysis topics#0WO4, Periodic function (definition)
- wikipedia: Wikipedia List of Fourier analysis topics#1EL4, Periodic function (definition)
History
- 2026-11-02: add by m2/dev
Nicolai Reshetikhin YKQ5HTT2Z9
| URI | m2://inv/YKQ5HTT2Z9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q452273, Nicolai Reshetikhin (unknown). Also nLab Nicolai Reshetikhin
- wikipedia: Wikipedia Nicolai Reshetikhin, Nicolai Reshetikhin (topic). Also Wikidata Q452273
History
- 2026-10-26: add by m2/dev
Sabine Bögli YKQE46WK97
| URI | m2://inv/YKQE46WK97 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sabine Bögli, Sabine Bögli (topic). Also Wikidata Q102438880
History
- 2026-11-02: add by m2/dev
Szemerédi's theorem YKQHSVG1QH
| URI | m2://inv/YKQHSVG1QH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ergodic Ramsey theory#WHSU, Szemerédi's theorem (statement)
History
- 2026-11-02: add by m2/dev
YKQN5EDVF1 YKQN5EDVF1
| URI | m2://inv/YKQN5EDVF1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01276#S6EK (statement). In 7JJPPMS2DN/e1, proposition 8.1
History
- 2026-10-29: add by m2/v0.4.12
Bertrand Russell's The Principles of Mathematics 1903 YKQQFWVBQZ
| URI | m2://inv/YKQQFWVBQZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia History of the function concept#GAOP, Bertrand Russell's The Principles of Mathematics 1903 (statement)
History
- 2026-11-02: add by m2/dev
YKQVFSVHQR YKQVFSVHQR
| URI | m2://inv/YKQVFSVHQR |
|---|---|
| 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.20285#8KVW (statement). In RQA728RB77/e1, corollary 18
History
- 2026-10-27: add by m2/v0.4.2
matrix, transition YKR45PH06C
| URI | m2://inv/YKR45PH06C |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/16.3/matrix-transition, matrix, transition (concept). In QKM9DD2H56, index, section 16.3
History
- 2026-11-01: add by m2/v0.6.13
Convergence of the full phase map YKR76GD6W3
| URI | m2://inv/YKR76GD6W3 |
|---|---|
| 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.19953#VJM6, Convergence of the full phase map (statement). In CHPJWBREES/e1, corollary 2.4
History
- 2026-10-28: add by m2/v0.4.2
A discontinuity in the Gaussian conditional-information budget YKR8E79HDQ
| URI | m2://inv/YKR8E79HDQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38228#XOPC, A discontinuity in the Gaussian conditional-information budget (statement). In 9YAE8FNQST/e1, corollary 28.18
History
- 2026-10-30: add by m2/v0.4.12
Simulation noise YKRDPAJFAK
| URI | m2://inv/YKRDPAJFAK |
|---|---|
| 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#OONB, Simulation noise (unknown)
History
- 2026-11-02: add by m2/dev
YKRPDJTQM8 YKRPDJTQM8
| URI | m2://inv/YKRPDJTQM8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04305#9UYE (statement). In Y1DR0DPWD0/e1, fact 2.1
History
- 2026-10-29: add by m2/v0.4.12
YKRV3J5KBS YKRV3J5KBS
| URI | m2://inv/YKRV3J5KBS |
|---|---|
| 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.20094#8EUN (statement)
History
- 2026-11-02: add by m2/v0.6.18
YKRVTP0N7P YKRVTP0N7P
| URI | m2://inv/YKRVTP0N7P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25307#N524 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Definition YKS3EY63KA
| URI | m2://inv/YKS3EY63KA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Maxwell model#FZFE, Definition (definition)
History
- 2026-11-02: add by m2/dev
Sharon-Lise Normand YKS5GGY3CF
| URI | m2://inv/YKS5GGY3CF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sharon-Lise Normand, Sharon-Lise Normand (topic). Also Wikidata Q43572226
History
- 2026-11-02: add by m2/dev
Brahmagupta's theorem YKS7JW3B9J
| URI | m2://inv/YKS7JW3B9J |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Brahmagupta#QQII, Brahmagupta's theorem (statement)
History
- 2026-11-02: add by m2/dev
chiral algebra YKSDAF8Z2T
| URI | m2://inv/YKSDAF8Z2T |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5101825, chiral algebra (concept). Also nLab chiral algebra
- wikipedia: Wikipedia Chiral algebra, Chiral algebra (definition). Also Wikidata Q5101825
History
- 2026-10-26: add by m2/dev
YKSDV976T7 YKSDV976T7
| URI | m2://inv/YKSDV976T7 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-ser.tex#proof-21 (proof). In E59CDZA4DP, proof, section 10.3.4
History
- 2026-11-01: add by m2/v0.6.13
YKSEBYE13R YKSEBYE13R
| URI | m2://inv/YKSEBYE13R |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/functions/inverses.tex#proof-5 (proof). In PKGMM3P5QY, proof, section 79.1
History
- 2026-11-01: add by m2/v0.6.13
YKSH81JH9K YKSH81JH9K
| URI | m2://inv/YKSH81JH9K |
|---|---|
| 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 2103.12669#SOGB (statement). In ZA6XNBA90V/e1, corollary 1.20
History
- 2026-10-27: add by m2/v0.3.5
YKSJGNC66B YKSJGNC66B
| URI | m2://inv/YKSJGNC66B |
|---|---|
| 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#C2UZ (statement). In 3PSAWXCCJ8/e1, proposition 17
History
- 2026-10-29: add by m2/v0.4.12
Kepler Track YKSQCJJKX9
| URI | m2://inv/YKSQCJJKX9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Johannes Kepler#ZGVR, Kepler Track (unknown)
History
- 2026-11-02: add by m2/dev
Prismatic compound of prisms with rotational freedom YKSTSW8V33
| URI | m2://inv/YKSTSW8V33 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#TTSH, Prismatic compound of prisms with rotational freedom (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#9UWV, Prismatic compound of prisms with rotational freedom (definition)
History
- 2026-11-02: add by m2/dev
Z function YKSW0MZ5J4
| URI | m2://inv/YKSW0MZ5J4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of zeta functions#CSBA, Z function (definition)
History
- 2026-11-02: add by m2/dev
Wolfgang Haken YKT53WB8NB
| URI | m2://inv/YKT53WB8NB |
|---|---|
| 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#F1C5, Wolfgang Haken (topic)
History
- 2026-11-02: add by m2/dev
YKT96TVBCJ YKT96TVBCJ
| URI | m2://inv/YKT96TVBCJ |
|---|---|
| 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.02628#TS6N (statement). In G4S9C5M1A4/e1, proposition C.3
History
- 2026-10-29: add by m2/v0.4.12
W5 clock YKTBMZXEMP
| URI | m2://inv/YKTBMZXEMP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Philip Woodward#GQU3, W5 clock (unknown)
History
- 2026-11-02: add by m2/dev
Explicit fixed-scale guarantee YKTDRRE801
| URI | m2://inv/YKTDRRE801 |
|---|---|
| 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#GXLJ, Explicit fixed-scale guarantee (statement). In N280AVNNBY/e1, lemma B.11
History
- 2026-10-27: add by m2/v0.4.2
Dedekind YKTGW4KH1M
| URI | m2://inv/YKTGW4KH1M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of number theory#ZZWL, Dedekind (definition)
History
- 2026-11-02: add by m2/dev
YKTSNNDQHE YKTSNNDQHE
| URI | m2://inv/YKTSNNDQHE |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2106.06387#UKH5 (unknown). In 4YJH4FPWDA/e1, unknown 1.4
History
- 2026-10-30: add by m2/v0.4.12
Examples YKTTV52AFS
| URI | m2://inv/YKTTV52AFS |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 2-category#8EJ8, Examples (example)
History
- 2026-11-02: add by m2/dev
Zvi Arad YKTYFN3PWN
| URI | m2://inv/YKTYFN3PWN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#PV85, Zvi Arad (topic)
History
- 2026-11-02: add by m2/dev
Mean free-energy lower bound YKV0055HPC
| URI | m2://inv/YKV0055HPC |
|---|---|
| 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.31782#FZBC, Mean free-energy lower bound (statement). In YAYP5VZ94H/e1, proposition 6.4
History
- 2026-10-31: add by m2/v0.5.6
The effective central charge YKV2D2GBXM
| URI | m2://inv/YKV2D2GBXM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-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.18512#GFKK, The effective central charge (statement). In 11JNM66Z09/e1, theorem 8.2
History
- 2026-10-28: add by m2/v0.4.2
indeterminate form YKV374AB5V
| URI | m2://inv/YKV374AB5V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Indeterminate form 0S7G92KKA7 |
Mentions
- wikidata: Wikidata Q115089, indeterminate form (unknown). Also MathWorld Indeterminate
- wikipedia: Wikipedia Indeterminate form, Indeterminate form (definition). Also Wikidata Q115089
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Dueling bandit YKVAXJMJK0
| URI | m2://inv/YKVAXJMJK0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multi-armed bandit#QYVX, Dueling bandit (unknown)
History
- 2026-11-02: add by m2/dev
YKVHAG37A3 YKVHAG37A3
| URI | m2://inv/YKVHAG37A3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27360#D3EL (statement)
History
- 2026-11-01: add by m2/v0.6.15
Kerr metric YKVK7DJDKJ
| URI | m2://inv/YKVK7DJDKJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kerr metric, Kerr metric (definition). Also Wikidata Q1068747
History
- 2026-11-02: add by m2/dev
YKVWK20QHT YKVWK20QHT
| URI | m2://inv/YKVWK20QHT |
|---|---|
| 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.14374#PKZQ (statement). In YPTC532FEG/e1, lemma 22
History
- 2026-10-28: add by m2/v0.4.2
Extrinsic incentives bias YKW0J40PJK
| URI | m2://inv/YKW0J40PJK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cognitive biases#OK47, Extrinsic incentives bias (unknown)
History
- 2026-11-02: add by m2/dev
3Dc YKW3T7MM99
| URI | m2://inv/YKW3T7MM99 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#IVL6, 3Dc (unknown)
History
- 2026-11-02: add by m2/dev
Claim YKWB2X0EKP
| URI | m2://inv/YKWB2X0EKP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Affine variety#8OKA, Claim (statement)
History
- 2026-11-02: add by m2/dev
BLDF under smoothness and strong convexity YKWD70SZFC
| URI | m2://inv/YKWD70SZFC |
|---|---|
| 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#MBKK, BLDF under smoothness and strong convexity (statement). In 1SQH3PTYMD/e1, lemma 5
History
- 2026-10-30: add by m2/v0.4.12
Polynomial truncation YKWJ0QQKRV
| URI | m2://inv/YKWJ0QQKRV |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20801#9UM0, Polynomial truncation (definition). In A1GWWGRXPA/e1, definition 3.32
History
- 2026-10-27: add by m2/v0.4.2
Manwar, Khandakar Hossain YKWJDCC97G
| URI | m2://inv/YKWJDCC97G |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#Y9B6, Manwar, Khandakar Hossain (unknown)
History
- 2026-11-02: add by m2/dev
Glen–Nye flow law YKWNGN38SB
| URI | m2://inv/YKWNGN38SB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glen–Nye flow law, Glen–Nye flow law (statement). Also Wikidata Q124485902
History
- 2026-11-02: add by m2/dev
Gaussian integer YKWV8PQ4TE
| URI | m2://inv/YKWV8PQ4TE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Carl Friedrich Gauss#9G1Z, Gaussian integer (definition)
History
- 2026-11-02: add by m2/dev
Quandle YKWY3Q8K5F
| URI | m2://inv/YKWY3Q8K5F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#SEFY, Quandle (definition)
- wikipedia: Wikipedia List of geometric topology topics#PIVI, Quandle (definition)
History
- 2026-11-02: add by m2/dev
Extended principles YKX0B37XTW
| URI | m2://inv/YKX0B37XTW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quantitative genetics#95WL, Extended principles (statement)
History
- 2026-11-02: add by m2/dev
Examples YKX14APR0X
| URI | m2://inv/YKX14APR0X |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia First-class constraint#LPXS, Examples (example)
History
- 2026-11-02: add by m2/dev
YKX35G24VS YKX35G24VS
| URI | m2://inv/YKX35G24VS |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 37-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25188#13ER (example)
History
- 2026-11-01: add by m2/v0.6.15
Theorem and special cases YKX5WZBRBM
| URI | m2://inv/YKX5WZBRBM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euler's quadrilateral theorem#U1Q1, Theorem and special cases (statement)
History
- 2026-11-02: add by m2/dev
Point-finite collection YKXQ75ZS59
| URI | m2://inv/YKXQ75ZS59 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Point-finite collection, Point-finite collection (definition). Also Wikidata Q7207903
History
- 2026-11-02: add by m2/dev
YKXX1W42YK YKXX1W42YK
| URI | m2://inv/YKXX1W42YK |
|---|---|
| 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.08567#PQUN (statement). In CMJE9V2BJ0/e1, lemma 2.2
History
- 2026-10-29: add by m2/v0.4.10
YKY1X8NTZB YKY1X8NTZB
| URI | m2://inv/YKY1X8NTZB |
|---|---|
| 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.15831#5G74 (statement). In CVESAPNMCQ/e1, theorem 2.6
History
- 2026-10-28: add by m2/v0.4.2
upward Löwenheim–Skolem theorem YKY3D8JJWY
| URI | m2://inv/YKY3D8JJWY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#UQYH, upward Löwenheim–Skolem theorem (definition)
History
- 2026-11-02: add by m2/dev
YKY73WCFZ4 YKY73WCFZ4
| URI | m2://inv/YKY73WCFZ4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 49-XX, 60-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2501.01612#RSKU (statement). In A5KESSK05N/e1, lemma 3.6
History
- 2026-10-27: add by m2/v0.3.5
YKY75F07QX YKY75F07QX
| URI | m2://inv/YKY75F07QX |
|---|---|
| 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 2610.01802#N064 (definition). In XGPZ0G9E1Q/e1, definition 3.8
History
- 2026-10-29: add by m2/v0.4.12
Correlation matrix YKY76BCF46
| URI | m2://inv/YKY76BCF46 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of named matrices#7B5Y, Correlation matrix (definition)
History
- 2026-11-02: add by m2/dev
YKY8N18BSH YKY8N18BSH
| URI | m2://inv/YKY8N18BSH |
|---|---|
| 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 2609.20028#MB7W (statement)
History
- 2026-11-02: add by m2/v0.6.18
YKY8Q6GQV7 YKY8Q6GQV7
| URI | m2://inv/YKY8Q6GQV7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31445#T6PN (statement). In 7V2PVZS04C/e1, lemma 2.10
History
- 2026-10-31: add by m2/v0.5.6
Lone divider YKY8V2KA3V
| URI | m2://inv/YKY8V2KA3V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lone divider, Lone divider (definition). Also Wikidata Q60793070
History
- 2026-11-02: add by m2/dev
YKYBF63W7M YKYBF63W7M
| URI | m2://inv/YKYBF63W7M |
|---|---|
| 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.05829#GPLC (statement). In ZH9NNSEKMD/e1, corollary 7.1
History
- 2026-10-29: add by m2/v0.4.10
Stabilizer-nullity decomposition YKYD6NSJGZ
| URI | m2://inv/YKYD6NSJGZ |
|---|---|
| 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.02166#V49C, Stabilizer-nullity decomposition (statement). In R6RF3P6D5A/e1, lemma B.1
History
- 2026-10-29: add by m2/v0.4.12
YKYH0MRQMX YKYH0MRQMX
| URI | m2://inv/YKYH0MRQMX |
|---|---|
| Kind | definition |
| 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 2304.03611#X8GR (definition). In 75E8ZB1CBV/e1, definition 5.1.3
History
- 2026-10-27: add by m2/v0.4.0
YKYTBXZDR9 YKYTBXZDR9
| URI | m2://inv/YKYTBXZDR9 |
|---|---|
| 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 1512.06981#PDTE (definition). In X923ZEY423/e1, definition 1.6.1
History
- 2026-10-27: add by m2/v0.3.5
Definition YKYVD3QXBS
| URI | m2://inv/YKYVD3QXBS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia False dilemma#1V7S, Definition (definition)
History
- 2026-11-02: add by m2/dev
Pantelides algorithm YKYWD4GZDZ
| URI | m2://inv/YKYWD4GZDZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pantelides algorithm, Pantelides algorithm (definition). Also Wikidata Q7131684
History
- 2026-11-02: add by m2/dev
Example YKZ5KWSFK0
| URI | m2://inv/YKZ5KWSFK0 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hierarchy (mathematics)#5GCZ, Example (example)
History
- 2026-11-02: add by m2/dev
Invariants conjecture YKZ6R953VD
| URI | m2://inv/YKZ6R953VD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Greenberg's conjectures#SQ0L, Invariants conjecture (statement)
History
- 2026-11-02: add by m2/dev
fundamental, groupoid YKZCA800XE
| URI | m2://inv/YKZCA800XE |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/2.9/fundamental-groupoid, fundamental, groupoid (concept). In N54F33XE07, index, section 2.9
History
- 2026-11-01: add by m2/v0.6.13
\bf Smoothness YKZEMM5HZC
| URI | m2://inv/YKZEMM5HZC |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02791#9SUD, \bf Smoothness (problem). In TT9BA4VMTW/e1, problem 2
History
- 2026-10-29: add by m2/v0.4.12
Examples YKZJD537MA
| URI | m2://inv/YKZJD537MA |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Prime ring#6KKC, Examples (example)
History
- 2026-11-02: add by m2/dev
YKZKBGJDAJ YKZKBGJDAJ
| URI | m2://inv/YKZKBGJDAJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03499#J2C6 (statement). In NAE99N03W3/e1, lemma 2.4
History
- 2026-10-29: add by m2/v0.4.12
Felix Otto YKZR7TAZJS
| URI | m2://inv/YKZR7TAZJS |
|---|---|
| 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#W0NA, Felix Otto (topic)
- wikipedia: Wikipedia List of German mathematicians#746N, Felix Otto (topic)
History
- 2026-11-02: add by m2/dev
Definition YKZV941K9S
| URI | m2://inv/YKZV941K9S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Permutation#9QMJ, Definition (definition)
History
- 2026-11-02: add by m2/dev
YKZVZNN590 YKZVZNN590
| URI | m2://inv/YKZVZNN590 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37520#02FJ (statement). In BDN507RN7J/e1, proposition 4.1.24
History
- 2026-10-30: add by m2/v0.4.12
YKZW0TKZCX YKZW0TKZCX
| URI | m2://inv/YKZW0TKZCX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book reals.tex#RC-lim-onto (statement). In N54F33XE07, lem, section B.3.2
History
- 2026-11-01: add by m2/v0.6.13