Inventory rows W2
The cards of the rows of the inventory whose ids start with W2. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Weighted mixture limit W202AP86D9
| URI | m2://inv/W202AP86D9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27335#J298, Weighted mixture limit (statement)
History
- 2026-11-01: add by m2/v0.6.15
W204BEY9WY W204BEY9WY
| URI | m2://inv/W204BEY9WY |
|---|---|
| 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.26191#ZKHO (statement)
History
- 2026-11-01: add by m2/v0.6.15
TAP free energy for the planted SK model W2052GJ3Y7
| URI | m2://inv/W2052GJ3Y7 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30590#2WFO, TAP free energy for the planted SK model (definition). In WYE2JVEZBT/e1, definition 2.1
History
- 2026-10-31: add by m2/v0.5.6
Weighted trace Theorem W209Y7HADH
| URI | m2://inv/W209Y7HADH |
|---|---|
| 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 2512.08487#AYQ5, Weighted trace Theorem (statement). In 77TVQVYN0Z/e1, lemma 7
History
- 2026-10-27: add by m2/v0.3.6
1st theorem W20B77WQA1
| URI | m2://inv/W20B77WQA1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elliptic function#JTQA, 1st theorem (statement)
History
- 2026-11-02: add by m2/dev
Definition loop W20BHZT2X6
| URI | m2://inv/W20BHZT2X6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Circular reasoning#FBFP, Definition loop (definition)
History
- 2026-11-02: add by m2/dev
Definition 5 W20JTAPCD1
| URI | m2://inv/W20JTAPCD1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generic-case complexity#B622, Definition 5 (definition)
History
- 2026-11-02: add by m2/dev
W20NVR4YV4 W20NVR4YV4
| URI | m2://inv/W20NVR4YV4 |
|---|---|
| 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.25843#SGUO (statement)
History
- 2026-11-01: add by m2/v0.6.15
W20PX1P91V W20PX1P91V
| URI | m2://inv/W20PX1P91V |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26386#OMPB (definition)
History
- 2026-11-01: add by m2/v0.6.15
W20X9EX9WB W20X9EX9WB
| URI | m2://inv/W20X9EX9WB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 55-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21365#HRYH (statement). In FCMMB2EVAP/e1, theorem 3.3
History
- 2026-10-27: add by m2/v0.4.2
W20XXYG038 W20XXYG038
| URI | m2://inv/W20XXYG038 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21231#2CIR (example). In 4RH9PS7MN1/e1, example 1
History
- 2026-10-27: add by m2/v0.4.2
Abstract index notation W2100NRYHW
| URI | m2://inv/W2100NRYHW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Abstract index notation, Abstract index notation (definition). Also Wikidata Q1166872
History
- 2026-11-02: add by m2/dev
W210DVV9RX W210DVV9RX
| URI | m2://inv/W210DVV9RX |
|---|---|
| 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 2208.07401#O7D4 (statement). In GJD7HKCE56/e1, lemma 3.17
History
- 2026-10-27: add by m2/v0.3.6
W21XS2QK2B W21XS2QK2B
| URI | m2://inv/W21XS2QK2B |
|---|---|
| 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.16877#LZNR (statement). In YY4KFNMPC0/e1, corollary 3.5
History
- 2026-10-28: add by m2/v0.4.2
Gaṅgeśa W21ZAV762X
| URI | m2://inv/W21ZAV762X |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gaṅgeśa, Gaṅgeśa (topic). Also Wikidata Q3635187
History
- 2026-11-02: add by m2/dev
Delambre analogies W220S8DCRF
| URI | m2://inv/W220S8DCRF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4491945, Delambre analogies (statement). Also MathWorld GausssFormulas
History
- 2026-10-26: add by m2/dev
Maximal chain W22156QKVQ
| URI | m2://inv/W22156QKVQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of order theory#JOTF, Maximal chain (unknown)
History
- 2026-11-02: add by m2/dev
Misconceptions about the Big Bang W2216RA230
| URI | m2://inv/W2216RA230 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Big Bang#ML9H, Misconceptions about the Big Bang (unknown)
History
- 2026-11-02: add by m2/dev
W22CAYM5CX W22CAYM5CX
| URI | m2://inv/W22CAYM5CX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-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.11800#BR5W (statement). In 8TSZ2E32K3/e1, lemma 2.2
History
- 2026-10-28: add by m2/v0.4.3
Every polarization of a Hermitian variety is covered W22HPB6TFM
| URI | m2://inv/W22HPB6TFM |
|---|---|
| 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.01731#GTWE, Every polarization of a Hermitian variety is covered (statement). In 3TJ2FWXQ0D/e1, lemma 7.3
History
- 2026-10-29: add by m2/v0.4.12
Yigu yanduan W22KBTV3WB
| URI | m2://inv/W22KBTV3WB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Yigu yanduan, Yigu yanduan (definition). Also Wikidata Q8053579
History
- 2026-11-02: add by m2/dev
W22SSWHBPY W22SSWHBPY
| URI | m2://inv/W22SSWHBPY |
|---|---|
| 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.18084#K164 (statement). In PKPT8NY665/e1, lemma 2.3
History
- 2026-10-28: add by m2/v0.4.2
W22SWRE677 W22SWRE677
| URI | m2://inv/W22SWRE677 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23106#CYR4 (example)
History
- 2026-11-02: add by m2/v0.6.17
Thomas Forster W22W3W8E3Z
| URI | m2://inv/W22W3W8E3Z |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thomas Forster (mathematician), Thomas Forster (topic). Also Wikidata Q102258622
History
- 2026-11-02: add by m2/dev
Onsager's formula for spontaneous magnetization W22WB0S8JF
| URI | m2://inv/W22WB0S8JF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ising model#3QPA, Onsager's formula for spontaneous magnetization (statement)
History
- 2026-11-02: add by m2/dev
ramification W23069TA6Z
| URI | m2://inv/W23069TA6Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of number theory#5J3K, ramification (definition)
History
- 2026-11-02: add by m2/dev
Applications W230XRVWT4
| URI | m2://inv/W230XRVWT4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Method of types#LQB8, Applications (example)
History
- 2026-11-02: add by m2/dev
RadioGatún W234SVGZHA
| URI | m2://inv/W234SVGZHA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia RadioGatún, RadioGatún (definition). Also Wikidata Q7280578
History
- 2026-11-02: add by m2/dev
Continuation from one good pair W237XJXA7R
| URI | m2://inv/W237XJXA7R |
|---|---|
| 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.19426#GES0, Continuation from one good pair (statement). In Y28XB7TPPZ/e1, theorem 4.1
History
- 2026-10-28: add by m2/v0.4.2
Enhanced uniqueness of the RLF W2395TJQGN
| URI | m2://inv/W2395TJQGN |
|---|---|
| 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.17129#R4MD, Enhanced uniqueness of the RLF (statement). In TCZWAMNYCV/e1, corollary 4.5
History
- 2026-10-28: add by m2/v0.4.2
Marlis Hochbruck W23AHHZNN2
| URI | m2://inv/W23AHHZNN2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Marlis Hochbruck, Marlis Hochbruck (topic). Also Wikidata Q21264374
History
- 2026-11-02: add by m2/dev
Charles Albert Noble W242RCW9A8
| URI | m2://inv/W242RCW9A8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Charles Albert Noble, Charles Albert Noble (topic). Also Wikidata Q37736546
History
- 2026-11-02: add by m2/dev
cos + i sin W243NEP068
| URI | m2://inv/W243NEP068 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#U720, cos + i sin (definition)
History
- 2026-11-02: add by m2/dev
W243Q505X6 W243Q505X6
| URI | m2://inv/W243Q505X6 |
|---|---|
| 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.29943#50G9 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Sensitivity theorem W246RFAQAR
| URI | m2://inv/W246RFAQAR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sensitivity theorem, Sensitivity theorem (statement). Also Wikidata Q125935416
History
- 2026-11-02: add by m2/dev
TK Solver W24A10TSAF
| URI | m2://inv/W24A10TSAF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical-analysis software#I44O, TK Solver (unknown)
History
- 2026-11-02: add by m2/dev
W24C2MTZRM W24C2MTZRM
| URI | m2://inv/W24C2MTZRM |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/metric-top.tex#proof-5 (proof). In RZP28ERRZV, proof, section 100.6
History
- 2026-11-01: add by m2/v0.6.13
W24C74NJW9 W24C74NJW9
| URI | m2://inv/W24C74NJW9 |
|---|---|
| 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#EVGG (statement)
History
- 2026-11-02: add by m2/v0.6.17
W254WW28HK W254WW28HK
| URI | m2://inv/W254WW28HK |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX, 22-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.32916#GBEA (definition). In G1RP4JY5PE/e1, definition 2.3.6
History
- 2026-10-31: add by m2/v0.5.6
W257Z8D7EG W257Z8D7EG
| URI | m2://inv/W257Z8D7EG |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0512416#47B0 (proof). In WJD9YPGGYH/e1, proof
History
- 2026-10-27: add by m2/v0.3.5
Examples W25H2NTAWS
| URI | m2://inv/W25H2NTAWS |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sum of two squares theorem#7848, Examples (example)
History
- 2026-11-02: add by m2/dev
A* W25KYR2JA9
| URI | m2://inv/W25KYR2JA9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#NVR6, A* (definition)
History
- 2026-11-02: add by m2/dev
W25MRE41E3 W25MRE41E3
| URI | m2://inv/W25MRE41E3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07370#DBT1 (statement). In Q94QXG67CK/e1, corollary 2
History
- 2026-10-29: add by m2/v0.4.10
W25R9HJSTD W25R9HJSTD
| URI | m2://inv/W25R9HJSTD |
|---|---|
| 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.11210#EWEF (statement). In CRFDGFZHBF/e1, theorem A
History
- 2026-10-28: add by m2/v0.4.3
algebraic cobordism W25T2P2QAR
| URI | m2://inv/W25T2P2QAR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4723991, algebraic cobordism (unknown). Also nLab algebraic cobordism
- wikipedia: Wikipedia Algebraic cobordism, Algebraic cobordism (definition). Also Wikidata Q4723991
History
- 2026-10-26: add by m2/dev
Computational Statistics & Data Analysis W25X2NH3HW
| URI | m2://inv/W25X2NH3HW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Computational Statistics & Data Analysis, Computational Statistics & Data Analysis (definition). Also Wikidata Q5157296
History
- 2026-11-02: add by m2/dev
Application W261GVBPRZ
| URI | m2://inv/W261GVBPRZ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gershgorin circle theorem#3KKS, Application (example)
History
- 2026-11-02: add by m2/dev
Wagstaff prime W264C15D9K
| URI | m2://inv/W264C15D9K |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of number theory topics#B71V, Wagstaff prime (conjecture)
History
- 2026-11-02: add by m2/dev
W265995NGS W265995NGS
| URI | m2://inv/W265995NGS |
|---|---|
| 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 2308.07021#KMLD (statement). In H4CM84JVPC/e1, theorem 3.3
History
- 2026-10-27: add by m2/v0.3.5
W268MBDQ60 W268MBDQ60
| URI | m2://inv/W268MBDQ60 |
|---|---|
| Kind | definition |
| 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#94FV (definition). In KWH4QJDPWC/e1, definition 4.3
History
- 2026-10-27: add by m2/v0.4.0
Rule 222 W26CSAFBVG
| URI | m2://inv/W26CSAFBVG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elementary cellular automaton#M6CF, Rule 222 (unknown)
History
- 2026-11-02: add by m2/dev
Applications W26EZ7R9WJ
| URI | m2://inv/W26EZ7R9WJ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Prehomogeneous vector space#D8L1, Applications (example)
History
- 2026-11-02: add by m2/dev
Leibnitz W26MHTBD5V
| URI | m2://inv/W26MHTBD5V |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Gottfried Leibniz#G1RC, Leibnitz (unknown)
History
- 2026-11-02: add by m2/dev
Examples W26PVXZX0K
| URI | m2://inv/W26PVXZX0K |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mackey space#SMNV, Examples (example)
History
- 2026-11-02: add by m2/dev
W26YTXJ1H0 W26YTXJ1H0
| URI | m2://inv/W26YTXJ1H0 |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 35-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13680#CEMC (problem). In QNBFHFZ3H0/e1, problem
History
- 2026-10-28: add by m2/v0.4.2
Private-image spectrum W270312GMK
| URI | m2://inv/W270312GMK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09472#JWSL, Private-image spectrum (statement). In 35925M9GJW/e1, lemma 11
History
- 2026-10-29: add by m2/v0.4.10
Partial autocorrelation W279DPCG2J
| URI | m2://inv/W279DPCG2J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#6E44, Partial autocorrelation (definition)
History
- 2026-11-02: add by m2/dev
Application W27G0TF97R
| URI | m2://inv/W27G0TF97R |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Balanced Boolean function#K0Z0, Application (example)
History
- 2026-11-02: add by m2/dev
Theorem W27M9T8NHF
| URI | m2://inv/W27M9T8NHF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arrow's impossibility theorem#RALP, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Ice–albedo feedback W27MYGGNSD
| URI | m2://inv/W27MYGGNSD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ice–albedo feedback, Ice–albedo feedback (definition). Also Wikidata Q1310671
History
- 2026-11-02: add by m2/dev
W27PEZMDXN W27PEZMDXN
| URI | m2://inv/W27PEZMDXN |
|---|---|
| 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.21535#DPVB (statement)
History
- 2026-11-02: add by m2/v0.6.18
Class number formula W282FNVXFE
| URI | m2://inv/W282FNVXFE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Algebraic number theory#CDK0, Class number formula (statement)
History
- 2026-11-02: add by m2/dev
W287QXFA7C W287QXFA7C
| URI | m2://inv/W287QXFA7C |
|---|---|
| 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.21298#N9RI (statement). In AXWM2MBYXV/e1, lemma 4.2
History
- 2026-10-27: add by m2/v0.4.2
Lagrange bracket W289J4NVB7
| URI | m2://inv/W289J4NVB7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Joseph-Louis Lagrange#AYZ1, Lagrange bracket (unknown)
History
- 2026-11-02: add by m2/dev
W28AM59XFG W28AM59XFG
| URI | m2://inv/W28AM59XFG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12777#81V6 (statement). In 1YFK2FB3JY/e1, proposition 2.3
History
- 2026-10-28: add by m2/v0.4.2
Classical definition of probability W28ERZ13M9
| URI | m2://inv/W28ERZ13M9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#K9AB, Classical definition of probability (definition)
History
- 2026-11-02: add by m2/dev
Examples W28GRENF7Y
| URI | m2://inv/W28GRENF7Y |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rotunda (geometry)#Q1G5, Examples (example)
History
- 2026-11-02: add by m2/dev
Divergence theorem W28J5WZSXA
| URI | m2://inv/W28J5WZSXA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#VLU3, Divergence theorem (statement)
History
- 2026-11-02: add by m2/dev
Lindemann–Weierstrass theorem W28S54M68F
| URI | m2://inv/W28S54M68F |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lindemann–Weierstrass theorem#FBT6, Lindemann–Weierstrass theorem (statement)
History
- 2026-11-02: add by m2/dev
W28ZBYRBZ7 W28ZBYRBZ7
| URI | m2://inv/W28ZBYRBZ7 |
|---|---|
| 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 2204.01073#EYRS (statement). In W4TYN4PGE8/e1, lemma 5.6
History
- 2026-10-27: add by m2/v0.3.5
Example 4 W294GZJXVP
| URI | m2://inv/W294GZJXVP |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Necessity and sufficiency#OIJN, Example 4 (example)
History
- 2026-11-02: add by m2/dev
degeneration W2970D2FXH
| URI | m2://inv/W2970D2FXH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic geometry#3K55, degeneration (definition)
History
- 2026-11-02: add by m2/dev
W297G375WW W297G375WW
| URI | m2://inv/W297G375WW |
|---|---|
| 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.04772#ZJTJ (statement). In WW08CYN4D4/e1, proposition 3.4
History
- 2026-10-29: add by m2/v0.4.12
Scott core theorem W299DV0W1Q
| URI | m2://inv/W299DV0W1Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 3-manifold#19JG, Scott core theorem (statement)
History
- 2026-11-02: add by m2/dev
W29CMK42W8 W29CMK42W8
| URI | m2://inv/W29CMK42W8 |
|---|---|
| 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#VJ42 (statement). In ZPT9XCCAPQ/e1, lemma A.0.5
History
- 2026-10-31: add by m2/v0.5.6
Alternating-orbit criterion W29DG87GRE
| URI | m2://inv/W29DG87GRE |
|---|---|
| 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.20231#PBZX, Alternating-orbit criterion (statement)
History
- 2026-11-02: add by m2/v0.6.18
EKS interface W29MJYEK9V
| URI | m2://inv/W29MJYEK9V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20572#6A4R, EKS interface (statement)
History
- 2026-11-02: add by m2/v0.6.18
W29QSZGHEW W29QSZGHEW
| URI | m2://inv/W29QSZGHEW |
|---|---|
| Kind | statement |
| 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. |
Mentions
- arxiv: arXiv 1802.02910#0CL2 (statement). In AY2MA29921/e1, lemma 016
History
- 2026-10-27: add by m2/v0.3.5
Underwood Dudley W29SFXFV4Y
| URI | m2://inv/W29SFXFV4Y |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Underwood Dudley, Underwood Dudley (topic). Also Wikidata Q536384
History
- 2026-11-02: add by m2/dev
Theorem W29ZXJV0N5
| URI | m2://inv/W29ZXJV0N5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Riordan array#9AJB, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Hartogs's theorem on separate holomorphicity W2A2GN99X3
| URI | m2://inv/W2A2GN99X3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 30-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q1050932, Hartogs's theorem (statement). Also Wikidata Q1050932
- thousand_plus: thousand_plus Q1050932, Hartogs's theorem (statement). Also Wikidata Q1050932, Wikipedia Hartogs's theorem
- wikipedia: Wikipedia Hartogs's theorem on separate holomorphicity, Hartogs's theorem on separate holomorphicity (statement). Also Wikidata Q1050932
History
- 2026-10-26: add by m2/dev
W2A2GX9P7V W2A2GX9P7V
| URI | m2://inv/W2A2GX9P7V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2608.24190#Z1LC (statement). In DW7FVA587C/e1, lemma 4.19
History
- 2026-10-27: add by m2/v0.3.5
W2A2ZFA26Z W2A2ZFA26Z
| URI | m2://inv/W2A2ZFA26Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 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 2307.06098#EAX6 (statement). In DK1V8M7DS4/e1, theorem 5.1
History
- 2026-10-27: add by m2/v0.3.5
Example W2A3FX1VET
| URI | m2://inv/W2A3FX1VET |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nondeterministic finite automaton#4DCV, Example (example)
History
- 2026-11-02: add by m2/dev
W2A720H9KK W2A720H9KK
| URI | m2://inv/W2A720H9KK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-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 2110.11143#QKB9 (statement). In VTVC0TCWSB/e1, lemma 3.1
History
- 2026-10-27: add by m2/v0.3.5
W2ABZR5FHK W2ABZR5FHK
| URI | m2://inv/W2ABZR5FHK |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-contfunc.tex#exercise-74 (exercise). In E59CDZA4DP, exercise, section 2.6.3
History
- 2026-11-01: add by m2/v0.6.13
W2AGEWKAMF W2AGEWKAMF
| URI | m2://inv/W2AGEWKAMF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12131#S3UC (statement). In NYT07WF46A/e1, lemma 3.1
History
- 2026-10-28: add by m2/v0.4.2
W2AKGVQXDW W2AKGVQXDW
| URI | m2://inv/W2AKGVQXDW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_induction_recursion.ptx#thm_gcd-dioph (statement). In QKM9DD2H56, theorem, section 3.5.1
History
- 2026-11-01: add by m2/v0.6.13
Gergonne line W2AQQC10V6
| URI | m2://inv/W2AQQC10V6 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3933803, Gergonne line (concept). Also MathWorld GergonneLine
History
- 2026-10-26: add by m2/dev
$\twop$ classifies embeddings W2AVAV311Y
| URI | m2://inv/W2AVAV311Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26270#JDRQ, $\twop$ classifies embeddings (statement)
History
- 2026-11-01: add by m2/v0.6.15
Langford pairing W2AWKNYWD6
| URI | m2://inv/W2AWKNYWD6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3503249, Langford pairing (problem). Also MathWorld LangfordsProblem
- wikipedia: Wikipedia Langford pairing, Langford pairing (definition). Also Wikidata Q3503249
History
- 2026-10-26: add by m2/dev
quartic surface W2B8C6QT7J
| URI | m2://inv/W2B8C6QT7J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7269363, quartic surface (unknown). Also MathWorld QuarticSurface
- wikipedia: Wikipedia Quartic surface, Quartic surface (definition). Also Wikidata Q7269363
History
- 2026-10-26: add by m2/dev
Convex-potential representation W2B9YMNSHE
| URI | m2://inv/W2B9YMNSHE |
|---|---|
| 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.31363#0A25, Convex-potential representation (statement). In XB8NYRD86J/e1, theorem 5.1
History
- 2026-10-31: add by m2/v0.5.6
Julius Bergmann W2BB64CEWN
| URI | m2://inv/W2BB64CEWN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Julius Bergmann, Julius Bergmann (topic). Also Wikidata Q90904
History
- 2026-11-02: add by m2/dev
Richard Dedekind W2BG1Q7P02
| URI | m2://inv/W2BG1Q7P02 |
|---|---|
| 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 Q76556, Richard Dedekind (unknown). Also nLab Richard Dedekind
- wikipedia: Wikipedia Richard Dedekind, Richard Dedekind (topic). Also Wikidata Q76556
History
- 2026-10-26: add by m2/dev
Appeal to accomplishment W2BJ3XR4CD
| URI | m2://inv/W2BJ3XR4CD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Appeal to accomplishment, Appeal to accomplishment (definition). Also Wikidata Q4780975
History
- 2026-11-02: add by m2/dev
Properties W2BJJ7ATF5
| URI | m2://inv/W2BJJ7ATF5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Carathéodory's extension theorem#KEQS, Properties (statement)
History
- 2026-11-02: add by m2/dev
W2BQXGWY78 W2BQXGWY78
| URI | m2://inv/W2BQXGWY78 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-intro.tex#exercise-9 (exercise). In E9HS8K3A52, exercise, section 6.8.5
History
- 2026-11-01: add by m2/v0.6.13
W2BWRCZG5X W2BWRCZG5X
| URI | m2://inv/W2BWRCZG5X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-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.13953#2CVP (statement). In D8258MF12E/e1, proposition 3.4
History
- 2026-10-28: add by m2/v0.4.2
Pollaczek–Khinchine formula W2CG1TJAWS
| URI | m2://inv/W2CG1TJAWS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pollaczek–Khinchine formula, Pollaczek–Khinchine formula (statement). Also Wikidata Q3726543
History
- 2026-11-02: add by m2/dev
Lists of integrals W2CG5707RM
| URI | m2://inv/W2CG5707RM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lists of integrals, Lists of integrals (topic). Also Wikidata Q423189
History
- 2026-11-02: add by m2/dev
Dominated convergence theorem W2CW2Z0BY6
| URI | m2://inv/W2CW2Z0BY6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#NV53, Dominated convergence theorem (statement)
History
- 2026-11-02: add by m2/dev
W2CYY2GJRC W2CYY2GJRC
| URI | m2://inv/W2CYY2GJRC |
|---|---|
| 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 2111.00832#1LC9 (statement). In KM0XEAXFMF/e1, theorem 5.3
History
- 2026-10-27: add by m2/v0.3.5
Adjoining them changes nothing W2D3EV4SDP
| URI | m2://inv/W2D3EV4SDP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26270#A1M0, Adjoining them changes nothing (statement)
History
- 2026-11-01: add by m2/v0.6.15
W2DAFKNG85 W2DAFKNG85
| URI | m2://inv/W2DAFKNG85 |
|---|---|
| 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.31478#C72Z (statement). In 56P0XQZZ3D/e1, corollary 1.2
History
- 2026-10-31: add by m2/v0.5.6
Conjugate Fourier series W2DGWKP66G
| URI | m2://inv/W2DGWKP66G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conjugate Fourier series, Conjugate Fourier series (definition). Also Wikidata Q5161149
History
- 2026-11-02: add by m2/dev
Truncated hexagonal tiling W2DHQGAM3D
| URI | m2://inv/W2DHQGAM3D |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Euclidean uniform tilings#1NUG, Truncated hexagonal tiling (object)
History
- 2026-11-02: add by m2/dev
W2DXWBBWKH W2DXWBBWKH
| URI | m2://inv/W2DXWBBWKH |
|---|---|
| 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.33852#KKCV (statement). In 1WPPDSF0EJ/e1, proposition 3
History
- 2026-10-30: add by m2/v0.4.12
W2E56Q86TP W2E56Q86TP
| URI | m2://inv/W2E56Q86TP |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/localization.tex#sproblem-1 (exercise). In RZP28ERRZV, sproblem, section 21.8
History
- 2026-11-01: add by m2/v0.6.13
Depth peeling W2E59YGKJV
| URI | m2://inv/W2E59YGKJV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#D8PE, Depth peeling (unknown)
History
- 2026-11-02: add by m2/dev
W2EHXP0WTP W2EHXP0WTP
| URI | m2://inv/W2EHXP0WTP |
|---|---|
| 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#MTJ8 (statement). In WRE0P7V6Z3/e1, corollary D.15
History
- 2026-10-30: add by m2/v0.4.12
Miracle Flatness W2EPSSGJ4C
| URI | m2://inv/W2EPSSGJ4C |
|---|---|
| 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.16731#P1SH, Miracle Flatness (statement). In D68KBZQ4Q6/e1, theorem 3.7
History
- 2026-10-28: add by m2/v0.4.2
Complete breakpoint classification, first arc W2EQNXQQX9
| URI | m2://inv/W2EQNXQQX9 |
|---|---|
| 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.25120#V44Z, Complete breakpoint classification, first arc (statement)
History
- 2026-11-01: add by m2/v0.6.15
univalence axiom W2EV2VBZJN
| URI | m2://inv/W2EV2VBZJN |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/u1.u3/univalence-axiom, univalence axiom (concept). In N54F33XE07, index, section u1.u3
History
- 2026-11-01: add by m2/v0.6.13
Results W2EY927F1R
| URI | m2://inv/W2EY927F1R |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chiral Potts model#PH2Y, Results (statement)
History
- 2026-11-02: add by m2/dev
Complex-oriented cohomology theory W2F01CNVGJ
| URI | m2://inv/W2F01CNVGJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Complex-oriented cohomology theory, Complex-oriented cohomology theory (definition). Also Wikidata Q16950707
History
- 2026-11-02: add by m2/dev
Examples W2F1YY81PD
| URI | m2://inv/W2F1YY81PD |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Smash product#IALR, Examples (example)
History
- 2026-11-02: add by m2/dev
W2F2ZVTMY5 W2F2ZVTMY5
| URI | m2://inv/W2F2ZVTMY5 |
|---|---|
| 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 2610.11902#FPVO (statement). In K66QKM4N5E/e1, theorem 3.14
History
- 2026-10-28: add by m2/v0.4.3
Hessian geometry of the critical circles W2F7SWKX37
| URI | m2://inv/W2F7SWKX37 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19953#SVK9, Hessian geometry of the critical circles (statement). In CHPJWBREES/e1, proposition 3.6
History
- 2026-10-28: add by m2/v0.4.2
3-4-3-12 tiling W2F98Z02WM
| URI | m2://inv/W2F98Z02WM |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 3-4-3-12 tiling, 3-4-3-12 tiling (object). Also Wikidata Q65070372
History
- 2026-11-02: add by m2/dev
W2FE9CPF2V W2FE9CPF2V
| URI | m2://inv/W2FE9CPF2V |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-approximate.tex#exercise-53 (exercise). In E59CDZA4DP, exercise, section 1.6.1
History
- 2026-11-01: add by m2/v0.6.13
Example W2FQH41YVJ
| URI | m2://inv/W2FQH41YVJ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bitangents of a quartic#MF7F, Example (example)
History
- 2026-11-02: add by m2/dev
W2FW6MCYR4 W2FW6MCYR4
| URI | m2://inv/W2FW6MCYR4 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-174 (exercise). In VNMV985MXX, exercise, section 3.2
History
- 2026-11-01: add by m2/v0.6.13
Navier–Stokes equations W2G1Q20EE8
| URI | m2://inv/W2G1Q20EE8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Navier–Stokes equations 18KXZHVF4M |
Mentions
- wikidata: Wikidata Q201321, Navier–Stokes equations (unknown). Also EoM Navier-Stokes_equations, MathWorld Navier-StokesEquations, nLab Navier-Stokes equation
- wikipedia: Wikipedia Navier–Stokes equations, Navier–Stokes equations (definition). Also Wikidata Q201321
History
- 2026-10-26: add by m2/dev
intersection number W2G59K9D5H
| URI | m2://inv/W2G59K9D5H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q17101799, intersection number (unknown). Also MathWorld IntersectionNumber
- wikipedia: Wikipedia Intersection number (graph theory), Intersection number (definition). Also Wikidata Q17101799
History
- 2026-10-26: add by m2/dev
Lemma 3 W2GCXHGET8
| URI | m2://inv/W2GCXHGET8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Expander walk sampling#S1V6, Lemma 3 (statement)
History
- 2026-11-02: add by m2/dev
W2GDFR1NEE W2GDFR1NEE
| URI | m2://inv/W2GDFR1NEE |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27295#SQA5 (definition)
History
- 2026-11-01: add by m2/v0.6.15
W2GERBHGRP W2GERBHGRP
| URI | m2://inv/W2GERBHGRP |
|---|---|
| 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.15316#3ERF (statement). In 3K84E4150C/e1, lemma 2.5
History
- 2026-10-28: add by m2/v0.4.2
W2GHABK3AP W2GHABK3AP
| URI | m2://inv/W2GHABK3AP |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/action.tex#ques-2 (exercise). In RZP28ERRZV, ques, section 1.2
History
- 2026-11-01: add by m2/v0.6.13
coefficient of skewness W2GTR93JDY
| URI | m2://inv/W2GTR93JDY |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Skewness 0YVQKBNV2R |
Mentions
- wikidata: Wikidata Q330828, coefficient of skewness (unknown). Also MathWorld Skewness
- wikidata: Wikidata Q9051521, skewness (concept). Also MathWorld Skewness
- wikipedia: Wikipedia Skewness, Skewness (definition). Also Wikidata Q330828
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Conservation laws W2H2BQ16QW
| URI | m2://inv/W2H2BQ16QW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Scientific law#NILK, Conservation laws (statement)
History
- 2026-11-02: add by m2/dev
Constant term W2HG874A41
| URI | m2://inv/W2HG874A41 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Constant term, Constant term (definition). Also Wikidata Q858237
History
- 2026-11-02: add by m2/dev
Friedman W2HJY2WCJ7
| URI | m2://inv/W2HJY2WCJ7 |
|---|---|
| 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 2209.00108#K3G7, Friedman (statement). In V2G422ZMPW/e1, lemma 7
History
- 2026-10-27: add by m2/v0.3.5
Multiplicity-one spectral version W2HKPKAYRC
| URI | m2://inv/W2HKPKAYRC |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27335#G7BS, Multiplicity-one spectral version (conjecture)
History
- 2026-11-01: add by m2/v0.6.15
W2HMA42XR4 W2HMA42XR4
| URI | m2://inv/W2HMA42XR4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27694#1K3M (statement)
History
- 2026-11-01: add by m2/v0.6.15
W2HMP5YQFA W2HMP5YQFA
| URI | m2://inv/W2HMP5YQFA |
|---|---|
| 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.35920#KTB1 (statement). In 5D5HW98PTH/e1, theorem 3.3
History
- 2026-10-30: add by m2/v0.4.12
W2HN8DCVNJ W2HN8DCVNJ
| URI | m2://inv/W2HN8DCVNJ |
|---|---|
| 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.06463#Y736 (statement). In 3WWY9K1K9V/e1, theorem 4
History
- 2026-10-29: add by m2/v0.4.10
W2HNTKTM2R W2HNTKTM2R
| URI | m2://inv/W2HNTKTM2R |
|---|---|
| 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.20609#H6UU (statement)
History
- 2026-11-02: add by m2/v0.6.18
Optimality gap for the WCMDP two-set policy W2HRP49NDR
| URI | m2://inv/W2HRP49NDR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 60-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38132#4UIU, Optimality gap for the WCMDP two-set policy (statement). In K6CP8GP51H/e1, theorem 1
History
- 2026-10-30: add by m2/v0.4.12
W2HS8SBBGY W2HS8SBBGY
| URI | m2://inv/W2HS8SBBGY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16339#3D62 (statement). In ER5EH4W919/e1, lemma 4.1
History
- 2026-10-28: add by m2/v0.4.2
projectively extended real line W2HW6DV7XM
| URI | m2://inv/W2HW6DV7XM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2558939, projectively extended real line (unknown). Also MathWorld ProjectivelyExtendedRealNumbers
- wikipedia: Wikipedia Projectively extended real line, Projectively extended real line (definition). Also Wikidata Q2558939
History
- 2026-10-26: add by m2/dev
Examples W2HXM8T1D4
| URI | m2://inv/W2HXM8T1D4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Angular defect#PALU, Examples (example)
History
- 2026-11-02: add by m2/dev
Heavy traffic approximation W2J5CMSPSK
| URI | m2://inv/W2J5CMSPSK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Heavy traffic approximation, Heavy traffic approximation (definition). Also Wikidata Q17022030
History
- 2026-11-02: add by m2/dev
Peter Swinnerton-Dyer W2J6BBGVHT
| URI | m2://inv/W2J6BBGVHT |
|---|---|
| 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 Q1357003, Peter Swinnerton-Dyer (unknown). Also ProofWiki Mathematician:Henry_Peter_Francis_Swinnerton-Dyer
- wikipedia: Wikipedia Peter Swinnerton-Dyer, Peter Swinnerton-Dyer (topic). Also Wikidata Q1357003
History
- 2026-10-26: add by m2/dev
Square root of 10 W2JBKGR1GB
| URI | m2://inv/W2JBKGR1GB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Square root of 10, Square root of 10 (definition). Also Wikidata Q135435507
History
- 2026-11-02: add by m2/dev
Jie Wu W2JD37BA8P
| URI | m2://inv/W2JD37BA8P |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#LYQ7, Jie Wu (unknown)
History
- 2026-11-02: add by m2/dev
Art illustrating mathematics W2JHW4DGPV
| URI | m2://inv/W2JHW4DGPV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathematics and art#RK0I, Art illustrating mathematics (unknown)
History
- 2026-11-02: add by m2/dev
Cauchy's fundamental lemma W2JSGC5J9C
| URI | m2://inv/W2JSGC5J9C |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cauchy stress tensor#820M, Cauchy's fundamental lemma (statement)
History
- 2026-11-02: add by m2/dev
W2JTACJMJ8 W2JTACJMJ8
| URI | m2://inv/W2JTACJMJ8 |
|---|---|
| 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.02061#1ZCH (statement). In F5STMSPR6X/e1, corollary 3.24
History
- 2026-10-29: add by m2/v0.4.12
W2JV2V6HYC W2JV2V6HYC
| URI | m2://inv/W2JV2V6HYC |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_genfunction_exercises.ptx#exercise-8 (exercise). In QKM9DD2H56, exercise, section 8
History
- 2026-11-01: add by m2/v0.6.13
W2JVPHE3TK W2JVPHE3TK
| URI | m2://inv/W2JVPHE3TK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26500#IPEV (statement)
History
- 2026-11-01: add by m2/v0.6.15
Construction W2K2BN8GQ2
| URI | m2://inv/W2K2BN8GQ2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schur algebra#1571, Construction (definition)
History
- 2026-11-02: add by m2/dev
W2K489B9G1 W2K489B9G1
| URI | m2://inv/W2K489B9G1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02111#CFPE (statement). In NC5ZRF6F8N/e1, theorem 3.16
History
- 2026-10-29: add by m2/v0.4.12
Properties W2KH10RRPN
| URI | m2://inv/W2KH10RRPN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Separable space#9YNJ, Properties (statement)
History
- 2026-11-02: add by m2/dev
7 with stroke W2KPM4B26Q
| URI | m2://inv/W2KPM4B26Q |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 7#FK6X, 7 with stroke (unknown)
History
- 2026-11-02: add by m2/dev
Deborah Tepper Haimo W2KQJD2CPR
| URI | m2://inv/W2KQJD2CPR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Deborah Tepper Haimo, Deborah Tepper Haimo (topic). Also Wikidata Q42379946
History
- 2026-11-02: add by m2/dev
fine sheaf W2KSWF2R4S
| URI | m2://inv/W2KSWF2R4S |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q130728888, fine sheaf (unknown). Also EoM Fine_sheaf, nLab fine sheaf
History
- 2026-10-26: add by m2/dev
Scalar surface element W2KVEY097J
| URI | m2://inv/W2KVEY097J |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Surface integral#4WGL, Scalar surface element (unknown)
History
- 2026-11-02: add by m2/dev
Euler characteristic W2KZCS8HQY
| URI | m2://inv/W2KZCS8HQY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topics named after Leonhard Euler#XNK7, Euler characteristic (definition)
History
- 2026-11-02: add by m2/dev
Marcinkiewicz–Zygmund inequality W2KZF7C1W8
| URI | m2://inv/W2KZF7C1W8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#AYU3, Marcinkiewicz–Zygmund inequality (statement)
- wikipedia: Wikipedia List of inequalities#CRX4, Marcinkiewicz–Zygmund inequality (statement)
History
- 2026-11-02: add by m2/dev
Inherent bias W2KZSYCKBD
| URI | m2://inv/W2KZSYCKBD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inherent bias, Inherent bias (definition). Also Wikidata Q6033719
History
- 2026-11-02: add by m2/dev
W2M183YKV1 W2M183YKV1
| URI | m2://inv/W2M183YKV1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37846#XNKK (statement). In DCA0M1EE4A/e1, theorem 2
History
- 2026-10-30: add by m2/v0.4.12
W2M63NRR0J W2M63NRR0J
| URI | m2://inv/W2M63NRR0J |
|---|---|
| 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.25656#5D8J (statement)
History
- 2026-11-01: add by m2/v0.6.15
Bernard Briskin W2M7YE6JRV
| URI | m2://inv/W2M7YE6JRV |
|---|---|
| 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#X3Q7, Bernard Briskin (unknown)
History
- 2026-11-02: add by m2/dev
Poincaré space W2M91G9MEZ
| URI | m2://inv/W2M91G9MEZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Poincaré space, Poincaré space (definition). Also Wikidata Q7207869
History
- 2026-11-02: add by m2/dev
power basis W2MA3Q8SZD
| URI | m2://inv/W2MA3Q8SZD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#6KUZ, power basis (definition)
History
- 2026-11-02: add by m2/dev
damping W2MAK5TR0S
| URI | m2://inv/W2MAK5TR0S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1127660, damping (unknown). Also MathWorld DampedSimpleHarmonicMotion
- wikipedia: Wikipedia Damping, Damping (definition). Also Wikidata Q1127660
History
- 2026-10-26: add by m2/dev
Causal system W2MFKKT04P
| URI | m2://inv/W2MFKKT04P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Causal system, Causal system (definition). Also Wikidata Q1523340
History
- 2026-11-02: add by m2/dev
Elliott H. Lieb W2MJD2H7AG
| URI | m2://inv/W2MJD2H7AG |
|---|---|
| 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 Q371441, Elliott H. Lieb (unknown). Also nLab Elliott Lieb
History
- 2026-10-26: add by m2/dev
W2MJTTT9V6 W2MJTTT9V6
| URI | m2://inv/W2MJTTT9V6 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1512.06981#1IQH (definition). In X923ZEY423/e1, definition 1.1.2
History
- 2026-10-27: add by m2/v0.3.5
W2MK59A9R8 W2MK59A9R8
| URI | m2://inv/W2MK59A9R8 |
|---|---|
| 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#621Q (statement). In A1GWWGRXPA/e1, theorem 6.20
History
- 2026-10-27: add by m2/v0.4.2
W2MQ74WD53 W2MQ74WD53
| URI | m2://inv/W2MQ74WD53 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-riemann.tex#example-3 (example). In E59CDZA4DP, example, section 8.1.2
History
- 2026-11-01: add by m2/v0.6.13
W2MQJ71AP0 W2MQJ71AP0
| URI | m2://inv/W2MQJ71AP0 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book logic.tex#ex:decidable-choice-strong (exercise). In N54F33XE07, ex, section 9.11
History
- 2026-11-01: add by m2/v0.6.13
Coefficient bridge W2MTFKESB6
| URI | m2://inv/W2MTFKESB6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10821#SH40, Coefficient bridge (statement). In RWNP4FEE65/e1, theorem 3.22
History
- 2026-10-28: add by m2/v0.4.3
Berkovich space W2N2T7VJAZ
| URI | m2://inv/W2N2T7VJAZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Berkovich space T284RZ6AGE |
Mentions
- wikidata: Wikidata Q4892205, Berkovich space (unknown). Also nLab Berkovich space
- wikipedia: Wikipedia Berkovich space, Berkovich space (definition). Also Wikidata Q4892205
History
- 2026-10-26: add by m2/dev
syrrhizoristic W2N7216WZ7
| URI | m2://inv/W2N7216WZ7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of invariant theory#QMO3, syrrhizoristic (definition)
History
- 2026-11-02: add by m2/dev
A Paley--Zygmund-type bound W2N8CM4YY3
| URI | m2://inv/W2N8CM4YY3 |
|---|---|
| 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.10080#BJG5, A Paley--Zygmund-type bound (statement). In N6EBNRZCYX/e1, lemma A.3
History
- 2026-10-29: add by m2/v0.4.10
Patrick Brendan Kennedy W2NEPHXKNN
| URI | m2://inv/W2NEPHXKNN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Patrick Brendan Kennedy, Patrick Brendan Kennedy (topic). Also Wikidata Q37723781
History
- 2026-11-02: add by m2/dev
W2NF4X5Q7Q W2NF4X5Q7Q
| URI | m2://inv/W2NF4X5Q7Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1903.11969#RN1R (statement). In 9N4EV3GRM7/e1, theorem 2.2
History
- 2026-10-27: add by m2/v0.3.5
nitrogen-14 W2NHTQQMPD
| URI | m2://inv/W2NHTQQMPD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1138479, nitrogen-14 (definition). Also ProofWiki Definition:Nitrogen/14
History
- 2026-10-26: add by m2/dev
W2NMQ71TBY W2NMQ71TBY
| URI | m2://inv/W2NMQ71TBY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.39593#ABNU (statement). In BF0RYHPMS1/e1, lemma 2.1
History
- 2026-10-30: add by m2/v0.4.12
Theorem W2NYJW1Y0V
| URI | m2://inv/W2NYJW1Y0V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dirichlet's approximation theorem#2V3K, Theorem (statement)
- wikipedia: Wikipedia Simple continued fraction#PFOE, Theorem (statement)
History
- 2026-11-02: add by m2/dev
W2P06DSMDY W2P06DSMDY
| URI | m2://inv/W2P06DSMDY |
|---|---|
| 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.17408#6FJ0 (statement). In QR8H4M1X4N/e1, proposition 8.3
History
- 2026-10-28: add by m2/v0.4.2
predecessor, isomorphism on $\Z$ W2P52ESSES
| URI | m2://inv/W2P52ESSES |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/7.1.3/predecessor-isomorphism-on-z, predecessor, isomorphism on $\Z$ (concept). In N54F33XE07, index, section 7.1.3
History
- 2026-11-01: add by m2/v0.6.13
Applications W2PD1698XE
| URI | m2://inv/W2PD1698XE |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Convolution#A8EE, Applications (example)
History
- 2026-11-02: add by m2/dev
Finite represented CFOs W2PD7YV7F3
| URI | m2://inv/W2PD7YV7F3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-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.28220#A517, Finite represented CFOs (statement)
History
- 2026-11-01: add by m2/v0.6.15
rank invariant W2PEEJBXCH
| URI | m2://inv/W2PEEJBXCH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 19-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks 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.31413#0FUI, rank invariant (statement). In 1C68G64QZS/e1, proposition 1
History
- 2026-10-31: add by m2/v0.5.6
Notation W2PNHB3G2V
| URI | m2://inv/W2PNHB3G2V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bra–ket notation#SWA3, Notation (definition)
History
- 2026-11-02: add by m2/dev
W2PT3CK5KS W2PT3CK5KS
| URI | m2://inv/W2PT3CK5KS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2309.15424#9IKP (statement). In NXYZ1EAWKN/e1, theorem 2.1
History
- 2026-10-27: add by m2/v0.3.5
Journal of the Ramanujan Mathematical Society W2Q0P0MGHD
| URI | m2://inv/W2Q0P0MGHD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Srinivasa Ramanujan#7B5Y, Journal of the Ramanujan Mathematical Society (unknown)
History
- 2026-11-02: add by m2/dev
Mathieu Weill W2QB4CVP7W
| URI | m2://inv/W2QB4CVP7W |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathieu Weill, Mathieu Weill (topic). Also Wikidata Q55984191
History
- 2026-11-02: add by m2/dev
W2QDDWQZDB W2QDDWQZDB
| URI | m2://inv/W2QDDWQZDB |
|---|---|
| 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.16362#1L2G (statement). In 4NJ4T3DEQB/e1, proposition 4.7
History
- 2026-10-28: add by m2/v0.4.2
Bollob\'as W2QSK964SA
| URI | m2://inv/W2QSK964SA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 01-XX, 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28552#PVWH, Bollob\'as (statement)
History
- 2026-11-01: add by m2/v0.6.15
$3\times5$ case W2QTQB6R8E
| URI | m2://inv/W2QTQB6R8E |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13291#GQ1J, $3\times5$ case (example). In D16PSAVVWV/e1, example 3.5
History
- 2026-10-28: add by m2/v0.4.2
Accumulation points of all finite zeros W2QXPVBCQ0
| URI | m2://inv/W2QXPVBCQ0 |
|---|---|
| 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#C60P, Accumulation points of all finite zeros (statement). In 4AQ48WSBDQ/e1, corollary 5.12
History
- 2026-10-29: add by m2/v0.4.10
Impossibility of a Universal Power Lower Bound W2QY9H2P99
| URI | m2://inv/W2QY9H2P99 |
|---|---|
| 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.04264#NR1J, Impossibility of a Universal Power Lower Bound (statement). In 5YRJ4HGY4N/e1, proposition 2
History
- 2026-10-29: add by m2/v0.4.12
induction principle, for type of vectors W2R0CS09QB
| URI | m2://inv/W2R0CS09QB |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/8.7/induction-principle-for-type-of-vectors, induction principle, for type of vectors (concept). In N54F33XE07, index, section 8.7
History
- 2026-11-01: add by m2/v0.6.13
Convex conjugate W2R163QZ3G
| URI | m2://inv/W2R163QZ3G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of convexity topics#O80I, Convex conjugate (definition)
History
- 2026-11-02: add by m2/dev
much-greater-or-less W2RA2E1HH2
| URI | m2://inv/W2RA2E1HH2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of mathematical symbols#DZN9, much-greater-or-less (definition)
History
- 2026-11-02: add by m2/dev
W2RA6KZQJG W2RA6KZQJG
| URI | m2://inv/W2RA6KZQJG |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#proof-75 (proof). In VNMV985MXX, proof, section 6.5
History
- 2026-11-01: add by m2/v0.6.13
W2RG5H22PP W2RG5H22PP
| URI | m2://inv/W2RG5H22PP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 60-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07285#WQ07 (statement). In S284XRA4WK/e1, lemma C.3
History
- 2026-10-29: add by m2/v0.4.10
Terminology W2RK95DPMH
| URI | m2://inv/W2RK95DPMH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bessel's correction#CBQW, Terminology (definition)
History
- 2026-11-02: add by m2/dev
The key proposition W2RMH4MEG1
| URI | m2://inv/W2RMH4MEG1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25495#UYVY, The key proposition (statement)
History
- 2026-11-01: add by m2/v0.6.15
Class membership probabilities W2RR4HZZ7Q
| URI | m2://inv/W2RR4HZZ7Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#V14D, Class membership probabilities (definition)
History
- 2026-11-02: add by m2/dev
W2RRA9PT0R W2RRA9PT0R
| URI | m2://inv/W2RRA9PT0R |
|---|---|
| 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 2504.14383#EHLQ (statement). In QD0X3XJS6T/e1, proposition 7.8
History
- 2026-10-27: add by m2/v0.3.5
W2RRQQQCD1 W2RRQQQCD1
| URI | m2://inv/W2RRQQQCD1 |
|---|---|
| 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 2610.00134#20UY (statement). In S654779J5P/e1, theorem 1
History
- 2026-10-30: add by m2/v0.4.12
Argumentum ad lazarum W2RSB6Z17H
| URI | m2://inv/W2RSB6Z17H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Argumentum ad lazarum, Argumentum ad lazarum (definition). Also Wikidata Q2861099
History
- 2026-11-02: add by m2/dev
W2RSDHF1DQ W2RSDHF1DQ
| URI | m2://inv/W2RSDHF1DQ |
|---|---|
| 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.14154#B1M7 (statement). In 8X6PXX2TRA/e1, theorem 5.3
History
- 2026-10-28: add by m2/v0.4.2
W2RW78H44K W2RW78H44K
| URI | m2://inv/W2RW78H44K |
|---|---|
| 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 2309.01359#YKKB (statement). In BFV19FC2G7/e1, lemma 4.4
History
- 2026-10-27: add by m2/v0.3.5
Elementary local-constant identities W2RXNVT9Q4
| URI | m2://inv/W2RXNVT9Q4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30301#RV81, Elementary local-constant identities (statement). In 7NS75J7HAM/e1, lemma 2.2
History
- 2026-10-31: add by m2/v0.5.6
W2RYH7RQ3Y W2RYH7RQ3Y
| URI | m2://inv/W2RYH7RQ3Y |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1804.05688#X0O2 (proof). In M8F4PDHH3S/e1, proof
History
- 2026-10-27: add by m2/v0.3.5
Contractibility of the fibres of the boundary of a homeomorphism W2S005M9KM
| URI | m2://inv/W2S005M9KM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29450#V7TI, Contractibility of the fibres of the boundary of a homeomorphism (statement)
History
- 2026-11-01: add by m2/v0.6.15
W2S85ZF76G W2S85ZF76G
| URI | m2://inv/W2S85ZF76G |
|---|---|
| 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.16492#6K55 (statement). In XQZ3X5A955/e1, lemma 5.3
History
- 2026-10-28: add by m2/v0.4.2
W2SA074H32 W2SA074H32
| URI | m2://inv/W2SA074H32 |
|---|---|
| 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.06544#B00Q (statement). In VCRB27RMN6/e1, theorem 18.5
History
- 2026-10-29: add by m2/v0.4.10
Katerina Kechris W2SWVEAQH3
| URI | m2://inv/W2SWVEAQH3 |
|---|---|
| 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#9NWN, Katerina Kechris (unknown)
History
- 2026-11-02: add by m2/dev
W2THFKHXJ9 W2THFKHXJ9
| URI | m2://inv/W2THFKHXJ9 |
|---|---|
| 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.25524#ISH0 (statement)
History
- 2026-11-01: add by m2/v0.6.15
W2TPTMBA2D W2TPTMBA2D
| URI | m2://inv/W2TPTMBA2D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/computability/computability-theory/computable-sets.tex#defn-1 (definition). In PKGMM3P5QY, defn, section 3.1
History
- 2026-11-01: add by m2/v0.6.13
W2TVCXNFAJ W2TVCXNFAJ
| URI | m2://inv/W2TVCXNFAJ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-fourier-and-pde.tex#heat:cosexr (exercise). In E9HS8K3A52, exercise, section 5.6.4
History
- 2026-11-01: add by m2/v0.6.13
W2TWPZXQVZ W2TWPZXQVZ
| URI | m2://inv/W2TWPZXQVZ |
|---|---|
| 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.39747#DLJT (statement). In 9H2KJ3W3JX/e1, lemma 18
History
- 2026-10-30: add by m2/v0.4.12
W2V648B9GR W2V648B9GR
| URI | m2://inv/W2V648B9GR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04069#LXW1 (statement). In ZA7WXGZYWC/e1, proposition 2.10
History
- 2026-10-29: add by m2/v0.4.12
W2V6WKHVF0 W2V6WKHVF0
| URI | m2://inv/W2V6WKHVF0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20894#F9IJ (statement)
History
- 2026-11-02: add by m2/v0.6.18
Spatial geometry W2VDWRVF18
| URI | m2://inv/W2VDWRVF18 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#F78Y, Spatial geometry (definition)
History
- 2026-11-02: add by m2/dev
W2VFJCTTE3 W2VFJCTTE3
| URI | m2://inv/W2VFJCTTE3 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1002.0879#DOCR (definition). In M0SQY5EZN5/e1, definition 2.3.9
History
- 2026-10-27: add by m2/v0.3.5
W2VVSV6CN2 W2VVSV6CN2
| URI | m2://inv/W2VVSV6CN2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39455#46ZB (statement). In HW4Y4TMEZ3/e1, proposition 5.8
History
- 2026-10-30: add by m2/v0.4.12
W2WC32QJEV W2WC32QJEV
| URI | m2://inv/W2WC32QJEV |
|---|---|
| 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.07040#WVA5 (statement). In KMNXNW7FHP/e1, theorem 4.3
History
- 2026-10-29: add by m2/v0.4.10
Definitions W2WCM1BH0F
| URI | m2://inv/W2WCM1BH0F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia T1 space#7KS7, Definitions (definition)
History
- 2026-11-02: add by m2/dev
W2WH1KH35P W2WH1KH35P
| URI | m2://inv/W2WH1KH35P |
|---|---|
| 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 2310.14879#1VVP (statement). In 3VZ55B2N0D/e1, lemma 5.19
History
- 2026-10-27: add by m2/v0.4.0
W2WRQJBDQ1 W2WRQJBDQ1
| URI | m2://inv/W2WRQJBDQ1 |
|---|---|
| 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 1606.05058#KXY3 (statement). In V6392C0ANF/e1, theorem G.1
History
- 2026-10-27: add by m2/v0.3.5
W2WV3VCQ01 W2WV3VCQ01
| URI | m2://inv/W2WV3VCQ01 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1912.02769#VZB1 (example). In JH7VQ2EC16/e1, example 2.8
History
- 2026-10-27: add by m2/v0.3.5
M of n codes W2WY2E8ATD
| URI | m2://inv/W2WY2E8ATD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic coding theory topics#WC1U, M of n codes (definition)
History
- 2026-11-02: add by m2/dev
W2X3DY01CP W2X3DY01CP
| URI | m2://inv/W2X3DY01CP |
|---|---|
| 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.39465#FNRF (statement). In 17F6FDEA3W/e1, theorem 3.3
History
- 2026-10-30: add by m2/v0.4.12
W2XFCXGH84 W2XFCXGH84
| URI | m2://inv/W2XFCXGH84 |
|---|---|
| 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.31126#EV1A (statement). In GK1V5GEHTK/e1, theorem 6.3
History
- 2026-10-31: add by m2/v0.5.6
epimorphism W2XGX53F13
| URI | m2://inv/W2XGX53F13 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#3MDN, epimorphism (definition)
History
- 2026-11-02: add by m2/dev
W2XMT0WXQW W2XMT0WXQW
| URI | m2://inv/W2XMT0WXQW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21717#R6M1 (statement). In CE603VK92S/e1, lemma 4.3
History
- 2026-10-27: add by m2/v0.4.2
Abraham Revutsky W2XTBEPPTM
| URI | m2://inv/W2XTBEPPTM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#4N8M, Abraham Revutsky (unknown)
History
- 2026-11-02: add by m2/dev
Correlation coefficient W2XYP11VHY
| URI | m2://inv/W2XYP11VHY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Correlation coefficient, Correlation coefficient (definition). Also Wikidata Q3433612
History
- 2026-11-02: add by m2/dev
Giovanni Boaga W2XZ12PTBA
| URI | m2://inv/W2XZ12PTBA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#EGOX, Giovanni Boaga (unknown)
History
- 2026-11-02: add by m2/dev
W2XZZW3XRW W2XZZW3XRW
| URI | m2://inv/W2XZZW3XRW |
|---|---|
| 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.12888#36SV (statement). In ZNX7Y5CWS1/e1, theorem 2.4.1
History
- 2026-10-28: add by m2/v0.4.2
W2Y312Q9ZA W2Y312Q9ZA
| URI | m2://inv/W2Y312Q9ZA |
|---|---|
| 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 2209.00108#AMSP (statement). In V2G422ZMPW/e1, lemma 4
History
- 2026-10-27: add by m2/v0.3.5
Irving Stringham W2Y3QZ1168
| URI | m2://inv/W2Y3QZ1168 |
|---|---|
| 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#K0Y9, Irving Stringham (topic)
History
- 2026-11-02: add by m2/dev
order of a group element W2Y9NM3MZ7
| URI | m2://inv/W2Y9NM3MZ7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | deferred (the item has its own article, page 493527) |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of group theory#NCRE, order of a group element (definition)
History
- 2026-11-02: add by m2/dev
- 2026-11-03: outcome by m2 corpus adopt
W2YHASJ2F5 W2YHASJ2F5
| URI | m2://inv/W2YHASJ2F5 |
|---|---|
| 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 2609.30323#SHJ4 (conjecture). In HDJ6N25XVT/e1, conjecture 1.1
History
- 2026-10-31: add by m2/v0.5.6
Homeopathy W2YJ1YCG0E
| URI | m2://inv/W2YJ1YCG0E |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of superseded scientific theories#MNXO, Homeopathy (unknown)
History
- 2026-11-02: add by m2/dev
Lloyd N. Trefethen W2YKYYKBQS
| URI | m2://inv/W2YKYYKBQS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#PQ2U, Lloyd N. Trefethen (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#3AU0, Lloyd N. Trefethen (topic)
History
- 2026-11-02: add by m2/dev
Tatiana Shubin W2YTWP7J8F
| URI | m2://inv/W2YTWP7J8F |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tatiana Shubin, Tatiana Shubin (topic). Also Wikidata Q100986104
History
- 2026-11-02: add by m2/dev
W2Z57G0D4E W2Z57G0D4E
| URI | m2://inv/W2Z57G0D4E |
|---|---|
| Kind | problem |
| 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.27168#5Y0U (problem)
History
- 2026-11-01: add by m2/v0.6.15
W2Z6EW9Y6C W2Z6EW9Y6C
| URI | m2://inv/W2Z6EW9Y6C |
|---|---|
| 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.15217#WJ4O (statement). In G70Q2FB591/e1, lemma 2.14
History
- 2026-10-28: add by m2/v0.4.2
W2ZBZ8PMBX W2ZBZ8PMBX
| URI | m2://inv/W2ZBZ8PMBX |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02689#W50U (example). In 7BWXR38MNE/e1, example 4.5
History
- 2026-10-29: add by m2/v0.4.12
W2ZEF0ZV2W W2ZEF0ZV2W
| URI | m2://inv/W2ZEF0ZV2W |
|---|---|
| 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.23332#WQE1 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Richard Price W2ZFEXWFT1
| URI | m2://inv/W2ZFEXWFT1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of actuaries#FFFY, Richard Price (unknown)
History
- 2026-11-02: add by m2/dev
Bi-directional delay line W2ZMDHT7QW
| URI | m2://inv/W2ZMDHT7QW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bi-directional delay line, Bi-directional delay line (definition). Also Wikidata Q4902345
History
- 2026-11-02: add by m2/dev