Inventory rows VS
The cards of the rows of the inventory whose ids start with VS. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
VS07NAMFC4 VS07NAMFC4
| URI | m2://inv/VS07NAMFC4 |
|---|---|
| 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 2212.00617#54H6 (statement). In K7505G10SS/e1, theorem 5.7
History
- 2026-10-27: add by m2/v0.3.5
Sphenic number VS0AQS34FP
| URI | m2://inv/VS0AQS34FP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of recreational number theory topics#KLRC, Sphenic number (definition)
History
- 2026-11-02: add by m2/dev
rational-parameter theorem VS0F2GGA5R
| URI | m2://inv/VS0F2GGA5R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26996#LPPP, rational-parameter theorem (statement). In FP7Z8PJ4AW/e1, theorem 6.1
History
- 2026-10-27: add by m2/v0.3.5
Global law VS0NYNRQZ2
| URI | m2://inv/VS0NYNRQZ2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Circular law#B65A, Global law (statement)
History
- 2026-11-02: add by m2/dev
Alessandro Galilei VS0PC1Q5FF
| URI | m2://inv/VS0PC1Q5FF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alessandro Galilei, Alessandro Galilei (topic). Also Wikidata Q176742
History
- 2026-11-02: add by m2/dev
Sober VS0XGXR9A7
| URI | m2://inv/VS0XGXR9A7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of general topology#5CYK, Sober (definition)
History
- 2026-11-02: add by m2/dev
VS0Y0AKFM9 VS0Y0AKFM9
| URI | m2://inv/VS0Y0AKFM9 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book hlevels.tex#ex:s2-colim-unit-2 (exercise). In N54F33XE07, ex, section 6.7
History
- 2026-11-01: add by m2/v0.6.13
Noether VS0YJ3ZJV2
| URI | m2://inv/VS0YJ3ZJV2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#AVRD, Noether (definition)
History
- 2026-11-02: add by m2/dev
Deltahedron VS1ACZZMS7
| URI | m2://inv/VS1ACZZMS7 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#47A4, Deltahedron (object)
History
- 2026-11-02: add by m2/dev
Ole Peder Arvesen VS1BB6BD5T
| URI | m2://inv/VS1BB6BD5T |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematicians born in the 19th century#3FVH, Ole Peder Arvesen (topic)
History
- 2026-11-02: add by m2/dev
Properties VS1D13XPWJ
| URI | m2://inv/VS1D13XPWJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kronecker coefficient#71RZ, Properties (statement)
History
- 2026-11-02: add by m2/dev
VS1X0W2D8M VS1X0W2D8M
| URI | m2://inv/VS1X0W2D8M |
|---|---|
| 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 2610.07770#PWLD (statement). In 6GHT4P7E8X/e1, corollary 3.1
History
- 2026-10-29: add by m2/v0.4.10
Pseudo-order VS1ZA5T3MN
| URI | m2://inv/VS1ZA5T3MN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pseudo-order, Pseudo-order (definition). Also Wikidata Q7254439
History
- 2026-11-02: add by m2/dev
VS23J42Q5V VS23J42Q5V
| URI | m2://inv/VS23J42Q5V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05986#ICEX (statement). In N5ZM8MXJXH/e1, corollary 4.10
History
- 2026-10-29: add by m2/v0.4.10
Johannes Praetorius VS253AGSQE
| URI | m2://inv/VS253AGSQE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#6S6Q, Johannes Praetorius (topic)
History
- 2026-11-02: add by m2/dev
VS25YNW7P8 VS25YNW7P8
| URI | m2://inv/VS25YNW7P8 |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
History
- 2026-10-27: add by m2/v0.3.5
Daily Star Sunday VS2BMTV28N
| URI | m2://inv/VS2BMTV28N |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people arrested in the News International phone-hacking scandal#D3GS, Daily Star Sunday (unknown)
History
- 2026-11-02: add by m2/dev
Statement VS2NFNYXM1
| URI | m2://inv/VS2NFNYXM1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wirtinger inequality (2-forms)#8WOX, Statement (statement)
History
- 2026-11-02: add by m2/dev
VS2P9Z1E2H VS2P9Z1E2H
| URI | m2://inv/VS2P9Z1E2H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19333#ZTW9 (statement). In 5Y3HF693YB/e1, proposition 5.2
History
- 2026-10-28: add by m2/v0.4.2
VS2SRH38WA VS2SRH38WA
| URI | m2://inv/VS2SRH38WA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2310.17520#RG4X (statement). In 93AJXFH963/e1, corollary 2
History
- 2026-10-27: add by m2/v0.3.5
VS2V7BK48X VS2V7BK48X
| URI | m2://inv/VS2V7BK48X |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30018#Z4HO (definition)
History
- 2026-11-01: add by m2/v0.6.15
VS2Y405RWB VS2Y405RWB
| URI | m2://inv/VS2Y405RWB |
|---|---|
| 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.20590#3MND (statement)
History
- 2026-11-02: add by m2/v0.6.18
Openness under deformation VS30Y877SX
| URI | m2://inv/VS30Y877SX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX, 30-XX, 32-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.23469#EMGO, Openness under deformation (statement)
History
- 2026-11-02: add by m2/v0.6.17
roots of a polynomial VS3BHF4MTW
| URI | m2://inv/VS3BHF4MTW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview General algebra > Polynomials and power series > roots of a polynomial, roots of a polynomial (unknown). Also Mathlib Polynomial.roots
- mathlib_undergrad: mathlib_undergrad Ring Theory > Polynomial rings > roots of a polynomial, roots of a polynomial (unknown). Also Mathlib Polynomial.roots
History
- 2026-10-26: add by m2/dev
VS3D0Z68QV VS3D0Z68QV
| URI | m2://inv/VS3D0Z68QV |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-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.25353#ZSUX (definition)
History
- 2026-11-01: add by m2/v0.6.15
Infinite completely normal basis theorem VS3DMAFRP7
| URI | m2://inv/VS3DMAFRP7 |
|---|---|
| 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 2610.22247#X5CD, Infinite completely normal basis theorem (statement). In SBNH1MWND8/e1, theorem 4
History
- 2026-10-27: add by m2/v0.4.0
VS3FS0ZY9S VS3FS0ZY9S
| URI | m2://inv/VS3FS0ZY9S |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
History
- 2026-10-28: add by m2/v0.4.2
VS3NXM524J VS3NXM524J
| URI | m2://inv/VS3NXM524J |
|---|---|
| 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#PQDT (definition). In 9DQKY7KGE8/e1, definition A.3
History
- 2026-10-31: add by m2/v0.5.6
VS40W9E2G7 VS40W9E2G7
| URI | m2://inv/VS40W9E2G7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03231#YATM (statement). In 3Y76AQQGF0/e1, proposition 2.13
History
- 2026-10-29: add by m2/v0.4.12
David Colquhoun VS477WXJQV
| URI | m2://inv/VS477WXJQV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#2R8D, David Colquhoun (unknown)
History
- 2026-11-02: add by m2/dev
VS49TK33TS VS49TK33TS
| URI | m2://inv/VS49TK33TS |
|---|---|
| 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.15831#D7OP (example). In CVESAPNMCQ/e1, example 3.12
History
- 2026-10-28: add by m2/v0.4.2
VS4DDZ06NH VS4DDZ06NH
| URI | m2://inv/VS4DDZ06NH |
|---|---|
| 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.23004#G5MY (statement)
History
- 2026-11-02: add by m2/v0.6.17
Critical set for multiples of four VS4EARR2PE
| URI | m2://inv/VS4EARR2PE |
|---|---|
| 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#LLRI, Critical set for multiples of four (statement). In CHPJWBREES/e1, theorem 3.4
History
- 2026-10-28: add by m2/v0.4.2
Round Number Bias VS4MWQ0VFB
| URI | m2://inv/VS4MWQ0VFB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Round number#FK0O, Round Number Bias (unknown)
History
- 2026-11-02: add by m2/dev
Characteristic number VS4VBNZGJE
| URI | m2://inv/VS4VBNZGJE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Characteristic class#E1H6, Characteristic number (unknown)
History
- 2026-11-02: add by m2/dev
Ákos Császár VS58MCE65X
| URI | m2://inv/VS58MCE65X |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ákos Császár, Ákos Császár (topic). Also Wikidata Q523012
History
- 2026-11-02: add by m2/dev
Hilbert's projective metric VS5G9B1YV2
| URI | m2://inv/VS5G9B1YV2 |
|---|---|
| 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 2610.04264#ARKM, Hilbert's projective metric (definition). In 5YRJ4HGY4N/e1, definition 1
History
- 2026-10-29: add by m2/v0.4.12
List of cryptosystems VS5JDSKRPN
| URI | m2://inv/VS5JDSKRPN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cryptosystems, List of cryptosystems (topic). Also Wikidata Q109536148
History
- 2026-11-02: add by m2/dev
VS5K0VWC75 VS5K0VWC75
| URI | m2://inv/VS5K0VWC75 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/axiomatic-deduction/soundness.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 8.14
History
- 2026-11-01: add by m2/v0.6.13
Conjecture (Yau–Tian–Donaldson) VS5P2VXDTM
| URI | m2://inv/VS5P2VXDTM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia K-stability of Fano varieties#FB7L, Conjecture (Yau–Tian–Donaldson) (statement)
History
- 2026-11-02: add by m2/dev
semantic paradox VS5TJYQ08A
| URI | m2://inv/VS5TJYQ08A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#EMVL, semantic paradox (definition)
History
- 2026-11-02: add by m2/dev
Structural form VS5YZN0RKN
| URI | m2://inv/VS5YZN0RKN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Simultaneous equations model#YFGM, Structural form (unknown)
History
- 2026-11-02: add by m2/dev
VS6H38FKS1 VS6H38FKS1
| URI | m2://inv/VS6H38FKS1 |
|---|---|
| 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.02484#FUWV (statement). In D1V0MQZTFQ/e1, theorem 2.2
History
- 2026-10-29: add by m2/v0.4.12
VS6HCBV32J VS6HCBV32J
| URI | m2://inv/VS6HCBV32J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2602.15812#WULX (statement). In GAAZD3SGPN/e1, proposition
History
- 2026-10-27: add by m2/v0.3.5
Extensions VS6N96E1C2
| URI | m2://inv/VS6N96E1C2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wolfram Mathematica#JL9M, Extensions (statement)
History
- 2026-11-02: add by m2/dev
Statement VS72PNQM6F
| URI | m2://inv/VS72PNQM6F |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Universal embedding theorem#E9S1, Statement (statement)
History
- 2026-11-02: add by m2/dev
Projector converse VS74DSGD1V
| URI | m2://inv/VS74DSGD1V |
|---|---|
| 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.35986#RXUB, Projector converse (statement). In PBX6AMPVT2/e1, proposition 4.2
History
- 2026-10-30: add by m2/v0.4.12
Departure from nucleate boiling VS75Z1BWWJ
| URI | m2://inv/VS75Z1BWWJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nucleate boiling#OIYH, Departure from nucleate boiling (unknown)
History
- 2026-11-02: add by m2/dev
Angela Kunoth VS7CKKG3GQ
| URI | m2://inv/VS7CKKG3GQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Angela Kunoth, Angela Kunoth (topic). Also Wikidata Q95639686
History
- 2026-11-02: add by m2/dev
VS7J6WY00B VS7J6WY00B
| URI | m2://inv/VS7J6WY00B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14450#ND35 (statement). In ZHTGQT07PE/e1, lemma 2.8
History
- 2026-10-28: add by m2/v0.4.2
Euclid's orchard VS7N96SRPX
| URI | m2://inv/VS7N96SRPX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euclid's orchard, Euclid's orchard (definition). Also Wikidata Q5406082
History
- 2026-11-02: add by m2/dev
Sharpness at every higher index VS7N9AAABX
| URI | m2://inv/VS7N9AAABX |
|---|---|
| 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 2609.36444#CS83, Sharpness at every higher index (statement). In 4DJE72VPJP/e1, corollary 4.10
History
- 2026-10-30: add by m2/v0.4.12
Properties VS7R8B7WNT
| URI | m2://inv/VS7R8B7WNT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kriging#8EWZ, Properties (statement)
History
- 2026-11-02: add by m2/dev
VS7VPQ4JRR VS7VPQ4JRR
| URI | m2://inv/VS7VPQ4JRR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36321#7J2G (statement). In 3KTZ6Z615H/e1, lemma 4.2
History
- 2026-10-30: add by m2/v0.4.12
VS7YC3SZDX VS7YC3SZDX
| URI | m2://inv/VS7YC3SZDX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23605#WSLC (statement)
History
- 2026-11-02: add by m2/v0.6.17
Construction VS87DFE97X
| URI | m2://inv/VS87DFE97X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Moore–Penrose inverse#YWP6, Construction (definition)
History
- 2026-11-02: add by m2/dev
Uniform first correction at large Euclidean momentum VS8B3JR7Y8
| URI | m2://inv/VS8B3JR7Y8 |
|---|---|
| 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.10828#IQG4, Uniform first correction at large Euclidean momentum (statement). In 8PTDFHV8SQ/e1, proposition 16.3
History
- 2026-10-28: add by m2/v0.4.3
Construction VS8P6SEWEH
| URI | m2://inv/VS8P6SEWEH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Moessner's theorem#BXG5, Construction (definition)
History
- 2026-11-02: add by m2/dev
Systolic freedom VS8QBZ06XK
| URI | m2://inv/VS8QBZ06XK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of differential geometry topics#7LBU, Systolic freedom (definition)
History
- 2026-11-02: add by m2/dev
Small-time asymptotic VS8YSAY2QQ
| URI | m2://inv/VS8YSAY2QQ |
|---|---|
| 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.39409#W8XB, Small-time asymptotic (statement). In CQ0Z7QA0A5/e1, lemma 3.7
History
- 2026-10-30: add by m2/v0.4.12
VS902SVFB5 VS902SVFB5
| URI | m2://inv/VS902SVFB5 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-contfunc.tex#example:removablediscont (example). In E59CDZA4DP, example, section 2.2.3
History
- 2026-11-01: add by m2/v0.6.13
VS9291NXVA VS9291NXVA
| URI | m2://inv/VS9291NXVA |
|---|---|
| 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.21121#Q09A (statement)
History
- 2026-11-02: add by m2/v0.6.18
Sweetwater VS950J69HF
| URI | m2://inv/VS950J69HF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of U.S. communities with Hispanic-majority populations in the 2000 census#V74A, Sweetwater (unknown)
History
- 2026-11-02: add by m2/dev
Cointegration VS9GBPNNMS
| URI | m2://inv/VS9GBPNNMS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cointegration, Cointegration (definition). Also Wikidata Q1751675
History
- 2026-11-02: add by m2/dev
Secular variation VS9H37HZ8E
| URI | m2://inv/VS9H37HZ8E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Secular variation, Secular variation (definition). Also Wikidata Q1763933
History
- 2026-11-02: add by m2/dev
VS9R7M4HTP VS9R7M4HTP
| URI | m2://inv/VS9R7M4HTP |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 18-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 2609.20725#JJY5 (definition)
History
- 2026-11-02: add by m2/v0.6.18
Laplace upper bound VS9S5ZRK2M
| URI | m2://inv/VS9S5ZRK2M |
|---|---|
| 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.02531#AS1I, Laplace upper bound (statement). In 44EQ0MZE8G/e1, proposition 8.3
History
- 2026-10-29: add by m2/v0.4.12
Thermodynamic equilibrium VS9TJSE5G4
| URI | m2://inv/VS9TJSE5G4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thermodynamic equilibrium, Thermodynamic equilibrium (definition). Also Wikidata Q51363
History
- 2026-11-02: add by m2/dev
Applications VS9VGRRNQN
| URI | m2://inv/VS9VGRRNQN |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia LCF notation#9LXM, Applications (example)
History
- 2026-11-02: add by m2/dev
VSA5Q5EQCR VSA5Q5EQCR
| URI | m2://inv/VSA5Q5EQCR |
|---|---|
| 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 2104.04145#ZKQQ (definition). In 7TNHVC586V/e1, definition 1
History
- 2026-10-27: add by m2/v0.3.5
Hájek–Le Cam convolution theorem VSAE8289AF
| URI | m2://inv/VSAE8289AF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hájek–Le Cam convolution theorem, Hájek–Le Cam convolution theorem (statement). Also Wikidata Q5962990
History
- 2026-11-02: add by m2/dev
Exceptional character VSAG33RR4J
| URI | m2://inv/VSAG33RR4J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exceptional character, Exceptional character (definition). Also Wikidata Q5419506
History
- 2026-11-02: add by m2/dev
Axioms for !!{identity} VSAK3AMKSA
| URI | m2://inv/VSAK3AMKSA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/axiomatic-deduction/identity.tex#defn-1, Axioms for !!{identity} (definition). In PKGMM3P5QY, defn, section 8.5
History
- 2026-11-01: add by m2/v0.6.13
VSAMRMCW8Z VSAMRMCW8Z
| URI | m2://inv/VSAMRMCW8Z |
|---|---|
| Kind | definition |
| 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.12483#8T2X (definition). In 159250CY6S/e1, definition 2.1
History
- 2026-10-28: add by m2/v0.4.2
Pseudorandom graph VSANZ4EXH8
| URI | m2://inv/VSANZ4EXH8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pseudorandom graph, Pseudorandom graph (definition). Also Wikidata Q85794879
History
- 2026-11-02: add by m2/dev
VSAS20B28Q VSAS20B28Q
| URI | m2://inv/VSAS20B28Q |
|---|---|
| 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.09278#FJ0U (statement). In XREKHJHAT7/e1, proposition 3.4
History
- 2026-10-29: add by m2/v0.4.10
Arzel\`a--Ascoli VSAVZTPP9K
| URI | m2://inv/VSAVZTPP9K |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-approximate.tex#thm:arzelaascoli, Arzel\`a--Ascoli (statement). In E59CDZA4DP, thm, section 1.6
History
- 2026-11-01: add by m2/v0.6.13
VSB4Z3ZQPH VSB4Z3ZQPH
| URI | m2://inv/VSB4Z3ZQPH |
|---|---|
| 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 2310.10361#1GE7 (statement). In 65ED1ZXG98/e1, lemma
History
- 2026-10-27: add by m2/v0.3.6
VSB8H69FG7 VSB8H69FG7
| URI | m2://inv/VSB8H69FG7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40207#OLKE (statement). In JXTG8KP95P/e1, proposition 5.24
History
- 2026-10-30: add by m2/v0.4.12
VSBKAHZ4B9 VSBKAHZ4B9
| URI | m2://inv/VSBKAHZ4B9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 19-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 2504.00596#1K6Q (statement). In F8RC6AENB0/e1, proposition 7.6
History
- 2026-10-27: add by m2/v0.3.5
Corollary VSBY4NPPFY
| URI | m2://inv/VSBY4NPPFY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fuglede's theorem#9RVE, Corollary (statement)
History
- 2026-11-02: add by m2/dev
VSC2WFK6SE VSC2WFK6SE
| URI | m2://inv/VSC2WFK6SE |
|---|---|
| Kind | example |
| 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.13429#BUW4 (example). In B2VB5T5WQD/e1, example 3.4
History
- 2026-10-28: add by m2/v0.4.2
Poincaré symmetry VSC6CNKC1G
| URI | m2://inv/VSC6CNKC1G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Henri Poincaré#9T0N, Poincaré symmetry (definition)
History
- 2026-11-02: add by m2/dev
VSC9ZRWHXK VSC9ZRWHXK
| URI | m2://inv/VSC9ZRWHXK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-contfunc.tex#fconstineq:cor (statement). In E59CDZA4DP, cor, section 2.1.3
History
- 2026-11-01: add by m2/v0.6.13
Traité de mécanique céleste VSCAGDSX72
| URI | m2://inv/VSCAGDSX72 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Traité de mécanique céleste, Traité de mécanique céleste (definition). Also Wikidata Q48724336
History
- 2026-11-02: add by m2/dev
syllogistic mood VSCWWD952V
| URI | m2://inv/VSCWWD952V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#SZR8, syllogistic mood (definition)
History
- 2026-11-02: add by m2/dev
Tommaso Ceva VSD03TBHYJ
| URI | m2://inv/VSD03TBHYJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#71WT, Tommaso Ceva (topic)
- wikipedia: Wikipedia List of Italian mathematicians#SMOM, Tommaso Ceva (topic)
History
- 2026-11-02: add by m2/dev
Conical refraction VSDAEFY8V5
| URI | m2://inv/VSDAEFY8V5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conical refraction, Conical refraction (definition). Also Wikidata Q128098354
History
- 2026-11-02: add by m2/dev
André Neveu VSDB4HDE7W
| URI | m2://inv/VSDB4HDE7W |
|---|---|
| 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 Q325967, André Neveu (unknown). Also nLab André Neveu
History
- 2026-10-26: add by m2/dev
Roberto Madrazo VSDECBZ6GZ
| URI | m2://inv/VSDECBZ6GZ |
|---|---|
| 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#RSZJ, Roberto Madrazo (unknown)
History
- 2026-11-02: add by m2/dev
196 Palindrome Quest VSDR0DQC2J
| URI | m2://inv/VSDR0DQC2J |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lychrel number#T40U, 196 Palindrome Quest (unknown)
History
- 2026-11-02: add by m2/dev
VSE4N8JWD2 VSE4N8JWD2
| URI | m2://inv/VSE4N8JWD2 |
|---|---|
| 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.08956#916B (statement). In DEE631KR3A/e1, theorem 4
History
- 2026-10-29: add by m2/v0.4.10
Richard A. Parker VSE4R2DXSK
| URI | m2://inv/VSE4R2DXSK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Richard A. Parker, Richard A. Parker (topic). Also Wikidata Q7323591
History
- 2026-11-02: add by m2/dev
VSE5Z1K7VA VSE5Z1K7VA
| URI | m2://inv/VSE5Z1K7VA |
|---|---|
| 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.07963#MSLG (statement). In HAGJKEZ1CK/e1, theorem 5.1
History
- 2026-10-29: add by m2/v0.4.10
Generating formula VSE7CBYQDW
| URI | m2://inv/VSE7CBYQDW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euler brick#W8M6, Generating formula (statement)
History
- 2026-11-02: add by m2/dev
VSE8SW3EK2 VSE8SW3EK2
| URI | m2://inv/VSE8SW3EK2 |
|---|---|
| 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 2504.00267#7ER6 (statement). In 38XJWDZ2PH/e1, proposition 4.16
History
- 2026-10-27: add by m2/v0.3.5
VSE9RJDH2S VSE9RJDH2S
| URI | m2://inv/VSE9RJDH2S |
|---|---|
| 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#I9UR (definition). In M0SQY5EZN5/e1, definition 4.2.6
History
- 2026-10-27: add by m2/v0.3.5
Casio fx-CG500 VSED7C7BCW
| URI | m2://inv/VSED7C7BCW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Casio ClassPad 300#MANE, Casio fx-CG500 (unknown)
History
- 2026-11-02: add by m2/dev
Absolute geometry VSEPNGA5EE
| URI | m2://inv/VSEPNGA5EE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#28PZ, Absolute geometry (definition)
History
- 2026-11-02: add by m2/dev
Lebesgue's lemma VSEVBN55V8
| URI | m2://inv/VSEVBN55V8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lebesgue's lemma, Lebesgue's lemma (statement). Also Wikidata Q3229342
History
- 2026-11-02: add by m2/dev
VSF1C8ZJF2 VSF1C8ZJF2
| URI | m2://inv/VSF1C8ZJF2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/natural-deduction/provability-consistency.tex#prop:prov-incons (statement). In PKGMM3P5QY, prop, section 15.3
History
- 2026-11-01: add by m2/v0.6.13
Enumeration VSF8HGNHNG
| URI | m2://inv/VSF8HGNHNG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polyominoid#DUJ2, Enumeration (definition)
History
- 2026-11-02: add by m2/dev
Landau–Squire jet VSF97F3JDT
| URI | m2://inv/VSF97F3JDT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Landau–Squire jet, Landau–Squire jet (definition). Also Wikidata Q48782506
History
- 2026-11-02: add by m2/dev
Thomas Wolff VSFH99YH5E
| URI | m2://inv/VSFH99YH5E |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#KIST, Thomas Wolff (topic)
History
- 2026-11-02: add by m2/dev
Bifid cipher VSFHDMSRYB
| URI | m2://inv/VSFHDMSRYB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bifid cipher, Bifid cipher (definition). Also Wikidata Q794679
History
- 2026-11-02: add by m2/dev
Romano Scozzafava VSFJJ0NQEX
| URI | m2://inv/VSFJJ0NQEX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Romano Scozzafava, Romano Scozzafava (topic). Also Wikidata Q51048164
History
- 2026-11-02: add by m2/dev
VSFK1RTCDA VSFK1RTCDA
| URI | m2://inv/VSFK1RTCDA |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-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.10930#S0RQ (example). In HX63A1PH1W/e1, example 3.56
History
- 2026-10-28: add by m2/v0.4.3
Faruk Fuad Abi-Khuzam VSFSWS9N3T
| URI | m2://inv/VSFSWS9N3T |
|---|---|
| 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 Q102176338, Faruk Fuad Abi-Khuzam (unknown). Also ProofWiki Mathematician:Faruk_Fuad_Abi-Khuzam
History
- 2026-10-26: add by m2/dev
VSFZNE09XP VSFZNE09XP
| URI | m2://inv/VSFZNE09XP |
|---|---|
| Kind | example |
| 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.07064#51Z1 (example). In GPK6W5XQM3/e1, example 3
History
- 2026-10-29: add by m2/v0.4.10
VSG243FPAT VSG243FPAT
| URI | m2://inv/VSG243FPAT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2609.20798#CC7Z (statement)
History
- 2026-11-02: add by m2/v0.6.18
Vincenzo Viviani VSG26W902F
| URI | m2://inv/VSG26W902F |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#OPLX, Vincenzo Viviani (unknown)
History
- 2026-11-02: add by m2/dev
VSG4PJNXBE VSG4PJNXBE
| URI | m2://inv/VSG4PJNXBE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.18246#GT3M (statement). In SN6F0MPPVF/e1, theorem 6.1
History
- 2026-10-28: add by m2/v0.4.2
Bernstein inequality for Poisson random variables VSGC206Y93
| URI | m2://inv/VSGC206Y93 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14616#S0AC, Bernstein inequality for Poisson random variables (statement). In 17ACAG0N9C/e1, lemma 6.1
History
- 2026-10-28: add by m2/v0.4.2
No-gap closure of clause (v VSH27J1V0E
| URI | m2://inv/VSH27J1V0E |
|---|---|
| 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#UH7O, No-gap closure of clause (v (statement)
History
- 2026-11-01: add by m2/v0.6.15
VSH8AHQ0GG VSH8AHQ0GG
| URI | m2://inv/VSH8AHQ0GG |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/syntax-and-semantics/terms-formulas.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 22.1
History
- 2026-11-01: add by m2/v0.6.13
Second-order Terms VSHE65QSXB
| URI | m2://inv/VSHE65QSXB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/second-order-logic/syntax-and-semantics/terms-formulas.tex#defn-1, Second-order Terms (definition). In PKGMM3P5QY, defn, section 68.1
History
- 2026-11-01: add by m2/v0.6.13
Block 1 VSHF7JD98B
| URI | m2://inv/VSHF7JD98B |
|---|---|
| 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.30302#BDJL, Block 1 (statement). In R6ABTE22G0/e1, lemma 19
History
- 2026-10-31: add by m2/v0.5.6
Definition VSHGP97R01
| URI | m2://inv/VSHGP97R01 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cycle index#5GU7, Definition (definition)
History
- 2026-11-02: add by m2/dev
VSHGYJF6PX VSHGYJF6PX
| URI | m2://inv/VSHGYJF6PX |
|---|---|
| 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.13513#41B3 (statement). In BAGX2TDXM4/e1, lemma 4.4
History
- 2026-10-28: add by m2/v0.4.2
S4 VSHKNP38N0
| URI | m2://inv/VSHKNP38N0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#JDRZ, S4 (definition)
History
- 2026-11-02: add by m2/dev
Algorithms VSHPZTE1W8
| URI | m2://inv/VSHPZTE1W8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Markov decision process#8MTG, Algorithms (definition)
History
- 2026-11-02: add by m2/dev
VSHRKRYM4X VSHRKRYM4X
| URI | m2://inv/VSHRKRYM4X |
|---|---|
| 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 2403.02207#N2P2 (statement). In 1T3ZYPQZF0/e1, proposition 2.8
History
- 2026-10-27: add by m2/v0.3.6
Where to put labels VSHSQ1B244
| URI | m2://inv/VSHSQ1B244 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 14-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 2104.12015#09WY, Where to put labels (definition). In ZZ2P08DVQW/e1, definition 3.1
History
- 2026-10-27: add by m2/v0.3.5
Critical solution temperature VSHTVFHRCT
| URI | m2://inv/VSHTVFHRCT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Critical point (thermodynamics)#2O9Q, Critical solution temperature (unknown)
History
- 2026-11-02: add by m2/dev
Levels-of-processing effect VSJ3PHK40Z
| URI | m2://inv/VSJ3PHK40Z |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cognitive biases#AHMS, Levels-of-processing effect (unknown)
History
- 2026-11-02: add by m2/dev
VSJBJ6EAAV VSJBJ6EAAV
| URI | m2://inv/VSJBJ6EAAV |
|---|---|
| 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.20225#X2HS (statement)
History
- 2026-11-02: add by m2/v0.6.18
VSJCP5JG96 VSJCP5JG96
| URI | m2://inv/VSJCP5JG96 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26984#2X0V (statement)
History
- 2026-11-01: add by m2/v0.6.15
The Equilibrium Measure of the Tail VSJHFD3FJN
| URI | m2://inv/VSJHFD3FJN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13222#2AJK, The Equilibrium Measure of the Tail (statement). In Z6WA2R0J50/e1, proposition 2.23
History
- 2026-10-28: add by m2/v0.4.2
McKelvey–Schofield chaos theorem VSJHKXP0VJ
| URI | m2://inv/VSJHKXP0VJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia McKelvey–Schofield chaos theorem, McKelvey–Schofield chaos theorem (statement). Also Wikidata Q25099354
History
- 2026-11-02: add by m2/dev
K/k VSJJME4HAN
| URI | m2://inv/VSJJME4HAN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a notation: the notation register holds it (corpus spec K10.4)) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q9922, K/k (unknown). Also ProofWiki Symbols:K
History
- 2026-10-26: add by m2/dev
Maximum flow problem VSJRRN9W6K
| URI | m2://inv/VSJRRN9W6K |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Maximum flow problem, Maximum flow problem (problem). Also Wikidata Q2585642
History
- 2026-11-02: add by m2/dev
Related rates VSK9MYS3NR
| URI | m2://inv/VSK9MYS3NR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of calculus topics#COXI, Related rates (definition)
History
- 2026-11-02: add by m2/dev
Fallacy VSKFD51G33
| URI | m2://inv/VSKFD51G33 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fallacy, Fallacy (definition). Also Wikidata Q186150
History
- 2026-11-02: add by m2/dev
Clifford theory VSKHMRNE7G
| URI | m2://inv/VSKHMRNE7G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#O52E, Clifford theory (definition)
History
- 2026-11-02: add by m2/dev
VSKNNZP1A8 VSKNNZP1A8
| URI | m2://inv/VSKNNZP1A8 |
|---|---|
| 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.03288#KMJT (statement). In ZHP1MFSACN/e1, proposition 6.2
History
- 2026-10-29: add by m2/v0.4.12
Possible Worlds VSKQ2CT6YA
| URI | m2://inv/VSKQ2CT6YA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Possible Worlds (play), Possible Worlds (definition). Also Wikidata Q7233425
History
- 2026-11-02: add by m2/dev
VSKXY6MB5B VSKXY6MB5B
| URI | m2://inv/VSKXY6MB5B |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24902#TBB3 (definition)
History
- 2026-11-01: add by m2/v0.6.15
VSM36SRW4A VSM36SRW4A
| URI | m2://inv/VSM36SRW4A |
|---|---|
| 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.17585#S7QN (statement). In FBWDPA01XY/e1, lemma 2.2
History
- 2026-10-28: add by m2/v0.4.2
Birds are not stupid VSM3BSGK6N
| URI | m2://inv/VSM3BSGK6N |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of common misconceptions about science, technology, and mathematics#ZON6, Birds are not stupid (unknown)
History
- 2026-11-02: add by m2/dev
\(d=3\), \(n=2\ VSM42PJB4H
| URI | m2://inv/VSM42PJB4H |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03775#HZ0Q, \(d=3\), \(n=2\ (example). In NM928YZQVJ/e1, example
History
- 2026-10-29: add by m2/v0.4.12
VSM8F1T10A VSM8F1T10A
| URI | m2://inv/VSM8F1T10A |
|---|---|
| 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.39449#6ND0 (statement). In GWC70X14RG/e1, lemma 2
History
- 2026-10-30: add by m2/v0.4.12
VSMBW60984 VSMBW60984
| URI | m2://inv/VSMBW60984 |
|---|---|
| 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 2610.21255#CRNC (statement). In FB4DAYJJ5F/e1, lemma 3.1
History
- 2026-10-27: add by m2/v0.4.2
Matched filter VSME1F79XP
| URI | m2://inv/VSME1F79XP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#WI14, Matched filter (definition)
History
- 2026-11-02: add by m2/dev
VSMGE17309 VSMGE17309
| URI | m2://inv/VSMGE17309 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37761#NADP (definition). In 4TAQ65KZKN/e1, definition 4.1
History
- 2026-10-30: add by m2/v0.4.12
Calvin Zippin VSMMQAJ1N9
| URI | m2://inv/VSMMQAJ1N9 |
|---|---|
| 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#Q17G, Calvin Zippin (unknown)
History
- 2026-11-02: add by m2/dev
VSMP4FAZXC VSMP4FAZXC
| URI | m2://inv/VSMP4FAZXC |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/turing-machines/machines-computations/unary-numbers.tex#prob-3 (exercise). In PKGMM3P5QY, prob, section 86.3
History
- 2026-11-01: add by m2/v0.6.13
Vertex obstruction module VSMPRBBTG4
| URI | m2://inv/VSMPRBBTG4 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28160#RUF3, Vertex obstruction module (definition)
History
- 2026-11-01: add by m2/v0.6.15
Sketch of proof VSMXAMD4Z5
| URI | m2://inv/VSMXAMD4Z5 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book induction.tex#proof-5, Sketch of proof (proof). In N54F33XE07, proof, section 8.5
History
- 2026-11-01: add by m2/v0.6.13
VSN0SB33MN VSN0SB33MN
| URI | m2://inv/VSN0SB33MN |
|---|---|
| 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 2211.04758#R0DF (statement). In DRWDJG2G3S/e1, lemma 6.3
History
- 2026-10-27: add by m2/v0.3.5
VSN29YAEBV VSN29YAEBV
| URI | m2://inv/VSN29YAEBV |
|---|---|
| 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#XGPK (statement). In A1GWWGRXPA/e1, proposition 3.22
History
- 2026-10-27: add by m2/v0.4.2
Hausdorff convergence over all orders VSN3VBFAMF
| URI | m2://inv/VSN3VBFAMF |
|---|---|
| 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#D7XE, Hausdorff convergence over all orders (statement). In 4AQ48WSBDQ/e1, theorem 5.3
History
- 2026-10-29: add by m2/v0.4.10
Tate conjecture VSN8YPBBVJ
| URI | m2://inv/VSN8YPBBVJ |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#OLUW, Tate conjecture (conjecture)
History
- 2026-11-02: add by m2/dev
Topological rigidity VSNCQ99KA8
| URI | m2://inv/VSNCQ99KA8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Topological rigidity, Topological rigidity (definition). Also Wikidata Q7825040
History
- 2026-11-02: add by m2/dev
VSNCR9VQBV VSNCR9VQBV
| URI | m2://inv/VSNCR9VQBV |
|---|---|
| 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 2609.23238#EF2L (example)
History
- 2026-11-02: add by m2/v0.6.17
Philip Saffman VSNFN5YEA7
| URI | m2://inv/VSNFN5YEA7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Philip Saffman, Philip Saffman (topic). Also Wikidata Q2514255
History
- 2026-11-02: add by m2/dev
VSNHH9428E VSNHH9428E
| URI | m2://inv/VSNHH9428E |
|---|---|
| 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 2508.17181#SMVI (statement). In 2QR18WK8KH/e1, lemma 2
History
- 2026-10-27: add by m2/v0.3.6
Symbolic regression VSNJR3D1VD
| URI | m2://inv/VSNJR3D1VD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Symbolic regression, Symbolic regression (definition). Also Wikidata Q18171762
History
- 2026-11-02: add by m2/dev
Michel Duflo VSNP1CTQXT
| URI | m2://inv/VSNP1CTQXT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#KA9E, Michel Duflo (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#70KB, Michel Duflo (topic)
History
- 2026-11-02: add by m2/dev
VSNP770YYZ VSNP770YYZ
| URI | m2://inv/VSNP770YYZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20972#6BJ3 (statement). In 6SZE4MTXGZ/e1, corollary 1.1
History
- 2026-10-27: add by m2/v0.4.2
VSNWDMWVPT VSNWDMWVPT
| URI | m2://inv/VSNWDMWVPT |
|---|---|
| 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 2610.15926#TCDS (statement). In G0J92BSX4A/e1, lemma 3.5
History
- 2026-10-28: add by m2/v0.4.2
Gaussian two-point high-probability lower bound VSP2Q2PGP6
| URI | m2://inv/VSP2Q2PGP6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00295#ESH6, Gaussian two-point high-probability lower bound (statement). In 7HXP270BD0/e1, lemma 5.6
History
- 2026-10-30: add by m2/v0.4.12
VSP33BNEP9 VSP33BNEP9
| URI | m2://inv/VSP33BNEP9 |
|---|---|
| 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.19637#18G9 (statement). In VNQ25PZMBT/e1, theorem 2
History
- 2026-10-28: add by m2/v0.4.2
VSP7J9CSNJ VSP7J9CSNJ
| URI | m2://inv/VSP7J9CSNJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29185#JTNX (statement)
History
- 2026-11-01: add by m2/v0.6.15
ergodic hypothesis VSPB7KN59N
| URI | m2://inv/VSPB7KN59N |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Ergodic hypothesis NKNSCK1JY2 |
Mentions
- wikidata: Wikidata Q174196, ergodic hypothesis (unknown). Also nLab ergodic theory
- wikipedia: Wikipedia Ergodic hypothesis, Ergodic hypothesis (statement). Also Wikidata Q174196
History
- 2026-10-26: add by m2/dev
Cassinoide VSPG0Z9DR4
| URI | m2://inv/VSPG0Z9DR4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#UZZN, Cassinoide (definition)
- wikipedia: Wikipedia List of curves#X8Z1, Cassinoide (definition)
History
- 2026-11-02: add by m2/dev
VSPPGAN0XW VSPPGAN0XW
| URI | m2://inv/VSPPGAN0XW |
|---|---|
| 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.07049#ALG6 (statement). In GMF552ESG6/e1, theorem 1.2
History
- 2026-10-29: add by m2/v0.4.10
Algorithms VSPSGQXKPQ
| URI | m2://inv/VSPSGQXKPQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Connected dominating set#XO1C, Algorithms (definition)
History
- 2026-11-02: add by m2/dev
VSPVPTV5E9 VSPVPTV5E9
| URI | m2://inv/VSPVPTV5E9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27965#O6NJ (statement)
History
- 2026-11-01: add by m2/v0.6.15
VSPZYWSKZ6 VSPZYWSKZ6
| URI | m2://inv/VSPZYWSKZ6 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/completeness/construction-of-model.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 11.1
History
- 2026-11-01: add by m2/v0.6.13
VSQ2ZGYTFV VSQ2ZGYTFV
| URI | m2://inv/VSQ2ZGYTFV |
|---|---|
| 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.37439#EU65 (statement). In 8K7D3FKJDT/e1, lemma 5.4
History
- 2026-10-30: add by m2/v0.4.12
Two full-rank tiles in $\Z^3$ VSQ53XMMW3
| URI | m2://inv/VSQ53XMMW3 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00099#78R2, Two full-rank tiles in $\Z^3$ (example). In NNBY2AEHP4/e1, example 6.2
History
- 2026-10-30: add by m2/v0.4.12
VSQ82MESJ7 VSQ82MESJ7
| URI | m2://inv/VSQ82MESJ7 |
|---|---|
| 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.24051#BBG8 (statement)
History
- 2026-11-02: add by m2/v0.6.17
VSQE5W24E9 VSQE5W24E9
| URI | m2://inv/VSQE5W24E9 |
|---|---|
| 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.32176#0JSO (statement). In N9F5R2PV0E/e1, theorem 4.1
History
- 2026-10-31: add by m2/v0.5.6
Øystein Ore VSQJ1K2WKK
| URI | m2://inv/VSQJ1K2WKK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#ROV3, Øystein Ore (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#4B94, Øystein Ore (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#9ADR, Øystein Ore (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#I278, Øystein Ore (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#ZQUO, Øystein Ore (topic)
History
- 2026-11-02: add by m2/dev
Connected component (topology) VSQNB2XZFW
| URI | m2://inv/VSQNB2XZFW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Connected space#X147, Connected component (topology) (unknown)
History
- 2026-11-02: add by m2/dev
VSQPMR2B5H VSQPMR2B5H
| URI | m2://inv/VSQPMR2B5H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34570#EQFR (statement). In EVFX1R7ZDD/e1, proposition 2
History
- 2026-10-30: add by m2/v0.4.12
Dutch grammar VSQS5C8EP7
| URI | m2://inv/VSQS5C8EP7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dutch grammar, Dutch grammar (definition). Also Wikidata Q2164316
History
- 2026-11-02: add by m2/dev
VSR8169X00 VSR8169X00
| URI | m2://inv/VSR8169X00 |
|---|---|
| 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.21359#39DC (statement)
History
- 2026-11-02: add by m2/v0.6.18
The component-group map VSRCGPMPC5
| URI | m2://inv/VSRCGPMPC5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.16931#81UQ, The component-group map (statement). In H7DMRWBBJN/e1, lemma 8.2
History
- 2026-10-28: add by m2/v0.4.2
VSRJKSX6H9 VSRJKSX6H9
| URI | m2://inv/VSRJKSX6H9 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20718#P167 (definition)
History
- 2026-11-02: add by m2/v0.6.18
VSRMNNDEAF VSRMNNDEAF
| URI | m2://inv/VSRMNNDEAF |
|---|---|
| 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 1709.08958#9U7U (statement). In H46J8XRDFJ/e1, fact 3.1.1
History
- 2026-10-27: add by m2/v0.3.5
VSRMPR6KPT VSRMPR6KPT
| URI | m2://inv/VSRMPR6KPT |
|---|---|
| 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#WPID (statement)
History
- 2026-11-01: add by m2/v0.6.15
VSRRK7J480 VSRRK7J480
| URI | m2://inv/VSRRK7J480 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/gt-conc.ptx#exercise-14 (exercise). In Y91XFCEVHQ, exercise, section 5.7
History
- 2026-11-01: add by m2/v0.6.13
VSS4709VX3 VSS4709VX3
| URI | m2://inv/VSS4709VX3 |
|---|---|
| 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 2608.24599#C91V (statement). In VG8QFWTT8S/e1, lemma 3.2
History
- 2026-10-27: add by m2/v0.3.6
L\'evy VSSA6C86BF
| URI | m2://inv/VSSA6C86BF |
|---|---|
| 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 2609.20140#H1GG, L\'evy (statement)
History
- 2026-11-02: add by m2/v0.6.18
Moonless Earth theory VSSBEQWDA5
| URI | m2://inv/VSSBEQWDA5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alexander Abian#FTMC, Moonless Earth theory (unknown)
History
- 2026-11-02: add by m2/dev
Weber–Fechner law VSSC6C68F7
| URI | m2://inv/VSSC6C68F7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of exponential topics#9CTG, Weber–Fechner law (statement)
History
- 2026-11-02: add by m2/dev
exterior VSSQTGSXKA
| URI | m2://inv/VSSQTGSXKA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of representation theory#E7LO, exterior (definition)
History
- 2026-11-02: add by m2/dev
Congruence VSSTS7V89R
| URI | m2://inv/VSSTS7V89R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Congruence (general relativity), Congruence (definition). Also Wikidata Q2993021
History
- 2026-11-02: add by m2/dev
National Survey of Sexual Attitudes and Lifestyles VSSWNS884X
| URI | m2://inv/VSSWNS884X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia National Survey of Sexual Attitudes and Lifestyles, National Survey of Sexual Attitudes and Lifestyles (definition). Also Wikidata Q6978784
History
- 2026-11-02: add by m2/dev
Generalizations VST4TBXQVE
| URI | m2://inv/VST4TBXQVE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Small cancellation theory#S9WY, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
VSTA3P0SMK VSTA3P0SMK
| URI | m2://inv/VSTA3P0SMK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31445#BPOE (statement). In 7V2PVZS04C/e1, lemma 3.3
History
- 2026-10-31: add by m2/v0.5.6
Universally Baire set VSTVYWPT4R
| URI | m2://inv/VSTVYWPT4R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Universally Baire set, Universally Baire set (definition). Also Wikidata Q7894191
History
- 2026-11-02: add by m2/dev
VSTZ8MXW3V VSTZ8MXW3V
| URI | m2://inv/VSTZ8MXW3V |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-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.05259#3TZB (definition). In X1J5HKPS3R/e1, definition 1.14
History
- 2026-10-29: add by m2/v0.4.10
Applications VSV884R7KY
| URI | m2://inv/VSV884R7KY |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Joule–Thomson effect#Z5A6, Applications (example)
History
- 2026-11-02: add by m2/dev
VSV8MV8AHG VSV8MV8AHG
| URI | m2://inv/VSV8MV8AHG |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2512.16003#NI6Z (definition). In BJGS6ZCQ12/e1, definition 3.1
History
- 2026-10-27: add by m2/v0.3.6
fuzzy logic VSVC673MC8
| URI | m2://inv/VSVC673MC8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| MSC | 03B52 |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q224821, fuzzy logic (topic). Also MathWorld FuzzyLogic
- wikipedia: Wikipedia Fuzzy logic, Fuzzy logic (definition). Also Wikidata Q224821
History
- 2026-10-26: add by m2/dev
VSVCKRSTMR VSVCKRSTMR
| URI | m2://inv/VSVCKRSTMR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#defn-4 (definition). In VNMV985MXX, defn, section 1.3
History
- 2026-11-01: add by m2/v0.6.13
Taylor–Proudman theorem VSVS6E0FDX
| URI | m2://inv/VSVS6E0FDX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#XGS2, Taylor–Proudman theorem (statement)
History
- 2026-11-02: add by m2/dev
VSVV3KJ21W VSVV3KJ21W
| URI | m2://inv/VSVV3KJ21W |
|---|---|
| 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.21935#AJQ0 (statement). In YDNK7E99JW/e1, theorem 1
History
- 2026-10-27: add by m2/v0.4.2
Definition VSVVE4WTAQ
| URI | m2://inv/VSVVE4WTAQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Interaction information#H6K6, Definition (definition)
History
- 2026-11-02: add by m2/dev
Rhombitrihexagonal tiling VSVZPBR8BK
| URI | m2://inv/VSVZPBR8BK |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#ZL56, Rhombitrihexagonal tiling (object)
History
- 2026-11-02: add by m2/dev
VSW3ANDR3K VSW3ANDR3K
| URI | m2://inv/VSW3ANDR3K |
|---|---|
| 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#N8VX (statement). In YY4KFNMPC0/e1, theorem 5.2
History
- 2026-10-28: add by m2/v0.4.2
Statement VSWD8SJ7A1
| URI | m2://inv/VSWD8SJ7A1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ahlswede–Khachatrian theorem#Q9YC, Statement (statement)
History
- 2026-11-02: add by m2/dev
VSWDVDVFAC VSWDVDVFAC
| URI | m2://inv/VSWDVDVFAC |
|---|---|
| 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 2404.06445#M0SV (statement). In 12JKZ8EN52/e1, proposition 2.1
History
- 2026-10-27: add by m2/v0.3.5
Post-exposure prophylaxis VSWP0XBBY6
| URI | m2://inv/VSWP0XBBY6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of common misconceptions about science, technology, and mathematics#UU39, Post-exposure prophylaxis (unknown)
History
- 2026-11-02: add by m2/dev
VSWZEHM8KK VSWZEHM8KK
| URI | m2://inv/VSWZEHM8KK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 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.26340#XCDH (statement)
History
- 2026-11-01: add by m2/v0.6.15
Best linear unbiased prediction VSX08255N9
| URI | m2://inv/VSX08255N9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#WN28, Best linear unbiased prediction (definition)
History
- 2026-11-02: add by m2/dev
farad VSX1B9SK9X
| URI | m2://inv/VSX1B9SK9X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q131255, farad (definition). Also ProofWiki Definition:Farad
History
- 2026-10-26: add by m2/dev
VSX7GCHSKY VSX7GCHSKY
| URI | m2://inv/VSX7GCHSKY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 49-XX, 60-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2606.21391#5XSL (statement). In J9C7YMKJ33/e1, corollary 4.28
History
- 2026-10-27: add by m2/v0.3.5
Properties VSXC705YZM
| URI | m2://inv/VSXC705YZM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Limit set#7Q71, Properties (statement)
History
- 2026-11-02: add by m2/dev
VSXDGP2MC1 VSXDGP2MC1
| URI | m2://inv/VSXDGP2MC1 |
|---|---|
| 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.21403#STJB (statement)
History
- 2026-11-02: add by m2/v0.6.18
local extremum VSXPCMXN5S
| URI | m2://inv/VSXPCMXN5S |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q40549622, local extremum (unknown). Also MathWorld LocalExtremum
History
- 2026-10-26: add by m2/dev
VSXSC38BDC VSXSC38BDC
| URI | m2://inv/VSXSC38BDC |
|---|---|
| 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.20558#FY7B (statement). In 46370P3Y9S/e1, lemma 6.1
History
- 2026-10-27: add by m2/v0.4.2
Bounded multiplicity VSXSPJQQEV
| URI | m2://inv/VSXSPJQQEV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12565#XW69, Bounded multiplicity (statement). In 9RYQ164FWA/e1, lemma 12
History
- 2026-10-28: add by m2/v0.4.2
Suresh Govindarajan VSXTH5ZST6
| URI | m2://inv/VSXTH5ZST6 |
|---|---|
| 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 Q74425585, Suresh Govindarajan (unknown). Also nLab Suresh Govindarajan
History
- 2026-10-26: add by m2/dev
Use VSY01W9W8Q
| URI | m2://inv/VSY01W9W8Q |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia CCM mode#8O8T, Use (example)
History
- 2026-11-02: add by m2/dev
Boundary characterization of $\mathrm D_u$ VSY4557CPS
| URI | m2://inv/VSY4557CPS |
|---|---|
| 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.17519#MLCZ, Boundary characterization of $\mathrm D_u$ (statement). In H2DNTQ5MKV/e1, proposition 5.7
History
- 2026-10-28: add by m2/v0.4.2
VSY87ZPG5Q VSY87ZPG5Q
| URI | m2://inv/VSY87ZPG5Q |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 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 2005.03073#HOAC (conjecture). In P2ETMXKVDS/e1, conjecture 5.3
History
- 2026-10-27: add by m2/v0.3.5
Example VSYSTZBHKR
| URI | m2://inv/VSYSTZBHKR |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bernoulli differential equation#XL0X, Example (example)
History
- 2026-11-02: add by m2/dev
Krasner's lemma VSYTSFSMEM
| URI | m2://inv/VSYTSFSMEM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Krasner's lemma, Krasner's lemma (statement). Also Wikidata Q6436234
History
- 2026-11-02: add by m2/dev
One-dimensional symmetry group VSYZPXC4P1
| URI | m2://inv/VSYZPXC4P1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia One-dimensional symmetry group, One-dimensional symmetry group (definition). Also Wikidata Q7092304
History
- 2026-11-02: add by m2/dev
Word problem for groups VSZ3Y422PT
| URI | m2://inv/VSZ3Y422PT |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of undecidable problems#IL6N, Word problem for groups (problem)
History
- 2026-11-02: add by m2/dev
VSZANV81FJ VSZANV81FJ
| URI | m2://inv/VSZANV81FJ |
|---|---|
| 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#YUFP (statement)
History
- 2026-11-01: add by m2/v0.6.15
VSZE2JF1J9 VSZE2JF1J9
| URI | m2://inv/VSZE2JF1J9 |
|---|---|
| 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.00021#BHRE (statement). In EX42AVA7CV/e1, proposition 6.2
History
- 2026-10-30: add by m2/v0.4.12
VSZG7YW4JK VSZG7YW4JK
| URI | m2://inv/VSZG7YW4JK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 53-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25289#EQFZ (statement)
History
- 2026-11-01: add by m2/v0.6.15
VSZJ5TTPAW VSZJ5TTPAW
| URI | m2://inv/VSZJ5TTPAW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-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.21703#DPLZ (statement)
History
- 2026-11-02: add by m2/v0.6.18
VSZNRVVWW4 VSZNRVVWW4
| URI | m2://inv/VSZNRVVWW4 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/axiomatic-deduction/identity.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 8.5
History
- 2026-11-01: add by m2/v0.6.13
VSZNSW01M3 VSZNSW01M3
| URI | m2://inv/VSZNSW01M3 |
|---|---|
| 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 1905.00573#9705 (statement). In 74RNQVBM2G/e1, proposition 3.10
History
- 2026-10-27: add by m2/v0.3.5
George D. Edwards VSZPYWFV09
| URI | m2://inv/VSZPYWFV09 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia George D. Edwards, George D. Edwards (topic). Also Wikidata Q5538303
History
- 2026-11-02: add by m2/dev
Properties VSZV27ERFS
| URI | m2://inv/VSZV27ERFS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Augmented dodecahedron#JOT4, Properties (statement)
History
- 2026-11-02: add by m2/dev