Inventory rows VW
The cards of the rows of the inventory whose ids start with VW. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Rational theta descent VW0647QEKM
| URI | m2://inv/VW0647QEKM |
|---|---|
| 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.03520#Q0VJ, Rational theta descent (statement). In CSRZ9CWK69/e1, proposition 2.1
History
- 2026-10-29: add by m2/v0.4.12
Pre-sheaf VW0GH57CQC
| URI | m2://inv/VW0GH57CQC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sheaf (mathematics)#R3RR, Pre-sheaf (unknown)
History
- 2026-11-02: add by m2/dev
Abū Ja'far al-Khāzin VW0HTB38J9
| URI | m2://inv/VW0HTB38J9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Iranian mathematicians#FQGR, Abū Ja'far al-Khāzin (unknown)
History
- 2026-11-02: add by m2/dev
Definitions VW0VNK6NBX
| URI | m2://inv/VW0VNK6NBX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weyr canonical form#LBV6, Definitions (definition)
History
- 2026-11-02: add by m2/dev
VW108S1S23 VW108S1S23
| URI | m2://inv/VW108S1S23 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21098#B40U (statement)
History
- 2026-11-02: add by m2/v0.6.18
VW1AC2KBYR VW1AC2KBYR
| URI | m2://inv/VW1AC2KBYR |
|---|---|
| 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.23390#PYCE (statement)
History
- 2026-11-02: add by m2/v0.6.17
Bates distribution VW1DMVGY6F
| URI | m2://inv/VW1DMVGY6F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability distributions#W8OU, Bates distribution (definition)
History
- 2026-11-02: add by m2/dev
Pivot theorem VW1E8RQ61Y
| URI | m2://inv/VW1E8RQ61Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#F5UT, Pivot theorem (statement)
History
- 2026-11-02: add by m2/dev
VW1FQ4N85C VW1FQ4N85C
| URI | m2://inv/VW1FQ4N85C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04870#YY2Z (statement). In X765ZXXVC3/e1, lemma 4.16
History
- 2026-10-29: add by m2/v0.4.12
VW1V0YDV9B VW1V0YDV9B
| URI | m2://inv/VW1V0YDV9B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37580#2FA0 (statement). In WJQQBTDARA/e1, lemma 8
History
- 2026-10-30: add by m2/v0.4.12
VW1WT5YZYW VW1WT5YZYW
| URI | m2://inv/VW1WT5YZYW |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/addtops-numbth.ptx#exercise-5 (exercise). In Y91XFCEVHQ, exercise, section 6.2
History
- 2026-11-01: add by m2/v0.6.13
VW227ND0QV VW227ND0QV
| URI | m2://inv/VW227ND0QV |
|---|---|
| Kind | example |
| 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 2501.18744#XGOR (example). In YRWZ02BGEF/e1, example 5.2
History
- 2026-10-27: add by m2/v0.3.5
Regularity of discrete solutions and approximative system VW28B7Z8X2
| URI | m2://inv/VW28B7Z8X2 |
|---|---|
| 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.11034#T9BR, Regularity of discrete solutions and approximative system (statement). In 2KACPY9MMF/e1, theorem 2.9
History
- 2026-10-28: add by m2/v0.4.3
Arthur Wightman VW2JFDNXE8
| URI | m2://inv/VW2JFDNXE8 |
|---|---|
| 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 Q712042, Arthur Wightman (unknown). Also nLab Arthur Wightman
History
- 2026-10-26: add by m2/dev
U-invariant VW2K88CKYP
| URI | m2://inv/VW2K88CKYP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia U-invariant, U-invariant (definition). Also Wikidata Q7862939
History
- 2026-11-02: add by m2/dev
VW2MCVCEGV VW2MCVCEGV
| URI | m2://inv/VW2MCVCEGV |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/lambda-calculus/syntax/substitution.tex#prob-4 (exercise). In PKGMM3P5QY, prob, section 38.15
History
- 2026-11-01: add by m2/v0.6.13
Large countable ordinal VW2R8FZNT9
| URI | m2://inv/VW2R8FZNT9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Large countable ordinal, Large countable ordinal (definition). Also Wikidata Q3114739
History
- 2026-11-02: add by m2/dev
VW2VC87BVY VW2VC87BVY
| URI | m2://inv/VW2VC87BVY |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 37-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.26269#RMRA (problem)
History
- 2026-11-01: add by m2/v0.6.15
VW2Z86C31Q VW2Z86C31Q
| URI | m2://inv/VW2Z86C31Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 57-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08837#O26S (statement). In KBH265QSBT/e1, lemma 5.4
History
- 2026-10-29: add by m2/v0.4.10
VW3BAS165X VW3BAS165X
| URI | m2://inv/VW3BAS165X |
|---|---|
| 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 2308.02672#FBNR (statement). In ETRT1R1CQ8/e1, lemma 3.1
History
- 2026-10-27: add by m2/v0.4.0
Mary Ellen Rudin VW3JY917TH
| URI | m2://inv/VW3JY917TH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#A56L, Mary Ellen Rudin (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#SCKS, Mary Ellen Rudin (topic)
History
- 2026-11-02: add by m2/dev
VW3M6JBFBT VW3M6JBFBT
| URI | m2://inv/VW3M6JBFBT |
|---|---|
| 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.20568#Y4O9 (statement)
History
- 2026-11-02: add by m2/v0.6.18
VW3QF2M6QJ VW3QF2M6QJ
| URI | m2://inv/VW3QF2M6QJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/intuitionistic-logic/introduction/natural-deduction.tex#prop-1 (statement). In PKGMM3P5QY, prop, section 32.1.6
History
- 2026-11-01: add by m2/v0.6.13
VW3RGKRXEH VW3RGKRXEH
| URI | m2://inv/VW3RGKRXEH |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33018#PSMS (definition). In 8XVS0QJ2AH/e1, definition 11
History
- 2026-10-31: add by m2/v0.5.6
Eckhaus equation VW3SQK8GZD
| URI | m2://inv/VW3SQK8GZD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eckhaus equation, Eckhaus equation (definition). Also Wikidata Q15838962
History
- 2026-11-02: add by m2/dev
Abram Samoilovitch Besicovitch VW3TAWNS1Q
| URI | m2://inv/VW3TAWNS1Q |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#BAN8, Abram Samoilovitch Besicovitch (topic)
History
- 2026-11-02: add by m2/dev
VW463XENFD VW463XENFD
| URI | m2://inv/VW463XENFD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.01473#K7OP (statement). In ABS9M47F4K/e1, corollary 3.33
History
- 2026-10-27: add by m2/v0.3.6
VW47DS9865 VW47DS9865
| URI | m2://inv/VW47DS9865 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2411.00562#HTIM (statement). In 99CQPHSSYF/e1, lemma \zarabicsection.\zarabicthrm
History
- 2026-10-27: add by m2/v0.3.5
Landau's problems VW49QZXFX9
| URI | m2://inv/VW49QZXFX9 |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2293126, Landau's problems (problem). Also MathWorld LandausProblems, ProofWiki Definition:Landau's_Problems
- wikipedia: Wikipedia Landau's problems, Landau's problems (conjecture). Also Wikidata Q2293126
History
- 2026-10-26: add by m2/dev
VW4JQ69R68 VW4JQ69R68
| URI | m2://inv/VW4JQ69R68 |
|---|---|
| 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 2610.18152#NCEM (conjecture). In AAVGAGCWTE/e1, conjecture 1.1
History
- 2026-10-28: add by m2/v0.4.2
Method VW4PS4AK0H
| URI | m2://inv/VW4PS4AK0H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of countries by GDP (PPP) per capita#SJ9U, Method (definition)
History
- 2026-11-02: add by m2/dev
VW4W0YEVDT VW4W0YEVDT
| URI | m2://inv/VW4W0YEVDT |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/riemann-surface/morphism.tex#proof-1 (proof). In RZP28ERRZV, proof, section 86.4
History
- 2026-11-01: add by m2/v0.6.13
Applications VW52V2EG1T
| URI | m2://inv/VW52V2EG1T |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Corner transfer matrix#THD6, Applications (example)
History
- 2026-11-02: add by m2/dev
Properties VW55AN767K
| URI | m2://inv/VW55AN767K |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Parity (mathematics)#5BPK, Properties (statement)
History
- 2026-11-02: add by m2/dev
Monte Carlo methods for option pricing VW5CR1HJGF
| URI | m2://inv/VW5CR1HJGF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#CIHW, Monte Carlo methods for option pricing (definition)
History
- 2026-11-02: add by m2/dev
Definition VW5D3E8TWZ
| URI | m2://inv/VW5D3E8TWZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ideal lattice#DG3Z, Definition (definition)
History
- 2026-11-02: add by m2/dev
VW5VMRVM5J VW5VMRVM5J
| URI | m2://inv/VW5VMRVM5J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01498#ZHV6 (statement). In 75GDSC8460/e1, proposition 5.1
History
- 2026-10-29: add by m2/v0.4.12
Properties VW5WX5PXGW
| URI | m2://inv/VW5WX5PXGW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Universal parabolic constant#3NAB, Properties (statement)
History
- 2026-11-02: add by m2/dev
octacontagon VW5ZNQCZRT
| URI | m2://inv/VW5ZNQCZRT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3348766, octacontagon (unknown). Also MathWorld Octacontagon
History
- 2026-10-26: add by m2/dev
VW6104ANXR VW6104ANXR
| URI | m2://inv/VW6104ANXR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11047#4FP3 (statement). In MNQAZ70XTH/e1, proposition 15.3
History
- 2026-10-28: add by m2/v0.4.3
French flag model VW614KWQ85
| URI | m2://inv/VW614KWQ85 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia French flag model, French flag model (definition). Also Wikidata Q5502127
History
- 2026-11-02: add by m2/dev
fractional ideal VW6B6E77H4
| URI | m2://inv/VW6B6E77H4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#LCRS, fractional ideal (definition)
History
- 2026-11-02: add by m2/dev
Hirzebruch VW6BH9E4CJ
| URI | m2://inv/VW6BH9E4CJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#8JAJ, Hirzebruch (definition)
History
- 2026-11-02: add by m2/dev
Optimal overhead for an unknown eigenbasis VW6CMV8AME
| URI | m2://inv/VW6CMV8AME |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06742#MX49, Optimal overhead for an unknown eigenbasis (statement). In 24FJ7C8WPN/e1, proposition 5
History
- 2026-10-29: add by m2/v0.4.10
Applications VW6CRAM1JB
| URI | m2://inv/VW6CRAM1JB |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Integral test for convergence#4K7A, Applications (example)
History
- 2026-11-02: add by m2/dev
VW6KVM8R1S VW6KVM8R1S
| URI | m2://inv/VW6KVM8R1S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01498#QY5S (statement). In 75GDSC8460/e1, lemma 4.7
History
- 2026-10-29: add by m2/v0.4.12
Redundancy check VW6RVQT37N
| URI | m2://inv/VW6RVQT37N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic coding theory topics#IVO7, Redundancy check (definition)
History
- 2026-11-02: add by m2/dev
Unbounded improvement in MSE for $\ell_1$ regularization VW6RYBCKMD
| URI | m2://inv/VW6RYBCKMD |
|---|---|
| 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.38453#GO06, Unbounded improvement in MSE for $\ell_1$ regularization (statement). In DWKWF242Y0/e1, theorem 3
History
- 2026-10-30: add by m2/v0.4.12
VW72HKHVYC VW72HKHVYC
| URI | m2://inv/VW72HKHVYC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 20-XX, 22-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25761#TZET (statement)
History
- 2026-11-01: add by m2/v0.6.15
Definition VW76H1PR1E
| URI | m2://inv/VW76H1PR1E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hardy field#H4NS, Definition (definition)
History
- 2026-11-02: add by m2/dev
VW7FEGW97M VW7FEGW97M
| URI | m2://inv/VW7FEGW97M |
|---|---|
| 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.30732#1LYZ (statement). In Q9ZPYJEHT2/e1, lemma C.1
History
- 2026-10-31: add by m2/v0.5.6
VW7GP3DPZG VW7GP3DPZG
| URI | m2://inv/VW7GP3DPZG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13271#MHF0 (statement). In G8ZEBKZY8M/e1, theorem 3.1
History
- 2026-10-28: add by m2/v0.4.2
VW7JM8GCWP VW7JM8GCWP
| URI | m2://inv/VW7JM8GCWP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 37-XX, 46-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27458#65T9 (statement)
History
- 2026-11-01: add by m2/v0.6.15
project VW7PY6ZV1A
| URI | m2://inv/VW7PY6ZV1A |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-nonlin-systems.tex#exercise-39, project (exercise). In E9HS8K3A52, exercise, section 8.5.3
History
- 2026-11-01: add by m2/v0.6.13
Admissible parameters VW7TQMEJER
| URI | m2://inv/VW7TQMEJER |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29605#J0NA, Admissible parameters (definition)
History
- 2026-11-01: add by m2/v0.6.15
Where mixing stops paying VW7WMJDZ47
| URI | m2://inv/VW7WMJDZ47 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37368#MA5Z, Where mixing stops paying (statement). In FRMCKEGVJZ/e1, corollary 6
History
- 2026-10-30: add by m2/v0.4.12
VW7ZCPY6CQ VW7ZCPY6CQ
| URI | m2://inv/VW7ZCPY6CQ |
|---|---|
| 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 2102.09374#LUJ4 (statement). In TGAHH1F8K5/e1, lemma 4.5
History
- 2026-10-27: add by m2/v0.3.6
Block-decay algebra VW80XF9SQS
| URI | m2://inv/VW80XF9SQS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 49-XX, 62-XX, 65-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23927#MJTJ, Block-decay algebra (statement)
History
- 2026-11-02: add by m2/v0.6.17
Béla Bollobás VW813T35BV
| URI | m2://inv/VW813T35BV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#INOG, Béla Bollobás (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#92AZ, Béla Bollobás (topic)
History
- 2026-11-02: add by m2/dev
VW815NJ0C0 VW815NJ0C0
| URI | m2://inv/VW815NJ0C0 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37520#S9KQ (definition). In BDN507RN7J/e1, definition 3.6.28
History
- 2026-10-30: add by m2/v0.4.12
Stable principal bundle VW82KPHXF0
| URI | m2://inv/VW82KPHXF0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stable principal bundle, Stable principal bundle (definition). Also Wikidata Q96406396
History
- 2026-11-02: add by m2/dev
VW8867P6K8 VW8867P6K8
| URI | m2://inv/VW8867P6K8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33300#MWCY (statement). In AWF7ZHK4EM/e1, lemma 3.1
History
- 2026-10-30: add by m2/v0.4.12
Connection to the abc conjecture VW8BTDT74C
| URI | m2://inv/VW8BTDT74C |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Brocard's problem#AUE1, Connection to the abc conjecture (statement)
History
- 2026-11-02: add by m2/dev
Comparison VW8C8FX71E
| URI | m2://inv/VW8C8FX71E |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38118#VJ2W, Comparison (definition). In K4KKTYYKKH/e1, definition
History
- 2026-10-30: add by m2/v0.4.12
Properties VW8G8KV934
| URI | m2://inv/VW8G8KV934 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bell number#1JC0, Properties (statement)
History
- 2026-11-02: add by m2/dev
Hannah Markwig VW8H1BYR7W
| URI | m2://inv/VW8H1BYR7W |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hannah Markwig, Hannah Markwig (topic). Also Wikidata Q15445700
History
- 2026-11-02: add by m2/dev
Cipher security summary VW8KDSQR9Y
| URI | m2://inv/VW8KDSQR9Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cipher security summary, Cipher security summary (definition). Also Wikidata Q5121273
History
- 2026-11-02: add by m2/dev
Bernd Fischer VW8XD5EH2G
| URI | m2://inv/VW8XD5EH2G |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bernd Fischer (mathematician), Bernd Fischer (topic). Also Wikidata Q68541
History
- 2026-11-02: add by m2/dev
VW93QFE67A VW93QFE67A
| URI | m2://inv/VW93QFE67A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02500#WKW5 (statement). In 9KFCFXF7FK/e1, proposition 1
History
- 2026-10-29: add by m2/v0.4.12
Construction VW950VCHDR
| URI | m2://inv/VW950VCHDR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 2 22 honeycomb#MUQ8, Construction (definition)
History
- 2026-11-02: add by m2/dev
VW9EPY104R VW9EPY104R
| URI | m2://inv/VW9EPY104R |
|---|---|
| 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 2609.27931#2SEA (statement)
History
- 2026-11-01: add by m2/v0.6.15
VW9KCFZ78B VW9KCFZ78B
| URI | m2://inv/VW9KCFZ78B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2009.11127#GH9D (statement). In QEFS0Y021A/e1, lemma 6.7
History
- 2026-10-27: add by m2/v0.3.5
Seventeen Mile Rocks, Queensland VW9QHKZX82
| URI | m2://inv/VW9QHKZX82 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#MA0N, Seventeen Mile Rocks, Queensland (unknown)
History
- 2026-11-02: add by m2/dev
Image-based modeling and rendering VW9TWNMAD6
| URI | m2://inv/VW9TWNMAD6 |
|---|---|
| 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#RFNW, Image-based modeling and rendering (unknown)
History
- 2026-11-02: add by m2/dev
Manipulation theorems VW9TX05YE2
| URI | m2://inv/VW9TX05YE2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Social choice theory#YV9I, Manipulation theorems (statement)
History
- 2026-11-02: add by m2/dev
VW9ZZSG9QB VW9ZZSG9QB
| URI | m2://inv/VW9ZZSG9QB |
|---|---|
| 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.25896#U45M (statement)
History
- 2026-11-01: add by m2/v0.6.15
VWA6C493TD VWA6C493TD
| URI | m2://inv/VWA6C493TD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08042#QB23 (statement). In SSEDAYK3CQ/e1, lemma 1
History
- 2026-10-29: add by m2/v0.4.10
VWAD5YMJ25 VWAD5YMJ25
| URI | m2://inv/VWAD5YMJ25 |
|---|---|
| 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 2205.09049#2SY8 (statement). In 37S7MNMZ2F/e1, proposition 22
History
- 2026-10-27: add by m2/v0.3.5
Indirect Least Squares VWAEFJY6C0
| URI | m2://inv/VWAEFJY6C0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Simultaneous equations model#92C7, Indirect Least Squares (unknown)
History
- 2026-11-02: add by m2/dev
Binomial theorem VWAF6TGPST
| URI | m2://inv/VWAF6TGPST |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wick product#94R4, Binomial theorem (statement)
History
- 2026-11-02: add by m2/dev
Hexagonal tiling honeycomb VWAM5HXXBW
| URI | m2://inv/VWAM5HXXBW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hexagonal tiling honeycomb, Hexagonal tiling honeycomb (definition). Also Wikidata Q14623247
History
- 2026-11-02: add by m2/dev
Applications VWANN5FB6Z
| URI | m2://inv/VWANN5FB6Z |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia General linear model#MPQF, Applications (example)
History
- 2026-11-02: add by m2/dev
VWAP70HDMW VWAP70HDMW
| URI | m2://inv/VWAP70HDMW |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/classgrp.tex#proof-2 (proof). In RZP28ERRZV, proof, section 9.3
History
- 2026-11-01: add by m2/v0.6.13
VWAPERES0T VWAPERES0T
| URI | m2://inv/VWAPERES0T |
|---|---|
| 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 2609.24325#ER1L (statement)
History
- 2026-11-01: add by m2/v0.6.15
VWAWCFZA53 VWAWCFZA53
| URI | m2://inv/VWAWCFZA53 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27181#IZ46 (statement)
History
- 2026-11-01: add by m2/v0.6.15
VWAWTYK43S VWAWTYK43S
| URI | m2://inv/VWAWTYK43S |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 20-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15385#RG0L (problem). In HBZXCMYPME/e1, problem 2
History
- 2026-10-28: add by m2/v0.4.2
Sug Woo Shin VWB4451103
| URI | m2://inv/VWB4451103 |
|---|---|
| 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#PCI2, Sug Woo Shin (topic)
History
- 2026-11-02: add by m2/dev
Closest vectors are preserved by Hadamard VWBDSX9QM8
| URI | m2://inv/VWBDSX9QM8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14380#WC7B, Closest vectors are preserved by Hadamard (statement). In 2ZRQP063HP/e1, lemma 5.3
History
- 2026-10-28: add by m2/v0.4.2
VWBG6EPN7X VWBG6EPN7X
| URI | m2://inv/VWBG6EPN7X |
|---|---|
| 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 2606.01011#ZLRM (statement). In RPG6EAXX68/e1, theorem 1
History
- 2026-10-27: add by m2/v0.3.5
Kosovar Mathematical Society VWBHFTAKMY
| URI | m2://inv/VWBHFTAKMY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical societies#HYS9, Kosovar Mathematical Society (definition)
History
- 2026-11-02: add by m2/dev
Example VWBK40K358
| URI | m2://inv/VWBK40K358 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orthogonality principle#A4FQ, Example (example)
History
- 2026-11-02: add by m2/dev
VWBKRV3P3P VWBKRV3P3P
| URI | m2://inv/VWBKRV3P3P |
|---|---|
| Kind | example |
| 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.20126#ZHMI (example). In KVXDWX9B11/e1, example 2.1
History
- 2026-10-27: add by m2/v0.4.2
VWBRRNTP62 VWBRRNTP62
| URI | m2://inv/VWBRRNTP62 |
|---|---|
| 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.06895#NBFT (statement). In PBB3PSDP0S/e1, lemma 11
History
- 2026-10-29: add by m2/v0.4.10
Regularity of the particle system VWBXCXZTBP
| URI | m2://inv/VWBXCXZTBP |
|---|---|
| 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 2609.21710#K0B6, Regularity of the particle system (statement)
History
- 2026-11-02: add by m2/v0.6.18
920 (number) VWC0S3GDFK
| URI | m2://inv/VWC0S3GDFK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 900 (number)#WLPE, 920 (number) (unknown)
History
- 2026-11-02: add by m2/dev
Gurvits VWC12FBF4M
| URI | m2://inv/VWC12FBF4M |
|---|---|
| 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.29262#SPNR, Gurvits (statement)
History
- 2026-11-01: add by m2/v0.6.15
Variants VWC5DWAM74
| URI | m2://inv/VWC5DWAM74 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nine lemma#3D2Y, Variants (statement)
History
- 2026-11-02: add by m2/dev
Relationship to the Brunn–Minkowski inequality VWCAQB0M1V
| URI | m2://inv/VWCAQB0M1V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vitale's random Brunn–Minkowski inequality#SZ28, Relationship to the Brunn–Minkowski inequality (statement)
History
- 2026-11-02: add by m2/dev
Convex set VWCPDZ45FV
| URI | m2://inv/VWCPDZ45FV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of convexity topics#6ALW, Convex set (definition)
History
- 2026-11-02: add by m2/dev
VWCPKA1PCY VWCPKA1PCY
| URI | m2://inv/VWCPKA1PCY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10377#91EX (statement). In 6HP7BR9WZM/e1, theorem 3.14
History
- 2026-10-29: add by m2/v0.4.10
VWCRQ2ESME VWCRQ2ESME
| URI | m2://inv/VWCRQ2ESME |
|---|---|
| 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.03238#3VKX (statement). In 5PG581A1GK/e1, theorem 20
History
- 2026-10-29: add by m2/v0.4.12
Generalized semi-infinite programming VWD0MT55F3
| URI | m2://inv/VWD0MT55F3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalized semi-infinite programming, Generalized semi-infinite programming (definition). Also Wikidata Q5532510
History
- 2026-11-02: add by m2/dev
VWDP4EAGBD VWDP4EAGBD
| URI | m2://inv/VWDP4EAGBD |
|---|---|
| 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.10078#6SUU (statement). In YVGRZK1HRS/e1, proposition 3.5
History
- 2026-10-29: add by m2/v0.4.10
VWDRKGFTDJ VWDRKGFTDJ
| URI | m2://inv/VWDRKGFTDJ |
|---|---|
| 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 2609.40191#MCSO (statement). In F0D8VSM4Z4/e1, lemma 2.3
History
- 2026-10-30: add by m2/v0.4.12
Mark Taimanov VWDTWQ9D8T
| URI | m2://inv/VWDTWQ9D8T |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#EGPW, Mark Taimanov (unknown)
History
- 2026-11-02: add by m2/dev
chiral perturbation theory VWDWHJ769W
| URI | m2://inv/VWDWHJ769W |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3984130, chiral perturbation theory (unknown). Also nLab chiral perturbation theory
History
- 2026-10-26: add by m2/dev
Global algebraic selector VWDZ1QXVRM
| URI | m2://inv/VWDZ1QXVRM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25027#LHPK, Global algebraic selector (statement)
History
- 2026-11-01: add by m2/v0.6.15
VWDZS200X4 VWDZS200X4
| URI | m2://inv/VWDZS200X4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37893#Z0VC (statement). In 8H0KHK7AMN/e1, theorem 2.15
History
- 2026-10-30: add by m2/v0.4.12
Normed vector lattice VWE47QGZ16
| URI | m2://inv/VWE47QGZ16 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Normed vector lattice, Normed vector lattice (definition). Also Wikidata Q96396243
History
- 2026-11-02: add by m2/dev
FORDISC VWE5C3V8KB
| URI | m2://inv/VWE5C3V8KB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia FORDISC, FORDISC (definition). Also Wikidata Q5426876
History
- 2026-11-02: add by m2/dev
Classical modal logic VWEA17D57H
| URI | m2://inv/VWEA17D57H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Classical modal logic, Classical modal logic (definition). Also Wikidata Q5128344
History
- 2026-11-02: add by m2/dev
Cover time with resets VWEE9PPK1S
| URI | m2://inv/VWEE9PPK1S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14988#MMEJ, Cover time with resets (statement). In B29M4E6KGC/e1, lemma J.13
History
- 2026-10-28: add by m2/v0.4.2
Examples VWET6VYERM
| URI | m2://inv/VWET6VYERM |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Computable ordinal#0A3O, Examples (example)
History
- 2026-11-02: add by m2/dev
VWEXPJADTZ VWEXPJADTZ
| URI | m2://inv/VWEXPJADTZ |
|---|---|
| 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#OFW3 (definition). In M0SQY5EZN5/e1, definition 4.2.5
History
- 2026-10-27: add by m2/v0.3.5
Taylor's theorem in one real variable VWEY510EGS
| URI | m2://inv/VWEY510EGS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Taylor's theorem#YJUM, Taylor's theorem in one real variable (statement)
History
- 2026-11-02: add by m2/dev
VWF9PDQ08D VWF9PDQ08D
| URI | m2://inv/VWF9PDQ08D |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book setmath.tex#proof-31 (proof). In N54F33XE07, proof, section C.3
History
- 2026-11-01: add by m2/v0.6.13
The leading coefficient on the regular locus VWF9ZKN8Y4
| URI | m2://inv/VWF9ZKN8Y4 |
|---|---|
| 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.11077#P7TG, The leading coefficient on the regular locus (statement). In 4333A6G5K5/e1, theorem 5.6
History
- 2026-10-28: add by m2/v0.4.3
IndRNN VWFB43TYY9
| URI | m2://inv/VWFB43TYY9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Recurrent neural network#0N9Z, IndRNN (unknown)
History
- 2026-11-02: add by m2/dev
VWFKDQGA7J VWFKDQGA7J
| URI | m2://inv/VWFKDQGA7J |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-nonlin-systems.tex#exercise-12 (exercise). In E9HS8K3A52, exercise, section 8.2.5
History
- 2026-11-01: add by m2/v0.6.13
VWFNQ39XW0 VWFNQ39XW0
| URI | m2://inv/VWFNQ39XW0 |
|---|---|
| Kind | example |
| 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.20145#FA7Q (example)
History
- 2026-11-02: add by m2/v0.6.18
abc conjecture VWFNW3RYHC
| URI | m2://inv/VWFNW3RYHC |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | abc conjecture G7JH2NXPC0 |
Mentions
- wikidata: Wikidata Q306393, abc conjecture (conjecture). Also EoM ABC_conjecture, MathWorld abcConjecture, nLab abc conjecture, ProofWiki Oesterlé-Masser_Conjecture
- wikipedia: Wikipedia Abc conjecture, Abc conjecture (conjecture). Also Wikidata Q306393
History
- 2026-10-26: add by m2/dev
VWFQSPQFFK VWFQSPQFFK
| URI | m2://inv/VWFQSPQFFK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-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 1001.1196#B9XI (statement). In BCB418GV9C/e1, theorem 2.4
History
- 2026-10-27: add by m2/v0.3.5
VWFRG23KC3 VWFRG23KC3
| URI | m2://inv/VWFRG23KC3 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/sequent-calculus/proof-theoretic-notions.tex#proof-2 (proof). In PKGMM3P5QY, proof, section 17.5
History
- 2026-11-01: add by m2/v0.6.13
Garbling cannot improve posterior mean-square error VWFWD8438P
| URI | m2://inv/VWFWD8438P |
|---|---|
| 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.13464#05BF, Garbling cannot improve posterior mean-square error (statement). In P40KK40XFP/e1, lemma 1
History
- 2026-10-28: add by m2/v0.4.2
Troy Aikman VWFXAZ19JF
| URI | m2://inv/VWFXAZ19JF |
|---|---|
| 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#FPA7, Troy Aikman (unknown)
History
- 2026-11-02: add by m2/dev
VWFXKAFD5C VWFXKAFD5C
| URI | m2://inv/VWFXKAFD5C |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01354#BBMA (definition). In BWD76W20W8/e1, definition 2.3
History
- 2026-10-29: add by m2/v0.4.12
A Two-Queue Model VWFYPMDZT2
| URI | m2://inv/VWFYPMDZT2 |
|---|---|
| Kind | example |
| 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.23994#L7GM, A Two-Queue Model (example)
History
- 2026-11-02: add by m2/v0.6.17
Tatiana Roque VWG807CMBV
| URI | m2://inv/VWG807CMBV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tatiana Roque, Tatiana Roque (topic). Also Wikidata Q61000632
History
- 2026-11-02: add by m2/dev
VWGJ44M92R VWGJ44M92R
| URI | m2://inv/VWGJ44M92R |
|---|---|
| Kind | example |
| 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.39793#LS1K (example). In 380M45ANWF/e1, example 1
History
- 2026-10-30: add by m2/v0.4.12
Theorem 1 VWGKEHXF7M
| URI | m2://inv/VWGKEHXF7M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Density functional theory#9JI2, Theorem 1 (statement)
History
- 2026-11-02: add by m2/dev
VWGKR8RP3K VWGKR8RP3K
| URI | m2://inv/VWGKR8RP3K |
|---|---|
| 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.00625#VL0A (statement). In BGA625B7W1/e1, proposition 3.5
History
- 2026-10-30: add by m2/v0.4.12
Correspondence analysis VWGSYQZWE8
| URI | m2://inv/VWGSYQZWE8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Correspondence analysis, Correspondence analysis (definition). Also Wikidata Q1784754
History
- 2026-11-02: add by m2/dev
VWGXVJCHPG VWGXVJCHPG
| URI | m2://inv/VWGXVJCHPG |
|---|---|
| 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.04252#DU25 (statement). In ZF0Z61VQ96/e1, theorem 6.4
History
- 2026-10-29: add by m2/v0.4.12
1973 Costa Rican census VWHJ5AY3JZ
| URI | m2://inv/VWHJ5AY3JZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 1973 Costa Rican census, 1973 Costa Rican census (definition). Also Wikidata Q5760527
History
- 2026-11-02: add by m2/dev
VWHK0EPM40 VWHK0EPM40
| URI | m2://inv/VWHK0EPM40 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 19-XX, 20-XX, 22-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14278#7DTR (definition). In RTE2C0PH4S/e1, definition 6.1
History
- 2026-10-28: add by m2/v0.4.2
Averaging lower bound VWHMJD7JSH
| URI | m2://inv/VWHMJD7JSH |
|---|---|
| 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.33027#5BAS, Averaging lower bound (statement). In E2AF84709B/e1, proposition 28
History
- 2026-10-31: add by m2/v0.5.6
VWHX0ART6C VWHX0ART6C
| URI | m2://inv/VWHX0ART6C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 51-XX, 52-XX, 53-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.03305#HYA9 (statement). In WAJ5AZHF62/e1, proposition 4.3
History
- 2026-10-29: add by m2/v0.4.12
Prescriptive analytics VWJ0JPYN4K
| URI | m2://inv/VWJ0JPYN4K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Prescriptive analytics, Prescriptive analytics (definition). Also Wikidata Q7240900
History
- 2026-11-02: add by m2/dev
Theorem VWJ6YSWGPP
| URI | m2://inv/VWJ6YSWGPP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia XTR#DV71, Theorem (statement)
History
- 2026-11-02: add by m2/dev
VWJ7SHB9D4 VWJ7SHB9D4
| URI | m2://inv/VWJ7SHB9D4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40200#YXH6 (statement). In VWNB6QJWFN/e1, proposition 5.1
History
- 2026-10-30: add by m2/v0.4.12
Brunner Munzel Test VWJ8D2PRNM
| URI | m2://inv/VWJ8D2PRNM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Brunner Munzel Test, Brunner Munzel Test (definition). Also Wikidata Q118899086
History
- 2026-11-02: add by m2/dev
VWJ9DY72T2 VWJ9DY72T2
| URI | m2://inv/VWJ9DY72T2 |
|---|---|
| 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 1809.06512#U8O4 (statement). In RY2X22P6XW/e1, theorem 42
History
- 2026-10-27: add by m2/v0.3.5
Leonard Susskind VWJ9W4DX6Z
| URI | m2://inv/VWJ9W4DX6Z |
|---|---|
| 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 Q203243, Leonard Susskind (unknown). Also nLab Leonard Susskind
History
- 2026-10-26: add by m2/dev
VWJA7VTH39 VWJA7VTH39
| URI | m2://inv/VWJA7VTH39 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22560#RN5A (statement)
History
- 2026-11-02: add by m2/v0.6.17
Enrico Bombieri VWJC87CTS0
| URI | m2://inv/VWJC87CTS0 |
|---|---|
| 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 Q333538, Enrico Bombieri (unknown). Also ProofWiki Mathematician:Enrico_Bombieri
- wikipedia: Wikipedia Enrico Bombieri, Enrico Bombieri (topic). Also Wikidata Q333538
History
- 2026-10-26: add by m2/dev
Discrete group VWJWBAR9M9
| URI | m2://inv/VWJWBAR9M9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#FXSR, Discrete group (definition)
History
- 2026-11-02: add by m2/dev
Leo Königsberger VWK18T7BPN
| URI | m2://inv/VWK18T7BPN |
|---|---|
| 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#JC8C, Leo Königsberger (topic)
- wikipedia: Wikipedia List of German mathematicians#H8DF, Leo Königsberger (topic)
History
- 2026-11-02: add by m2/dev
Properties VWK2E5CW2B
| URI | m2://inv/VWK2E5CW2B |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia James' space#A6LS, Properties (statement)
History
- 2026-11-02: add by m2/dev
S-duality (homotopy theory) VWK5Z64A0A
| URI | m2://inv/VWK5Z64A0A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of dualities#DPL6, S-duality (homotopy theory) (definition)
History
- 2026-11-02: add by m2/dev
VWK74XVJYM VWK74XVJYM
| URI | m2://inv/VWK74XVJYM |
|---|---|
| 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.31274#CPQ2 (statement). In RK0ZMDJ23T/e1, lemma 1.1.17
History
- 2026-10-31: add by m2/v0.5.6
VWKBR6HFAY VWKBR6HFAY
| URI | m2://inv/VWKBR6HFAY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07292#SP2M (statement). In PZ17NHGAKX/e1, lemma 4
History
- 2026-10-29: add by m2/v0.4.10
VWKC3RG3ZS VWKC3RG3ZS
| URI | m2://inv/VWKC3RG3ZS |
|---|---|
| Kind | definition |
| 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.12912#RL8J (definition). In PDKBKKJ4BV/e1, definition 1.4
History
- 2026-10-28: add by m2/v0.4.2
Norway VWKFZB1YHA
| URI | m2://inv/VWKFZB1YHA |
|---|---|
| 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 Q20, Norway (unknown). Also ProofWiki Mathematician:Mathematicians/Sorted_By_Nation/Norway
History
- 2026-10-26: add by m2/dev
Jan Butterfield VWKGEYZEP2
| URI | m2://inv/VWKGEYZEP2 |
|---|---|
| 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#FA0W, Jan Butterfield (unknown)
History
- 2026-11-02: add by m2/dev
Volume entropy VWKQYEG5NK
| URI | m2://inv/VWKQYEG5NK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Volume entropy, Volume entropy (definition). Also Wikidata Q7940890
History
- 2026-11-02: add by m2/dev
Yanxun Xu VWKSC0A32T
| URI | m2://inv/VWKSC0A32T |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#Z888, Yanxun Xu (topic)
History
- 2026-11-02: add by m2/dev
VWKX28HGRS VWKX28HGRS
| URI | m2://inv/VWKX28HGRS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1107.2621#D72K (statement). In Z9AZRC1HA1/e1, lemma 6
History
- 2026-10-27: add by m2/v0.3.5
Feit–Thompson conjecture VWKYK9VF74
| URI | m2://inv/VWKYK9VF74 |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5441592, Feit–Thompson conjecture (conjecture). Also MathWorld Feit-ThompsonConjecture, ProofWiki Feit-Thompson_Conjecture
- wikipedia: Wikipedia Feit–Thompson conjecture, Feit–Thompson conjecture (conjecture). Also Wikidata Q5441592
History
- 2026-10-26: add by m2/dev
Robert E. Johnson VWM6CJQJ91
| URI | m2://inv/VWM6CJQJ91 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Robert E. Johnson (scientist), Robert E. Johnson (topic). Also Wikidata Q48800949
History
- 2026-11-02: add by m2/dev
VWMC6ARZKB VWMC6ARZKB
| URI | m2://inv/VWMC6ARZKB |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03864#BJ7D (definition). In 41GB65CTBJ/e1, definition A4
History
- 2026-10-29: add by m2/v0.4.12
Leonid Kantorovich VWMG922Z0X
| URI | m2://inv/VWMG922Z0X |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#BTW7, Leonid Kantorovich (topic)
History
- 2026-11-02: add by m2/dev
VWN3RMYQ22 VWN3RMYQ22
| URI | m2://inv/VWN3RMYQ22 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2006.12475#7ZH8 (statement). In 8YWBGQQGA3/e1, proposition 5
History
- 2026-10-27: add by m2/v0.3.5
VWN4T2KJ38 VWN4T2KJ38
| URI | m2://inv/VWN4T2KJ38 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14204#G0D5 (statement). In GZAY1Y12YD/e1, theorem B
History
- 2026-10-28: add by m2/v0.4.2
VWNAW4GJFA VWNAW4GJFA
| URI | m2://inv/VWNAW4GJFA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2502.05771#48TY (statement). In 958KKGH89J/e1, corollary B
History
- 2026-10-27: add by m2/v0.3.6
Besov measure VWNC9HB0NJ
| URI | m2://inv/VWNC9HB0NJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Besov measure, Besov measure (definition). Also Wikidata Q25113079
History
- 2026-11-02: add by m2/dev
Syntactic equality VWND6B1A90
| URI | m2://inv/VWND6B1A90 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Computer algebra#71AG, Syntactic equality (unknown)
History
- 2026-11-02: add by m2/dev
Examples VWNMSGVJ10
| URI | m2://inv/VWNMSGVJ10 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Infinite set#0SAM, Examples (example)
History
- 2026-11-02: add by m2/dev
Recapitulation theory VWNPC02048
| URI | m2://inv/VWNPC02048 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of superseded scientific theories#MPJZ, Recapitulation theory (unknown)
History
- 2026-11-02: add by m2/dev
VWNWAS4E6Q VWNWAS4E6Q
| URI | m2://inv/VWNWAS4E6Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2008.10035#422M (statement). In 29EH04FH4B/e1, lemma 5.4
History
- 2026-10-27: add by m2/v0.3.5
Basic properties VWPBF679XZ
| URI | m2://inv/VWPBF679XZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Angles between flats#V84Z, Basic properties (statement)
History
- 2026-11-02: add by m2/dev
Niven (or Harshad) numbers: numbers that are divisible by the sum of their digits. VWPCJXRHYK
| URI | m2://inv/VWPCJXRHYK |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q100193283, Niven (or Harshad) numbers: numbers that are divisible by the sum of their digits. (object). Also OEIS A005349
History
- 2026-10-26: add by m2/dev
Discrete mathematics VWPFPCNAMT
| URI | m2://inv/VWPFPCNAMT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#O5V1, Discrete mathematics (definition)
History
- 2026-11-02: add by m2/dev
VWPHZ76WTC VWPHZ76WTC
| URI | m2://inv/VWPHZ76WTC |
|---|---|
| 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 2211.16099#XQYH (statement). In 91RRFW0K5D/e1, proposition 11
History
- 2026-10-27: add by m2/v0.3.5
Construction VWPNZRRW9N
| URI | m2://inv/VWPNZRRW9N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Heat exchanger#DKST, Construction (definition)
History
- 2026-11-02: add by m2/dev
VWPS0W6SRN VWPS0W6SRN
| URI | m2://inv/VWPS0W6SRN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 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 2503.00560#XG2M (statement). In KH1H3TSWPS/e1, proposition 2.3
History
- 2026-10-27: add by m2/v0.3.6
VWQ5KZT6Q9 VWQ5KZT6Q9
| URI | m2://inv/VWQ5KZT6Q9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19283#X7D6 (statement). In 28BAGZRCKG/e1, theorem 4.9
History
- 2026-10-28: add by m2/v0.4.2
Shallow circuit classes VWQ6VP4G4B
| URI | m2://inv/VWQ6VP4G4B |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02166#F42X, Shallow circuit classes (definition). In R6RF3P6D5A/e1, definition 3.5
History
- 2026-10-29: add by m2/v0.4.12
Tarjan's algorithm VWQC2D3B2C
| URI | m2://inv/VWQC2D3B2C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tarjan's algorithm, Tarjan's algorithm (definition). Also Wikidata Q101588440
History
- 2026-11-02: add by m2/dev
fallacy VWQD8MWYWX
| URI | m2://inv/VWQD8MWYWX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#OV5E, fallacy (definition)
History
- 2026-11-02: add by m2/dev
Kappa coefficient VWQE1N9G4F
| URI | m2://inv/VWQE1N9G4F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#UADA, Kappa coefficient (definition)
History
- 2026-11-02: add by m2/dev
Examples VWQFR3EP33
| URI | m2://inv/VWQFR3EP33 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia F-space#50DL, Examples (example)
History
- 2026-11-02: add by m2/dev
Snake-in-the-box VWQG8HSJZ9
| URI | m2://inv/VWQG8HSJZ9 |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#NXEK, Snake-in-the-box (conjecture)
History
- 2026-11-02: add by m2/dev
First-order arithmetic VWQQ0P5S8Y
| URI | m2://inv/VWQQ0P5S8Y |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical logic topics#G06D, First-order arithmetic (topic)
History
- 2026-11-02: add by m2/dev
Contained relative profile VWQQG6K790
| URI | m2://inv/VWQQG6K790 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40252#HCJV, Contained relative profile (definition). In 7MVPNFPRKB/e1, definition 10.9
History
- 2026-10-30: add by m2/v0.4.12
Jean François Niceron VWQTF8JS1Y
| URI | m2://inv/VWQTF8JS1Y |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jean François Niceron, Jean François Niceron (topic). Also Wikidata Q3165794
History
- 2026-11-02: add by m2/dev
VWQYENW03G VWQYENW03G
| URI | m2://inv/VWQYENW03G |
|---|---|
| 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 0910.5574#ID69 (statement). In 2TJRBRKYAY/e1, lemma 7.1
History
- 2026-10-27: add by m2/v0.3.5
Stellar structure VWR32JMP6R
| URI | m2://inv/VWR32JMP6R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stellar structure, Stellar structure (definition). Also Wikidata Q6495
History
- 2026-11-02: add by m2/dev
differentiability of the sum of a series of functions VWRA4FQC8G
| URI | m2://inv/VWRA4FQC8G |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Single Variable Real Analysis > Sequences and series of functions > differentiability of the sum of a series of functions, differentiability of the sum of a series of functions (unknown). Also Mathlib differentiable_tsum
History
- 2026-10-26: add by m2/dev
Communications of the ACM VWRDBTP6RV
| URI | m2://inv/VWRDBTP6RV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a book, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1120519, Communications of the ACM (unknown). Also ProofWiki Book:Journal/Communications_of_the_Association_for_Computing_Machinery
History
- 2026-10-26: add by m2/dev
VWRDJECB1Q VWRDJECB1Q
| URI | m2://inv/VWRDJECB1Q |
|---|---|
| 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#A64F (statement)
History
- 2026-11-01: add by m2/v0.6.15
Uses VWRF0ARYGK
| URI | m2://inv/VWRF0ARYGK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia X̅ and s chart#OOJC, Uses (example)
History
- 2026-11-02: add by m2/dev
VWRMWZMQYK VWRMWZMQYK
| URI | m2://inv/VWRMWZMQYK |
|---|---|
| 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 2411.16655#O65B (statement). In EJHAXRV685/e1, lemma 3.2
History
- 2026-10-27: add by m2/v0.3.5
VWRTC9191M VWRTC9191M
| URI | m2://inv/VWRTC9191M |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/axiomatic-deduction/proof-theoretic-notions.tex#proof-3 (proof). In PKGMM3P5QY, proof, section 8.6
History
- 2026-11-01: add by m2/v0.6.13
The Macdonald positivity conjecture VWRYGFAQKW
| URI | m2://inv/VWRYGFAQKW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Macdonald polynomials#UDQ1, The Macdonald positivity conjecture (statement)
History
- 2026-11-02: add by m2/dev
All opposite-side means VWS298RCVA
| URI | m2://inv/VWS298RCVA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24931#DJMZ, All opposite-side means (statement)
History
- 2026-11-01: add by m2/v0.6.15
Properties VWS3T91AN2
| URI | m2://inv/VWS3T91AN2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Volume entropy#CHSD, Properties (statement)
History
- 2026-11-02: add by m2/dev
Definition VWS81HQ50B
| URI | m2://inv/VWS81HQ50B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ultraproduct#FO00, Definition (definition)
History
- 2026-11-02: add by m2/dev
Jónsson algebra VWSBHJ7M7A
| URI | m2://inv/VWSBHJ7M7A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#DTKZ, Jónsson algebra (definition)
History
- 2026-11-02: add by m2/dev
Methods VWSHSEBS7B
| URI | m2://inv/VWSHSEBS7B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Distributed key generation#57V3, Methods (definition)
History
- 2026-11-02: add by m2/dev
VWT67G8F85 VWT67G8F85
| URI | m2://inv/VWT67G8F85 |
|---|---|
| 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.20368#KF1F (statement)
History
- 2026-11-02: add by m2/v0.6.18
VWT9FGE08N VWT9FGE08N
| URI | m2://inv/VWT9FGE08N |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2106.06387#39I2 (unknown). In 4YJH4FPWDA/e1, unknown 3.22
History
- 2026-10-30: add by m2/v0.4.12
VWTB4G47CE VWTB4G47CE
| URI | m2://inv/VWTB4G47CE |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/seq-conc.ptx#exercise-1 (exercise). In Y91XFCEVHQ, exercise, section 3.6
History
- 2026-11-01: add by m2/v0.6.13
Fine all-plane estimate VWTBPCBP08
| URI | m2://inv/VWTBPCBP08 |
|---|---|
| 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.03298#FV3L, Fine all-plane estimate (statement). In 9SBZP218SM/e1, proposition 7.1
History
- 2026-10-29: add by m2/v0.4.12
Density of prime cofactors VWTH4RAP6H
| URI | m2://inv/VWTH4RAP6H |
|---|---|
| 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.15262#HQ73, Density of prime cofactors (statement). In C44HVXWYRF/e1, theorem 7.4
History
- 2026-10-28: add by m2/v0.4.2
VWTM7HJZ1Z VWTM7HJZ1Z
| URI | m2://inv/VWTM7HJZ1Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01946#3ZK6 (statement). In NB1Z31FMXN/e1, lemma 5.1
History
- 2026-10-29: add by m2/v0.4.12
Power cone VWTS3VJVX3
| URI | m2://inv/VWTS3VJVX3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Power cone, Power cone (definition). Also Wikidata Q123804995
History
- 2026-11-02: add by m2/dev
GOE, optimal eigenvalue approximation VWTVNBP1NE
| URI | m2://inv/VWTVNBP1NE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28781#SOGP, GOE, optimal eigenvalue approximation (statement)
History
- 2026-11-01: add by m2/v0.6.15
VWTY0KFD5J VWTY0KFD5J
| URI | m2://inv/VWTY0KFD5J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 18-XX, 55-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30262#MD3N (statement). In FWA5QW6FCF/e1, corollary 4.1
History
- 2026-10-31: add by m2/v0.5.6
VWTYRXH2VG VWTYRXH2VG
| URI | m2://inv/VWTYRXH2VG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32174#M5CY (statement). In GHKR740SG3/e1, corollary 10.4
History
- 2026-10-31: add by m2/v0.5.6
VWV4HGJC1C VWV4HGJC1C
| URI | m2://inv/VWV4HGJC1C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12329#TXP9 (statement). In ZJQB9W60T6/e1, lemma 5.16
History
- 2026-10-28: add by m2/v0.4.2
Graciela González Farías VWVCJ3X34W
| URI | m2://inv/VWVCJ3X34W |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graciela González Farías, Graciela González Farías (topic). Also Wikidata Q102222187
History
- 2026-11-02: add by m2/dev
Saunders Mac Lane VWVMNPMATS
| URI | m2://inv/VWVMNPMATS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#K69F, Saunders Mac Lane (topic)
History
- 2026-11-02: add by m2/dev
VWVPDT4EP9 VWVPDT4EP9
| URI | m2://inv/VWVPDT4EP9 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2303.09207#IMX9 (definition). In 9DQKY7KGE8/e1, definition B.32
History
- 2026-10-31: add by m2/v0.5.6
VWVRM9MAJM VWVRM9MAJM
| URI | m2://inv/VWVRM9MAJM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/homology/cup-product.tex#theorem-3 (statement). In RZP28ERRZV, theorem, section 52.4
History
- 2026-11-01: add by m2/v0.6.13
VWW07QWSB7 VWW07QWSB7
| URI | m2://inv/VWW07QWSB7 |
|---|---|
| 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.11455#YEG7 (statement). In Z1EBVH5SP1/e1, proposition 4.3
History
- 2026-10-28: add by m2/v0.4.3
Examples VWW0MTMZAN
| URI | m2://inv/VWW0MTMZAN |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalized conic#FM6A, Examples (example)
History
- 2026-11-02: add by m2/dev
Jorge Nuno Silva VWWBEAVPQ7
| URI | m2://inv/VWWBEAVPQ7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jorge Nuno Silva, Jorge Nuno Silva (topic). Also Wikidata Q112554987
History
- 2026-11-02: add by m2/dev
Periodic polystrip-analytic space VWWHRENNX9
| URI | m2://inv/VWWHRENNX9 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28937#76D6, Periodic polystrip-analytic space (definition)
History
- 2026-11-01: add by m2/v0.6.15
Stephen Houlgate VWWJWPRFBX
| URI | m2://inv/VWWJWPRFBX |
|---|---|
| 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 Q61410057, Stephen Houlgate (unknown). Also nLab Stephen Houlgate
History
- 2026-10-26: add by m2/dev
Minimal-conductor comparison VWWPQ90M74
| URI | m2://inv/VWWPQ90M74 |
|---|---|
| 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#GPEN, Minimal-conductor comparison (statement). In 7NS75J7HAM/e1, proposition 9.5
History
- 2026-10-31: add by m2/v0.5.6
Wireless MMX VWWR3BP1FZ
| URI | m2://inv/VWWR3BP1FZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia MMX (instruction set)#SGUG, Wireless MMX (unknown)
History
- 2026-11-02: add by m2/dev
VWX0JW4306 VWX0JW4306
| URI | m2://inv/VWX0JW4306 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/propositional-logic/syntax-and-semantics/completeness.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 62.2
History
- 2026-11-01: add by m2/v0.6.13
VWX2F2QN8W VWX2F2QN8W
| URI | m2://inv/VWX2F2QN8W |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22040#ZC6O (example). In 2QP93JHYNB/e1, example 6.7
History
- 2026-10-27: add by m2/v0.4.2
Closure axioms of matroids VWX4NPX2AW
| URI | m2://inv/VWX4NPX2AW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18154#RW5B, Closure axioms of matroids (statement). In 4W7ARR1DAR/e1, fact B.13
History
- 2026-10-28: add by m2/v0.4.2
James' theorem VWX85YWHPB
| URI | m2://inv/VWX85YWHPB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reflexive space#850P, James' theorem (statement)
History
- 2026-11-02: add by m2/dev
Submonoid VWXCDEANJG
| URI | m2://inv/VWXCDEANJG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Monoid#0NN8, Submonoid (unknown)
History
- 2026-11-02: add by m2/dev
aspiring number VWXGN6NQ2B
| URI | m2://inv/VWXGN6NQ2B |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q104215979, aspiring number (unknown). Also MathWorld AspiringNumber, OEIS A063769
History
- 2026-10-26: add by m2/dev
VWXMQBNDK5 VWXMQBNDK5
| URI | m2://inv/VWXMQBNDK5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29393#NPAL (statement)
History
- 2026-11-01: add by m2/v0.6.15
Example VWXWGM72CS
| URI | m2://inv/VWXWGM72CS |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Caesar cipher#VQN3, Example (example)
History
- 2026-11-02: add by m2/dev
Boundary-orthogonal $\varepsilon$-regularity for the tilt VWY38GE99P
| URI | m2://inv/VWY38GE99P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09596#37Y3, Boundary-orthogonal $\varepsilon$-regularity for the tilt (statement). In HXFA55BREZ/e1, theorem 1.14
History
- 2026-10-29: add by m2/v0.4.10
VWY5V7Y3N2 VWY5V7Y3N2
| URI | m2://inv/VWY5V7Y3N2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 17-XX, 20-XX, 22-XX, 35-XX, 47-XX, 58-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2211.01586#8W94 (statement). In P39MF3ZJC0/e1, proposition A.7
History
- 2026-10-27: add by m2/v0.3.5
open, problem VWYBTMJACN
| URI | m2://inv/VWYBTMJACN |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/4.4/open-problem, open, problem (concept). In N54F33XE07, index, section 4.4
History
- 2026-11-01: add by m2/v0.6.13
VWYVDEVD41 VWYVDEVD41
| URI | m2://inv/VWYVDEVD41 |
|---|---|
| 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#TNOR (statement). In S654779J5P/e1, theorem 2
History
- 2026-10-30: add by m2/v0.4.12
VWYWSXQTT6 VWYWSXQTT6
| URI | m2://inv/VWYWSXQTT6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19260#TPSR (statement). In PWXT7J9JX3/e1, theorem 3.15
History
- 2026-10-28: add by m2/v0.4.2
History of computational anatomy VWZ49ES7FJ
| URI | m2://inv/VWZ49ES7FJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Computational anatomy#Q9F8, History of computational anatomy (unknown)
History
- 2026-11-02: add by m2/dev
VWZ5G0VDF6 VWZ5G0VDF6
| URI | m2://inv/VWZ5G0VDF6 |
|---|---|
| Kind | example |
| 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.36423#MIV4 (example). In Q5Z178SAHP/e1, example 8.2
History
- 2026-10-30: add by m2/v0.4.12
VWZ76P7DG9 VWZ76P7DG9
| URI | m2://inv/VWZ76P7DG9 |
|---|---|
| Kind | problem |
| 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 2203.15223#2DWY (problem). In HSY17Q75DM/e1, problem
History
- 2026-10-27: add by m2/v0.3.5
VWZ7WTNQKB VWZ7WTNQKB
| URI | m2://inv/VWZ7WTNQKB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10505#9NWO (statement). In JW8HH6EPG2/e1, lemma
History
- 2026-10-29: add by m2/v0.4.10
VWZEA9S9DD VWZEA9S9DD
| URI | m2://inv/VWZEA9S9DD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/artin.tex#theorem-6 (statement). In RZP28ERRZV, theorem, section 8.7
History
- 2026-11-01: add by m2/v0.6.13
Pointed ultralimit VWZS3ZRQ16
| URI | m2://inv/VWZS3ZRQ16 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17400#OB5H, Pointed ultralimit (definition). In 8VDXGR4SVD/e1, definition 6.7
History
- 2026-10-28: add by m2/v0.4.2