Inventory rows WV
The cards of the rows of the inventory whose ids start with WV. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Fibonomial coefficient WV010T6K0J
| URI | m2://inv/WV010T6K0J |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5446406, Fibonomial coefficient (concept). Also MathWorld FibonomialCoefficient, ProofWiki Definition:Fibonomial_Coefficient
- wikipedia: Wikipedia Fibonomial coefficient, Fibonomial coefficient (definition). Also Wikidata Q5446406
History
- 2026-10-26: add by m2/dev
Xu-Jia Wang WV06CZ0KD2
| URI | m2://inv/WV06CZ0KD2 |
|---|---|
| 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#2O8G, Xu-Jia Wang (unknown)
History
- 2026-11-02: add by m2/dev
Terminology WV0NX8N3TH
| URI | m2://inv/WV0NX8N3TH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Informal mathematics#1B6K, Terminology (definition)
History
- 2026-11-02: add by m2/dev
Definitions WV0V376N9H
| URI | m2://inv/WV0V376N9H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rate of convergence#TOWC, Definitions (definition)
History
- 2026-11-02: add by m2/dev
laws of physics WV0WN2EJR4
| URI | m2://inv/WV0WN2EJR4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of paradoxes#HFIY, laws of physics (statement)
History
- 2026-11-02: add by m2/dev
Alessandro Chiesa WV0X2XV095
| URI | m2://inv/WV0X2XV095 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alessandro Chiesa, Alessandro Chiesa (topic). Also Wikidata Q102082622
History
- 2026-11-02: add by m2/dev
WV0YC391GZ WV0YC391GZ
| URI | m2://inv/WV0YC391GZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32883#80OC (statement). In 6MVBVC1VNK/e1, theorem 2.2
History
- 2026-10-31: add by m2/v0.5.6
Louise Adelaide Wolf WV11QFJ94N
| URI | m2://inv/WV11QFJ94N |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Louise Adelaide Wolf, Louise Adelaide Wolf (topic). Also Wikidata Q89273643
History
- 2026-11-02: add by m2/dev
Recursive formula WV13E4QBM4
| URI | m2://inv/WV13E4QBM4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Binomial coefficient#XU9V, Recursive formula (statement)
History
- 2026-11-02: add by m2/dev
WV13GT41JY WV13GT41JY
| URI | m2://inv/WV13GT41JY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22825#NH09 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Del Pezzo surface WV17B9BEV9
| URI | m2://inv/WV17B9BEV9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of complex and algebraic surfaces#WIJT, Del Pezzo surface (definition)
History
- 2026-11-02: add by m2/dev
WV1JQJ5XFJ WV1JQJ5XFJ
| URI | m2://inv/WV1JQJ5XFJ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16241#5INE (definition). In WNDHZVY4WK/e1, definition A.7
History
- 2026-10-28: add by m2/v0.4.2
WV1M44EGKQ WV1M44EGKQ
| URI | m2://inv/WV1M44EGKQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04503#J9JT (statement). In GWQP1XPM8E/e1, proposition 2.9
History
- 2026-10-29: add by m2/v0.4.12
Zero-one laws WV1NPN2542
| URI | m2://inv/WV1NPN2542 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Finite model theory#A0JN, Zero-one laws (statement)
History
- 2026-11-02: add by m2/dev
John Henry Poynting WV1T8T5S9H
| URI | m2://inv/WV1T8T5S9H |
|---|---|
| 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#HLDI, John Henry Poynting (unknown)
History
- 2026-11-02: add by m2/dev
Relation to the Tate conjecture WV1TTKFB4Q
| URI | m2://inv/WV1TTKFB4Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Brauer group#YW9R, Relation to the Tate conjecture (statement)
History
- 2026-11-02: add by m2/dev
WV1ZVFQE9P WV1ZVFQE9P
| URI | m2://inv/WV1ZVFQE9P |
|---|---|
| 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 2511.17751#8WLM (statement). In J39X0NB31S/e1, proposition 8.7
History
- 2026-10-27: add by m2/v0.3.5
Ethnicity and Identity WV20V6N9R6
| URI | m2://inv/WV20V6N9R6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Demographics of Tees Valley#AE02, Ethnicity and Identity (statement)
History
- 2026-11-02: add by m2/dev
highest WV27PZB3X1
| URI | m2://inv/WV27PZB3X1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of Lie groups and Lie algebras#SK26, highest (definition)
History
- 2026-11-02: add by m2/dev
WV2HRQDJG2 WV2HRQDJG2
| URI | m2://inv/WV2HRQDJG2 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32393#VJ51 (definition). In F4816HC2JH/e1, definition
History
- 2026-10-31: add by m2/v0.5.6
WV2M9PK021 WV2M9PK021
| URI | m2://inv/WV2M9PK021 |
|---|---|
| Kind | example |
| 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.07608#VXDK (example). In X8FQD4TEVG/e1, example 3.4
History
- 2026-10-29: add by m2/v0.4.10
Examples WV2PH9QD7W
| URI | m2://inv/WV2PH9QD7W |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Integral probability metric#UR78, Examples (example)
History
- 2026-11-02: add by m2/dev
A positive correction to the mean cost WV2QM22AS5
| URI | m2://inv/WV2QM22AS5 |
|---|---|
| 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.24931#PW48, A positive correction to the mean cost (statement)
History
- 2026-11-01: add by m2/v0.6.15
cf.\ WV2T6B8AX2
| URI | m2://inv/WV2T6B8AX2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2605.16669#JK9H, cf.\ (statement). In 1463YCCRP5/e1, corollary 3.13
History
- 2026-10-27: add by m2/v0.4.0
Chen prime WV2TB3Y955
| URI | m2://inv/WV2TB3Y955 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2344088, Chen prime (definition). Also MathWorld ChenPrime, OEIS A109611, ProofWiki Definition:Chen_Prime
- wikipedia: Wikipedia Chen prime, Chen prime (object). Also Wikidata Q2344088
History
- 2026-10-26: add by m2/dev
Terminology WV2WZ3QA57
| URI | m2://inv/WV2WZ3QA57 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Area of a circle#GEI3, Terminology (definition)
History
- 2026-11-02: add by m2/dev
WV33ZGE385 WV33ZGE385
| URI | m2://inv/WV33ZGE385 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-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 1204.5958#MOUV (definition). In XYCBKM4WKY/e1, definition 44
History
- 2026-10-27: add by m2/v0.3.5
Theorem 1 WV3CPZC5M8
| URI | m2://inv/WV3CPZC5M8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia BRS-inequality#7DYP, Theorem 1 (statement)
History
- 2026-11-02: add by m2/dev
WV3JQ4M3XT WV3JQ4M3XT
| URI | m2://inv/WV3JQ4M3XT |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14240#73UO (definition). In HGQCBDDMQJ/e1, definition 2.1
History
- 2026-10-28: add by m2/v0.4.2
Identity theorem WV3SN733GH
| URI | m2://inv/WV3SN733GH |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 30-XX |
| Sources | 5 |
| Outcome | node (a node has the same name as the row) |
| Node | Identity theorem 0YBVKMYX0W |
Mentions
- mathlib_1000: mathlib_1000 Q1038716, Identity theorem (statement). Also Mathlib AnalyticOnNhd.eqOn_of_preconnected_of_frequently_eq, Wikidata Q1038716
- mathlib_overview: mathlib_overview Analysis > Complex analysis > principle of analytic continuation, principle of analytic continuation (unknown). Also Mathlib AnalyticOnNhd.eqOn_of_preconnected_of_frequently_eq
- mathlib_undergrad: mathlib_undergrad Single Variable Complex Analysis > Functions on one complex variable > principle of analytic continuation, principle of analytic continuation (unknown). Also Mathlib AnalyticOnNhd.eqOn_of_preconnected_of_frequently_eq
- thousand_plus: thousand_plus Q1038716, Identity theorem (statement). Also Mathlib AnalyticOnNhd.eqOn_of_preconnected_of_frequently_eq, Wikidata Q1038716, Wikipedia Identity theorem
- wikipedia: Wikipedia Identity theorem, Identity theorem (statement). Also Wikidata Q1038716
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Proposition WV3XT09DHJ
| URI | m2://inv/WV3XT09DHJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vertex model#NXQK, Proposition (statement)
History
- 2026-11-02: add by m2/dev
WV3ZEGMTB2 WV3ZEGMTB2
| URI | m2://inv/WV3ZEGMTB2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2112.05010#ATPZ (statement). In 4SZNPS3Z00/e1, lemma 4.4
History
- 2026-10-27: add by m2/v0.3.6
WV40GDAKHC WV40GDAKHC
| URI | m2://inv/WV40GDAKHC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2509.21444#1C2T (statement). In CTVPA2FQT1/e1, lemma 3.1.3
History
- 2026-10-27: add by m2/v0.4.0
WV47MK4YV4 WV47MK4YV4
| URI | m2://inv/WV47MK4YV4 |
|---|---|
| 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#W6BD (statement). In 4FWAY748N7/e1, lemma 2.2
History
- 2026-10-28: add by m2/v0.4.2
disjoint WV4JXEA5CR
| URI | m2://inv/WV4JXEA5CR |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi index/2.1/disjoint, disjoint (concept). In Y91XFCEVHQ, index, section 2.1
History
- 2026-11-01: add by m2/v0.6.13
WV4RG2C96W WV4RG2C96W
| URI | m2://inv/WV4RG2C96W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2405.09294#HA1O (statement). In 2WZQC0TKVK/e1, corollary 4.4A
History
- 2026-10-27: add by m2/v0.3.5
XUDA WV4Z0RS5YR
| URI | m2://inv/WV4Z0RS5YR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia XUDA, XUDA (definition). Also Wikidata Q8042522
History
- 2026-11-02: add by m2/dev
Arrow-Debreu equilibria WV508KNMAC
| URI | m2://inv/WV508KNMAC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of PPAD-complete problems#T327, Arrow-Debreu equilibria (definition)
History
- 2026-11-02: add by m2/dev
Angular central Gaussian reduction for Example $3$ WV58YHMMM6
| URI | m2://inv/WV58YHMMM6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33541#R441, Angular central Gaussian reduction for Example $3$ (statement). In N3P196CEAJ/e1, lemma A.4
History
- 2026-10-30: add by m2/v0.4.12
WV5XXRYM9F WV5XXRYM9F
| URI | m2://inv/WV5XXRYM9F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-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 2512.16003#J32A (statement). In BJGS6ZCQ12/e1, lemma 6.6
History
- 2026-10-27: add by m2/v0.3.6
\(d=2\), \(n=2\ WV62KF7HTM
| URI | m2://inv/WV62KF7HTM |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03775#JE9V, \(d=2\), \(n=2\ (example). In NM928YZQVJ/e1, example
History
- 2026-10-29: add by m2/v0.4.12
Examples WV693P53EJ
| URI | m2://inv/WV693P53EJ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pseudo algebraically closed field#FRVQ, Examples (example)
History
- 2026-11-02: add by m2/dev
WV6DVM2GS1 WV6DVM2GS1
| URI | m2://inv/WV6DVM2GS1 |
|---|---|
| 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 2605.17484#0VM6 (statement). In 5E9GMPKEEP/e1, proposition 3.2
History
- 2026-10-27: add by m2/v0.3.5
(ε, δ)-definition of limit WV6KM72K30
| URI | m2://inv/WV6KM72K30 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of calculus topics#K1V3, (ε, δ)-definition of limit (definition)
History
- 2026-11-02: add by m2/dev
WV6Q1KJBWB WV6Q1KJBWB
| URI | m2://inv/WV6Q1KJBWB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20207#3WQJ (statement). In 1MPH7GCFJ2/e1, lemma 7.1
History
- 2026-10-27: add by m2/v0.4.2
WV6Q6ZWY31 WV6Q6ZWY31
| URI | m2://inv/WV6Q6ZWY31 |
|---|---|
| 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.34923#9GYT (statement). In 7WKVFJEZQT/e1, proposition 5
History
- 2026-10-30: add by m2/v0.4.12
Learnable function class WV6WCQRJJD
| URI | m2://inv/WV6WCQRJJD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Learnable function class, Learnable function class (definition). Also Wikidata Q25304510
History
- 2026-11-02: add by m2/dev
Andrew M. Bruckner WV6Y2JGK88
| URI | m2://inv/WV6Y2JGK88 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Andrew M. Bruckner, Andrew M. Bruckner (topic). Also Wikidata Q4757822
History
- 2026-11-02: add by m2/dev
WV6Z43VAP8 WV6Z43VAP8
| URI | m2://inv/WV6Z43VAP8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_graphs_color.ptx#prop_triangle-free (statement). In QKM9DD2H56, proposition, section 5.4.2
History
- 2026-11-01: add by m2/v0.6.13
WV713C40X8 WV713C40X8
| URI | m2://inv/WV713C40X8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29022#LC11 (statement)
History
- 2026-11-01: add by m2/v0.6.15
WV730V8NS8 WV730V8NS8
| URI | m2://inv/WV730V8NS8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 37-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 2601.04559#QO5H (statement). In WWMHZKWZSM/e1, proposition 15
History
- 2026-10-27: add by m2/v0.3.5
WV79Y8YKE4 WV79Y8YKE4
| URI | m2://inv/WV79Y8YKE4 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 37-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 2601.04559#DLZV (definition). In WWMHZKWZSM/e1, definition 5
History
- 2026-10-27: add by m2/v0.3.5
Banach manifold WV7GGM8XK5
| URI | m2://inv/WV7GGM8XK5 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Banach manifold 9K15AMGBV9 |
Mentions
- wikidata: Wikidata Q3554819, Banach manifold (concept). Also nLab Banach manifold
- wikipedia: Wikipedia Banach manifold, Banach manifold (definition). Also Wikidata Q3554819
History
- 2026-10-26: add by m2/dev
WV7JKYKMGB WV7JKYKMGB
| URI | m2://inv/WV7JKYKMGB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27965#9OFX (statement)
History
- 2026-11-01: add by m2/v0.6.15
Preferred number WV7Q2NJK5C
| URI | m2://inv/WV7Q2NJK5C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Preferred number, Preferred number (definition). Also Wikidata Q36247
History
- 2026-11-02: add by m2/dev
Infinitely near point WV7WVTA83F
| URI | m2://inv/WV7WVTA83F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Infinitely near point, Infinitely near point (definition). Also Wikidata Q6029886
History
- 2026-11-02: add by m2/dev
Backward Stability for 2D N-S WV7ZQ3GZ61
| URI | m2://inv/WV7ZQ3GZ61 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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.07240#0HI0, Backward Stability for 2D N-S (statement). In D0F1GK5AHW/e1, proposition 3.13
History
- 2026-10-29: add by m2/v0.4.10
Dehn surgery WV84RX2FFS
| URI | m2://inv/WV84RX2FFS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Dehn surgery ZA405B0Z1S |
Mentions
- wikidata: Wikidata Q3675173, Dehn surgery (unknown). Also MathWorld DehnSurgery, nLab Dehn surgery
- wikipedia: Wikipedia Dehn surgery, Dehn surgery (definition). Also Wikidata Q3675173
History
- 2026-10-26: add by m2/dev
WV85CP7WE3 WV85CP7WE3
| URI | m2://inv/WV85CP7WE3 |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 11-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37368#1QKU (conjecture). In FRMCKEGVJZ/e1, conjecture 1
History
- 2026-10-30: add by m2/v0.4.12
WV89P52VNQ WV89P52VNQ
| URI | m2://inv/WV89P52VNQ |
|---|---|
| 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 2404.05965#CJXL (statement). In GD1GED3FZ3/e1, proposition 2.1
History
- 2026-10-27: add by m2/v0.3.5
Definition WV8CNPXVXY
| URI | m2://inv/WV8CNPXVXY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Matter power spectrum#STWI, Definition (definition)
History
- 2026-11-02: add by m2/dev
Basic regularity and identification of the martingale integrand WV8KKFDXFY
| URI | m2://inv/WV8KKFDXFY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02106#NS8U, Basic regularity and identification of the martingale integrand (statement). In NGKK8ZB29J/e1, proposition 3.1
History
- 2026-10-29: add by m2/v0.4.12
Graph polynomial WV8NE02EV2
| URI | m2://inv/WV8NE02EV2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graph polynomial, Graph polynomial (definition). Also Wikidata Q48999599
History
- 2026-11-02: add by m2/dev
Definition WV8RCW9PVH
| URI | m2://inv/WV8RCW9PVH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rationalizable strategy#KIN9, Definition (definition)
History
- 2026-11-02: add by m2/dev
Definitions WV8S3D9VTE
| URI | m2://inv/WV8S3D9VTE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Compact space#USFT, Definitions (definition)
History
- 2026-11-02: add by m2/dev
WV8X9XX4N6 WV8X9XX4N6
| URI | m2://inv/WV8X9XX4N6 |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02833#JGZQ (problem). In TNREX5GDK2/e1, problem 9.3
History
- 2026-10-29: add by m2/v0.4.12
E/e WV930DAGEA
| URI | m2://inv/WV930DAGEA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a notation: the notation register holds it (corpus spec K10.4)) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q9907, E/e (unknown). Also ProofWiki Symbols:E
History
- 2026-10-26: add by m2/dev
WV949AH00Q WV949AH00Q
| URI | m2://inv/WV949AH00Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33954#6RK6 (statement). In DBC6DB2VW0/e1, theorem 2.2
History
- 2026-10-30: add by m2/v0.4.12
Brocard's conjecture WV94CVC16Y
| URI | m2://inv/WV94CVC16Y |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q509160, Brocard's conjecture (conjecture). Also MathWorld BrocardsConjecture
- wikipedia: Wikipedia Brocard's conjecture, Brocard's conjecture (conjecture). Also Wikidata Q509160
History
- 2026-10-26: add by m2/dev
Cohn's irreducibility criterion WV94J8YFHT
| URI | m2://inv/WV94J8YFHT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#WTO1, Cohn's irreducibility criterion (statement)
History
- 2026-11-02: add by m2/dev
Pakṣilasvāmin Vātsyāyana WV9BCS30XX
| URI | m2://inv/WV9BCS30XX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#56X4, Pakṣilasvāmin Vātsyāyana (unknown)
History
- 2026-11-02: add by m2/dev
WV9DAZK5ZF WV9DAZK5ZF
| URI | m2://inv/WV9DAZK5ZF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/incompleteness/incompleteness-provability/rosser-thm.tex#thm:rosser (statement). In PKGMM3P5QY, thm, section 28.4
History
- 2026-11-01: add by m2/v0.6.13
WV9KATDSPS WV9KATDSPS
| URI | m2://inv/WV9KATDSPS |
|---|---|
| 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.07546#TTC5 (statement). In H9YE46CGFN/e1, fact 2
History
- 2026-10-29: add by m2/v0.4.10
T. A. Springer WV9RXK1P1T
| URI | m2://inv/WV9RXK1P1T |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#6TRV, T. A. Springer (topic)
History
- 2026-11-02: add by m2/dev
WV9T126824 WV9T126824
| URI | m2://inv/WV9T126824 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23128#2EA5 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Rhumb line WV9W49NMHB
| URI | m2://inv/WV9W49NMHB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#9RGH, Rhumb line (unknown)
- wikipedia: Wikipedia List of curves#6T70, Rhumb line (unknown)
History
- 2026-11-02: add by m2/dev
WVAMD5H2TB WVAMD5H2TB
| URI | m2://inv/WVAMD5H2TB |
|---|---|
| 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.06724#XX27 (statement). In W5XG3PGVF1/e1, lemma D.2
History
- 2026-10-29: add by m2/v0.4.10
WVAPG4JENZ WVAPG4JENZ
| URI | m2://inv/WVAPG4JENZ |
|---|---|
| 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#MR0P (statement). In CM2YEK9T4F/e1, lemma 5.1
History
- 2026-10-27: add by m2/v0.4.2
Implementation WVAQAF0MXF
| URI | m2://inv/WVAQAF0MXF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia RC4#OT7X, Implementation (definition)
History
- 2026-11-02: add by m2/dev
Bible code WVAV9JSG5C
| URI | m2://inv/WVAV9JSG5C |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability topics#GPLP, Bible code (unknown)
History
- 2026-11-02: add by m2/dev
WVAW1K28T6 WVAW1K28T6
| URI | m2://inv/WVAW1K28T6 |
|---|---|
| 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 2609.30067#GSJ7 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Urchin WVAW6KRAG1
| URI | m2://inv/WVAW6KRAG1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Urchin (software), Urchin (definition). Also Wikidata Q1914164
History
- 2026-11-02: add by m2/dev
WVAYP4AZ78 WVAYP4AZ78
| URI | m2://inv/WVAYP4AZ78 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.13888#F1H0 (statement). In 2G5K2GZTX7/e1, theorem 1.3
History
- 2026-10-27: add by m2/v0.4.0
Studentization WVB4H813VB
| URI | m2://inv/WVB4H813VB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Studentization, Studentization (definition). Also Wikidata Q1689903
History
- 2026-11-02: add by m2/dev
R. Stephen Berry WVBHH5RYTS
| URI | m2://inv/WVBHH5RYTS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#ZXXV, R. Stephen Berry (unknown)
History
- 2026-11-02: add by m2/dev
WVBX0BF21C WVBX0BF21C
| URI | m2://inv/WVBX0BF21C |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2311.01874#EV6E (definition). In A4TR95VGX2/e1, definition 2
History
- 2026-10-27: add by m2/v0.3.5
WVC7R992F1 WVC7R992F1
| URI | m2://inv/WVC7R992F1 |
|---|---|
| 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 2011.06637#RNTY (statement). In KFCJ5CFP3G/e1, theorem 6.2
History
- 2026-10-27: add by m2/v0.3.5
Turning point test WVCE0T8KNY
| URI | m2://inv/WVCE0T8KNY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Turning point test, Turning point test (definition). Also Wikidata Q17140092
History
- 2026-11-02: add by m2/dev
Axioms WVCNA6PKDB
| URI | m2://inv/WVCNA6PKDB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hyperbolization procedures#T90Y, Axioms (statement)
History
- 2026-11-02: add by m2/dev
alphamagic square WVCTT7PJ1X
| URI | m2://inv/WVCTT7PJ1X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4735259, alphamagic square (unknown). Also MathWorld AlphamagicSquare
- wikipedia: Wikipedia Alphamagic square, Alphamagic square (definition). Also Wikidata Q4735259
History
- 2026-10-26: add by m2/dev
WVCV2R7JE1 WVCV2R7JE1
| URI | m2://inv/WVCV2R7JE1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06246#7DOI (statement). In EXZHBFRJ63/e1, theorem 5.5
History
- 2026-10-29: add by m2/v0.4.10
Jennifer Dalton WVD2612NNZ
| URI | m2://inv/WVD2612NNZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#EJ32, Jennifer Dalton (unknown)
History
- 2026-11-02: add by m2/dev
Monodromy WVD2KBN8FD
| URI | m2://inv/WVD2KBN8FD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic topology topics#TN4Y, Monodromy (definition)
History
- 2026-11-02: add by m2/dev
Random binary tree WVD3GZNSVM
| URI | m2://inv/WVD3GZNSVM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Random binary tree, Random binary tree (definition). Also Wikidata Q751292
History
- 2026-11-02: add by m2/dev
Pearson Type IV distribution WVD92HH3ZF
| URI | m2://inv/WVD92HH3ZF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability distributions#4AYT, Pearson Type IV distribution (unknown)
History
- 2026-11-02: add by m2/dev
WVDBYWNB7A WVDBYWNB7A
| URI | m2://inv/WVDBYWNB7A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 46-XX, 47-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.17060#MB2J (statement). In 5KR3MHYVV6/e1, corollary 5.10
History
- 2026-10-28: add by m2/v0.4.2
Example WVDDVV0WXW
| URI | m2://inv/WVDDVV0WXW |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Semi-invariant of a quiver#5V4J, Example (example)
History
- 2026-11-02: add by m2/dev
Emmy Noether WVDEC86567
| URI | m2://inv/WVDEC86567 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of geometers#U165, Emmy Noether (topic)
History
- 2026-11-02: add by m2/dev
Applications WVDM6RZP4X
| URI | m2://inv/WVDM6RZP4X |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Darcy's law#Y7V6, Applications (example)
History
- 2026-11-02: add by m2/dev
Histograms WVDT1CFTHF
| URI | m2://inv/WVDT1CFTHF |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14616#6TL4, Histograms (definition). In 17ACAG0N9C/e1, definition 2.1
History
- 2026-10-28: add by m2/v0.4.2
WVEAJX9HPM WVEAJX9HPM
| URI | m2://inv/WVEAJX9HPM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06785#V7ZO (statement). In PG6AEWX25E/e1, lemma 4.4
History
- 2026-10-29: add by m2/v0.4.10
Color field (quantum chromodynamics) WVEP0CCM4T
| URI | m2://inv/WVEP0CCM4T |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quantum chromodynamics#ZVUF, Color field (quantum chromodynamics) (unknown)
History
- 2026-11-02: add by m2/dev
Example #1 WVESHYB6B4
| URI | m2://inv/WVESHYB6B4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Odds#2JWK, Example #1 (example)
History
- 2026-11-02: add by m2/dev
Formal statement WVF4QSPXXX
| URI | m2://inv/WVF4QSPXXX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Yoneda lemma#O004, Formal statement (statement)
History
- 2026-11-02: add by m2/dev
Divisors and morphisms WVF78VV8E1
| URI | m2://inv/WVF78VV8E1 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33679#OSQ3, Divisors and morphisms (definition). In 3N9E9T6AF5/e1, definition 2.1
History
- 2026-10-30: add by m2/v0.4.12
WVFDSQ77JX WVFDSQ77JX
| URI | m2://inv/WVFDSQ77JX |
|---|---|
| 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.08261#2MAS (statement). In QD68GYRWNS/e1, theorem 3.9
History
- 2026-10-29: add by m2/v0.4.10
Pre-Bott classes of unitary representations WVFV4KT3MQ
| URI | m2://inv/WVFV4KT3MQ |
|---|---|
| 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#X39J, Pre-Bott classes of unitary representations (definition). In TB1294GY5X/e1, definition 2.13
History
- 2026-10-27: add by m2/v0.4.2
Theorem WVG006WT90
| URI | m2://inv/WVG006WT90 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trakhtenbrot's theorem#8XSW, Theorem (statement)
History
- 2026-11-02: add by m2/dev
MINPACK WVG0W1TJ9R
| URI | m2://inv/WVG0W1TJ9R |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of open-source software for mathematics#T7U9, MINPACK (unknown)
History
- 2026-11-02: add by m2/dev
In law WVG78E1DKG
| URI | m2://inv/WVG78E1DKG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dilemma#N4L3, In law (statement)
History
- 2026-11-02: add by m2/dev
WVGEX8NFY3 WVGEX8NFY3
| URI | m2://inv/WVGEX8NFY3 |
|---|---|
| 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.33926#LR0J (statement). In 1XF3T5HXNV/e1, lemma
History
- 2026-10-30: add by m2/v0.4.12
Formulas WVGGQ2XE4S
| URI | m2://inv/WVGGQ2XE4S |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lateral surface#9Y5Y, Formulas (statement)
History
- 2026-11-02: add by m2/dev
Cost of publishing hop curves WVGGY16XZN
| URI | m2://inv/WVGGY16XZN |
|---|---|
| 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.26258#3Q59, Cost of publishing hop curves (statement)
History
- 2026-11-01: add by m2/v0.6.15
WVGHBJ3STY WVGHBJ3STY
| URI | m2://inv/WVGHBJ3STY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-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.28780#9YLX (statement)
History
- 2026-11-01: add by m2/v0.6.15
1081 WVGMDF6002
| URI | m2://inv/WVGMDF6002 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4706798, 1081 (statement). Also ProofWiki 1081
History
- 2026-10-26: add by m2/dev
William Jackson Humphreys WVGQ11AG1B
| URI | m2://inv/WVGQ11AG1B |
|---|---|
| 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#UEK4, William Jackson Humphreys (unknown)
History
- 2026-11-02: add by m2/dev
BKK WVGSG3JC0X
| URI | m2://inv/WVGSG3JC0X |
|---|---|
| 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#UQNK, BKK (statement)
History
- 2026-11-02: add by m2/v0.6.17
Edgar Sydenstricker WVGSYK8818
| URI | m2://inv/WVGSYK8818 |
|---|---|
| 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#K6XX, Edgar Sydenstricker (unknown)
History
- 2026-11-02: add by m2/dev
quiver WVGW81XK72
| URI | m2://inv/WVGW81XK72 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#WNIG, quiver (definition)
History
- 2026-11-02: add by m2/dev
WVGZHFQF3P WVGZHFQF3P
| URI | m2://inv/WVGZHFQF3P |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14240#W9FG (definition). In HGQCBDDMQJ/e1, definition 2.4
History
- 2026-10-28: add by m2/v0.4.2
WVH27KCWTX WVH27KCWTX
| URI | m2://inv/WVH27KCWTX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#thm:regptsdense (statement). In VNMV985MXX, thm, section 1.6
History
- 2026-11-01: add by m2/v0.6.13
Log structure WVH62EMPP5
| URI | m2://inv/WVH62EMPP5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Log structure, Log structure (definition). Also Wikidata Q6666857
History
- 2026-11-02: add by m2/dev
Carrowhubbock WVHB46NK4A
| URI | m2://inv/WVHB46NK4A |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#B87J, Carrowhubbock (unknown)
History
- 2026-11-02: add by m2/dev
absolute minimum WVHBGN9RT9
| URI | m2://inv/WVHBGN9RT9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of calculus#IMGP, absolute minimum (definition)
History
- 2026-11-02: add by m2/dev
WVHR1W966F WVHR1W966F
| URI | m2://inv/WVHR1W966F |
|---|---|
| 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 2610.03619#H95S (statement). In 7SRERSS1PF/e1, corollary G
History
- 2026-10-29: add by m2/v0.4.12
Stacks Project WVJ3A6BAH7
| URI | m2://inv/WVJ3A6BAH7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q25099801, Stacks Project (unknown). Also nLab The Stacks Project
- wikipedia: Wikipedia Stacks Project, Stacks Project (definition). Also Wikidata Q25099801
History
- 2026-10-26: add by m2/dev
WVJ3P0A67F WVJ3P0A67F
| URI | m2://inv/WVJ3P0A67F |
|---|---|
| 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 2504.02065#MUZJ (statement). In 60CK7P5F36/e1, theorem 4.2
History
- 2026-10-27: add by m2/v0.3.5
Tatyana van Aardenne-Ehrenfest WVJ6Z7XJ38
| URI | m2://inv/WVJ6Z7XJ38 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tatyana van Aardenne-Ehrenfest, Tatyana van Aardenne-Ehrenfest (topic). Also Wikidata Q1631851
History
- 2026-11-02: add by m2/dev
Quantitative Gaussian radial event WVJJVMX85X
| URI | m2://inv/WVJJVMX85X |
|---|---|
| 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.11309#1MCW, Quantitative Gaussian radial event (statement). In TTEAQA1XXR/e1, lemma C.18
History
- 2026-10-28: add by m2/v0.4.3
filter WVJJZK9T5D
| URI | m2://inv/WVJJZK9T5D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of real and complex analysis#8V4W, filter (definition)
History
- 2026-11-02: add by m2/dev
uranium-238 WVJN70G8JP
| URI | m2://inv/WVJN70G8JP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1148503, uranium-238 (definition). Also ProofWiki Definition:Uranium/238
History
- 2026-10-26: add by m2/dev
WVJR00STBC WVJR00STBC
| URI | m2://inv/WVJR00STBC |
|---|---|
| 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.09390#U2T7 (statement). In 7SSKW778T8/e1, theorem 1
History
- 2026-10-29: add by m2/v0.4.10
Robert de Montessus de Ballore WVJRJXCW4H
| URI | m2://inv/WVJRJXCW4H |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#2OX8, Robert de Montessus de Ballore (topic)
History
- 2026-11-02: add by m2/dev
matrix, elementary WVJST3YJ4Z
| URI | m2://inv/WVJST3YJ4Z |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula index/3.1.4/matrix-elementary, matrix, elementary (concept). In 649HGZKE96, index, section 3.1.4
History
- 2026-11-01: add by m2/v0.6.13
simple path WVJYEP4RWY
| URI | m2://inv/WVJYEP4RWY |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv index/B/simple-path, simple path (concept). In VNMV985MXX, index, section B
History
- 2026-11-01: add by m2/v0.6.13
WVK1THT7CA WVK1THT7CA
| URI | m2://inv/WVK1THT7CA |
|---|---|
| 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 2609.24154#T9GD (statement)
History
- 2026-11-02: add by m2/v0.6.17
Radó's theorem WVK3BPQC3N
| URI | m2://inv/WVK3BPQC3N |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 43-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q973359, Radó's theorem (harmonic functions) (statement). Also Wikidata Q973359
- thousand_plus: thousand_plus Q973359, Radó's theorem (statement). Also Wikidata Q973359, Wikipedia Radó's theorem (harmonic functions)
- wikipedia: Wikipedia Radó's theorem (harmonic functions), Radó's theorem (statement). Also Wikidata Q973359
History
- 2026-10-26: add by m2/dev
Randomized quicksort WVK41V423M
| URI | m2://inv/WVK41V423M |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quicksort#IPKM, Randomized quicksort (unknown)
History
- 2026-11-02: add by m2/dev
Zhihong Xia WVKA4E3WKW
| URI | m2://inv/WVKA4E3WKW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#VVIF, Zhihong Xia (topic)
History
- 2026-11-02: add by m2/dev
Cartan–Hadamard theorem WVKFEZMK7H
| URI | m2://inv/WVKFEZMK7H |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#6RAN, Cartan–Hadamard theorem (statement)
History
- 2026-11-02: add by m2/dev
Weyl Curvature Characterization of ERP WVKMHSM5YA
| URI | m2://inv/WVKMHSM5YA |
|---|---|
| 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.34154#LFX2, Weyl Curvature Characterization of ERP (statement). In VPET0W9RFS/e1, proposition 3.8
History
- 2026-10-30: add by m2/v0.4.12
Musin WVKS7XM0EW
| URI | m2://inv/WVKS7XM0EW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19214#3CNF, Musin (statement). In WZPD7TNNY9/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.2
SimFiT WVKTDTY7KC
| URI | m2://inv/WVKTDTY7KC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia SimFiT, SimFiT (definition). Also Wikidata Q7517223
History
- 2026-11-02: add by m2/dev
Szegő's theorem WVKW2ESTBM
| URI | m2://inv/WVKW2ESTBM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orthogonal polynomials on the unit circle#4F1A, Szegő's theorem (statement)
History
- 2026-11-02: add by m2/dev
Leo Levitov WVM200D114
| URI | m2://inv/WVM200D114 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Voynich manuscript#3449, Leo Levitov (unknown)
History
- 2026-11-02: add by m2/dev
universal, property, of natural numbers WVM46T5JNJ
| URI | m2://inv/WVM46T5JNJ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/8.4/universal-property-of-natural-numbers, universal, property, of natural numbers (concept). In N54F33XE07, index, section 8.4
History
- 2026-11-01: add by m2/v0.6.13
Algorithm WVM482Q2E0
| URI | m2://inv/WVM482Q2E0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rader's FFT algorithm#1R4L, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
William Alvin Howard WVM48DQYQ6
| URI | m2://inv/WVM48DQYQ6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia William Alvin Howard, William Alvin Howard (topic). Also Wikidata Q2577855
History
- 2026-11-02: add by m2/dev
WVM8NRK4P0 WVM8NRK4P0
| URI | m2://inv/WVM8NRK4P0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21552#Y678 (statement)
History
- 2026-11-02: add by m2/v0.6.18
WVMMKTJG89 WVMMKTJG89
| URI | m2://inv/WVMMKTJG89 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 01-XX, 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28552#GN6D (definition)
History
- 2026-11-01: add by m2/v0.6.15
Hypotrochoid WVMPJ57PSC
| URI | m2://inv/WVMPJ57PSC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#6VIX, Hypotrochoid (definition)
- wikipedia: Wikipedia List of periodic functions#FZPS, Hypotrochoid (definition)
- wikipedia: Wikipedia List of curves#5GXT, Hypotrochoid (definition)
History
- 2026-11-02: add by m2/dev
WVMVQB2PMB WVMVQB2PMB
| URI | m2://inv/WVMVQB2PMB |
|---|---|
| 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.36158#M6O6 (statement). In CVGHFQ6XGW/e1, proposition 2
History
- 2026-10-30: add by m2/v0.4.12
Holes among visible lattice points in the plane WVMWGKP8QF
| URI | m2://inv/WVMWGKP8QF |
|---|---|
| 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.25457#9431, Holes among visible lattice points in the plane (statement)
History
- 2026-11-01: add by m2/v0.6.15
WVN3QN9XTP WVN3QN9XTP
| URI | m2://inv/WVN3QN9XTP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20801#KOCW (statement). In A1GWWGRXPA/e1, lemma 3.9
History
- 2026-10-27: add by m2/v0.4.2
Weak instruments WVNCNHH4BW
| URI | m2://inv/WVNCNHH4BW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Instrumental variables#RD6M, Weak instruments (unknown)
History
- 2026-11-02: add by m2/dev
Nash inequality WVP3XQQJQT
| URI | m2://inv/WVP3XQQJQT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sobolev inequality#HFD1, Nash inequality (statement)
History
- 2026-11-02: add by m2/dev
WVPBFCEZTT WVPBFCEZTT
| URI | m2://inv/WVPBFCEZTT |
|---|---|
| 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.15982#Y95C (statement). In KB50SHR229/e1, lemma D.2
History
- 2026-10-28: add by m2/v0.4.2
Shannon's source coding theorem WVPEQ3A74W
| URI | m2://inv/WVPEQ3A74W |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 94-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q2411312, Shannon's source coding theorem (statement). Also Wikidata Q2411312
- thousand_plus: thousand_plus Q2411312, Shannon's source coding theorem (statement). Also Wikidata Q2411312, Wikipedia Shannon's source coding theorem
- wikipedia: Wikipedia Shannon's source coding theorem, Shannon's source coding theorem (statement). Also Wikidata Q2411312
History
- 2026-10-26: add by m2/dev
WVPFJY6WKY WVPFJY6WKY
| URI | m2://inv/WVPFJY6WKY |
|---|---|
| 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.30018#5Y57 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Three Brothers Hill WVPSF2PYW2
| URI | m2://inv/WVPSF2PYW2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#WIYM, Three Brothers Hill (unknown)
History
- 2026-11-02: add by m2/dev
WVPT7VCP62 WVPT7VCP62
| URI | m2://inv/WVPT7VCP62 |
|---|---|
| Kind | definition |
| Layer | research |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
History
- 2026-10-27: add by m2/v0.3.6
Epigraph (mathematics) WVPW1JNF77
| URI | m2://inv/WVPW1JNF77 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of convexity topics#2DXZ, Epigraph (mathematics) (definition)
History
- 2026-11-02: add by m2/dev
WVPZ1BYDAN WVPZ1BYDAN
| URI | m2://inv/WVPZ1BYDAN |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises6-4.xml#exercise-6 (exercise). In 649HGZKE96, exercise, section 6.4
History
- 2026-11-01: add by m2/v0.6.13
WVQDB394W8 WVQDB394W8
| URI | m2://inv/WVQDB394W8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32650#4YJ7 (statement). In PHXJ87HKYB/e1, theorem 4.1
History
- 2026-10-31: add by m2/v0.5.6
WVQTNV9209 WVQTNV9209
| URI | m2://inv/WVQTNV9209 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25742#KBBK (statement)
History
- 2026-11-01: add by m2/v0.6.15
Moment functionals for different initial conditions WVR1N5B5N4
| URI | m2://inv/WVR1N5B5N4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 26-XX, 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26066#DFWU, Moment functionals for different initial conditions (statement)
History
- 2026-11-01: add by m2/v0.6.15
WVR473WJT6 WVR473WJT6
| URI | m2://inv/WVR473WJT6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 53-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/9902147#NAJ9 (statement). In 7CK21JGM5A/e1, theorem 3.5
History
- 2026-10-27: add by m2/v0.4.2
Partial construction of flows WVR4JC5SY6
| URI | m2://inv/WVR4JC5SY6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31294#UCH7, Partial construction of flows (statement). In 6GK9EJMWY4/e1, lemma 5.2
History
- 2026-10-31: add by m2/v0.5.6
Grossmann, Marcell WVR5WE3X9T
| URI | m2://inv/WVR5WE3X9T |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Hungarian mathematicians#09ZQ, Grossmann, Marcell (topic)
History
- 2026-11-02: add by m2/dev
222 honeycomb WVR6R20H73
| URI | m2://inv/WVR6R20H73 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#41X0, 222 honeycomb (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#HMAR, 222 honeycomb (definition)
History
- 2026-11-02: add by m2/dev
WVR9Q3B97K WVR9Q3B97K
| URI | m2://inv/WVR9Q3B97K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21552#G77M (statement)
History
- 2026-11-02: add by m2/v0.6.18
WVRCFQ2QNM WVRCFQ2QNM
| URI | m2://inv/WVRCFQ2QNM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08385#3UP7 (statement). In D979582ST2/e1, lemma 6
History
- 2026-10-29: add by m2/v0.4.10
Examples WVRF6G5303
| URI | m2://inv/WVRF6G5303 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Parallelization (mathematics)#FB5W, Examples (example)
History
- 2026-11-02: add by m2/dev
Friendly-index set WVRFA9V0ND
| URI | m2://inv/WVRFA9V0ND |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Friendly-index set, Friendly-index set (definition). Also Wikidata Q5504045
History
- 2026-11-02: add by m2/dev
Proposition WVRFYG34KE
| URI | m2://inv/WVRFYG34KE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orlicz space#5N67, Proposition (statement)
History
- 2026-11-02: add by m2/dev
Definition WVRK30V9BC
| URI | m2://inv/WVRK30V9BC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Discrete phase-type distribution#55DL, Definition (definition)
History
- 2026-11-02: add by m2/dev
WVRKW2E3M5 WVRKW2E3M5
| URI | m2://inv/WVRKW2E3M5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-XX, 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13213#FW0O (statement). In V97F4YZ8B0/e1, lemma 5.5
History
- 2026-10-28: add by m2/v0.4.2
Annealed count of SUSY states WVRN7B1GKM
| URI | m2://inv/WVRN7B1GKM |
|---|---|
| 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.06490#ENLY, Annealed count of SUSY states (statement). In NKXTXH59P1/e1, proposition 5.3
History
- 2026-10-29: add by m2/v0.4.10
WVRV7X54BH WVRV7X54BH
| URI | m2://inv/WVRV7X54BH |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 35-XX, 65-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13680#B2ZB (unknown). In QNBFHFZ3H0/e1, unknown 32
History
- 2026-10-28: add by m2/v0.4.2
subcomplex inclusions WVRWF3TH0R
| URI | m2://inv/WVRWF3TH0R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-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.15099#GAVI, subcomplex inclusions (statement). In PF5JJ9DS8Q/e1, proposition 3.2.4
History
- 2026-10-28: add by m2/v0.4.2
Modularity theorem WVS3QATJGN
| URI | m2://inv/WVS3QATJGN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of number theory topics#RN5V, Modularity theorem (statement)
History
- 2026-11-02: add by m2/dev
WVS3VPFNT1 WVS3VPFNT1
| URI | m2://inv/WVS3VPFNT1 |
|---|---|
| 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.14616#PM4K (statement). In 17ACAG0N9C/e1, lemma 7.4
History
- 2026-10-28: add by m2/v0.4.2
Definition WVSP2CJKV4
| URI | m2://inv/WVSP2CJKV4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Phase-type distribution#8SVC, Definition (definition)
History
- 2026-11-02: add by m2/dev
WVSSGVYZ40 WVSSGVYZ40
| URI | m2://inv/WVSSGVYZ40 |
|---|---|
| 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.25345#DHJM (statement)
History
- 2026-11-01: add by m2/v0.6.15
WVSZA3PWA6 WVSZA3PWA6
| URI | m2://inv/WVSZA3PWA6 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12054#QKYR (definition). In 1A01NFHBGA/e1, definition 3.2
History
- 2026-10-28: add by m2/v0.4.3
Young symmetrizer WVT65328KH
| URI | m2://inv/WVT65328KH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Young symmetrizer, Young symmetrizer (definition). Also Wikidata Q8058560
History
- 2026-11-02: add by m2/dev
WVTAGG2ZGR WVTAGG2ZGR
| URI | m2://inv/WVTAGG2ZGR |
|---|---|
| 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.22040#I0E8 (statement). In 2QP93JHYNB/e1, lemma 4.15
History
- 2026-10-27: add by m2/v0.4.2
Bent function WVTSDDF10R
| URI | m2://inv/WVTSDDF10R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Boolean algebra topics#XQKF, Bent function (definition)
History
- 2026-11-02: add by m2/dev
Stability of static Schr\"odinger bridges w.r.t. cost WVTXKSPBAE
| URI | m2://inv/WVTXKSPBAE |
|---|---|
| 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.14616#PRVG, Stability of static Schr\"odinger bridges w.r.t. cost (statement). In 17ACAG0N9C/e1, proposition 6.3
History
- 2026-10-28: add by m2/v0.4.2
WVTZEFZNA5 WVTZEFZNA5
| URI | m2://inv/WVTZEFZNA5 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/Sets.tex#problem-6 (exercise). In P1C114YBXG, problem, section J
History
- 2026-11-01: add by m2/v0.6.13
WVV5DGPK06 WVV5DGPK06
| URI | m2://inv/WVV5DGPK06 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-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.34193#7PJ9 (statement). In 9XMZTTSF5E/e1, proposition 6.11
History
- 2026-10-30: add by m2/v0.4.12
WVV60R02YR WVV60R02YR
| URI | m2://inv/WVV60R02YR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23605#Q1S3 (statement)
History
- 2026-11-02: add by m2/v0.6.17
MHD wave WVV6FN98CA
| URI | m2://inv/WVV6FN98CA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Magnetohydrodynamics#A2RY, MHD wave (unknown)
History
- 2026-11-02: add by m2/dev
Miller's rules WVV8Q2TY6X
| URI | m2://inv/WVV8Q2TY6X |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stellation#JD8I, Miller's rules (unknown)
History
- 2026-11-02: add by m2/dev
WVVH6CS6KC WVVH6CS6KC
| URI | m2://inv/WVVH6CS6KC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19707#6KEQ (statement). In R6SEBXARYC/e1, lemma 6.1
History
- 2026-10-28: add by m2/v0.4.2
Formal statement WVVXYKJN70
| URI | m2://inv/WVVXYKJN70 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Brooks' theorem#E9ZU, Formal statement (statement)
History
- 2026-11-02: add by m2/dev
Yacas WVVZ8VHDA7
| URI | m2://inv/WVVZ8VHDA7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of open-source software for mathematics#W6FY, Yacas (unknown)
History
- 2026-11-02: add by m2/dev
Eckler, A. Ross WVW2H635W4
| URI | m2://inv/WVW2H635W4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#NGLT, Eckler, A. Ross (unknown)
History
- 2026-11-02: add by m2/dev
Definitions WVW40G1869
| URI | m2://inv/WVW40G1869 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Riemann surface#XIGI, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Library in the air WVW91MC6YS
| URI | m2://inv/WVW91MC6YS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Charles Babbage#IVCS, Library in the air (unknown)
History
- 2026-11-02: add by m2/dev
Conditional real Schur distribution WVWM6D2GCT
| URI | m2://inv/WVWM6D2GCT |
|---|---|
| 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.05498#9FM6, Conditional real Schur distribution (statement). In TJT32RQ9GC/e1, fact 3.2
History
- 2026-10-29: add by m2/v0.4.10
pyritohedron WVWV8523NH
| URI | m2://inv/WVWV8523NH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4348639, pyritohedron (unknown). Also MathWorld Pyritohedron
History
- 2026-10-26: add by m2/dev
Victor Gustave Robin WVX11FHFYG
| URI | m2://inv/WVX11FHFYG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Victor Gustave Robin, Victor Gustave Robin (topic). Also Wikidata Q3557353
History
- 2026-11-02: add by m2/dev
Sergiu Hart WVX161PESN
| URI | m2://inv/WVX161PESN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#X1LL, Sergiu Hart (unknown)
History
- 2026-11-02: add by m2/dev
WVX41PATF9 WVX41PATF9
| URI | m2://inv/WVX41PATF9 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-contfunc.tex#exercise-14 (exercise). In E59CDZA4DP, exercise, section 2.2.4
History
- 2026-11-01: add by m2/v0.6.13
Lubin-Tate extension WVXA2YJGGF
| URI | m2://inv/WVXA2YJGGF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lubin–Tate formal group law#KOES, Lubin-Tate extension (unknown)
History
- 2026-11-02: add by m2/dev
WVXCH807Q4 WVXCH807Q4
| URI | m2://inv/WVXCH807Q4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37893#760C (statement). In 8H0KHK7AMN/e1, lemma 4.22
History
- 2026-10-30: add by m2/v0.4.12
The canonical graph WVXF8P3WQB
| URI | m2://inv/WVXF8P3WQB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 26-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.12434#VFAE, The canonical graph (statement). In YCRZC9SDCE/e1, lemma 12.3
History
- 2026-10-28: add by m2/v0.4.2
Construction WVXJHDGGV7
| URI | m2://inv/WVXJHDGGV7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Biplot#O3JB, Construction (definition)
History
- 2026-11-02: add by m2/dev
Relativistic Breit–Wigner distribution WVXQYY9HYZ
| URI | m2://inv/WVXQYY9HYZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Relativistic Breit–Wigner distribution, Relativistic Breit–Wigner distribution (definition). Also Wikidata Q1870024
History
- 2026-11-02: add by m2/dev
Suzuki groups WVXZ402YPV
| URI | m2://inv/WVXZ402YPV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Suzuki groups, Suzuki groups (definition). Also Wikidata Q7651367
History
- 2026-11-02: add by m2/dev
Probability generating function WVY058SZPY
| URI | m2://inv/WVY058SZPY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Probability generating function, Probability generating function (definition). Also Wikidata Q372071
History
- 2026-11-02: add by m2/dev
Backward (outer or left) Compositions Theorem WVY11JH5SZ
| URI | m2://inv/WVY11JH5SZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Infinite compositions of analytic functions#TJK8, Backward (outer or left) Compositions Theorem (statement)
History
- 2026-11-02: add by m2/dev
WVY4H81PZ9 WVY4H81PZ9
| URI | m2://inv/WVY4H81PZ9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05018#FZ6C (statement). In QFZSPBES9B/e1, lemma 3.7
History
- 2026-10-29: add by m2/v0.4.12
continuous dual space WVY79JADX8
| URI | m2://inv/WVY79JADX8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q16630165, continuous dual space (unknown). Also MathWorld DualNormedSpace
History
- 2026-10-26: add by m2/dev
WYSIWYS WVY7EXRXW8
| URI | m2://inv/WVY7EXRXW8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia WYSIWYS, WYSIWYS (definition). Also Wikidata Q7958161
History
- 2026-11-02: add by m2/dev
Color fluctuations under general disorder WVY8GMDFRR
| URI | m2://inv/WVY8GMDFRR |
|---|---|
| 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.19356#MH6Y, Color fluctuations under general disorder (statement). In 2B5QA28NCX/e1, lemma 4.2
History
- 2026-10-28: add by m2/v0.4.2
Submodular-cover formulation WVY8SNA59M
| URI | m2://inv/WVY8SNA59M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31535#CF5X, Submodular-cover formulation (statement). In BAWCMJQGVA/e1, proposition 4.3
History
- 2026-10-31: add by m2/v0.5.6
WVYC9ZC1V2 WVYC9ZC1V2
| URI | m2://inv/WVYC9ZC1V2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21098#ELZQ (statement)
History
- 2026-11-02: add by m2/v0.6.18
WVYHYQQGWJ WVYHYQQGWJ
| URI | m2://inv/WVYHYQQGWJ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 46-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06645#VSPQ (definition). In 79H1DEK4M9/e1, definition 3.2
History
- 2026-10-29: add by m2/v0.4.10
Henri Padé WVYQG9SRY6
| URI | m2://inv/WVYQG9SRY6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Henri Padé, Henri Padé (topic). Also Wikidata Q259270
History
- 2026-11-02: add by m2/dev
Schreier coset graph WVYSHF7QZ0
| URI | m2://inv/WVYSHF7QZ0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schreier coset graph, Schreier coset graph (definition). Also Wikidata Q7432869
History
- 2026-11-02: add by m2/dev
Bayesian linear regression WVZ2E4FK3M
| URI | m2://inv/WVZ2E4FK3M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bayesian linear regression, Bayesian linear regression (definition). Also Wikidata Q4874474
History
- 2026-11-02: add by m2/dev
Definition WVZSEQT408
| URI | m2://inv/WVZSEQT408 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Knudsen number#FF9E, Definition (definition)
History
- 2026-11-02: add by m2/dev
Sum of four cubes problem WVZTWRVSKB
| URI | m2://inv/WVZTWRVSKB |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sum of four cubes problem, Sum of four cubes problem (conjecture). Also Wikidata Q21074974
History
- 2026-11-02: add by m2/dev
ceiling function WVZYSVSS1K
| URI | m2://inv/WVZYSVSS1K |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | node (a node has the same name as the row) |
| Node | Ceiling function 0ASM4EPMB2 |
Mentions
- wikidata: Wikidata Q12718884, ceiling function (unknown). Also MathWorld CeilingFunction
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent