Inventory rows VG
The cards of the rows of the inventory whose ids start with VG. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
VG02MD4EWJ VG02MD4EWJ
| URI | m2://inv/VG02MD4EWJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 37-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2601.04559#MEHE (statement). In WWMHZKWZSM/e1, proposition 7
History
- 2026-10-27: add by m2/v0.3.5
Paolo dell'Abbaco VG04K0810X
| URI | m2://inv/VG04K0810X |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#OUHS, Paolo dell'Abbaco (topic)
History
- 2026-11-02: add by m2/dev
VG0630MBV2 VG0630MBV2
| URI | m2://inv/VG0630MBV2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-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.37606#8SD7 (statement). In WNFW6GY38C/e1, theorem 10.1
History
- 2026-10-30: add by m2/v0.4.12
VG06CP27HQ VG06CP27HQ
| URI | m2://inv/VG06CP27HQ |
|---|---|
| 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.01855#RIZ1 (statement). In MM8P5CJR18/e1, lemma C.5
History
- 2026-10-29: add by m2/v0.4.12
Explicit computation of matrices for $a+b\sqrt2$ VG08M6EA7E
| URI | m2://inv/VG08M6EA7E |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/norm-trace.tex#example-3, Explicit computation of matrices for $a+b\sqrt2$ (example). In RZP28ERRZV, example, section 15.1
History
- 2026-11-01: add by m2/v0.6.13
Mexican paradox VG0FJS00CM
| URI | m2://inv/VG0FJS00CM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mexican paradox, Mexican paradox (statement). Also Wikidata Q6826075
History
- 2026-11-02: add by m2/dev
VG124BG01Z VG124BG01Z
| URI | m2://inv/VG124BG01Z |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09900#ETVT (definition). In ATSYBWEMMP/e1, definition 3.4
History
- 2026-10-29: add by m2/v0.4.10
Examples VG14TNGBHT
| URI | m2://inv/VG14TNGBHT |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Poisson superalgebra#JH0X, Examples (example)
History
- 2026-11-02: add by m2/dev
edge chromatic number VG18N0R8AQ
| URI | m2://inv/VG18N0R8AQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q124464442, edge chromatic number (unknown). Also MathWorld EdgeChromaticNumber
History
- 2026-10-26: add by m2/dev
Thurston's 24 questions VG1JZS3DMH
| URI | m2://inv/VG1JZS3DMH |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thurston's 24 questions, Thurston's 24 questions (conjecture). Also Wikidata Q131735903
History
- 2026-11-02: add by m2/dev
VG1NVP6DRB VG1NVP6DRB
| URI | m2://inv/VG1NVP6DRB |
|---|---|
| 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.14374#O7RR (statement). In YPTC532FEG/e1, proposition 16
History
- 2026-10-28: add by m2/v0.4.2
VG1PDR6F4C VG1PDR6F4C
| URI | m2://inv/VG1PDR6F4C |
|---|---|
| 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 2610.13528#1JH7 (statement). In TSBJEBS7SP/e1, proposition 2.6
History
- 2026-10-28: add by m2/v0.4.2
David Soudry VG1VE64B15
| URI | m2://inv/VG1VE64B15 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia David Soudry, David Soudry (topic). Also Wikidata Q86664215
History
- 2026-11-02: add by m2/dev
VG263QP9B6 VG263QP9B6
| URI | m2://inv/VG263QP9B6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04730#THSS (statement). In QHFP0837Q8/e1, proposition 2.10
History
- 2026-10-29: add by m2/v0.4.12
VG2EM7REFT VG2EM7REFT
| URI | m2://inv/VG2EM7REFT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/quantum/circuits.tex#definition-2 (definition). In RZP28ERRZV, definition, section 75.2
History
- 2026-11-01: add by m2/v0.6.13
VG2GWBWZ25 VG2GWBWZ25
| URI | m2://inv/VG2GWBWZ25 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32599#6INN (statement). In E1Y93JNBJA/e1, proposition 4.9
History
- 2026-10-31: add by m2/v0.5.6
VG2H9R8E2R VG2H9R8E2R
| URI | m2://inv/VG2H9R8E2R |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/completeness/identity.tex#proof-3 (proof). In PKGMM3P5QY, proof, section 11.4
History
- 2026-11-01: add by m2/v0.6.13
probability density function VG2VPNX0FZ
| URI | m2://inv/VG2VPNX0FZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of probability and statistics#HI59, probability density function (definition)
History
- 2026-11-02: add by m2/dev
VG2ZK7F0G9 VG2ZK7F0G9
| URI | m2://inv/VG2ZK7F0G9 |
|---|---|
| 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 2609.34852#A9NV (statement). In TZXEMCBK5V/e1, theorem 1.10
History
- 2026-10-30: add by m2/v0.4.12
Integraph VG31VGMXVE
| URI | m2://inv/VG31VGMXVE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Integraph, Integraph (definition). Also Wikidata Q3153759
History
- 2026-11-02: add by m2/dev
Wolfgang Doeblin VG34QJSQ6R
| URI | m2://inv/VG34QJSQ6R |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#WNVM, Wolfgang Doeblin (topic)
History
- 2026-11-02: add by m2/dev
VG37CVYJEE VG37CVYJEE
| URI | m2://inv/VG37CVYJEE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04434#U7NN (statement). In EY0QS456EC/e1, lemma 4.4
History
- 2026-10-29: add by m2/v0.4.12
Example VG38QWFWF8
| URI | m2://inv/VG38QWFWF8 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Treynor ratio#KQ5J, Example (example)
History
- 2026-11-02: add by m2/dev
Vertex figure VG3CP6QF1M
| URI | m2://inv/VG3CP6QF1M |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#JPVN, Vertex figure (object)
History
- 2026-11-02: add by m2/dev
common ratio VG3VV5DFAZ
| URI | m2://inv/VG3VV5DFAZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q10892936, common ratio (unknown). Also MathWorld CommonRatio
History
- 2026-10-26: add by m2/dev
Geppert, Maria-Pia VG3X4AK5A4
| URI | m2://inv/VG3X4AK5A4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#F2P6, Geppert, Maria-Pia (topic)
History
- 2026-11-02: add by m2/dev
VG3YXQB417 VG3YXQB417
| URI | m2://inv/VG3YXQB417 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29574#CQE1 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Residual criterion for admissibility VG3Z0X8W35
| URI | m2://inv/VG3Z0X8W35 |
|---|---|
| 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.26196#XNWR, Residual criterion for admissibility (statement)
History
- 2026-11-01: add by m2/v0.6.15
VG46BHXSYK VG46BHXSYK
| URI | m2://inv/VG46BHXSYK |
|---|---|
| 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.39706#DRYX (statement). In 79Y8JJMKP4/e1, theorem 1.8
History
- 2026-10-30: add by m2/v0.4.12
Right-invariant Sobolev metric VG46EDCSN6
| URI | m2://inv/VG46EDCSN6 |
|---|---|
| Kind | definition |
| 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 2410.06788#ED73, Right-invariant Sobolev metric (definition). In B2VE3JQZD3/e1, definition 4
History
- 2026-10-27: add by m2/v0.3.5
Stability (probability) VG49SJ194G
| URI | m2://inv/VG49SJ194G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#K64T, Stability (probability) (definition)
- wikipedia: Wikipedia List of probability topics#1YUH, Stability (probability) (definition)
History
- 2026-11-02: add by m2/dev
VG4BF97RFV VG4BF97RFV
| URI | m2://inv/VG4BF97RFV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26089#NT3G (statement)
History
- 2026-11-01: add by m2/v0.6.15
VG4K8ENZ78 VG4K8ENZ78
| URI | m2://inv/VG4K8ENZ78 |
|---|---|
| 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.20488#LLW2 (statement)
History
- 2026-11-02: add by m2/v0.6.18
VG4MJN1C1K VG4MJN1C1K
| URI | m2://inv/VG4MJN1C1K |
|---|---|
| Kind | definition |
| 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.21872#Y8VQ (definition). In HEA1ME2ZE4/e1, definition 5
History
- 2026-10-27: add by m2/v0.4.2
VG4SFWABW6 VG4SFWABW6
| URI | m2://inv/VG4SFWABW6 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_probability_intro.ptx#example-5 (example). In QKM9DD2H56, example, section 10.1
History
- 2026-11-01: add by m2/v0.6.13
VG53HHSQN3 VG53HHSQN3
| URI | m2://inv/VG53HHSQN3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21921#X42C (statement). In CM2YEK9T4F/e1, corollary 7.5
History
- 2026-10-27: add by m2/v0.4.2
Minimax rate VG58SRB2F6
| URI | m2://inv/VG58SRB2F6 |
|---|---|
| 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.38267#59AC, Minimax rate (statement). In 518V871EKW/e1, corollary 3.5
History
- 2026-10-30: add by m2/v0.4.12
Formula of the Stokes Flow around a circular cylinder VG59HJ40BK
| URI | m2://inv/VG59HJ40BK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stokes' paradox#ZZD7, Formula of the Stokes Flow around a circular cylinder (statement)
History
- 2026-11-02: add by m2/dev
Quantum state purification VG5A0J100H
| URI | m2://inv/VG5A0J100H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quantum state purification, Quantum state purification (definition). Also Wikidata Q133816092
History
- 2026-11-02: add by m2/dev
VG5FBKRAJQ VG5FBKRAJQ
| URI | m2://inv/VG5FBKRAJQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25843#D16P (statement)
History
- 2026-11-01: add by m2/v0.6.15
Wien's displacement law VG5SDBZPX1
| URI | m2://inv/VG5SDBZPX1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wien's displacement law, Wien's displacement law (statement). Also Wikidata Q214336
History
- 2026-11-02: add by m2/dev
VG5VYYQRJD VG5VYYQRJD
| URI | m2://inv/VG5VYYQRJD |
|---|---|
| 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.01441#OTOR (statement). In V678XY1P9A/e1, lemma 2
History
- 2026-10-29: add by m2/v0.4.12
Phase truncation VG64JHQNQ0
| URI | m2://inv/VG64JHQNQ0 |
|---|---|
| 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.01035#Y9HF, Phase truncation (statement). In MVQWXFXWM7/e1, corollary 7.2
History
- 2026-10-29: add by m2/v0.4.12
VG65MW4HCJ VG65MW4HCJ
| URI | m2://inv/VG65MW4HCJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 1802.02910#LQ7J (statement). In AY2MA29921/e1, corollary 09
History
- 2026-10-27: add by m2/v0.3.5
Henri Brocard VG6A4MBG6N
| URI | m2://inv/VG6A4MBG6N |
|---|---|
| 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#SXT5, Henri Brocard (topic)
History
- 2026-11-02: add by m2/dev
Pseudo-remainder sequence VG6FMS29VR
| URI | m2://inv/VG6FMS29VR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polynomial greatest common divisor#GR39, Pseudo-remainder sequence (unknown)
History
- 2026-11-02: add by m2/dev
derivative VG6KKWSTDG
| URI | m2://inv/VG6KKWSTDG |
|---|---|
| Kind | definition |
| Layer | textbook |
| MSC | 16W25 |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Derivative 0V1EJCT8G6 |
Mentions
- wikidata: Wikidata Q29175, derivative (topic). Also EoM Derivative, MathWorld Derivative
- wikipedia: Wikipedia Derivative, Derivative (definition). Also Wikidata Q29175
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Ichinomiya VG7385JEV9
| URI | m2://inv/VG7385JEV9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#HVXI, Ichinomiya (unknown)
History
- 2026-11-02: add by m2/dev
Applications VG74PMPYV4
| URI | m2://inv/VG74PMPYV4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gerschenkron effect#89H6, Applications (example)
History
- 2026-11-02: add by m2/dev
VG775Y43HE VG775Y43HE
| URI | m2://inv/VG775Y43HE |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-42 (exercise). In VNMV985MXX, exercise, section 1.5
History
- 2026-11-01: add by m2/v0.6.13
VG77X27YB5 VG77X27YB5
| URI | m2://inv/VG77X27YB5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2306.12846#Z26K (statement). In D6XA7JXZF3/e1, lemma 3.2
History
- 2026-10-27: add by m2/v0.3.5
Multiplicative Ergodic Theorem VG78BDXEXW
| URI | m2://inv/VG78BDXEXW |
|---|---|
| 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.33771#RHDC, Multiplicative Ergodic Theorem (statement). In ZXQA7QH0H0/e1, theorem 4.13
History
- 2026-10-30: add by m2/v0.4.12
VG7HQXTE19 VG7HQXTE19
| URI | m2://inv/VG7HQXTE19 |
|---|---|
| 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.09989#DVKT (statement). In 4KZA07H3GE/e1, theorem 1.3
History
- 2026-10-29: add by m2/v0.4.10
Trimagic square VG7S1HP4VQ
| URI | m2://inv/VG7S1HP4VQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multimagic square#VNSK, Trimagic square (unknown)
History
- 2026-11-02: add by m2/dev
Skip Garibaldi VG7V321A7E
| URI | m2://inv/VG7V321A7E |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Skip Garibaldi, Skip Garibaldi (topic). Also Wikidata Q7535663
History
- 2026-11-02: add by m2/dev
Resolvent method VG7VEVQ79H
| URI | m2://inv/VG7VEVQ79H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Resolvent (Galois theory)#F0YB, Resolvent method (definition)
History
- 2026-11-02: add by m2/dev
Spaces Relative To Moduli VG7ZN7CBEV
| URI | m2://inv/VG7ZN7CBEV |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-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.31352#ZNRS, Spaces Relative To Moduli (definition). In SQZGKRDVBX/e1, definition 3.8
History
- 2026-10-31: add by m2/v0.5.6
sabermetrics VG898TY6Q4
| URI | m2://inv/VG898TY6Q4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1187231, sabermetrics (unknown). Also MathWorld Sabermetrics
- wikipedia: Wikipedia Sabermetrics, Sabermetrics (definition). Also Wikidata Q1187231
History
- 2026-10-26: add by m2/dev
Inferential statistics VG99QP18N4
| URI | m2://inv/VG99QP18N4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#65ZQ, Inferential statistics (definition)
History
- 2026-11-02: add by m2/dev
Poisson law VG9JD88YG4
| URI | m2://inv/VG9JD88YG4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Probability Theory > Random variables and their laws > Poisson law, Poisson law (unknown). Also Mathlib ProbabilityTheory.poissonMeasure
- mathlib_undergrad: mathlib_undergrad Probability Theory > Random variables and their laws > Poisson law, Poisson law (unknown). Also Mathlib ProbabilityTheory.poissonMeasure
History
- 2026-10-26: add by m2/dev
VG9KSH0NRA VG9KSH0NRA
| URI | m2://inv/VG9KSH0NRA |
|---|---|
| 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.27518#Z6OA (statement)
History
- 2026-11-01: add by m2/v0.6.15
Connes embedding problem VG9MRZER0F
| URI | m2://inv/VG9MRZER0F |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#PV0Y, Connes embedding problem (conjecture)
History
- 2026-11-02: add by m2/dev
Examples VG9SV7S9CW
| URI | m2://inv/VG9SV7S9CW |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pattern Blocks#QNPQ, Examples (example)
History
- 2026-11-02: add by m2/dev
VGA29RSZK0 VGA29RSZK0
| URI | m2://inv/VGA29RSZK0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 37-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13100#W71C (statement). In CC6S1HVK0T/e1, theorem 6.2
History
- 2026-10-28: add by m2/v0.4.2
Robert Grosseteste: The Growth of an English Mind in Medieval Europe VGAA6RQ6D8
| URI | m2://inv/VGAA6RQ6D8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Robert Grosseteste: The Growth of an English Mind in Medieval Europe, Robert Grosseteste: The Growth of an English Mind in Medieval Europe (definition). Also Wikidata Q139761569
History
- 2026-11-02: add by m2/dev
Foster's theorem VGADNNE975
| URI | m2://inv/VGADNNE975 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 62-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q5473576, Foster's theorem (statement). Also Wikidata Q5473576
- thousand_plus: thousand_plus Q5473576, Foster's theorem (statement). Also Wikidata Q5473576, Wikipedia Foster's theorem
- wikipedia: Wikipedia Foster's theorem, Foster's theorem (statement). Also Wikidata Q5473576
History
- 2026-10-26: add by m2/dev
VGAE5AH3A9 VGAE5AH3A9
| URI | m2://inv/VGAE5AH3A9 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/intuitionistic-logic/soundness-completeness/lindenbaum.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 33.5
History
- 2026-11-01: add by m2/v0.6.13
VGB5CWJ120 VGB5CWJ120
| URI | m2://inv/VGB5CWJ120 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28489#Q5H0 (statement)
History
- 2026-11-01: add by m2/v0.6.15
VGB6CS2KP8 VGB6CS2KP8
| URI | m2://inv/VGB6CS2KP8 |
|---|---|
| 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.03264#I84Q (statement). In 5TXRSPPTHP/e1, lemma 3
History
- 2026-10-29: add by m2/v0.4.12
VGBGN5RAH5 VGBGN5RAH5
| URI | m2://inv/VGBGN5RAH5 |
|---|---|
| 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.20607#NXVG (statement)
History
- 2026-11-02: add by m2/v0.6.18
VGBX12Z6D3 VGBX12Z6D3
| URI | m2://inv/VGBX12Z6D3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12054#82D5 (statement). In 1A01NFHBGA/e1, theorem 1
History
- 2026-10-28: add by m2/v0.4.3
VGBZP5WJ9N VGBZP5WJ9N
| URI | m2://inv/VGBZP5WJ9N |
|---|---|
| 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.12479#69U7 (definition). In WE001PR75Z/e1, definition
History
- 2026-10-28: add by m2/v0.4.2
function, injective VGC0ZRS946
| URI | m2://inv/VGC0ZRS946 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/C.2/function-injective, function, injective (concept). In N54F33XE07, index, section C.2
History
- 2026-11-01: add by m2/v0.6.13
Definition VGC43F3YJZ
| URI | m2://inv/VGC43F3YJZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Barrier cone#IALI, Definition (definition)
History
- 2026-11-02: add by m2/dev
Table of mathematical symbols VGC47GJ684
| URI | m2://inv/VGC47GJ684 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematics reference tables#R3VD, Table of mathematical symbols (topic)
- wikipedia: Wikipedia List of calculus topics#QZBM, Table of mathematical symbols (topic)
- wikipedia: Wikipedia Lists of mathematics topics#5427, Table of mathematical symbols (topic)
History
- 2026-11-02: add by m2/dev
VGCABR3CGP VGCABR3CGP
| URI | m2://inv/VGCABR3CGP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36717#U5U1 (statement). In 69FBWG9P3B/e1, proposition 3.19
History
- 2026-10-30: add by m2/v0.4.12
Modular subgroup VGCC4D2N23
| URI | m2://inv/VGCC4D2N23 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Modular subgroup, Modular subgroup (definition). Also Wikidata Q6889735
History
- 2026-11-02: add by m2/dev
VGCJ3JTR8T VGCJ3JTR8T
| URI | m2://inv/VGCJ3JTR8T |
|---|---|
| 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#9BIY (statement)
History
- 2026-11-02: add by m2/v0.6.17
VGCRJXHGYQ VGCRJXHGYQ
| URI | m2://inv/VGCRJXHGYQ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 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 2610.09422#9VBZ (definition). In MS7M2BJS9X/e1, definition 3.6
History
- 2026-10-29: add by m2/v0.4.10
Jiayang Sun VGCTTTM2CN
| URI | m2://inv/VGCTTTM2CN |
|---|---|
| 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#14YN, Jiayang Sun (unknown)
History
- 2026-11-02: add by m2/dev
Use VGCZ2C5QFK
| URI | m2://inv/VGCZ2C5QFK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Combined Cipher Machine#XK2L, Use (example)
History
- 2026-11-02: add by m2/dev
Harch, Bronwyn VGDCJJS8NP
| URI | m2://inv/VGDCJJS8NP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#LX9H, Harch, Bronwyn (unknown)
History
- 2026-11-02: add by m2/dev
VGDG4TTFED VGDG4TTFED
| URI | m2://inv/VGDG4TTFED |
|---|---|
| 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.21732#FLTE (statement). In 6DJDRXDQNB/e1, theorem 1.3
History
- 2026-10-27: add by m2/v0.4.2
Completeness of NbE VGDG915YHH
| URI | m2://inv/VGDG915YHH |
|---|---|
| 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.21131#H697, Completeness of NbE (statement). In CPYWHRTPKC/e1, theorem 6.74
History
- 2026-10-27: add by m2/v0.4.2
Normalisation and finite type VGDND6FGW3
| URI | m2://inv/VGDND6FGW3 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 13-XX, 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17441#L182, Normalisation and finite type (definition). In 9Q8S0NWHP2/e1, definition 2.9
History
- 2026-10-28: add by m2/v0.4.2
Veronese surface VGDRAZECYF
| URI | m2://inv/VGDRAZECYF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of complex and algebraic surfaces#4WY9, Veronese surface (definition)
History
- 2026-11-02: add by m2/dev
VGDVHDAAWX VGDVHDAAWX
| URI | m2://inv/VGDVHDAAWX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.20663#BKS0 (statement). In AZMX0CY5NE/e1, lemma 16
History
- 2026-10-27: add by m2/v0.4.2
Applications VGE3K4AYX2
| URI | m2://inv/VGE3K4AYX2 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trinomial triangle#6L6T, Applications (example)
History
- 2026-11-02: add by m2/dev
VGE4B7R86Q VGE4B7R86Q
| URI | m2://inv/VGE4B7R86Q |
|---|---|
| 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 2609.32300#W0PN (statement). In VNE8N0D2FB/e1, proposition 5.2
History
- 2026-10-31: add by m2/v0.5.6
Variance bound for \(\tilde G_n\ VGE707M95K
| URI | m2://inv/VGE707M95K |
|---|---|
| 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.06372#8PFZ, Variance bound for \(\tilde G_n\ (statement). In G3E1P350Z6/e1, proposition 7.2
History
- 2026-10-29: add by m2/v0.4.10
Tetrahedral prism VGE949RSA5
| URI | m2://inv/VGE949RSA5 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#9NFV, Tetrahedral prism (object)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#9IZW, Tetrahedral prism (object)
History
- 2026-11-02: add by m2/dev
Natascha Artin Brunswick VGEEA8N3QP
| URI | m2://inv/VGEEA8N3QP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Natascha Artin Brunswick, Natascha Artin Brunswick (topic). Also Wikidata Q19824549
History
- 2026-11-02: add by m2/dev
Grigori Mints VGEHNC2FSF
| URI | m2://inv/VGEHNC2FSF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Grigori Mints, Grigori Mints (topic). Also Wikidata Q17489542
History
- 2026-11-02: add by m2/dev
Instituto Argentino de Matemática VGEJY9KDSY
| URI | m2://inv/VGEJY9KDSY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Instituto Argentino de Matemática, Instituto Argentino de Matemática (definition). Also Wikidata Q16976342
History
- 2026-11-02: add by m2/dev
School of Chios VGEKB72Q58
| URI | m2://inv/VGEKB72Q58 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia School of Chios, School of Chios (definition). Also Wikidata Q19838654
History
- 2026-11-02: add by m2/dev
Nigel Higson VGEMH53990
| URI | m2://inv/VGEMH53990 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#LPAY, Nigel Higson (unknown)
History
- 2026-11-02: add by m2/dev
VGEQX7HH2C VGEQX7HH2C
| URI | m2://inv/VGEQX7HH2C |
|---|---|
| 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.16768#P8J7 (statement). In 8FWK676AQX/e1, lemma 3
History
- 2026-10-28: add by m2/v0.4.2
VGEVG7SF5E VGEVG7SF5E
| URI | m2://inv/VGEVG7SF5E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-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.36823#UWFQ (statement). In 55WT8DME6Y/e1, lemma A.3
History
- 2026-10-30: add by m2/v0.4.12
VGEVNQVQKB VGEVNQVQKB
| URI | m2://inv/VGEVNQVQKB |
|---|---|
| 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.30648#C70K (statement). In 2P83KYQCMA/e1, lemma 13
History
- 2026-10-31: add by m2/v0.5.6
wave VGEVQDYSFJ
| URI | m2://inv/VGEVQDYSFJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q37172, wave (unknown). Also nLab wave
- wikipedia: Wikipedia Wave, Wave (definition). Also Wikidata Q37172
History
- 2026-10-26: add by m2/dev
VGF1F5P9X6 VGF1F5P9X6
| URI | m2://inv/VGF1F5P9X6 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 13-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 2208.05276#VSZW (definition). In 4C5XHYTRT2/e1, definition 1.3
History
- 2026-10-27: add by m2/v0.3.5
VGF55JM6ZC VGF55JM6ZC
| URI | m2://inv/VGF55JM6ZC |
|---|---|
| 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 2601.01000#JO4Y (statement). In RYFV9HGWWZ/e1, proposition 7
History
- 2026-10-27: add by m2/v0.3.5
VGFDNS3BT4 VGFDNS3BT4
| URI | m2://inv/VGFDNS3BT4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2403.16814#TB11 (statement). In MN03Z3PRFT/e1, theorem 4.8
History
- 2026-10-27: add by m2/v0.3.5
Lefschetz trace formula VGFJGSGYVS
| URI | m2://inv/VGFJGSGYVS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lefschetz fixed-point theorem#RYDS, Lefschetz trace formula (statement)
History
- 2026-11-02: add by m2/dev
VGFMS9Y7YA VGFMS9Y7YA
| URI | m2://inv/VGFMS9Y7YA |
|---|---|
| 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.21739#CW82 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Morris H. Hansen VGFNK1DDDX
| URI | m2://inv/VGFNK1DDDX |
|---|---|
| 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#58Z4, Morris H. Hansen (topic)
History
- 2026-11-02: add by m2/dev
Foster cage VGFNXFEMH9
| URI | m2://inv/VGFNXFEMH9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2933043, Foster cage (unknown). Also House of Graphs 48173, MathWorld FosterCage
History
- 2026-10-26: add by m2/dev
Fractal surface structures VGFSRZV56A
| URI | m2://inv/VGFSRZV56A |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fractal dimension#W542, Fractal surface structures (unknown)
History
- 2026-11-02: add by m2/dev
Axioms VGG0CR834D
| URI | m2://inv/VGG0CR834D |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Daniell integral#O0VB, Axioms (statement)
History
- 2026-11-02: add by m2/dev
Properties VGG5B5B8ZV
| URI | m2://inv/VGG5B5B8ZV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Half graph#7KTV, Properties (statement)
History
- 2026-11-02: add by m2/dev
Leading terms VGG836GQZD
| URI | m2://inv/VGG836GQZD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23106#45AV, Leading terms (statement)
History
- 2026-11-02: add by m2/v0.6.17
VGGEV2APTJ VGGEV2APTJ
| URI | m2://inv/VGGEV2APTJ |
|---|---|
| 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 math/0003117#H0FI (statement). In WD2NCBV9F0/e1, lemma 20.1
History
- 2026-10-27: add by m2/v0.3.5
Runcinated 5-orthoplexes VGH3TZEH82
| URI | m2://inv/VGH3TZEH82 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Runcinated 5-orthoplexes, Runcinated 5-orthoplexes (definition). Also Wikidata Q7379703
History
- 2026-11-02: add by m2/dev
VGHP2ERK0A VGHP2ERK0A
| URI | m2://inv/VGHP2ERK0A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21972#587I (statement)
History
- 2026-11-02: add by m2/v0.6.17
Robust Optimal Solution VGHV3AMB6B
| URI | m2://inv/VGHV3AMB6B |
|---|---|
| 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 2311.04609#EOQ3, Robust Optimal Solution (definition). In 66W1NPE62D/e1, definition 4
History
- 2026-10-27: add by m2/v0.3.5
Tukey lambda distribution VGHXB115EZ
| URI | m2://inv/VGHXB115EZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#OANZ, Tukey lambda distribution (definition)
History
- 2026-11-02: add by m2/dev
VGHY6DTHPC VGHY6DTHPC
| URI | m2://inv/VGHY6DTHPC |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03661#Z2BK (definition). In ESDKTYDHC8/e1, definition 13
History
- 2026-10-29: add by m2/v0.4.12
VGJ3YFZPJB VGJ3YFZPJB
| URI | m2://inv/VGJ3YFZPJB |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-metric.tex#exercise:relativelycompactseq (exercise). In E59CDZA4DP, exercise, section 4.4.3
History
- 2026-11-01: add by m2/v0.6.13
Wigner–Weyl transform VGJ69KPQJ0
| URI | m2://inv/VGJ69KPQJ0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Hermann Weyl#G4QE, Wigner–Weyl transform (definition)
History
- 2026-11-02: add by m2/dev
Wine/water mixing problem VGJRMBY332
| URI | m2://inv/VGJRMBY332 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wine/water mixing problem, Wine/water mixing problem (problem). Also Wikidata Q8024876
History
- 2026-11-02: add by m2/dev
Tsirelson space VGK4ZXK6E9
| URI | m2://inv/VGK4ZXK6E9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Banach spaces#YVHB, Tsirelson space (definition)
History
- 2026-11-02: add by m2/dev
VGK55A153C VGK55A153C
| URI | m2://inv/VGK55A153C |
|---|---|
| Kind | conjecture |
| 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 2506.09840#7UPW (conjecture). In Y7TWHSF2HC/e1, conjecture 1.2
History
- 2026-10-27: add by m2/v0.3.5
Chip Kelly VGK6WGV250
| URI | m2://inv/VGK6WGV250 |
|---|---|
| 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#RZ4K, Chip Kelly (unknown)
History
- 2026-11-02: add by m2/dev
VGKBES2BY6 VGKBES2BY6
| URI | m2://inv/VGKBES2BY6 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-metric.tex#proof-30 (proof). In E59CDZA4DP, proof, section 4.6.1
History
- 2026-11-01: add by m2/v0.6.13
VGKBHMDCQV VGKBHMDCQV
| URI | m2://inv/VGKBHMDCQV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21914#I1PO (statement)
History
- 2026-11-02: add by m2/v0.6.17
Two-Constant Bound VGKCA0N1QQ
| URI | m2://inv/VGKCA0N1QQ |
|---|---|
| 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#832N, Two-Constant Bound (statement). In Z6WA2R0J50/e1, theorem 2.16
History
- 2026-10-28: add by m2/v0.4.2
Statement of the theorem VGKDENA24P
| URI | m2://inv/VGKDENA24P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quadratic reciprocity#FBD0, Statement of the theorem (statement)
History
- 2026-11-02: add by m2/dev
VGKMYND5GC VGKMYND5GC
| URI | m2://inv/VGKMYND5GC |
|---|---|
| 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.03341#MIQM (statement). In 3G1H5ASBVE/e1, corollary 2
History
- 2026-10-29: add by m2/v0.4.12
Nandi Olive Leslie VGKR9VS83C
| URI | m2://inv/VGKR9VS83C |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nandi Olive Leslie, Nandi Olive Leslie (topic). Also Wikidata Q102257074
History
- 2026-11-02: add by m2/dev
VGKRZWAKPB VGKRZWAKPB
| URI | m2://inv/VGKRZWAKPB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/linalg/dets.tex#def:det (definition). In RZP28ERRZV, definition, section 56.2
History
- 2026-11-01: add by m2/v0.6.13
orbit coordinates VGKSE9K7CE
| URI | m2://inv/VGKSE9K7CE |
|---|---|
| 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.26286#PZQW, orbit coordinates (statement)
History
- 2026-11-01: add by m2/v0.6.15
Brun sieve VGKZTB6JCX
| URI | m2://inv/VGKZTB6JCX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of number theory topics#ERIT, Brun sieve (definition)
History
- 2026-11-02: add by m2/dev
Heinrich Franz Friedrich Tietze VGM00P5XEQ
| URI | m2://inv/VGM00P5XEQ |
|---|---|
| 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 Q84554, Heinrich Franz Friedrich Tietze (unknown). Also ProofWiki Mathematician:Heinrich_Franz_Friedrich_Tietze
- wikipedia: Wikipedia Heinrich Tietze, Heinrich Tietze (topic). Also Wikidata Q84554
History
- 2026-10-26: add by m2/dev
Excellent ring VGM0ZPDTRP
| URI | m2://inv/VGM0ZPDTRP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Excellent ring, Excellent ring (definition). Also Wikidata Q5419439
History
- 2026-11-02: add by m2/dev
High-parameter discrete Gaussian sampling VGM1KH3QS7
| URI | m2://inv/VGM1KH3QS7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37482#DBOY, High-parameter discrete Gaussian sampling (statement). In 9QDRMZX8EY/e1, lemma 11
History
- 2026-10-30: add by m2/v0.4.12
VGMJ0C19WE VGMJ0C19WE
| URI | m2://inv/VGMJ0C19WE |
|---|---|
| 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.24185#ISAQ (definition)
History
- 2026-11-01: add by m2/v0.6.15
Divergence VGMJN5V459
| URI | m2://inv/VGMJN5V459 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of multivariable calculus topics#G8IC, Divergence (definition)
History
- 2026-11-02: add by m2/dev
Positive torus formula VGMK57VWNE
| URI | m2://inv/VGMK57VWNE |
|---|---|
| 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#X47D, Positive torus formula (statement). In 8PTDFHV8SQ/e1, theorem 11.1
History
- 2026-10-28: add by m2/v0.4.3
Catherine Meadows VGMMJ79RNV
| URI | m2://inv/VGMMJ79RNV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#XQHO, Catherine Meadows (topic)
History
- 2026-11-02: add by m2/dev
US jobs report VGMPBNGY56
| URI | m2://inv/VGMPBNGY56 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bureau of Labor Statistics#VY1O, US jobs report (unknown)
History
- 2026-11-02: add by m2/dev
VGMXDVZ6W0 VGMXDVZ6W0
| URI | m2://inv/VGMXDVZ6W0 |
|---|---|
| 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.35474#E01Y (statement). In 9QWPGZ92ZN/e1, lemma 2.3
History
- 2026-10-30: add by m2/v0.4.12
VGMYGHKJF9 VGMYGHKJF9
| URI | m2://inv/VGMYGHKJF9 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16123#9HNU (definition). In 6VR4TY5BGV/e1, definition 1.1
History
- 2026-10-28: add by m2/v0.4.2
Decisional Diffie–Hellman assumption VGMZXRJD28
| URI | m2://inv/VGMZXRJD28 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Decisional Diffie–Hellman assumption, Decisional Diffie–Hellman assumption (definition). Also Wikidata Q516994
History
- 2026-11-02: add by m2/dev
Assouad–Nagata dimension VGN0J0T539
| URI | m2://inv/VGN0J0T539 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Assouad–Nagata dimension, Assouad–Nagata dimension (definition). Also Wikidata Q108363965
History
- 2026-11-02: add by m2/dev
Tsen's theorem VGN0S1NJ6H
| URI | m2://inv/VGN0S1NJ6H |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 14-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q7849521, Tsen's theorem (statement). Also Wikidata Q7849521
- thousand_plus: thousand_plus Q7849521, Tsen's theorem (statement). Also Wikidata Q7849521, Wikipedia Tsen's theorem
- wikipedia: Wikipedia Tsen's theorem, Tsen's theorem (statement). Also Wikidata Q7849521
History
- 2026-10-26: add by m2/dev
VGNJXYBB9G VGNJXYBB9G
| URI | m2://inv/VGNJXYBB9G |
|---|---|
| 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.05506#S9RY (statement). In FT53PMB1TE/e1, lemma 4.1.3
History
- 2026-10-29: add by m2/v0.4.10
Four-row move VGNRAQTXYW
| URI | m2://inv/VGNRAQTXYW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23106#DC42, Four-row move (statement)
History
- 2026-11-02: add by m2/v0.6.17
Degree of the zero polynomial VGP1PC49NP
| URI | m2://inv/VGP1PC49NP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Degree of a polynomial#YOVC, Degree of the zero polynomial (unknown)
History
- 2026-11-02: add by m2/dev
Polygon covering VGP25REKQA
| URI | m2://inv/VGP25REKQA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polygon covering, Polygon covering (definition). Also Wikidata Q18389289
History
- 2026-11-02: add by m2/dev
VGP8R6FKT7 VGP8R6FKT7
| URI | m2://inv/VGP8R6FKT7 |
|---|---|
| Kind | conjecture |
| 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.32614#YZWU (conjecture). In SG8GT73ZNH/e1, conjecture 4.1
History
- 2026-10-31: add by m2/v0.5.6
VGPDPXVAFP VGPDPXVAFP
| URI | m2://inv/VGPDPXVAFP |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2207.11097#V0IG (definition). In 13H5BTAXHF/e1, definition 12
History
- 2026-10-27: add by m2/v0.3.5
Socrates VGPE766X5Q
| URI | m2://inv/VGPE766X5Q |
|---|---|
| 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 Q913, Socrates (unknown). Also nLab Socrates, ProofWiki Mathematician:Socrates
History
- 2026-10-26: add by m2/dev
VGPEQH5F4X VGPEQH5F4X
| URI | m2://inv/VGPEQH5F4X |
|---|---|
| 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 2311.01874#IJPG (statement). In A4TR95VGX2/e1, proposition 9
History
- 2026-10-27: add by m2/v0.3.5
Riemann–Siegel theta function VGPH5P2JY8
| URI | m2://inv/VGPH5P2JY8 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q14769928, Riemann–Siegel theta function (concept). Also MathWorld Riemann-SiegelFunctions
- wikipedia: Wikipedia Riemann–Siegel theta function, Riemann–Siegel theta function (definition). Also Wikidata Q14769928
History
- 2026-10-26: add by m2/dev
VGPYM5YJN6 VGPYM5YJN6
| URI | m2://inv/VGPYM5YJN6 |
|---|---|
| Kind | example |
| 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#VWQF (example). In RK0ZMDJ23T/e1, example 4.1.13
History
- 2026-10-31: add by m2/v0.5.6
Demographics of Cologne VGPZ7ER1F1
| URI | m2://inv/VGPZ7ER1F1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Demographics of Cologne, Demographics of Cologne (definition). Also Wikidata Q1309813
History
- 2026-11-02: add by m2/dev
Smith predictor VGQ1YXPAPB
| URI | m2://inv/VGQ1YXPAPB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Smith predictor, Smith predictor (definition). Also Wikidata Q7545392
History
- 2026-11-02: add by m2/dev
Family-wise error rate VGQ324ZHEK
| URI | m2://inv/VGQ324ZHEK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#1F51, Family-wise error rate (definition)
History
- 2026-11-02: add by m2/dev
VGQ636SY15 VGQ636SY15
| URI | m2://inv/VGQ636SY15 |
|---|---|
| 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 2609.27617#OK57 (statement)
History
- 2026-11-01: add by m2/v0.6.15
VGQ726V8QB VGQ726V8QB
| URI | m2://inv/VGQ726V8QB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/cats/categories.tex#definition-5 (definition). In RZP28ERRZV, definition, section 36.5
History
- 2026-11-01: add by m2/v0.6.13
VGQCMFX4EB VGQCMFX4EB
| URI | m2://inv/VGQCMFX4EB |
|---|---|
| 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.40251#LSDC (statement). In 9J7TJYKGYX/e1, lemma 5.3
History
- 2026-10-30: add by m2/v0.4.12
Thomas Jones Enright VGQDJ8KYPY
| URI | m2://inv/VGQDJ8KYPY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thomas Jones Enright, Thomas Jones Enright (topic). Also Wikidata Q26923067
History
- 2026-11-02: add by m2/dev
Martyn Poliakoff VGQEVKY2S0
| URI | m2://inv/VGQEVKY2S0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#FCOB, Martyn Poliakoff (unknown)
History
- 2026-11-02: add by m2/dev
Non-elementary action VGQPKKY7B0
| URI | m2://inv/VGQPKKY7B0 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13817#2RNB, Non-elementary action (definition). In BMSAXTDV47/e1, definition 2.9
History
- 2026-10-28: add by m2/v0.4.2
Cut bounds during the dense phase VGQQT57RAZ
| URI | m2://inv/VGQQT57RAZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08766#9IBV, Cut bounds during the dense phase (statement). In QA4JM9SHPA/e1, proposition 3.4
History
- 2026-10-29: add by m2/v0.4.10
Chang's conjecture VGQXWQRW3A
| URI | m2://inv/VGQXWQRW3A |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chang's conjecture, Chang's conjecture (statement). Also Wikidata Q5071569
History
- 2026-11-02: add by m2/dev
Generative art VGQYADCG7N
| URI | m2://inv/VGQYADCG7N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generative art, Generative art (definition). Also Wikidata Q1502032
History
- 2026-11-02: add by m2/dev
Theorem VGR2K25C5X
| URI | m2://inv/VGR2K25C5X |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wishart distribution#0LWA, Theorem (statement)
History
- 2026-11-02: add by m2/dev
VGR388B32G VGR388B32G
| URI | m2://inv/VGR388B32G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12054#FNAS (statement). In 1A01NFHBGA/e1, proposition 4.11
History
- 2026-10-28: add by m2/v0.4.3
VGR5H2KR8F VGR5H2KR8F
| URI | m2://inv/VGR5H2KR8F |
|---|---|
| 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 2510.02019#VY3X (statement). In PD607VXPY3/e1, proposition 14
History
- 2026-10-27: add by m2/v0.3.5
VGR95M9ND0 VGR95M9ND0
| URI | m2://inv/VGR95M9ND0 |
|---|---|
| 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 2205.09049#Z6Y7 (definition). In 37S7MNMZ2F/e1, definition 39
History
- 2026-10-27: add by m2/v0.3.5
Applications VGRAYHXQY1
| URI | m2://inv/VGRAYHXQY1 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spaghetti plot#MNO0, Applications (example)
History
- 2026-11-02: add by m2/dev
VGRBZY1T8M VGRBZY1T8M
| URI | m2://inv/VGRBZY1T8M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16731#LEMC (statement). In D68KBZQ4Q6/e1, proposition 5.17
History
- 2026-10-28: add by m2/v0.4.2
Examples VGRPXKRYS2
| URI | m2://inv/VGRPXKRYS2 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kernel (linear algebra)#EY9H, Examples (example)
History
- 2026-11-02: add by m2/dev
VGRPXWY12S VGRPXWY12S
| URI | m2://inv/VGRPXWY12S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 55-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21365#0S8T (statement). In FCMMB2EVAP/e1, proposition 2.9
History
- 2026-10-27: add by m2/v0.4.2
Vance Faber VGRSNHZ9VM
| URI | m2://inv/VGRSNHZ9VM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vance Faber, Vance Faber (topic). Also Wikidata Q7914027
History
- 2026-11-02: add by m2/dev
Exact bias identity, oracle weights, and the gain VGRYWGBQ0M
| URI | m2://inv/VGRYWGBQ0M |
|---|---|
| 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.04671#7H6O, Exact bias identity, oracle weights, and the gain (statement). In BYP65TRGDT/e1, proposition 3.4
History
- 2026-10-29: add by m2/v0.4.12
VGS1ESWQ9E VGS1ESWQ9E
| URI | m2://inv/VGS1ESWQ9E |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 26-XX, 35-XX, 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 2610.12430#D1HJ (example). In VGKCBWQ65N/e1, example 7.2
History
- 2026-10-28: add by m2/v0.4.2
Syntactic ambiguity VGS1GWQ9RZ
| URI | m2://inv/VGS1GWQ9RZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Syntactic ambiguity, Syntactic ambiguity (definition). Also Wikidata Q2456276
History
- 2026-11-02: add by m2/dev
Uncanny valley VGS6KX4PY1
| URI | m2://inv/VGS6KX4PY1 |
|---|---|
| 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#BP8K, Uncanny valley (unknown)
History
- 2026-11-02: add by m2/dev
Coriolis force VGSCN6J2BC
| URI | m2://inv/VGSCN6J2BC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of dynamical systems and differential equations topics#NPDJ, Coriolis force (definition)
History
- 2026-11-02: add by m2/dev
VGSKBQS4K8 VGSKBQS4K8
| URI | m2://inv/VGSKBQS4K8 |
|---|---|
| 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 2609.28141#2MED (statement)
History
- 2026-11-01: add by m2/v0.6.15
VGSN3AVVFH VGSN3AVVFH
| URI | m2://inv/VGSN3AVVFH |
|---|---|
| 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#LHE8 (statement)
History
- 2026-11-01: add by m2/v0.6.15
VGSNHKGERV VGSNHKGERV
| URI | m2://inv/VGSNHKGERV |
|---|---|
| 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 1808.00180#B38R (statement). In XDYCG8DVHE/e1, theorem 4
History
- 2026-10-27: add by m2/v0.3.5
Unconditional finiteness and a.e. strict complementarity VGSYJ2CX1A
| URI | m2://inv/VGSYJ2CX1A |
|---|---|
| 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.00033#9JUI, Unconditional finiteness and a.e. strict complementarity (statement). In SHMMW4JXZ1/e1, theorem 18
History
- 2026-10-30: add by m2/v0.4.12
Hélène Frankowska VGT3066Y49
| URI | m2://inv/VGT3066Y49 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hélène Frankowska, Hélène Frankowska (topic). Also Wikidata Q43301991
History
- 2026-11-02: add by m2/dev
Hadamard multiplication theorem VGT8E73GQM
| URI | m2://inv/VGT8E73GQM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Jacques Hadamard#B4NU, Hadamard multiplication theorem (unknown)
History
- 2026-11-02: add by m2/dev
statistical test VGTMMSHWHC
| URI | m2://inv/VGTMMSHWHC |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Statistical hypothesis test 087P03NEND |
Mentions
- wikidata: Wikidata Q210832, statistical test (concept). Also MathWorld StatisticalTest
- wikipedia: Wikipedia Statistical hypothesis test, Statistical hypothesis test (statement). Also Wikidata Q210832
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
VGTMT1XRG6 VGTMT1XRG6
| URI | m2://inv/VGTMT1XRG6 |
|---|---|
| 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.13852#HCBU (statement). In SXTGSAH3WF/e1, lemma 3.1
History
- 2026-10-28: add by m2/v0.4.2
VGV6ZBCHTM VGV6ZBCHTM
| URI | m2://inv/VGV6ZBCHTM |
|---|---|
| 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.28417#QQVX (statement)
History
- 2026-11-01: add by m2/v0.6.15
Properties VGW00S7HWF
| URI | m2://inv/VGW00S7HWF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia KK-theory#NH96, Properties (statement)
History
- 2026-11-02: add by m2/dev
VGW1ZMCX95 VGW1ZMCX95
| URI | m2://inv/VGW1ZMCX95 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13979#7QN2 (statement). In M4W5M33Q60/e1, lemma 3.1
History
- 2026-10-28: add by m2/v0.4.2
Examples VGW353YG6Q
| URI | m2://inv/VGW353YG6Q |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Star-free language#IPQA, Examples (example)
History
- 2026-11-02: add by m2/dev
Question-limited regime VGW9ADY8VT
| URI | m2://inv/VGW9ADY8VT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21363#223A, Question-limited regime (statement). In YPH7NS5AAQ/e1, corollary 5.2
History
- 2026-10-27: add by m2/v0.4.2
Lamari-type characterization VGWAV6R206
| URI | m2://inv/VGWAV6R206 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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.28411#JRC6, Lamari-type characterization (statement)
History
- 2026-11-01: add by m2/v0.6.15
Field trace VGWJ55BTFH
| URI | m2://inv/VGWJ55BTFH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Field trace, Field trace (definition). Also Wikidata Q2450665
History
- 2026-11-02: add by m2/dev
Coordinate layer and sweep VGWT0HJ0JB
| URI | m2://inv/VGWT0HJ0JB |
|---|---|
| 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.18884#UAAY, Coordinate layer and sweep (definition). In 8WM10QMA9E/e1, definition 1.2
History
- 2026-10-28: add by m2/v0.4.2
Ck embedding theorem VGWT1KNBYY
| URI | m2://inv/VGWT1KNBYY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nash embedding theorems#0S4J, Ck embedding theorem (statement)
History
- 2026-11-02: add by m2/dev
Example VGX9KM0AQ1
| URI | m2://inv/VGX9KM0AQ1 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Acyclic model#X41C, Example (example)
History
- 2026-11-02: add by m2/dev
Hahn–Banach theorem VGXC2YD6CR
| URI | m2://inv/VGXC2YD6CR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Banach space#EOIK, Hahn–Banach theorem (statement)
History
- 2026-11-02: add by m2/dev
Coates--Corti--Iritani--Tseng VGXFWX1QPK
| URI | m2://inv/VGXFWX1QPK |
|---|---|
| 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#4IV4, Coates--Corti--Iritani--Tseng (statement). In 8PTDFHV8SQ/e1, proposition 6.5
History
- 2026-10-28: add by m2/v0.4.3
VGXJY8TMJS VGXJY8TMJS
| URI | m2://inv/VGXJY8TMJS |
|---|---|
| Kind | definition |
| 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#HHCE (definition). In 2TJRBRKYAY/e1, definition 4.2
History
- 2026-10-27: add by m2/v0.3.5
VGXRYFBJZK VGXRYFBJZK
| URI | m2://inv/VGXRYFBJZK |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-41 (exercise). In VNMV985MXX, exercise, section 1.5
History
- 2026-11-01: add by m2/v0.6.13
Axiom of global choice VGY0Z6Z5ZM
| URI | m2://inv/VGY0Z6Z5ZM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Von Neumann–Bernays–Gödel set theory#4VYW, Axiom of global choice (statement)
History
- 2026-11-02: add by m2/dev
VGY2KMES50 VGY2KMES50
| URI | m2://inv/VGY2KMES50 |
|---|---|
| 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.17476#GD32 (statement). In 6HXD74FA4S/e1, lemma 3.1
History
- 2026-10-28: add by m2/v0.4.2
Bartels, Julius VGYB1BE1SM
| URI | m2://inv/VGYB1BE1SM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#BELS, Bartels, Julius (unknown)
History
- 2026-11-02: add by m2/dev
VGYF4BR2NW VGYF4BR2NW
| URI | m2://inv/VGYF4BR2NW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2601.15403#6PAF (statement). In BSWNH3NW1M/e1, theorem 9.36
History
- 2026-10-27: add by m2/v0.4.0
VGYGDJ43Q6 VGYGDJ43Q6
| URI | m2://inv/VGYGDJ43Q6 |
|---|---|
| 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#NUID (statement). In 12JKZ8EN52/e1, lemma 8.23
History
- 2026-10-27: add by m2/v0.3.5
Rectangulations VGYGWNR0AS
| URI | m2://inv/VGYGWNR0AS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rectangulations, Rectangulations (definition). Also Wikidata Q139854234
History
- 2026-11-02: add by m2/dev
VGYJGWA5HH VGYJGWA5HH
| URI | m2://inv/VGYJGWA5HH |
|---|---|
| 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.00786#AMGR (statement). In XKEE0DK6N3/e1, proposition 2.5
History
- 2026-10-29: add by m2/v0.4.12
Codd's theorem VGYKNJ5TVH
| URI | m2://inv/VGYKNJ5TVH |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 68-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q5139948, Codd's theorem (statement). Also Wikidata Q5139948
- thousand_plus: thousand_plus Q5139948, Codd's theorem (statement). Also Wikidata Q5139948, Wikipedia Codd's theorem
- wikipedia: Wikipedia Codd's theorem, Codd's theorem (statement). Also Wikidata Q5139948
History
- 2026-10-26: add by m2/dev
VGYN3N6NVM VGYN3N6NVM
| URI | m2://inv/VGYN3N6NVM |
|---|---|
| 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.22777#FD2U (statement)
History
- 2026-11-02: add by m2/v0.6.17
VGYQYNSTXB VGYQYNSTXB
| URI | m2://inv/VGYQYNSTXB |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/riemann-surface/morphism.tex#example-3 (example). In RZP28ERRZV, example, section 86.3
History
- 2026-11-01: add by m2/v0.6.13
VGYWDHZ4XQ VGYWDHZ4XQ
| URI | m2://inv/VGYWDHZ4XQ |
|---|---|
| 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 2610.12330#LTBQ (statement). In XHSKEPT3VD/e1, theorem 3.1
History
- 2026-10-28: add by m2/v0.4.2
Ruzsa triangle inequality VGYZR1YZM6
| URI | m2://inv/VGYZR1YZM6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ruzsa triangle inequality, Ruzsa triangle inequality (statement). Also Wikidata Q85798239
History
- 2026-11-02: add by m2/dev
Sergio Doplicher VGYZW0ZTGA
| URI | m2://inv/VGYZW0ZTGA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#QJ6K, Sergio Doplicher (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#VM94, Sergio Doplicher (unknown)
History
- 2026-11-02: add by m2/dev
Bochner–Minlos theorem VGZ2FKWJZX
| URI | m2://inv/VGZ2FKWJZX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nuclear space#F8XQ, Bochner–Minlos theorem (statement)
History
- 2026-11-02: add by m2/dev
Implementation VGZASKGZ8T
| URI | m2://inv/VGZASKGZ8T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sieve of Atkin#6YNB, Implementation (definition)
History
- 2026-11-02: add by m2/dev
Conservativity of an absorbing constant VGZDQRRR9B
| URI | m2://inv/VGZDQRRR9B |
|---|---|
| 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.12014#0BCY, Conservativity of an absorbing constant (statement). In DR7BK4CQ0V/e1, lemma 2.4
History
- 2026-10-28: add by m2/v0.4.3
VGZMMZAGFW VGZMMZAGFW
| URI | m2://inv/VGZMMZAGFW |
|---|---|
| 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.32816#FHAT (statement). In 10YV2P9E8W/e1, corollary 4.5
History
- 2026-10-31: add by m2/v0.5.6
Coordinate-induced basis VGZNK0S6J0
| URI | m2://inv/VGZNK0S6J0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coordinate-induced basis, Coordinate-induced basis (definition). Also Wikidata Q5168003
History
- 2026-11-02: add by m2/dev
VGZSDYBYFQ VGZSDYBYFQ
| URI | m2://inv/VGZSDYBYFQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22825#18GZ (statement)
History
- 2026-11-02: add by m2/v0.6.17
VGZSM3AK38 VGZSM3AK38
| URI | m2://inv/VGZSM3AK38 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-several-vars-ders.tex#exercise-53 (exercise). In E59CDZA4DP, exercise, section 11.4.3
History
- 2026-11-01: add by m2/v0.6.13
Hölder's theorem VGZW70G37Y
| URI | m2://inv/VGZW70G37Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#0G6I, Hölder's theorem (statement)
History
- 2026-11-02: add by m2/dev
Anomalous rates and regular variation VGZYQAPBSR
| URI | m2://inv/VGZYQAPBSR |
|---|---|
| Kind | problem |
| 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.15086#V3M9, Anomalous rates and regular variation (problem). In V60MVF3KQ1/e1, problem 8.2
History
- 2026-10-28: add by m2/v0.4.2