Inventory rows VP
The cards of the rows of the inventory whose ids start with VP. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Principal component analysis VP04FQAZEB
| URI | m2://inv/VP04FQAZEB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Principal component analysis, Principal component analysis (definition). Also Wikidata Q2873
History
- 2026-11-02: add by m2/dev
Positivity of $\Real(s^\gamma)$ in the right half-plane VP05D3572W
| URI | m2://inv/VP05D3572W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06631#T6JZ, Positivity of $\Real(s^\gamma)$ in the right half-plane (statement). In QR4SD83TFR/e1, lemma 2
History
- 2026-10-29: add by m2/v0.4.10
Hitchens's razor VP0Q4TMCXA
| URI | m2://inv/VP0Q4TMCXA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hitchens's razor, Hitchens's razor (definition). Also Wikidata Q887815
History
- 2026-11-02: add by m2/dev
Cauchy point VP0R4WC2NJ
| URI | m2://inv/VP0R4WC2NJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Augustin-Louis Cauchy#71LF, Cauchy point (definition)
History
- 2026-11-02: add by m2/dev
VP0SGMGSAQ VP0SGMGSAQ
| URI | m2://inv/VP0SGMGSAQ |
|---|---|
| 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.36306#S9EQ (statement). In NHQEAVMJE1/e1, corollary 9
History
- 2026-10-30: add by m2/v0.4.12
Simple theorems in the algebra of sets VP10PDAV8R
| URI | m2://inv/VP10PDAV8R |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical logic topics#81NL, Simple theorems in the algebra of sets (statement)
History
- 2026-11-02: add by m2/dev
Mingyao Li VP17845A4T
| URI | m2://inv/VP17845A4T |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mingyao Li, Mingyao Li (topic). Also Wikidata Q91723225
History
- 2026-11-02: add by m2/dev
VP1956Z675 VP1956Z675
| URI | m2://inv/VP1956Z675 |
|---|---|
| Kind | definition |
| 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 2106.01660#WEI2 (definition). In DY520CF58X/e1, definition
History
- 2026-10-27: add by m2/v0.3.5
Properties VP1D5M54YV
| URI | m2://inv/VP1D5M54YV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Horocycle#8VK6, Properties (statement)
History
- 2026-11-02: add by m2/dev
Giuseppe Peano VP1G830F0Z
| URI | m2://inv/VP1G830F0Z |
|---|---|
| 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#GCQ6, Giuseppe Peano (topic)
History
- 2026-11-02: add by m2/dev
VP1H5HG8S9 VP1H5HG8S9
| URI | m2://inv/VP1H5HG8S9 |
|---|---|
| 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.36313#S9RR (statement). In Z5SP3NW41S/e1, fact 2.8
History
- 2026-10-30: add by m2/v0.4.12
Application VP1VMSCAGH
| URI | m2://inv/VP1VMSCAGH |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bussgang theorem#GV8K, Application (example)
History
- 2026-11-02: add by m2/dev
VP260V821T VP260V821T
| URI | m2://inv/VP260V821T |
|---|---|
| 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 2304.02722#ZEAW (statement). In AH7D55D3WV/e1, theorem 17.3
History
- 2026-10-27: add by m2/v0.3.5
Johann Heinrich Graf VP26D59ARX
| URI | m2://inv/VP26D59ARX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Johann Heinrich Graf, Johann Heinrich Graf (topic). Also Wikidata Q37732739
History
- 2026-11-02: add by m2/dev
Radical of a module VP2TJC2YTD
| URI | m2://inv/VP2TJC2YTD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Radical of a module, Radical of a module (definition). Also Wikidata Q7280485
History
- 2026-11-02: add by m2/dev
VP2V9M4TAR VP2V9M4TAR
| URI | m2://inv/VP2V9M4TAR |
|---|---|
| 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/provability.tex#probtag-1 (exercise). In PKGMM3P5QY, probtag, section 8.10
History
- 2026-11-01: add by m2/v0.6.13
Open mapping theorem (functional analysis) VP2Y31YB5R
| URI | m2://inv/VP2Y31YB5R |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical proofs#46GX, Open mapping theorem (functional analysis) (statement)
- wikipedia: Wikipedia List of theorems#W0AN, Open mapping theorem (statement)
History
- 2026-11-02: add by m2/dev
double negation VP30PKV0R5
| URI | m2://inv/VP30PKV0R5 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi index/4.1.2/double-negation, double negation (concept). In Y91XFCEVHQ, index, section 4.1.2
History
- 2026-11-01: add by m2/v0.6.13
Erland Samuel Bring VP39JBSH48
| URI | m2://inv/VP39JBSH48 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of eponyms of special functions#RXM3, Erland Samuel Bring (unknown)
History
- 2026-11-02: add by m2/dev
Definition VP3A8QAAMN
| URI | m2://inv/VP3A8QAAMN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Numerical semigroup#TNYU, Definition (definition)
History
- 2026-11-02: add by m2/dev
VP3BWAWNJC VP3BWAWNJC
| URI | m2://inv/VP3BWAWNJC |
|---|---|
| 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#5NU7 (statement). In E1Y93JNBJA/e1, lemma 3.1
History
- 2026-10-31: add by m2/v0.5.6
VP3NER25QC VP3NER25QC
| URI | m2://inv/VP3NER25QC |
|---|---|
| Kind | example |
| 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 2508.07340#V310 (example). In 2HSB99DW4M/e1, example 5.12
History
- 2026-10-27: add by m2/v0.3.6
VP3VPKRN44 VP3VPKRN44
| URI | m2://inv/VP3VPKRN44 |
|---|---|
| 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 1008.4946#8JY2 (statement). In R4ZM6Q4SHH/e1, proposition 3
History
- 2026-10-27: add by m2/v0.3.5
Hermite (crater) VP3ZCFY6RK
| URI | m2://inv/VP3ZCFY6RK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Charles Hermite#JJCX, Hermite (crater) (unknown)
History
- 2026-11-02: add by m2/dev
VP49WTRRF8 VP49WTRRF8
| URI | m2://inv/VP49WTRRF8 |
|---|---|
| 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.17204#OGW6 (statement). In 5CZ2BNV4MT/e1, proposition 6.1
History
- 2026-10-28: add by m2/v0.4.2
serial relation VP4EGVA5PV
| URI | m2://inv/VP4EGVA5PV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of Principia Mathematica#9RNE, serial relation (definition)
History
- 2026-11-02: add by m2/dev
VP4JN6VK4P VP4JN6VK4P
| URI | m2://inv/VP4JN6VK4P |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08193#3DSR (definition). In 8XAKGH8S2D/e1, definition 2.1
History
- 2026-10-29: add by m2/v0.4.10
VP4KE2Z11R VP4KE2Z11R
| URI | m2://inv/VP4KE2Z11R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-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.11545#G0CI (statement). In VN084GGZGK/e1, theorem Theorem
History
- 2026-10-28: add by m2/v0.4.3
Definitions VP4SJDM0R6
| URI | m2://inv/VP4SJDM0R6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exergy#UOSL, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Generalizations VP4SKPFV4M
| URI | m2://inv/VP4SKPFV4M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Planar graph#RB6G, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Gustav Doetsch VP4ZNPYWM9
| URI | m2://inv/VP4ZNPYWM9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gustav Doetsch, Gustav Doetsch (topic). Also Wikidata Q110424
History
- 2026-11-02: add by m2/dev
Ordered-square comparison VP57P5SE2B
| URI | m2://inv/VP57P5SE2B |
|---|---|
| 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.27798#IZZN, Ordered-square comparison (statement)
History
- 2026-11-01: add by m2/v0.6.15
VP58YFD5JH VP58YFD5JH
| URI | m2://inv/VP58YFD5JH |
|---|---|
| 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 2310.02073#AOT0 (statement). In 3PNCRG6J62/e1, theorem
History
- 2026-10-27: add by m2/v0.3.5
Committee of Presidents of Statistical Societies VP5B5MT7VD
| URI | m2://inv/VP5B5MT7VD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Committee of Presidents of Statistical Societies, Committee of Presidents of Statistical Societies (definition). Also Wikidata Q18348463
History
- 2026-11-02: add by m2/dev
VP5E5XH9EC VP5E5XH9EC
| URI | m2://inv/VP5E5XH9EC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 55-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30579#KP8D (statement). In FDYZFDHZH9/e1, proposition 2.12
History
- 2026-10-31: add by m2/v0.5.6
Nicholas Jarvis Proudfoot VP5H2ST3D9
| URI | m2://inv/VP5H2ST3D9 |
|---|---|
| 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 Q21166845, Nicholas Jarvis Proudfoot (unknown). Also nLab Nicholas Proudfoot
History
- 2026-10-26: add by m2/dev
VP5KK8380S VP5KK8380S
| URI | m2://inv/VP5KK8380S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-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.10329#JOVL (statement). In SCSTR1Q1BW/e1, lemma 3.3
History
- 2026-10-29: add by m2/v0.4.10
VP5NFYGYT4 VP5NFYGYT4
| URI | m2://inv/VP5NFYGYT4 |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1712.02437#XUQO (proof). In GZDFK652T9/e1, proof
History
- 2026-10-27: add by m2/v0.3.5
Statement of the theorem VP5XZMYS2Z
| URI | m2://inv/VP5XZMYS2Z |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nagell–Lutz theorem#OD6N, Statement of the theorem (statement)
History
- 2026-11-02: add by m2/dev
AFP-$k$-condition VP60T31EX4
| URI | m2://inv/VP60T31EX4 |
|---|---|
| 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 2601.22681#R9FI, AFP-$k$-condition (definition). In 68VEQQX68G/e1, definition 3.3
History
- 2026-10-27: add by m2/v0.4.0
Entry into the empirical stability regime VP62GW2EMD
| URI | m2://inv/VP62GW2EMD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 49-XX, 62-XX, 65-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23927#EILD, Entry into the empirical stability regime (statement)
History
- 2026-11-02: add by m2/v0.6.17
Examples VP64406B8M
| URI | m2://inv/VP64406B8M |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Borel–Moore homology#KTIK, Examples (example)
History
- 2026-11-02: add by m2/dev
Marjorie Batchelor VP6B9721NK
| URI | m2://inv/VP6B9721NK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Marjorie Batchelor, Marjorie Batchelor (topic). Also Wikidata Q98733255
History
- 2026-11-02: add by m2/dev
Dirac structure VP6PK7JJ52
| URI | m2://inv/VP6PK7JJ52 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q117751500, Dirac structure (unknown). Also nLab Dirac manifold
- wikipedia: Wikipedia Dirac structure, Dirac structure (definition). Also Wikidata Q117751500
History
- 2026-10-26: add by m2/dev
necessity VP6PV954D9
| URI | m2://inv/VP6PV954D9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#6QLN, necessity (definition)
History
- 2026-11-02: add by m2/dev
Alessio Figalli VP6PXQSXYJ
| URI | m2://inv/VP6PXQSXYJ |
|---|---|
| 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#OC1Z, Alessio Figalli (topic)
History
- 2026-11-02: add by m2/dev
VP6SDVTZKY VP6SDVTZKY
| URI | m2://inv/VP6SDVTZKY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22268#UQ5V (statement). In 9ZD87293QS/e1, corollary 3.24
History
- 2026-10-27: add by m2/v0.4.0
VP74MX5271 VP74MX5271
| URI | m2://inv/VP74MX5271 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06246#03OB (definition). In EXZHBFRJ63/e1, definition 5.3
History
- 2026-10-29: add by m2/v0.4.10
VP75DCP607 VP75DCP607
| URI | m2://inv/VP75DCP607 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/sec_gt-planar.ptx#proof-1 (proof). In Y91XFCEVHQ, proof, section 5.3.1
History
- 2026-11-01: add by m2/v0.6.13
Earth mover's distance VP75WQ5QP2
| URI | m2://inv/VP75WQ5QP2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Earth mover's distance, Earth mover's distance (definition). Also Wikidata Q3046456
History
- 2026-11-02: add by m2/dev
VP76QJPR0S VP76QJPR0S
| URI | m2://inv/VP76QJPR0S |
|---|---|
| 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.32997#I2MC (definition). In N380GY9A9N/e1, definition 2.3
History
- 2026-10-31: add by m2/v0.5.6
VP7B2ZQMTZ VP7B2ZQMTZ
| URI | m2://inv/VP7B2ZQMTZ |
|---|---|
| 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.01268#7QWD (statement). In 80Q4X3WT8W/e1, lemma 4.3
History
- 2026-10-29: add by m2/v0.4.12
VP7EWVN6P5 VP7EWVN6P5
| URI | m2://inv/VP7EWVN6P5 |
|---|---|
| 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#2XGB (statement). In 1A01NFHBGA/e1, corollary 4
History
- 2026-10-28: add by m2/v0.4.3
Thm 2.8, Ex 5.2 VP7GK3GE9A
| URI | m2://inv/VP7GK3GE9A |
|---|---|
| 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 2610.01932#QCCN, Thm 2.8, Ex 5.2 (statement). In XDKWW6NR0K/e1, theorem 3.2
History
- 2026-10-29: add by m2/v0.4.12
VP7RFNPPT2 VP7RFNPPT2
| URI | m2://inv/VP7RFNPPT2 |
|---|---|
| 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.00379#TF4N (statement). In BTSCWAGACB/e1, corollary 9
History
- 2026-10-30: add by m2/v0.4.12
VP7YV5CVZS VP7YV5CVZS
| URI | m2://inv/VP7YV5CVZS |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section4-4.xml#activity-4 (exercise). In 649HGZKE96, activity, section 4.4.4
History
- 2026-11-01: add by m2/v0.6.13
VP826YE2W0 VP826YE2W0
| URI | m2://inv/VP826YE2W0 |
|---|---|
| Kind | conjecture |
| 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 2212.05398#2SFL (conjecture). In WQKQ8438M7/e1, conjecture 4.1
History
- 2026-10-27: add by m2/v0.3.5
Weighted catenary VP843MYEJN
| URI | m2://inv/VP843MYEJN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weighted catenary, Weighted catenary (definition). Also Wikidata Q25305253
History
- 2026-11-02: add by m2/dev
VP84JZWQZC VP84JZWQZC
| URI | m2://inv/VP84JZWQZC |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section7-4.xml#example-3 (example). In 649HGZKE96, example, section 7.4.3
History
- 2026-11-01: add by m2/v0.6.13
Sigma function VP84P8DCZ5
| URI | m2://inv/VP84P8DCZ5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical functions#0PTH, Sigma function (definition)
History
- 2026-11-02: add by m2/dev
VP854S1TF3 VP854S1TF3
| URI | m2://inv/VP854S1TF3 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21632#WFQS (definition). In Q4RZTN2EX6/e1, definition 6.3
History
- 2026-10-27: add by m2/v0.4.2
\probname{FeedbackVertexSet VP89SPF0ZM
| URI | m2://inv/VP89SPF0ZM |
|---|---|
| Kind | problem |
| 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.38436#MTJQ, \probname{FeedbackVertexSet (problem). In 702AF3E4AF/e1, problem 4.7
History
- 2026-10-30: add by m2/v0.4.12
Cayley's formula VP8C42QEGF
| URI | m2://inv/VP8C42QEGF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Prüfer sequence#HKVZ, Cayley's formula (statement)
History
- 2026-11-02: add by m2/dev
Permutation parity machine VP8N8N3GQ4
| URI | m2://inv/VP8N8N3GQ4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Neural cryptography#QAOA, Permutation parity machine (unknown)
History
- 2026-11-02: add by m2/dev
Definitions VP8R9RKXQE
| URI | m2://inv/VP8R9RKXQE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Carathéodory's extension theorem#8DV5, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Implementations VP8SRVWBGS
| URI | m2://inv/VP8SRVWBGS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schoof's algorithm#W3MN, Implementations (definition)
History
- 2026-11-02: add by m2/dev
Sackur–Tetrode equation VP8TYYYHTB
| URI | m2://inv/VP8TYYYHTB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sackur–Tetrode equation, Sackur–Tetrode equation (definition). Also Wikidata Q1426583
History
- 2026-11-02: add by m2/dev
Estrin's scheme VP97WQPZV7
| URI | m2://inv/VP97WQPZV7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Estrin's scheme, Estrin's scheme (definition). Also Wikidata Q5401838
History
- 2026-11-02: add by m2/dev
VP98BX9X0Q VP98BX9X0Q
| URI | m2://inv/VP98BX9X0Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34193#GSKP (statement). In 9XMZTTSF5E/e1, lemma 2.3
History
- 2026-10-30: add by m2/v0.4.12
pure spinor VP992D8ZFT
| URI | m2://inv/VP992D8ZFT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7261160, pure spinor (unknown). Also nLab pure spinor
- wikipedia: Wikipedia Pure spinor, Pure spinor (definition). Also Wikidata Q7261160
History
- 2026-10-26: add by m2/dev
Fibonacci prime VP9F02K405
| URI | m2://inv/VP9F02K405 |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#G856, Fibonacci prime (conjecture)
History
- 2026-11-02: add by m2/dev
Kerry Landman VP9F5VZX3B
| URI | m2://inv/VP9F5VZX3B |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kerry Landman, Kerry Landman (topic). Also Wikidata Q64160375
History
- 2026-11-02: add by m2/dev
VP9GQ1KPCC VP9GQ1KPCC
| URI | m2://inv/VP9GQ1KPCC |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27046#U08K (conjecture)
History
- 2026-11-01: add by m2/v0.6.15
VP9Q6ZCEQA VP9Q6ZCEQA
| URI | m2://inv/VP9Q6ZCEQA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05314#GQ0C (statement). In PA3B6C0WY7/e1, proposition 3.4
History
- 2026-10-29: add by m2/v0.4.10
VP9SG6X45R VP9SG6X45R
| URI | m2://inv/VP9SG6X45R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 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 2610.15736#B224 (statement). In 17WP1JCDAV/e1, theorem 1
History
- 2026-10-28: add by m2/v0.4.2
VP9TVHT68M VP9TVHT68M
| URI | m2://inv/VP9TVHT68M |
|---|---|
| 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.28669#F0OA (statement)
History
- 2026-11-01: add by m2/v0.6.15
semi-continuous function VP9WX8KV6M
| URI | m2://inv/VP9WX8KV6M |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q43304466, semi-continuous function (unknown). Also EoM Semicontinuous_function
History
- 2026-10-26: add by m2/dev
Cuspidal representation VP9ZPFYR81
| URI | m2://inv/VP9ZPFYR81 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cuspidal representation, Cuspidal representation (definition). Also Wikidata Q5196235
History
- 2026-11-02: add by m2/dev
NPO (complexity) VP9ZXVZ5PV
| URI | m2://inv/VP9ZXVZ5PV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Combinatorial optimization#4NAC, NPO (complexity) (unknown)
History
- 2026-11-02: add by m2/dev
Parva naturalia VPA1ZS74HH
| URI | m2://inv/VPA1ZS74HH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of works by Averroes#FFS4, Parva naturalia (unknown)
History
- 2026-11-02: add by m2/dev
Quantum randomization order and channel sufficiency VPA4X726P2
| URI | m2://inv/VPA4X726P2 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 62-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.29348#BPW3, Quantum randomization order and channel sufficiency (definition)
History
- 2026-11-01: add by m2/v0.6.15
VPA4YCCSRG VPA4YCCSRG
| URI | m2://inv/VPA4YCCSRG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04069#V72Q (statement). In ZA7WXGZYWC/e1, proposition 5.5
History
- 2026-10-29: add by m2/v0.4.12
VPA974BWWS VPA974BWWS
| URI | m2://inv/VPA974BWWS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0905.1489#OTP1 (statement). In MZ18CTV65N/e1, fact 1
History
- 2026-10-27: add by m2/v0.3.5
1 − 1 + 2 − 6 + 24 − 120 + ⋯ VPA9Q2F81X
| URI | m2://inv/VPA9Q2F81X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 1 − 1 + 2 − 6 + 24 − 120 + ⋯, 1 − 1 + 2 − 6 + 24 − 120 + ⋯ (definition). Also Wikidata Q3511165
History
- 2026-11-02: add by m2/dev
Statement VPAJKX9WKM
| URI | m2://inv/VPAJKX9WKM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lange's conjecture#LFWI, Statement (statement)
History
- 2026-11-02: add by m2/dev
Ranklet VPAP4VCQ0Q
| URI | m2://inv/VPAP4VCQ0Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ranklet, Ranklet (definition). Also Wikidata Q7293315
History
- 2026-11-02: add by m2/dev
VPAPAX7FZW VPAPAX7FZW
| URI | m2://inv/VPAPAX7FZW |
|---|---|
| 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 2308.02672#CWIW (definition). In ETRT1R1CQ8/e1, definition 6.1
History
- 2026-10-27: add by m2/v0.4.0
Katherine Heinrich VPAQ8P0PEG
| URI | m2://inv/VPAQ8P0PEG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Katherine Heinrich, Katherine Heinrich (topic). Also Wikidata Q48240899
History
- 2026-11-02: add by m2/dev
VPAQCND2W6 VPAQCND2W6
| URI | m2://inv/VPAQCND2W6 |
|---|---|
| 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.00443#S6C8 (statement). In ZRNVBFH3ZS/e1, lemma 2.1
History
- 2026-10-30: add by m2/v0.4.12
Mooney–Rivlin solid VPAW7DA5ZG
| URI | m2://inv/VPAW7DA5ZG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mooney–Rivlin solid, Mooney–Rivlin solid (definition). Also Wikidata Q6907763
History
- 2026-11-02: add by m2/dev
VPAWCCAPR4 VPAWCCAPR4
| URI | m2://inv/VPAWCCAPR4 |
|---|---|
| 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.02436#E144 (statement). In J9WZBK6KAY/e1, lemma 4.8
History
- 2026-10-29: add by m2/v0.4.12
Generation labels survive an extension VPAXBC05C3
| URI | m2://inv/VPAXBC05C3 |
|---|---|
| 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.25101#IG53, Generation labels survive an extension (statement)
History
- 2026-11-01: add by m2/v0.6.15
central binomial coefficient VPAYPKDQ0G
| URI | m2://inv/VPAYPKDQ0G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Central binomial coefficient 01WHD9T0V6 |
Mentions
- wikidata: Wikidata Q1045966, central binomial coefficient (definition). Also MathWorld CentralBinomialCoefficient, ProofWiki Definition:Central_Binomial_Coefficient
- wikipedia: Wikipedia Central binomial coefficient, Central binomial coefficient (definition). Also Wikidata Q1045966
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Properties VPB6VE8GWS
| URI | m2://inv/VPB6VE8GWS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reshetikhin–Turaev invariant#MFKV, Properties (statement)
History
- 2026-11-02: add by m2/dev
RSA-210 VPB791YBV4
| URI | m2://inv/VPB791YBV4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia RSA numbers#G218, RSA-210 (unknown)
History
- 2026-11-02: add by m2/dev
Péter, Rózsa VPB8P50STN
| URI | m2://inv/VPB8P50STN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Hungarian mathematicians#NZWT, Péter, Rózsa (topic)
History
- 2026-11-02: add by m2/dev
Definable number VPBBDF05AG
| URI | m2://inv/VPBBDF05AG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of types of numbers#PHOZ, Definable number (definition)
History
- 2026-11-02: add by m2/dev
$g=2$, two nodes VPBG8401KH
| URI | m2://inv/VPBG8401KH |
|---|---|
| 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.22557#6LU9, $g=2$, two nodes (example)
History
- 2026-11-02: add by m2/v0.6.17
24 VPBK4DXH6X
| URI | m2://inv/VPBK4DXH6X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 24 (puzzle), 24 (definition). Also Wikidata Q4631842
History
- 2026-11-02: add by m2/dev
Normal-form game VPBKKH8SZA
| URI | m2://inv/VPBKKH8SZA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Normal-form game, Normal-form game (definition). Also Wikidata Q1069099
History
- 2026-11-02: add by m2/dev
VPBN1V87MB VPBN1V87MB
| URI | m2://inv/VPBN1V87MB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2208.07401#BVOE (statement). In GJD7HKCE56/e1, corollary 1.4
History
- 2026-10-27: add by m2/v0.3.6
VPBP1N7ZD9 VPBP1N7ZD9
| URI | m2://inv/VPBP1N7ZD9 |
|---|---|
| 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.07299#6PG5 (statement). In M70KP0BZ99/e1, theorem 5.6
History
- 2026-10-29: add by m2/v0.4.10
VPBRFET28J VPBRFET28J
| URI | m2://inv/VPBRFET28J |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01858#87HK (example). In NXSV14WJKJ/e1, example 4.3
History
- 2026-10-29: add by m2/v0.4.12
Applications VPC99R2M2C
| URI | m2://inv/VPC99R2M2C |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Double coset#90R1, Applications (example)
History
- 2026-11-02: add by m2/dev
Cauchy–Hadamard theorem VPC9EQF9HN
| URI | m2://inv/VPC9EQF9HN |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 30-XX |
| Sources | 4 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Cauchy–Hadamard theorem 07E5MB1CA2 |
Mentions
- mathlib_1000: mathlib_1000 Q859122, Cauchy–Hadamard theorem (statement). Also Mathlib FormalMultilinearSeries.radius_inv_eq_limsup, Wikidata Q859122
- thousand_plus: thousand_plus Q859122, Cauchy–Hadamard theorem (statement). Also Mathlib FormalMultilinearSeries.radius_inv_eq_limsup, Wikidata Q859122, Wikipedia Cauchy–Hadamard theorem
- wikidata: Wikidata Q859122, Cauchy–Hadamard theorem (statement). Also EoM Cauchy-Hadamard_theorem, MathWorld Cauchy-HadamardTheorem
- wikipedia: Wikipedia Cauchy–Hadamard theorem, Cauchy–Hadamard theorem (statement). Also Wikidata Q859122
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
VPCAJ2X89N VPCAJ2X89N
| URI | m2://inv/VPCAJ2X89N |
|---|---|
| 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 1612.08394#0U3F (statement). In 1P8D88DKG5/e1, lemma 3.7
History
- 2026-10-27: add by m2/v0.3.5
Theorem VPCCECEVVS
| URI | m2://inv/VPCCECEVVS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Uniform boundedness principle#DD6C, Theorem (statement)
History
- 2026-11-02: add by m2/dev
VPCDMM4W37 VPCDMM4W37
| URI | m2://inv/VPCDMM4W37 |
|---|---|
| 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 2603.26376#RGA9 (statement). In PJAT9YDX7Y/e1, proposition 3.1
History
- 2026-10-27: add by m2/v0.4.0
VPCEYSH2BW VPCEYSH2BW
| URI | m2://inv/VPCEYSH2BW |
|---|---|
| Kind | example |
| 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 2207.05628#KOJ7 (example). In 9JPKTEWW4W/e1, example II
History
- 2026-10-27: add by m2/v0.3.5
Variations VPCJDJCD0R
| URI | m2://inv/VPCJDJCD0R |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elongated dodecahedron#HCSP, Variations (statement)
History
- 2026-11-02: add by m2/dev
VPCJQNM08C VPCJQNM08C
| URI | m2://inv/VPCJQNM08C |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/logic-proofs.ptx#proof-4 (proof). In Y91XFCEVHQ, proof, section 4.2
History
- 2026-11-01: add by m2/v0.6.13
VPCSRRKZWT VPCSRRKZWT
| URI | m2://inv/VPCSRRKZWT |
|---|---|
| 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.37562#ZEZ3 (statement). In PYY8DFK2JS/e1, lemma A.7
History
- 2026-10-30: add by m2/v0.4.12
VPCZD51X9C VPCZD51X9C
| URI | m2://inv/VPCZD51X9C |
|---|---|
| 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.14803#Z2P7 (example). In VAEVDTBD3B/e1, example 3.11
History
- 2026-10-28: add by m2/v0.4.2
VPD2HVSPXN VPD2HVSPXN
| URI | m2://inv/VPD2HVSPXN |
|---|---|
| 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.31604#XHIZ (statement). In GSN5YTQS2K/e1, corollary 1.18
History
- 2026-10-31: add by m2/v0.5.6
VPD8M4HEHG VPD8M4HEHG
| URI | m2://inv/VPD8M4HEHG |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17817#HT33 (definition). In M8TSJ24RC2/e1, definition 2.13
History
- 2026-10-28: add by m2/v0.4.2
VPDB19EC3N VPDB19EC3N
| URI | m2://inv/VPDB19EC3N |
|---|---|
| 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.28189#XLEH (statement)
History
- 2026-11-01: add by m2/v0.6.15
$L^p(\Omega)$-energy estimates in $H^1$ VPDE1WHZAQ
| URI | m2://inv/VPDE1WHZAQ |
|---|---|
| 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.24789#05YF, $L^p(\Omega)$-energy estimates in $H^1$ (statement)
History
- 2026-11-01: add by m2/v0.6.15
The algorithm VPDH2MYWPA
| URI | m2://inv/VPDH2MYWPA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia MacCormack method#DD1L, The algorithm (definition)
History
- 2026-11-02: add by m2/dev
VPDHH45954 VPDHH45954
| URI | m2://inv/VPDHH45954 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/ordinals/milestone.tex#defn-1 (definition). In PKGMM3P5QY, defn, section 72.6
History
- 2026-11-01: add by m2/v0.6.13
VPDSJ7ECTQ VPDSJ7ECTQ
| URI | m2://inv/VPDSJ7ECTQ |
|---|---|
| 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.31212#WJ7B (statement). In FHE30V0M03/e1, lemma 4.2
History
- 2026-10-31: add by m2/v0.5.6
VPE14ZM0CE VPE14ZM0CE
| URI | m2://inv/VPE14ZM0CE |
|---|---|
| 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 2608.23797#C39T (statement). In PZCA01JXVR/e1, proposition 7.8
History
- 2026-10-27: add by m2/v0.3.5
VPE25T684N VPE25T684N
| URI | m2://inv/VPE25T684N |
|---|---|
| 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 2207.07461#K48J (statement). In GAG532VMPF/e1, lemma 4.3.3
History
- 2026-10-27: add by m2/v0.3.5
VPEA250EQ7 VPEA250EQ7
| URI | m2://inv/VPEA250EQ7 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 35-XX, 37-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 0804.0248#7SHX (example). In NG9HWAE79A/e1, example 3
History
- 2026-10-27: add by m2/v0.3.5
VPECHCFCGH VPECHCFCGH
| URI | m2://inv/VPECHCFCGH |
|---|---|
| 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.39700#UB0W (statement). In E7W2HDNEKJ/e1, theorem 7.1
History
- 2026-10-30: add by m2/v0.4.12
Network entropy VPEJ4A16J6
| URI | m2://inv/VPEJ4A16J6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Network entropy, Network entropy (definition). Also Wikidata Q107366606
History
- 2026-11-02: add by m2/dev
Jean Nicod VPEPHJ43W8
| URI | m2://inv/VPEPHJ43W8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jean Nicod, Jean Nicod (topic). Also Wikidata Q1685715
History
- 2026-11-02: add by m2/dev
Modification and bimeromorphic map VPESTKCHJ8
| URI | m2://inv/VPESTKCHJ8 |
|---|---|
| Kind | definition |
| 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#YJN8, Modification and bimeromorphic map (definition)
History
- 2026-11-02: add by m2/v0.6.17
VPEY486ZMN VPEY486ZMN
| URI | m2://inv/VPEY486ZMN |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/diffgeo/forms.tex#example-1 (example). In RZP28ERRZV, example, section 43.3
History
- 2026-11-01: add by m2/v0.6.13
Charles Cameron Conley VPEYV2B6PQ
| URI | m2://inv/VPEYV2B6PQ |
|---|---|
| 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#W1BE, Charles Cameron Conley (topic)
History
- 2026-11-02: add by m2/dev
Z statistic VPF224MH73
| URI | m2://inv/VPF224MH73 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#0GV3, Z statistic (definition)
History
- 2026-11-02: add by m2/dev
VPF4RJ03BN VPF4RJ03BN
| URI | m2://inv/VPF4RJ03BN |
|---|---|
| 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 2601.13428#37YF (statement). In SM4QEDZSS6/e1, theorem 1
History
- 2026-10-27: add by m2/v0.3.5
VPF9N64JRG VPF9N64JRG
| URI | m2://inv/VPF9N64JRG |
|---|---|
| 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.02436#Q624 (statement). In J9WZBK6KAY/e1, lemma 4.12
History
- 2026-10-29: add by m2/v0.4.12
Notation VPFA8V71GG
| URI | m2://inv/VPFA8V71GG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graph cuts in computer vision and artificial intelligence#NOT7, Notation (definition)
History
- 2026-11-02: add by m2/dev
VPFBRD1FD1 VPFBRD1FD1
| URI | m2://inv/VPFBRD1FD1 |
|---|---|
| Kind | definition |
| 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.14985#VGRX (definition). In DGXJW3SCBR/e1, definition 9
History
- 2026-10-28: add by m2/v0.4.2
Examples VPFFC4MX7P
| URI | m2://inv/VPFFC4MX7P |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exponential dispersion model#58XC, Examples (example)
History
- 2026-11-02: add by m2/dev
Brauer–Nesbitt theorem VPG01DGYWB
| URI | m2://inv/VPG01DGYWB |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 20-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q4958227, Brauer–Nesbitt theorem (statement). Also Wikidata Q4958227
- thousand_plus: thousand_plus Q4958227, Brauer–Nesbitt theorem (statement). Also Wikidata Q4958227, Wikipedia Brauer–Nesbitt theorem
- wikipedia: Wikipedia Brauer–Nesbitt theorem, Brauer–Nesbitt theorem (statement). Also Wikidata Q4958227
History
- 2026-10-26: add by m2/dev
VPGA9SGYW5 VPGA9SGYW5
| URI | m2://inv/VPGA9SGYW5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21298#8BJV (statement). In AXWM2MBYXV/e1, proposition 2.4
History
- 2026-10-27: add by m2/v0.4.2
Solutions of inequations VPGBR5DJ9K
| URI | m2://inv/VPGBR5DJ9K |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inequation#AYNP, Solutions of inequations (unknown)
History
- 2026-11-02: add by m2/dev
VPGDZEK9AM VPGDZEK9AM
| URI | m2://inv/VPGDZEK9AM |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/tableaux/proving-things-quant.tex#ex-3 (example). In PKGMM3P5QY, ex, section 22.10
History
- 2026-11-01: add by m2/v0.6.13
Mahavira VPGR0ZTZ07
| URI | m2://inv/VPGR0ZTZ07 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Indian mathematicians#PJ6J, Mahavira (unknown)
History
- 2026-11-02: add by m2/dev
VPGS1RZNQW VPGS1RZNQW
| URI | m2://inv/VPGS1RZNQW |
|---|---|
| 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.15013#TOI6 (statement). In JB837X6D1Q/e1, lemma 5.5
History
- 2026-10-28: add by m2/v0.4.2
VPGSD554EG VPGSD554EG
| URI | m2://inv/VPGSD554EG |
|---|---|
| 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.38051#X88K (statement). In 81CGKD8RTP/e1, proposition 2
History
- 2026-10-30: add by m2/v0.4.12
Erd\H{o}s, one-power version VPH8M0KBRW
| URI | m2://inv/VPH8M0KBRW |
|---|---|
| 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 2610.07214#J8NT, Erd\H{o}s, one-power version (conjecture). In 669PBFJX0Z/e1, conjecture 1
History
- 2026-10-29: add by m2/v0.4.10
VPHFENVDEG VPHFENVDEG
| URI | m2://inv/VPHFENVDEG |
|---|---|
| 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.28803#G4I3 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Subanalytic set VPHGSNM732
| URI | m2://inv/VPHGSNM732 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Subanalytic set, Subanalytic set (definition). Also Wikidata Q7630735
History
- 2026-11-02: add by m2/dev
G. V. Belyi VPHNBVJ4JW
| URI | m2://inv/VPHNBVJ4JW |
|---|---|
| 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#785I, G. V. Belyi (topic)
History
- 2026-11-02: add by m2/dev
Backward error analysis VPJ0S7CAAY
| URI | m2://inv/VPJ0S7CAAY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Error analysis (mathematics)#WF10, Backward error analysis (unknown)
History
- 2026-11-02: add by m2/dev
Geometric mean theorem VPJ1A0FXX3
| URI | m2://inv/VPJ1A0FXX3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#D81K, Geometric mean theorem (statement)
History
- 2026-11-02: add by m2/dev
VPJ2WCPMF8 VPJ2WCPMF8
| URI | m2://inv/VPJ2WCPMF8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14692#OEH3 (statement). In NE5EH5FXRV/e1, theorem 4.15
History
- 2026-10-27: add by m2/v0.3.5
VPJ48F5CYR VPJ48F5CYR
| URI | m2://inv/VPJ48F5CYR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_recurrence_rigorous.ptx#lem_base (statement). In QKM9DD2H56, lemma, section 9.5.2
History
- 2026-11-01: add by m2/v0.6.13
VPJ4CBNA0J VPJ4CBNA0J
| URI | m2://inv/VPJ4CBNA0J |
|---|---|
| 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.06045#GH41 (statement). In SVKM0852RJ/e1, theorem 9
History
- 2026-10-29: add by m2/v0.4.10
Fake projective plane VPJC2RAAQS
| URI | m2://inv/VPJC2RAAQS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of complex and algebraic surfaces#T9RK, Fake projective plane (definition)
History
- 2026-11-02: add by m2/dev
VPJF7V6ANN VPJF7V6ANN
| URI | m2://inv/VPJF7V6ANN |
|---|---|
| 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.39307#OFUS (statement). In QFBGPGRP1P/e1, proposition 3.9
History
- 2026-10-30: add by m2/v0.4.12
Hyperbolic cotangent VPJKWXWS59
| URI | m2://inv/VPJKWXWS59 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#4LF4, Hyperbolic cotangent (definition)
History
- 2026-11-02: add by m2/dev
VPJM5CZW41 VPJM5CZW41
| URI | m2://inv/VPJM5CZW41 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07909#SXVL (statement). In 6KST0WX37C/e1, theorem 1.1
History
- 2026-10-29: add by m2/v0.4.10
Homogeneous (large cardinal property) VPJPC2E3TA
| URI | m2://inv/VPJPC2E3TA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Infinitary combinatorics#QHZH, Homogeneous (large cardinal property) (unknown)
History
- 2026-11-02: add by m2/dev
VPJPX9BT04 VPJPX9BT04
| URI | m2://inv/VPJPX9BT04 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13385#2A88 (statement). In J99CBQ3QYD/e1, lemma 3.1
History
- 2026-10-28: add by m2/v0.4.2
VPK0X8Q7VW VPK0X8Q7VW
| URI | m2://inv/VPK0X8Q7VW |
|---|---|
| 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.21047#OEYQ (statement)
History
- 2026-11-02: add by m2/v0.6.18
Language acquisition VPK3RM9RYX
| URI | m2://inv/VPK3RM9RYX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of superseded scientific theories#MZHN, Language acquisition (unknown)
History
- 2026-11-02: add by m2/dev
Spherical trigonometry VPKMFC1YVQ
| URI | m2://inv/VPKMFC1YVQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of triangle topics#SS4P, Spherical trigonometry (definition)
History
- 2026-11-02: add by m2/dev
Suffolk University Political Research Center VPKSCFNF82
| URI | m2://inv/VPKSCFNF82 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polling organizations#18PD, Suffolk University Political Research Center (unknown)
History
- 2026-11-02: add by m2/dev
Law of sines VPKV48RJ6J
| URI | m2://inv/VPKV48RJ6J |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trigonometry#1QZG, Law of sines (statement)
History
- 2026-11-02: add by m2/dev
Upper estimate VPM98MYNN0
| URI | m2://inv/VPM98MYNN0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23230#FBL1, Upper estimate (statement)
History
- 2026-11-02: add by m2/v0.6.17
Buffon Needle Problem VPMB5R5EDB
| URI | m2://inv/VPMB5R5EDB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_100: mathlib_100 99, Buffon Needle Problem (statement). Also Mathlib BuffonsNeedle.buffon_short, Mathlib BuffonsNeedle.buffon_long
History
- 2026-10-26: add by m2/dev
projective plane VPME96B1CN
| URI | m2://inv/VPME96B1CN |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/5.6/projective-plane, projective plane (concept). In N54F33XE07, index, section 5.6
History
- 2026-11-01: add by m2/v0.6.13
VPMN4XZD6R VPMN4XZD6R
| URI | m2://inv/VPMN4XZD6R |
|---|---|
| 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.09882#BW9M (statement). In 7XV6T4N79V/e1, lemma C.1
History
- 2026-10-29: add by m2/v0.4.10
Rate change VPMP93JZKM
| URI | m2://inv/VPMP93JZKM |
|---|---|
| Kind | example |
| 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 2206.11471#H5OM, Rate change (example). In 8387H919D5/e1, example 1
History
- 2026-10-27: add by m2/v0.3.5
Examples VPN5GN2S1E
| URI | m2://inv/VPN5GN2S1E |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Osculating curve#23NY, Examples (example)
History
- 2026-11-02: add by m2/dev
Examples VPN87EH0RG
| URI | m2://inv/VPN87EH0RG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Paley construction#LQXL, Examples (example)
History
- 2026-11-02: add by m2/dev
Interpolatory and Oversampled Regimes VPNF6WVYKN
| URI | m2://inv/VPNF6WVYKN |
|---|---|
| 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#CE3F, Interpolatory and Oversampled Regimes (statement). In Z6WA2R0J50/e1, corollary 7.3
History
- 2026-10-28: add by m2/v0.4.2
VPNNSV2X7P VPNNSV2X7P
| URI | m2://inv/VPNNSV2X7P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-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.39317#VUG4 (statement). In QM1T8JDK4A/e1, lemma 6.11
History
- 2026-10-30: add by m2/v0.4.12
VPNWJHFJXB VPNWJHFJXB
| URI | m2://inv/VPNWJHFJXB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2512.16003#UFH7 (statement). In BJGS6ZCQ12/e1, lemma 3.14
History
- 2026-10-27: add by m2/v0.3.6
Riemann–Cartan geometry VPNXB3Q12Y
| URI | m2://inv/VPNXB3Q12Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Bernhard Riemann#KD41, Riemann–Cartan geometry (definition)
History
- 2026-11-02: add by m2/dev
Variations VPNYAB2KFP
| URI | m2://inv/VPNYAB2KFP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Computational geometry#RAJ7, Variations (statement)
History
- 2026-11-02: add by m2/dev
VPP1W3GD4K VPP1W3GD4K
| URI | m2://inv/VPP1W3GD4K |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 11-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26762#OAQQ (example)
History
- 2026-11-01: add by m2/v0.6.15
Pressure estimate at the exponent $5/3$ VPP6K78PFE
| URI | m2://inv/VPP6K78PFE |
|---|---|
| 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.13613#8TK2, Pressure estimate at the exponent $5/3$ (statement). In 3HCT4TQ5PM/e1, corollary 4.3
History
- 2026-10-28: add by m2/v0.4.2
Definition VPP9KR40CY
| URI | m2://inv/VPP9KR40CY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bounded variation#HJJQ, Definition (definition)
History
- 2026-11-02: add by m2/dev
Sergei Ivanov VPPAG6H2P3
| URI | m2://inv/VPPAG6H2P3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sergei Ivanov (mathematician), Sergei Ivanov (topic). Also Wikidata Q4196325
History
- 2026-11-02: add by m2/dev
VPPB33VR03 VPPB33VR03
| URI | m2://inv/VPPB33VR03 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 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.07490#QEXU (statement). In 1BCKN2RQQ4/e1, proposition 3.3
History
- 2026-10-29: add by m2/v0.4.10
Rectangular block completion VPPF9DZP03
| URI | m2://inv/VPPF9DZP03 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.02407#TSUF, Rectangular block completion (statement). In ZZER8ZBSCR/e1, lemma B.5
History
- 2026-10-29: add by m2/v0.4.12
Wick formula VPPFRG0J04
| URI | m2://inv/VPPFRG0J04 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX, 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17815#2R49, Wick formula (statement). In GJ7N2EWACX/e1, theorem B.2
History
- 2026-10-28: add by m2/v0.4.2
VPPGN68MX6 VPPGN68MX6
| URI | m2://inv/VPPGN68MX6 |
|---|---|
| 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 1907.01440#RDEG (statement). In QDRYC6WJJ7/e1, theorem 10
History
- 2026-10-27: add by m2/v0.3.5
groupoid VPPN48Q0BW
| URI | m2://inv/VPPN48Q0BW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#T88T, groupoid (definition)
History
- 2026-11-02: add by m2/dev
upper set VPPP3A9W66
| URI | m2://inv/VPPP3A9W66 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Upper set ETCE287E2R |
Mentions
- wikidata: Wikidata Q2528262, upper set (unknown). Also nLab upper set
- wikipedia: Wikipedia Upper and lower sets, Upper and lower sets (definition). Also Wikidata Q2528262
History
- 2026-10-26: add by m2/dev
Eulerian graph VPPPX7B3HJ
| URI | m2://inv/VPPPX7B3HJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q9275357, Eulerian graph (definition). Also MathWorld EulerianGraph, ProofWiki Definition:Eulerian_Graph
History
- 2026-10-26: add by m2/dev
Points-to-pieces transform VPPR51WV55
| URI | m2://inv/VPPR51WV55 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-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.03865#VWI4, Points-to-pieces transform (definition). In G3D1YR20BJ/e1, definition A.21
History
- 2026-10-29: add by m2/v0.4.12
VPQ245VFSW VPQ245VFSW
| URI | m2://inv/VPQ245VFSW |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-intro.tex#exercise-1 (exercise). In E9HS8K3A52, exercise, section 6.8.4
History
- 2026-11-01: add by m2/v0.6.13
VPQC04AMCM VPQC04AMCM
| URI | m2://inv/VPQC04AMCM |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ap-linear-algebra.tex#exercise-54 (exercise). In E9HS8K3A52, exercise, section 2.5.5
History
- 2026-11-01: add by m2/v0.6.13
VPQES4TNNA VPQES4TNNA
| URI | m2://inv/VPQES4TNNA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04870#D5KM (statement). In X765ZXXVC3/e1, corollary 4.20
History
- 2026-10-29: add by m2/v0.4.12
VPQHRFG6AR VPQHRFG6AR
| URI | m2://inv/VPQHRFG6AR |
|---|---|
| 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 2108.09548#IVSQ (statement). In 6D6C14KFGJ/e1, lemma 2.3
History
- 2026-10-27: add by m2/v0.4.0
VPR98RDJ8N VPR98RDJ8N
| URI | m2://inv/VPR98RDJ8N |
|---|---|
| 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.33552#YH9W (statement). In SRAS2DJJQH/e1, lemma 5.3
History
- 2026-10-30: add by m2/v0.4.12
VPRB19KNXN VPRB19KNXN
| URI | m2://inv/VPRB19KNXN |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39745#GJ14 (problem). In V276PQS61M/e1, problem 4.5
History
- 2026-10-30: add by m2/v0.4.12
VPRC10KAH0 VPRC10KAH0
| URI | m2://inv/VPRC10KAH0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10505#TZBK (statement). In JW8HH6EPG2/e1, lemma 3.7
History
- 2026-10-29: add by m2/v0.4.10
Isolated singularity VPRC7WTST9
| URI | m2://inv/VPRC7WTST9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of complex analysis topics#D4QR, Isolated singularity (definition)
History
- 2026-11-02: add by m2/dev
Geographic surface area VPRCBB45H5
| URI | m2://inv/VPRCBB45H5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Surface area#LAQ6, Geographic surface area (unknown)
History
- 2026-11-02: add by m2/dev
Energy comparison VPREZCQ593
| URI | m2://inv/VPREZCQ593 |
|---|---|
| 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.20643#YGNX, Energy comparison (statement)
History
- 2026-11-02: add by m2/v0.6.18
VPRF3PJDY8 VPRF3PJDY8
| URI | m2://inv/VPRF3PJDY8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15217#39R6 (statement). In G70Q2FB591/e1, theorem 2.19
History
- 2026-10-28: add by m2/v0.4.2
Activation Function VPRF5Q0WQ7
| URI | m2://inv/VPRF5Q0WQ7 |
|---|---|
| Kind | definition |
| 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 2609.30279#F327, Activation Function (definition). In DPWKG7FD0H/e1, definition 2.1
History
- 2026-10-31: add by m2/v0.5.6
Ladislav Rieger VPRGQXGECZ
| URI | m2://inv/VPRGQXGECZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ladislav Rieger, Ladislav Rieger (topic). Also Wikidata Q6469705
History
- 2026-11-02: add by m2/dev
Projection method (fluid dynamics) VPRJ7C0F6V
| URI | m2://inv/VPRJ7C0F6V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of operator splitting topics#8E8A, Projection method (fluid dynamics) (definition)
History
- 2026-11-02: add by m2/dev
Smooth functor VPRXBMHAQZ
| URI | m2://inv/VPRXBMHAQZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Smooth functor, Smooth functor (definition). Also Wikidata Q7546421
History
- 2026-11-02: add by m2/dev
VPS077W7BN VPS077W7BN
| URI | m2://inv/VPS077W7BN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2208.13855#WRNI (statement). In GJKRVZ5YN5/e1, theorem 25
History
- 2026-10-27: add by m2/v0.3.5
Edge-of-the-wedge theorem VPS414NY29
| URI | m2://inv/VPS414NY29 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 30-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q4454925, Edge-of-the-wedge theorem (statement). Also Wikidata Q4454925
- thousand_plus: thousand_plus Q4454925, Edge-of-the-wedge theorem (statement). Also Wikidata Q4454925, Wikipedia Edge-of-the-wedge theorem
- wikipedia: Wikipedia Edge-of-the-wedge theorem, Edge-of-the-wedge theorem (statement). Also Wikidata Q4454925
History
- 2026-10-26: add by m2/dev
Andrej Dujella VPSBAVGBC2
| URI | m2://inv/VPSBAVGBC2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#RAU1, Andrej Dujella (unknown)
History
- 2026-11-02: add by m2/dev
VPSJAV138A VPSJAV138A
| URI | m2://inv/VPSJAV138A |
|---|---|
| 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.26496#D6X1 (statement)
History
- 2026-11-01: add by m2/v0.6.15
VPSQ616E2Y VPSQ616E2Y
| URI | m2://inv/VPSQ616E2Y |
|---|---|
| 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.33932#A2L1 (statement). In YPVF3ET43M/e1, theorem 2.2
History
- 2026-10-30: add by m2/v0.4.12
VPT0289MQX VPT0289MQX
| URI | m2://inv/VPT0289MQX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22317#RTDG (statement). In 2W5Z97BBW4/e1, proposition 2.36
History
- 2026-10-27: add by m2/v0.4.0
Deforest Senior Prize in Mathematics VPT4KBBJE4
| URI | m2://inv/VPT4KBBJE4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Erastus L. De Forest#HVFX, Deforest Senior Prize in Mathematics (unknown)
History
- 2026-11-02: add by m2/dev
VPT7Y9WCBP VPT7Y9WCBP
| URI | m2://inv/VPT7Y9WCBP |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_strings_exercises.ptx#exercise-31 (exercise). In QKM9DD2H56, exercise, section 2
History
- 2026-11-01: add by m2/v0.6.13
VPTD67C85M VPTD67C85M
| URI | m2://inv/VPTD67C85M |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/IntroQuantification.tex#prob:ways to quantify (exercise). In P1C114YBXG, problem, section D
History
- 2026-11-01: add by m2/v0.6.13
VPTEGEW5RJ VPTEGEW5RJ
| URI | m2://inv/VPTEGEW5RJ |
|---|---|
| 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-2 (exercise). In PKGMM3P5QY, prob, section 86.3
History
- 2026-11-01: add by m2/v0.6.13
Asimow and Roth VPTJEF7V88
| URI | m2://inv/VPTJEF7V88 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0909.2893#GV63, Asimow and Roth (statement). In JQ4JYAXCMK/e1, theorem 1
History
- 2026-10-27: add by m2/v0.3.5
VPTX728GBV VPTX728GBV
| URI | m2://inv/VPTX728GBV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39593#0U4P (statement). In BF0RYHPMS1/e1, theorem 2.2
History
- 2026-10-30: add by m2/v0.4.12
Applications VPV26SMC3T
| URI | m2://inv/VPV26SMC3T |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Frequency response#3RYT, Applications (example)
History
- 2026-11-02: add by m2/dev
Weyl character formula VPV554CTFS
| URI | m2://inv/VPV554CTFS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7990328, Weyl character formula (statement). Also nLab Weyl character formula
- wikipedia: Wikipedia Weyl character formula, Weyl character formula (statement). Also Wikidata Q7990328
History
- 2026-10-26: add by m2/dev
Glenn Alexander Magee VPV5NV9GEK
| URI | m2://inv/VPV5NV9GEK |
|---|---|
| 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 Q95329289, Glenn Alexander Magee (unknown). Also nLab Glenn Alexander Magee
History
- 2026-10-26: add by m2/dev
Efstratia Kalfagianni VPVBR9861Z
| URI | m2://inv/VPVBR9861Z |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Efstratia Kalfagianni, Efstratia Kalfagianni (topic). Also Wikidata Q58416613
History
- 2026-11-02: add by m2/dev
VPVHKBDBVX VPVHKBDBVX
| URI | m2://inv/VPVHKBDBVX |
|---|---|
| Kind | statement |
| 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.12531#I130 (statement). In D6RAQZ2DSK/e1, lemma 3.1
History
- 2026-10-28: add by m2/v0.4.2
Sharpness of Power-Mean Majorants VPVP3VGMVS
| URI | m2://inv/VPVP3VGMVS |
|---|---|
| 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.39921#LJYP, Sharpness of Power-Mean Majorants (statement). In PX76HTM9YP/e1, theorem 0.1
History
- 2026-10-30: add by m2/v0.4.12
Interim analysis VPVR4MZW53
| URI | m2://inv/VPVR4MZW53 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#G441, Interim analysis (definition)
History
- 2026-11-02: add by m2/dev
Properties VPVVJMGXK3
| URI | m2://inv/VPVVJMGXK3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Krylov subspace#RPV5, Properties (statement)
History
- 2026-11-02: add by m2/dev
Definition VPVY39V9BS
| URI | m2://inv/VPVY39V9BS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Amalgamation property#3PRI, Definition (definition)
History
- 2026-11-02: add by m2/dev
VPW3V32XV5 VPW3V32XV5
| URI | m2://inv/VPW3V32XV5 |
|---|---|
| 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 2508.02432#QC6S (statement). In B366ACYB37/e1, lemma 3.28
History
- 2026-10-27: add by m2/v0.3.5
Mohr–Coulomb failure criterion in three dimensions VPW5TCKBSF
| URI | m2://inv/VPW5TCKBSF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mohr–Coulomb theory#DXU2, Mohr–Coulomb failure criterion in three dimensions (statement)
History
- 2026-11-02: add by m2/dev
First Griffiths inequality VPWC068PW9
| URI | m2://inv/VPWC068PW9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Griffiths inequality#ODSH, First Griffiths inequality (statement)
History
- 2026-11-02: add by m2/dev
VPWDE1JK2M VPWDE1JK2M
| URI | m2://inv/VPWDE1JK2M |
|---|---|
| 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.32599#EENR (example). In E1Y93JNBJA/e1, example 1.17
History
- 2026-10-31: add by m2/v0.5.6
VPWK2TX5RR VPWK2TX5RR
| URI | m2://inv/VPWK2TX5RR |
|---|---|
| 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.18777#ZKUM (statement). In TFZDPHDF7V/e1, lemma A.4
History
- 2026-10-27: add by m2/v0.3.6
VPXBK5HSH2 VPXBK5HSH2
| URI | m2://inv/VPXBK5HSH2 |
|---|---|
| Kind | definition |
| 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#6N88 (definition)
History
- 2026-11-01: add by m2/v0.6.15
VPXP376ZCJ VPXP376ZCJ
| URI | m2://inv/VPXP376ZCJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11034#S4AR (statement). In 2KACPY9MMF/e1, lemma 4.4
History
- 2026-10-28: add by m2/v0.4.3
VPXV44TE46 VPXV44TE46
| URI | m2://inv/VPXV44TE46 |
|---|---|
| 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.07280#P4FP (statement). In 1FJKW4WGEN/e1, lemma 2.9
History
- 2026-10-29: add by m2/v0.4.10
Ringing VPXVDSRW8D
| URI | m2://inv/VPXVDSRW8D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ringing (signal), Ringing (definition). Also Wikidata Q176509
History
- 2026-11-02: add by m2/dev
Atwood machine VPXVSMBE4A
| URI | m2://inv/VPXVSMBE4A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Atwood machine, Atwood machine (definition). Also Wikidata Q758291
History
- 2026-11-02: add by m2/dev
Approximately continuous function VPY1VKEVXS
| URI | m2://inv/VPY1VKEVXS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Approximately continuous function, Approximately continuous function (definition). Also Wikidata Q131850694
History
- 2026-11-02: add by m2/dev
singular value VPY36AXZE7
| URI | m2://inv/VPY36AXZE7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Singular value 09VMDSRXWJ |
Mentions
- wikidata: Wikidata Q4166054, singular value (unknown). Also MathWorld SingularValue
- wikipedia: Wikipedia Singular value, Singular value (definition). Also Wikidata Q4166054
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Mixing implies contraction on the traceless subspace VPY4THFT5A
| URI | m2://inv/VPY4THFT5A |
|---|---|
| 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.36016#IMDE, Mixing implies contraction on the traceless subspace (statement). In NAM9ZMPHZ9/e1, lemma F.1
History
- 2026-10-30: add by m2/v0.4.12
Michel Las Vergnas VPY8A3638R
| URI | m2://inv/VPY8A3638R |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Michel Las Vergnas, Michel Las Vergnas (topic). Also Wikidata Q15451179
History
- 2026-11-02: add by m2/dev
VPYBM8YJ51 VPYBM8YJ51
| URI | m2://inv/VPYBM8YJ51 |
|---|---|
| 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.10206#1GB7 (statement). In 8TRCP1482Q/e1, corollary B.28
History
- 2026-10-29: add by m2/v0.4.10
VPYH56508V VPYH56508V
| URI | m2://inv/VPYH56508V |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/axioms-systems/more-proofs-in-K.tex#proof-2 (proof). In PKGMM3P5QY, proof, section 50.6
History
- 2026-11-01: add by m2/v0.6.13
apsis VPYRH14QFX
| URI | m2://inv/VPYRH14QFX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q83481, apsis (definition). Also ProofWiki Definition:Apsis
History
- 2026-10-26: add by m2/dev
VPYSRN2EY8 VPYSRN2EY8
| URI | m2://inv/VPYSRN2EY8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22063#63D0 (statement). In JHK0EAV79D/e1, proposition 2
History
- 2026-10-27: add by m2/v0.4.2
V-statistic VPYXV0J8KE
| URI | m2://inv/VPYXV0J8KE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia V-statistic, V-statistic (definition). Also Wikidata Q7905872
History
- 2026-11-02: add by m2/dev
Reading Number Three, Pennsylvania VPZB6FBQ2X
| URI | m2://inv/VPZB6FBQ2X |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#MYD1, Reading Number Three, Pennsylvania (unknown)
History
- 2026-11-02: add by m2/dev
Brown–Gibson model VPZBCM2D52
| URI | m2://inv/VPZBCM2D52 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Brown–Gibson model, Brown–Gibson model (definition). Also Wikidata Q4976840
History
- 2026-11-02: add by m2/dev
Iranian Mathematical Society VPZJHN3M9Y
| URI | m2://inv/VPZJHN3M9Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Iranian Mathematical Society, Iranian Mathematical Society (definition). Also Wikidata Q5701834
History
- 2026-11-02: add by m2/dev
VPZKDAVE7A VPZKDAVE7A
| URI | m2://inv/VPZKDAVE7A |
|---|---|
| Kind | statement |
| 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#UK3V (statement). In X1J5HKPS3R/e1, lemma 3.15
History
- 2026-10-29: add by m2/v0.4.10
VPZPH35XAX VPZPH35XAX
| URI | m2://inv/VPZPH35XAX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27775#ACOU (statement)
History
- 2026-11-01: add by m2/v0.6.15
Victor Kac VPZR737F8Y
| URI | m2://inv/VPZR737F8Y |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#JZ6E, Victor Kac (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#CVIW, Victor Kac (topic)
History
- 2026-11-02: add by m2/dev