Inventory rows WY
The cards of the rows of the inventory whose ids start with WY. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Cohomological surjectivity WY0A1QJEAZ
| URI | m2://inv/WY0A1QJEAZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28028#RZI1, Cohomological surjectivity (statement)
History
- 2026-11-01: add by m2/v0.6.15
Definitions WY0AXV27Y1
| URI | m2://inv/WY0AXV27Y1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Clique problem#F0GN, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Univariate WY0EG10P11
| URI | m2://inv/WY0EG10P11 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#W0UQ, Univariate (definition)
History
- 2026-11-02: add by m2/dev
WY0G43FRDY WY0G43FRDY
| URI | m2://inv/WY0G43FRDY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05320#W3WV (statement). In MVXZWHKEX8/e1, lemma 2.5
History
- 2026-10-29: add by m2/v0.4.10
WY0N4X8B92 WY0N4X8B92
| URI | m2://inv/WY0N4X8B92 |
|---|---|
| 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.06458#KB8N (statement). In 4X93XG8NMD/e1, proposition 4.1
History
- 2026-10-29: add by m2/v0.4.10
The greatest posterior mean for a scalar task WY11N8HJ8E
| URI | m2://inv/WY11N8HJ8E |
|---|---|
| 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#GJ4G, The greatest posterior mean for a scalar task (statement). In 9YAE8FNQST/e1, theorem 29.7
History
- 2026-10-30: add by m2/v0.4.12
Suslin's problem WY170S8EAN
| URI | m2://inv/WY170S8EAN |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of order theory topics#DT2N, Suslin's problem (problem)
History
- 2026-11-02: add by m2/dev
WY19E2ZG1F WY19E2ZG1F
| URI | m2://inv/WY19E2ZG1F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25151#IPF1 (statement)
History
- 2026-11-01: add by m2/v0.6.15
WY1CYES72J WY1CYES72J
| URI | m2://inv/WY1CYES72J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 37-XX, 57-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.19787#Y811 (statement). In A4VP56CT7B/e1, proposition 5.4
History
- 2026-10-28: add by m2/v0.4.2
WY1FG6HJ1T WY1FG6HJ1T
| URI | m2://inv/WY1FG6HJ1T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03661#J9NI (statement). In ESDKTYDHC8/e1, theorem 3
History
- 2026-10-29: add by m2/v0.4.12
Derivative of the exponential map WY1H4BEWTP
| URI | m2://inv/WY1H4BEWTP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of exponential topics#XBYT, Derivative of the exponential map (definition)
History
- 2026-11-02: add by m2/dev
Todor\v{c}evi\'c's trichotomy in canonical form WY1HYQYV7W
| URI | m2://inv/WY1HYQYV7W |
|---|---|
| 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#DFY9, Todor\v{c}evi\'c's trichotomy in canonical form (statement). In TNC658NVMQ/e1, fact 4.3
History
- 2026-10-28: add by m2/v0.4.2
WY1KKANNTE WY1KKANNTE
| URI | m2://inv/WY1KKANNTE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18992#8NGI (statement). In S7PNTM0GZC/e1, lemma 2.2
History
- 2026-10-28: add by m2/v0.4.2
Neutron diffusion equation WY1QMZ6JJ5
| URI | m2://inv/WY1QMZ6JJ5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of named differential equations#BVT8, Neutron diffusion equation (unknown)
History
- 2026-11-02: add by m2/dev
Eric Xing WY1SQYCMR4
| URI | m2://inv/WY1SQYCMR4 |
|---|---|
| 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#HJSW, Eric Xing (unknown)
History
- 2026-11-02: add by m2/dev
Applications WY1SYTF849
| URI | m2://inv/WY1SYTF849 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Yoshimura buckling#TVQS, Applications (example)
History
- 2026-11-02: add by m2/dev
Conditional simultaneous multiscale Bernstein bound WY1VAHCH0Y
| URI | m2://inv/WY1VAHCH0Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19207#OXHM, Conditional simultaneous multiscale Bernstein bound (statement). In BH3R0BA3PC/e1, theorem 1
History
- 2026-10-28: add by m2/v0.4.2
B. V. Shah WY21ZKYR9B
| URI | m2://inv/WY21ZKYR9B |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#MUGA, B. V. Shah (topic)
History
- 2026-11-02: add by m2/dev
WY2AAB1981 WY2AAB1981
| URI | m2://inv/WY2AAB1981 |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2206.05392#N6GH (conjecture). In 58D1ZC82DW/e1, conjecture 1
History
- 2026-10-27: add by m2/v0.3.5
WY2AZNGMKB WY2AZNGMKB
| URI | m2://inv/WY2AZNGMKB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02216#N3D8 (statement). In 34JGRZ2M5F/e1, proposition 6.2
History
- 2026-10-29: add by m2/v0.4.12
Linear-fractional programming WY2B0WKB0C
| URI | m2://inv/WY2B0WKB0C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linear-fractional programming, Linear-fractional programming (definition). Also Wikidata Q4168281
History
- 2026-11-02: add by m2/dev
WY2DGP6E07 WY2DGP6E07
| URI | m2://inv/WY2DGP6E07 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21388#2ODR (statement)
History
- 2026-11-02: add by m2/v0.6.18
G-spot WY2E875953
| URI | m2://inv/WY2E875953 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of common misconceptions about science, technology, and mathematics#0O5J, G-spot (unknown)
History
- 2026-11-02: add by m2/dev
National Statistics Office (Philippines) WY2J5H1Z3H
| URI | m2://inv/WY2J5H1Z3H |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Philippine Statistics Authority#5NZV, National Statistics Office (Philippines) (unknown)
History
- 2026-11-02: add by m2/dev
Susan Murphy WY305GXYEM
| URI | m2://inv/WY305GXYEM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of presidents of the Institute of Mathematical Statistics#HLS1, Susan Murphy (topic)
History
- 2026-11-02: add by m2/dev
477 (number) WY33WY29HS
| URI | m2://inv/WY33WY29HS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 400 (number)#ASG0, 477 (number) (unknown)
History
- 2026-11-02: add by m2/dev
Power-law moving average WY38S1ZJKF
| URI | m2://inv/WY38S1ZJKF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Moving average#WC5F, Power-law moving average (statement)
History
- 2026-11-02: add by m2/dev
Bornology WY39NT6512
| URI | m2://inv/WY39NT6512 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Analysis > Topological vector spaces > Bornology, Bornology (unknown). Also Mathlib Bornology
History
- 2026-10-26: add by m2/dev
WY39V7PDW9 WY39V7PDW9
| URI | m2://inv/WY39V7PDW9 |
|---|---|
| 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.02174#B8DF (statement). In 7JPHSV4NXW/e1, theorem 4.2
History
- 2026-10-29: add by m2/v0.4.12
WY3ASNDFMZ WY3ASNDFMZ
| URI | m2://inv/WY3ASNDFMZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2111.07409#KG7K (statement). In KWH4QJDPWC/e1, theorem 5.4
History
- 2026-10-27: add by m2/v0.4.0
WY3SYC7RC3 WY3SYC7RC3
| URI | m2://inv/WY3SYC7RC3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.01473#50PR (statement). In ABS9M47F4K/e1, proposition 3.29
History
- 2026-10-27: add by m2/v0.3.6
Formal definition WY3VQ8YDVG
| URI | m2://inv/WY3VQ8YDVG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Acceleration (differential geometry)#7OQ2, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
Bayesian Model Selection at Finite $L$ WY3WC4ZGA8
| URI | m2://inv/WY3WC4ZGA8 |
|---|---|
| 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 2212.14457#HQN2, Bayesian Model Selection at Finite $L$ (statement). In PNRHHWGHM2/e1, corollary 3.5
History
- 2026-10-27: add by m2/v0.3.6
Fourier transform on finite groups WY4A6FJTC5
| URI | m2://inv/WY4A6FJTC5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Fourier analysis topics#7JEA, Fourier transform on finite groups (definition)
History
- 2026-11-02: add by m2/dev
Example WY4KA71YP6
| URI | m2://inv/WY4KA71YP6 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Group size measures#I8OW, Example (example)
History
- 2026-11-02: add by m2/dev
rational variety WY4NBS08R4
| URI | m2://inv/WY4NBS08R4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Rational variety XV4K9GREJ9 |
Mentions
- wikidata: Wikidata Q3554829, rational variety (unknown). Also EoM Rational_variety, nLab rational variety
- wikipedia: Wikipedia Rational variety, Rational variety (definition). Also Wikidata Q3554829
History
- 2026-10-26: add by m2/dev
Paradox of analysis WY4PV9X4J7
| URI | m2://inv/WY4PV9X4J7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Paradox of analysis, Paradox of analysis (statement). Also Wikidata Q7134449
History
- 2026-11-02: add by m2/dev
WY4X7NEP8Z WY4X7NEP8Z
| URI | m2://inv/WY4X7NEP8Z |
|---|---|
| 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#P6LN (statement). In 5E9G06XJKC/e1, lemma F.26
History
- 2026-10-28: add by m2/v0.4.2
Equational prover WY516FVZRW
| URI | m2://inv/WY516FVZRW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Robbins algebra#ZI7B, Equational prover (unknown)
History
- 2026-11-02: add by m2/dev
Naive set theory WY52B45CEH
| URI | m2://inv/WY52B45CEH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of alternative set theories#HTMD, Naive set theory (definition)
- wikipedia: Wikipedia List of mathematical logic topics#AZK2, Naive set theory (definition)
History
- 2026-11-02: add by m2/dev
328 (number) WY537HQTZN
| URI | m2://inv/WY537HQTZN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 300 (number)#2AFF, 328 (number) (unknown)
History
- 2026-11-02: add by m2/dev
Udyotakara WY5587GJP3
| URI | m2://inv/WY5587GJP3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of teachers of Nyaya#QTM0, Udyotakara (unknown)
History
- 2026-11-02: add by m2/dev
Jean Favard WY55VQR43H
| URI | m2://inv/WY55VQR43H |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jean Favard, Jean Favard (topic). Also Wikidata Q2511073
History
- 2026-11-02: add by m2/dev
Projection-supply dilation WY5A0G1DGN
| URI | m2://inv/WY5A0G1DGN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20718#V2N1, Projection-supply dilation (statement)
History
- 2026-11-02: add by m2/v0.6.18
Mathematical sociology WY5BKGT2NV
| URI | m2://inv/WY5BKGT2NV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#N9XG, Mathematical sociology (definition)
History
- 2026-11-02: add by m2/dev
General one-dimensional integral Hardy inequality WY5JVH8CG8
| URI | m2://inv/WY5JVH8CG8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hardy's inequality#02CK, General one-dimensional integral Hardy inequality (statement)
History
- 2026-11-02: add by m2/dev
IND-CCA WY5T46TJK9
| URI | m2://inv/WY5T46TJK9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ciphertext indistinguishability#7XM8, IND-CCA (unknown)
History
- 2026-11-02: add by m2/dev
WY5T6ZN6VJ WY5T6ZN6VJ
| URI | m2://inv/WY5T6ZN6VJ |
|---|---|
| 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.38548#OQSZ (statement). In Z7ZFV3HM1S/e1, proposition 4.9
History
- 2026-10-30: add by m2/v0.4.12
Classical boundary tangent cones WY5V9PX6FX
| URI | m2://inv/WY5V9PX6FX |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04833#0KJ3, Classical boundary tangent cones (example). In AKB3CNDA0F/e1, example 3.28
History
- 2026-10-29: add by m2/v0.4.12
SIMPLEC algorithm WY624BZZ18
| URI | m2://inv/WY624BZZ18 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia SIMPLEC algorithm, SIMPLEC algorithm (definition). Also Wikidata Q25303696
History
- 2026-11-02: add by m2/dev
WY693S3A05 WY693S3A05
| URI | m2://inv/WY693S3A05 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2511.05069#X7JT (statement). In SFQBJBTW8K/e1, proposition 15.1
History
- 2026-10-27: add by m2/v0.3.5
Edward Bierstone WY6GM6TG7B
| URI | m2://inv/WY6GM6TG7B |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#Z13I, Edward Bierstone (topic)
History
- 2026-11-02: add by m2/dev
Transcendental field extension WY6H3XJ7SA
| URI | m2://inv/WY6H3XJ7SA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Field extension#VN4K, Transcendental field extension (unknown)
History
- 2026-11-02: add by m2/dev
Classification of multiple hypothesis tests WY6S5FQHEF
| URI | m2://inv/WY6S5FQHEF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multiple comparisons problem#PMQC, Classification of multiple hypothesis tests (statement)
History
- 2026-11-02: add by m2/dev
Cycles and fixed points WY6TJ1N446
| URI | m2://inv/WY6TJ1N446 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cycles and fixed points, Cycles and fixed points (definition). Also Wikidata Q5198198
History
- 2026-11-02: add by m2/dev
WY6XV591GG WY6XV591GG
| URI | m2://inv/WY6XV591GG |
|---|---|
| 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 2607.27272#66HC (statement). In BDEA3TDATY/e1, theorem B
History
- 2026-10-27: add by m2/v0.3.5
WY7B7ZMJNX WY7B7ZMJNX
| URI | m2://inv/WY7B7ZMJNX |
|---|---|
| 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.14450#CZQK (statement). In ZHTGQT07PE/e1, proposition 4.9
History
- 2026-10-28: add by m2/v0.4.2
WY7N2YZP0F WY7N2YZP0F
| URI | m2://inv/WY7N2YZP0F |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/sec_intro-functions.ptx#example-8 (example). In Y91XFCEVHQ, example, section 1.4.3
History
- 2026-11-01: add by m2/v0.6.13
pentagonal prism WY7SXQBMY9
| URI | m2://inv/WY7SXQBMY9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1067731, pentagonal prism (object). Also MathWorld PentagonalPrism
- wikipedia: Wikipedia Pentagonal prism, Pentagonal prism (definition). Also Wikidata Q1067731
History
- 2026-10-26: add by m2/dev
Example WY7ZZFTH7T
| URI | m2://inv/WY7ZZFTH7T |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Contraposition#ZOM5, Example (example)
History
- 2026-11-02: add by m2/dev
Dummy WY8047E054
| URI | m2://inv/WY8047E054 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of game theory#KJIZ, Dummy (definition)
History
- 2026-11-02: add by m2/dev
Unit root WY83SX7BHA
| URI | m2://inv/WY83SX7BHA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#JZNW, Unit root (definition)
- wikipedia: Wikipedia List of dynamical systems and differential equations topics#80KF, Unit root (definition)
History
- 2026-11-02: add by m2/dev
WY8638M5T2 WY8638M5T2
| URI | m2://inv/WY8638M5T2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14582#CABP (statement). In 6XP6PD2XZA/e1, proposition 7.7
History
- 2026-10-28: add by m2/v0.4.2
excited state WY8CQJF6Z9
| URI | m2://inv/WY8CQJF6Z9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q215328, excited state (unknown). Also nLab excited state
History
- 2026-10-26: add by m2/dev
Repetition code WY8HWASFD9
| URI | m2://inv/WY8HWASFD9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic coding theory topics#W7E5, Repetition code (definition)
History
- 2026-11-02: add by m2/dev
Empty domain WY8MJJZ7MZ
| URI | m2://inv/WY8MJJZ7MZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Empty domain, Empty domain (definition). Also Wikidata Q5374734
History
- 2026-11-02: add by m2/dev
WY8MJSGNXP WY8MJSGNXP
| URI | m2://inv/WY8MJSGNXP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39293#3LME (statement). In S26QVW5613/e1, lemma 5.2.9
History
- 2026-10-30: add by m2/v0.4.12
Formation WY8Y4TZ189
| URI | m2://inv/WY8Y4TZ189 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Formation (group theory), Formation (definition). Also Wikidata Q4491882
History
- 2026-11-02: add by m2/dev
Paratingent cone WY97CCAVY0
| URI | m2://inv/WY97CCAVY0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Paratingent cone, Paratingent cone (definition). Also Wikidata Q7136160
History
- 2026-11-02: add by m2/dev
Marthana Hjortland WY99Q229VS
| URI | m2://inv/WY99Q229VS |
|---|---|
| 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#L1Q9, Marthana Hjortland (unknown)
History
- 2026-11-02: add by m2/dev
Formal definition WY9DQ432Q0
| URI | m2://inv/WY9DQ432Q0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Unitary transformation#ED6N, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
The likelihood principle WY9FBNNTZS
| URI | m2://inv/WY9FBNNTZS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Foundations of statistics#63C4, The likelihood principle (statement)
History
- 2026-11-02: add by m2/dev
WY9G0S7P34 WY9G0S7P34
| URI | m2://inv/WY9G0S7P34 |
|---|---|
| Kind | statement |
| 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#2655 (statement). In 7V3HG30ZGW/e1, theorem 6.17
History
- 2026-10-27: add by m2/v0.4.0
Sequential composition WY9GDPKQ4H
| URI | m2://inv/WY9GDPKQ4H |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Process calculus#WF37, Sequential composition (unknown)
History
- 2026-11-02: add by m2/dev
Country Walk WY9R9NPVQ1
| URI | m2://inv/WY9R9NPVQ1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of U.S. communities with Hispanic-majority populations in the 2000 census#O6QY, Country Walk (unknown)
History
- 2026-11-02: add by m2/dev
WYA2XFZRFM WYA2XFZRFM
| URI | m2://inv/WYA2XFZRFM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2502.09442#8L8S (statement). In DNT32YYDM4/e1, theorem 4.3
History
- 2026-10-27: add by m2/v0.4.0
WYA46VH1CE WYA46VH1CE
| URI | m2://inv/WYA46VH1CE |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book reals.tex#ex:RD-lower-cuts (exercise). In N54F33XE07, ex, section B.6
History
- 2026-11-01: add by m2/v0.6.13
Hahn, Marjorie WYA4C1E2V3
| URI | m2://inv/WYA4C1E2V3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#OQL0, Hahn, Marjorie (topic)
History
- 2026-11-02: add by m2/dev
WYA5FJYMBS WYA5FJYMBS
| URI | m2://inv/WYA5FJYMBS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12329#XVUQ (statement). In ZJQB9W60T6/e1, lemma 3.7
History
- 2026-10-28: add by m2/v0.4.2
Listwise deletion WYA7JGACYW
| URI | m2://inv/WYA7JGACYW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Listwise deletion, Listwise deletion (definition). Also Wikidata Q6647277
History
- 2026-11-02: add by m2/dev
WYA89WJGDG WYA89WJGDG
| URI | m2://inv/WYA89WJGDG |
|---|---|
| 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.00078#CGP9 (statement). In KXYGWSGP9M/e1, proposition 4.5
History
- 2026-10-30: add by m2/v0.4.12
WYAA7KTF06 WYAA7KTF06
| URI | m2://inv/WYAA7KTF06 |
|---|---|
| Kind | definition |
| 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 2404.18690#99BG (definition). In MDCJJJRQ2X/e1, definition 1.2
History
- 2026-10-27: add by m2/v0.3.5
WYACXYF2VS WYACXYF2VS
| URI | m2://inv/WYACXYF2VS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 20-XX, 22-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14278#MEJ1 (statement). In RTE2C0PH4S/e1, lemma 5.3
History
- 2026-10-28: add by m2/v0.4.2
Quater-imaginary base WYAFVN1BRW
| URI | m2://inv/WYAFVN1BRW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quater-imaginary base, Quater-imaginary base (definition). Also Wikidata Q130513
History
- 2026-11-02: add by m2/dev
Multiple packing WYAHAC5XE1
| URI | m2://inv/WYAHAC5XE1 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 51-XX, 52-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 2211.04407#2DE8, Multiple packing (definition). In XCZS191H6Q/e1, definition 1
History
- 2026-10-27: add by m2/v0.3.6
WYAJ09Z5NB WYAJ09Z5NB
| URI | m2://inv/WYAJ09Z5NB |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 16-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 2610.18302#CVFU (example). In VJTRH1S4JA/e1, example 3.6
History
- 2026-10-28: add by m2/v0.4.2
WYAMSBE7BA WYAMSBE7BA
| URI | m2://inv/WYAMSBE7BA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12819#9OO1 (statement). In JW8S0XEMWG/e1, corollary 3.2
History
- 2026-10-28: add by m2/v0.4.2
strict, order WYANXY2KAW
| URI | m2://inv/WYANXY2KAW |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/B.3.3/strict-order, strict, order (concept). In N54F33XE07, index, section B.3.3
History
- 2026-11-01: add by m2/v0.6.13
WYAV9T0F2V WYAV9T0F2V
| URI | m2://inv/WYAV9T0F2V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14838#PMVA (statement). In J7ZX3WWRQP/e1, proposition 2.3
History
- 2026-10-28: add by m2/v0.4.2
Counterexample WYB2YSH0MF
| URI | m2://inv/WYB2YSH0MF |
|---|---|
| Kind | counterexample |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Open mapping theorem (functional analysis)#KWMB, Counterexample (counterexample)
History
- 2026-11-02: add by m2/dev
WYB2ZHMSE3 WYB2ZHMSE3
| URI | m2://inv/WYB2ZHMSE3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX, 57-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.06747#A1UY (statement). In AB2WPR2FRR/e1, lemma 5.5
History
- 2026-10-29: add by m2/v0.4.10
Conjugate point WYB40TWFHA
| URI | m2://inv/WYB40TWFHA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical properties of points#D5U6, Conjugate point (definition)
History
- 2026-11-02: add by m2/dev
WYB8C2QC86 WYB8C2QC86
| URI | m2://inv/WYB8C2QC86 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 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 2610.13100#2KB9 (statement). In CC6S1HVK0T/e1, lemma 5.2
History
- 2026-10-28: add by m2/v0.4.2
dissection puzzle WYBBD0D9YE
| URI | m2://inv/WYBBD0D9YE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5282744, dissection puzzle (unknown). Also MathWorld Dissection
History
- 2026-10-26: add by m2/dev
Applications WYBM7FFW7T
| URI | m2://inv/WYBM7FFW7T |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ordination (statistics)#7Q29, Applications (example)
History
- 2026-11-02: add by m2/dev
WYBPMZXRPN WYBPMZXRPN
| URI | m2://inv/WYBPMZXRPN |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-metric.tex#example-3 (example). In E59CDZA4DP, example, section 4.1
History
- 2026-11-01: add by m2/v0.6.13
WYBR0NF6Y5 WYBR0NF6Y5
| URI | m2://inv/WYBR0NF6Y5 |
|---|---|
| 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.40101#5NZF (statement). In D6H8CCRZTC/e1, theorem
History
- 2026-10-30: add by m2/v0.4.12
∨ WYBVXYW63T
| URI | m2://inv/WYBVXYW63T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of mathematical symbols#Z2E9, ∨ (definition)
History
- 2026-11-02: add by m2/dev
Jacques Devisme WYBW686657
| URI | m2://inv/WYBW686657 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#HDMW, Jacques Devisme (unknown)
History
- 2026-11-02: add by m2/dev
WYC0AFE8FC WYC0AFE8FC
| URI | m2://inv/WYC0AFE8FC |
|---|---|
| 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.04323#FF68 (statement). In 3Z0D2NCJ0B/e1, lemma 22
History
- 2026-10-29: add by m2/v0.4.12
Prefix induction WYC0X080H3
| URI | m2://inv/WYC0X080H3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathematical induction#HPCJ, Prefix induction (unknown)
History
- 2026-11-02: add by m2/dev
Georges Lemaître WYC4BVEPBM
| URI | m2://inv/WYC4BVEPBM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q12998, Georges Lemaître (unknown). Also nLab Georges Lemaître, ProofWiki Mathematician:Georges_Henri_Joseph_Édouard_Lemaître
History
- 2026-10-26: add by m2/dev
Jorge Urrutia WYC75FQHJC
| URI | m2://inv/WYC75FQHJC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#751Y, Jorge Urrutia (topic)
History
- 2026-11-02: add by m2/dev
Complete class theorem WYCFPAWNRC
| URI | m2://inv/WYCFPAWNRC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Complete class theorem, Complete class theorem (statement). Also Wikidata Q131733221
History
- 2026-11-02: add by m2/dev
WYCQD81G30 WYCQD81G30
| URI | m2://inv/WYCQD81G30 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20550#FWIE (statement)
History
- 2026-11-02: add by m2/v0.6.18
Van der Meer formula WYCQGA825K
| URI | m2://inv/WYCQGA825K |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Van der Meer formula, Van der Meer formula (statement). Also Wikidata Q61989930
History
- 2026-11-02: add by m2/dev
Definition WYCYHJ35R2
| URI | m2://inv/WYCYHJ35R2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ershov number#OHIL, Definition (definition)
History
- 2026-11-02: add by m2/dev
WYCZT06GF3 WYCZT06GF3
| URI | m2://inv/WYCZT06GF3 |
|---|---|
| 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.21680#NXEB (statement)
History
- 2026-11-02: add by m2/v0.6.18
Hypersurface WYD08QZY35
| URI | m2://inv/WYD08QZY35 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hypersurface, Hypersurface (definition). Also Wikidata Q973321
History
- 2026-11-02: add by m2/dev
Underlying $G$-spectrum WYD5SEVNGW
| URI | m2://inv/WYD5SEVNGW |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21675#XBVW, Underlying $G$-spectrum (definition). In TB1294GY5X/e1, definition B.3
History
- 2026-10-27: add by m2/v0.4.2
WYDG0HHSVV WYDG0HHSVV
| URI | m2://inv/WYDG0HHSVV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of mathematical symbols#0BHM (definition)
History
- 2026-11-02: add by m2/dev
Pfister's sixteen-square identity WYE35PDMZX
| URI | m2://inv/WYE35PDMZX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical identities#OW2I, Pfister's sixteen-square identity (statement)
History
- 2026-11-02: add by m2/dev
WYE6AE2NXH WYE6AE2NXH
| URI | m2://inv/WYE6AE2NXH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33733#9AR1 (statement). In QBAP8C82FG/e1, lemma 24
History
- 2026-10-30: add by m2/v0.4.12
WYE7044KPT WYE7044KPT
| URI | m2://inv/WYE7044KPT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21921#1U2Q (statement). In CM2YEK9T4F/e1, theorem 6.2
History
- 2026-10-27: add by m2/v0.4.2
WYEA1210RC WYEA1210RC
| URI | m2://inv/WYEA1210RC |
|---|---|
| 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#EWKF (statement). In M9CSGRSRB3/e1, theorem 3.11
History
- 2026-10-31: add by m2/v0.5.6
WYEJSKF24D WYEJSKF24D
| URI | m2://inv/WYEJSKF24D |
|---|---|
| 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.09672#JVBU (statement). In TXBXCPP0QH/e1, lemma 42
History
- 2026-10-29: add by m2/v0.4.10
Glivenko–Cantelli theorem WYEVRZZ3KS
| URI | m2://inv/WYEVRZZ3KS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#XQBT, Glivenko–Cantelli theorem (statement)
- wikipedia: Wikipedia List of probability topics#9JQJ, Glivenko–Cantelli theorem (statement)
History
- 2026-11-02: add by m2/dev
WYF27QHW4X WYF27QHW4X
| URI | m2://inv/WYF27QHW4X |
|---|---|
| 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.31615#ALTF (statement). In TNV6XTEWEG/e1, lemma 1.4
History
- 2026-10-31: add by m2/v0.5.6
WYF4K0THXZ WYF4K0THXZ
| URI | m2://inv/WYF4K0THXZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 55-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30579#U8X9 (statement). In FDYZFDHZH9/e1, lemma 4.8
History
- 2026-10-31: add by m2/v0.5.6
standard inner product WYF9XPPGKD
| URI | m2://inv/WYF9XPPGKD |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs index/2.5.1/standard-inner-product, standard inner product (concept). In E9HS8K3A52, index, section 2.5.1
History
- 2026-11-01: add by m2/v0.6.13
WYFAM2BQ5Z WYFAM2BQ5Z
| URI | m2://inv/WYFAM2BQ5Z |
|---|---|
| Kind | problem |
| 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 2504.14383#BW7X (problem). In QD0X3XJS6T/e1, problem 1.10
History
- 2026-10-27: add by m2/v0.3.5
WYFHGKJCES WYFHGKJCES
| URI | m2://inv/WYFHGKJCES |
|---|---|
| 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#80M8 (statement). In CY1FE8W1ZW/e1, lemma 0.45
History
- 2026-10-27: add by m2/v0.3.5
Generalized Gauss–Newton method WYFJVAERQN
| URI | m2://inv/WYFJVAERQN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalized Gauss–Newton method, Generalized Gauss–Newton method (definition). Also Wikidata Q5532438
History
- 2026-11-02: add by m2/dev
WYFK80M37E WYFK80M37E
| URI | m2://inv/WYFK80M37E |
|---|---|
| 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.17479#K2I6 (statement). In 4FWAY748N7/e1, lemma 4.8
History
- 2026-10-28: add by m2/v0.4.2
Definition WYFMNC9GV7
| URI | m2://inv/WYFMNC9GV7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia F-coalgebra#KYC9, Definition (definition)
History
- 2026-11-02: add by m2/dev
WYFN5TQ49D WYFN5TQ49D
| URI | m2://inv/WYFN5TQ49D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08253#P2PC (statement). In 6AD2CTF0QF/e1, theorem 3.2
History
- 2026-10-29: add by m2/v0.4.10
WYFSA1WBMG WYFSA1WBMG
| URI | m2://inv/WYFSA1WBMG |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2207.11097#PPF1 (definition). In 13H5BTAXHF/e1, definition 5
History
- 2026-10-27: add by m2/v0.3.5
WYFTGRP1AP WYFTGRP1AP
| URI | m2://inv/WYFTGRP1AP |
|---|---|
| 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 2504.09464#151L (statement). In RN1XRCS2CH/e1, corollary 15
History
- 2026-10-27: add by m2/v0.3.6
WYFTTQSN8D WYFTTQSN8D
| URI | m2://inv/WYFTTQSN8D |
|---|---|
| Kind | definition |
| 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 2609.32300#AWJR (definition). In VNE8N0D2FB/e1, definition 4.2
History
- 2026-10-31: add by m2/v0.5.6
Examples WYG2JB9T50
| URI | m2://inv/WYG2JB9T50 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orlicz space#0LBG, Examples (example)
History
- 2026-11-02: add by m2/dev
William Ruggles WYG5PBBJRJ
| URI | m2://inv/WYG5PBBJRJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia William Ruggles, William Ruggles (topic). Also Wikidata Q8017830
History
- 2026-11-02: add by m2/dev
CUSUM WYGBJWW6RC
| URI | m2://inv/WYGBJWW6RC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia CUSUM, CUSUM (definition). Also Wikidata Q1024555
History
- 2026-11-02: add by m2/dev
List of things named after Hermann Minkowski WYGBXN5GBX
| URI | m2://inv/WYGBXN5GBX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lists of mathematics topics#LGZ8, List of things named after Hermann Minkowski (unknown)
History
- 2026-11-02: add by m2/dev
WYGDZTTG0X WYGDZTTG0X
| URI | m2://inv/WYGDZTTG0X |
|---|---|
| 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.06381#48JL (statement). In X9JKBDHACW/e1, lemma 5.6
History
- 2026-10-29: add by m2/v0.4.10
WYGG6NAWJ2 WYGG6NAWJ2
| URI | m2://inv/WYGG6NAWJ2 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 13-XX, 16-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14060#GO39 (definition). In X47RYAZF8P/e1, definition 6.2
History
- 2026-10-28: add by m2/v0.4.2
Nicolaas Kuiper WYGHCY5E5Z
| URI | m2://inv/WYGHCY5E5Z |
|---|---|
| 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 Q464173, Nicolaas Kuiper (unknown). Also nLab Nicolaas Kuiper
- wikipedia: Wikipedia Nicolaas Kuiper, Nicolaas Kuiper (topic). Also Wikidata Q464173
History
- 2026-10-26: add by m2/dev
WYGMK9YJ5B WYGMK9YJ5B
| URI | m2://inv/WYGMK9YJ5B |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/measure/measure-space.tex#proof-1 (proof). In RZP28ERRZV, proof, section 67.7
History
- 2026-11-01: add by m2/v0.6.13
Zappa–Szép product WYGWPZC9TA
| URI | m2://inv/WYGWPZC9TA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zappa–Szép product, Zappa–Szép product (definition). Also Wikidata Q17104770
History
- 2026-11-02: add by m2/dev
Definition WYH20VSQAB
| URI | m2://inv/WYH20VSQAB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cauchy wavelet#350H, Definition (definition)
History
- 2026-11-02: add by m2/dev
WYH23YWRSW WYH23YWRSW
| URI | m2://inv/WYH23YWRSW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08583#SGJW (statement). In 5EKTECQ2P1/e1, theorem 2.14
History
- 2026-10-29: add by m2/v0.4.10
ADMB WYH2832R3F
| URI | m2://inv/WYH2832R3F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#ZCMQ, ADMB (definition)
History
- 2026-11-02: add by m2/dev
Dima Von-Der-Flaass WYHE0FNPXD
| URI | m2://inv/WYHE0FNPXD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dima Von-Der-Flaass, Dima Von-Der-Flaass (topic). Also Wikidata Q4491621
History
- 2026-11-02: add by m2/dev
Jets WYHH68MFSP
| URI | m2://inv/WYHH68MFSP |
|---|---|
| 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#K8O0, Jets (statement). In 2Y47E704Z9/e1, lemma A.1
History
- 2026-10-29: add by m2/v0.4.10
chi WYHHXQKY7G
| URI | m2://inv/WYHHXQKY7G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#ZAF8, chi (definition)
History
- 2026-11-02: add by m2/dev
SAR and the SAR paradox WYHK0Q5PT7
| URI | m2://inv/WYHK0Q5PT7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quantitative structure–activity relationship#WTPK, SAR and the SAR paradox (statement)
History
- 2026-11-02: add by m2/dev
WYHWN32H31 WYHWN32H31
| URI | m2://inv/WYHWN32H31 |
|---|---|
| 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 2609.33313#EXQK (definition). In HRCEFY172P/e1, definition A.1
History
- 2026-10-30: add by m2/v0.4.12
WYHZR26DNG WYHZR26DNG
| URI | m2://inv/WYHZR26DNG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33219#9JHG (statement). In ETTQWMJZXJ/e1, theorem 5
History
- 2026-10-30: add by m2/v0.4.12
WYJ08D0S1C WYJ08D0S1C
| URI | m2://inv/WYJ08D0S1C |
|---|---|
| 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.26041#OFPB (statement)
History
- 2026-11-01: add by m2/v0.6.15
WYJ9J55MJE WYJ9J55MJE
| URI | m2://inv/WYJ9J55MJE |
|---|---|
| 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 2411.17227#HDEX (statement). In DDNP38CHQJ/e1, lemma 2.2
History
- 2026-10-27: add by m2/v0.3.5
The diagonal case WYJ9MWV51R
| URI | m2://inv/WYJ9MWV51R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30544#5RC9, The diagonal case (statement). In CB35ZBBBPT/e1, theorem B
History
- 2026-10-31: add by m2/v0.5.6
WYJ9Q0AVW4 WYJ9Q0AVW4
| URI | m2://inv/WYJ9Q0AVW4 |
|---|---|
| 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.28993#467Q (statement)
History
- 2026-11-01: add by m2/v0.6.15
Variational inequality WYJCR988EA
| URI | m2://inv/WYJCR988EA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Obstacle problem#6BIH, Variational inequality (statement)
History
- 2026-11-02: add by m2/dev
WYJDTX0PDN WYJDTX0PDN
| URI | m2://inv/WYJDTX0PDN |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22218#0TCK (definition). In 338GKREFVP/e1, definition 11
History
- 2026-10-27: add by m2/v0.4.0
WYJMHH1F7X WYJMHH1F7X
| URI | m2://inv/WYJMHH1F7X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21866#CT68 (statement). In Q3NMYW8ANH/e1, theorem 1.11
History
- 2026-10-27: add by m2/v0.4.2
WYJREF7950 WYJREF7950
| URI | m2://inv/WYJREF7950 |
|---|---|
| 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.05193#QB16 (statement). In XDMM0KNNZ9/e1, lemma 44
History
- 2026-10-29: add by m2/v0.4.10
tensor contraction WYK05SHTTD
| URI | m2://inv/WYK05SHTTD |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q428091, tensor contraction (concept). Also MathWorld TensorContraction
- wikipedia: Wikipedia Tensor contraction, Tensor contraction (definition). Also Wikidata Q428091
History
- 2026-10-26: add by m2/dev
WYK44492SB WYK44492SB
| URI | m2://inv/WYK44492SB |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/computability/recursive-functions/sequences.tex#proof-4 (proof). In PKGMM3P5QY, proof, section 4.1
History
- 2026-11-01: add by m2/v0.6.13
WYK5X66PMH WYK5X66PMH
| URI | m2://inv/WYK5X66PMH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 62-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.30220#SF77 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Pamela J. Bjorkman WYK6T87E6Q
| URI | m2://inv/WYK6T87E6Q |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#P8VW, Pamela J. Bjorkman (unknown)
History
- 2026-11-02: add by m2/dev
Two-level improvement over a flat Bernstein union bound WYKAETJFFG
| URI | m2://inv/WYKAETJFFG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19207#35A9, Two-level improvement over a flat Bernstein union bound (statement). In BH3R0BA3PC/e1, corollary 4
History
- 2026-10-28: add by m2/v0.4.2
WYKH7A61CM WYKH7A61CM
| URI | m2://inv/WYKH7A61CM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08293#D1X7 (statement). In 90A5DJG27R/e1, proposition 3
History
- 2026-10-29: add by m2/v0.4.10
Differential Galois theory WYKJND386Y
| URI | m2://inv/WYKJND386Y |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic geometry topics#9I3S, Differential Galois theory (topic)
History
- 2026-11-02: add by m2/dev
WYKKB1JF9J WYKKB1JF9J
| URI | m2://inv/WYKKB1JF9J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2004.12552#AGCD (statement). In TWPE10CZ1S/e1, corollary 5.8
History
- 2026-10-27: add by m2/v0.3.5
Poisson–Mellin–Newton cycle WYKM7SGYFA
| URI | m2://inv/WYKM7SGYFA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nørlund–Rice integral#EJGF, Poisson–Mellin–Newton cycle (unknown)
History
- 2026-11-02: add by m2/dev
Robert McNaughton WYKTBQ280F
| URI | m2://inv/WYKTBQ280F |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Robert McNaughton, Robert McNaughton (topic). Also Wikidata Q20739459
History
- 2026-11-02: add by m2/dev
WYKTZQT24K WYKTZQT24K
| URI | m2://inv/WYKTZQT24K |
|---|---|
| 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.02079#B8U9 (statement). In CNS2J2E4T2/e1, proposition 18
History
- 2026-10-29: add by m2/v0.4.12
WYKYPX85WC WYKYPX85WC
| URI | m2://inv/WYKYPX85WC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2504.01057#CV3Z (statement). In 69QFBXJENW/e1, proposition 3.10
History
- 2026-10-27: add by m2/v0.3.5
Strict concavity of maximal covariance WYM0WYMF73
| URI | m2://inv/WYM0WYMF73 |
|---|---|
| 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#VXGQ, Strict concavity of maximal covariance (statement). In 9YAE8FNQST/e1, lemma 16.2
History
- 2026-10-30: add by m2/v0.4.12
Formal definition WYM4AS9H52
| URI | m2://inv/WYM4AS9H52 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Straight-line program#MTA9, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
WYMQWHMSNJ WYMQWHMSNJ
| URI | m2://inv/WYMQWHMSNJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02506#BIGK (statement). In 3JKRBZWJ33/e1, lemma 3.8
History
- 2026-10-29: add by m2/v0.4.12
Fourier bound for $R_u(X_0)$ WYMXRZQH1H
| URI | m2://inv/WYMXRZQH1H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14509#22N0, Fourier bound for $R_u(X_0)$ (statement). In N6GD8392QB/e1, proposition 11.15
History
- 2026-10-28: add by m2/v0.4.2
Examples WYN6JCVN2Q
| URI | m2://inv/WYN6JCVN2Q |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sheaf of modules#6M18, Examples (example)
History
- 2026-11-02: add by m2/dev
WYN716HMHN WYN716HMHN
| URI | m2://inv/WYN716HMHN |
|---|---|
| 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.23237#GHN4 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Several complex variables WYN8BD7WG8
| URI | m2://inv/WYN8BD7WG8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of complex analysis topics#95N7, Several complex variables (definition)
History
- 2026-11-02: add by m2/dev
SYSTAT WYN9JWQ0SJ
| URI | m2://inv/WYN9JWQ0SJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia SYSTAT (statistics package), SYSTAT (definition). Also Wikidata Q117882
History
- 2026-11-02: add by m2/dev
Finite etale surjective ordinary branch WYNHWT0MDC
| URI | m2://inv/WYNHWT0MDC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33808#PVEB, Finite etale surjective ordinary branch (statement). In 328KGRNN0W/e1, proposition 5.7
History
- 2026-10-30: add by m2/v0.4.12
Omer Reingold WYNRV845R9
| URI | m2://inv/WYNRV845R9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#6EIE, Omer Reingold (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#SYM5, Omer Reingold (unknown)
History
- 2026-11-02: add by m2/dev
WYNX8JH03P WYNX8JH03P
| URI | m2://inv/WYNX8JH03P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26129#5ZSJ (statement)
History
- 2026-11-01: add by m2/v0.6.15
WYP1XDCX7G WYP1XDCX7G
| URI | m2://inv/WYP1XDCX7G |
|---|---|
| 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.23238#BO5J (statement)
History
- 2026-11-02: add by m2/v0.6.17
Life table WYP3FQQ69X
| URI | m2://inv/WYP3FQQ69X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Life table, Life table (definition). Also Wikidata Q632184
History
- 2026-11-02: add by m2/dev
WYP6ZWRFW2 WYP6ZWRFW2
| URI | m2://inv/WYP6ZWRFW2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10505#5MY3 (statement). In JW8HH6EPG2/e1, lemma 5.9
History
- 2026-10-29: add by m2/v0.4.10
Susan S. Ellenberg WYP7Y0DV8K
| URI | m2://inv/WYP7Y0DV8K |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#3Q25, Susan S. Ellenberg (topic)
History
- 2026-11-02: add by m2/dev
Dorothy Maharam WYPBQ5F93G
| URI | m2://inv/WYPBQ5F93G |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#MNO8, Dorothy Maharam (topic)
History
- 2026-11-02: add by m2/dev
Examples WYPFGRNFHQ
| URI | m2://inv/WYPFGRNFHQ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Immanant#W56L, Examples (example)
History
- 2026-11-02: add by m2/dev
FL WYPT49E2Q4
| URI | m2://inv/WYPT49E2Q4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia FL (complexity), FL (definition). Also Wikidata Q5426585
History
- 2026-11-02: add by m2/dev
WYPVP28BYT WYPVP28BYT
| URI | m2://inv/WYPVP28BYT |
|---|---|
| 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.07673#U1L5 (statement). In 37B1MPV8GX/e1, proposition 2.2
History
- 2026-10-29: add by m2/v0.4.10
WYPWBPSDKD WYPWBPSDKD
| URI | m2://inv/WYPWBPSDKD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39293#IQLZ (statement). In S26QVW5613/e1, lemma 2.1.10
History
- 2026-10-30: add by m2/v0.4.12
WYQCGJ2K12 WYQCGJ2K12
| URI | m2://inv/WYQCGJ2K12 |
|---|---|
| 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#O3WK (statement). In CY1FE8W1ZW/e1, lemma 0.22
History
- 2026-10-27: add by m2/v0.4.0
WYQP2B4YQ0 WYQP2B4YQ0
| URI | m2://inv/WYQP2B4YQ0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1909.03896#APUN (statement). In CX9RVPQVBM/e1, theorem 5
History
- 2026-10-27: add by m2/v0.3.5
Cohen–Macaulay WYQTGQCYM9
| URI | m2://inv/WYQTGQCYM9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#H98V, Cohen–Macaulay (definition)
History
- 2026-11-02: add by m2/dev
WYR9TGPVRH WYR9TGPVRH
| URI | m2://inv/WYR9TGPVRH |
|---|---|
| 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.40274#LLP4 (statement). In 7ZDNJC9MST/e1, proposition 2.9
History
- 2026-10-30: add by m2/v0.4.12
WYRA48PAH4 WYRA48PAH4
| URI | m2://inv/WYRA48PAH4 |
|---|---|
| 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.20860#CXUG (statement)
History
- 2026-11-02: add by m2/v0.6.18
Generalized Pareto distribution WYREXJ469X
| URI | m2://inv/WYREXJ469X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability distributions#EGBT, Generalized Pareto distribution (definition)
History
- 2026-11-02: add by m2/dev
WYRFBBV2VR WYRFBBV2VR
| URI | m2://inv/WYRFBBV2VR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-approximate.tex#prop:SWinterpolate (statement). In E59CDZA4DP, prop, section 1.7.2
History
- 2026-11-01: add by m2/v0.6.13
WYRFCRYS5S WYRFCRYS5S
| URI | m2://inv/WYRFCRYS5S |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/ord-arithmetic/using-addition.tex#proof-2 (proof). In PKGMM3P5QY, proof, section 72.1
History
- 2026-11-01: add by m2/v0.6.13
Definitions WYRK7T5447
| URI | m2://inv/WYRK7T5447 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Competitive equilibrium#XL74, Definitions (definition)
History
- 2026-11-02: add by m2/dev
WYRMY6ETM2 WYRMY6ETM2
| URI | m2://inv/WYRMY6ETM2 |
|---|---|
| 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 2610.03422#4POH (statement). In SF88CM0957/e1, lemma 4.5
History
- 2026-10-29: add by m2/v0.4.12
WYRNRRZMXC WYRNRRZMXC
| URI | m2://inv/WYRNRRZMXC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40156#PP5P (statement). In PP8BEHWK33/e1, proposition 2
History
- 2026-10-30: add by m2/v0.4.12
WYRX2KW1CJ WYRX2KW1CJ
| URI | m2://inv/WYRX2KW1CJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33590#T3E3 (statement). In WRE0P7V6Z3/e1, corollary 4.6
History
- 2026-10-30: add by m2/v0.4.12
Abhyankar's lemma WYRYW6847S
| URI | m2://inv/WYRYW6847S |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Abhyankar's lemma, Abhyankar's lemma (statement). Also Wikidata Q4667496
History
- 2026-11-02: add by m2/dev
Fibre kernel bound WYS0AVZ1BH
| URI | m2://inv/WYS0AVZ1BH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14509#2DVE, Fibre kernel bound (statement). In N6GD8392QB/e1, proposition 11.12
History
- 2026-10-28: add by m2/v0.4.2
WYS2A282M3 WYS2A282M3
| URI | m2://inv/WYS2A282M3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2606.00589#AF5K (statement). In C8JAGP8VCQ/e1, lemma 4.2
History
- 2026-10-27: add by m2/v0.3.5
Daniel Kressner WYS6K2XDRE
| URI | m2://inv/WYS6K2XDRE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Daniel Kressner, Daniel Kressner (topic). Also Wikidata Q46176182
History
- 2026-11-02: add by m2/dev
Minimum support and lower-order R\'enyi entropies WYS7ZA8581
| URI | m2://inv/WYS7ZA8581 |
|---|---|
| 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#XISL, Minimum support and lower-order R\'enyi entropies (statement). In 9YAE8FNQST/e1, corollary 23.2
History
- 2026-10-30: add by m2/v0.4.12
Sharpness of the entropic rate WYS7ZXT5FV
| URI | m2://inv/WYS7ZXT5FV |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 60-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20178#FV90, Sharpness of the entropic rate (example). In Z53NCTCEXE/e1, example 4.1
History
- 2026-10-27: add by m2/v0.3.5
WYS9PZY0E8 WYS9PZY0E8
| URI | m2://inv/WYS9PZY0E8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21914#GSKK (statement)
History
- 2026-11-02: add by m2/v0.6.17
WYSCWBQN8J WYSCWBQN8J
| URI | m2://inv/WYSCWBQN8J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-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.11545#A3GV (statement). In VN084GGZGK/e1, lemma 2.6
History
- 2026-10-28: add by m2/v0.4.3
WYSDK3V16V WYSDK3V16V
| URI | m2://inv/WYSDK3V16V |
|---|---|
| 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.03988#6FJD (statement). In PQ2X97H1T9/e1, lemma 3.2
History
- 2026-10-29: add by m2/v0.4.12
Example WYSR86415N
| URI | m2://inv/WYSR86415N |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Horner's method#FSIC, Example (example)
History
- 2026-11-02: add by m2/dev
Implementation WYSSEXTY65
| URI | m2://inv/WYSSEXTY65 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Off-the-Record Messaging protocol#IIFV, Implementation (definition)
History
- 2026-11-02: add by m2/dev
Beth Definability Theorem WYST65S4CW
| URI | m2://inv/WYST65S4CW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/proof-theory/cut-elimination/interpolation.tex#lem-1, Beth Definability Theorem (statement). In PKGMM3P5QY, lem, section 57.1
History
- 2026-11-01: add by m2/v0.6.13
WYSTJJRA8T WYSTJJRA8T
| URI | m2://inv/WYSTJJRA8T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09704#0QW3 (statement). In FNG4B47MRV/e1, theorem 1.2
History
- 2026-10-29: add by m2/v0.4.10
Levy WYSTQ4CD9J
| URI | m2://inv/WYSTQ4CD9J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19283#9YB7, Levy (statement). In 28BAGZRCKG/e1, theorem 3.1
History
- 2026-10-28: add by m2/v0.4.2
Young, Allyn Abbott WYSXJ7WEDC
| URI | m2://inv/WYSXJ7WEDC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#WIHR, Young, Allyn Abbott (unknown)
History
- 2026-11-02: add by m2/dev
Algebraic properties WYSZNN3C6S
| URI | m2://inv/WYSZNN3C6S |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Möbius–Kantor graph#UKMU, Algebraic properties (statement)
History
- 2026-11-02: add by m2/dev
WYT3RKBT3Q WYT3RKBT3Q
| URI | m2://inv/WYT3RKBT3Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09704#80E3 (statement). In FNG4B47MRV/e1, lemma 6.6
History
- 2026-10-29: add by m2/v0.4.10
WYT5WXANEM WYT5WXANEM
| URI | m2://inv/WYT5WXANEM |
|---|---|
| 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 2109.12716#5MD2 (statement). In 6X76XBE3HV/e1, lemma 4.2
History
- 2026-10-27: add by m2/v0.3.5
Split fields generate \(\mathfrak o(d_u,d_v)\ WYTN6M4BGB
| URI | m2://inv/WYTN6M4BGB |
|---|---|
| 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.09356#GUMY, Split fields generate \(\mathfrak o(d_u,d_v)\ (statement). In 3VVGPXWH6R/e1, proposition D.1
History
- 2026-10-29: add by m2/v0.4.10
Hamilton's Rule WYTPF4XCZP
| URI | m2://inv/WYTPF4XCZP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kin selection#KSEP, Hamilton's Rule (unknown)
History
- 2026-11-02: add by m2/dev
completion WYVBWSXJYB
| URI | m2://inv/WYVBWSXJYB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#N184, completion (definition)
History
- 2026-11-02: add by m2/dev
WYVC21SG8E WYVC21SG8E
| URI | m2://inv/WYVC21SG8E |
|---|---|
| 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.10576#QPJK (statement). In N3ZA5MDZBW/e1, corollary 9
History
- 2026-10-29: add by m2/v0.4.10
George G. Roussas WYVF4HV4RY
| URI | m2://inv/WYVF4HV4RY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#WZT0, George G. Roussas (topic)
History
- 2026-11-02: add by m2/dev
Splitting lemma WYVJ9N57CG
| URI | m2://inv/WYVJ9N57CG |
|---|---|
| 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.31269#VXG6, Splitting lemma (statement). In ZPT9XCCAPQ/e1, lemma 2.2.3
History
- 2026-10-31: add by m2/v0.5.6
Unique hollowing forms of minimally hollowing spaces WYVJQCX4VF
| URI | m2://inv/WYVJQCX4VF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14509#B7ZT, Unique hollowing forms of minimally hollowing spaces (statement). In N6GD8392QB/e1, proposition 11.2
History
- 2026-10-28: add by m2/v0.4.2
type, function WYW21VB75A
| URI | m2://inv/WYW21VB75A |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/1.9/type-function, type, function (concept). In N54F33XE07, index, section 1.9
History
- 2026-11-01: add by m2/v0.6.13
Constructions WYWEJ7TQ18
| URI | m2://inv/WYWEJ7TQ18 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hilbert space#O7C5, Constructions (definition)
History
- 2026-11-02: add by m2/dev
Louis Maillard WYWGCAZJQY
| URI | m2://inv/WYWGCAZJQY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#YPLJ, Louis Maillard (unknown)
History
- 2026-11-02: add by m2/dev
Frobenius companion matrix WYWGNCMQ25
| URI | m2://inv/WYWGNCMQ25 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Ferdinand Georg Frobenius#0LJY, Frobenius companion matrix (definition)
History
- 2026-11-02: add by m2/dev
Capacities and water-filling WYWHH82NEZ
| URI | m2://inv/WYWHH82NEZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22308#3Z17, Capacities and water-filling (statement). In 4QN87R0P1G/e1, corollary 3
History
- 2026-10-27: add by m2/v0.4.0
WYWNM142EB WYWNM142EB
| URI | m2://inv/WYWNM142EB |
|---|---|
| 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.02489#NMZN (statement). In ZCJDWDR16Z/e1, proposition 3.1
History
- 2026-10-29: add by m2/v0.4.12
Jacobian bound implies unfiltered gap WYWRVXB01C
| URI | m2://inv/WYWRVXB01C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05953#PCR5, Jacobian bound implies unfiltered gap (statement). In P3XHJ1VB8C/e1, lemma 8
History
- 2026-10-29: add by m2/v0.4.10
Statement WYWW31P1SC
| URI | m2://inv/WYWW31P1SC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Star of David theorem#2SUP, Statement (statement)
History
- 2026-11-02: add by m2/dev
WYWZQEH2YJ WYWZQEH2YJ
| URI | m2://inv/WYWZQEH2YJ |
|---|---|
| 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#62FK (statement). In 41NFABHFXH/e1, lemma 8.2
History
- 2026-10-30: add by m2/v0.4.12
WYX19F3V9S WYX19F3V9S
| URI | m2://inv/WYX19F3V9S |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/diffgeo/forms.tex#ques-1 (exercise). In RZP28ERRZV, ques, section 43.4
History
- 2026-11-01: add by m2/v0.6.13
WYX3H9R4CJ WYX3H9R4CJ
| URI | m2://inv/WYX3H9R4CJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1209.3562#R8D2 (statement). In KZH1DCS18C/e1, theorem 6.1
History
- 2026-10-27: add by m2/v0.3.5
WYX5SS0G7Z WYX5SS0G7Z
| URI | m2://inv/WYX5SS0G7Z |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-metric.tex#exercise-50 (exercise). In E59CDZA4DP, exercise, section 4.4.3
History
- 2026-11-01: add by m2/v0.6.13
Paul Drumaux WYXATZNSGB
| URI | m2://inv/WYXATZNSGB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#ESNG, Paul Drumaux (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#NM3S, Paul Drumaux (unknown)
History
- 2026-11-02: add by m2/dev
WYXDT2ZC0Z WYXDT2ZC0Z
| URI | m2://inv/WYXDT2ZC0Z |
|---|---|
| Kind | definition |
| 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 2105.13129#Q9BL (definition). In J5Z1JD5VKR/e1, definition 1.1
History
- 2026-10-27: add by m2/v0.4.0
Edward Dana Durand WYXM09P4PK
| URI | m2://inv/WYXM09P4PK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Edward Dana Durand, Edward Dana Durand (topic). Also Wikidata Q52156011
History
- 2026-11-02: add by m2/dev
WYXQQ03BJJ WYXQQ03BJJ
| URI | m2://inv/WYXQQ03BJJ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 51-XX, 52-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11814#2K4I (definition). In MXG9FV78NP/e1, definition 2.1
History
- 2026-10-28: add by m2/v0.4.3
Stopped noise WYXTF99F60
| URI | m2://inv/WYXTF99F60 |
|---|---|
| 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.14988#X7TQ, Stopped noise (statement). In B29M4E6KGC/e1, lemma H.11
History
- 2026-10-28: add by m2/v0.4.2
Example WYXVHWC9TY
| URI | m2://inv/WYXVHWC9TY |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 62 knot#LBXN, Example (example)
History
- 2026-11-02: add by m2/dev
Herbert Koch WYY03NNGQ7
| URI | m2://inv/WYY03NNGQ7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Herbert Koch, Herbert Koch (topic). Also Wikidata Q111699
History
- 2026-11-02: add by m2/dev
Jackknife resampling WYY1GMPC3Q
| URI | m2://inv/WYY1GMPC3Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jackknife resampling, Jackknife resampling (definition). Also Wikidata Q847158
History
- 2026-11-02: add by m2/dev
exsecant WYY23XAYYR
| URI | m2://inv/WYY23XAYYR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2282261, exsecant (unknown). Also MathWorld Exsecant
- wikipedia: Wikipedia Exsecant, Exsecant (definition). Also Wikidata Q2282261
History
- 2026-10-26: add by m2/dev
The Sun WYY7B1SJ41
| URI | m2://inv/WYY7B1SJ41 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people arrested in the News International phone-hacking scandal#C8SD, The Sun (unknown)
History
- 2026-11-02: add by m2/dev
Pentellated 6-simplexes WYY9G83GNS
| URI | m2://inv/WYY9G83GNS |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pentellated 6-simplexes, Pentellated 6-simplexes (object). Also Wikidata Q7165137
History
- 2026-11-02: add by m2/dev
Maximality is decided by the smallest excluded item WYYB7WA28H
| URI | m2://inv/WYYB7WA28H |
|---|---|
| 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.18017#S18H, Maximality is decided by the smallest excluded item (statement). In EBSQEQYECS/e1, lemma 1
History
- 2026-10-28: add by m2/v0.4.2
WYYNMZRH9V WYYNMZRH9V
| URI | m2://inv/WYYNMZRH9V |
|---|---|
| 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.39330#Q6MT (statement). In 7ZTJ23YG7A/e1, proposition 5.2
History
- 2026-10-30: add by m2/v0.4.12
WYYP2EBM3M WYYP2EBM3M
| URI | m2://inv/WYYP2EBM3M |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 17-XX, 57-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 1001.0174#0E2R (problem). In 4P97F3GPJC/e1, problem
History
- 2026-10-27: add by m2/v0.3.5
Ehud Hrushovski WYYRZXZD8W
| URI | m2://inv/WYYRZXZD8W |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#GT47, Ehud Hrushovski (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#34B7, Ehud Hrushovski (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#AGJI, Ehud Hrushovski (topic)
History
- 2026-11-02: add by m2/dev
First variation of the barrier WYZ4M7TQ0A
| URI | m2://inv/WYZ4M7TQ0A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 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.09602#6B6B, First variation of the barrier (statement). In 4AQ48WSBDQ/e1, theorem A.1
History
- 2026-10-29: add by m2/v0.4.10
WYZ682ES0X WYZ682ES0X
| URI | m2://inv/WYZ682ES0X |
|---|---|
| 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 2610.04516#9SHF (statement). In GZZBR0FX50/e1, lemma 4.2
History
- 2026-10-29: add by m2/v0.4.12
Example WYZ8KK97CQ
| URI | m2://inv/WYZ8KK97CQ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Berlekamp–Welch algorithm#1DNV, Example (example)
History
- 2026-11-02: add by m2/dev
W-curve WYZ8W94WA8
| URI | m2://inv/WYZ8W94WA8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia W-curve, W-curve (definition). Also Wikidata Q629245
History
- 2026-11-02: add by m2/dev
Positive propositional calculus WYZGF2FYNK
| URI | m2://inv/WYZGF2FYNK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of axiomatic systems in logic#5OFY, Positive propositional calculus (unknown)
History
- 2026-11-02: add by m2/dev
WYZP6WM08K WYZP6WM08K
| URI | m2://inv/WYZP6WM08K |
|---|---|
| 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.27114#WD9Z (statement)
History
- 2026-11-01: add by m2/v0.6.15
Question 6.1 WYZQZWXDYK
| URI | m2://inv/WYZQZWXDYK |
|---|---|
| Kind | conjecture |
| 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 2208.06310#W55U, Question 6.1 (conjecture). In 9YR0E0T9XA/e1, conjecture 1.1
History
- 2026-10-27: add by m2/v0.3.5
Direct sum WYZRQN65B7
| URI | m2://inv/WYZRQN65B7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of abstract algebra topics#QYIX, Direct sum (definition)
History
- 2026-11-02: add by m2/dev
WYZTZEYMZK WYZTZEYMZK
| URI | m2://inv/WYZTZEYMZK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.40123#BGWW (statement). In WK2YHYEDZ9/e1, proposition 3.6
History
- 2026-10-30: add by m2/v0.4.12
WYZXT1Q4MV WYZXT1Q4MV
| URI | m2://inv/WYZXT1Q4MV |
|---|---|
| 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 2110.14727#F0A0 (statement). In EZTB8NZGVT/e1, lemma 6.1
History
- 2026-10-27: add by m2/v0.4.0